Trace number 3741178

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
PB11: SCIP spx E_2 2011-06-10 (fixed)? (TO) 1802.09 1802.37

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-122.opb
MD5SUM45533d52c524a74641c715d4320b890b
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables48411
Total number of constraints1121517
Number of constraints which are clauses1007723
Number of constraints which are cardinality constraints (but not clauses)3523
Number of constraints which are nor clauses,nor cardinality constraints110271
Minimum length of a constraint2
Maximum length of a constraint690
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 691
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3741178-1338772328.opb>
6.49/6.56	c original problem has 48411 variables (48411 bin, 0 int, 0 impl, 0 cont) and 1121517 constraints
6.49/6.56	c problem read
6.49/6.56	c No objective function, only one solution is needed.
6.49/6.56	c presolving settings loaded
7.88/7.94	c presolving:
12.98/13.08	c (round 1) 1 del vars, 8 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 0 chg coeffs, 1121508 upgd conss, 491726 impls, 1772 clqs
14.19/14.23	c presolving (2 rounds):
14.19/14.23	c  1 deleted vars, 30 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 0 changed coefficients
14.19/14.23	c  491726 implications, 1772 cliques
14.19/14.23	c presolved problem has 48410 variables (48410 bin, 0 int, 0 impl, 0 cont) and 1121487 constraints
14.19/14.23	c  112021 constraints of type <knapsack>
14.19/14.23	c  237584 constraints of type <setppc>
14.19/14.23	c       1 constraints of type <linear>
14.19/14.23	c  771881 constraints of type <logicor>
14.19/14.23	c transformed objective value is always integral (scale: 1)
14.19/14.23	c Presolving Time: 6.37
14.19/14.23	c - non default parameters ----------------------------------------------------------------------
14.19/14.23	c # SCIP version 2.0.1.5
14.19/14.23	c 
14.19/14.23	c # frequency for displaying node information lines
14.19/14.23	c # [type: int, range: [-1,2147483647], default: 100]
14.19/14.23	c display/freq = 10000
14.19/14.23	c 
14.19/14.23	c # maximal time in seconds to run
14.19/14.23	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.19/14.23	c limits/time = 1797
14.19/14.23	c 
14.19/14.23	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
14.19/14.23	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.19/14.23	c limits/memory = 13950
14.19/14.23	c 
14.19/14.23	c # solving stops, if the given number of solutions were found (-1: no limit)
14.19/14.23	c # [type: int, range: [-1,2147483647], default: -1]
14.19/14.23	c limits/solutions = 1
14.19/14.23	c 
14.19/14.23	c # maximal number of separation rounds per node (-1: unlimited)
14.19/14.23	c # [type: int, range: [-1,2147483647], default: 5]
14.19/14.23	c separating/maxrounds = 1
14.19/14.23	c 
14.19/14.23	c # maximal number of separation rounds in the root node (-1: unlimited)
14.19/14.23	c # [type: int, range: [-1,2147483647], default: -1]
14.19/14.23	c separating/maxroundsroot = 5
14.19/14.23	c 
14.19/14.23	c # default clock type (1: CPU user seconds, 2: wall clock time)
14.19/14.23	c # [type: int, range: [1,2], default: 1]
14.19/14.23	c timing/clocktype = 2
14.19/14.23	c 
14.19/14.23	c # belongs reading time to solving time?
14.19/14.23	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.19/14.23	c timing/reading = TRUE
14.19/14.23	c 
14.19/14.23	c # should presolving try to simplify inequalities
14.19/14.23	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.19/14.23	c constraints/linear/simplifyinequalities = TRUE
14.19/14.23	c 
14.19/14.23	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
14.19/14.23	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.19/14.23	c constraints/indicator/addCouplingCons = TRUE
14.19/14.23	c 
14.19/14.23	c # should disaggregation of knapsack constraints be allowed in preprocessing?
14.19/14.23	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
14.19/14.23	c constraints/knapsack/disaggregation = FALSE
14.19/14.23	c 
14.19/14.23	c # should presolving try to simplify knapsacks
14.19/14.23	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.19/14.23	c constraints/knapsack/simplifyinequalities = TRUE
14.19/14.23	c 
14.19/14.23	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
14.19/14.23	c # [type: int, range: [-1,2147483647], default: -1]
14.19/14.23	c presolving/probing/maxrounds = 0
14.19/14.23	c 
14.19/14.23	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
14.19/14.23	c # [type: int, range: [-1,2147483647], default: 10]
14.19/14.23	c heuristics/coefdiving/freq = -1
14.19/14.23	c 
14.19/14.23	c # maximal fraction of diving LP iterations compared to node LP iterations
14.19/14.23	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.19/14.23	c heuristics/coefdiving/maxlpiterquot = 0.075
14.19/14.23	c 
14.19/14.23	c # additional number of allowed LP iterations
14.19/14.23	c # [type: int, range: [0,2147483647], default: 1000]
14.19/14.23	c heuristics/coefdiving/maxlpiterofs = 1500
14.19/14.23	c 
14.19/14.23	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
14.19/14.23	c # [type: int, range: [-1,2147483647], default: 30]
14.19/14.23	c heuristics/crossover/freq = -1
14.19/14.23	c 
14.19/14.23	c # number of nodes added to the contingent of the total nodes
14.19/14.23	c # [type: longint, range: [0,9223372036854775807], default: 500]
14.19/14.23	c heuristics/crossover/nodesofs = 750
14.19/14.23	c 
14.19/14.23	c # number of nodes without incumbent change that heuristic should wait
14.19/14.23	c # [type: longint, range: [0,9223372036854775807], default: 200]
14.19/14.23	c heuristics/crossover/nwaitingnodes = 100
14.19/14.23	c 
14.19/14.23	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
14.19/14.23	c # [type: real, range: [0,1], default: 0.1]
14.19/14.23	c heuristics/crossover/nodesquot = 0.15
14.19/14.23	c 
14.19/14.23	c # minimum percentage of integer variables that have to be fixed 
14.19/14.23	c # [type: real, range: [0,1], default: 0.666]
14.19/14.23	c heuristics/crossover/minfixingrate = 0.5
14.19/14.23	c 
14.19/14.23	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
14.19/14.23	c # [type: int, range: [-1,2147483647], default: 20]
14.19/14.23	c heuristics/feaspump/freq = -1
14.19/14.23	c 
14.19/14.23	c # additional number of allowed LP iterations
14.19/14.23	c # [type: int, range: [0,2147483647], default: 1000]
14.19/14.23	c heuristics/feaspump/maxlpiterofs = 2000
14.19/14.23	c 
14.19/14.23	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
14.19/14.23	c # [type: int, range: [-1,2147483647], default: 10]
14.19/14.23	c heuristics/fracdiving/freq = -1
14.19/14.23	c 
14.19/14.23	c # maximal fraction of diving LP iterations compared to node LP iterations
14.19/14.23	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.19/14.23	c heuristics/fracdiving/maxlpiterquot = 0.075
14.19/14.23	c 
14.19/14.23	c # additional number of allowed LP iterations
14.19/14.23	c # [type: int, range: [0,2147483647], default: 1000]
14.19/14.23	c heuristics/fracdiving/maxlpiterofs = 1500
14.19/14.23	c 
14.19/14.23	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
14.19/14.23	c # [type: int, range: [-1,2147483647], default: 10]
14.19/14.23	c heuristics/guideddiving/freq = -1
14.19/14.23	c 
14.19/14.23	c # maximal fraction of diving LP iterations compared to node LP iterations
14.19/14.23	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.19/14.23	c heuristics/guideddiving/maxlpiterquot = 0.075
14.19/14.23	c 
14.19/14.23	c # additional number of allowed LP iterations
14.19/14.23	c # [type: int, range: [0,2147483647], default: 1000]
14.19/14.23	c heuristics/guideddiving/maxlpiterofs = 1500
14.19/14.23	c 
14.19/14.23	c # maximal fraction of diving LP iterations compared to node LP iterations
14.19/14.23	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.19/14.23	c heuristics/intdiving/maxlpiterquot = 0.075
14.19/14.23	c 
14.19/14.23	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
14.19/14.23	c # [type: int, range: [-1,2147483647], default: 10]
14.19/14.23	c heuristics/intshifting/freq = -1
14.19/14.23	c 
14.19/14.23	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
14.19/14.23	c # [type: int, range: [-1,2147483647], default: 10]
14.19/14.23	c heuristics/linesearchdiving/freq = -1
14.19/14.23	c 
14.19/14.23	c # maximal fraction of diving LP iterations compared to node LP iterations
14.19/14.23	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.19/14.23	c heuristics/linesearchdiving/maxlpiterquot = 0.075
14.19/14.23	c 
14.19/14.23	c # additional number of allowed LP iterations
14.19/14.23	c # [type: int, range: [0,2147483647], default: 1000]
14.19/14.23	c heuristics/linesearchdiving/maxlpiterofs = 1500
14.19/14.23	c 
14.19/14.23	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
14.19/14.23	c # [type: int, range: [-1,2147483647], default: 20]
14.19/14.23	c heuristics/objpscostdiving/freq = -1
14.19/14.23	c 
14.19/14.23	c # maximal fraction of diving LP iterations compared to total iteration number
14.19/14.23	c # [type: real, range: [0,1], default: 0.01]
14.19/14.23	c heuristics/objpscostdiving/maxlpiterquot = 0.015
14.19/14.23	c 
14.19/14.23	c # additional number of allowed LP iterations
14.19/14.23	c # [type: int, range: [0,2147483647], default: 1000]
14.19/14.23	c heuristics/objpscostdiving/maxlpiterofs = 1500
14.19/14.23	c 
14.19/14.23	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
14.19/14.23	c # [type: int, range: [-1,2147483647], default: 1]
14.19/14.23	c heuristics/oneopt/freq = -1
14.19/14.23	c 
14.19/14.23	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
14.19/14.23	c # [type: int, range: [-1,2147483647], default: 10]
14.19/14.23	c heuristics/pscostdiving/freq = -1
14.19/14.23	c 
14.19/14.23	c # maximal fraction of diving LP iterations compared to node LP iterations
14.19/14.23	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.19/14.23	c heuristics/pscostdiving/maxlpiterquot = 0.075
14.19/14.23	c 
14.19/14.23	c # additional number of allowed LP iterations
14.19/14.23	c # [type: int, range: [0,2147483647], default: 1000]
14.19/14.23	c heuristics/pscostdiving/maxlpiterofs = 1500
14.19/14.23	c 
14.19/14.23	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
14.19/14.23	c # [type: int, range: [-1,2147483647], default: 0]
14.19/14.23	c heuristics/rens/freq = -1
14.19/14.23	c 
14.19/14.23	c # minimum percentage of integer variables that have to be fixable 
14.19/14.23	c # [type: real, range: [0,1], default: 0.5]
14.19/14.23	c heuristics/rens/minfixingrate = 0.3
14.19/14.23	c 
14.19/14.23	c # number of nodes added to the contingent of the total nodes
14.19/14.23	c # [type: longint, range: [0,9223372036854775807], default: 500]
14.19/14.23	c heuristics/rens/nodesofs = 2000
14.19/14.23	c 
14.19/14.23	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
14.19/14.23	c # [type: int, range: [-1,2147483647], default: 20]
14.19/14.23	c heuristics/rootsoldiving/freq = -1
14.19/14.23	c 
14.19/14.23	c # maximal fraction of diving LP iterations compared to node LP iterations
14.19/14.23	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
14.19/14.23	c heuristics/rootsoldiving/maxlpiterquot = 0.015
14.19/14.23	c 
14.19/14.23	c # additional number of allowed LP iterations
14.19/14.23	c # [type: int, range: [0,2147483647], default: 1000]
14.19/14.23	c heuristics/rootsoldiving/maxlpiterofs = 1500
14.19/14.23	c 
14.19/14.23	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
14.19/14.23	c # [type: int, range: [-1,2147483647], default: 1]
14.19/14.23	c heuristics/rounding/freq = -1
14.19/14.23	c 
14.19/14.23	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
14.19/14.23	c # [type: int, range: [-1,2147483647], default: 0]
14.19/14.23	c heuristics/shiftandpropagate/freq = -1
14.19/14.23	c 
14.19/14.23	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
14.19/14.23	c # [type: int, range: [-1,2147483647], default: 10]
14.19/14.23	c heuristics/shifting/freq = -1
14.19/14.23	c 
14.19/14.23	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
14.19/14.23	c # [type: int, range: [-1,2147483647], default: 1]
14.19/14.23	c heuristics/simplerounding/freq = -1
14.19/14.23	c 
14.19/14.23	c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
14.19/14.23	c # [type: int, range: [-1,2147483647], default: 1]
14.19/14.23	c heuristics/subnlp/freq = -1
14.19/14.23	c 
14.19/14.23	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
14.19/14.23	c # [type: int, range: [-1,2147483647], default: 0]
14.19/14.23	c heuristics/trivial/freq = -1
14.19/14.23	c 
14.19/14.23	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
14.19/14.23	c # [type: int, range: [-1,2147483647], default: 1]
14.19/14.23	c heuristics/trysol/freq = -1
14.19/14.23	c 
14.19/14.23	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
14.19/14.23	c # [type: int, range: [-1,2147483647], default: 0]
14.19/14.23	c heuristics/undercover/freq = -1
14.19/14.23	c 
14.19/14.23	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
14.19/14.23	c # [type: int, range: [-1,2147483647], default: 10]
14.19/14.23	c heuristics/veclendiving/freq = -1
14.19/14.23	c 
14.19/14.23	c # maximal fraction of diving LP iterations compared to node LP iterations
14.19/14.23	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.19/14.23	c heuristics/veclendiving/maxlpiterquot = 0.075
14.19/14.23	c 
14.19/14.23	c # additional number of allowed LP iterations
14.19/14.23	c # [type: int, range: [0,2147483647], default: 1000]
14.19/14.23	c heuristics/veclendiving/maxlpiterofs = 1500
14.19/14.23	c 
14.19/14.23	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
14.19/14.23	c # [type: int, range: [-1,2147483647], default: 1]
14.19/14.23	c heuristics/zirounding/freq = -1
14.19/14.23	c 
14.19/14.23	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
14.19/14.23	c # [type: int, range: [-1,2147483647], default: 0]
14.19/14.23	c separating/cmir/freq = -1
14.19/14.23	c 
14.19/14.23	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
14.19/14.23	c # [type: int, range: [-1,2147483647], default: 0]
14.19/14.23	c separating/flowcover/freq = -1
14.19/14.23	c 
14.19/14.23	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
14.19/14.23	c # [type: int, range: [-1,2147483647], default: -1]
14.19/14.23	c separating/rapidlearning/freq = 0
14.19/14.23	c 
14.19/14.23	c -----------------------------------------------------------------------------------------------
14.19/14.23	c start solving
14.19/14.26	c 
65.48/65.53	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
65.48/65.53	c  65.5s|     1 |     0 |  8265 |     - |1649M|   0 |1610 |  48k|1121k|  48k|1121k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
274.15/274.21	c   274s|     1 |     0 | 22649 |     - |1650M|   0 |7985 |  48k|1121k|  48k|1121k|  13 |   0 |   0 | 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: 989)

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-3741178-1338772328/watcher-3741178-1338772328 -o /tmp/evaluation-result-3741178-1338772328/solver-3741178-1338772328 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3741178-1338772328.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: 1.94 1.99 1.99 3/177 21735
/proc/meminfo: memFree=28541520/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=9588 CPUtime=0 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 1539 0 0 0 0 0 0 0 20 0 1 0 343358948 9818112 1494 33554432000 4194304 9016284 140733907776208 140734807577736 6824032 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21735/statm: 2397 1495 321 1178 0 1215 0

