Trace number 2667423

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1802.14 1802.8

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb
MD5SUMef8e8b075ca1490a3beab796ebfb3e9f
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.89971
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables76091
Total number of constraints218262
Number of constraints which are clauses207610
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10652
Minimum length of a constraint2
Maximum length of a constraint15
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 131
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 513
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2667423-1276335859.opb>
4.19/4.28	c original problem has 76091 variables (76091 bin, 0 int, 0 impl, 0 cont) and 218262 constraints
4.19/4.28	c problem read
4.19/4.28	c No objective function, only one solution is needed.
4.19/4.29	c presolving settings loaded
5.40/5.50	c presolving:
9.99/10.08	c (round 1) 5248 del vars, 7994 del conss, 2494 chg bounds, 5326 chg sides, 11276 chg coeffs, 0 upgd conss, 4255519 impls, 0 clqs
10.39/10.47	c (round 2) 5346 del vars, 13989 del conss, 2509 chg bounds, 5326 chg sides, 11276 chg coeffs, 0 upgd conss, 4255717 impls, 0 clqs
10.69/10.71	c (round 3) 5346 del vars, 14043 del conss, 2509 chg bounds, 5326 chg sides, 11276 chg coeffs, 0 upgd conss, 4255717 impls, 0 clqs
13.10/13.20	c (round 4) 5346 del vars, 14189 del conss, 2509 chg bounds, 5326 chg sides, 11276 chg coeffs, 202269 upgd conss, 4255717 impls, 0 clqs
13.79/13.88	c (round 5) 5346 del vars, 14189 del conss, 2509 chg bounds, 5326 chg sides, 11276 chg coeffs, 204073 upgd conss, 4255717 impls, 0 clqs
14.38/14.41	c presolving (6 rounds):
14.38/14.41	c  5346 deleted vars, 14189 deleted constraints, 2509 tightened bounds, 0 added holes, 5326 changed sides, 11276 changed coefficients
14.38/14.41	c  4255717 implications, 0 cliques
14.38/14.41	c presolved problem has 70745 variables (70745 bin, 0 int, 0 impl, 0 cont) and 204073 constraints
14.38/14.41	c   10652 constraints of type <knapsack>
14.38/14.41	c  193421 constraints of type <logicor>
14.38/14.41	c transformed objective value is always integral (scale: 1)
14.38/14.41	c Presolving Time: 8.10
14.38/14.41	c - non default parameters ----------------------------------------------------------------------
14.38/14.41	c # SCIP version 1.2.1.2
14.38/14.41	c 
14.38/14.41	c # frequency for displaying node information lines
14.38/14.41	c # [type: int, range: [-1,2147483647], default: 100]
14.38/14.41	c display/freq = 10000
14.38/14.41	c 
14.38/14.41	c # maximal time in seconds to run
14.38/14.41	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.38/14.41	c limits/time = 1795.72
14.38/14.41	c 
14.38/14.41	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
14.38/14.41	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.38/14.41	c limits/memory = 1620
14.38/14.41	c 
14.38/14.41	c # solving stops, if the given number of solutions were found (-1: no limit)
14.38/14.41	c # [type: int, range: [-1,2147483647], default: -1]
14.38/14.41	c limits/solutions = 1
14.38/14.41	c 
14.38/14.41	c # maximal number of separation rounds per node (-1: unlimited)
14.38/14.41	c # [type: int, range: [-1,2147483647], default: 5]
14.38/14.41	c separating/maxrounds = 1
14.38/14.41	c 
14.38/14.41	c # maximal number of separation rounds in the root node (-1: unlimited)
14.38/14.41	c # [type: int, range: [-1,2147483647], default: -1]
14.38/14.41	c separating/maxroundsroot = 5
14.38/14.41	c 
14.38/14.41	c # should presolving try to simplify inequalities
14.38/14.41	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.38/14.41	c constraints/linear/simplifyinequalities = TRUE
14.38/14.41	c 
14.38/14.41	c # should disaggregation of knapsack constraints be allowed in preprocessing?
14.38/14.41	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
14.38/14.41	c constraints/knapsack/disaggregation = FALSE
14.38/14.41	c 
14.38/14.41	c # should presolving try to simplify knapsacks
14.38/14.41	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.38/14.41	c constraints/knapsack/simplifyinequalities = TRUE
14.38/14.41	c 
14.38/14.41	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
14.38/14.41	c # [type: int, range: [-1,2147483647], default: -1]
14.38/14.41	c presolving/probing/maxrounds = 0
14.38/14.41	c 
14.38/14.41	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
14.38/14.41	c # [type: int, range: [-1,2147483647], default: 10]
14.38/14.41	c heuristics/coefdiving/freq = -1
14.38/14.41	c 
14.38/14.41	c # maximal fraction of diving LP iterations compared to node LP iterations
14.38/14.41	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.38/14.41	c heuristics/coefdiving/maxlpiterquot = 0.075
14.38/14.41	c 
14.38/14.41	c # additional number of allowed LP iterations
14.38/14.41	c # [type: int, range: [0,2147483647], default: 1000]
14.38/14.41	c heuristics/coefdiving/maxlpiterofs = 1500
14.38/14.41	c 
14.38/14.41	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
14.38/14.41	c # [type: int, range: [-1,2147483647], default: 30]
14.38/14.41	c heuristics/crossover/freq = -1
14.38/14.41	c 
14.38/14.41	c # number of nodes added to the contingent of the total nodes
14.38/14.41	c # [type: longint, range: [0,9223372036854775807], default: 500]
14.38/14.41	c heuristics/crossover/nodesofs = 750
14.38/14.41	c 
14.38/14.41	c # number of nodes without incumbent change that heuristic should wait
14.38/14.41	c # [type: longint, range: [0,9223372036854775807], default: 200]
14.38/14.41	c heuristics/crossover/nwaitingnodes = 100
14.38/14.41	c 
14.38/14.41	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
14.38/14.41	c # [type: real, range: [0,1], default: 0.1]
14.38/14.41	c heuristics/crossover/nodesquot = 0.15
14.38/14.41	c 
14.38/14.41	c # minimum percentage of integer variables that have to be fixed 
14.38/14.41	c # [type: real, range: [0,1], default: 0.666]
14.38/14.41	c heuristics/crossover/minfixingrate = 0.5
14.38/14.41	c 
14.38/14.41	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
14.38/14.41	c # [type: int, range: [-1,2147483647], default: 20]
14.38/14.41	c heuristics/feaspump/freq = -1
14.38/14.41	c 
14.38/14.41	c # additional number of allowed LP iterations
14.38/14.41	c # [type: int, range: [0,2147483647], default: 1000]
14.38/14.41	c heuristics/feaspump/maxlpiterofs = 2000
14.38/14.41	c 
14.38/14.41	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
14.38/14.41	c # [type: int, range: [-1,2147483647], default: 10]
14.38/14.41	c heuristics/fracdiving/freq = -1
14.38/14.41	c 
14.38/14.41	c # maximal fraction of diving LP iterations compared to node LP iterations
14.38/14.41	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.38/14.41	c heuristics/fracdiving/maxlpiterquot = 0.075
14.38/14.41	c 
14.38/14.41	c # additional number of allowed LP iterations
14.38/14.41	c # [type: int, range: [0,2147483647], default: 1000]
14.38/14.41	c heuristics/fracdiving/maxlpiterofs = 1500
14.38/14.41	c 
14.38/14.41	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
14.38/14.41	c # [type: int, range: [-1,2147483647], default: 10]
14.38/14.41	c heuristics/guideddiving/freq = -1
14.38/14.41	c 
14.38/14.41	c # maximal fraction of diving LP iterations compared to node LP iterations
14.38/14.41	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.38/14.41	c heuristics/guideddiving/maxlpiterquot = 0.075
14.38/14.41	c 
14.38/14.41	c # additional number of allowed LP iterations
14.38/14.41	c # [type: int, range: [0,2147483647], default: 1000]
14.38/14.41	c heuristics/guideddiving/maxlpiterofs = 1500
14.38/14.41	c 
14.38/14.41	c # maximal fraction of diving LP iterations compared to node LP iterations
14.38/14.41	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.38/14.41	c heuristics/intdiving/maxlpiterquot = 0.075
14.38/14.41	c 
14.38/14.41	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
14.38/14.41	c # [type: int, range: [-1,2147483647], default: 10]
14.38/14.41	c heuristics/intshifting/freq = -1
14.38/14.41	c 
14.38/14.41	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
14.38/14.41	c # [type: int, range: [-1,2147483647], default: 10]
14.38/14.41	c heuristics/linesearchdiving/freq = -1
14.38/14.41	c 
14.38/14.41	c # maximal fraction of diving LP iterations compared to node LP iterations
14.38/14.41	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.38/14.41	c heuristics/linesearchdiving/maxlpiterquot = 0.075
14.38/14.41	c 
14.38/14.41	c # additional number of allowed LP iterations
14.38/14.41	c # [type: int, range: [0,2147483647], default: 1000]
14.38/14.41	c heuristics/linesearchdiving/maxlpiterofs = 1500
14.38/14.41	c 
14.38/14.41	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
14.38/14.41	c # [type: int, range: [-1,2147483647], default: 1]
14.38/14.41	c heuristics/nlp/freq = -1
14.38/14.41	c 
14.38/14.41	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
14.38/14.41	c # [type: int, range: [-1,2147483647], default: 20]
14.38/14.41	c heuristics/objpscostdiving/freq = -1
14.38/14.41	c 
14.38/14.41	c # maximal fraction of diving LP iterations compared to total iteration number
14.38/14.41	c # [type: real, range: [0,1], default: 0.01]
14.38/14.41	c heuristics/objpscostdiving/maxlpiterquot = 0.015
14.38/14.41	c 
14.38/14.41	c # additional number of allowed LP iterations
14.38/14.41	c # [type: int, range: [0,2147483647], default: 1000]
14.38/14.41	c heuristics/objpscostdiving/maxlpiterofs = 1500
14.38/14.41	c 
14.38/14.41	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
14.38/14.41	c # [type: int, range: [-1,2147483647], default: 1]
14.38/14.41	c heuristics/oneopt/freq = -1
14.38/14.41	c 
14.38/14.41	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
14.38/14.41	c # [type: int, range: [-1,2147483647], default: 10]
14.38/14.41	c heuristics/pscostdiving/freq = -1
14.38/14.41	c 
14.38/14.41	c # maximal fraction of diving LP iterations compared to node LP iterations
14.38/14.41	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.38/14.41	c heuristics/pscostdiving/maxlpiterquot = 0.075
14.38/14.41	c 
14.38/14.41	c # additional number of allowed LP iterations
14.38/14.41	c # [type: int, range: [0,2147483647], default: 1000]
14.38/14.41	c heuristics/pscostdiving/maxlpiterofs = 1500
14.38/14.41	c 
14.38/14.41	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
14.38/14.41	c # [type: int, range: [-1,2147483647], default: 0]
14.38/14.41	c heuristics/rens/freq = -1
14.38/14.41	c 
14.38/14.41	c # minimum percentage of integer variables that have to be fixable 
14.38/14.41	c # [type: real, range: [0,1], default: 0.5]
14.38/14.41	c heuristics/rens/minfixingrate = 0.3
14.38/14.41	c 
14.38/14.41	c # number of nodes added to the contingent of the total nodes
14.38/14.41	c # [type: longint, range: [0,9223372036854775807], default: 500]
14.38/14.41	c heuristics/rens/nodesofs = 2000
14.38/14.41	c 
14.38/14.41	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
14.38/14.41	c # [type: int, range: [-1,2147483647], default: 20]
14.38/14.41	c heuristics/rootsoldiving/freq = -1
14.38/14.41	c 
14.38/14.41	c # maximal fraction of diving LP iterations compared to node LP iterations
14.38/14.41	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
14.38/14.41	c heuristics/rootsoldiving/maxlpiterquot = 0.015
14.38/14.41	c 
14.38/14.41	c # additional number of allowed LP iterations
14.38/14.41	c # [type: int, range: [0,2147483647], default: 1000]
14.38/14.41	c heuristics/rootsoldiving/maxlpiterofs = 1500
14.38/14.41	c 
14.38/14.41	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
14.38/14.41	c # [type: int, range: [-1,2147483647], default: 1]
14.38/14.41	c heuristics/rounding/freq = -1
14.38/14.41	c 
14.38/14.41	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
14.38/14.41	c # [type: int, range: [-1,2147483647], default: 10]
14.38/14.41	c heuristics/shifting/freq = -1
14.38/14.41	c 
14.38/14.41	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
14.38/14.41	c # [type: int, range: [-1,2147483647], default: 1]
14.38/14.41	c heuristics/simplerounding/freq = -1
14.38/14.41	c 
14.38/14.41	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
14.38/14.41	c # [type: int, range: [-1,2147483647], default: 0]
14.38/14.41	c heuristics/trivial/freq = -1
14.38/14.41	c 
14.38/14.41	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
14.38/14.41	c # [type: int, range: [-1,2147483647], default: 1]
14.38/14.41	c heuristics/trysol/freq = -1
14.38/14.41	c 
14.38/14.41	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
14.38/14.41	c # [type: int, range: [-1,2147483647], default: 10]
14.38/14.41	c heuristics/veclendiving/freq = -1
14.38/14.41	c 
14.38/14.41	c # maximal fraction of diving LP iterations compared to node LP iterations
14.38/14.41	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.38/14.41	c heuristics/veclendiving/maxlpiterquot = 0.075
14.38/14.41	c 
14.38/14.41	c # additional number of allowed LP iterations
14.38/14.41	c # [type: int, range: [0,2147483647], default: 1000]
14.38/14.41	c heuristics/veclendiving/maxlpiterofs = 1500
14.38/14.41	c 
14.38/14.41	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
14.38/14.41	c # [type: int, range: [-1,2147483647], default: 1]
14.38/14.41	c heuristics/zirounding/freq = -1
14.38/14.41	c 
14.38/14.41	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
14.38/14.41	c # [type: int, range: [-1,2147483647], default: 0]
14.38/14.41	c separating/cmir/freq = -1
14.38/14.41	c 
14.38/14.41	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
14.38/14.41	c # [type: int, range: [-1,2147483647], default: 0]
14.38/14.41	c separating/flowcover/freq = -1
14.38/14.41	c 
14.38/14.41	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
14.38/14.41	c # [type: int, range: [-1,2147483647], default: -1]
14.38/14.41	c separating/rapidlearning/freq = 0
14.38/14.41	c 
14.38/14.41	c -----------------------------------------------------------------------------------------------
14.38/14.41	c start solving
14.38/14.48	c 
462.32/462.52	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
462.32/462.52	c   455s|     1 |     0 | 29231 |     - | 540M|   0 |  21k|  70k| 204k|  70k| 204k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1698.97/1699.60	c  1619s|     1 |     0 | 58686 |     - | 541M|   0 |  21k|  70k| 204k|  70k| 204k| 232 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1800.05/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-2667423-1276335859/watcher-2667423-1276335859 -o /tmp/evaluation-result-2667423-1276335859/solver-2667423-1276335859 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667423-1276335859.opb -t 1800 -m 1800 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14233
/proc/meminfo: memFree=1859256/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=7724 CPUtime=0
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 1007 0 0 0 0 0 0 0 17 0 1 0 9187522 7909376 926 1992294400 4194304 8223781 140734307717328 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14233/statm: 1931 934 348 984 0 944 0

