Trace number 2666006

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.06 1802.52

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb
MD5SUMa985b0d4e6d576e8ad3098d78036fdc8
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 benchmark0.757884
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables6832
Total number of constraints19477
Number of constraints which are clauses18953
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints524
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 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
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-2666006-1276341140.opb>
0.29/0.35	c original problem has 6832 variables (6832 bin, 0 int, 0 impl, 0 cont) and 19477 constraints
0.29/0.35	c problem read
0.29/0.35	c No objective function, only one solution is needed.
0.29/0.35	c presolving settings loaded
0.39/0.46	c presolving:
0.79/0.86	c (round 1) 690 del vars, 622 del conss, 228 chg bounds, 262 chg sides, 628 chg coeffs, 0 upgd conss, 375793 impls, 0 clqs
0.89/0.90	c (round 2) 708 del vars, 1724 del conss, 241 chg bounds, 262 chg sides, 628 chg coeffs, 0 upgd conss, 375941 impls, 0 clqs
0.89/0.93	c (round 3) 725 del vars, 1757 del conss, 248 chg bounds, 262 chg sides, 628 chg coeffs, 0 upgd conss, 376155 impls, 0 clqs
0.89/0.95	c (round 4) 726 del vars, 1783 del conss, 248 chg bounds, 262 chg sides, 628 chg coeffs, 0 upgd conss, 376237 impls, 0 clqs
0.89/0.97	c (round 5) 726 del vars, 1785 del conss, 248 chg bounds, 262 chg sides, 628 chg coeffs, 0 upgd conss, 376237 impls, 0 clqs
1.10/1.17	c (round 6) 726 del vars, 1799 del conss, 248 chg bounds, 262 chg sides, 628 chg coeffs, 17678 upgd conss, 376237 impls, 0 clqs
1.19/1.23	c presolving (7 rounds):
1.19/1.23	c  726 deleted vars, 1799 deleted constraints, 248 tightened bounds, 0 added holes, 262 changed sides, 628 changed coefficients
1.19/1.23	c  376237 implications, 0 cliques
1.19/1.23	c presolved problem has 6106 variables (6106 bin, 0 int, 0 impl, 0 cont) and 17678 constraints
1.19/1.23	c     524 constraints of type <knapsack>
1.19/1.23	c   17154 constraints of type <logicor>
1.19/1.23	c transformed objective value is always integral (scale: 1)
1.19/1.23	c Presolving Time: 0.71
1.19/1.23	c - non default parameters ----------------------------------------------------------------------
1.19/1.23	c # SCIP version 1.2.1.2
1.19/1.23	c 
1.19/1.23	c # frequency for displaying node information lines
1.19/1.23	c # [type: int, range: [-1,2147483647], default: 100]
1.19/1.23	c display/freq = 10000
1.19/1.23	c 
1.19/1.23	c # maximal time in seconds to run
1.19/1.23	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.23	c limits/time = 1799.65
1.19/1.23	c 
1.19/1.23	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.19/1.23	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.23	c limits/memory = 1620
1.19/1.23	c 
1.19/1.23	c # solving stops, if the given number of solutions were found (-1: no limit)
1.19/1.23	c # [type: int, range: [-1,2147483647], default: -1]
1.19/1.23	c limits/solutions = 1
1.19/1.23	c 
1.19/1.23	c # maximal number of separation rounds per node (-1: unlimited)
1.19/1.23	c # [type: int, range: [-1,2147483647], default: 5]
1.19/1.23	c separating/maxrounds = 1
1.19/1.23	c 
1.19/1.23	c # maximal number of separation rounds in the root node (-1: unlimited)
1.19/1.23	c # [type: int, range: [-1,2147483647], default: -1]
1.19/1.23	c separating/maxroundsroot = 5
1.19/1.23	c 
1.19/1.23	c # should presolving try to simplify inequalities
1.19/1.23	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.23	c constraints/linear/simplifyinequalities = TRUE
1.19/1.23	c 
1.19/1.23	c # should disaggregation of knapsack constraints be allowed in preprocessing?
1.19/1.23	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
1.19/1.23	c constraints/knapsack/disaggregation = FALSE
1.19/1.23	c 
1.19/1.23	c # should presolving try to simplify knapsacks
1.19/1.23	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.23	c constraints/knapsack/simplifyinequalities = TRUE
1.19/1.23	c 
1.19/1.23	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
1.19/1.23	c # [type: int, range: [-1,2147483647], default: -1]
1.19/1.23	c presolving/probing/maxrounds = 0
1.19/1.23	c 
1.19/1.23	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
1.19/1.23	c # [type: int, range: [-1,2147483647], default: 10]
1.19/1.23	c heuristics/coefdiving/freq = -1
1.19/1.23	c 
1.19/1.23	c # maximal fraction of diving LP iterations compared to node LP iterations
1.19/1.23	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.19/1.23	c heuristics/coefdiving/maxlpiterquot = 0.075
1.19/1.23	c 
1.19/1.23	c # additional number of allowed LP iterations
1.19/1.23	c # [type: int, range: [0,2147483647], default: 1000]
1.19/1.23	c heuristics/coefdiving/maxlpiterofs = 1500
1.19/1.23	c 
1.19/1.23	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
1.19/1.23	c # [type: int, range: [-1,2147483647], default: 30]
1.19/1.23	c heuristics/crossover/freq = -1
1.19/1.23	c 
1.19/1.23	c # number of nodes added to the contingent of the total nodes
1.19/1.23	c # [type: longint, range: [0,9223372036854775807], default: 500]
1.19/1.23	c heuristics/crossover/nodesofs = 750
1.19/1.23	c 
1.19/1.23	c # number of nodes without incumbent change that heuristic should wait
1.19/1.23	c # [type: longint, range: [0,9223372036854775807], default: 200]
1.19/1.23	c heuristics/crossover/nwaitingnodes = 100
1.19/1.23	c 
1.19/1.23	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
1.19/1.23	c # [type: real, range: [0,1], default: 0.1]
1.19/1.23	c heuristics/crossover/nodesquot = 0.15
1.19/1.23	c 
1.19/1.23	c # minimum percentage of integer variables that have to be fixed 
1.19/1.23	c # [type: real, range: [0,1], default: 0.666]
1.19/1.23	c heuristics/crossover/minfixingrate = 0.5
1.19/1.23	c 
1.19/1.23	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
1.19/1.23	c # [type: int, range: [-1,2147483647], default: 20]
1.19/1.23	c heuristics/feaspump/freq = -1
1.19/1.23	c 
1.19/1.23	c # additional number of allowed LP iterations
1.19/1.23	c # [type: int, range: [0,2147483647], default: 1000]
1.19/1.23	c heuristics/feaspump/maxlpiterofs = 2000
1.19/1.23	c 
1.19/1.23	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
1.19/1.23	c # [type: int, range: [-1,2147483647], default: 10]
1.19/1.23	c heuristics/fracdiving/freq = -1
1.19/1.23	c 
1.19/1.23	c # maximal fraction of diving LP iterations compared to node LP iterations
1.19/1.23	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.19/1.23	c heuristics/fracdiving/maxlpiterquot = 0.075
1.19/1.23	c 
1.19/1.23	c # additional number of allowed LP iterations
1.19/1.23	c # [type: int, range: [0,2147483647], default: 1000]
1.19/1.23	c heuristics/fracdiving/maxlpiterofs = 1500
1.19/1.23	c 
1.19/1.23	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
1.19/1.23	c # [type: int, range: [-1,2147483647], default: 10]
1.19/1.23	c heuristics/guideddiving/freq = -1
1.19/1.23	c 
1.19/1.23	c # maximal fraction of diving LP iterations compared to node LP iterations
1.19/1.23	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.19/1.23	c heuristics/guideddiving/maxlpiterquot = 0.075
1.19/1.23	c 
1.19/1.23	c # additional number of allowed LP iterations
1.19/1.23	c # [type: int, range: [0,2147483647], default: 1000]
1.19/1.23	c heuristics/guideddiving/maxlpiterofs = 1500
1.19/1.23	c 
1.19/1.23	c # maximal fraction of diving LP iterations compared to node LP iterations
1.19/1.23	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.19/1.23	c heuristics/intdiving/maxlpiterquot = 0.075
1.19/1.23	c 
1.19/1.23	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
1.19/1.23	c # [type: int, range: [-1,2147483647], default: 10]
1.19/1.23	c heuristics/intshifting/freq = -1
1.19/1.23	c 
1.19/1.23	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
1.19/1.23	c # [type: int, range: [-1,2147483647], default: 10]
1.19/1.23	c heuristics/linesearchdiving/freq = -1
1.19/1.23	c 
1.19/1.23	c # maximal fraction of diving LP iterations compared to node LP iterations
1.19/1.23	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.19/1.23	c heuristics/linesearchdiving/maxlpiterquot = 0.075
1.19/1.23	c 
1.19/1.23	c # additional number of allowed LP iterations
1.19/1.23	c # [type: int, range: [0,2147483647], default: 1000]
1.19/1.23	c heuristics/linesearchdiving/maxlpiterofs = 1500
1.19/1.23	c 
1.19/1.23	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
1.19/1.23	c # [type: int, range: [-1,2147483647], default: 1]
1.19/1.23	c heuristics/nlp/freq = -1
1.19/1.23	c 
1.19/1.23	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
1.19/1.23	c # [type: int, range: [-1,2147483647], default: 20]
1.19/1.23	c heuristics/objpscostdiving/freq = -1
1.19/1.23	c 
1.19/1.23	c # maximal fraction of diving LP iterations compared to total iteration number
1.19/1.23	c # [type: real, range: [0,1], default: 0.01]
1.19/1.23	c heuristics/objpscostdiving/maxlpiterquot = 0.015
1.19/1.23	c 
1.19/1.23	c # additional number of allowed LP iterations
1.19/1.23	c # [type: int, range: [0,2147483647], default: 1000]
1.19/1.23	c heuristics/objpscostdiving/maxlpiterofs = 1500
1.19/1.23	c 
1.19/1.23	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
1.19/1.23	c # [type: int, range: [-1,2147483647], default: 1]
1.19/1.23	c heuristics/oneopt/freq = -1
1.19/1.23	c 
1.19/1.23	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
1.19/1.23	c # [type: int, range: [-1,2147483647], default: 10]
1.19/1.23	c heuristics/pscostdiving/freq = -1
1.19/1.23	c 
1.19/1.23	c # maximal fraction of diving LP iterations compared to node LP iterations
1.19/1.23	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.19/1.23	c heuristics/pscostdiving/maxlpiterquot = 0.075
1.19/1.23	c 
1.19/1.23	c # additional number of allowed LP iterations
1.19/1.23	c # [type: int, range: [0,2147483647], default: 1000]
1.19/1.23	c heuristics/pscostdiving/maxlpiterofs = 1500
1.19/1.23	c 
1.19/1.23	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
1.19/1.23	c # [type: int, range: [-1,2147483647], default: 0]
1.19/1.23	c heuristics/rens/freq = -1
1.19/1.23	c 
1.19/1.23	c # minimum percentage of integer variables that have to be fixable 
1.19/1.23	c # [type: real, range: [0,1], default: 0.5]
1.19/1.23	c heuristics/rens/minfixingrate = 0.3
1.19/1.23	c 
1.19/1.23	c # number of nodes added to the contingent of the total nodes
1.19/1.23	c # [type: longint, range: [0,9223372036854775807], default: 500]
1.19/1.23	c heuristics/rens/nodesofs = 2000
1.19/1.23	c 
1.19/1.23	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
1.19/1.23	c # [type: int, range: [-1,2147483647], default: 20]
1.19/1.23	c heuristics/rootsoldiving/freq = -1
1.19/1.23	c 
1.19/1.23	c # maximal fraction of diving LP iterations compared to node LP iterations
1.19/1.23	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
1.19/1.23	c heuristics/rootsoldiving/maxlpiterquot = 0.015
1.19/1.23	c 
1.19/1.23	c # additional number of allowed LP iterations
1.19/1.23	c # [type: int, range: [0,2147483647], default: 1000]
1.19/1.23	c heuristics/rootsoldiving/maxlpiterofs = 1500
1.19/1.23	c 
1.19/1.23	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
1.19/1.23	c # [type: int, range: [-1,2147483647], default: 1]
1.19/1.23	c heuristics/rounding/freq = -1
1.19/1.23	c 
1.19/1.23	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
1.19/1.23	c # [type: int, range: [-1,2147483647], default: 10]
1.19/1.23	c heuristics/shifting/freq = -1
1.19/1.23	c 
1.19/1.23	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
1.19/1.23	c # [type: int, range: [-1,2147483647], default: 1]
1.19/1.23	c heuristics/simplerounding/freq = -1
1.19/1.23	c 
1.19/1.23	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
1.19/1.23	c # [type: int, range: [-1,2147483647], default: 0]
1.19/1.23	c heuristics/trivial/freq = -1
1.19/1.23	c 
1.19/1.23	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
1.19/1.23	c # [type: int, range: [-1,2147483647], default: 1]
1.19/1.23	c heuristics/trysol/freq = -1
1.19/1.23	c 
1.19/1.23	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
1.19/1.23	c # [type: int, range: [-1,2147483647], default: 10]
1.19/1.23	c heuristics/veclendiving/freq = -1
1.19/1.23	c 
1.19/1.23	c # maximal fraction of diving LP iterations compared to node LP iterations
1.19/1.23	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.19/1.23	c heuristics/veclendiving/maxlpiterquot = 0.075
1.19/1.23	c 
1.19/1.23	c # additional number of allowed LP iterations
1.19/1.23	c # [type: int, range: [0,2147483647], default: 1000]
1.19/1.23	c heuristics/veclendiving/maxlpiterofs = 1500
1.19/1.23	c 
1.19/1.23	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
1.19/1.23	c # [type: int, range: [-1,2147483647], default: 1]
1.19/1.23	c heuristics/zirounding/freq = -1
1.19/1.23	c 
1.19/1.23	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
1.19/1.23	c # [type: int, range: [-1,2147483647], default: 0]
1.19/1.23	c separating/cmir/freq = -1
1.19/1.23	c 
1.19/1.23	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
1.19/1.23	c # [type: int, range: [-1,2147483647], default: 0]
1.19/1.23	c separating/flowcover/freq = -1
1.19/1.23	c 
1.19/1.23	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.19/1.23	c # [type: int, range: [-1,2147483647], default: -1]
1.19/1.23	c separating/rapidlearning/freq = 0
1.19/1.23	c 
1.19/1.23	c -----------------------------------------------------------------------------------------------
1.19/1.23	c start solving
1.19/1.23	c 
1.49/1.55	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.49/1.55	c   1.1s|     1 |     0 |  1433 |     - |  45M|   0 |1177 |6106 |  17k|6106 |  17k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.99/3.03	c   2.4s|     1 |     0 |  2400 |     - |  45M|   0 |1557 |6106 |  17k|6106 |  17k|  63 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
6.99/7.06	c   6.4s|     1 |     0 |  4796 |     - |  45M|   0 |2678 |6106 |  17k|6106 |  17k| 130 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
25.58/25.69	c  24.9s|     1 |     0 |  7867 |     - |  46M|   0 |3225 |6106 |  17k|6106 |  17k| 246 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
45.87/45.96	c  45.1s|     1 |     0 | 12298 |     - |  46M|   0 |3489 |6106 |  17k|6106 |  18k| 332 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
84.76/84.87	c  83.8s|     1 |     0 | 16068 |     - |  46M|   0 |3755 |6106 |  17k|6106 |  18k| 416 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
196.44/196.52	c   195s|     1 |     2 | 16068 |     - |  46M|   0 |3755 |6106 |  17k|6106 |  18k| 416 |   0 |  33 | 0.000000e+00 |      --      |    Inf 
1800.04/1800.50	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-2666006-1276341140/watcher-2666006-1276341140 -o /tmp/evaluation-result-2666006-1276341140/solver-2666006-1276341140 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2666006-1276341140.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.14 1.07 1.09 3/106 12243
/proc/meminfo: memFree=1853600/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=8260 CPUtime=0
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 1023 0 0 0 0 0 0 0 18 0 1 0 9715298 8458240 944 1992294400 4194304 9819077 140737063142896 18446744073709551615 5960099 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12243/statm: 2322 952 371 1374 0 943 0