[startup+0.0284331 s]
/proc/loadavg: 1.94 1.99 1.99 3/177 21735
/proc/meminfo: memFree=28541520/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=14976 CPUtime=0.02 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 2710 0 0 0 2 0 0 0 20 0 1 0 343358948 15335424 2665 33554432000 4194304 9016284 140733907776208 140734807577736 7851340 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21735/statm: 3744 2665 357 1178 0 2562 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14976

[startup+0.100223 s]
/proc/loadavg: 1.94 1.99 1.99 3/177 21735
/proc/meminfo: memFree=28541520/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=20216 CPUtime=0.09 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 4043 0 0 0 9 0 0 0 20 0 1 0 343358948 20701184 3998 33554432000 4194304 9016284 140733907776208 140734807577736 7854980 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21735/statm: 5054 3998 357 1178 0 3872 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20216

[startup+0.300217 s]
/proc/loadavg: 1.94 1.99 1.99 3/177 21735
/proc/meminfo: memFree=28541520/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=35840 CPUtime=0.28 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 7946 0 0 0 28 0 0 0 20 0 1 0 343358948 36700160 7901 33554432000 4194304 9016284 140733907776208 140733907640104 7855012 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21735/statm: 8960 7901 357 1178 0 7778 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 35840

[startup+0.700202 s]
/proc/loadavg: 1.94 1.99 1.99 3/177 21735
/proc/meminfo: memFree=28541520/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=65220 CPUtime=0.69 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 15269 0 0 0 68 1 0 0 20 0 1 0 343358948 66785280 15224 33554432000 4194304 9016284 140733907776208 140733907640104 4447088 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21735/statm: 16305 15224 357 1178 0 15123 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 65220

