Trace number 3451326

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 SCIP 2.0.1.4b with SoPlex 1.5.0.4? (TO) 1802.16 1802.11

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb
MD5SUM051b48fdf5558d73afe4ee3d3cae609a
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.5966
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 336
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.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3451326-1307071428.opb>
6.49/6.57	c original problem has 2800 variables (2800 bin, 0 int, 0 impl, 0 cont) and 990001 constraints
6.49/6.57	c problem read
6.49/6.57	c No objective function, only one solution is needed.
6.49/6.57	c presolving settings loaded
7.81/7.87	c presolving:
12.29/12.37	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.09/13.18	c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 3226 chg coeffs, 990000 upgd conss, 2400 impls, 80 clqs
13.99/14.02	c presolving (3 rounds):
13.99/14.02	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 3374 changed coefficients
13.99/14.02	c  5520 implications, 80 cliques
13.99/14.02	c presolved problem has 2800 variables (2800 bin, 0 int, 0 impl, 0 cont) and 990001 constraints
13.99/14.02	c    3160 constraints of type <knapsack>
13.99/14.02	c    1280 constraints of type <setppc>
13.99/14.02	c       1 constraints of type <linear>
13.99/14.02	c  985560 constraints of type <logicor>
13.99/14.02	c transformed objective value is always integral (scale: 1)
13.99/14.02	c Presolving Time: 6.36
13.99/14.02	c - non default parameters ----------------------------------------------------------------------
13.99/14.02	c # SCIP version 2.0.1.5
13.99/14.02	c 
13.99/14.02	c # frequency for displaying node information lines
13.99/14.02	c # [type: int, range: [-1,2147483647], default: 100]
13.99/14.02	c display/freq = 10000
13.99/14.02	c 
13.99/14.02	c # maximal time in seconds to run
13.99/14.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
13.99/14.02	c limits/time = 1800
13.99/14.02	c 
13.99/14.02	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
13.99/14.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
13.99/14.02	c limits/memory = 13950
13.99/14.02	c 
13.99/14.02	c # solving stops, if the given number of solutions were found (-1: no limit)
13.99/14.02	c # [type: int, range: [-1,2147483647], default: -1]
13.99/14.02	c limits/solutions = 1
13.99/14.02	c 
13.99/14.02	c # maximal number of separation rounds per node (-1: unlimited)
13.99/14.02	c # [type: int, range: [-1,2147483647], default: 5]
13.99/14.02	c separating/maxrounds = 1
13.99/14.02	c 
13.99/14.02	c # maximal number of separation rounds in the root node (-1: unlimited)
13.99/14.02	c # [type: int, range: [-1,2147483647], default: -1]
13.99/14.02	c separating/maxroundsroot = 5
13.99/14.02	c 
13.99/14.02	c # default clock type (1: CPU user seconds, 2: wall clock time)
13.99/14.02	c # [type: int, range: [1,2], default: 1]
13.99/14.02	c timing/clocktype = 2
13.99/14.02	c 
13.99/14.02	c # belongs reading time to solving time?
13.99/14.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.99/14.02	c timing/reading = TRUE
13.99/14.02	c 
13.99/14.02	c # should presolving try to simplify inequalities
13.99/14.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.99/14.02	c constraints/linear/simplifyinequalities = TRUE
13.99/14.02	c 
13.99/14.02	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
13.99/14.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.99/14.02	c constraints/indicator/addCouplingCons = TRUE
13.99/14.02	c 
13.99/14.02	c # should disaggregation of knapsack constraints be allowed in preprocessing?
13.99/14.02	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
13.99/14.02	c constraints/knapsack/disaggregation = FALSE
13.99/14.02	c 
13.99/14.02	c # should presolving try to simplify knapsacks
13.99/14.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.99/14.02	c constraints/knapsack/simplifyinequalities = TRUE
13.99/14.02	c 
13.99/14.02	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
13.99/14.02	c # [type: int, range: [-1,2147483647], default: -1]
13.99/14.02	c presolving/probing/maxrounds = 0
13.99/14.02	c 
13.99/14.02	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
13.99/14.02	c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.02	c heuristics/coefdiving/freq = -1
13.99/14.02	c 
13.99/14.02	c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.02	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.02	c heuristics/coefdiving/maxlpiterquot = 0.075
13.99/14.02	c 
13.99/14.02	c # additional number of allowed LP iterations
13.99/14.02	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.02	c heuristics/coefdiving/maxlpiterofs = 1500
13.99/14.02	c 
13.99/14.02	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
13.99/14.02	c # [type: int, range: [-1,2147483647], default: 30]
13.99/14.02	c heuristics/crossover/freq = -1
13.99/14.02	c 
13.99/14.02	c # number of nodes added to the contingent of the total nodes
13.99/14.02	c # [type: longint, range: [0,9223372036854775807], default: 500]
13.99/14.02	c heuristics/crossover/nodesofs = 750
13.99/14.02	c 
13.99/14.02	c # number of nodes without incumbent change that heuristic should wait
13.99/14.02	c # [type: longint, range: [0,9223372036854775807], default: 200]
13.99/14.02	c heuristics/crossover/nwaitingnodes = 100
13.99/14.02	c 
13.99/14.02	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
13.99/14.02	c # [type: real, range: [0,1], default: 0.1]
13.99/14.02	c heuristics/crossover/nodesquot = 0.15
13.99/14.02	c 
13.99/14.02	c # minimum percentage of integer variables that have to be fixed 
13.99/14.02	c # [type: real, range: [0,1], default: 0.666]
13.99/14.02	c heuristics/crossover/minfixingrate = 0.5
13.99/14.02	c 
13.99/14.02	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
13.99/14.02	c # [type: int, range: [-1,2147483647], default: 20]
13.99/14.02	c heuristics/feaspump/freq = -1
13.99/14.02	c 
13.99/14.02	c # additional number of allowed LP iterations
13.99/14.02	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.02	c heuristics/feaspump/maxlpiterofs = 2000
13.99/14.02	c 
13.99/14.02	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
13.99/14.02	c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.02	c heuristics/fracdiving/freq = -1
13.99/14.02	c 
13.99/14.02	c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.02	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.02	c heuristics/fracdiving/maxlpiterquot = 0.075
13.99/14.02	c 
13.99/14.02	c # additional number of allowed LP iterations
13.99/14.02	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.02	c heuristics/fracdiving/maxlpiterofs = 1500
13.99/14.02	c 
13.99/14.02	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
13.99/14.02	c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.02	c heuristics/guideddiving/freq = -1
13.99/14.02	c 
13.99/14.02	c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.02	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.02	c heuristics/guideddiving/maxlpiterquot = 0.075
13.99/14.02	c 
13.99/14.02	c # additional number of allowed LP iterations
13.99/14.02	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.02	c heuristics/guideddiving/maxlpiterofs = 1500
13.99/14.02	c 
13.99/14.02	c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.02	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.02	c heuristics/intdiving/maxlpiterquot = 0.075
13.99/14.02	c 
13.99/14.02	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
13.99/14.02	c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.02	c heuristics/intshifting/freq = -1
13.99/14.02	c 
13.99/14.02	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
13.99/14.02	c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.02	c heuristics/linesearchdiving/freq = -1
13.99/14.02	c 
13.99/14.02	c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.02	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.02	c heuristics/linesearchdiving/maxlpiterquot = 0.075
13.99/14.02	c 
13.99/14.02	c # additional number of allowed LP iterations
13.99/14.02	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.02	c heuristics/linesearchdiving/maxlpiterofs = 1500
13.99/14.02	c 
13.99/14.02	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
13.99/14.02	c # [type: int, range: [-1,2147483647], default: 20]
13.99/14.02	c heuristics/objpscostdiving/freq = -1
13.99/14.02	c 
13.99/14.02	c # maximal fraction of diving LP iterations compared to total iteration number
13.99/14.02	c # [type: real, range: [0,1], default: 0.01]
13.99/14.02	c heuristics/objpscostdiving/maxlpiterquot = 0.015
13.99/14.02	c 
13.99/14.02	c # additional number of allowed LP iterations
13.99/14.02	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.02	c heuristics/objpscostdiving/maxlpiterofs = 1500
13.99/14.02	c 
13.99/14.02	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
13.99/14.02	c # [type: int, range: [-1,2147483647], default: 1]
13.99/14.02	c heuristics/oneopt/freq = -1
13.99/14.02	c 
13.99/14.02	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
13.99/14.02	c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.02	c heuristics/pscostdiving/freq = -1
13.99/14.02	c 
13.99/14.02	c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.02	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.02	c heuristics/pscostdiving/maxlpiterquot = 0.075
13.99/14.02	c 
13.99/14.02	c # additional number of allowed LP iterations
13.99/14.02	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.02	c heuristics/pscostdiving/maxlpiterofs = 1500
13.99/14.02	c 
13.99/14.02	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
13.99/14.02	c # [type: int, range: [-1,2147483647], default: 0]
13.99/14.02	c heuristics/rens/freq = -1
13.99/14.02	c 
13.99/14.02	c # minimum percentage of integer variables that have to be fixable 
13.99/14.02	c # [type: real, range: [0,1], default: 0.5]
13.99/14.02	c heuristics/rens/minfixingrate = 0.3
13.99/14.02	c 
13.99/14.02	c # number of nodes added to the contingent of the total nodes
13.99/14.02	c # [type: longint, range: [0,9223372036854775807], default: 500]
13.99/14.02	c heuristics/rens/nodesofs = 2000
13.99/14.02	c 
13.99/14.02	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
13.99/14.02	c # [type: int, range: [-1,2147483647], default: 20]
13.99/14.02	c heuristics/rootsoldiving/freq = -1
13.99/14.02	c 
13.99/14.02	c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.02	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
13.99/14.02	c heuristics/rootsoldiving/maxlpiterquot = 0.015
13.99/14.02	c 
13.99/14.02	c # additional number of allowed LP iterations
13.99/14.02	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.02	c heuristics/rootsoldiving/maxlpiterofs = 1500
13.99/14.02	c 
13.99/14.02	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
13.99/14.02	c # [type: int, range: [-1,2147483647], default: 1]
13.99/14.02	c heuristics/rounding/freq = -1
13.99/14.02	c 
13.99/14.02	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
13.99/14.02	c # [type: int, range: [-1,2147483647], default: 0]
13.99/14.02	c heuristics/shiftandpropagate/freq = -1
13.99/14.02	c 
13.99/14.02	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
13.99/14.02	c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.02	c heuristics/shifting/freq = -1
13.99/14.02	c 
13.99/14.02	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
13.99/14.02	c # [type: int, range: [-1,2147483647], default: 1]
13.99/14.02	c heuristics/simplerounding/freq = -1
13.99/14.02	c 
13.99/14.02	c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
13.99/14.02	c # [type: int, range: [-1,2147483647], default: 1]
13.99/14.02	c heuristics/subnlp/freq = -1
13.99/14.02	c 
13.99/14.02	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
13.99/14.02	c # [type: int, range: [-1,2147483647], default: 0]
13.99/14.02	c heuristics/trivial/freq = -1
13.99/14.02	c 
13.99/14.02	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
13.99/14.02	c # [type: int, range: [-1,2147483647], default: 1]
13.99/14.02	c heuristics/trysol/freq = -1
13.99/14.02	c 
13.99/14.02	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
13.99/14.02	c # [type: int, range: [-1,2147483647], default: 0]
13.99/14.02	c heuristics/undercover/freq = -1
13.99/14.02	c 
13.99/14.02	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
13.99/14.02	c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.02	c heuristics/veclendiving/freq = -1
13.99/14.02	c 
13.99/14.02	c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.02	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.02	c heuristics/veclendiving/maxlpiterquot = 0.075
13.99/14.02	c 
13.99/14.02	c # additional number of allowed LP iterations
13.99/14.02	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.02	c heuristics/veclendiving/maxlpiterofs = 1500
13.99/14.02	c 
13.99/14.02	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
13.99/14.02	c # [type: int, range: [-1,2147483647], default: 1]
13.99/14.02	c heuristics/zirounding/freq = -1
13.99/14.02	c 
13.99/14.02	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
13.99/14.02	c # [type: int, range: [-1,2147483647], default: 0]
13.99/14.02	c separating/cmir/freq = -1
13.99/14.02	c 
13.99/14.02	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
13.99/14.02	c # [type: int, range: [-1,2147483647], default: 0]
13.99/14.02	c separating/flowcover/freq = -1
13.99/14.02	c 
13.99/14.02	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
13.99/14.02	c # [type: int, range: [-1,2147483647], default: -1]
13.99/14.02	c separating/rapidlearning/freq = 0
13.99/14.02	c 
13.99/14.02	c -----------------------------------------------------------------------------------------------
13.99/14.02	c start solving
13.99/14.04	c 
39.09/39.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
39.09/39.13	c  39.1s|     1 |     0 |  1392 |     - |1249M|   0 | 136 |2800 | 990k|2800 | 990k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
154.19/154.21	c   154s|     1 |     0 |  1483 |     - |1251M|   0 | 132 |2800 | 990k|2800 | 990k|  15 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
177.00/177.05	c   177s|     1 |     0 |  1595 |     - |1253M|   0 | 137 |2800 | 990k|2800 | 990k|  32 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
207.49/207.53	c   208s|     1 |     0 |  1692 |     - |1255M|   0 | 145 |2800 | 990k|2800 | 990k|  48 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
236.10/236.12	c   236s|     1 |     0 |  1764 |     - |1255M|   0 | 153 |2800 | 990k|2800 | 990k|  63 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
344.50/344.53	c   345s|     1 |     0 |  1825 |     - |1256M|   0 | 166 |2800 | 990k|2800 | 990k|  74 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
454.71/454.78	c   455s|     1 |     2 |  1825 |     - |1256M|   0 | 166 |2800 | 990k|2800 | 990k|  74 |   0 |  33 | 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.0 (svn: 977)

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-3451326-1307071428/watcher-3451326-1307071428 -o /tmp/evaluation-result-3451326-1307071428/solver-3451326-1307071428 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451326-1307071428.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.01 2.00 2/505 31828
/proc/meminfo: memFree=24673224/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=14984 CPUtime=0.01 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 2732 0 0 0 1 0 0 0 22 0 1 0 818745495 15343616 2686 33554432000 4194304 9163163 140737038023136 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31828/statm: 3746 2686 392 1214 0 2528 0