[startup+0.0713821 s]
/proc/loadavg: 1.14 1.07 1.09 3/106 12243
/proc/meminfo: memFree=1853600/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=13552 CPUtime=0.07
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 2322 0 0 0 6 1 0 0 20 0 1 0 9715298 13877248 2242 1992294400 4194304 9819077 140737063142896 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12243/statm: 3388 2242 386 1374 0 2009 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13552

[startup+0.100384 s]
/proc/loadavg: 1.14 1.07 1.09 3/106 12243
/proc/meminfo: memFree=1853600/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=14816 CPUtime=0.09
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 2626 0 0 0 8 1 0 0 20 0 1 0 9715298 15171584 2546 1992294400 4194304 9819077 140737063142896 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12243/statm: 3704 2546 386 1374 0 2325 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14816

[startup+0.300403 s]
/proc/loadavg: 1.14 1.07 1.09 3/106 12243
/proc/meminfo: memFree=1853600/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=22176 CPUtime=0.29
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 4485 0 0 0 28 1 0 0 20 0 1 0 9715298 22708224 4405 1992294400 4194304 9819077 140737063142896 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12243/statm: 5544 4405 386 1374 0 4165 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22176

[startup+0.70044 s]
/proc/loadavg: 1.14 1.07 1.09 3/106 12243
/proc/meminfo: memFree=1853600/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=56112 CPUtime=0.69
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 13053 0 0 0 64 5 0 0 20 0 1 0 9715298 57458688 12603 1992294400 4194304 9819077 140737063142896 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 14028 12603 490 1374 0 12649 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56112

