Trace number 3489293

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
SCIP spx E_2 2011-06-10 (fixed)? 1797.08 1797.05

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb
MD5SUM72bb077846a4d869a09744c0b238b13c
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.264959
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables2340
Total number of constraints1678
Number of constraints which are clauses1599
Number of constraints which are cardinality constraints (but not clauses)79
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint20
Maximum length of a constraint40
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 41
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00	c Copyright (c) 2002-2011 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-3489293-1307757293.opb>
0.00/0.03	c original problem has 2340 variables (2340 bin, 0 int, 0 impl, 0 cont) and 1678 constraints
0.00/0.03	c problem read
0.00/0.03	c No objective function, only one solution is needed.
0.00/0.03	c presolving settings loaded
0.00/0.04	c presolving:
0.00/0.07	c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1678 upgd conss, 0 impls, 79 clqs
0.00/0.08	c presolving (2 rounds):
0.00/0.08	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.08	c  0 implications, 79 cliques
0.00/0.08	c presolved problem has 2340 variables (2340 bin, 0 int, 0 impl, 0 cont) and 1678 constraints
0.00/0.08	c      79 constraints of type <setppc>
0.00/0.08	c    1599 constraints of type <logicor>
0.00/0.08	c transformed objective value is always integral (scale: 1)
0.00/0.08	c Presolving Time: 0.04
0.00/0.08	c - non default parameters ----------------------------------------------------------------------
0.00/0.08	c # SCIP version 2.0.1.5
0.00/0.08	c 
0.00/0.08	c # frequency for displaying node information lines
0.00/0.08	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.08	c display/freq = 10000
0.00/0.08	c 
0.00/0.08	c # maximal time in seconds to run
0.00/0.08	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.08	c limits/time = 1797
0.00/0.08	c 
0.00/0.08	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.08	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.08	c limits/memory = 13950
0.00/0.08	c 
0.00/0.08	c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.08	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.08	c limits/solutions = 1
0.00/0.08	c 
0.00/0.08	c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.08	c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.08	c separating/maxrounds = 1
0.00/0.08	c 
0.00/0.08	c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.08	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.08	c separating/maxroundsroot = 5
0.00/0.08	c 
0.00/0.08	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.08	c # [type: int, range: [1,2], default: 1]
0.00/0.08	c timing/clocktype = 2
0.00/0.08	c 
0.00/0.08	c # belongs reading time to solving time?
0.00/0.08	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08	c timing/reading = TRUE
0.00/0.08	c 
0.00/0.08	c # should presolving try to simplify inequalities
0.00/0.08	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08	c constraints/linear/simplifyinequalities = TRUE
0.00/0.08	c 
0.00/0.08	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.08	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08	c constraints/indicator/addCouplingCons = TRUE
0.00/0.08	c 
0.00/0.08	c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.08	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.08	c constraints/knapsack/disaggregation = FALSE
0.00/0.08	c 
0.00/0.08	c # should presolving try to simplify knapsacks
0.00/0.08	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08	c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.08	c 
0.00/0.08	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.08	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.08	c presolving/probing/maxrounds = 0
0.00/0.08	c 
0.00/0.08	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.08	c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.08	c heuristics/coefdiving/freq = -1
0.00/0.08	c 
0.00/0.08	c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.08	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.08	c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.08	c 
0.00/0.08	c # additional number of allowed LP iterations
0.00/0.08	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.08	c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.08	c 
0.00/0.08	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.08	c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.08	c heuristics/crossover/freq = -1
0.00/0.08	c 
0.00/0.08	c # number of nodes added to the contingent of the total nodes
0.00/0.08	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.08	c heuristics/crossover/nodesofs = 750
0.00/0.08	c 
0.00/0.08	c # number of nodes without incumbent change that heuristic should wait
0.00/0.08	c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.08	c heuristics/crossover/nwaitingnodes = 100
0.00/0.08	c 
0.00/0.08	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.08	c # [type: real, range: [0,1], default: 0.1]
0.00/0.08	c heuristics/crossover/nodesquot = 0.15
0.00/0.08	c 
0.00/0.08	c # minimum percentage of integer variables that have to be fixed 
0.00/0.08	c # [type: real, range: [0,1], default: 0.666]
0.00/0.08	c heuristics/crossover/minfixingrate = 0.5
0.00/0.08	c 
0.00/0.08	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.08	c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.08	c heuristics/feaspump/freq = -1
0.00/0.08	c 
0.00/0.08	c # additional number of allowed LP iterations
0.00/0.08	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.08	c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.08	c 
0.00/0.08	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.08	c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.08	c heuristics/fracdiving/freq = -1
0.00/0.08	c 
0.00/0.08	c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.08	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.08	c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.08	c 
0.00/0.08	c # additional number of allowed LP iterations
0.00/0.08	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.08	c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.08	c 
0.00/0.08	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.08	c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.08	c heuristics/guideddiving/freq = -1
0.00/0.08	c 
0.00/0.08	c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.08	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.08	c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.08	c 
0.00/0.08	c # additional number of allowed LP iterations
0.00/0.08	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.08	c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.08	c 
0.00/0.08	c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.08	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.08	c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.08	c 
0.00/0.08	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.08	c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.08	c heuristics/intshifting/freq = -1
0.00/0.08	c 
0.00/0.08	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.08	c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.08	c heuristics/linesearchdiving/freq = -1
0.00/0.08	c 
0.00/0.08	c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.08	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.08	c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.08	c 
0.00/0.08	c # additional number of allowed LP iterations
0.00/0.08	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.08	c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.08	c 
0.00/0.08	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.08	c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.08	c heuristics/objpscostdiving/freq = -1
0.00/0.08	c 
0.00/0.08	c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.08	c # [type: real, range: [0,1], default: 0.01]
0.00/0.08	c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.08	c 
0.00/0.08	c # additional number of allowed LP iterations
0.00/0.08	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.08	c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.08	c 
0.00/0.08	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.08	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.08	c heuristics/oneopt/freq = -1
0.00/0.08	c 
0.00/0.08	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.08	c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.08	c heuristics/pscostdiving/freq = -1
0.00/0.08	c 
0.00/0.08	c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.08	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.08	c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.08	c 
0.00/0.08	c # additional number of allowed LP iterations
0.00/0.08	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.08	c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.08	c 
0.00/0.08	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.08	c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.08	c heuristics/rens/freq = -1
0.00/0.08	c 
0.00/0.08	c # minimum percentage of integer variables that have to be fixable 
0.00/0.08	c # [type: real, range: [0,1], default: 0.5]
0.00/0.08	c heuristics/rens/minfixingrate = 0.3
0.00/0.08	c 
0.00/0.08	c # number of nodes added to the contingent of the total nodes
0.00/0.08	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.08	c heuristics/rens/nodesofs = 2000
0.00/0.08	c 
0.00/0.08	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.08	c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.08	c heuristics/rootsoldiving/freq = -1
0.00/0.08	c 
0.00/0.08	c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.08	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.08	c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.08	c 
0.00/0.08	c # additional number of allowed LP iterations
0.00/0.08	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.08	c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.08	c 
0.00/0.08	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.08	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.08	c heuristics/rounding/freq = -1
0.00/0.08	c 
0.00/0.08	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.00/0.08	c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.08	c heuristics/shiftandpropagate/freq = -1
0.00/0.08	c 
0.00/0.08	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.08	c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.08	c heuristics/shifting/freq = -1
0.00/0.08	c 
0.00/0.08	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.08	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.08	c heuristics/simplerounding/freq = -1
0.00/0.08	c 
0.00/0.08	c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.00/0.08	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.08	c heuristics/subnlp/freq = -1
0.00/0.08	c 
0.00/0.08	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.08	c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.08	c heuristics/trivial/freq = -1
0.00/0.08	c 
0.00/0.08	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.08	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.08	c heuristics/trysol/freq = -1
0.00/0.08	c 
0.00/0.08	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.00/0.08	c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.08	c heuristics/undercover/freq = -1
0.00/0.08	c 
0.00/0.08	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.08	c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.08	c heuristics/veclendiving/freq = -1
0.00/0.08	c 
0.00/0.08	c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.08	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.08	c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.08	c 
0.00/0.08	c # additional number of allowed LP iterations
0.00/0.08	c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.08	c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.08	c 
0.00/0.08	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.08	c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.08	c heuristics/zirounding/freq = -1
0.00/0.08	c 
0.00/0.08	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.08	c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.08	c separating/cmir/freq = -1
0.00/0.08	c 
0.00/0.08	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.08	c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.08	c separating/flowcover/freq = -1
0.00/0.08	c 
0.00/0.08	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.08	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.08	c separating/rapidlearning/freq = 0
0.00/0.08	c 
0.00/0.08	c -----------------------------------------------------------------------------------------------
0.00/0.08	c start solving
0.00/0.08	c 
0.10/0.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.10/0.19	c   0.2s|     1 |     0 |  1074 |     - |  10M|   0 | 307 |2340 |1678 |2340 |1678 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.47	c   0.5s|     1 |     0 |  1873 |     - |  11M|   0 | 391 |2340 |1730 |2340 |1695 |  17 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.59/0.61	c   0.6s|     1 |     0 |  2237 |     - |  11M|   0 | 403 |2340 |1730 |2340 |1706 |  28 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.79/0.84	c   0.8s|     1 |     0 |  3146 |     - |  11M|   0 | 487 |2340 |1730 |2340 |1723 |  45 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.99/1.05	c   1.1s|     1 |     0 |  3914 |     - |  11M|   0 | 533 |2340 |1730 |2340 |1743 |  65 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.19/1.27	c   1.3s|     1 |     0 |  4732 |     - |  11M|   0 | 451 |2340 |1730 |2340 |1759 |  81 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.69/1.71	c   1.7s|     1 |     2 |  4732 |     - |  11M|   0 | 451 |2340 |1730 |2340 |1759 |  81 |   0 |  16 | 0.000000e+00 |      --      |    Inf 
47.99/48.04	c  48.0s| 10000 |   182 | 91528 |   8.7 |  15M|  87 |  41 |2340 |4024 |2340 |1718 |  81 |  20k|2685 | 0.000000e+00 |      --      |    Inf 
76.39/76.48	c  76.5s| 20000 |   162 |192135 |   9.4 |  15M|  87 |   - |2340 |4097 |   0 |   0 |  81 |  30k|3636 | 0.000000e+00 |      --      |    Inf 
105.79/105.89	c   106s| 30000 |   167 |301093 |   9.9 |  16M|  98 |   - |2340 |5104 |2340 |1718 |  81 |  39k|4797 | 0.000000e+00 |      --      |    Inf 
136.30/136.34	c   136s| 40000 |   158 |414584 |  10.2 |  16M|  98 |   - |2340 |5463 |2340 |1718 |  81 |  47k|5957 | 0.000000e+00 |      --      |    Inf 
169.59/169.67	c   170s| 50000 |   160 |563769 |  11.2 |  19M|  98 |   - |2340 |8477 |2340 |1718 |  81 |  61k|6570 | 0.000000e+00 |      --      |    Inf 
200.40/200.42	c   200s| 60000 |   162 |694125 |  11.5 |  19M|  98 |  66 |2340 |8038 |2340 |1718 |  81 |  71k|7136 | 0.000000e+00 |      --      |    Inf 
225.09/225.19	c   225s| 70000 |   162 |801831 |  11.4 |  19M|  98 |   - |2340 |8106 |2340 |1718 |  81 |  76k|7229 | 0.000000e+00 |      --      |    Inf 
261.00/261.07	c   261s| 80000 |   180 |948545 |  11.8 |  20M|  98 |  38 |2340 |9392 |2340 |1718 |  81 |  88k|8453 | 0.000000e+00 |      --      |    Inf 
290.70/290.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
290.70/290.77	c   291s| 90000 |   193 |  1085k|  12.0 |  22M|  98 |  77 |2340 |  11k|2340 |1718 |  81 |  93k|8820 | 0.000000e+00 |      --      |    Inf 
323.00/323.02	c   323s|100000 |   184 |  1214k|  12.1 |  18M|  98 |   - |2340 |7823 |2340 |1718 |  81 | 102k|9946 | 0.000000e+00 |      --      |    Inf 
357.51/357.56	c   358s|110000 |   180 |  1359k|  12.3 |  18M|  98 |   - |2340 |6323 |2340 |1718 |  81 | 114k|  10k| 0.000000e+00 |      --      |    Inf 
387.20/387.29	c   387s|120000 |   186 |  1491k|  12.4 |  19M|  98 |   - |2340 |7503 |2340 |1718 |  81 | 121k|  11k| 0.000000e+00 |      --      |    Inf 
415.10/415.14	c   415s|130000 |   172 |  1607k|  12.3 |  17M|  98 |   - |2340 |5252 |2340 |1718 |  81 | 125k|  12k| 0.000000e+00 |      --      |    Inf 
449.00/449.09	c   449s|140000 |   177 |  1754k|  12.5 |  18M|  98 |  63 |2340 |6113 |2340 |1718 |  81 | 133k|  12k| 0.000000e+00 |      --      |    Inf 
478.50/478.50	c   479s|150000 |   184 |  1874k|  12.5 |  19M|  98 |   - |2340 |7469 |2340 |1718 |  81 | 142k|  13k| 0.000000e+00 |      --      |    Inf 
511.80/511.80	c   512s|160000 |   181 |  2013k|  12.6 |  19M|  98 |  53 |2340 |8668 |2340 |1718 |  81 | 153k|  14k| 0.000000e+00 |      --      |    Inf 
544.00/544.00	c   544s|170000 |   166 |  2142k|  12.6 |  20M|  98 |   - |2340 |9869 |2340 |1718 |  81 | 161k|  14k| 0.000000e+00 |      --      |    Inf 
573.70/573.72	c   574s|180000 |   171 |  2270k|  12.6 |  21M|  98 |  80 |2340 |9990 |2340 |1718 |  81 | 169k|  15k| 0.000000e+00 |      --      |    Inf 
600.60/600.65	c   601s|190000 |   179 |  2396k|  12.6 |  22M|  98 |   - |2340 |  11k|2340 |1718 |  81 | 174k|  15k| 0.000000e+00 |      --      |    Inf 
627.21/627.22	c   627s|200000 |   190 |  2499k|  12.5 |  25M|  98 |  70 |2340 |  14k|2340 |1718 |  81 | 183k|  15k| 0.000000e+00 |      --      |    Inf 
657.20/657.26	c   657s|210000 |   187 |  2622k|  12.5 |  23M|  98 |  48 |2340 |  12k|2340 |1718 |  81 | 189k|  16k| 0.000000e+00 |      --      |    Inf 
689.71/689.79	c   690s|220000 |   216 |  2770k|  12.6 |  22M|  98 |   - |2340 |  10k|2340 |1718 |  81 | 196k|  17k| 0.000000e+00 |      --      |    Inf 
716.21/716.30	c   716s|230000 |   208 |  2899k|  12.6 |  22M|  98 |   - |2340 |  10k|2340 |1718 |  81 | 200k|  17k| 0.000000e+00 |      --      |    Inf 
740.60/740.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
740.60/740.66	c   741s|240000 |   190 |  3005k|  12.5 |  23M|  98 |  68 |2340 |  11k|2340 |1718 |  81 | 203k|  17k| 0.000000e+00 |      --      |    Inf 
769.91/769.96	c   770s|250000 |   184 |  3122k|  12.5 |  23M|  98 |   - |2340 |  12k|2340 |1718 |  81 | 216k|  18k| 0.000000e+00 |      --      |    Inf 
794.41/794.49	c   794s|260000 |   204 |  3227k|  12.4 |  24M|  98 |   - |2340 |  13k|2340 |1718 |  81 | 220k|  18k| 0.000000e+00 |      --      |    Inf 
821.11/821.15	c   821s|270000 |   193 |  3358k|  12.4 |  24M|  99 |  76 |2340 |  13k|2340 |1718 |  81 | 221k|  18k| 0.000000e+00 |      --      |    Inf 
847.01/847.03	c   847s|280000 |   197 |  3478k|  12.4 |  25M|  99 |   - |2340 |  14k|2340 |1718 |  81 | 224k|  18k| 0.000000e+00 |      --      |    Inf 
874.51/874.54	c   875s|290000 |   209 |  3593k|  12.4 |  27M|  99 |   - |2340 |  17k|2340 |1718 |  81 | 233k|  18k| 0.000000e+00 |      --      |    Inf 
903.31/903.31	c   903s|300000 |   222 |  3713k|  12.4 |  29M|  99 |  72 |2340 |  19k|2340 |1718 |  81 | 244k|  19k| 0.000000e+00 |      --      |    Inf 
933.21/933.21	c   933s|310000 |   241 |  3867k|  12.5 |  30M|  99 |   - |2340 |  19k|2340 |1718 |  81 | 246k|  19k| 0.000000e+00 |      --      |    Inf 
961.61/961.63	c   962s|320000 |   242 |  3988k|  12.4 |  30M|  99 |  67 |2340 |  19k|2340 |1718 |  81 | 252k|  19k| 0.000000e+00 |      --      |    Inf 
992.21/992.23	c   992s|330000 |   239 |  4133k|  12.5 |  31M|  99 |  67 |2340 |  21k|2340 |1718 |  81 | 258k|  19k| 0.000000e+00 |      --      |    Inf 
1020.72/1020.78	c  1021s|340000 |   249 |  4254k|  12.5 |  30M|  99 |  79 |2340 |  20k|2340 |1718 |  81 | 267k|  19k| 0.000000e+00 |      --      |    Inf 
1047.61/1047.62	c  1048s|350000 |   250 |  4363k|  12.5 |  32M| 100 |  67 |2340 |  22k|2340 |1718 |  81 | 272k|  20k| 0.000000e+00 |      --      |    Inf 
1073.82/1073.81	c  1074s|360000 |   256 |  4470k|  12.4 |  33M| 100 |   - |2340 |  23k|2340 |1718 |  81 | 277k|  20k| 0.000000e+00 |      --      |    Inf 
1100.91/1100.90	c  1101s|370000 |   254 |  4580k|  12.4 |  33M| 100 |   - |2340 |  23k|2340 |1718 |  81 | 283k|  20k| 0.000000e+00 |      --      |    Inf 
1130.21/1130.25	c  1130s|380000 |   225 |  4690k|  12.3 |  32M| 100 |  74 |2340 |  22k|2340 |1718 |  81 | 293k|  20k| 0.000000e+00 |      --      |    Inf 
1155.12/1155.16	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1155.12/1155.16	c  1155s|390000 |   223 |  4791k|  12.3 |  30M| 100 |  76 |2340 |  19k|2340 |1718 |  81 | 297k|  20k| 0.000000e+00 |      --      |    Inf 
1182.81/1182.85	c  1183s|400000 |   215 |  4910k|  12.3 |  30M| 100 |   - |2340 |  19k|2340 |1718 |  81 | 304k|  21k| 0.000000e+00 |      --      |    Inf 
1208.42/1208.43	c  1208s|410000 |   241 |  5025k|  12.2 |  28M| 100 |   - |2340 |  16k|2340 |1718 |  81 | 308k|  21k| 0.000000e+00 |      --      |    Inf 
1235.31/1235.32	c  1235s|420000 |   224 |  5149k|  12.2 |  29M| 100 |  64 |2340 |  18k|2340 |1718 |  81 | 311k|  21k| 0.000000e+00 |      --      |    Inf 
1263.03/1263.01	c  1263s|430000 |   216 |  5275k|  12.3 |  27M| 100 |  71 |2340 |  15k|2340 |1718 |  81 | 313k|  21k| 0.000000e+00 |      --      |    Inf 
1290.02/1290.01	c  1290s|440000 |   220 |  5397k|  12.3 |  31M| 100 |  73 |2340 |  19k|2340 |1718 |  81 | 321k|  21k| 0.000000e+00 |      --      |    Inf 
1318.12/1318.14	c  1318s|450000 |   259 |  5514k|  12.2 |  32M| 100 |  70 |2340 |  21k|2340 |1718 |  81 | 330k|  22k| 0.000000e+00 |      --      |    Inf 
1347.02/1347.05	c  1347s|460000 |   221 |  5625k|  12.2 |  33M| 100 |   - |2340 |  21k|2340 |1718 |  81 | 346k|  22k| 0.000000e+00 |      --      |    Inf 
1375.92/1375.94	c  1376s|470000 |   205 |  5749k|  12.2 |  36M| 100 |   - |2340 |  24k|2340 |1718 |  81 | 354k|  22k| 0.000000e+00 |      --      |    Inf 
1405.62/1405.66	c  1406s|480000 |   201 |  5874k|  12.2 |  33M| 100 |  68 |2340 |  21k|2340 |1718 |  81 | 362k|  22k| 0.000000e+00 |      --      |    Inf 
1435.63/1435.62	c  1436s|490000 |   213 |  6011k|  12.3 |  29M| 100 |  61 |2340 |  17k|2340 |1718 |  81 | 369k|  22k| 0.000000e+00 |      --      |    Inf 
1469.52/1469.51	c  1470s|500000 |   238 |  6193k|  12.4 |  30M| 100 |  63 |2340 |  18k|2340 |1718 |  81 | 375k|  23k| 0.000000e+00 |      --      |    Inf 
1505.43/1505.42	c  1505s|510000 |   208 |  6356k|  12.5 |  28M| 100 |  64 |2340 |  16k|2340 |1718 |  81 | 380k|  24k| 0.000000e+00 |      --      |    Inf 
1536.02/1536.02	c  1536s|520000 |   190 |  6459k|  12.4 |  31M| 100 |  74 |2340 |  18k|2340 |1718 |  81 | 387k|  25k| 0.000000e+00 |      --      |    Inf 
1566.92/1566.96	c  1567s|530000 |   183 |  6594k|  12.4 |  31M| 100 |   - |2340 |  18k|2340 |1718 |  81 | 397k|  26k| 0.000000e+00 |      --      |    Inf 
1598.22/1598.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1598.22/1598.29	c  1598s|540000 |   181 |  6712k|  12.4 |  28M| 100 |  78 |2340 |  15k|2340 |1718 |  81 | 405k|  27k| 0.000000e+00 |      --      |    Inf 
1627.03/1627.04	c  1627s|550000 |   175 |  6819k|  12.4 |  25M| 100 |   - |2340 |  13k|2340 |1718 |  81 | 410k|  28k| 0.000000e+00 |      --      |    Inf 
1653.54/1653.51	c  1654s|560000 |   205 |  6927k|  12.4 |  25M| 100 |   - |2340 |  12k|2340 |1718 |  81 | 421k|  28k| 0.000000e+00 |      --      |    Inf 
1680.83/1680.83	c  1681s|570000 |   214 |  7043k|  12.3 |  26M| 100 |   - |2340 |  13k|2340 |1718 |  81 | 428k|  28k| 0.000000e+00 |      --      |    Inf 
1707.73/1707.77	c  1708s|580000 |   195 |  7182k|  12.4 |  26M| 100 |  45 |2340 |  13k|2340 |1718 |  81 | 428k|  28k| 0.000000e+00 |      --      |    Inf 
1734.23/1734.21	c  1734s|590000 |   209 |  7295k|  12.4 |  25M| 105 |  64 |2340 |  12k|2340 |1718 |  81 | 432k|  28k| 0.000000e+00 |      --      |    Inf 
1758.43/1758.49	c  1758s|600000 |   203 |  7405k|  12.3 |  25M| 105 |  69 |2340 |  13k|2340 |1718 |  81 | 434k|  28k| 0.000000e+00 |      --      |    Inf 
1784.13/1784.16	c  1784s|610000 |   203 |  7526k|  12.3 |  27M| 107 |   - |2340 |  14k|2340 |1718 |  81 | 436k|  28k| 0.000000e+00 |      --      |    Inf 
1797.03/1797.00	c 
1797.03/1797.00	c SCIP Status        : solving was interrupted [time limit reached]
1797.03/1797.00	c Solving Time (sec) : 1797.00
1797.03/1797.00	c Solving Nodes      : 614614
1797.03/1797.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1797.03/1797.00	c Dual Bound         : +0.00000000000000e+00
1797.03/1797.00	c Gap                : infinite
1797.03/1797.00	s UNKNOWN
1797.03/1797.00	c SCIP Status        : solving was interrupted [time limit reached]
1797.03/1797.00	c Total Time         :    1797.00
1797.03/1797.00	c   solving          :    1797.00
1797.03/1797.00	c   presolving       :       0.04 (included in solving)
1797.03/1797.00	c   reading          :       0.03 (included in solving)
1797.03/1797.00	c Original Problem   :
1797.03/1797.00	c   Problem name     : HOME/instance-3489293-1307757293.opb
1797.03/1797.00	c   Variables        : 2340 (2340 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00	c   Constraints      : 1678 initial, 1678 maximal
1797.03/1797.00	c Presolved Problem  :
1797.03/1797.00	c   Problem name     : t_HOME/instance-3489293-1307757293.opb
1797.03/1797.00	c   Variables        : 2340 (2340 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00	c   Constraints      : 1678 initial, 25567 maximal
1797.03/1797.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1797.03/1797.00	c   trivial          :       0.00          0          0          0          0          0          0          0          0          0
1797.03/1797.00	c   dualfix          :       0.00          0          0          0          0          0          0          0          0          0
1797.03/1797.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1797.03/1797.00	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1797.03/1797.00	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
1797.03/1797.00	c   implics          :       0.00          0          0          0          0          0          0          0          0          0
1797.03/1797.00	c   probing          :       0.00          0          0          0          0          0          0          0          0          0
1797.03/1797.00	c   setppc           :       0.00          0          0          0          0          0          0          0          0          0
1797.03/1797.00	c   linear           :       0.02          0          0          0          0          0          0          0          0          0
1797.03/1797.00	c   logicor          :       0.02          0          0          0          0          0          0          0          0          0
1797.03/1797.00	c   root node        :          -          0          -          -          0          -          -          -          -          -
1797.03/1797.00	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1797.03/1797.00	c   integral         :          0          0          0     311062          0          1          0        150       2109          0          0     618134
1797.03/1797.00	c   setppc           :         79          5    1709948          0          0          0   49920708        480    7607103          0          0          0
1797.03/1797.00	c   linear           :          0+         5        187          0          0          0          0          0          0          0          0          0
1797.03/1797.00	c   logicor          :       1599+         5     662280          0          0          0     411513       1242     474335          0          0          0
1797.03/1797.00	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0
1797.03/1797.00	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1797.03/1797.00	c   integral         :     116.41       0.00       0.00     116.41       0.00       0.00       0.00
1797.03/1797.00	c   setppc           :      22.42       0.00       9.08       0.00       0.00       0.00      13.35
1797.03/1797.00	c   linear           :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.03/1797.00	c   logicor          :      42.62       0.00      41.49       0.00       0.00       0.00       1.13
1797.03/1797.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.03/1797.00	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1797.03/1797.00	c   vbounds          :          0          0          0          0
1797.03/1797.00	c   rootredcost      :          0          0          0          0
1797.03/1797.00	c   pseudoobj        :          0          0          0          0
1797.03/1797.00	c Propagator Timings :  TotalTime  Propagate    Resprop
1797.03/1797.00	c   vbounds          :       0.24       0.24       0.00
1797.03/1797.00	c   rootredcost      :       0.25       0.25       0.00
1797.03/1797.00	c   pseudoobj        :       0.17       0.17       0.00
1797.03/1797.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.03/1797.00	c   propagation      :       0.20       1722       1711      16962       94.0         15       70.7          -
1797.03/1797.00	c   infeasible LP    :     293.51     304109     129650    3381893      248.8        927       63.0          0
1797.03/1797.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.03/1797.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.03/1797.00	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.03/1797.00	c   applied globally :          -          -          -     439563      113.2          -          -          -
1797.03/1797.00	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.03/1797.00	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1797.03/1797.00	c   cut pool         :       0.00          4          -          -          0          -    (maximal pool size: 150)
1797.03/1797.00	c   redcost          :      10.60     309372          0          0          0          0
1797.03/1797.00	c   impliedbounds    :       0.00          5          0          0          0          0
1797.03/1797.00	c   intobj           :       0.00          0          0          0          0          0
1797.03/1797.00	c   gomory           :       0.15          5          0          0       2444          0
1797.03/1797.00	c   cgmip            :       0.00          0          0          0          0          0
1797.03/1797.00	c   closecuts        :       0.00          0          0          0          0          0
1797.03/1797.00	c   strongcg         :       0.14          5          0          0       2444          0
1797.03/1797.00	c   cmir             :       0.00          0          0          0          0          0
1797.03/1797.00	c   flowcover        :       0.00          0          0          0          0          0
1797.03/1797.00	c   clique           :       0.02          5          0          0          0          0
1797.03/1797.00	c   zerohalf         :       0.00          0          0          0          0          0
1797.03/1797.00	c   mcf              :       0.00          1          0          0          0          0
1797.03/1797.00	c   oddcycle         :       0.00          0          0          0          0          0
1797.03/1797.00	c   rapidlearning    :       0.09          1          0          0          0         52
1797.03/1797.00	c Pricers            :       Time      Calls       Vars
1797.03/1797.00	c   problem variables:       0.00          0          0
1797.03/1797.00	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1797.03/1797.00	c   relpscost        :     116.21     311062        150       2109          0          0     618134
1797.03/1797.00	c   pscost           :       0.00          0          0          0          0          0          0
1797.03/1797.00	c   inference        :       0.00          0          0          0          0          0          0
1797.03/1797.00	c   mostinf          :       0.00          0          0          0          0          0          0
1797.03/1797.00	c   leastinf         :       0.00          0          0          0          0          0          0
1797.03/1797.00	c   fullstrong       :       0.00          0          0          0          0          0          0
1797.03/1797.00	c   allfullstrong    :       0.00          0          0          0          0          0          0
1797.03/1797.00	c   random           :       0.00          0          0          0          0          0          0
1797.03/1797.00	c Primal Heuristics  :       Time      Calls      Found
1797.03/1797.00	c   LP solutions     :       0.00          -          0
1797.03/1797.00	c   pseudo solutions :       0.00          -          0
1797.03/1797.00	c   trivial          :       0.00          1          0
1797.03/1797.00	c   shiftandpropagate:       0.00          0          0
1797.03/1797.00	c   simplerounding   :       0.00          0          0
1797.03/1797.00	c   zirounding       :       0.00          0          0
1797.03/1797.00	c   rounding         :       0.00          0          0
1797.03/1797.00	c   shifting         :       0.00          0          0
1797.03/1797.00	c   intshifting      :       0.00          0          0
1797.03/1797.00	c   oneopt           :       0.00          0          0
1797.03/1797.00	c   twoopt           :       0.00          0          0
1797.03/1797.00	c   fixandinfer      :       0.00          0          0
1797.03/1797.00	c   feaspump         :       0.00          0          0
1797.03/1797.00	c   clique           :       0.00          0          0
1797.03/1797.00	c   coefdiving       :       0.00          0          0
1797.03/1797.00	c   pscostdiving     :       0.00          0          0
1797.03/1797.00	c   fracdiving       :       0.00          0          0
1797.03/1797.00	c   veclendiving     :       0.00          0          0
1797.03/1797.00	c   intdiving        :       0.00          0          0
1797.03/1797.00	c   actconsdiving    :       0.00          0          0
1797.03/1797.00	c   objpscostdiving  :       0.00          0          0
1797.03/1797.00	c   rootsoldiving    :       0.00          0          0
1797.03/1797.00	c   linesearchdiving :       0.00          0          0
1797.03/1797.00	c   guideddiving     :       0.00          0          0
1797.03/1797.00	c   octane           :       0.00          0          0
1797.03/1797.00	c   rens             :       0.00          0          0
1797.03/1797.00	c   rins             :       0.00          0          0
1797.03/1797.00	c   localbranching   :       0.00          0          0
1797.03/1797.00	c   mutation         :       0.00          0          0
1797.03/1797.00	c   crossover        :       0.00          0          0
1797.03/1797.00	c   dins             :       0.00          0          0
1797.03/1797.00	c   vbounds          :       0.00          0          0
1797.03/1797.00	c   undercover       :       0.00          0          0
1797.03/1797.00	c   subnlp           :       0.00          0          0
1797.03/1797.00	c   trysol           :       0.00          0          0
1797.03/1797.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1797.03/1797.00	c   primal LP        :       0.00          0          0       0.00          -
1797.03/1797.00	c   dual LP          :    1134.23     614672    7584230      12.34    6686.66
1797.03/1797.00	c   lex dual LP      :       0.00          0          0       0.00          -
1797.03/1797.00	c   barrier LP       :       0.00          0          0       0.00          -
1797.03/1797.00	c   diving/probing LP:       0.00          0          0       0.00          -
1797.03/1797.00	c   strong branching :     108.54      29011     589243      20.31    5428.79
1797.03/1797.00	c     (at root node) :          -         16       2433     152.06          -
1797.03/1797.00	c   conflict analysis:       0.00          0          0       0.00          -
1797.03/1797.00	c B&B Tree           :
1797.03/1797.00	c   number of runs   :          1
1797.03/1797.00	c   nodes            :     614614
1797.03/1797.00	c   nodes (total)    :     614614
1797.03/1797.00	c   nodes left       :        217
1797.03/1797.00	c   max depth        :        107
1797.03/1797.00	c   max depth (total):        107
1797.03/1797.00	c   backtracks       :      73590 (12.0%)
1797.03/1797.00	c   delayed cutoffs  :       3304
1797.03/1797.00	c   repropagations   :     550098 (648882 domain reductions, 434 cutoffs)
1797.03/1797.00	c   avg switch length:       4.11
1797.03/1797.00	c   switching time   :      54.72
1797.03/1797.00	c Solution           :
1797.03/1797.00	c   Solutions found  :          0 (0 improvements)
1797.03/1797.00	c   Primal Bound     :          -
1797.03/1797.00	c   Dual Bound       : +0.00000000000000e+00
1797.03/1797.00	c   Gap              :   infinite
1797.03/1797.00	c   Root Dual Bound  : +0.00000000000000e+00
1797.03/1797.00	c   Root Iterations  :       4732
1797.03/1797.04	c Time complete: 1797.07.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3489293-1307757293/watcher-3489293-1307757293 -o /tmp/evaluation-result-3489293-1307757293/solver-3489293-1307757293 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489293-1307757293.opb -t 1800 -m 15500 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 28252
/proc/meminfo: memFree=29248848/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=12700 CPUtime=0 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 2175 0 0 0 0 0 0 0 25 0 1 0 887330278 13004800 2130 33554432000 4194304 9016284 140734496985280 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28252/statm: 3223 2141 357 1178 0 2041 0

[startup+0.105225 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 28252
/proc/meminfo: memFree=29248848/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=41532 CPUtime=0.1 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 9759 0 0 0 9 1 0 0 25 0 1 0 887330278 42528768 9117 33554432000 4194304 9016284 140734496985280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 10383 9117 674 1178 0 9201 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 41532

[startup+0.201205 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 28252
/proc/meminfo: memFree=29248848/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=41884 CPUtime=0.19 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 10101 0 0 0 18 1 0 0 25 0 1 0 887330278 42889216 9267 33554432000 4194304 9016284 140734496985280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 10471 9267 669 1178 0 9289 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 41884

[startup+0.300191 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 28252
/proc/meminfo: memFree=29248848/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=65048 CPUtime=0.29 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 15738 0 0 0 26 3 0 0 25 0 1 0 887330278 66609152 14884 33554432000 4194304 9016284 140734496985280 18446744073709551615 5974813 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 16262 14884 673 1178 0 15080 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 65048

[startup+0.700119 s]
/proc/loadavg: 2.00 2.00 1.94 2/177 28252
/proc/meminfo: memFree=29248848/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=64312 CPUtime=0.69 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 16343 0 0 0 64 5 0 0 25 0 1 0 887330278 65855488 14756 33554432000 4194304 9016284 140734496985280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 16078 14756 664 1178 0 14896 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 64312

[startup+1.50097 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 28253
/proc/meminfo: memFree=29191112/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=64312 CPUtime=1.49 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 16611 0 0 0 140 9 0 0 25 0 1 0 887330278 65855488 15018 33554432000 4194304 9016284 140734496985280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 16078 15018 659 1178 0 14896 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 64312

[startup+3.10069 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 28253
/proc/meminfo: memFree=29190796/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=64312 CPUtime=3.09 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 16615 0 0 0 294 15 0 0 25 0 1 0 887330278 65855488 15022 33554432000 4194304 9016284 140734496985280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 16078 15022 663 1178 0 14896 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 64312

[startup+6.30014 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 28253
/proc/meminfo: memFree=29190424/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=64312 CPUtime=6.29 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 16615 0 0 0 600 29 0 0 25 0 1 0 887330278 65855488 15022 33554432000 4194304 9016284 140734496985280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 16078 15022 663 1178 0 14896 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 64312

[startup+12.701 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 28253
/proc/meminfo: memFree=29191188/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=64312 CPUtime=12.69 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 16615 0 0 0 1216 53 0 0 25 0 1 0 887330278 65855488 15022 33554432000 4194304 9016284 140734496985280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 16078 15022 663 1178 0 14896 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64312

[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 28253
/proc/meminfo: memFree=29190744/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=64312 CPUtime=25.49 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 16623 0 0 0 2446 103 0 0 25 0 1 0 887330278 65855488 15030 33554432000 4194304 9016284 140734496985280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 16078 15030 665 1178 0 14896 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 64312

[startup+51.1012 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 28254
/proc/meminfo: memFree=29194836/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=64312 CPUtime=51.09 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 16701 0 0 0 4922 187 0 0 25 0 1 0 887330278 65855488 15108 33554432000 4194304 9016284 140734496985280 18446744073709551615 6422937 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 16078 15108 665 1178 0 14896 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 64312

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 28256
/proc/meminfo: memFree=29210920/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=64312 CPUtime=102.3 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 16701 0 0 0 9859 371 0 0 25 0 1 0 887330278 65855488 15108 33554432000 4194304 9016284 140734496985280 18446744073709551615 6422932 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 16078 15108 665 1178 0 14896 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 64312

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 28371
/proc/meminfo: memFree=31469152/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=65376 CPUtime=162.29 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 16961 0 0 0 15696 533 0 0 25 0 1 0 887330278 66945024 15368 33554432000 4194304 9016284 140734496985280 18446744073709551615 7214066 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 16344 15368 665 1178 0 15162 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 65376

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 28411
/proc/meminfo: memFree=29733816/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=68000 CPUtime=222.3 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 17620 0 0 0 21559 671 0 0 25 0 1 0 887330278 69632000 16027 33554432000 4194304 9016284 140734496985280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 17000 16027 665 1178 0 15818 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 68000

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 28412
/proc/meminfo: memFree=29671672/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=69808 CPUtime=282.29 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 18081 0 0 0 27399 830 0 0 25 0 1 0 887330278 71483392 16478 33554432000 4194304 9016284 140734496985280 18446744073709551615 7198940 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 17452 16478 665 1178 0 16270 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 69808

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 28414
/proc/meminfo: memFree=29667160/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=72236 CPUtime=342.3 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 18704 0 0 0 33235 995 0 0 25 0 1 0 887330278 73969664 17100 33554432000 4194304 9016284 140734496985280 18446744073709551615 7213857 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 18059 17100 665 1178 0 16877 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 72236

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 28425
/proc/meminfo: memFree=29637876/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=72564 CPUtime=402.3 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 18779 0 0 0 39051 1179 0 0 25 0 1 0 887330278 74305536 17175 33554432000 4194304 9016284 140734496985280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 18141 17175 665 1178 0 16959 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 72564

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 28892
/proc/meminfo: memFree=29587792/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=72892 CPUtime=462.29 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 18858 0 0 0 44894 1335 0 0 25 0 1 0 887330278 74641408 17254 33554432000 4194304 9016284 140734496985280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 18223 17254 665 1178 0 17041 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 72892

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 28894
/proc/meminfo: memFree=29584260/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=74024 CPUtime=522.3 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 19172 0 0 0 50781 1449 0 0 25 0 1 0 887330278 75800576 17568 33554432000 4194304 9016284 140734496985280 18446744073709551615 6422937 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 18506 17568 665 1178 0 17324 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 74024

[startup+582.3 s]
/proc/loadavg: 2.04 2.01 1.94 3/178 28898
/proc/meminfo: memFree=29582724/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=74164 CPUtime=582.29 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 19184 0 0 0 56670 1559 0 0 25 0 1 0 887330278 75943936 17580 33554432000 4194304 9016284 140734496985280 18446744073709551615 6363065 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 18541 17580 665 1178 0 17359 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 74164

[startup+642.301 s]

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

/proc/meminfo: memFree=29522360/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=93952 CPUtime=1122.31 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 24122 0 0 0 109588 2643 0 0 25 0 1 0 887330278 96206848 22514 33554432000 4194304 9016284 140734496985280 18446744073709551615 6422896 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 23488 22514 665 1178 0 22306 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 93952

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 28914
/proc/meminfo: memFree=29521788/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=94380 CPUtime=1182.32 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 24247 0 0 0 115476 2756 0 0 25 0 1 0 887330278 96645120 22633 33554432000 4194304 9016284 140734496985280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 23595 22633 665 1178 0 22413 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 94380

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 28916
/proc/meminfo: memFree=29520992/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=94528 CPUtime=1242.31 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 24268 0 0 0 121355 2876 0 0 25 0 1 0 887330278 96796672 22654 33554432000 4194304 9016284 140734496985280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 23632 22654 665 1178 0 22450 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 94528

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 28918
/proc/meminfo: memFree=29514592/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=95396 CPUtime=1302.31 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 24508 0 0 0 127235 2996 0 0 25 0 1 0 887330278 97685504 22894 33554432000 4194304 9016284 140734496985280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 23849 22894 665 1178 0 22667 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 95396

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 28919
/proc/meminfo: memFree=29511936/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=96592 CPUtime=1362.32 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 24811 0 0 0 133121 3111 0 0 25 0 1 0 887330278 98910208 23197 33554432000 4194304 9016284 140734496985280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 24148 23197 665 1178 0 22966 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 96592

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 28921
/proc/meminfo: memFree=29510384/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=97652 CPUtime=1422.32 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 25063 0 0 0 139008 3224 0 0 25 0 1 0 887330278 99995648 23449 33554432000 4194304 9016284 140734496985280 18446744073709551615 4291235 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 24413 23449 665 1178 0 23231 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 97652

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 28922
/proc/meminfo: memFree=29508972/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=98680 CPUtime=1482.33 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 25303 0 0 0 144872 3361 0 0 25 0 1 0 887330278 101048320 23689 33554432000 4194304 9016284 140734496985280 18446744073709551615 4878544 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 24670 23689 665 1178 0 23488 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 98680

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 28924
/proc/meminfo: memFree=29508412/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=98820 CPUtime=1542.33 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 25365 0 0 0 150744 3489 0 0 25 0 1 0 887330278 101191680 23751 33554432000 4194304 9016284 140734496985280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 24705 23751 665 1178 0 23523 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 98820

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 28926
/proc/meminfo: memFree=29506248/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=100984 CPUtime=1602.32 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 25890 0 0 0 156622 3610 0 0 25 0 1 0 887330278 103407616 24276 33554432000 4194304 9016284 140734496985280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 25246 24276 665 1178 0 24064 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 100984

[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 28927
/proc/meminfo: memFree=29505292/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=101260 CPUtime=1662.33 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 25967 0 0 0 162506 3727 0 0 25 0 1 0 887330278 103690240 24353 33554432000 4194304 9016284 140734496985280 18446744073709551615 7091770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 25315 24353 665 1178 0 24133 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 101260

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 28929
/proc/meminfo: memFree=29504992/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=101260 CPUtime=1722.33 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 25979 0 0 0 168372 3861 0 0 25 0 1 0 887330278 103690240 24365 33554432000 4194304 9016284 140734496985280 18446744073709551615 7055184 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 25315 24365 665 1178 0 24133 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 101260

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 28930
/proc/meminfo: memFree=29504924/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=101404 CPUtime=1782.33 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 25984 0 0 0 174244 3989 0 0 25 0 1 0 887330278 103837696 24370 33554432000 4194304 9016284 140734496985280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 25351 24370 665 1178 0 24169 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 101404

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

[startup+1785.7 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 28930
/proc/meminfo: memFree=29504796/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=101404 CPUtime=1785.73 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 25984 0 0 0 174579 3994 0 0 25 0 1 0 887330278 103837696 24370 33554432000 4194304 9016284 140734496985280 18446744073709551615 7055208 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 25351 24370 665 1178 0 24169 0
Current children cumulated CPU time (s) 1785.73
Current children cumulated vsize (KiB) 101404

[startup+1792.11 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 28931
/proc/meminfo: memFree=29504900/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=101404 CPUtime=1792.13 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 25986 0 0 0 175206 4007 0 0 25 0 1 0 887330278 103837696 24372 33554432000 4194304 9016284 140734496985280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 25351 24372 665 1178 0 24169 0
Current children cumulated CPU time (s) 1792.13
Current children cumulated vsize (KiB) 101404

[startup+1795.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 28931
/proc/meminfo: memFree=29504776/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=101404 CPUtime=1795.33 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 25986 0 0 0 175519 4014 0 0 25 0 1 0 887330278 103837696 24372 33554432000 4194304 9016284 140734496985280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 25351 24372 665 1178 0 24169 0
Current children cumulated CPU time (s) 1795.33
Current children cumulated vsize (KiB) 101404

[startup+1796.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 28931
/proc/meminfo: memFree=29504776/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=101404 CPUtime=1796.13 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 25986 0 0 0 175597 4016 0 0 25 0 1 0 887330278 103837696 24372 33554432000 4194304 9016284 140734496985280 18446744073709551615 7221921 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 25351 24372 665 1178 0 24169 0
Current children cumulated CPU time (s) 1796.13
Current children cumulated vsize (KiB) 101404

[startup+1796.51 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 28931
/proc/meminfo: memFree=29504888/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=101404 CPUtime=1796.54 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 25986 0 0 0 175637 4017 0 0 25 0 1 0 887330278 103837696 24372 33554432000 4194304 9016284 140734496985280 18446744073709551615 7214016 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 25351 24372 665 1178 0 24169 0
Current children cumulated CPU time (s) 1796.54
Current children cumulated vsize (KiB) 101404

[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 28931
/proc/meminfo: memFree=29504888/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=101404 CPUtime=1796.93 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 25986 0 0 0 175676 4017 0 0 25 0 1 0 887330278 103837696 24372 33554432000 4194304 9016284 140734496985280 18446744073709551615 6422592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 25351 24372 665 1178 0 24169 0
Current children cumulated CPU time (s) 1796.93
Current children cumulated vsize (KiB) 101404

[startup+1797 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 28931
/proc/meminfo: memFree=29504888/32951124 swapFree=67052292/67111528
[pid=28252] ppid=28250 vsize=101404 CPUtime=1797.03 cores=1,3,5,7
/proc/28252/stat : 28252 (scip-2.0.1.4b_2) R 28250 28252 26964 0 -1 4202496 25986 0 0 0 175686 4017 0 0 25 0 1 0 887330278 103837696 24372 33554432000 4194304 9016284 140734496985280 18446744073709551615 6422937 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28252/statm: 25351 24372 665 1178 0 24169 0
Current children cumulated CPU time (s) 1797.03
Current children cumulated vsize (KiB) 101404

Child status: 0
Real time (s): 1797.05
CPU time (s): 1797.08
CPU user time (s): 1756.9
CPU system time (s): 40.1829
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 101404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1756.9
system time used= 40.1829
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25993
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= 5
involuntary context switches= 2458

runsolver used 2.51662 second user time and 6.26505 second system time

The end

Launcher Data 

Begin job on node108 at 2011-06-11 03:54:53
IDJOB=3489293
IDBENCH=1430
IDSOLVER=1979
FILE ID=node108/3489293-1307757293
RUNJOBID= node108-1307750177-26983
PBS_JOBID= 13550852
Free space on /tmp= 74052 MiB

SOLVER NAME= SCIP spx E_2 2011-06-10 (fixed)
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb
COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3489293-1307757293/watcher-3489293-1307757293 -o /tmp/evaluation-result-3489293-1307757293/solver-3489293-1307757293 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489293-1307757293.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 72bb077846a4d869a09744c0b238b13c
RANDOM SEED=961166316

node108.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29249400 kB
Buffers:        264792 kB
Cached:         799764 kB
SwapCached:      25932 kB
Active:        2955880 kB
Inactive:       527164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29249400 kB
SwapTotal:    67111528 kB
SwapFree:     67052292 kB
Dirty:           17300 kB
Writeback:           0 kB
AnonPages:     2413764 kB
Mapped:          11860 kB
Slab:           148812 kB
PageTables:       9472 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  2730068 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74052 MiB
End job on node108 at 2011-06-11 04:24:51