Trace number 2665972

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.13 1802.75

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb
MD5SUM6d44efaff34237725f88a3d0685c8f91
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark30.4184
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables20605
Total number of constraints59851
Number of constraints which are clauses58675
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1176
Minimum length of a constraint1
Maximum length of a constraint11
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 41
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 134
Number of bits of the biggest sum of numbers8
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-2665972-1276331971.opb>
1.00/1.03	c original problem has 20605 variables (20605 bin, 0 int, 0 impl, 0 cont) and 59851 constraints
1.00/1.03	c problem read
1.00/1.03	c No objective function, only one solution is needed.
1.00/1.03	c presolving settings loaded
1.29/1.35	c presolving:
2.39/2.45	c (round 1) 899 del vars, 505 del conss, 166 chg bounds, 588 chg sides, 1190 chg coeffs, 0 upgd conss, 988596 impls, 0 clqs
2.49/2.56	c (round 2) 901 del vars, 1977 del conss, 168 chg bounds, 588 chg sides, 1190 chg coeffs, 0 upgd conss, 988596 impls, 0 clqs
2.59/2.62	c (round 3) 907 del vars, 1990 del conss, 173 chg bounds, 588 chg sides, 1190 chg coeffs, 0 upgd conss, 988883 impls, 0 clqs
2.59/2.69	c (round 4) 907 del vars, 1996 del conss, 174 chg bounds, 588 chg sides, 1190 chg coeffs, 0 upgd conss, 988930 impls, 0 clqs
2.69/2.76	c (round 5) 909 del vars, 1999 del conss, 174 chg bounds, 588 chg sides, 1190 chg coeffs, 0 upgd conss, 989028 impls, 0 clqs
3.19/3.27	c (round 6) 909 del vars, 2001 del conss, 174 chg bounds, 588 chg sides, 1190 chg coeffs, 57850 upgd conss, 989028 impls, 0 clqs
3.39/3.46	c presolving (7 rounds):
3.39/3.46	c  909 deleted vars, 2001 deleted constraints, 174 tightened bounds, 0 added holes, 588 changed sides, 1190 changed coefficients
3.39/3.46	c  989028 implications, 0 cliques
3.39/3.46	c presolved problem has 19696 variables (19696 bin, 0 int, 0 impl, 0 cont) and 57850 constraints
3.39/3.46	c    1176 constraints of type <knapsack>
3.39/3.46	c   56674 constraints of type <logicor>
3.39/3.46	c transformed objective value is always integral (scale: 1)
3.39/3.46	c Presolving Time: 1.89
3.39/3.46	c - non default parameters ----------------------------------------------------------------------
3.39/3.46	c # SCIP version 1.2.1.2
3.39/3.46	c 
3.39/3.46	c # frequency for displaying node information lines
3.39/3.46	c # [type: int, range: [-1,2147483647], default: 100]
3.39/3.46	c display/freq = 10000
3.39/3.46	c 
3.39/3.46	c # maximal time in seconds to run
3.39/3.46	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.39/3.46	c limits/time = 1798.97
3.39/3.46	c 
3.39/3.46	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.39/3.46	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.39/3.46	c limits/memory = 1620
3.39/3.46	c 
3.39/3.46	c # solving stops, if the given number of solutions were found (-1: no limit)
3.39/3.46	c # [type: int, range: [-1,2147483647], default: -1]
3.39/3.46	c limits/solutions = 1
3.39/3.46	c 
3.39/3.46	c # maximal number of separation rounds per node (-1: unlimited)
3.39/3.46	c # [type: int, range: [-1,2147483647], default: 5]
3.39/3.46	c separating/maxrounds = 1
3.39/3.46	c 
3.39/3.46	c # maximal number of separation rounds in the root node (-1: unlimited)
3.39/3.46	c # [type: int, range: [-1,2147483647], default: -1]
3.39/3.46	c separating/maxroundsroot = 5
3.39/3.46	c 
3.39/3.46	c # should presolving try to simplify inequalities
3.39/3.46	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.39/3.46	c constraints/linear/simplifyinequalities = TRUE
3.39/3.46	c 
3.39/3.46	c # should disaggregation of knapsack constraints be allowed in preprocessing?
3.39/3.46	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
3.39/3.46	c constraints/knapsack/disaggregation = FALSE
3.39/3.46	c 
3.39/3.46	c # should presolving try to simplify knapsacks
3.39/3.46	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.39/3.46	c constraints/knapsack/simplifyinequalities = TRUE
3.39/3.46	c 
3.39/3.46	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
3.39/3.46	c # [type: int, range: [-1,2147483647], default: -1]
3.39/3.46	c presolving/probing/maxrounds = 0
3.39/3.46	c 
3.39/3.46	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
3.39/3.46	c # [type: int, range: [-1,2147483647], default: 10]
3.39/3.46	c heuristics/coefdiving/freq = -1
3.39/3.46	c 
3.39/3.46	c # maximal fraction of diving LP iterations compared to node LP iterations
3.39/3.46	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.39/3.46	c heuristics/coefdiving/maxlpiterquot = 0.075
3.39/3.46	c 
3.39/3.46	c # additional number of allowed LP iterations
3.39/3.46	c # [type: int, range: [0,2147483647], default: 1000]
3.39/3.46	c heuristics/coefdiving/maxlpiterofs = 1500
3.39/3.46	c 
3.39/3.46	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
3.39/3.46	c # [type: int, range: [-1,2147483647], default: 30]
3.39/3.46	c heuristics/crossover/freq = -1
3.39/3.46	c 
3.39/3.46	c # number of nodes added to the contingent of the total nodes
3.39/3.46	c # [type: longint, range: [0,9223372036854775807], default: 500]
3.39/3.46	c heuristics/crossover/nodesofs = 750
3.39/3.46	c 
3.39/3.46	c # number of nodes without incumbent change that heuristic should wait
3.39/3.46	c # [type: longint, range: [0,9223372036854775807], default: 200]
3.39/3.46	c heuristics/crossover/nwaitingnodes = 100
3.39/3.46	c 
3.39/3.46	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
3.39/3.46	c # [type: real, range: [0,1], default: 0.1]
3.39/3.46	c heuristics/crossover/nodesquot = 0.15
3.39/3.46	c 
3.39/3.46	c # minimum percentage of integer variables that have to be fixed 
3.39/3.46	c # [type: real, range: [0,1], default: 0.666]
3.39/3.46	c heuristics/crossover/minfixingrate = 0.5
3.39/3.46	c 
3.39/3.46	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
3.39/3.46	c # [type: int, range: [-1,2147483647], default: 20]
3.39/3.46	c heuristics/feaspump/freq = -1
3.39/3.46	c 
3.39/3.46	c # additional number of allowed LP iterations
3.39/3.46	c # [type: int, range: [0,2147483647], default: 1000]
3.39/3.46	c heuristics/feaspump/maxlpiterofs = 2000
3.39/3.46	c 
3.39/3.46	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
3.39/3.46	c # [type: int, range: [-1,2147483647], default: 10]
3.39/3.46	c heuristics/fracdiving/freq = -1
3.39/3.46	c 
3.39/3.46	c # maximal fraction of diving LP iterations compared to node LP iterations
3.39/3.46	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.39/3.46	c heuristics/fracdiving/maxlpiterquot = 0.075
3.39/3.46	c 
3.39/3.46	c # additional number of allowed LP iterations
3.39/3.46	c # [type: int, range: [0,2147483647], default: 1000]
3.39/3.46	c heuristics/fracdiving/maxlpiterofs = 1500
3.39/3.46	c 
3.39/3.46	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
3.39/3.46	c # [type: int, range: [-1,2147483647], default: 10]
3.39/3.46	c heuristics/guideddiving/freq = -1
3.39/3.46	c 
3.39/3.46	c # maximal fraction of diving LP iterations compared to node LP iterations
3.39/3.46	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.39/3.46	c heuristics/guideddiving/maxlpiterquot = 0.075
3.39/3.46	c 
3.39/3.46	c # additional number of allowed LP iterations
3.39/3.46	c # [type: int, range: [0,2147483647], default: 1000]
3.39/3.46	c heuristics/guideddiving/maxlpiterofs = 1500
3.39/3.46	c 
3.39/3.46	c # maximal fraction of diving LP iterations compared to node LP iterations
3.39/3.46	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.39/3.46	c heuristics/intdiving/maxlpiterquot = 0.075
3.39/3.46	c 
3.39/3.46	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
3.39/3.46	c # [type: int, range: [-1,2147483647], default: 10]
3.39/3.46	c heuristics/intshifting/freq = -1
3.39/3.46	c 
3.39/3.46	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
3.39/3.46	c # [type: int, range: [-1,2147483647], default: 10]
3.39/3.46	c heuristics/linesearchdiving/freq = -1
3.39/3.46	c 
3.39/3.46	c # maximal fraction of diving LP iterations compared to node LP iterations
3.39/3.46	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.39/3.46	c heuristics/linesearchdiving/maxlpiterquot = 0.075
3.39/3.46	c 
3.39/3.46	c # additional number of allowed LP iterations
3.39/3.47	c # [type: int, range: [0,2147483647], default: 1000]
3.39/3.47	c heuristics/linesearchdiving/maxlpiterofs = 1500
3.39/3.47	c 
3.39/3.47	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
3.39/3.47	c # [type: int, range: [-1,2147483647], default: 1]
3.39/3.47	c heuristics/nlp/freq = -1
3.39/3.47	c 
3.39/3.47	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
3.39/3.47	c # [type: int, range: [-1,2147483647], default: 20]
3.39/3.47	c heuristics/objpscostdiving/freq = -1
3.39/3.47	c 
3.39/3.47	c # maximal fraction of diving LP iterations compared to total iteration number
3.39/3.47	c # [type: real, range: [0,1], default: 0.01]
3.39/3.47	c heuristics/objpscostdiving/maxlpiterquot = 0.015
3.39/3.47	c 
3.39/3.47	c # additional number of allowed LP iterations
3.39/3.47	c # [type: int, range: [0,2147483647], default: 1000]
3.39/3.47	c heuristics/objpscostdiving/maxlpiterofs = 1500
3.39/3.47	c 
3.39/3.47	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
3.39/3.47	c # [type: int, range: [-1,2147483647], default: 1]
3.39/3.47	c heuristics/oneopt/freq = -1
3.39/3.47	c 
3.39/3.47	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
3.39/3.47	c # [type: int, range: [-1,2147483647], default: 10]
3.39/3.47	c heuristics/pscostdiving/freq = -1
3.39/3.47	c 
3.39/3.47	c # maximal fraction of diving LP iterations compared to node LP iterations
3.39/3.47	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.39/3.47	c heuristics/pscostdiving/maxlpiterquot = 0.075
3.39/3.47	c 
3.39/3.47	c # additional number of allowed LP iterations
3.39/3.47	c # [type: int, range: [0,2147483647], default: 1000]
3.39/3.47	c heuristics/pscostdiving/maxlpiterofs = 1500
3.39/3.47	c 
3.39/3.47	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
3.39/3.47	c # [type: int, range: [-1,2147483647], default: 0]
3.39/3.47	c heuristics/rens/freq = -1
3.39/3.47	c 
3.39/3.47	c # minimum percentage of integer variables that have to be fixable 
3.39/3.47	c # [type: real, range: [0,1], default: 0.5]
3.39/3.47	c heuristics/rens/minfixingrate = 0.3
3.39/3.47	c 
3.39/3.47	c # number of nodes added to the contingent of the total nodes
3.39/3.47	c # [type: longint, range: [0,9223372036854775807], default: 500]
3.39/3.47	c heuristics/rens/nodesofs = 2000
3.39/3.47	c 
3.39/3.47	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
3.39/3.47	c # [type: int, range: [-1,2147483647], default: 20]
3.39/3.47	c heuristics/rootsoldiving/freq = -1
3.39/3.47	c 
3.39/3.47	c # maximal fraction of diving LP iterations compared to node LP iterations
3.39/3.47	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
3.39/3.47	c heuristics/rootsoldiving/maxlpiterquot = 0.015
3.39/3.47	c 
3.39/3.47	c # additional number of allowed LP iterations
3.39/3.47	c # [type: int, range: [0,2147483647], default: 1000]
3.39/3.47	c heuristics/rootsoldiving/maxlpiterofs = 1500
3.39/3.47	c 
3.39/3.47	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
3.39/3.47	c # [type: int, range: [-1,2147483647], default: 1]
3.39/3.47	c heuristics/rounding/freq = -1
3.39/3.47	c 
3.39/3.47	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
3.39/3.47	c # [type: int, range: [-1,2147483647], default: 10]
3.39/3.47	c heuristics/shifting/freq = -1
3.39/3.47	c 
3.39/3.47	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
3.39/3.47	c # [type: int, range: [-1,2147483647], default: 1]
3.39/3.47	c heuristics/simplerounding/freq = -1
3.39/3.47	c 
3.39/3.47	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
3.39/3.47	c # [type: int, range: [-1,2147483647], default: 0]
3.39/3.47	c heuristics/trivial/freq = -1
3.39/3.47	c 
3.39/3.47	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
3.39/3.47	c # [type: int, range: [-1,2147483647], default: 1]
3.39/3.47	c heuristics/trysol/freq = -1
3.39/3.47	c 
3.39/3.47	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
3.39/3.47	c # [type: int, range: [-1,2147483647], default: 10]
3.39/3.47	c heuristics/veclendiving/freq = -1
3.39/3.47	c 
3.39/3.47	c # maximal fraction of diving LP iterations compared to node LP iterations
3.39/3.47	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.39/3.47	c heuristics/veclendiving/maxlpiterquot = 0.075
3.39/3.47	c 
3.39/3.47	c # additional number of allowed LP iterations
3.39/3.47	c # [type: int, range: [0,2147483647], default: 1000]
3.39/3.47	c heuristics/veclendiving/maxlpiterofs = 1500
3.39/3.47	c 
3.39/3.47	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
3.39/3.47	c # [type: int, range: [-1,2147483647], default: 1]
3.39/3.47	c heuristics/zirounding/freq = -1
3.39/3.47	c 
3.39/3.47	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
3.39/3.47	c # [type: int, range: [-1,2147483647], default: 0]
3.39/3.47	c separating/cmir/freq = -1
3.39/3.47	c 
3.39/3.47	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
3.39/3.47	c # [type: int, range: [-1,2147483647], default: 0]
3.39/3.47	c separating/flowcover/freq = -1
3.39/3.47	c 
3.39/3.47	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.39/3.47	c # [type: int, range: [-1,2147483647], default: -1]
3.39/3.47	c separating/rapidlearning/freq = 0
3.39/3.47	c 
3.39/3.47	c -----------------------------------------------------------------------------------------------
3.39/3.47	c start solving
3.39/3.49	c 
4.30/4.37	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.30/4.37	c   2.8s|     1 |     0 |  1817 |     - | 140M|   0 |1368 |  19k|  57k|  19k|  57k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
10.08/10.12	c   8.2s|     1 |     0 |  3471 |     - | 141M|   0 |2204 |  19k|  57k|  19k|  57k| 107 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
32.68/32.73	c  30.6s|     1 |     0 |  9072 |     - | 141M|   0 |5163 |  19k|  57k|  19k|  58k| 221 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
110.05/110.15	c   108s|     1 |     0 | 17910 |     - | 141M|   0 |7217 |  19k|  57k|  19k|  58k| 364 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
296.39/296.50	c   293s|     1 |     0 | 32585 |     - | 141M|   0 |9154 |  19k|  57k|  19k|  58k| 520 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
440.54/440.79	c   437s|     1 |     0 | 46429 |     - | 142M|   0 |  11k|  19k|  57k|  19k|  58k| 662 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
871.90/872.27	c   866s|     1 |     2 | 46429 |     - | 142M|   0 |  11k|  19k|  57k|  19k|  58k| 662 |   0 |  33 | 0.000000e+00 |      --      |    Inf 
1800.10/1800.71	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-2665972-1276331971/watcher-2665972-1276331971 -o /tmp/evaluation-result-2665972-1276331971/solver-2665972-1276331971 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665972-1276331971.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.00 1.00 1.00 3/106 9935
/proc/meminfo: memFree=1755632/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=9288 CPUtime=0
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 1178 0 0 0 0 0 0 0 24 0 1 0 6849018 9510912 1098 1992294400 4194304 9819077 140737192003104 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9935/statm: 2322 1109 371 1374 0 943 0