[startup+1.50052 s]
/proc/loadavg: 1.14 1.07 1.09 2/107 12244
/proc/meminfo: memFree=1799528/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=97268 CPUtime=1.49
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 25681 0 0 0 133 16 0 0 23 0 1 0 9715298 99602432 20856 1992294400 4194304 9819077 140737063142896 18446744073709551615 6192362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 24317 20856 636 1374 0 22938 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 97268

[startup+3.10067 s]
/proc/loadavg: 1.14 1.07 1.09 2/107 12244
/proc/meminfo: memFree=1772248/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=100052 CPUtime=3.09
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 29903 0 0 0 282 27 0 0 25 0 1 0 9715298 102453248 21412 1992294400 4194304 9819077 140737063142896 18446744073709551615 7311974 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 25013 21412 671 1374 0 23634 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 100052

[startup+6.30097 s]
/proc/loadavg: 1.13 1.06 1.09 2/107 12244
/proc/meminfo: memFree=1769768/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=101892 CPUtime=6.29
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 33987 0 0 0 599 30 0 0 25 0 1 0 9715298 104337408 21465 1992294400 4194304 9819077 140737063142896 18446744073709551615 7291095 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 25473 21465 671 1374 0 24094 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 101892

[startup+12.7016 s]
/proc/loadavg: 1.12 1.06 1.09 2/107 12244
/proc/meminfo: memFree=1769644/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=102076 CPUtime=12.69
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 34768 0 0 0 1236 33 0 0 25 0 1 0 9715298 104525824 21494 1992294400 4194304 9819077 140737063142896 18446744073709551615 7326294 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 25519 21494 671 1374 0 24140 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 102076

