Trace number 2665993

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver? (TO) 1802.16 1802.69

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb
MD5SUMef8e8b075ca1490a3beab796ebfb3e9f
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
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 benchmark1.89971
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables76091
Total number of constraints218262
Number of constraints which are clauses207610
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10652
Minimum length of a constraint2
Maximum length of a constraint15
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 131
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 513
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 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2665993-1276335844.opb>
3.99/4.02	c original problem has 76091 variables (76091 bin, 0 int, 0 impl, 0 cont) and 218262 constraints
3.99/4.02	c problem read
3.99/4.03	c No objective function, only one solution is needed.
3.99/4.03	c presolving settings loaded
5.09/5.19	c presolving:
9.69/9.78	c (round 1) 5248 del vars, 7994 del conss, 2494 chg bounds, 5326 chg sides, 11276 chg coeffs, 0 upgd conss, 4255519 impls, 0 clqs
10.09/10.16	c (round 2) 5346 del vars, 13989 del conss, 2509 chg bounds, 5326 chg sides, 11276 chg coeffs, 0 upgd conss, 4255717 impls, 0 clqs
10.39/10.40	c (round 3) 5346 del vars, 14043 del conss, 2509 chg bounds, 5326 chg sides, 11276 chg coeffs, 0 upgd conss, 4255717 impls, 0 clqs
12.69/12.70	c (round 4) 5346 del vars, 14189 del conss, 2509 chg bounds, 5326 chg sides, 11276 chg coeffs, 202269 upgd conss, 4255717 impls, 0 clqs
13.28/13.38	c (round 5) 5346 del vars, 14189 del conss, 2509 chg bounds, 5326 chg sides, 11276 chg coeffs, 204073 upgd conss, 4255717 impls, 0 clqs
13.88/13.91	c presolving (6 rounds):
13.88/13.91	c  5346 deleted vars, 14189 deleted constraints, 2509 tightened bounds, 0 added holes, 5326 changed sides, 11276 changed coefficients
13.88/13.91	c  4255717 implications, 0 cliques
13.88/13.91	c presolved problem has 70745 variables (70745 bin, 0 int, 0 impl, 0 cont) and 204073 constraints
13.88/13.91	c   10652 constraints of type <knapsack>
13.88/13.91	c  193421 constraints of type <logicor>
13.88/13.91	c transformed objective value is always integral (scale: 1)
13.88/13.91	c Presolving Time: 7.90
13.88/13.91	c - non default parameters ----------------------------------------------------------------------
13.88/13.91	c # SCIP version 1.2.1.2
13.88/13.91	c 
13.88/13.91	c # frequency for displaying node information lines
13.88/13.91	c # [type: int, range: [-1,2147483647], default: 100]
13.88/13.91	c display/freq = 10000
13.88/13.91	c 
13.88/13.91	c # maximal time in seconds to run
13.88/13.91	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
13.88/13.91	c limits/time = 1795.98
13.88/13.91	c 
13.88/13.91	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
13.88/13.91	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
13.88/13.91	c limits/memory = 1620
13.88/13.91	c 
13.88/13.91	c # solving stops, if the given number of solutions were found (-1: no limit)
13.88/13.91	c # [type: int, range: [-1,2147483647], default: -1]
13.88/13.91	c limits/solutions = 1
13.88/13.91	c 
13.88/13.91	c # maximal number of separation rounds per node (-1: unlimited)
13.88/13.91	c # [type: int, range: [-1,2147483647], default: 5]
13.88/13.91	c separating/maxrounds = 1
13.88/13.91	c 
13.88/13.91	c # maximal number of separation rounds in the root node (-1: unlimited)
13.88/13.91	c # [type: int, range: [-1,2147483647], default: -1]
13.88/13.91	c separating/maxroundsroot = 5
13.88/13.91	c 
13.88/13.91	c # should presolving try to simplify inequalities
13.88/13.91	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.88/13.91	c constraints/linear/simplifyinequalities = TRUE
13.88/13.91	c 
13.88/13.91	c # should disaggregation of knapsack constraints be allowed in preprocessing?
13.88/13.91	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
13.88/13.91	c constraints/knapsack/disaggregation = FALSE
13.88/13.91	c 
13.88/13.91	c # should presolving try to simplify knapsacks
13.88/13.91	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.88/13.91	c constraints/knapsack/simplifyinequalities = TRUE
13.88/13.91	c 
13.88/13.91	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
13.88/13.91	c # [type: int, range: [-1,2147483647], default: -1]
13.88/13.91	c presolving/probing/maxrounds = 0
13.88/13.91	c 
13.88/13.91	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
13.88/13.91	c # [type: int, range: [-1,2147483647], default: 10]
13.88/13.91	c heuristics/coefdiving/freq = -1
13.88/13.91	c 
13.88/13.91	c # maximal fraction of diving LP iterations compared to node LP iterations
13.88/13.91	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.88/13.91	c heuristics/coefdiving/maxlpiterquot = 0.075
13.88/13.91	c 
13.88/13.91	c # additional number of allowed LP iterations
13.88/13.91	c # [type: int, range: [0,2147483647], default: 1000]
13.88/13.91	c heuristics/coefdiving/maxlpiterofs = 1500
13.88/13.91	c 
13.88/13.91	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
13.88/13.91	c # [type: int, range: [-1,2147483647], default: 30]
13.88/13.91	c heuristics/crossover/freq = -1
13.88/13.91	c 
13.88/13.91	c # number of nodes added to the contingent of the total nodes
13.88/13.91	c # [type: longint, range: [0,9223372036854775807], default: 500]
13.88/13.91	c heuristics/crossover/nodesofs = 750
13.88/13.91	c 
13.88/13.91	c # number of nodes without incumbent change that heuristic should wait
13.88/13.91	c # [type: longint, range: [0,9223372036854775807], default: 200]
13.88/13.91	c heuristics/crossover/nwaitingnodes = 100
13.88/13.91	c 
13.88/13.91	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
13.88/13.91	c # [type: real, range: [0,1], default: 0.1]
13.88/13.91	c heuristics/crossover/nodesquot = 0.15
13.88/13.91	c 
13.88/13.91	c # minimum percentage of integer variables that have to be fixed 
13.88/13.91	c # [type: real, range: [0,1], default: 0.666]
13.88/13.91	c heuristics/crossover/minfixingrate = 0.5
13.88/13.91	c 
13.88/13.91	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
13.88/13.91	c # [type: int, range: [-1,2147483647], default: 20]
13.88/13.91	c heuristics/feaspump/freq = -1
13.88/13.91	c 
13.88/13.91	c # additional number of allowed LP iterations
13.88/13.91	c # [type: int, range: [0,2147483647], default: 1000]
13.88/13.91	c heuristics/feaspump/maxlpiterofs = 2000
13.88/13.91	c 
13.88/13.91	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
13.88/13.91	c # [type: int, range: [-1,2147483647], default: 10]
13.88/13.91	c heuristics/fracdiving/freq = -1
13.88/13.91	c 
13.88/13.91	c # maximal fraction of diving LP iterations compared to node LP iterations
13.88/13.91	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.88/13.91	c heuristics/fracdiving/maxlpiterquot = 0.075
13.88/13.91	c 
13.88/13.91	c # additional number of allowed LP iterations
13.88/13.91	c # [type: int, range: [0,2147483647], default: 1000]
13.88/13.91	c heuristics/fracdiving/maxlpiterofs = 1500
13.88/13.91	c 
13.88/13.91	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
13.88/13.91	c # [type: int, range: [-1,2147483647], default: 10]
13.88/13.91	c heuristics/guideddiving/freq = -1
13.88/13.91	c 
13.88/13.91	c # maximal fraction of diving LP iterations compared to node LP iterations
13.88/13.91	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.88/13.91	c heuristics/guideddiving/maxlpiterquot = 0.075
13.88/13.91	c 
13.88/13.91	c # additional number of allowed LP iterations
13.88/13.91	c # [type: int, range: [0,2147483647], default: 1000]
13.88/13.91	c heuristics/guideddiving/maxlpiterofs = 1500
13.88/13.91	c 
13.88/13.91	c # maximal fraction of diving LP iterations compared to node LP iterations
13.88/13.91	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.88/13.91	c heuristics/intdiving/maxlpiterquot = 0.075
13.88/13.91	c 
13.88/13.91	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
13.88/13.91	c # [type: int, range: [-1,2147483647], default: 10]
13.88/13.91	c heuristics/intshifting/freq = -1
13.88/13.91	c 
13.88/13.91	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
13.88/13.91	c # [type: int, range: [-1,2147483647], default: 10]
13.88/13.91	c heuristics/linesearchdiving/freq = -1
13.88/13.91	c 
13.88/13.91	c # maximal fraction of diving LP iterations compared to node LP iterations
13.88/13.91	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.88/13.91	c heuristics/linesearchdiving/maxlpiterquot = 0.075
13.88/13.91	c 
13.88/13.91	c # additional number of allowed LP iterations
13.88/13.91	c # [type: int, range: [0,2147483647], default: 1000]
13.88/13.91	c heuristics/linesearchdiving/maxlpiterofs = 1500
13.88/13.91	c 
13.88/13.91	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
13.88/13.91	c # [type: int, range: [-1,2147483647], default: 1]
13.88/13.91	c heuristics/nlp/freq = -1
13.88/13.91	c 
13.88/13.91	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
13.88/13.91	c # [type: int, range: [-1,2147483647], default: 20]
13.88/13.91	c heuristics/objpscostdiving/freq = -1
13.88/13.91	c 
13.88/13.91	c # maximal fraction of diving LP iterations compared to total iteration number
13.88/13.91	c # [type: real, range: [0,1], default: 0.01]
13.88/13.91	c heuristics/objpscostdiving/maxlpiterquot = 0.015
13.88/13.91	c 
13.88/13.91	c # additional number of allowed LP iterations
13.88/13.91	c # [type: int, range: [0,2147483647], default: 1000]
13.88/13.91	c heuristics/objpscostdiving/maxlpiterofs = 1500
13.88/13.91	c 
13.88/13.91	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
13.88/13.91	c # [type: int, range: [-1,2147483647], default: 1]
13.88/13.91	c heuristics/oneopt/freq = -1
13.88/13.91	c 
13.88/13.91	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
13.88/13.91	c # [type: int, range: [-1,2147483647], default: 10]
13.88/13.91	c heuristics/pscostdiving/freq = -1
13.88/13.91	c 
13.88/13.91	c # maximal fraction of diving LP iterations compared to node LP iterations
13.88/13.91	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.88/13.91	c heuristics/pscostdiving/maxlpiterquot = 0.075
13.88/13.91	c 
13.88/13.91	c # additional number of allowed LP iterations
13.88/13.91	c # [type: int, range: [0,2147483647], default: 1000]
13.88/13.91	c heuristics/pscostdiving/maxlpiterofs = 1500
13.88/13.91	c 
13.88/13.91	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
13.88/13.91	c # [type: int, range: [-1,2147483647], default: 0]
13.88/13.91	c heuristics/rens/freq = -1
13.88/13.91	c 
13.88/13.91	c # minimum percentage of integer variables that have to be fixable 
13.88/13.91	c # [type: real, range: [0,1], default: 0.5]
13.88/13.91	c heuristics/rens/minfixingrate = 0.3
13.88/13.91	c 
13.88/13.91	c # number of nodes added to the contingent of the total nodes
13.88/13.91	c # [type: longint, range: [0,9223372036854775807], default: 500]
13.88/13.91	c heuristics/rens/nodesofs = 2000
13.88/13.91	c 
13.88/13.91	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
13.88/13.91	c # [type: int, range: [-1,2147483647], default: 20]
13.88/13.91	c heuristics/rootsoldiving/freq = -1
13.88/13.91	c 
13.88/13.91	c # maximal fraction of diving LP iterations compared to node LP iterations
13.88/13.91	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
13.88/13.91	c heuristics/rootsoldiving/maxlpiterquot = 0.015
13.88/13.91	c 
13.88/13.91	c # additional number of allowed LP iterations
13.88/13.91	c # [type: int, range: [0,2147483647], default: 1000]
13.88/13.91	c heuristics/rootsoldiving/maxlpiterofs = 1500
13.88/13.91	c 
13.88/13.91	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
13.88/13.91	c # [type: int, range: [-1,2147483647], default: 1]
13.88/13.91	c heuristics/rounding/freq = -1
13.88/13.91	c 
13.88/13.91	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
13.88/13.91	c # [type: int, range: [-1,2147483647], default: 10]
13.88/13.91	c heuristics/shifting/freq = -1
13.88/13.91	c 
13.88/13.91	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
13.88/13.91	c # [type: int, range: [-1,2147483647], default: 1]
13.88/13.91	c heuristics/simplerounding/freq = -1
13.88/13.91	c 
13.88/13.91	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
13.88/13.91	c # [type: int, range: [-1,2147483647], default: 0]
13.88/13.91	c heuristics/trivial/freq = -1
13.88/13.91	c 
13.88/13.91	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
13.88/13.91	c # [type: int, range: [-1,2147483647], default: 1]
13.88/13.91	c heuristics/trysol/freq = -1
13.88/13.91	c 
13.88/13.91	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
13.88/13.91	c # [type: int, range: [-1,2147483647], default: 10]
13.88/13.91	c heuristics/veclendiving/freq = -1
13.88/13.91	c 
13.88/13.91	c # maximal fraction of diving LP iterations compared to node LP iterations
13.88/13.91	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.88/13.91	c heuristics/veclendiving/maxlpiterquot = 0.075
13.88/13.91	c 
13.88/13.91	c # additional number of allowed LP iterations
13.88/13.91	c # [type: int, range: [0,2147483647], default: 1000]
13.88/13.91	c heuristics/veclendiving/maxlpiterofs = 1500
13.88/13.91	c 
13.88/13.91	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
13.88/13.91	c # [type: int, range: [-1,2147483647], default: 1]
13.88/13.91	c heuristics/zirounding/freq = -1
13.88/13.91	c 
13.88/13.91	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
13.88/13.91	c # [type: int, range: [-1,2147483647], default: 0]
13.88/13.91	c separating/cmir/freq = -1
13.88/13.91	c 
13.88/13.91	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
13.88/13.91	c # [type: int, range: [-1,2147483647], default: 0]
13.88/13.91	c separating/flowcover/freq = -1
13.88/13.91	c 
13.88/13.91	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
13.88/13.91	c # [type: int, range: [-1,2147483647], default: -1]
13.88/13.91	c separating/rapidlearning/freq = 0
13.88/13.91	c 
13.88/13.91	c -----------------------------------------------------------------------------------------------
13.88/13.91	c start solving
13.88/13.98	c 
19.99/20.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
19.99/20.08	c  14.2s|     1 |     0 |  8828 |     - | 540M|   0 |7783 |  70k| 204k|  70k| 204k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
200.04/200.20	c   192s|     1 |     0 | 22438 |     - | 541M|   0 |  14k|  70k| 204k|  70k| 204k| 301 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
918.23/918.58	c   908s|     1 |     0 | 59834 |     - | 541M|   0 |  21k|  70k| 204k|  70k| 204k| 423 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1800.08/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.38 1.11 1.03 3/106 10897
/proc/meminfo: memFree=1723800/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=9288 CPUtime=0
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 1063 0 0 0 0 0 0 0 20 0 1 0 9188391 9510912 984 1992294400 4194304 9819077 140734851168672 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10897/statm: 2322 994 371 1374 0 943 0