[startup+0.015488 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14233
/proc/meminfo: memFree=1859256/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=9268 CPUtime=0
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 1605 0 0 0 0 0 0 0 17 0 1 0 9187522 9490432 1524 1992294400 4194304 8223781 140734307717328 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14233/statm: 2317 1524 363 984 0 1330 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9268

[startup+0.101504 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14233
/proc/meminfo: memFree=1859256/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=13120 CPUtime=0.09
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 2597 0 0 0 9 0 0 0 17 0 1 0 9187522 13434880 2516 1992294400 4194304 8223781 140734307717328 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14233/statm: 3280 2516 363 984 0 2293 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13120

[startup+0.301543 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14233
/proc/meminfo: memFree=1859256/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=20644 CPUtime=0.29
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 4421 0 0 0 28 1 0 0 17 0 1 0 9187522 21139456 4340 1992294400 4194304 8223781 140734307717328 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14233/statm: 5161 4350 363 984 0 4174 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20644

[startup+0.70162 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 14233
/proc/meminfo: memFree=1859256/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=32792 CPUtime=0.69
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 7484 0 0 0 67 2 0 0 17 0 1 0 9187522 33579008 7403 1992294400 4194304 8223781 140734307717328 18446744073709551615 7246920 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14233/statm: 8198 7403 363 984 0 7211 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32792

[startup+1.50178 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14234
/proc/meminfo: memFree=1821056/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=58468 CPUtime=1.49
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 13873 0 0 0 144 5 0 0 18 0 1 0 9187522 59871232 13792 1992294400 4194304 8223781 140734307717328 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14233/statm: 14617 13792 363 984 0 13630 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 58468

[startup+3.10109 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14234
/proc/meminfo: memFree=1785344/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=109076 CPUtime=3.09
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 26521 0 0 0 298 11 0 0 21 0 1 0 9187522 111693824 26440 1992294400 4194304 8223781 140734307717328 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14233/statm: 27269 26440 363 984 0 26282 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 109076

[startup+6.30171 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 14234
/proc/meminfo: memFree=1517008/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=390336 CPUtime=6.29
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 95458 0 0 0 590 39 0 0 25 0 1 0 9187522 399704064 94957 1992294400 4194304 8223781 140734307717328 18446744073709551615 4689610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14233/statm: 97584 94957 444 984 0 96597 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 390336

[startup+12.701 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 14234
/proc/meminfo: memFree=1295668/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=575808 CPUtime=12.69
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 157428 0 0 0 1145 124 0 0 25 0 1 0 9187522 589627392 140253 1992294400 4194304 8223781 140734307717328 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14233/statm: 143952 140253 455 984 0 142965 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 575808

[startup+25.5015 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 14234
/proc/meminfo: memFree=1061804/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=847004 CPUtime=25.48
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 257567 0 0 0 2360 188 0 0 25 0 1 0 9187522 867332096 199275 1992294400 4194304 8223781 140734307717328 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14233/statm: 211751 199275 542 984 0 210764 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 847004

[startup+51.1015 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 14234
/proc/meminfo: memFree=1060564/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=852100 CPUtime=51.07
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 272232 0 0 0 4905 202 0 0 25 0 1 0 9187522 872550400 199602 1992294400 4194304 8223781 140734307717328 18446744073709551615 6567850 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14233/statm: 213025 199602 542 984 0 212038 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 852100

[startup+102.308 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 14236
/proc/meminfo: memFree=1058208/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=858076 CPUtime=102.25
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 292835 0 0 0 10009 216 0 0 25 0 1 0 9187522 878669824 200180 1992294400 4194304 8223781 140734307717328 18446744073709551615 7253725 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14233/statm: 214519 200180 542 984 0 213532 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 858076

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14238
/proc/meminfo: memFree=1056472/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=862388 CPUtime=162.22
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 318027 0 0 0 15988 234 0 0 25 0 1 0 9187522 883085312 200636 1992294400 4194304 8223781 140734307717328 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14233/statm: 215597 200636 542 984 0 214610 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 862388

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14240
/proc/meminfo: memFree=1055232/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=865272 CPUtime=222.2
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 351057 0 0 0 21967 253 0 0 25 0 1 0 9187522 886038528 200913 1992294400 4194304 8223781 140734307717328 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14233/statm: 216318 200913 542 984 0 215331 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 865272

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14240
/proc/meminfo: memFree=1054612/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=867532 CPUtime=282.18
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 382871 0 0 0 27946 272 0 0 25 0 1 0 9187522 888352768 201085 1992294400 4194304 8223781 140734307717328 18446744073709551615 7253725 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14233/statm: 216883 201085 542 984 0 215896 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 867532

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14242
/proc/meminfo: memFree=1053620/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=869452 CPUtime=342.16
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 414381 0 0 0 33927 289 0 0 25 0 1 0 9187522 890318848 201324 1992294400 4194304 8223781 140734307717328 18446744073709551615 6568362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14233/statm: 217363 201324 542 984 0 216376 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 869452

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14244
/proc/meminfo: memFree=1053496/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=870836 CPUtime=402.14
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 443063 0 0 0 39905 309 0 0 25 0 1 0 9187522 891736064 201329 1992294400 4194304 8223781 140734307717328 18446744073709551615 6568130 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14233/statm: 217709 201329 542 984 0 216722 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 870836

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14246
/proc/meminfo: memFree=1053000/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=871388 CPUtime=462.11
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 475029 0 0 0 45883 328 0 0 25 0 1 0 9187522 892301312 201401 1992294400 4194304 8223781 140734307717328 18446744073709551615 6296693 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14233/statm: 217847 201401 542 984 0 216860 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 871388

[startup+522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14248
/proc/meminfo: memFree=1054240/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=871012 CPUtime=522.1
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 3305424 0 0 0 50825 1385 0 0 25 0 1 0 9187522 891916288 201145 1992294400 4194304 8223781 140734307717328 18446744073709551615 6299574 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14233/statm: 217753 201145 557 984 0 216766 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 871012

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14248
/proc/meminfo: memFree=1053248/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=872040 CPUtime=582.08
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 6145364 0 0 0 55775 2433 0 0 25 0 1 0 9187522 892968960 201402 1992294400 4194304 8223781 140734307717328 18446744073709551615 6300092 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14233/statm: 218010 201402 557 984 0 217023 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 872040

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14250
/proc/meminfo: memFree=1053124/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=872040 CPUtime=642.06
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 8960526 0 0 0 60733 3473 0 0 25 0 1 0 9187522 892968960 201220 1992294400 4194304 8223781 140734307717328 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14233/statm: 218010 201230 557 984 0 217023 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 872040

[startup+702.302 s]

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

/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 19409858 0 0 0 98782 7408 0 0 25 0 1 0 9187522 921022464 205234 1992294400 4194304 8223781 140734307717328 18446744073709551615 6612622 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14233/statm: 224859 205234 565 984 0 223872 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 899436

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14273
/proc/meminfo: memFree=1037624/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=899508 CPUtime=1121.87
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 19436566 0 0 0 104763 7424 0 0 25 0 1 0 9187522 921096192 205248 1992294400 4194304 8223781 140734307717328 18446744073709551615 6502677 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14233/statm: 224877 205248 565 984 0 223890 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 899508

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14273
/proc/meminfo: memFree=1037624/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=899788 CPUtime=1181.85
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 19462621 0 0 0 110747 7438 0 0 25 0 1 0 9187522 921382912 205238 1992294400 4194304 8223781 140734307717328 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14233/statm: 224947 205238 565 984 0 223960 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 899788

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14275
/proc/meminfo: memFree=1037376/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=899988 CPUtime=1241.84
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 19486521 0 0 0 116732 7452 0 0 25 0 1 0 9187522 921587712 205252 1992294400 4194304 8223781 140734307717328 18446744073709551615 6567505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14233/statm: 224997 205252 565 984 0 224010 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 899988

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14277
/proc/meminfo: memFree=1037376/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=900196 CPUtime=1301.82
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 19513243 0 0 0 122715 7467 0 0 25 0 1 0 9187522 921800704 205251 1992294400 4194304 8223781 140734307717328 18446744073709551615 6568195 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14233/statm: 225049 205251 565 984 0 224062 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 900196

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14279
/proc/meminfo: memFree=1036632/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=900724 CPUtime=1361.79
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 19542773 0 0 0 128697 7482 0 0 25 0 1 0 9187522 922341376 205422 1992294400 4194304 8223781 140734307717328 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14233/statm: 225181 205422 565 984 0 224194 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 900724

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14281
/proc/meminfo: memFree=1036384/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=901284 CPUtime=1421.78
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 19573569 0 0 0 134678 7500 0 0 25 0 1 0 9187522 922914816 205477 1992294400 4194304 8223781 140734307717328 18446744073709551615 6568069 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14233/statm: 225321 205477 565 984 0 224334 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 901284

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14281
/proc/meminfo: memFree=1036508/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=901540 CPUtime=1481.75
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 19602200 0 0 0 140660 7515 0 0 25 0 1 0 9187522 923176960 205467 1992294400 4194304 8223781 140734307717328 18446744073709551615 6568435 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14233/statm: 225385 205467 565 984 0 224398 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 901540

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14283
/proc/meminfo: memFree=1036260/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=902124 CPUtime=1541.73
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 19630413 0 0 0 146643 7530 0 0 25 0 1 0 9187522 923774976 205498 1992294400 4194304 8223781 140734307717328 18446744073709551615 6502720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14233/statm: 225531 205498 565 984 0 224544 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 902124

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14285
/proc/meminfo: memFree=1036384/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=902524 CPUtime=1601.71
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 19659919 0 0 0 152626 7545 0 0 25 0 1 0 9187522 924184576 205485 1992294400 4194304 8223781 140734307717328 18446744073709551615 6591927 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14233/statm: 225631 205485 565 984 0 224644 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 902524

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14287
/proc/meminfo: memFree=1036756/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=902940 CPUtime=1661.69
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 19691657 0 0 0 158607 7562 0 0 25 0 1 0 9187522 924610560 205393 1992294400 4194304 8223781 140734307717328 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14233/statm: 225735 205393 565 984 0 224748 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 902940

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14289
/proc/meminfo: memFree=1036012/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=904256 CPUtime=1721.67
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 20777723 0 0 0 164218 7949 0 0 25 0 1 0 9187522 925958144 205378 1992294400 4194304 8223781 140734307717328 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14233/statm: 226064 205389 565 984 0 225077 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 904256

[startup+1782.3 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 14292
/proc/meminfo: memFree=1035144/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=904256 CPUtime=1781.65
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 23552510 0 0 0 169215 8950 0 0 25 0 1 0 9187522 925958144 205365 1992294400 4194304 8223781 140734307717328 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14233/statm: 226064 205375 565 984 0 225077 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 904256



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 14294
/proc/meminfo: memFree=1035392/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=904256 CPUtime=1800.05
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 24403925 0 0 0 170745 9260 0 0 25 0 1 0 9187522 925958144 205580 1992294400 4194304 8223781 140734307717328 18446744073709551615 7257278 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14233/statm: 226064 205580 565 984 0 225077 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 904256

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -14233

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

[startup+1801.4 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 14294
/proc/meminfo: memFree=1035392/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=903460 CPUtime=1800.74
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 24410016 0 0 0 170811 9263 0 0 25 0 1 0 9187522 925143040 205511 1992294400 4194304 8223781 140734307717328 18446744073709551615 6446975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14233/statm: 225865 205511 565 984 0 224878 0
Current children cumulated CPU time (s) 1800.74
Current children cumulated vsize (KiB) 903460

[startup+1802.2 s]
/proc/loadavg: 1.06 1.01 1.00 2/108 14295
/proc/meminfo: memFree=1035632/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=903460 CPUtime=1801.54
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 24410052 0 0 0 170891 9263 0 0 25 0 1 0 9187522 925143040 205547 1992294400 4194304 8223781 140734307717328 18446744073709551615 6503928 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14233/statm: 225865 205547 565 984 0 224878 0
Current children cumulated CPU time (s) 1801.54
Current children cumulated vsize (KiB) 903460

[startup+1802.6 s]
/proc/loadavg: 1.06 1.01 1.00 2/108 14295
/proc/meminfo: memFree=1035632/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=903460 CPUtime=1801.94
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 24410068 0 0 0 170931 9263 0 0 25 0 1 0 9187522 925143040 205563 1992294400 4194304 8223781 140734307717328 18446744073709551615 6502689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14233/statm: 225865 205563 565 984 0 224878 0
Current children cumulated CPU time (s) 1801.94
Current children cumulated vsize (KiB) 903460

[startup+1802.7 s]
/proc/loadavg: 1.06 1.01 1.00 2/108 14295
/proc/meminfo: memFree=1035632/2059040 swapFree=4136160/4192956
[pid=14233] ppid=14231 vsize=903460 CPUtime=1802.04
/proc/14233/stat : 14233 (pbscip.linux.x8) R 14231 14233 14000 0 -1 4202496 24410069 0 0 0 170941 9263 0 0 25 0 1 0 9187522 925143040 205564 1992294400 4194304 8223781 140734307717328 18446744073709551615 6536642 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14233/statm: 225865 205564 565 984 0 224878 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 903460

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.8
CPU time (s): 1802.14
CPU user time (s): 1709.43
CPU system time (s): 92.7159
CPU usage (%): 99.9638
Max. virtual memory (cumulated for all children) (KiB): 928060

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

runsolver used 2.98455 second user time and 8.5187 second system time

The end

Launcher Data 

Begin job on node011 at 2010-06-12 11:44:20
IDJOB=2667423
IDBENCH=1473
IDSOLVER=1169
FILE ID=node011/2667423-1276335859
PBS_JOBID= 11173172
Free space on /tmp= 62256 MiB

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

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

MD5SUM BENCH= ef8e8b075ca1490a3beab796ebfb3e9f
RANDOM SEED=874245227

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:       1859660 kB
Buffers:         19912 kB
Cached:         118252 kB
SwapCached:      11008 kB
Active:         107188 kB
Inactive:        44496 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1859660 kB
SwapTotal:     4192956 kB
SwapFree:      4136160 kB
Dirty:           12084 kB
Writeback:           0 kB
AnonPages:       10676 kB
Mapped:           9208 kB
Slab:            25908 kB
PageTables:       4008 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:14:22