[startup+1.50022 s]
/proc/loadavg: 1.94 1.99 1.99 3/178 21736
/proc/meminfo: memFree=28459516/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=123464 CPUtime=1.49 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 29814 0 0 0 145 4 0 0 20 0 1 0 343358948 126427136 29769 33554432000 4194304 9016284 140733907776208 140733907640104 4651749 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21735/statm: 30866 29769 357 1178 0 29684 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 123464

[startup+3.10015 s]
/proc/loadavg: 1.94 1.99 1.99 3/178 21736
/proc/meminfo: memFree=28380288/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=239128 CPUtime=3.09 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 58673 0 0 0 300 9 0 0 20 0 1 0 343358948 244867072 58628 33554432000 4194304 9016284 140733907776208 140733907640104 7928096 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21735/statm: 59782 58628 357 1178 0 58600 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 239128

[startup+6.30015 s]
/proc/loadavg: 1.95 1.99 1.99 3/178 21736
/proc/meminfo: memFree=28142388/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=469700 CPUtime=6.29 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 116155 0 0 0 612 17 0 0 20 0 1 0 343358948 480972800 116110 33554432000 4194304 9016284 140733907776208 140733907640104 7870498 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21735/statm: 117425 116110 357 1178 0 116243 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 469700

[startup+12.7002 s]
/proc/loadavg: 1.95 1.99 1.99 3/178 21736
/proc/meminfo: memFree=26882652/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=1474580 CPUtime=12.69 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 423765 0 0 0 1206 63 0 0 20 0 1 0 343358948 1509969920 360975 33554432000 4194304 9016284 140733907776208 140733907771864 7933303 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21735/statm: 368645 360975 496 1178 0 367463 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1474580