[startup+0.0907041 s]
/proc/loadavg: 1.38 1.11 1.03 3/106 10897
/proc/meminfo: memFree=1723800/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=14824 CPUtime=0.08
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 2618 0 0 0 8 0 0 0 20 0 1 0 9188391 15179776 2539 1992294400 4194304 9819077 140734851168672 18446744073709551615 5650017 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10897/statm: 3706 2539 386 1374 0 2327 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14824

[startup+0.100705 s]
/proc/loadavg: 1.38 1.11 1.03 3/106 10897
/proc/meminfo: memFree=1723800/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=16544 CPUtime=0.09
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 3012 0 0 0 8 1 0 0 20 0 1 0 9188391 16941056 2934 1992294400 4194304 9819077 140734851168672 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10897/statm: 4136 2943 386 1374 0 2757 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16544

[startup+0.30072 s]
/proc/loadavg: 1.38 1.11 1.03 3/106 10897
/proc/meminfo: memFree=1723800/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=22384 CPUtime=0.29
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 4536 0 0 0 28 1 0 0 20 0 1 0 9188391 22921216 4457 1992294400 4194304 9819077 140734851168672 18446744073709551615 4680577 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10897/statm: 5596 4458 386 1374 0 4217 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22384

[startup+0.700753 s]
/proc/loadavg: 1.38 1.11 1.03 3/106 10897
/proc/meminfo: memFree=1723800/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=36564 CPUtime=0.69
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 8076 0 0 0 66 3 0 0 21 0 1 0 9188391 37441536 7997 1992294400 4194304 9819077 140734851168672 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10897/statm: 9141 7997 386 1374 0 7762 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36564