[startup+0.115727 s]
/proc/loadavg: 2.00 2.01 2.00 2/505 31828
/proc/meminfo: memFree=24673224/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=21620 CPUtime=0.11 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 4397 0 0 0 11 0 0 0 23 0 1 0 818745495 22138880 4351 33554432000 4194304 9163163 140737038023136 18446744073709551615 8041859 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31828/statm: 5405 4351 392 1214 0 4187 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 21620

[startup+0.200713 s]
/proc/loadavg: 2.00 2.01 2.00 2/505 31828
/proc/meminfo: memFree=24673224/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=26304 CPUtime=0.19 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 5569 0 0 0 19 0 0 0 23 0 1 0 818745495 26935296 5523 33554432000 4194304 9163163 140737038023136 18446744073709551615 6136273 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31828/statm: 6576 5523 392 1214 0 5358 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26304

[startup+0.300698 s]
/proc/loadavg: 2.00 2.01 2.00 2/505 31828
/proc/meminfo: memFree=24673224/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=32552 CPUtime=0.29 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 7117 0 0 0 29 0 0 0 23 0 1 0 818745495 33333248 7071 33554432000 4194304 9163163 140737038023136 18446744073709551615 7482606 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31828/statm: 8138 7071 392 1214 0 6920 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32552

[startup+0.700626 s]
/proc/loadavg: 2.00 2.01 2.00 2/505 31828
/proc/meminfo: memFree=24673224/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=55920 CPUtime=0.69 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 12967 0 0 0 68 1 0 0 25 0 1 0 818745495 57262080 12921 33554432000 4194304 9163163 140737038023136 18446744073709551615 7962177 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31828/statm: 13980 12921 392 1214 0 12762 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55920