[startup+25.5003 s]
/proc/loadavg: 1.96 1.99 1.99 3/178 21736
/proc/meminfo: memFree=25770832/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=2969868 CPUtime=25.49 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 610784 0 0 0 2440 109 0 0 20 0 1 0 343358948 3041144832 691892 33554432000 4194304 9016284 140733907776208 140733907770376 7227736 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21735/statm: 742467 691892 624 1178 0 741285 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2969868

[startup+51.1002 s]
/proc/loadavg: 1.97 1.99 1.99 3/178 21736
/proc/meminfo: memFree=25654044/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=3110116 CPUtime=51.08 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 624440 0 0 0 4976 132 0 0 20 0 1 0 343358948 3184758784 721531 33554432000 4194304 9016284 140733907776208 140733907768888 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21735/statm: 777529 721531 625 1178 0 776347 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3110116

[startup+102.307 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 21736
/proc/meminfo: memFree=25685804/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=3104680 CPUtime=102.28 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 656522 0 0 0 10057 171 0 0 20 0 1 0 343358948 3179192320 713146 33554432000 4194304 9016284 140733907776208 140733907768888 7199008 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21735/statm: 776170 713146 661 1178 0 774988 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 3104680

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 21736
/proc/meminfo: memFree=25677588/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=3129704 CPUtime=162.27 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 665785 0 0 0 16019 208 0 0 20 0 1 0 343358948 3204816896 715536 33554432000 4194304 9016284 140733907776208 140733907769992 7181472 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21735/statm: 782426 715536 663 1178 0 781244 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 3129704

[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 21737
/proc/meminfo: memFree=25586156/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=3136432 CPUtime=222.25 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 669407 0 0 0 22004 221 0 0 20 0 1 0 343358948 3211706368 715820 33554432000 4194304 9016284 140733907776208 140733907769992 7181422 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21735/statm: 784108 715820 663 1178 0 782926 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 3136432

[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 21737
/proc/meminfo: memFree=25543064/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=3184280 CPUtime=282.24 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 673212 0 0 0 27989 235 0 0 20 0 1 0 343358948 3260702720 726449 33554432000 4194304 9016284 140733907776208 140733907771368 6586606 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21735/statm: 796070 726449 663 1178 0 794888 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 3184280

[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 21737
/proc/meminfo: memFree=25460560/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=3255264 CPUtime=342.23 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 683648 0 0 0 33958 265 0 0 20 0 1 0 343358948 3333390336 746026 33554432000 4194304 9016284 140733907776208 140733907768888 7199008 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21735/statm: 813816 746026 663 1178 0 812634 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 3255264

[startup+402.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/178 21776
/proc/meminfo: memFree=28503324/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=3271212 CPUtime=402.23 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 688182 0 0 0 39935 288 0 0 20 0 1 0 343358948 3349721088 747840 33554432000 4194304 9016284 140733907776208 140733907770376 6971607 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21735/statm: 817803 747840 663 1178 0 816621 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 3271212

[startup+462.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 21776
/proc/meminfo: memFree=28498760/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=3281908 CPUtime=462.22 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 690856 0 0 0 45924 298 0 0 20 0 1 0 343358948 3360673792 748765 33554432000 4194304 9016284 140733907776208 140733907769992 7124261 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21735/statm: 820477 748765 663 1178 0 819295 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 3281908

[startup+522.3 s]
/proc/loadavg: 2.08 2.01 2.00 3/179 21780
/proc/meminfo: memFree=28493536/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=3294108 CPUtime=522.21 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 692589 0 0 0 51915 306 0 0 20 0 1 0 343358948 3373166592 750041 33554432000 4194304 9016284 140733907776208 140733907770376 7181501 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21735/statm: 823527 750041 663 1178 0 822345 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 3294108

[startup+582.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/178 21780
/proc/meminfo: memFree=28484892/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=3301020 CPUtime=582.21 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 694505 0 0 0 57906 315 0 0 20 0 1 0 343358948 3380244480 751480 33554432000 4194304 9016284 140733907776208 140733907769992 7213847 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21735/statm: 825255 751480 663 1178 0 824073 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 3301020

[startup+642.3 s]

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

/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 709468 0 0 0 105839 373 0 0 20 0 1 0 343358948 3408019456 758405 33554432000 4194304 9016284 140733907776208 140733907768888 7199008 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21735/statm: 832036 758405 663 1178 0 830854 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 3328144

[startup+1122.3 s]
/proc/loadavg: 2.07 2.08 2.03 3/178 21986
/proc/meminfo: memFree=28387928/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=3329868 CPUtime=1122.12 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 710852 0 0 0 111831 381 0 0 20 0 1 0 343358948 3409784832 758522 33554432000 4194304 9016284 140733907776208 140733907769992 7227279 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21735/statm: 832467 758522 663 1178 0 831285 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 3329868

[startup+1182.3 s]
/proc/loadavg: 2.06 2.08 2.03 3/177 21987
/proc/meminfo: memFree=28382396/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=3331516 CPUtime=1182.11 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 712989 0 0 0 117823 388 0 0 20 0 1 0 343358948 3411472384 759431 33554432000 4194304 9016284 140733907776208 140733907769992 7181501 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21735/statm: 832879 759431 663 1178 0 831697 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 3331516

[startup+1242.3 s]
/proc/loadavg: 2.09 2.08 2.02 3/177 21987
/proc/meminfo: memFree=28379152/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=3332268 CPUtime=1242.1 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 715408 0 0 0 123816 394 0 0 20 0 1 0 343358948 3412242432 759963 33554432000 4194304 9016284 140733907776208 140733907769992 7124303 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21735/statm: 833067 759963 663 1178 0 831885 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 3332268

[startup+1302.3 s]
/proc/loadavg: 2.15 2.09 2.03 3/177 21987
/proc/meminfo: memFree=28372104/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=3333964 CPUtime=1302.09 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 717075 0 0 0 129808 401 0 0 20 0 1 0 343358948 3413979136 760954 33554432000 4194304 9016284 140733907776208 140733907769992 7181616 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21735/statm: 833491 760954 663 1178 0 832309 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 3333964

[startup+1362.3 s]
/proc/loadavg: 2.17 2.10 2.03 3/177 21987
/proc/meminfo: memFree=28366072/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=3334588 CPUtime=1362.08 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 718085 0 0 0 135800 408 0 0 20 0 1 0 343358948 3414618112 762132 33554432000 4194304 9016284 140733907776208 140733907769992 7180891 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21735/statm: 833647 762132 663 1178 0 832465 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 3334588

[startup+1422.31 s]
/proc/loadavg: 2.09 2.10 2.03 3/177 21987
/proc/meminfo: memFree=28365436/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=3336780 CPUtime=1422.08 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 720060 0 0 0 141792 416 0 0 20 0 1 0 343358948 3416862720 762209 33554432000 4194304 9016284 140733907776208 140733907769992 7181022 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21735/statm: 834195 762209 663 1178 0 833013 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 3336780

[startup+1482.3 s]
/proc/loadavg: 2.11 2.11 2.04 3/177 21988
/proc/meminfo: memFree=28364448/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=3337500 CPUtime=1482.06 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 721734 0 0 0 147784 422 0 0 20 0 1 0 343358948 3417600000 762237 33554432000 4194304 9016284 140733907776208 140733907769992 7181026 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21735/statm: 834375 762237 663 1178 0 833193 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 3337500

[startup+1542.3 s]
/proc/loadavg: 2.08 2.10 2.04 3/177 21988
/proc/meminfo: memFree=28361024/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=3338116 CPUtime=1542.05 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 724058 0 0 0 153776 429 0 0 20 0 1 0 343358948 3418230784 762783 33554432000 4194304 9016284 140733907776208 140733907769992 7870569 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21735/statm: 834529 762783 663 1178 0 833347 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 3338116

[startup+1602.3 s]
/proc/loadavg: 2.07 2.09 2.04 3/177 21988
/proc/meminfo: memFree=28358460/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=3339540 CPUtime=1602.05 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 726230 0 0 0 159768 437 0 0 20 0 1 0 343358948 3419688960 762896 33554432000 4194304 9016284 140733907776208 140733907770376 7181476 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21735/statm: 834885 762896 663 1178 0 833703 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 3339540

[startup+1662.3 s]
/proc/loadavg: 2.06 2.09 2.04 3/177 21988
/proc/meminfo: memFree=28360384/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=3340444 CPUtime=1662.03 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 727043 0 0 0 165760 443 0 0 20 0 1 0 343358948 3420614656 762195 33554432000 4194304 9016284 140733907776208 140733907769992 7181376 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21735/statm: 835111 762195 663 1178 0 833929 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 3340444

[startup+1722.3 s]
/proc/loadavg: 2.09 2.08 2.04 3/178 21991
/proc/meminfo: memFree=28357344/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=3341508 CPUtime=1722.03 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 728123 0 0 0 171754 449 0 0 20 0 1 0 343358948 3421704192 762741 33554432000 4194304 9016284 140733907776208 140733907769992 7181396 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21735/statm: 835377 762741 663 1178 0 834195 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 3341508

[startup+1782.3 s]
/proc/loadavg: 2.07 2.08 2.04 3/177 21992
/proc/meminfo: memFree=28357440/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=3341956 CPUtime=1782.02 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 729887 0 0 0 177745 457 0 0 20 0 1 0 343358948 3422162944 762490 33554432000 4194304 9016284 140733907776208 140733907769992 7181505 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21735/statm: 835489 762490 663 1178 0 834307 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 3341956



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.05 2.08 2.03 3/177 21992
/proc/meminfo: memFree=28354832/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=3341956 CPUtime=1800.01 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 730244 0 0 0 179543 458 0 0 20 0 1 0 343358948 3422162944 763112 33554432000 4194304 9016284 140733907776208 140733907769128 7199008 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21735/statm: 835489 763112 663 1178 0 834307 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3341956

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -21735

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

[startup+1801.4 s]
/proc/loadavg: 2.05 2.08 2.03 3/178 21993
/proc/meminfo: memFree=28354832/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=3341956 CPUtime=1801.11 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 730244 0 0 0 179653 458 0 0 20 0 1 0 343358948 3422162944 763112 33554432000 4194304 9016284 140733907776208 140733907768000 7199008 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21735/statm: 835489 763112 663 1178 0 834307 0
Current children cumulated CPU time (s) 1801.11
Current children cumulated vsize (KiB) 3341956

[startup+1801.81 s]
/proc/loadavg: 2.05 2.08 2.03 3/178 21993
/proc/meminfo: memFree=28354700/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=3341956 CPUtime=1801.52 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 730598 0 0 0 179692 460 0 0 20 0 1 0 343358948 3422162944 763108 33554432000 4194304 9016284 140733907776208 140733907768000 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21735/statm: 835489 763108 663 1178 0 834307 0
Current children cumulated CPU time (s) 1801.52
Current children cumulated vsize (KiB) 3341956

[startup+1802.2 s]
/proc/loadavg: 2.05 2.08 2.03 3/178 21993
/proc/meminfo: memFree=28354700/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=3341956 CPUtime=1801.91 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 730598 0 0 0 179731 460 0 0 20 0 1 0 343358948 3422162944 763108 33554432000 4194304 9016284 140733907776208 140733907768000 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21735/statm: 835489 763108 663 1178 0 834307 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 3341956

[startup+1802.3 s]
/proc/loadavg: 2.05 2.08 2.03 3/178 21993
/proc/meminfo: memFree=28354700/32873648 swapFree=7628/7628
[pid=21735] ppid=21733 vsize=3341956 CPUtime=1802.01 cores=0,2,4,6
/proc/21735/stat : 21735 (scip-2.0.1.4b_2) R 21733 21735 20052 0 -1 4202496 730598 0 0 0 179741 460 0 0 20 0 1 0 343358948 3422162944 763108 33554432000 4194304 9016284 140733907776208 140733907769992 7181501 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21735/statm: 835489 763108 663 1178 0 834307 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 3341956

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.37
CPU time (s): 1802.09
CPU user time (s): 1797.43
CPU system time (s): 4.66429
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 3412052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.43
system time used= 4.66429
maximum resident set size= 3089672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 730598
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= 11
involuntary context switches= 1884

runsolver used 5.44617 second user time and 15.1737 second system time

The end

Launcher Data 

Begin job on node122 at 2012-06-04 03:12:10
IDJOB=3741178
IDBENCH=89800
IDSOLVER=2329
FILE ID=node122/3741178-1338772328
RUNJOBID= node122-1338749400-20068
PBS_JOBID= 14636801
Free space on /tmp= 71072 MiB

SOLVER NAME= PB11: SCIP spx E_2 2011-06-10 (fixed)
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-122.opb
COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741178-1338772328/watcher-3741178-1338772328 -o /tmp/evaluation-result-3741178-1338772328/solver-3741178-1338772328 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3741178-1338772328.opb -t 1800 -m 15500

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

MD5SUM BENCH= 45533d52c524a74641c715d4320b890b
RANDOM SEED=284382403

node122.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.533
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.533
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.533
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.533
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.533
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.533
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.533
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.533
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28541900 kB
Buffers:          235820 kB
Cached:           314088 kB
SwapCached:         1832 kB
Active:          3461560 kB
Inactive:          31932 kB
Active(anon):    2938872 kB
Inactive(anon):     6992 kB
Active(file):     522688 kB
Inactive(file):    24940 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67100168 kB
Dirty:             66216 kB
Writeback:             0 kB
AnonPages:       2951668 kB
Mapped:            11512 kB
Shmem:                 0 kB
Slab:             693444 kB
SReclaimable:     137092 kB
SUnreclaim:       556352 kB
KernelStack:        1456 kB
PageTables:        10756 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    3366316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1771520 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71104 MiB
End job on node122 at 2012-06-04 03:42:12