[startup+1.50082 s]
/proc/loadavg: 1.38 1.11 1.03 2/107 10898
/proc/meminfo: memFree=1683120/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=63196 CPUtime=1.49
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 14696 0 0 0 143 6 0 0 23 0 1 0 9188391 64712704 14617 1992294400 4194304 9819077 140734851168672 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10897/statm: 15799 14617 386 1374 0 14420 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 63196

[startup+3.10095 s]
/proc/loadavg: 1.38 1.11 1.03 2/107 10898
/proc/meminfo: memFree=1645300/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=117208 CPUtime=3.09
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 28178 0 0 0 298 11 0 0 25 0 1 0 9188391 120020992 28099 1992294400 4194304 9819077 140734851168672 18446744073709551615 5648492 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10897/statm: 29302 28099 386 1374 0 27923 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 117208

[startup+6.30021 s]
/proc/loadavg: 1.35 1.10 1.03 2/107 10898
/proc/meminfo: memFree=1374236/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=401292 CPUtime=6.29
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 97855 0 0 0 586 43 0 0 25 0 1 0 9188391 410923008 97407 1992294400 4194304 9819077 140734851168672 18446744073709551615 6181595 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10897/statm: 100323 97407 490 1374 0 98944 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 401292

[startup+12.7017 s]
/proc/loadavg: 1.32 1.10 1.03 2/107 10898
/proc/meminfo: memFree=1143348/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=577252 CPUtime=12.69
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 164596 0 0 0 1134 135 0 0 25 0 1 0 9188391 591106048 140343 1992294400 4194304 9819077 140734851168672 18446744073709551615 5491477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10897/statm: 144313 140343 501 1374 0 142934 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 577252

