Trace number 3485807

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 2 2011-06-10 (fixed)? (TO) 1800.17 1800.1

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb
MD5SUMf5d8cf0048d52cf223a3574d281ac8f8
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 benchmark2.5986
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables2800
Total number of constraints990001
Number of constraints which are clauses986760
Number of constraints which are cardinality constraints (but not clauses)81
Number of constraints which are nor clauses,nor cardinality constraints3160
Minimum length of a constraint2
Maximum length of a constraint1200
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 350
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1239
Number of bits of the biggest sum of numbers11
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.4 [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-3485807-1307752112.opb>
5.09/5.12	c original problem has 2800 variables (2800 bin, 0 int, 0 impl, 0 cont) and 990001 constraints
5.09/5.12	c problem read
5.09/5.12	c No objective function, only one solution is needed.
5.09/5.12	c presolving settings loaded
7.99/8.04	c presolving:
12.39/12.42	c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 990000 upgd conss, 2400 impls, 80 clqs
13.20/13.21	c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 3238 chg coeffs, 990000 upgd conss, 2400 impls, 80 clqs
13.99/14.05	c presolving (3 rounds):
13.99/14.05	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 3397 changed coefficients
13.99/14.05	c  5520 implications, 80 cliques
13.99/14.05	c presolved problem has 2800 variables (2800 bin, 0 int, 0 impl, 0 cont) and 990001 constraints
13.99/14.05	c    3160 constraints of type <knapsack>
13.99/14.05	c    1280 constraints of type <setppc>
13.99/14.05	c       1 constraints of type <linear>
13.99/14.05	c  985560 constraints of type <logicor>
13.99/14.05	c transformed objective value is always integral (scale: 1)
13.99/14.05	c Presolving Time: 8.36
13.99/14.05	c - non default parameters ----------------------------------------------------------------------
13.99/14.05	c # SCIP version 2.0.1.4
13.99/14.05	c 
13.99/14.05	c # frequency for displaying node information lines
13.99/14.05	c # [type: int, range: [-1,2147483647], default: 100]
13.99/14.05	c display/freq = 10000
13.99/14.05	c 
13.99/14.05	c # maximal time in seconds to run
13.99/14.05	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
13.99/14.05	c limits/time = 1797
13.99/14.05	c 
13.99/14.05	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
13.99/14.05	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
13.99/14.05	c limits/memory = 13950
13.99/14.05	c 
13.99/14.05	c # solving stops, if the given number of solutions were found (-1: no limit)
13.99/14.05	c # [type: int, range: [-1,2147483647], default: -1]
13.99/14.05	c limits/solutions = 1
13.99/14.05	c 
13.99/14.05	c # maximal number of separation rounds per node (-1: unlimited)
13.99/14.05	c # [type: int, range: [-1,2147483647], default: 5]
13.99/14.05	c separating/maxrounds = 1
13.99/14.05	c 
13.99/14.05	c # maximal number of separation rounds in the root node (-1: unlimited)
13.99/14.05	c # [type: int, range: [-1,2147483647], default: -1]
13.99/14.05	c separating/maxroundsroot = 5
13.99/14.05	c 
13.99/14.05	c # default clock type (1: CPU user seconds, 2: wall clock time)
13.99/14.05	c # [type: int, range: [1,2], default: 1]
13.99/14.05	c timing/clocktype = 2
13.99/14.05	c 
13.99/14.05	c # belongs reading time to solving time?
13.99/14.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.99/14.05	c timing/reading = TRUE
13.99/14.05	c 
13.99/14.05	c # should presolving try to simplify inequalities
13.99/14.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.99/14.05	c constraints/linear/simplifyinequalities = TRUE
13.99/14.05	c 
13.99/14.05	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
13.99/14.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.99/14.05	c constraints/indicator/addCouplingCons = TRUE
13.99/14.05	c 
13.99/14.05	c # should disaggregation of knapsack constraints be allowed in preprocessing?
13.99/14.05	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
13.99/14.05	c constraints/knapsack/disaggregation = FALSE
13.99/14.05	c 
13.99/14.05	c # should presolving try to simplify knapsacks
13.99/14.05	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.99/14.05	c constraints/knapsack/simplifyinequalities = TRUE
13.99/14.05	c 
13.99/14.05	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
13.99/14.05	c # [type: int, range: [-1,2147483647], default: -1]
13.99/14.05	c presolving/probing/maxrounds = 0
13.99/14.05	c 
13.99/14.05	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
13.99/14.05	c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.05	c heuristics/coefdiving/freq = -1
13.99/14.05	c 
13.99/14.05	c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.05	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.05	c heuristics/coefdiving/maxlpiterquot = 0.075
13.99/14.05	c 
13.99/14.05	c # additional number of allowed LP iterations
13.99/14.05	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.05	c heuristics/coefdiving/maxlpiterofs = 1500
13.99/14.05	c 
13.99/14.05	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
13.99/14.05	c # [type: int, range: [-1,2147483647], default: 30]
13.99/14.05	c heuristics/crossover/freq = -1
13.99/14.05	c 
13.99/14.05	c # number of nodes added to the contingent of the total nodes
13.99/14.05	c # [type: longint, range: [0,9223372036854775807], default: 500]
13.99/14.05	c heuristics/crossover/nodesofs = 750
13.99/14.05	c 
13.99/14.05	c # number of nodes without incumbent change that heuristic should wait
13.99/14.05	c # [type: longint, range: [0,9223372036854775807], default: 200]
13.99/14.05	c heuristics/crossover/nwaitingnodes = 100
13.99/14.05	c 
13.99/14.05	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
13.99/14.05	c # [type: real, range: [0,1], default: 0.1]
13.99/14.05	c heuristics/crossover/nodesquot = 0.15
13.99/14.05	c 
13.99/14.05	c # minimum percentage of integer variables that have to be fixed 
13.99/14.05	c # [type: real, range: [0,1], default: 0.666]
13.99/14.05	c heuristics/crossover/minfixingrate = 0.5
13.99/14.05	c 
13.99/14.05	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
13.99/14.05	c # [type: int, range: [-1,2147483647], default: 20]
13.99/14.05	c heuristics/feaspump/freq = -1
13.99/14.05	c 
13.99/14.05	c # additional number of allowed LP iterations
13.99/14.05	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.05	c heuristics/feaspump/maxlpiterofs = 2000
13.99/14.05	c 
13.99/14.05	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
13.99/14.05	c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.05	c heuristics/fracdiving/freq = -1
13.99/14.05	c 
13.99/14.05	c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.05	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.05	c heuristics/fracdiving/maxlpiterquot = 0.075
13.99/14.05	c 
13.99/14.05	c # additional number of allowed LP iterations
13.99/14.05	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.05	c heuristics/fracdiving/maxlpiterofs = 1500
13.99/14.05	c 
13.99/14.05	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
13.99/14.05	c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.05	c heuristics/guideddiving/freq = -1
13.99/14.05	c 
13.99/14.05	c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.05	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.05	c heuristics/guideddiving/maxlpiterquot = 0.075
13.99/14.05	c 
13.99/14.05	c # additional number of allowed LP iterations
13.99/14.05	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.05	c heuristics/guideddiving/maxlpiterofs = 1500
13.99/14.05	c 
13.99/14.05	c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.05	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.05	c heuristics/intdiving/maxlpiterquot = 0.075
13.99/14.05	c 
13.99/14.05	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
13.99/14.05	c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.05	c heuristics/intshifting/freq = -1
13.99/14.05	c 
13.99/14.05	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
13.99/14.05	c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.05	c heuristics/linesearchdiving/freq = -1
13.99/14.05	c 
13.99/14.05	c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.05	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.05	c heuristics/linesearchdiving/maxlpiterquot = 0.075
13.99/14.05	c 
13.99/14.05	c # additional number of allowed LP iterations
13.99/14.05	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.05	c heuristics/linesearchdiving/maxlpiterofs = 1500
13.99/14.05	c 
13.99/14.05	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
13.99/14.05	c # [type: int, range: [-1,2147483647], default: 20]
13.99/14.05	c heuristics/objpscostdiving/freq = -1
13.99/14.05	c 
13.99/14.05	c # maximal fraction of diving LP iterations compared to total iteration number
13.99/14.05	c # [type: real, range: [0,1], default: 0.01]
13.99/14.05	c heuristics/objpscostdiving/maxlpiterquot = 0.015
13.99/14.05	c 
13.99/14.05	c # additional number of allowed LP iterations
13.99/14.05	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.05	c heuristics/objpscostdiving/maxlpiterofs = 1500
13.99/14.05	c 
13.99/14.05	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
13.99/14.05	c # [type: int, range: [-1,2147483647], default: 1]
13.99/14.05	c heuristics/oneopt/freq = -1
13.99/14.05	c 
13.99/14.05	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
13.99/14.05	c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.05	c heuristics/pscostdiving/freq = -1
13.99/14.05	c 
13.99/14.05	c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.05	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.05	c heuristics/pscostdiving/maxlpiterquot = 0.075
13.99/14.05	c 
13.99/14.05	c # additional number of allowed LP iterations
13.99/14.05	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.05	c heuristics/pscostdiving/maxlpiterofs = 1500
13.99/14.05	c 
13.99/14.05	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
13.99/14.05	c # [type: int, range: [-1,2147483647], default: 0]
13.99/14.05	c heuristics/rens/freq = -1
13.99/14.05	c 
13.99/14.05	c # minimum percentage of integer variables that have to be fixable 
13.99/14.05	c # [type: real, range: [0,1], default: 0.5]
13.99/14.05	c heuristics/rens/minfixingrate = 0.3
13.99/14.05	c 
13.99/14.05	c # number of nodes added to the contingent of the total nodes
13.99/14.05	c # [type: longint, range: [0,9223372036854775807], default: 500]
13.99/14.05	c heuristics/rens/nodesofs = 2000
13.99/14.05	c 
13.99/14.05	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
13.99/14.05	c # [type: int, range: [-1,2147483647], default: 20]
13.99/14.05	c heuristics/rootsoldiving/freq = -1
13.99/14.05	c 
13.99/14.05	c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.05	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
13.99/14.05	c heuristics/rootsoldiving/maxlpiterquot = 0.015
13.99/14.05	c 
13.99/14.05	c # additional number of allowed LP iterations
13.99/14.05	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.05	c heuristics/rootsoldiving/maxlpiterofs = 1500
13.99/14.05	c 
13.99/14.05	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
13.99/14.05	c # [type: int, range: [-1,2147483647], default: 1]
13.99/14.05	c heuristics/rounding/freq = -1
13.99/14.05	c 
13.99/14.05	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
13.99/14.05	c # [type: int, range: [-1,2147483647], default: 0]
13.99/14.05	c heuristics/shiftandpropagate/freq = -1
13.99/14.05	c 
13.99/14.05	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
13.99/14.05	c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.05	c heuristics/shifting/freq = -1
13.99/14.05	c 
13.99/14.05	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
13.99/14.05	c # [type: int, range: [-1,2147483647], default: 1]
13.99/14.05	c heuristics/simplerounding/freq = -1
13.99/14.05	c 
13.99/14.05	c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
13.99/14.05	c # [type: int, range: [-1,2147483647], default: 1]
13.99/14.05	c heuristics/subnlp/freq = -1
13.99/14.05	c 
13.99/14.05	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
13.99/14.05	c # [type: int, range: [-1,2147483647], default: 0]
13.99/14.05	c heuristics/trivial/freq = -1
13.99/14.05	c 
13.99/14.05	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
13.99/14.05	c # [type: int, range: [-1,2147483647], default: 1]
13.99/14.05	c heuristics/trysol/freq = -1
13.99/14.05	c 
13.99/14.05	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
13.99/14.05	c # [type: int, range: [-1,2147483647], default: 0]
13.99/14.05	c heuristics/undercover/freq = -1
13.99/14.05	c 
13.99/14.05	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
13.99/14.05	c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.05	c heuristics/veclendiving/freq = -1
13.99/14.05	c 
13.99/14.05	c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.05	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.05	c heuristics/veclendiving/maxlpiterquot = 0.075
13.99/14.05	c 
13.99/14.05	c # additional number of allowed LP iterations
13.99/14.05	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.05	c heuristics/veclendiving/maxlpiterofs = 1500
13.99/14.05	c 
13.99/14.05	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
13.99/14.05	c # [type: int, range: [-1,2147483647], default: 1]
13.99/14.05	c heuristics/zirounding/freq = -1
13.99/14.05	c 
13.99/14.05	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
13.99/14.05	c # [type: int, range: [-1,2147483647], default: 0]
13.99/14.05	c separating/cmir/freq = -1
13.99/14.05	c 
13.99/14.05	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
13.99/14.05	c # [type: int, range: [-1,2147483647], default: 0]
13.99/14.05	c separating/flowcover/freq = -1
13.99/14.05	c 
13.99/14.05	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
13.99/14.05	c # [type: int, range: [-1,2147483647], default: -1]
13.99/14.05	c separating/rapidlearning/freq = 0
13.99/14.05	c 
13.99/14.05	c -----------------------------------------------------------------------------------------------
13.99/14.05	c start solving
13.99/14.07	c 
45.10/45.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
45.10/45.18	c  45.2s|     1 |     0 |  1755 |     - |1177M|   0 | 144 |2800 | 990k|2800 | 990k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
73.89/73.97	c  74.0s|     1 |     0 |  2392 |     - |1179M|   0 | 215 |2800 | 990k|2800 | 990k|  28 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
111.99/112.07	c   112s|     1 |     0 |  2672 |     - |1179M|   0 | 199 |2800 | 990k|2800 | 990k|  51 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
136.60/136.64	c   137s|     1 |     0 |  3194 |     - |1179M|   0 | 239 |2800 | 990k|2800 | 990k|  73 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
231.80/231.82	c   232s|     1 |     0 |  6477 |     - |1179M|   0 | 219 |2800 | 990k|2800 | 990k|  98 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
286.40/286.41	c   286s|     1 |     0 |  6958 |     - |1179M|   0 | 239 |2800 | 990k|2800 | 990k| 112 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
565.52/565.54	c   566s|     1 |     2 |  6958 |     - |1179M|   0 | 239 |2800 | 990k|2800 | 990k| 112 |   0 |  30 | 0.000000e+00 |      --      |    Inf

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-3485807-1307752112/watcher-3485807-1307752112 -o /tmp/evaluation-result-3485807-1307752112/solver-3485807-1307752112 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485807-1307752112.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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 1.99 1.72 2/177 3404
/proc/meminfo: memFree=25664796/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=9988 CPUtime=0 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 1483 0 0 0 0 0 0 0 23 0 1 0 965441960 10227712 1437 33554432000 4194304 8979876 140735018123200 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3404/statm: 2497 1437 363 1169 0 1324 0

[startup+0.0334601 s]
/proc/loadavg: 2.00 1.99 1.72 2/177 3404
/proc/meminfo: memFree=25664796/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=13808 CPUtime=0.03 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 2445 0 0 0 3 0 0 0 23 0 1 0 965441960 14139392 2399 33554432000 4194304 8979876 140735018123200 18446744073709551615 4446976 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3404/statm: 3452 2399 363 1169 0 2279 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13808

[startup+0.100451 s]
/proc/loadavg: 2.00 1.99 1.72 2/177 3404
/proc/meminfo: memFree=25664796/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=18308 CPUtime=0.09 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 3582 0 0 0 9 0 0 0 23 0 1 0 965441960 18747392 3536 33554432000 4194304 8979876 140735018123200 18446744073709551615 7836048 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3404/statm: 4577 3536 363 1169 0 3404 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18308

[startup+0.30041 s]
/proc/loadavg: 2.00 1.99 1.72 2/177 3404
/proc/meminfo: memFree=25664796/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=29188 CPUtime=0.29 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 6296 0 0 0 29 0 0 0 25 0 1 0 965441960 29888512 6250 33554432000 4194304 8979876 140735018123200 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3404/statm: 7297 6251 363 1169 0 6124 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29188

[startup+0.700337 s]
/proc/loadavg: 2.00 1.99 1.72 2/177 3404
/proc/meminfo: memFree=25664796/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=52700 CPUtime=0.69 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 12140 0 0 0 68 1 0 0 25 0 1 0 965441960 53964800 12094 33554432000 4194304 8979876 140735018123200 18446744073709551615 6203436 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3404/statm: 13175 12094 363 1169 0 12002 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52700

[startup+1.50119 s]
/proc/loadavg: 2.00 1.99 1.72 3/178 3405
/proc/meminfo: memFree=25566728/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=99276 CPUtime=1.49 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 23753 0 0 0 146 3 0 0 25 0 1 0 965441960 101658624 23707 33554432000 4194304 8979876 140735018123200 18446744073709551615 7836068 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3404/statm: 24819 23707 363 1169 0 23646 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 99276

[startup+3.10088 s]
/proc/loadavg: 2.00 1.99 1.72 3/178 3405
/proc/meminfo: memFree=25501132/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=192516 CPUtime=3.09 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 46973 0 0 0 303 6 0 0 25 0 1 0 965441960 197136384 46927 33554432000 4194304 8979876 140735018123200 18446744073709551615 7836098 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3404/statm: 48129 46927 363 1169 0 46956 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 192516

[startup+6.30027 s]
/proc/loadavg: 2.00 1.99 1.72 3/178 3405
/proc/meminfo: memFree=25161664/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=914252 CPUtime=6.29 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 227785 0 0 0 601 28 0 0 25 0 1 0 965441960 936194048 226021 33554432000 4194304 8979876 140735018123200 18446744073709551615 4446656 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3404/statm: 228563 226028 448 1169 0 227390 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 914252

[startup+12.701 s]
/proc/loadavg: 2.00 1.99 1.72 3/178 3405
/proc/meminfo: memFree=24347292/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=1291144 CPUtime=12.69 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 456831 0 0 0 1216 53 0 0 25 0 1 0 965441960 1322131456 320267 33554432000 4194304 8979876 140735018123200 18446744073709551615 5233404 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3404/statm: 322786 320267 514 1169 0 321613 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1291144

[startup+25.5006 s]
/proc/loadavg: 2.00 1.99 1.72 3/178 3405
/proc/meminfo: memFree=23306460/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=2484308 CPUtime=25.49 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 831003 0 0 0 2457 92 0 0 25 0 1 0 965441960 2543931392 580620 33554432000 4194304 8979876 140735018123200 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3404/statm: 621077 580620 776 1169 0 619904 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2484308

[startup+51.1007 s]
/proc/loadavg: 2.00 1.99 1.73 3/178 3406
/proc/meminfo: memFree=23413548/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=2282708 CPUtime=51.09 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 875386 0 0 0 5011 98 0 0 25 0 1 0 965441960 2337492992 553723 33554432000 4194304 8979876 140735018123200 18446744073709551615 6890421 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3404/statm: 570677 553723 859 1169 0 569504 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 2282708

[startup+102.307 s]
/proc/loadavg: 2.00 1.99 1.74 3/178 3407
/proc/meminfo: memFree=23310344/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=2417224 CPUtime=102.3 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 912453 0 0 0 10126 104 0 0 25 0 1 0 965441960 2475237376 574099 33554432000 4194304 8979876 140735018123200 18446744073709551615 7836148 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3404/statm: 604306 574099 1167 1169 0 603133 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 2417224

[startup+162.3 s]
/proc/loadavg: 2.06 2.00 1.76 3/178 3410
/proc/meminfo: memFree=23260564/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=2463712 CPUtime=162.29 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 946611 0 0 0 16120 109 0 0 25 0 1 0 965441960 2522841088 584920 33554432000 4194304 8979876 140735018123200 18446744073709551615 7841678 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3404/statm: 615928 584920 876 1169 0 614755 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 2463712

[startup+222.301 s]
/proc/loadavg: 2.02 2.00 1.77 3/178 3412
/proc/meminfo: memFree=23671824/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=2482984 CPUtime=222.3 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 964648 0 0 0 22116 114 0 0 25 0 1 0 965441960 2542575616 587290 33554432000 4194304 8979876 140735018123200 18446744073709551615 7145972 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3404/statm: 620746 587290 876 1169 0 619573 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 2482984

[startup+282.301 s]
/proc/loadavg: 2.01 2.00 1.78 3/178 3413
/proc/meminfo: memFree=23527076/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=2509620 CPUtime=282.3 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 985675 0 0 0 28112 118 0 0 25 0 1 0 965441960 2569850880 591203 33554432000 4194304 8979876 140735018123200 18446744073709551615 7118564 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3404/statm: 627405 591203 876 1169 0 626232 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 2509620

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.79 3/178 3415
/proc/meminfo: memFree=23501856/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=2513404 CPUtime=342.31 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 1022672 0 0 0 34107 124 0 0 25 0 1 0 965441960 2573725696 592503 33554432000 4194304 8979876 140735018123200 18446744073709551615 7046392 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3404/statm: 628351 592503 878 1169 0 627178 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 2513404

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.80 3/178 3416
/proc/meminfo: memFree=23498476/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=2514524 CPUtime=402.31 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 1073848 0 0 0 40099 132 0 0 25 0 1 0 965441960 2574872576 590368 33554432000 4194304 8979876 140735018123200 18446744073709551615 6829040 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3404/statm: 628631 590368 878 1169 0 627458 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 2514524

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/178 3418
/proc/meminfo: memFree=23463832/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=2513868 CPUtime=462.31 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 1105124 0 0 0 46093 138 0 0 25 0 1 0 965441960 2574200832 592165 33554432000 4194304 8979876 140735018123200 18446744073709551615 7118564 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3404/statm: 628467 592165 878 1169 0 627294 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 2513868

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.82 3/178 3420
/proc/meminfo: memFree=23458812/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=2523508 CPUtime=522.31 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 1128974 0 0 0 52088 143 0 0 25 0 1 0 965441960 2584072192 593452 33554432000 4194304 8979876 140735018123200 18446744073709551615 6937234 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3404/statm: 630877 593452 878 1169 0 629704 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2523508

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/178 3421
/proc/meminfo: memFree=23437804/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=2541896 CPUtime=582.31 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 1159501 0 0 0 58083 148 0 0 25 0 1 0 965441960 2602901504 599167 33554432000 4194304 8979876 140735018123200 18446744073709551615 7146513 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3404/statm: 635474 599167 1527 1169 0 634301 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2541896

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.05 2.01 1.86 3/178 3431
/proc/meminfo: memFree=23444152/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=2528796 CPUtime=822.32 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 1300946 0 0 0 82063 169 0 0 25 0 1 0 965441960 2589487104 595233 33554432000 4194304 8979876 140735018123200 18446744073709551615 7193346 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3404/statm: 632199 595233 898 1169 0 631026 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 2528796

[startup+882.301 s]
/proc/loadavg: 2.02 2.01 1.86 3/178 3432
/proc/meminfo: memFree=23370212/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=2528592 CPUtime=882.32 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 1373290 0 0 0 88054 178 0 0 25 0 1 0 965441960 2589278208 599438 33554432000 4194304 8979876 140735018123200 18446744073709551615 6829036 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3404/statm: 632148 599438 898 1169 0 630975 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 2528592

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 3434
/proc/meminfo: memFree=23367584/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=2529412 CPUtime=942.33 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 1404857 0 0 0 94051 182 0 0 25 0 1 0 965441960 2590117888 600185 33554432000 4194304 8979876 140735018123200 18446744073709551615 6829028 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3404/statm: 632353 600185 898 1169 0 631180 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 2529412

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/178 3435
/proc/meminfo: memFree=23389112/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=2528796 CPUtime=1002.33 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 1464756 0 0 0 100043 190 0 0 25 0 1 0 965441960 2589487104 594862 33554432000 4194304 8979876 140735018123200 18446744073709551615 7047634 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3404/statm: 632199 594862 898 1169 0 631026 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 2528796

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/178 3437
/proc/meminfo: memFree=23394520/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=2535964 CPUtime=1062.33 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 1568816 0 0 0 106030 203 0 0 25 0 1 0 965441960 2596827136 594703 33554432000 4194304 8979876 140735018123200 18446744073709551615 7145982 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3404/statm: 633991 594703 898 1169 0 632818 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 2535964

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/178 3440
/proc/meminfo: memFree=23347120/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=2519104 CPUtime=1122.34 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 1683139 0 0 0 112017 217 0 0 25 0 1 0 965441960 2579562496 593561 33554432000 4194304 8979876 140735018123200 18446744073709551615 7179712 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3404/statm: 629776 593561 898 1169 0 628603 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 2519104

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/178 3441
/proc/meminfo: memFree=23373624/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=2534292 CPUtime=1182.33 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 1696832 0 0 0 118014 219 0 0 25 0 1 0 965441960 2595115008 598602 33554432000 4194304 8979876 140735018123200 18446744073709551615 6937433 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3404/statm: 633573 598602 898 1169 0 632400 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 2534292

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/178 3443
/proc/meminfo: memFree=23274872/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=2618256 CPUtime=1242.34 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 1746880 0 0 0 124009 225 0 0 25 0 1 0 965441960 2681094144 617120 33554432000 4194304 8979876 140735018123200 18446744073709551615 7146153 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3404/statm: 654564 617120 3869 1169 0 653391 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 2618256

[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 1.91 3/178 3444
/proc/meminfo: memFree=23301116/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=2556880 CPUtime=1302.34 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 1821420 0 0 0 129999 235 0 0 25 0 1 0 965441960 2618245120 605618 33554432000 4194304 8979876 140735018123200 18446744073709551615 7143762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3404/statm: 639220 605618 1659 1169 0 638047 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 2556880

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/178 3446
/proc/meminfo: memFree=23307400/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=2518512 CPUtime=1362.34 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 1889138 0 0 0 135990 244 0 0 25 0 1 0 965441960 2578956288 597910 33554432000 4194304 8979876 140735018123200 18446744073709551615 7046344 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3404/statm: 629628 597910 2721 1169 0 628455 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 2518512

[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 1.91 3/178 3448
/proc/meminfo: memFree=23317404/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=2527148 CPUtime=1422.35 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 1913382 0 0 0 141986 249 0 0 25 0 1 0 965441960 2587799552 595324 33554432000 4194304 8979876 140735018123200 18446744073709551615 7146511 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3404/statm: 631787 595324 898 1169 0 630614 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 2527148

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 3449
/proc/meminfo: memFree=23288864/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=2529680 CPUtime=1482.35 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 1962223 0 0 0 147980 255 0 0 25 0 1 0 965441960 2590392320 600702 33554432000 4194304 8979876 140735018123200 18446744073709551615 7046378 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3404/statm: 632420 600702 2345 1169 0 631247 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 2529680

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 3451
/proc/meminfo: memFree=23353440/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=2526292 CPUtime=1542.35 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 2016836 0 0 0 153972 263 0 0 25 0 1 0 965441960 2586923008 594482 33554432000 4194304 8979876 140735018123200 18446744073709551615 7146192 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3404/statm: 631573 594482 898 1169 0 630400 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 2526292

[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 1.91 3/178 3452
/proc/meminfo: memFree=23358112/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=2528652 CPUtime=1602.36 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 2057839 0 0 0 159967 269 0 0 25 0 1 0 965441960 2589339648 599229 33554432000 4194304 8979876 140735018123200 18446744073709551615 7146136 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3404/statm: 632163 599229 898 1169 0 630990 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 2528652

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/178 3454
/proc/meminfo: memFree=23389832/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=2534496 CPUtime=1662.36 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 2087991 0 0 0 165962 274 0 0 25 0 1 0 965441960 2595323904 598771 33554432000 4194304 8979876 140735018123200 18446744073709551615 7046378 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3404/statm: 633624 598771 898 1169 0 632451 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 2534496

[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 1.92 3/178 3456
/proc/meminfo: memFree=23325324/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=2525940 CPUtime=1722.36 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 2103589 0 0 0 171958 278 0 0 25 0 1 0 965441960 2586562560 598775 33554432000 4194304 8979876 140735018123200 18446744073709551615 6937192 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3404/statm: 631485 598775 898 1169 0 630312 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 2525940

[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 1.92 3/178 3624
/proc/meminfo: memFree=28034232/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=2598780 CPUtime=1782.36 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 2172874 0 0 0 177949 287 0 0 25 0 1 0 965441960 2661150720 611547 33554432000 4194304 8979876 140735018123200 18446744073709551615 7143774 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3404/statm: 649695 611547 1061 1169 0 648522 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 2598780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.02 2.01 1.92 3/178 3625
/proc/meminfo: memFree=28086160/32950928 swapFree=67056212/67111528
[pid=3404] ppid=3402 vsize=2526380 CPUtime=1800.06 cores=0,2,4,6
/proc/3404/stat : 3404 (scip-2.0.1.4_2.) R 3402 3404 2370 0 -1 4202496 2193397 0 0 0 179717 289 0 0 25 0 1 0 965441960 2587013120 598793 33554432000 4194304 8979876 140735018123200 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/3404/statm: 631595 598793 4273 1169 0 630422 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2526380

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.1
CPU time (s): 1800.17
CPU user time (s): 1797.18
CPU system time (s): 2.98954
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 2690016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.18
system time used= 2.98955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2193397
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2340

runsolver used 3.08853 second user time and 6.68598 second system time

The end

Launcher Data 

Begin job on node115 at 2011-06-11 02:28:33
IDJOB=3485807
IDBENCH=1386
IDSOLVER=1977
FILE ID=node115/3485807-1307752112
RUNJOBID= node115-1307750177-2389
PBS_JOBID= 13550847
Free space on /tmp= 73992 MiB

SOLVER NAME= SCIP spx 2 2011-06-10 (fixed)
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb
COMMAND LINE= HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3485807-1307752112/watcher-3485807-1307752112 -o /tmp/evaluation-result-3485807-1307752112/solver-3485807-1307752112 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485807-1307752112.opb -t 1800 -m 15500

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

MD5SUM BENCH= f5d8cf0048d52cf223a3574d281ac8f8
RANDOM SEED=384508112

node115.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.811
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.62
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.811
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.811
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.75
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.811
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.75
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.811
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.77
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.811
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.74
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.811
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.811
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      25664852 kB
Buffers:        245252 kB
Cached:        1055508 kB
SwapCached:       9476 kB
Active:        6311976 kB
Inactive:       771884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      25664852 kB
SwapTotal:    67111528 kB
SwapFree:     67056212 kB
Dirty:          139980 kB
Writeback:           0 kB
AnonPages:     5780520 kB
Mapped:          15804 kB
Slab:           125964 kB
PageTables:      16424 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  6439312 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 node115 at 2011-06-11 02:58:35