[startup+25.5008 s]
/proc/loadavg: 1.09 1.06 1.08 2/107 12244
/proc/meminfo: memFree=1769644/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=102868 CPUtime=25.48
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 42254 0 0 0 2508 40 0 0 25 0 1 0 9715298 105336832 21630 1992294400 4194304 9819077 140737063142896 18446744073709551615 6391606 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 25717 21630 671 1374 0 24338 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 102868

[startup+51.1012 s]
/proc/loadavg: 1.06 1.05 1.08 2/107 12244
/proc/meminfo: memFree=1769272/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=104180 CPUtime=51.07
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 55690 0 0 0 5052 55 0 0 25 0 1 0 9715298 106680320 21529 1992294400 4194304 9819077 140737063142896 18446744073709551615 7326294 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 26045 21529 671 1374 0 24666 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 104180

[startup+102.309 s]
/proc/loadavg: 1.02 1.04 1.08 3/108 12249
/proc/meminfo: memFree=1731436/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=121768 CPUtime=102.26
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 86797 0 0 0 10143 83 0 0 25 0 1 0 9715298 124690432 22182 1992294400 4194304 9819077 140737063142896 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 30442 22182 680 1374 0 29063 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 121768

[startup+162.302 s]
/proc/loadavg: 1.01 1.03 1.07 2/107 12251
/proc/meminfo: memFree=1766172/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=121768 CPUtime=162.25
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 146549 0 0 0 16099 126 0 0 25 0 1 0 9715298 124690432 22326 1992294400 4194304 9819077 140737063142896 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 30442 22326 680 1374 0 29063 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 121768