[startup+0.0177611 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9935
/proc/meminfo: memFree=1755632/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=10836 CPUtime=0.01
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 1652 0 0 0 1 0 0 0 24 0 1 0 6849018 11096064 1572 1992294400 4194304 9819077 140737192003104 18446744073709551615 5650709 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9935/statm: 2709 1572 386 1374 0 1330 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10836

[startup+0.100775 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9935
/proc/meminfo: memFree=1755632/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=15828 CPUtime=0.09
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 2870 0 0 0 9 0 0 0 24 0 1 0 6849018 16207872 2790 1992294400 4194304 9819077 140737192003104 18446744073709551615 8610789 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9935/statm: 3957 2790 386 1374 0 2578 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15828

[startup+0.300812 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9935
/proc/meminfo: memFree=1755632/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=22408 CPUtime=0.29
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 4526 0 0 0 28 1 0 0 25 0 1 0 6849018 22945792 4446 1992294400 4194304 9819077 140737192003104 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9935/statm: 5602 4446 386 1374 0 4223 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22408

[startup+0.700884 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9935
/proc/meminfo: memFree=1755632/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=35476 CPUtime=0.69
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 7808 0 0 0 67 2 0 0 25 0 1 0 6849018 36327424 7728 1992294400 4194304 9819077 140737192003104 18446744073709551615 5650579 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9935/statm: 8869 7728 386 1374 0 7490 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35476

[startup+1.50103 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9936
/proc/meminfo: memFree=1715076/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=115440 CPUtime=1.49
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 27571 0 0 0 140 9 0 0 25 0 1 0 6849018 118210560 27074 1992294400 4194304 9819077 140737192003104 18446744073709551615 5968577 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9935/statm: 28860 27074 490 1374 0 27481 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 115440

[startup+3.10132 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9936
/proc/meminfo: memFree=1619720/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=172476 CPUtime=3.09
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 43914 0 0 0 271 38 0 0 25 0 1 0 6849018 176615424 40747 1992294400 4194304 9819077 140737192003104 18446744073709551615 6179008 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9935/statm: 43119 40761 500 1374 0 41740 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 172476

[startup+6.30091 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9936
/proc/meminfo: memFree=1526224/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=269276 CPUtime=6.29
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 73606 0 0 0 562 67 0 0 25 0 1 0 6849018 275738624 57718 1992294400 4194304 9819077 140737192003104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9935/statm: 67319 57718 656 1374 0 65940 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 269276

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9936
/proc/meminfo: memFree=1522256/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=275792 CPUtime=12.68
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 89611 0 0 0 1178 90 0 0 25 0 1 0 6849018 282411008 58704 1992294400 4194304 9819077 140737192003104 18446744073709551615 6555529 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9935/statm: 68948 58704 671 1374 0 67569 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 275792

[startup+25.5004 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9936
/proc/meminfo: memFree=1521512/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=278860 CPUtime=25.48
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 111469 0 0 0 2445 103 0 0 25 0 1 0 6849018 285552640 59045 1992294400 4194304 9819077 140737192003104 18446744073709551615 7290998 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9935/statm: 69715 59045 671 1374 0 68336 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 278860

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9936
/proc/meminfo: memFree=1521388/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=280880 CPUtime=51.07
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 124304 0 0 0 4994 113 0 0 25 0 1 0 6849018 287621120 58921 1992294400 4194304 9819077 140737192003104 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9935/statm: 70220 58921 671 1374 0 68841 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 280880

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9938
/proc/meminfo: memFree=1520520/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=284308 CPUtime=102.26
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 177693 0 0 0 10080 146 0 0 25 0 1 0 6849018 291131392 59197 1992294400 4194304 9819077 140737192003104 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9935/statm: 71077 59197 671 1374 0 69698 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 284308

[startup+162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9940
/proc/meminfo: memFree=1520396/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=284912 CPUtime=162.23
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 189710 0 0 0 16058 165 0 0 25 0 1 0 6849018 291749888 59166 1992294400 4194304 9819077 140737192003104 18446744073709551615 6055166 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9935/statm: 71228 59166 671 1374 0 69849 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 284912

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9942
/proc/meminfo: memFree=1518040/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=286432 CPUtime=222.21
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 226021 0 0 0 22030 191 0 0 25 0 1 0 6849018 293306368 59919 1992294400 4194304 9819077 140737192003104 18446744073709551615 7290944 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9935/statm: 71608 59919 671 1374 0 70229 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 286432

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9944
/proc/meminfo: memFree=1519900/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=287520 CPUtime=282.2
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 284369 0 0 0 27994 226 0 0 25 0 1 0 6849018 294420480 59512 1992294400 4194304 9819077 140737192003104 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9935/statm: 71880 59512 671 1374 0 70501 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 287520

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9944
/proc/meminfo: memFree=1514196/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=289092 CPUtime=342.17
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 329059 0 0 0 33962 255 0 0 25 0 1 0 6849018 296030208 60776 1992294400 4194304 9819077 140737192003104 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9935/statm: 72273 60776 671 1374 0 70894 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 289092

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9946
/proc/meminfo: memFree=1518908/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=289892 CPUtime=402.15
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 379511 0 0 0 39928 287 0 0 25 0 1 0 6849018 296849408 59835 1992294400 4194304 9819077 140737192003104 18446744073709551615 6190573 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9935/statm: 72473 59835 671 1374 0 71094 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 289892

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9948
/proc/meminfo: memFree=1511220/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=340648 CPUtime=462.13
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 434562 0 0 0 45896 317 0 0 25 0 1 0 6849018 348823552 61527 1992294400 4194304 9819077 140737192003104 18446744073709551615 7292313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9935/statm: 85162 61527 680 1374 0 83783 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 340648

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9950
/proc/meminfo: memFree=1511096/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=340648 CPUtime=522.11
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 480294 0 0 0 51870 341 0 0 25 0 1 0 6849018 348823552 61586 1992294400 4194304 9819077 140737192003104 18446744073709551615 6198314 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9935/statm: 85162 61586 680 1374 0 83783 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 340648

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9952
/proc/meminfo: memFree=1510724/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=340648 CPUtime=582.1
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 524318 0 0 0 57845 365 0 0 25 0 1 0 6849018 348823552 61611 1992294400 4194304 9819077 140737192003104 18446744073709551615 7291656 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9935/statm: 85162 61611 680 1374 0 83783 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 340648

[startup+642.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 9952
/proc/meminfo: memFree=1510104/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=340648 CPUtime=642.08
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 575331 0 0 0 63818 390 0 0 25 0 1 0 6849018 348823552 61733 1992294400 4194304 9819077 140737192003104 18446744073709551615 7304830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9935/statm: 85162 61733 680 1374 0 83783 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 340648

[startup+702.301 s]

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

/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 910279 0 0 0 105613 581 0 0 25 0 1 0 6849018 350740480 62031 1992294400 4194304 9819077 140737192003104 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9935/statm: 85630 62031 689 1374 0 84251 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 342520

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9966
/proc/meminfo: memFree=1508740/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=342520 CPUtime=1121.92
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 953912 0 0 0 111589 603 0 0 25 0 1 0 6849018 350740480 62039 1992294400 4194304 9819077 140737192003104 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9935/statm: 85630 62039 689 1374 0 84251 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 342520

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9968
/proc/meminfo: memFree=1508368/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=342520 CPUtime=1181.9
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 993486 0 0 0 117566 624 0 0 25 0 1 0 6849018 350740480 62177 1992294400 4194304 9819077 140737192003104 18446744073709551615 7291987 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9935/statm: 85630 62177 689 1374 0 84251 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 342520

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9968
/proc/meminfo: memFree=1508864/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=342520 CPUtime=1241.87
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 1037277 0 0 0 123540 647 0 0 25 0 1 0 6849018 350740480 61983 1992294400 4194304 9819077 140737192003104 18446744073709551615 6190584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9935/statm: 85630 61983 689 1374 0 84251 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 342520

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9979
/proc/meminfo: memFree=1507996/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=342520 CPUtime=1301.86
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 1076910 0 0 0 129517 669 0 0 25 0 1 0 6849018 350740480 62025 1992294400 4194304 9819077 140737192003104 18446744073709551615 6198342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9935/statm: 85630 62025 689 1374 0 84251 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 342520

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9981
/proc/meminfo: memFree=1508120/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=342520 CPUtime=1361.82
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 1120643 0 0 0 135490 692 0 0 25 0 1 0 6849018 350740480 62060 1992294400 4194304 9819077 140737192003104 18446744073709551615 7291729 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9935/statm: 85630 62060 689 1374 0 84251 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 342520

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9983
/proc/meminfo: memFree=1508368/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=342520 CPUtime=1421.81
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 1160142 0 0 0 141465 716 0 0 25 0 1 0 6849018 350740480 61945 1992294400 4194304 9819077 140737192003104 18446744073709551615 7291114 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9935/statm: 85630 61945 689 1374 0 84251 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 342520

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9985
/proc/meminfo: memFree=1516676/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=294432 CPUtime=1481.78
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 1202067 0 0 0 147443 735 0 0 25 0 1 0 6849018 301498368 59857 1992294400 4194304 9819077 140737192003104 18446744073709551615 7302709 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9935/statm: 73608 59857 693 1374 0 72229 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 294432

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9985
/proc/meminfo: memFree=1506880/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=345624 CPUtime=1541.76
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 1242846 0 0 0 153419 757 0 0 25 0 1 0 6849018 353918976 62388 1992294400 4194304 9819077 140737192003104 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9935/statm: 86406 62388 703 1374 0 85027 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 345624

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9987
/proc/meminfo: memFree=1506012/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=345624 CPUtime=1601.75
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 1287463 0 0 0 159393 782 0 0 25 0 1 0 6849018 353918976 62668 1992294400 4194304 9819077 140737192003104 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9935/statm: 86406 62668 703 1374 0 85027 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 345624

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 9989
/proc/meminfo: memFree=1507376/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=345624 CPUtime=1661.73
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 1328002 0 0 0 165369 804 0 0 25 0 1 0 6849018 353918976 62261 1992294400 4194304 9819077 140737192003104 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9935/statm: 86406 62261 703 1374 0 85027 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 345624

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9991
/proc/meminfo: memFree=1506260/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=345624 CPUtime=1721.71
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 1366627 0 0 0 171344 827 0 0 25 0 1 0 6849018 353918976 62609 1992294400 4194304 9819077 140737192003104 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9935/statm: 86406 62609 703 1374 0 85027 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 345624

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9993
/proc/meminfo: memFree=1510972/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=345624 CPUtime=1781.68
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 1411346 0 0 0 177319 849 0 0 25 0 1 0 6849018 353918976 62212 1992294400 4194304 9819077 140737192003104 18446744073709551615 7292354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9935/statm: 86406 62212 703 1374 0 85027 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 345624



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9993
/proc/meminfo: memFree=1505640/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=345624 CPUtime=1800.1
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 1421306 0 0 0 179154 856 0 0 25 0 1 0 6849018 353918976 62659 1992294400 4194304 9819077 140737192003104 18446744073709551615 7312750 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9935/statm: 86406 62659 703 1374 0 85027 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 345624

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -9935

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 9993
/proc/meminfo: memFree=1505640/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=345624 CPUtime=1800.78
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 1421398 0 0 0 179222 856 0 0 25 0 1 0 6849018 353918976 62751 1992294400 4194304 9819077 140737192003104 18446744073709551615 6198333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9935/statm: 86406 62751 703 1374 0 85027 0
Current children cumulated CPU time (s) 1800.78
Current children cumulated vsize (KiB) 345624

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9994
/proc/meminfo: memFree=1505136/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=345624 CPUtime=1801.58
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 1421492 0 0 0 179302 856 0 0 25 0 1 0 6849018 353918976 62845 1992294400 4194304 9819077 140737192003104 18446744073709551615 6192366 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9935/statm: 86406 62845 703 1374 0 85027 0
Current children cumulated CPU time (s) 1801.58
Current children cumulated vsize (KiB) 345624

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9994
/proc/meminfo: memFree=1505136/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=345624 CPUtime=1801.98
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 1421534 0 0 0 179342 856 0 0 25 0 1 0 6849018 353918976 62887 1992294400 4194304 9819077 140737192003104 18446744073709551615 7291112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9935/statm: 86406 62887 703 1374 0 85027 0
Current children cumulated CPU time (s) 1801.98
Current children cumulated vsize (KiB) 345624

[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9994
/proc/meminfo: memFree=1505136/2059040 swapFree=4192956/4192956
[pid=9935] ppid=9933 vsize=345624 CPUtime=1802.08
/proc/9935/stat : 9935 (pbscip.linux.x8) R 9933 9935 8948 0 -1 4202496 1421547 0 0 0 179352 856 0 0 25 0 1 0 6849018 353918976 62900 1992294400 4194304 9819077 140737192003104 18446744073709551615 7292302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9935/statm: 86406 62900 703 1374 0 85027 0
Current children cumulated CPU time (s) 1802.08
Current children cumulated vsize (KiB) 345624

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.75
CPU time (s): 1802.13
CPU user time (s): 1793.54
CPU system time (s): 8.59169
CPU usage (%): 99.966
Max. virtual memory (cumulated for all children) (KiB): 346320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.54
system time used= 8.59169
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1421547
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= 3051

runsolver used 3.20951 second user time and 9.92649 second system time

The end

Launcher Data 

Begin job on node027 at 2010-06-12 10:39:32
IDJOB=2665972
IDBENCH=1450
IDSOLVER=1168
FILE ID=node027/2665972-1276331971
PBS_JOBID= 11173168
Free space on /tmp= 62444 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-ooo.tag12.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-2665972-1276331971/watcher-2665972-1276331971 -o /tmp/evaluation-result-2665972-1276331971/solver-2665972-1276331971 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665972-1276331971.opb -t 1800 -m 1800

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

MD5SUM BENCH= 6d44efaff34237725f88a3d0685c8f91
RANDOM SEED=181044613

node027.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		: 2800.261
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	: 5600.52
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		: 2800.261
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:       1756036 kB
Buffers:         31680 kB
Cached:         141628 kB
SwapCached:          0 kB
Active:         154304 kB
Inactive:        78412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1756036 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            7916 kB
Writeback:         108 kB
AnonPages:       59360 kB
Mapped:          15448 kB
Slab:            48292 kB
PageTables:       4084 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180828 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264952 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62440 MiB
End job on node027 at 2010-06-12 11:09:35