Trace number 2665418

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.15 1802.79

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
MD5SUM939f54a73a83900b8b6d857af47a0b62
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables62704
Total number of constraints187107
Number of constraints which are clauses186603
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints504
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-2665418-1276337663.opb>
3.29/3.32	c original problem has 62704 variables (62704 bin, 0 int, 0 impl, 0 cont) and 187107 constraints
3.29/3.32	c problem read
3.29/3.33	c No objective function, only one solution is needed.
3.29/3.33	c presolving settings loaded
4.19/4.26	c presolving:
9.28/9.33	c (round 1) 1178 del vars, 1155 del conss, 501 chg bounds, 252 chg sides, 876 chg coeffs, 0 upgd conss, 5489521 impls, 0 clqs
9.99/10.01	c (round 2) 1531 del vars, 3559 del conss, 737 chg bounds, 252 chg sides, 876 chg coeffs, 0 upgd conss, 5493683 impls, 0 clqs
10.19/10.24	c (round 3) 1531 del vars, 3869 del conss, 737 chg bounds, 252 chg sides, 876 chg coeffs, 0 upgd conss, 5494539 impls, 0 clqs
12.18/12.22	c (round 4) 1531 del vars, 3882 del conss, 737 chg bounds, 252 chg sides, 876 chg coeffs, 183225 upgd conss, 5494539 impls, 0 clqs
12.59/12.69	c presolving (5 rounds):
12.59/12.69	c  1531 deleted vars, 3882 deleted constraints, 737 tightened bounds, 0 added holes, 252 changed sides, 876 changed coefficients
12.59/12.69	c  5494539 implications, 0 cliques
12.59/12.69	c presolved problem has 61173 variables (61173 bin, 0 int, 0 impl, 0 cont) and 183225 constraints
12.59/12.69	c     504 constraints of type <knapsack>
12.59/12.69	c  182721 constraints of type <logicor>
12.59/12.69	c transformed objective value is always integral (scale: 1)
12.59/12.69	c Presolving Time: 7.76
12.59/12.69	c - non default parameters ----------------------------------------------------------------------
12.59/12.69	c # SCIP version 1.2.1.2
12.59/12.69	c 
12.59/12.69	c # frequency for displaying node information lines
12.59/12.69	c # [type: int, range: [-1,2147483647], default: 100]
12.59/12.69	c display/freq = 10000
12.59/12.69	c 
12.59/12.69	c # maximal time in seconds to run
12.59/12.69	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
12.59/12.69	c limits/time = 1796.68
12.59/12.69	c 
12.59/12.69	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
12.59/12.69	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
12.59/12.69	c limits/memory = 1620
12.59/12.69	c 
12.59/12.69	c # solving stops, if the given number of solutions were found (-1: no limit)
12.59/12.69	c # [type: int, range: [-1,2147483647], default: -1]
12.59/12.69	c limits/solutions = 1
12.59/12.69	c 
12.59/12.69	c # maximal number of separation rounds per node (-1: unlimited)
12.59/12.69	c # [type: int, range: [-1,2147483647], default: 5]
12.59/12.69	c separating/maxrounds = 1
12.59/12.69	c 
12.59/12.69	c # maximal number of separation rounds in the root node (-1: unlimited)
12.59/12.69	c # [type: int, range: [-1,2147483647], default: -1]
12.59/12.69	c separating/maxroundsroot = 5
12.59/12.69	c 
12.59/12.69	c # should presolving try to simplify inequalities
12.59/12.69	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
12.59/12.69	c constraints/linear/simplifyinequalities = TRUE
12.59/12.69	c 
12.59/12.69	c # should disaggregation of knapsack constraints be allowed in preprocessing?
12.59/12.69	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
12.59/12.69	c constraints/knapsack/disaggregation = FALSE
12.59/12.69	c 
12.59/12.69	c # should presolving try to simplify knapsacks
12.59/12.69	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
12.59/12.69	c constraints/knapsack/simplifyinequalities = TRUE
12.59/12.69	c 
12.59/12.69	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
12.59/12.69	c # [type: int, range: [-1,2147483647], default: -1]
12.59/12.69	c presolving/probing/maxrounds = 0
12.59/12.69	c 
12.59/12.69	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
12.59/12.69	c # [type: int, range: [-1,2147483647], default: 10]
12.59/12.69	c heuristics/coefdiving/freq = -1
12.59/12.69	c 
12.59/12.69	c # maximal fraction of diving LP iterations compared to node LP iterations
12.59/12.69	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
12.59/12.69	c heuristics/coefdiving/maxlpiterquot = 0.075
12.59/12.69	c 
12.59/12.69	c # additional number of allowed LP iterations
12.59/12.69	c # [type: int, range: [0,2147483647], default: 1000]
12.59/12.69	c heuristics/coefdiving/maxlpiterofs = 1500
12.59/12.69	c 
12.59/12.69	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
12.59/12.69	c # [type: int, range: [-1,2147483647], default: 30]
12.59/12.69	c heuristics/crossover/freq = -1
12.59/12.69	c 
12.59/12.69	c # number of nodes added to the contingent of the total nodes
12.59/12.69	c # [type: longint, range: [0,9223372036854775807], default: 500]
12.59/12.69	c heuristics/crossover/nodesofs = 750
12.59/12.69	c 
12.59/12.69	c # number of nodes without incumbent change that heuristic should wait
12.59/12.69	c # [type: longint, range: [0,9223372036854775807], default: 200]
12.59/12.69	c heuristics/crossover/nwaitingnodes = 100
12.59/12.69	c 
12.59/12.69	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
12.59/12.69	c # [type: real, range: [0,1], default: 0.1]
12.59/12.69	c heuristics/crossover/nodesquot = 0.15
12.59/12.69	c 
12.59/12.69	c # minimum percentage of integer variables that have to be fixed 
12.59/12.69	c # [type: real, range: [0,1], default: 0.666]
12.59/12.69	c heuristics/crossover/minfixingrate = 0.5
12.59/12.69	c 
12.59/12.69	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
12.59/12.69	c # [type: int, range: [-1,2147483647], default: 20]
12.59/12.69	c heuristics/feaspump/freq = -1
12.59/12.69	c 
12.59/12.69	c # additional number of allowed LP iterations
12.59/12.69	c # [type: int, range: [0,2147483647], default: 1000]
12.59/12.69	c heuristics/feaspump/maxlpiterofs = 2000
12.59/12.69	c 
12.59/12.69	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
12.59/12.69	c # [type: int, range: [-1,2147483647], default: 10]
12.59/12.69	c heuristics/fracdiving/freq = -1
12.59/12.69	c 
12.59/12.69	c # maximal fraction of diving LP iterations compared to node LP iterations
12.59/12.69	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
12.59/12.69	c heuristics/fracdiving/maxlpiterquot = 0.075
12.59/12.69	c 
12.59/12.69	c # additional number of allowed LP iterations
12.59/12.69	c # [type: int, range: [0,2147483647], default: 1000]
12.59/12.69	c heuristics/fracdiving/maxlpiterofs = 1500
12.59/12.69	c 
12.59/12.69	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
12.59/12.69	c # [type: int, range: [-1,2147483647], default: 10]
12.59/12.69	c heuristics/guideddiving/freq = -1
12.59/12.69	c 
12.59/12.69	c # maximal fraction of diving LP iterations compared to node LP iterations
12.59/12.69	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
12.59/12.69	c heuristics/guideddiving/maxlpiterquot = 0.075
12.59/12.69	c 
12.59/12.69	c # additional number of allowed LP iterations
12.59/12.69	c # [type: int, range: [0,2147483647], default: 1000]
12.59/12.69	c heuristics/guideddiving/maxlpiterofs = 1500
12.59/12.69	c 
12.59/12.69	c # maximal fraction of diving LP iterations compared to node LP iterations
12.59/12.69	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
12.59/12.69	c heuristics/intdiving/maxlpiterquot = 0.075
12.59/12.69	c 
12.59/12.69	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
12.59/12.69	c # [type: int, range: [-1,2147483647], default: 10]
12.59/12.69	c heuristics/intshifting/freq = -1
12.59/12.69	c 
12.59/12.69	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
12.59/12.69	c # [type: int, range: [-1,2147483647], default: 10]
12.59/12.69	c heuristics/linesearchdiving/freq = -1
12.59/12.69	c 
12.59/12.69	c # maximal fraction of diving LP iterations compared to node LP iterations
12.59/12.69	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
12.59/12.69	c heuristics/linesearchdiving/maxlpiterquot = 0.075
12.59/12.69	c 
12.59/12.69	c # additional number of allowed LP iterations
12.59/12.69	c # [type: int, range: [0,2147483647], default: 1000]
12.59/12.69	c heuristics/linesearchdiving/maxlpiterofs = 1500
12.59/12.69	c 
12.59/12.69	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
12.59/12.69	c # [type: int, range: [-1,2147483647], default: 1]
12.59/12.69	c heuristics/nlp/freq = -1
12.59/12.69	c 
12.59/12.69	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
12.59/12.69	c # [type: int, range: [-1,2147483647], default: 20]
12.59/12.69	c heuristics/objpscostdiving/freq = -1
12.59/12.69	c 
12.59/12.69	c # maximal fraction of diving LP iterations compared to total iteration number
12.59/12.69	c # [type: real, range: [0,1], default: 0.01]
12.59/12.69	c heuristics/objpscostdiving/maxlpiterquot = 0.015
12.59/12.69	c 
12.59/12.69	c # additional number of allowed LP iterations
12.59/12.69	c # [type: int, range: [0,2147483647], default: 1000]
12.59/12.69	c heuristics/objpscostdiving/maxlpiterofs = 1500
12.59/12.69	c 
12.59/12.69	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
12.59/12.69	c # [type: int, range: [-1,2147483647], default: 1]
12.59/12.69	c heuristics/oneopt/freq = -1
12.59/12.69	c 
12.59/12.69	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
12.59/12.69	c # [type: int, range: [-1,2147483647], default: 10]
12.59/12.69	c heuristics/pscostdiving/freq = -1
12.59/12.69	c 
12.59/12.69	c # maximal fraction of diving LP iterations compared to node LP iterations
12.59/12.69	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
12.59/12.69	c heuristics/pscostdiving/maxlpiterquot = 0.075
12.59/12.69	c 
12.59/12.69	c # additional number of allowed LP iterations
12.59/12.69	c # [type: int, range: [0,2147483647], default: 1000]
12.59/12.69	c heuristics/pscostdiving/maxlpiterofs = 1500
12.59/12.69	c 
12.59/12.69	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
12.59/12.69	c # [type: int, range: [-1,2147483647], default: 0]
12.59/12.69	c heuristics/rens/freq = -1
12.59/12.69	c 
12.59/12.69	c # minimum percentage of integer variables that have to be fixable 
12.59/12.69	c # [type: real, range: [0,1], default: 0.5]
12.59/12.69	c heuristics/rens/minfixingrate = 0.3
12.59/12.69	c 
12.59/12.69	c # number of nodes added to the contingent of the total nodes
12.59/12.69	c # [type: longint, range: [0,9223372036854775807], default: 500]
12.59/12.69	c heuristics/rens/nodesofs = 2000
12.59/12.69	c 
12.59/12.69	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
12.59/12.69	c # [type: int, range: [-1,2147483647], default: 20]
12.59/12.69	c heuristics/rootsoldiving/freq = -1
12.59/12.69	c 
12.59/12.69	c # maximal fraction of diving LP iterations compared to node LP iterations
12.59/12.69	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
12.59/12.69	c heuristics/rootsoldiving/maxlpiterquot = 0.015
12.59/12.69	c 
12.59/12.69	c # additional number of allowed LP iterations
12.59/12.69	c # [type: int, range: [0,2147483647], default: 1000]
12.59/12.69	c heuristics/rootsoldiving/maxlpiterofs = 1500
12.59/12.69	c 
12.59/12.69	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
12.59/12.69	c # [type: int, range: [-1,2147483647], default: 1]
12.59/12.69	c heuristics/rounding/freq = -1
12.59/12.69	c 
12.59/12.69	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
12.59/12.69	c # [type: int, range: [-1,2147483647], default: 10]
12.59/12.69	c heuristics/shifting/freq = -1
12.59/12.69	c 
12.59/12.69	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
12.59/12.69	c # [type: int, range: [-1,2147483647], default: 1]
12.59/12.69	c heuristics/simplerounding/freq = -1
12.59/12.69	c 
12.59/12.69	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
12.59/12.69	c # [type: int, range: [-1,2147483647], default: 0]
12.59/12.69	c heuristics/trivial/freq = -1
12.59/12.69	c 
12.59/12.69	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
12.59/12.69	c # [type: int, range: [-1,2147483647], default: 1]
12.59/12.69	c heuristics/trysol/freq = -1
12.59/12.69	c 
12.59/12.69	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
12.59/12.69	c # [type: int, range: [-1,2147483647], default: 10]
12.59/12.69	c heuristics/veclendiving/freq = -1
12.59/12.69	c 
12.59/12.69	c # maximal fraction of diving LP iterations compared to node LP iterations
12.59/12.69	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
12.59/12.69	c heuristics/veclendiving/maxlpiterquot = 0.075
12.59/12.69	c 
12.59/12.69	c # additional number of allowed LP iterations
12.59/12.69	c # [type: int, range: [0,2147483647], default: 1000]
12.59/12.69	c heuristics/veclendiving/maxlpiterofs = 1500
12.59/12.69	c 
12.59/12.69	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
12.59/12.69	c # [type: int, range: [-1,2147483647], default: 1]
12.59/12.69	c heuristics/zirounding/freq = -1
12.59/12.69	c 
12.59/12.69	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
12.59/12.69	c # [type: int, range: [-1,2147483647], default: 0]
12.59/12.69	c separating/cmir/freq = -1
12.59/12.69	c 
12.59/12.69	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
12.59/12.69	c # [type: int, range: [-1,2147483647], default: 0]
12.59/12.69	c separating/flowcover/freq = -1
12.59/12.69	c 
12.59/12.69	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
12.59/12.69	c # [type: int, range: [-1,2147483647], default: -1]
12.59/12.69	c separating/rapidlearning/freq = 0
12.59/12.69	c 
12.59/12.69	c -----------------------------------------------------------------------------------------------
12.59/12.69	c start solving
12.68/12.76	c 
17.18/17.24	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
17.18/17.24	c  12.5s|     1 |     0 |  1682 |     - | 497M|   0 |1416 |  61k| 183k|  61k| 183k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
147.63/147.71	c   141s|     1 |     0 |  8269 |     - | 497M|   0 |4831 |  61k| 183k|  61k| 183k|  36 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
378.05/378.26	c   370s|     1 |     0 | 21991 |     - | 498M|   0 |7970 |  61k| 183k|  61k| 183k|  86 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
571.58/571.86	c   563s|     1 |     0 | 34701 |     - | 498M|   0 |  11k|  61k| 183k|  61k| 183k| 156 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
909.27/909.63	c   900s|     1 |     0 | 53321 |     - | 499M|   0 |  15k|  61k| 183k|  61k| 183k| 233 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1544.95/1545.52	c  1533s|     1 |     0 | 81198 |     - | 499M|   0 |  19k|  61k| 183k|  61k| 183k| 294 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1800.06/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-2665418-1276337663/watcher-2665418-1276337663 -o /tmp/evaluation-result-2665418-1276337663/solver-2665418-1276337663 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665418-1276337663.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.06 1.01 1.00 3/106 14321
/proc/meminfo: memFree=1857360/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=9288 CPUtime=0
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 1075 0 0 0 0 0 0 0 21 0 1 0 9367909 9510912 995 1992294400 4194304 9819077 140736289072560 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14321/statm: 2322 1006 371 1374 0 943 0