[startup+1.50049 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 31829
/proc/meminfo: memFree=24597716/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=103400 CPUtime=1.49 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 24841 0 0 0 146 3 0 0 25 0 1 0 818745495 105881600 24795 33554432000 4194304 9163163 140737038023136 18446744073709551615 8041849 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31828/statm: 25850 24795 392 1214 0 24632 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 103400

[startup+3.1002 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 31829
/proc/meminfo: memFree=24531252/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=197476 CPUtime=3.09 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 48353 0 0 0 302 7 0 0 25 0 1 0 818745495 202215424 48307 33554432000 4194304 9163163 140737038023136 18446744073709551615 4443414 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31828/statm: 49369 48307 392 1214 0 48151 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 197476

[startup+6.30064 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 31829
/proc/meminfo: memFree=24338812/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=383384 CPUtime=6.29 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 94773 0 0 0 617 12 0 0 25 0 1 0 818745495 392585216 94727 33554432000 4194304 9163163 140737038023136 18446744073709551615 4338883 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31828/statm: 95846 94727 392 1214 0 94628 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 383384

[startup+12.7005 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 31829
/proc/meminfo: memFree=23566112/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=1018680 CPUtime=12.69 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 387557 0 0 0 1221 48 0 0 25 0 1 0 818745495 1043128320 252516 33554432000 4194304 9163163 140737038023136 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31828/statm: 254670 252516 530 1214 0 253452 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1018680

[startup+25.5013 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 31830
/proc/meminfo: memFree=22376952/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=2450632 CPUtime=25.49 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 818179 0 0 0 2455 94 0 0 25 0 1 0 818745495 2509447168 572860 33554432000 4194304 9163163 140737038023136 18446744073709551615 7311820 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31828/statm: 612658 572860 702 1214 0 611440 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2450632

[startup+51.1007 s]
/proc/loadavg: 2.06 2.02 2.00 3/506 31831
/proc/meminfo: memFree=22486620/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=2253976 CPUtime=51.1 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 866786 0 0 0 5008 102 0 0 25 0 1 0 818745495 2308071424 545691 33554432000 4194304 9163163 140737038023136 18446744073709551615 8041945 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31828/statm: 563494 545691 799 1214 0 562276 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 2253976

[startup+102.301 s]
/proc/loadavg: 2.09 2.03 2.00 3/506 31832
/proc/meminfo: memFree=22487128/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=2253976 CPUtime=102.31 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 866786 0 0 0 10128 103 0 0 25 0 1 0 818745495 2308071424 545691 33554432000 4194304 9163163 140737038023136 18446744073709551615 6668656 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31828/statm: 563494 545691 799 1214 0 562276 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 2253976

[startup+162.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/506 31833
/proc/meminfo: memFree=22440436/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=2356876 CPUtime=162.3 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 899421 0 0 0 16121 109 0 0 25 0 1 0 818745495 2413441024 558410 33554432000 4194304 9163163 140737038023136 18446744073709551615 7051398 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31828/statm: 589219 558410 1702 1214 0 588001 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 2356876

[startup+222.32 s]
/proc/loadavg: 2.01 2.02 2.00 3/506 31835
/proc/meminfo: memFree=22331188/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=2482920 CPUtime=222.32 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 946074 0 0 0 22115 117 0 0 25 0 1 0 818745495 2542510080 585123 33554432000 4194304 9163163 140737038023136 18446744073709551615 6676804 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31828/statm: 620730 585123 1345 1214 0 619512 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 2482920

[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 31837
/proc/meminfo: memFree=22314152/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=2500160 CPUtime=282.3 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 962099 0 0 0 28110 120 0 0 25 0 1 0 818745495 2560163840 589415 33554432000 4194304 9163163 140737038023136 18446744073709551615 7051534 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31828/statm: 625040 589415 1345 1214 0 623822 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 2500160

[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 31838
/proc/meminfo: memFree=22305416/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=2500160 CPUtime=342.3 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 974925 0 0 0 34106 124 0 0 25 0 1 0 818745495 2560163840 592523 33554432000 4194304 9163163 140737038023136 18446744073709551615 7225280 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31828/statm: 625040 592523 1345 1214 0 623822 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 2500160

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/506 31840
/proc/meminfo: memFree=22315688/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=2482860 CPUtime=402.3 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 1061034 0 0 0 40093 137 0 0 25 0 1 0 818745495 2542448640 589020 33554432000 4194304 9163163 140737038023136 18446744073709551615 7224016 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31828/statm: 620715 589020 1449 1214 0 619497 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2482860

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/506 31950
/proc/meminfo: memFree=27984580/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=2495400 CPUtime=462.3 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 1125711 0 0 0 46084 146 0 0 25 0 1 0 818745495 2555289600 591180 33554432000 4194304 9163163 140737038023136 18446744073709551615 7348353 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31828/statm: 623850 591180 1354 1214 0 622632 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2495400

[startup+522.301 s]
/proc/loadavg: 2.11 2.03 2.01 3/506 31952
/proc/meminfo: memFree=27966208/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=2521860 CPUtime=522.31 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 1225616 0 0 0 52072 159 0 0 25 0 1 0 818745495 2582384640 595702 33554432000 4194304 9163163 140737038023136 18446744073709551615 7110522 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31828/statm: 630465 595702 1354 1214 0 629247 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2521860

[startup+582.301 s]
/proc/loadavg: 2.09 2.04 2.01 3/506 31954
/proc/meminfo: memFree=27981792/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=2497124 CPUtime=582.3 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 1289824 0 0 0 58061 169 0 0 25 0 1 0 818745495 2557054976 591898 33554432000 4194304 9163163 140737038023136 18446744073709551615 7348024 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31828/statm: 624281 591898 1354 1214 0 623063 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2497124

[startup+642.3 s]

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

/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 1749750 0 0 0 99998 233 0 0 25 0 1 0 818745495 2561232896 592922 33554432000 4194304 9163163 140737038023136 18446744073709551615 7379924 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31828/statm: 625301 592922 1355 1214 0 624083 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 2501204

[startup+1062.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/506 31966
/proc/meminfo: memFree=27925860/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=2514232 CPUtime=1062.32 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 1783367 0 0 0 105992 240 0 0 25 0 1 0 818745495 2574573568 596606 33554432000 4194304 9163163 140737038023136 18446744073709551615 7345682 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31828/statm: 628558 596606 1540 1214 0 627340 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2514232

[startup+1122.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/506 31968
/proc/meminfo: memFree=27919480/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=2530148 CPUtime=1122.32 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 1832997 0 0 0 111985 247 0 0 25 0 1 0 818745495 2590871552 597557 33554432000 4194304 9163163 140737038023136 18446744073709551615 7348020 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31828/statm: 632537 597557 1368 1214 0 631319 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2530148

[startup+1182.3 s]
/proc/loadavg: 2.14 2.06 2.02 3/506 31970
/proc/meminfo: memFree=27931968/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=2517848 CPUtime=1182.32 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 1873533 0 0 0 117978 254 0 0 25 0 1 0 818745495 2578276352 595442 33554432000 4194304 9163163 140737038023136 18446744073709551615 7345670 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31828/statm: 629462 595442 1368 1214 0 628244 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2517848

[startup+1242.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/506 31971
/proc/meminfo: memFree=27930568/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=2504880 CPUtime=1242.32 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 1908875 0 0 0 123971 261 0 0 25 0 1 0 818745495 2564997120 593503 33554432000 4194304 9163163 140737038023136 18446744073709551615 7348663 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31828/statm: 626220 593503 1368 1214 0 625002 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2504880

[startup+1302.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/506 31973
/proc/meminfo: memFree=27925200/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=2501684 CPUtime=1302.32 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 1948155 0 0 0 129965 267 0 0 25 0 1 0 818745495 2561724416 593170 33554432000 4194304 9163163 140737038023136 18446744073709551615 7345695 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31828/statm: 625421 593170 1368 1214 0 624203 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 2501684

[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/506 31974
/proc/meminfo: memFree=27914252/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=2487152 CPUtime=1362.32 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 1988604 0 0 0 135957 275 0 0 25 0 1 0 818745495 2546843648 591509 33554432000 4194304 9163163 140737038023136 18446744073709551615 7345698 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31828/statm: 621788 591509 1368 1214 0 620570 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 2487152

[startup+1422.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 31976
/proc/meminfo: memFree=27911360/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=2518168 CPUtime=1422.35 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 2039161 0 0 0 141953 282 0 0 25 0 1 0 818745495 2578604032 595897 33554432000 4194304 9163163 140737038023136 18446744073709551615 7348368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31828/statm: 629542 595897 1367 1214 0 628324 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 2518168

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 31978
/proc/meminfo: memFree=27922088/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=2501892 CPUtime=1482.33 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 2079382 0 0 0 147945 288 0 0 25 0 1 0 818745495 2561937408 592784 33554432000 4194304 9163163 140737038023136 18446744073709551615 6974863 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31828/statm: 625473 592784 1367 1214 0 624255 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 2501892

[startup+1542.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 31979
/proc/meminfo: memFree=27921160/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=2500680 CPUtime=1542.35 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 2125735 0 0 0 153940 295 0 0 25 0 1 0 818745495 2560696320 592604 33554432000 4194304 9163163 140737038023136 18446744073709551615 7345682 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31828/statm: 625170 592604 1367 1214 0 623952 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 2500680

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 31981
/proc/meminfo: memFree=27919140/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=2501876 CPUtime=1602.33 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 2177538 0 0 0 159929 304 0 0 25 0 1 0 818745495 2561921024 592809 33554432000 4194304 9163163 140737038023136 18446744073709551615 6974863 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31828/statm: 625469 592809 1367 1214 0 624251 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 2501876

[startup+1662.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/506 31982
/proc/meminfo: memFree=27924680/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=2490208 CPUtime=1662.33 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 2255772 0 0 0 165919 314 0 0 25 0 1 0 818745495 2549972992 591030 33554432000 4194304 9163163 140737038023136 18446744073709551615 6974005 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31828/statm: 622552 591030 1367 1214 0 621334 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2490208

[startup+1722.3 s]
/proc/loadavg: 2.20 2.07 2.02 3/506 31984
/proc/meminfo: memFree=27914972/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=2500700 CPUtime=1722.33 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 2314440 0 0 0 171911 322 0 0 25 0 1 0 818745495 2560716800 592847 33554432000 4194304 9163163 140737038023136 18446744073709551615 7225482 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31828/statm: 625175 592847 1367 1214 0 623957 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 2500700

[startup+1782.3 s]
/proc/loadavg: 2.13 2.07 2.02 3/506 31986
/proc/meminfo: memFree=27901044/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=2519448 CPUtime=1782.34 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 2359782 0 0 0 177904 330 0 0 25 0 1 0 818745495 2579914752 596385 33554432000 4194304 9163163 140737038023136 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31828/statm: 629862 596385 1367 1214 0 628644 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 2519448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.10 2.06 2.01 3/506 31986
/proc/meminfo: memFree=27909588/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=2512076 CPUtime=1800.05 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 2374995 0 0 0 179673 332 0 0 25 0 1 0 818745495 2572365824 595463 33554432000 4194304 9163163 140737038023136 18446744073709551615 7224027 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31828/statm: 628019 595463 2656 1214 0 626801 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2512076

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -31828

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

[startup+1801.5 s]
/proc/loadavg: 2.10 2.06 2.01 3/507 31987
/proc/meminfo: memFree=27909084/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=2512076 CPUtime=1801.53 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 2374995 0 0 0 179821 332 0 0 25 0 1 0 818745495 2572365824 595463 33554432000 4194304 9163163 140737038023136 18446744073709551615 6974863 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31828/statm: 628019 595463 2656 1214 0 626801 0
Current children cumulated CPU time (s) 1801.53
Current children cumulated vsize (KiB) 2512076

[startup+1801.92 s]
/proc/loadavg: 2.10 2.06 2.01 3/507 31987
/proc/meminfo: memFree=27909704/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=2512076 CPUtime=1801.95 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4202496 2374995 0 0 0 179863 332 0 0 25 0 1 0 818745495 2572365824 595463 33554432000 4194304 9163163 140737038023136 18446744073709551615 7375435 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31828/statm: 628019 595463 2656 1214 0 626801 0
Current children cumulated CPU time (s) 1801.95
Current children cumulated vsize (KiB) 2512076

[startup+1802.1 s]
/proc/loadavg: 2.10 2.06 2.01 3/507 31987
/proc/meminfo: memFree=27909704/32951124 swapFree=51712236/67111528
[pid=31828] ppid=31826 vsize=0 CPUtime=1802.13 cores=1,3,5,7
/proc/31828/stat : 31828 (scip-2.0.1.4b.l) R 31826 31828 27258 0 -1 4203524 2375755 0 0 0 179873 340 0 0 25 0 1 0 818745495 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/31828/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.13
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.11
CPU time (s): 1802.16
CPU user time (s): 1798.74
CPU system time (s): 3.42048
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2649764

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

runsolver used 8.68668 second user time and 21.3907 second system time

The end

Launcher Data 

Begin job on node103 at 2011-06-03 05:23:49
IDJOB=3451326
IDBENCH=1383
IDSOLVER=1948
FILE ID=node103/3451326-1307071428
RUNJOBID= node103-1307065667-27816
PBS_JOBID= 13497885
Free space on /tmp= 73748 MiB

SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb
COMMAND LINE= HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3451326-1307071428/watcher-3451326-1307071428 -o /tmp/evaluation-result-3451326-1307071428/solver-3451326-1307071428 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451326-1307071428.opb -t 1800 -m 15500

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

MD5SUM BENCH= 051b48fdf5558d73afe4ee3d3cae609a
RANDOM SEED=332530893

node103.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.858
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.71
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.858
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	: 5332.75
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.858
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.858
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.858
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.75
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.858
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.858
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.83
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.858
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24673504 kB
Buffers:        257716 kB
Cached:         534072 kB
SwapCached:      23760 kB
Active:        7610204 kB
Inactive:       361476 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24673504 kB
SwapTotal:    67111528 kB
SwapFree:     51712236 kB
Dirty:           46276 kB
Writeback:           0 kB
AnonPages:     7177376 kB
Mapped:          25364 kB
Slab:           149544 kB
PageTables:      86204 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 168178128 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= 73824 MiB
End job on node103 at 2011-06-03 05:53:51