[startup+25.5008 s]
/proc/loadavg: 1.25 1.10 1.03 2/107 10898
/proc/meminfo: memFree=954496/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=886772 CPUtime=25.49
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 300729 0 0 0 2346 203 0 0 25 0 1 0 9188391 908054528 192405 1992294400 4194304 9819077 140734851168672 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10897/statm: 221693 192405 655 1374 0 220314 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 886772

[startup+51.1008 s]
/proc/loadavg: 1.16 1.09 1.03 2/107 10898
/proc/meminfo: memFree=952884/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=890608 CPUtime=51.07
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 301334 0 0 0 4847 260 0 0 25 0 1 0 9188391 911982592 192810 1992294400 4194304 9819077 140734851168672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10897/statm: 222652 192810 657 1374 0 221273 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 890608

[startup+102.308 s]
/proc/loadavg: 1.07 1.07 1.02 2/107 10900
/proc/meminfo: memFree=939988/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=909716 CPUtime=102.26
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 337316 0 0 0 9882 344 0 0 25 0 1 0 9188391 931549184 196034 1992294400 4194304 9819077 140734851168672 18446744073709551615 7293550 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10897/statm: 227429 196034 672 1374 0 226050 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 909716

[startup+162.301 s]
/proc/loadavg: 1.02 1.06 1.02 2/107 10902
/proc/meminfo: memFree=936020/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=923760 CPUtime=162.23
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 400718 0 0 0 15846 377 0 0 25 0 1 0 9188391 945930240 197111 1992294400 4194304 9819077 140734851168672 18446744073709551615 7312774 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10897/statm: 230940 197111 672 1374 0 229561 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 923760