[startup+0.0920591 s]
/proc/loadavg: 1.06 1.01 1.00 3/106 14321
/proc/meminfo: memFree=1857360/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=14208 CPUtime=0.08
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 2498 0 0 0 8 0 0 0 21 0 1 0 9367909 14548992 2418 1992294400 4194304 9819077 140736289072560 18446744073709551615 4361643 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14321/statm: 3552 2418 386 1374 0 2173 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14208

[startup+0.101061 s]
/proc/loadavg: 1.06 1.01 1.00 3/106 14321
/proc/meminfo: memFree=1857360/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=15856 CPUtime=0.09
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 2878 0 0 0 9 0 0 0 21 0 1 0 9367909 16236544 2798 1992294400 4194304 9819077 140736289072560 18446744073709551615 8678218 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14321/statm: 3964 2798 386 1374 0 2585 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15856

[startup+0.3011 s]
/proc/loadavg: 1.06 1.01 1.00 3/106 14321
/proc/meminfo: memFree=1857360/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=22436 CPUtime=0.29
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 4534 0 0 0 28 1 0 0 21 0 1 0 9367909 22974464 4454 1992294400 4194304 9819077 140736289072560 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14321/statm: 5609 4454 386 1374 0 4230 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22436

[startup+0.701178 s]
/proc/loadavg: 1.06 1.01 1.00 3/106 14321
/proc/meminfo: memFree=1857360/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=35512 CPUtime=0.69
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 7810 0 0 0 66 3 0 0 22 0 1 0 9367909 36364288 7730 1992294400 4194304 9819077 140736289072560 18446744073709551615 8678218 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14321/statm: 8878 7730 386 1374 0 7499 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35512