[startup+222.3 s]
/proc/loadavg: 1.00 1.02 1.07 2/107 12253
/proc/meminfo: memFree=1765552/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=121720 CPUtime=222.23
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 207010 0 0 0 22055 168 0 0 25 0 1 0 9715298 124641280 22410 1992294400 4194304 9819077 140737063142896 18446744073709551615 7290893 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 30430 22410 689 1374 0 29051 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 121720

[startup+282.3 s]
/proc/loadavg: 1.00 1.02 1.06 2/107 12253
/proc/meminfo: memFree=1765056/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=121788 CPUtime=282.21
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 266342 0 0 0 28011 210 0 0 25 0 1 0 9715298 124710912 22306 1992294400 4194304 9819077 140737063142896 18446744073709551615 6674405 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 30447 22306 689 1374 0 29068 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 121788

[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.05 2/107 12255
/proc/meminfo: memFree=1764064/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=122696 CPUtime=342.19
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 322547 0 0 0 33970 249 0 0 25 0 1 0 9715298 125640704 22469 1992294400 4194304 9819077 140737063142896 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 30674 22469 702 1374 0 29295 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 122696

[startup+402.3 s]
/proc/loadavg: 1.00 1.01 1.05 2/107 12257
/proc/meminfo: memFree=1764312/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=122696 CPUtime=402.18
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 377873 0 0 0 39931 287 0 0 25 0 1 0 9715298 125640704 22538 1992294400 4194304 9819077 140737063142896 18446744073709551615 6198297 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 30674 22538 702 1374 0 29295 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 122696

[startup+462.3 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 12259
/proc/meminfo: memFree=1765180/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=122696 CPUtime=462.17
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 433203 0 0 0 45892 325 0 0 25 0 1 0 9715298 125640704 22578 1992294400 4194304 9819077 140737063142896 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 30674 22578 702 1374 0 29295 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 122696

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 12261
/proc/meminfo: memFree=1764808/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=122836 CPUtime=522.15
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 492525 0 0 0 51849 366 0 0 25 0 1 0 9715298 125784064 22819 1992294400 4194304 9819077 140737063142896 18446744073709551615 6190584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 30709 22819 702 1374 0 29330 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 122836

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 12261
/proc/meminfo: memFree=1765056/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=122636 CPUtime=582.14
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 553823 0 0 0 57805 409 0 0 25 0 1 0 9715298 125579264 22664 1992294400 4194304 9819077 140737063142896 18446744073709551615 7291696 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 30659 22664 703 1374 0 29280 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 122636

[startup+642.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 12263
/proc/meminfo: memFree=1764312/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=122688 CPUtime=642.13
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 620264 0 0 0 63758 455 0 0 25 0 1 0 9715298 125632512 22729 1992294400 4194304 9819077 140737063142896 18446744073709551615 7292010 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 30672 22729 705 1374 0 29293 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 122688

[startup+702.301 s]

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

/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 1432102 0 0 0 105273 928 0 0 25 0 1 0 9715298 121290752 25146 1992294400 4194304 9819077 140737063142896 18446744073709551615 7306911 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 29612 25146 708 1374 0 28233 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 118448

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12277
/proc/meminfo: memFree=1754640/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=119080 CPUtime=1122
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 1534723 0 0 0 111204 996 0 0 25 0 1 0 9715298 121937920 25255 1992294400 4194304 9819077 140737063142896 18446744073709551615 7293500 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 29770 25255 708 1374 0 28391 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 119080

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12277
/proc/meminfo: memFree=1750300/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=137260 CPUtime=1181.99
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 1654155 0 0 0 117131 1068 0 0 25 0 1 0 9715298 140554240 26048 1992294400 4194304 9819077 140737063142896 18446744073709551615 7291987 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 34315 26048 708 1374 0 32936 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 137260

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12279
/proc/meminfo: memFree=1751044/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=122804 CPUtime=1241.97
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 1770757 0 0 0 123062 1135 0 0 25 0 1 0 9715298 125751296 26369 1992294400 4194304 9819077 140737063142896 18446744073709551615 6192320 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 30701 26369 708 1374 0 29322 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 122804

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12281
/proc/meminfo: memFree=1748440/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=123756 CPUtime=1301.96
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 1858167 0 0 0 129005 1191 0 0 25 0 1 0 9715298 126726144 26584 1992294400 4194304 9819077 140737063142896 18446744073709551615 6391455 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 30939 26584 708 1374 0 29560 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 123756

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12283
/proc/meminfo: memFree=1746208/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=141288 CPUtime=1361.94
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 1941275 0 0 0 134949 1245 0 0 25 0 1 0 9715298 144678912 26966 1992294400 4194304 9819077 140737063142896 18446744073709551615 6190584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 35322 26966 708 1374 0 33943 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 141288

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12285
/proc/meminfo: memFree=1745588/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=142140 CPUtime=1421.94
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 2060549 0 0 0 140880 1314 0 0 25 0 1 0 9715298 145551360 27306 1992294400 4194304 9819077 140737063142896 18446744073709551615 7296888 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 35535 27306 708 1374 0 34156 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 142140

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12285
/proc/meminfo: memFree=1745836/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=127536 CPUtime=1481.91
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 2209435 0 0 0 146801 1390 0 0 25 0 1 0 9715298 130596864 27632 1992294400 4194304 9819077 140737063142896 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 31884 27632 708 1374 0 30505 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 127536

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12287
/proc/meminfo: memFree=1743108/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=129876 CPUtime=1541.89
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 2337340 0 0 0 152726 1463 0 0 25 0 1 0 9715298 132993024 28055 1992294400 4194304 9819077 140737063142896 18446744073709551615 7312766 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 32469 28055 708 1374 0 31090 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 129876

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12289
/proc/meminfo: memFree=1742116/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=130608 CPUtime=1601.88
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 2443594 0 0 0 158662 1526 0 0 25 0 1 0 9715298 133742592 27924 1992294400 4194304 9819077 140737063142896 18446744073709551615 7290891 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 32652 27924 708 1374 0 31273 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 130608

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12291
/proc/meminfo: memFree=1742736/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=131716 CPUtime=1661.87
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 2513722 0 0 0 164613 1574 0 0 25 0 1 0 9715298 134877184 28295 1992294400 4194304 9819077 140737063142896 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 32929 28295 708 1374 0 31550 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 131716

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12293
/proc/meminfo: memFree=1740008/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=133500 CPUtime=1721.85
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 2596699 0 0 0 170562 1623 0 0 25 0 1 0 9715298 136704000 29117 1992294400 4194304 9819077 140737063142896 18446744073709551615 7290936 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 33375 29117 708 1374 0 31996 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 133500

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12293
/proc/meminfo: memFree=1738644/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=133884 CPUtime=1781.84
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 2679946 0 0 0 176505 1679 0 0 25 0 1 0 9715298 137097216 28719 1992294400 4194304 9819077 140737063142896 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 33471 28719 708 1374 0 32092 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 133884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12295
/proc/meminfo: memFree=1737652/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=135176 CPUtime=1800.04
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 2710471 0 0 0 178307 1697 0 0 25 0 1 0 9715298 138420224 29181 1992294400 4194304 9819077 140737063142896 18446744073709551615 7312766 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 33794 29181 708 1374 0 32415 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 135176

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -12243

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12296
/proc/meminfo: memFree=1737520/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=135320 CPUtime=1800.94
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 2711327 0 0 0 178396 1698 0 0 25 0 1 0 9715298 138567680 29253 1992294400 4194304 9819077 140737063142896 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 33830 29256 708 1374 0 32451 0
Current children cumulated CPU time (s) 1800.94
Current children cumulated vsize (KiB) 135320

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12296
/proc/meminfo: memFree=1738140/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=135316 CPUtime=1801.73
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 2712173 0 0 0 178475 1698 0 0 25 0 1 0 9715298 138563584 29265 1992294400 4194304 9819077 140737063142896 18446744073709551615 7326284 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 33829 29265 708 1374 0 32450 0
Current children cumulated CPU time (s) 1801.73
Current children cumulated vsize (KiB) 135316

[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12296
/proc/meminfo: memFree=1738140/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=135316 CPUtime=1801.93
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 2712247 0 0 0 178495 1698 0 0 25 0 1 0 9715298 138563584 29339 1992294400 4194304 9819077 140737063142896 18446744073709551615 7318413 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 33829 29339 708 1374 0 32450 0
Current children cumulated CPU time (s) 1801.93
Current children cumulated vsize (KiB) 135316

[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12296
/proc/meminfo: memFree=1738140/2059040 swapFree=4135792/4192956
[pid=12243] ppid=12241 vsize=135284 CPUtime=1802.03
/proc/12243/stat : 12243 (pbscip.linux.x8) R 12241 12243 11593 0 -1 4202496 2712749 0 0 0 178504 1699 0 0 25 0 1 0 9715298 138530816 29003 1992294400 4194304 9819077 140737063142896 18446744073709551615 7326365 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12243/statm: 33821 29003 708 1374 0 32442 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 135284

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.52
CPU time (s): 1802.06
CPU user time (s): 1785.06
CPU system time (s): 17.0054
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 150408

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

runsolver used 2.84457 second user time and 8.64368 second system time

The end

Launcher Data 

Begin job on node015 at 2010-06-12 13:12:20
IDJOB=2666006
IDBENCH=1492
IDSOLVER=1168
FILE ID=node015/2666006-1276341140
PBS_JOBID= 11173177
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-ooo.rf8.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-2666006-1276341140/watcher-2666006-1276341140 -o /tmp/evaluation-result-2666006-1276341140/solver-2666006-1276341140 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2666006-1276341140.opb -t 1800 -m 1800

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

MD5SUM BENCH= a985b0d4e6d576e8ad3098d78036fdc8
RANDOM SEED=1635978229

node015.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.244
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.48
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.244
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.36
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1854128 kB
Buffers:         21176 kB
Cached:         114956 kB
SwapCached:      13964 kB
Active:         109628 kB
Inactive:        43140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1854128 kB
SwapTotal:     4192956 kB
SwapFree:      4135792 kB
Dirty:            6732 kB
Writeback:           0 kB
AnonPages:       11348 kB
Mapped:           9184 kB
Slab:            30296 kB
PageTables:       4072 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181800 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 node015 at 2010-06-12 13:42:22