[startup+222.301 s]
/proc/loadavg: 1.01 1.04 1.01 2/107 10904
/proc/meminfo: memFree=936640/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=928212 CPUtime=222.22
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 443191 0 0 0 21822 400 0 0 25 0 1 0 9188391 950489088 196792 1992294400 4194304 9819077 140734851168672 18446744073709551615 6044097 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10897/statm: 232053 196792 672 1374 0 230674 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 928212

[startup+282.301 s]
/proc/loadavg: 1.00 1.03 1.01 2/107 10904
/proc/meminfo: memFree=929572/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=928352 CPUtime=282.2
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 469076 0 0 0 27804 416 0 0 25 0 1 0 9188391 950632448 199026 1992294400 4194304 9819077 140734851168672 18446744073709551615 6191175 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10897/statm: 232088 199026 672 1374 0 230709 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 928352

[startup+342.301 s]
/proc/loadavg: 1.07 1.04 1.01 2/107 10906
/proc/meminfo: memFree=922256/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=931132 CPUtime=342.18
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 503965 0 0 0 33781 437 0 0 25 0 1 0 9188391 953479168 200460 1992294400 4194304 9819077 140734851168672 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10897/statm: 232783 200460 672 1374 0 231404 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 931132

[startup+402.301 s]
/proc/loadavg: 1.15 1.07 1.02 2/107 10908
/proc/meminfo: memFree=933044/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=932988 CPUtime=402.17
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 552393 0 0 0 39756 461 0 0 25 0 1 0 9188391 955379712 198000 1992294400 4194304 9819077 140734851168672 18446744073709551615 7293527 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10897/statm: 233247 198000 672 1374 0 231868 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 932988