[startup+1.50133 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 14322
/proc/meminfo: memFree=1817672/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=60920 CPUtime=1.49
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 14154 0 0 0 144 5 0 0 25 0 1 0 9367909 62382080 14074 1992294400 4194304 9819077 140736289072560 18446744073709551615 5652129 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14321/statm: 15230 14074 386 1374 0 13851 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 60920

[startup+3.10065 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 14322
/proc/meminfo: memFree=1782828/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=113904 CPUtime=3.09
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 27340 0 0 0 298 11 0 0 25 0 1 0 9367909 116637696 27260 1992294400 4194304 9819077 140736289072560 18446744073709551615 8668923 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14321/statm: 28476 27260 386 1374 0 27097 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 113904

[startup+6.30127 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 14322
/proc/meminfo: memFree=1522180/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=392492 CPUtime=6.29
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 95292 0 0 0 584 45 0 0 25 0 1 0 9367909 401911808 94830 1992294400 4194304 9819077 140736289072560 18446744073709551615 5957869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14321/statm: 98123 94830 486 1374 0 96744 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 392492

[startup+12.7005 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 14322
/proc/meminfo: memFree=1303568/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=549408 CPUtime=12.68
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 165630 0 0 0 1137 131 0 0 25 0 1 0 9367909 562593792 131918 1992294400 4194304 9819077 140736289072560 18446744073709551615 4225310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14321/statm: 137352 131918 588 1374 0 135973 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 549408

[startup+25.501 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 14322
/proc/meminfo: memFree=1149684/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=819580 CPUtime=25.48
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 232662 0 0 0 2311 237 0 0 25 0 1 0 9367909 839249920 177000 1992294400 4194304 9819077 140736289072560 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14321/statm: 204895 177000 659 1374 0 203516 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 819580

[startup+51.101 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 14322
/proc/meminfo: memFree=1128108/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=841900 CPUtime=51.06
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 238165 0 0 0 4789 317 0 0 25 0 1 0 9367909 862105600 182368 1992294400 4194304 9819077 140736289072560 18446744073709551615 5786322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14321/statm: 210475 182368 668 1374 0 209096 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 841900

[startup+102.309 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 14324
/proc/meminfo: memFree=1139888/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=840456 CPUtime=102.25
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 266078 0 0 0 9895 330 0 0 25 0 1 0 9367909 860626944 181075 1992294400 4194304 9819077 140736289072560 18446744073709551615 6367313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14321/statm: 210114 181075 672 1374 0 208735 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 840456

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14326
/proc/meminfo: memFree=1130092/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=849440 CPUtime=162.21
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 318835 0 0 0 15860 361 0 0 25 0 1 0 9367909 869826560 181805 1992294400 4194304 9819077 140736289072560 18446744073709551615 6043589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14321/statm: 212360 181805 672 1374 0 210981 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 849440

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14328
/proc/meminfo: memFree=1128232/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=851836 CPUtime=222.19
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 339747 0 0 0 21843 376 0 0 25 0 1 0 9367909 872280064 182386 1992294400 4194304 9819077 140736289072560 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14321/statm: 212959 182386 672 1374 0 211580 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 851836

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 14328
/proc/meminfo: memFree=1124884/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=853860 CPUtime=282.18
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 378117 0 0 0 27819 399 0 0 25 0 1 0 9367909 874352640 183388 1992294400 4194304 9819077 140736289072560 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14321/statm: 213465 183388 672 1374 0 212086 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 853860

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14330
/proc/meminfo: memFree=1124512/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=856636 CPUtime=342.16
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 431899 0 0 0 33788 428 0 0 25 0 1 0 9367909 877195264 183384 1992294400 4194304 9819077 140736289072560 18446744073709551615 7300277 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14321/statm: 214159 183384 672 1374 0 212780 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 856636

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14332
/proc/meminfo: memFree=1116452/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=858944 CPUtime=402.14
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 497047 0 0 0 39754 460 0 0 25 0 1 0 9367909 879558656 185395 1992294400 4194304 9819077 140736289072560 18446744073709551615 6198288 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14321/statm: 214736 185395 672 1374 0 213357 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 858944

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14334
/proc/meminfo: memFree=1125256/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=860516 CPUtime=462.12
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 534563 0 0 0 45730 482 0 0 25 0 1 0 9367909 881168384 183165 1992294400 4194304 9819077 140736289072560 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14321/statm: 215129 183165 672 1374 0 213750 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 860516

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14336
/proc/meminfo: memFree=1113600/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=861920 CPUtime=522.09
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 582975 0 0 0 51701 508 0 0 25 0 1 0 9367909 882606080 182859 1992294400 4194304 9819077 140736289072560 18446744073709551615 6191191 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14321/statm: 215480 182859 672 1374 0 214101 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 861920

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14336
/proc/meminfo: memFree=1125628/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=863484 CPUtime=582.07
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 628845 0 0 0 57672 535 0 0 25 0 1 0 9367909 884207616 182896 1992294400 4194304 9819077 140736289072560 18446744073709551615 6043587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14321/statm: 215871 182896 672 1374 0 214492 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 863484

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14338
/proc/meminfo: memFree=1131084/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=832152 CPUtime=642.06
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 668105 0 0 0 63649 557 0 0 25 0 1 0 9367909 852123648 181966 1992294400 4194304 9819077 140736289072560 18446744073709551615 7259257 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14321/statm: 208038 181967 672 1374 0 206659 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 832152

[startup+702.301 s]

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

/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 935253 0 0 0 105492 698 0 0 25 0 1 0 9367909 890970112 186755 1992294400 4194304 9819077 140736289072560 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14321/statm: 217522 186755 672 1374 0 216143 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 870088

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14352
/proc/meminfo: memFree=1121908/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=870604 CPUtime=1121.89
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 965192 0 0 0 111476 713 0 0 25 0 1 0 9367909 891498496 183875 1992294400 4194304 9819077 140736289072560 18446744073709551615 6198342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14321/statm: 217651 183875 672 1374 0 216272 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 870604

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14352
/proc/meminfo: memFree=1109012/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=870932 CPUtime=1181.87
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 990246 0 0 0 117460 727 0 0 25 0 1 0 9367909 891834368 187121 1992294400 4194304 9819077 140736289072560 18446744073709551615 6192309 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14321/statm: 217733 187121 672 1374 0 216354 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 870932

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14354
/proc/meminfo: memFree=1110376/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=871472 CPUtime=1241.84
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 1022491 0 0 0 123440 744 0 0 25 0 1 0 9367909 892387328 186699 1992294400 4194304 9819077 140736289072560 18446744073709551615 7304779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14321/statm: 217868 186699 672 1374 0 216489 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 871472

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14356
/proc/meminfo: memFree=1110996/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=871756 CPUtime=1301.83
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 1054656 0 0 0 129422 761 0 0 25 0 1 0 9367909 892678144 186516 1992294400 4194304 9819077 140736289072560 18446744073709551615 6192272 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14321/statm: 217939 186516 672 1374 0 216560 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 871756

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14358
/proc/meminfo: memFree=1121536/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=872200 CPUtime=1361.8
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 1094078 0 0 0 135397 783 0 0 25 0 1 0 9367909 893132800 184012 1992294400 4194304 9819077 140736289072560 18446744073709551615 7290952 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14321/statm: 218050 184012 672 1374 0 216671 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 872200

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14360
/proc/meminfo: memFree=1115832/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=872520 CPUtime=1421.79
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 1127306 0 0 0 141375 804 0 0 25 0 1 0 9367909 893460480 185334 1992294400 4194304 9819077 140736289072560 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14321/statm: 218130 185334 672 1374 0 216751 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 872520

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14360
/proc/meminfo: memFree=1121164/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=873324 CPUtime=1481.76
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 1168229 0 0 0 147350 826 0 0 25 0 1 0 9367909 894283776 184131 1992294400 4194304 9819077 140736289072560 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14321/statm: 218331 184131 672 1374 0 216952 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 873324

[startup+1542.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 14362
/proc/meminfo: memFree=1110128/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=873712 CPUtime=1541.74
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 1203010 0 0 0 153328 846 0 0 25 0 1 0 9367909 894681088 186765 1992294400 4194304 9819077 140736289072560 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14321/statm: 218428 186765 672 1374 0 217049 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 873712

[startup+1602.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 14364
/proc/meminfo: memFree=1099464/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=1011596 CPUtime=1601.71
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 1277869 0 0 0 159293 878 0 0 25 0 1 0 9367909 1035874304 188755 1992294400 4194304 9819077 140736289072560 18446744073709551615 6199024 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14321/statm: 252899 188755 681 1374 0 251520 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 1011596

[startup+1662.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 14366
/proc/meminfo: memFree=1101572/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=1011596 CPUtime=1661.7
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 1328117 0 0 0 165270 900 0 0 25 0 1 0 9367909 1035874304 188840 1992294400 4194304 9819077 140736289072560 18446744073709551615 6192298 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14321/statm: 252899 188840 681 1374 0 251520 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 1011596

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14368
/proc/meminfo: memFree=1100952/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=1011596 CPUtime=1721.67
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 1378503 0 0 0 171246 921 0 0 25 0 1 0 9367909 1035874304 189031 1992294400 4194304 9819077 140736289072560 18446744073709551615 7291120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14321/statm: 252899 189031 681 1374 0 251520 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 1011596

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14368
/proc/meminfo: memFree=1100084/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=1011596 CPUtime=1781.65
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 1428976 0 0 0 177223 942 0 0 25 0 1 0 9367909 1035874304 189144 1992294400 4194304 9819077 140736289072560 18446744073709551615 6391486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14321/statm: 252899 189144 681 1374 0 251520 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 1011596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14370
/proc/meminfo: memFree=1101448/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=1011596 CPUtime=1800.06
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 1453770 0 0 0 179055 951 0 0 25 0 1 0 9367909 1035874304 188804 1992294400 4194304 9819077 140736289072560 18446744073709551615 6191175 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14321/statm: 252899 188804 681 1374 0 251520 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1011596

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -14321

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 14370
/proc/meminfo: memFree=1101448/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=1011596 CPUtime=1800.75
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 1453792 0 0 0 179123 952 0 0 25 0 1 0 9367909 1035874304 188826 1992294400 4194304 9819077 140736289072560 18446744073709551615 7304779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14321/statm: 252899 188826 681 1374 0 251520 0
Current children cumulated CPU time (s) 1800.75
Current children cumulated vsize (KiB) 1011596

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14371
/proc/meminfo: memFree=1101316/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=1011596 CPUtime=1801.55
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 1453820 0 0 0 179203 952 0 0 25 0 1 0 9367909 1035874304 188854 1992294400 4194304 9819077 140736289072560 18446744073709551615 6191145 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14321/statm: 252899 188854 681 1374 0 251520 0
Current children cumulated CPU time (s) 1801.55
Current children cumulated vsize (KiB) 1011596

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14371
/proc/meminfo: memFree=1101316/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=1011596 CPUtime=1801.95
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 1453832 0 0 0 179243 952 0 0 25 0 1 0 9367909 1035874304 188866 1992294400 4194304 9819077 140736289072560 18446744073709551615 6697332 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14321/statm: 252899 188866 681 1374 0 251520 0
Current children cumulated CPU time (s) 1801.95
Current children cumulated vsize (KiB) 1011596

[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 14371
/proc/meminfo: memFree=1101316/2059040 swapFree=4136160/4192956
[pid=14321] ppid=14319 vsize=1011596 CPUtime=1802.05
/proc/14321/stat : 14321 (pbscip.linux.x8) R 14319 14321 14000 0 -1 4202496 1453835 0 0 0 179253 952 0 0 25 0 1 0 9367909 1035874304 188869 1992294400 4194304 9819077 140736289072560 18446744073709551615 6198284 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14321/statm: 252899 188869 681 1374 0 251520 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 1011596

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.79
CPU time (s): 1802.15
CPU user time (s): 1792.55
CPU system time (s): 9.59354
CPU usage (%): 99.9643
Max. virtual memory (cumulated for all children) (KiB): 1013776

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

runsolver used 3.04754 second user time and 8.45671 second system time

The end

Launcher Data 

Begin job on node011 at 2010-06-12 12:14:23
IDJOB=2665418
IDBENCH=1479
IDSOLVER=1168
FILE ID=node011/2665418-1276337663
PBS_JOBID= 11173172
Free space on /tmp= 62256 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache.inv14.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-2665418-1276337663/watcher-2665418-1276337663 -o /tmp/evaluation-result-2665418-1276337663/solver-2665418-1276337663 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665418-1276337663.opb -t 1800 -m 1800

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

MD5SUM BENCH= 939f54a73a83900b8b6d857af47a0b62
RANDOM SEED=774237484

node011.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.264
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.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		: 3000.264
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:       1857888 kB
Buffers:         21276 kB
Cached:         118816 kB
SwapCached:      11008 kB
Active:         106920 kB
Inactive:        46616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1857888 kB
SwapTotal:     4192956 kB
SwapFree:      4136160 kB
Dirty:           13016 kB
Writeback:          56 kB
AnonPages:       10752 kB
Mapped:           9156 kB
Slab:            25920 kB
PageTables:       4044 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182036 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= 62252 MiB
End job on node011 at 2010-06-12 12:44:26