[startup+462.301 s]
/proc/loadavg: 1.11 1.07 1.02 2/107 10910
/proc/meminfo: memFree=932672/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=934716 CPUtime=462.16
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 595490 0 0 0 45731 485 0 0 25 0 1 0 9188391 957149184 197951 1992294400 4194304 9819077 140734851168672 18446744073709551615 6192309 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10897/statm: 233679 197951 672 1374 0 232300 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 934716

[startup+522.301 s]
/proc/loadavg: 1.09 1.07 1.02 2/107 10912
/proc/meminfo: memFree=921140/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=936164 CPUtime=522.14
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 631020 0 0 0 51707 507 0 0 25 0 1 0 9188391 958631936 200781 1992294400 4194304 9819077 140734851168672 18446744073709551615 6192325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10897/statm: 234041 200781 672 1374 0 232662 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 936164

[startup+582.301 s]
/proc/loadavg: 1.03 1.06 1.01 2/107 10912
/proc/meminfo: memFree=929944/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=937788 CPUtime=582.13
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 674185 0 0 0 57684 529 0 0 25 0 1 0 9188391 960294912 198640 1992294400 4194304 9819077 140734851168672 18446744073709551615 6192325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10897/statm: 234447 198640 672 1374 0 233068 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 937788

[startup+642.301 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 10914
/proc/meminfo: memFree=939988/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=901056 CPUtime=642.12
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 715537 0 0 0 63662 550 0 0 25 0 1 0 9188391 922681344 196095 1992294400 4194304 9819077 140734851168672 18446744073709551615 7259257 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10897/statm: 225264 196096 672 1374 0 223885 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 901056

[startup+702.301 s]

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

/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 935822 0 0 0 99533 667 0 0 25 0 1 0 9188391 970182656 200835 1992294400 4194304 9819077 140734851168672 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10897/statm: 236861 200835 672 1374 0 235482 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 947444

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10935
/proc/meminfo: memFree=930068/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=949104 CPUtime=1061.96
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 970209 0 0 0 105509 687 0 0 25 0 1 0 9188391 971882496 198487 1992294400 4194304 9819077 140734851168672 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10897/statm: 237276 198487 672 1374 0 235897 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 949104

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10937
/proc/meminfo: memFree=915808/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=949744 CPUtime=1121.94
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 998304 0 0 0 111490 704 0 0 25 0 1 0 9188391 972537856 202002 1992294400 4194304 9819077 140734851168672 18446744073709551615 6192338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10897/statm: 237436 202002 672 1374 0 236057 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 949744

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10937
/proc/meminfo: memFree=931060/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=950548 CPUtime=1181.93
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 1032157 0 0 0 117470 723 0 0 25 0 1 0 9188391 973361152 198349 1992294400 4194304 9819077 140734851168672 18446744073709551615 7480831 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10897/statm: 237637 198349 672 1374 0 236258 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 950548

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10939
/proc/meminfo: memFree=924116/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=951128 CPUtime=1241.92
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 1058772 0 0 0 123453 739 0 0 25 0 1 0 9188391 973955072 200032 1992294400 4194304 9819077 140734851168672 18446744073709551615 6192325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10897/statm: 237782 200032 672 1374 0 236403 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 951128

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10941
/proc/meminfo: memFree=914816/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=951728 CPUtime=1301.9
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 1085684 0 0 0 129434 756 0 0 25 0 1 0 9188391 974569472 202178 1992294400 4194304 9819077 140734851168672 18446744073709551615 7291114 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10897/statm: 237932 202178 672 1374 0 236553 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 951728

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10943
/proc/meminfo: memFree=926472/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=952432 CPUtime=1361.88
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 1120258 0 0 0 135412 776 0 0 25 0 1 0 9188391 975290368 199464 1992294400 4194304 9819077 140734851168672 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10897/statm: 238108 199464 672 1374 0 236729 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 952432

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10945
/proc/meminfo: memFree=913948/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=952880 CPUtime=1421.87
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 1148092 0 0 0 141395 792 0 0 25 0 1 0 9188391 975749120 202378 1992294400 4194304 9819077 140734851168672 18446744073709551615 7296179 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10897/statm: 238220 202378 672 1374 0 236841 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 952880

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10945
/proc/meminfo: memFree=926720/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=953648 CPUtime=1481.85
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 1182913 0 0 0 147374 811 0 0 25 0 1 0 9188391 976535552 199338 1992294400 4194304 9819077 140734851168672 18446744073709551615 7304779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10897/statm: 238412 199338 672 1374 0 237033 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 953648

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10947
/proc/meminfo: memFree=913824/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=954136 CPUtime=1541.83
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 1211256 0 0 0 153356 827 0 0 25 0 1 0 9188391 977035264 202425 1992294400 4194304 9819077 140734851168672 18446744073709551615 7306903 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10897/statm: 238534 202425 672 1374 0 237155 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 954136

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10949
/proc/meminfo: memFree=926100/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=954804 CPUtime=1601.81
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 1246353 0 0 0 159336 845 0 0 25 0 1 0 9188391 977719296 199531 1992294400 4194304 9819077 140734851168672 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10897/statm: 238701 199531 672 1374 0 237322 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 954804

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10951
/proc/meminfo: memFree=916552/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=955096 CPUtime=1661.79
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 1274286 0 0 0 165318 861 0 0 25 0 1 0 9188391 978018304 201821 1992294400 4194304 9819077 140734851168672 18446744073709551615 6192320 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10897/statm: 238774 201821 672 1374 0 237395 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 955096

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10953
/proc/meminfo: memFree=929324/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=955696 CPUtime=1721.77
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 1309206 0 0 0 171299 878 0 0 25 0 1 0 9188391 978632704 198553 1992294400 4194304 9819077 140734851168672 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10897/statm: 238924 198553 672 1374 0 237545 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 955696

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10956
/proc/meminfo: memFree=924116/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=956148 CPUtime=1781.77
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 1335950 0 0 0 177282 895 0 0 25 0 1 0 9188391 979095552 199706 1992294400 4194304 9819077 140734851168672 18446744073709551615 7294689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10897/statm: 239037 199706 672 1374 0 237658 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 956148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10958
/proc/meminfo: memFree=927836/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=956276 CPUtime=1800.08
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 1347794 0 0 0 179106 902 0 0 25 0 1 0 9188391 979226624 198682 1992294400 4194304 9819077 140734851168672 18446744073709551615 7291095 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10897/statm: 239069 198682 672 1374 0 237690 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 956276

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -10897

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10958
/proc/meminfo: memFree=927836/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=956276 CPUtime=1800.86
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 1347855 0 0 0 179184 902 0 0 25 0 1 0 9188391 979226624 198743 1992294400 4194304 9819077 140734851168672 18446744073709551615 7293596 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10897/statm: 239069 198743 672 1374 0 237690 0
Current children cumulated CPU time (s) 1800.86
Current children cumulated vsize (KiB) 956276

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10959
/proc/meminfo: memFree=927456/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=956276 CPUtime=1801.66
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 1347917 0 0 0 179264 902 0 0 25 0 1 0 9188391 979226624 198805 1992294400 4194304 9819077 140734851168672 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10897/statm: 239069 198805 672 1374 0 237690 0
Current children cumulated CPU time (s) 1801.66
Current children cumulated vsize (KiB) 956276

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10959
/proc/meminfo: memFree=927456/2059040 swapFree=4192072/4192956
[pid=10897] ppid=10895 vsize=956276 CPUtime=1802.06
/proc/10897/stat : 10897 (pbscip.linux.x8) R 10895 10897 9144 0 -1 4202496 1347958 0 0 0 179304 902 0 0 25 0 1 0 9188391 979226624 198846 1992294400 4194304 9819077 140734851168672 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10897/statm: 239069 198846 672 1374 0 237690 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 956276

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.69
CPU time (s): 1802.16
CPU user time (s): 1793.06
CPU system time (s): 9.09862
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 956276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.06
system time used= 9.09862
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1347958
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= 1
involuntary context switches= 5608

runsolver used 2.79357 second user time and 8.71167 second system time

The end

Launcher Data 

Begin job on node003 at 2010-06-12 11:44:05
IDJOB=2665993
IDBENCH=1473
IDSOLVER=1168
FILE ID=node003/2665993-1276335844
PBS_JOBID= 11173163
Free space on /tmp= 62548 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665993-1276335844/watcher-2665993-1276335844 -o /tmp/evaluation-result-2665993-1276335844/solver-2665993-1276335844 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665993-1276335844.opb -t 1800 -m 1800

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

MD5SUM BENCH= ef8e8b075ca1490a3beab796ebfb3e9f
RANDOM SEED=109126742

node003.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.251
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.50
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.251
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1724204 kB
Buffers:         70036 kB
Cached:         138180 kB
SwapCached:          0 kB
Active:         117232 kB
Inactive:       149744 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1724204 kB
SwapTotal:     4192956 kB
SwapFree:      4192072 kB
Dirty:           13880 kB
Writeback:           0 kB
AnonPages:       58772 kB
Mapped:          15436 kB
Slab:            46140 kB
PageTables:       3976 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181736 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62540 MiB
End job on node003 at 2010-06-12 12:14:07