Trace number 2667443

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

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb
MD5SUM6441cbb759000c1a64397279f4b3f0ed
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 benchmark0.463928
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables4662
Total number of constraints31725
Number of constraints which are clauses30696
Number of constraints which are cardinality constraints (but not clauses)951
Number of constraints which are nor clauses,nor cardinality constraints78
Minimum length of a constraint3
Maximum length of a constraint29
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 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 102
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.01	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.01	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-2667443-1276344163.opb>
0.49/0.58	c original problem has 4662 variables (4662 bin, 0 int, 0 impl, 0 cont) and 31725 constraints
0.49/0.58	c problem read
0.49/0.58	c No objective function, only one solution is needed.
0.49/0.58	c presolving settings loaded
0.69/0.72	c presolving:
1.09/1.12	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 31725 upgd conss, 0 impls, 951 clqs
1.19/1.20	c presolving (2 rounds):
1.19/1.20	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 84 changed coefficients
1.19/1.20	c  288 implications, 1395 cliques
1.19/1.20	c presolved problem has 4662 variables (4662 bin, 0 int, 0 impl, 0 cont) and 31725 constraints
1.19/1.20	c      78 constraints of type <knapsack>
1.19/1.20	c     951 constraints of type <setppc>
1.19/1.20	c   30696 constraints of type <logicor>
1.19/1.20	c transformed objective value is always integral (scale: 1)
1.19/1.20	c Presolving Time: 0.42
1.19/1.20	c - non default parameters ----------------------------------------------------------------------
1.19/1.20	c # SCIP version 1.2.1.2
1.19/1.20	c 
1.19/1.20	c # frequency for displaying node information lines
1.19/1.20	c # [type: int, range: [-1,2147483647], default: 100]
1.19/1.20	c display/freq = 10000
1.19/1.20	c 
1.19/1.20	c # maximal time in seconds to run
1.19/1.20	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.20	c limits/time = 1799.42
1.19/1.20	c 
1.19/1.20	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.19/1.20	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.20	c limits/memory = 1620
1.19/1.20	c 
1.19/1.20	c # solving stops, if the given number of solutions were found (-1: no limit)
1.19/1.20	c # [type: int, range: [-1,2147483647], default: -1]
1.19/1.20	c limits/solutions = 1
1.19/1.20	c 
1.19/1.20	c # maximal number of separation rounds per node (-1: unlimited)
1.19/1.20	c # [type: int, range: [-1,2147483647], default: 5]
1.19/1.20	c separating/maxrounds = 1
1.19/1.20	c 
1.19/1.20	c # maximal number of separation rounds in the root node (-1: unlimited)
1.19/1.20	c # [type: int, range: [-1,2147483647], default: -1]
1.19/1.20	c separating/maxroundsroot = 5
1.19/1.20	c 
1.19/1.20	c # should presolving try to simplify inequalities
1.19/1.20	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.20	c constraints/linear/simplifyinequalities = TRUE
1.19/1.20	c 
1.19/1.20	c # should disaggregation of knapsack constraints be allowed in preprocessing?
1.19/1.20	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
1.19/1.20	c constraints/knapsack/disaggregation = FALSE
1.19/1.20	c 
1.19/1.20	c # should presolving try to simplify knapsacks
1.19/1.20	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.20	c constraints/knapsack/simplifyinequalities = TRUE
1.19/1.20	c 
1.19/1.20	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
1.19/1.20	c # [type: int, range: [-1,2147483647], default: -1]
1.19/1.20	c presolving/probing/maxrounds = 0
1.19/1.20	c 
1.19/1.20	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
1.19/1.20	c # [type: int, range: [-1,2147483647], default: 10]
1.19/1.20	c heuristics/coefdiving/freq = -1
1.19/1.20	c 
1.19/1.20	c # maximal fraction of diving LP iterations compared to node LP iterations
1.19/1.20	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.19/1.20	c heuristics/coefdiving/maxlpiterquot = 0.075
1.19/1.20	c 
1.19/1.20	c # additional number of allowed LP iterations
1.19/1.20	c # [type: int, range: [0,2147483647], default: 1000]
1.19/1.20	c heuristics/coefdiving/maxlpiterofs = 1500
1.19/1.20	c 
1.19/1.20	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
1.19/1.20	c # [type: int, range: [-1,2147483647], default: 30]
1.19/1.20	c heuristics/crossover/freq = -1
1.19/1.20	c 
1.19/1.20	c # number of nodes added to the contingent of the total nodes
1.19/1.20	c # [type: longint, range: [0,9223372036854775807], default: 500]
1.19/1.20	c heuristics/crossover/nodesofs = 750
1.19/1.20	c 
1.19/1.20	c # number of nodes without incumbent change that heuristic should wait
1.19/1.20	c # [type: longint, range: [0,9223372036854775807], default: 200]
1.19/1.20	c heuristics/crossover/nwaitingnodes = 100
1.19/1.20	c 
1.19/1.20	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
1.19/1.20	c # [type: real, range: [0,1], default: 0.1]
1.19/1.20	c heuristics/crossover/nodesquot = 0.15
1.19/1.20	c 
1.19/1.20	c # minimum percentage of integer variables that have to be fixed 
1.19/1.20	c # [type: real, range: [0,1], default: 0.666]
1.19/1.20	c heuristics/crossover/minfixingrate = 0.5
1.19/1.20	c 
1.19/1.20	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
1.19/1.20	c # [type: int, range: [-1,2147483647], default: 20]
1.19/1.20	c heuristics/feaspump/freq = -1
1.19/1.20	c 
1.19/1.20	c # additional number of allowed LP iterations
1.19/1.20	c # [type: int, range: [0,2147483647], default: 1000]
1.19/1.20	c heuristics/feaspump/maxlpiterofs = 2000
1.19/1.20	c 
1.19/1.20	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
1.19/1.20	c # [type: int, range: [-1,2147483647], default: 10]
1.19/1.20	c heuristics/fracdiving/freq = -1
1.19/1.20	c 
1.19/1.20	c # maximal fraction of diving LP iterations compared to node LP iterations
1.19/1.20	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.19/1.20	c heuristics/fracdiving/maxlpiterquot = 0.075
1.19/1.20	c 
1.19/1.20	c # additional number of allowed LP iterations
1.19/1.20	c # [type: int, range: [0,2147483647], default: 1000]
1.19/1.20	c heuristics/fracdiving/maxlpiterofs = 1500
1.19/1.20	c 
1.19/1.20	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
1.19/1.20	c # [type: int, range: [-1,2147483647], default: 10]
1.19/1.20	c heuristics/guideddiving/freq = -1
1.19/1.20	c 
1.19/1.20	c # maximal fraction of diving LP iterations compared to node LP iterations
1.19/1.20	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.19/1.20	c heuristics/guideddiving/maxlpiterquot = 0.075
1.19/1.20	c 
1.19/1.20	c # additional number of allowed LP iterations
1.19/1.20	c # [type: int, range: [0,2147483647], default: 1000]
1.19/1.20	c heuristics/guideddiving/maxlpiterofs = 1500
1.19/1.20	c 
1.19/1.20	c # maximal fraction of diving LP iterations compared to node LP iterations
1.19/1.20	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.19/1.20	c heuristics/intdiving/maxlpiterquot = 0.075
1.19/1.20	c 
1.19/1.20	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
1.19/1.20	c # [type: int, range: [-1,2147483647], default: 10]
1.19/1.20	c heuristics/intshifting/freq = -1
1.19/1.20	c 
1.19/1.20	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
1.19/1.20	c # [type: int, range: [-1,2147483647], default: 10]
1.19/1.20	c heuristics/linesearchdiving/freq = -1
1.19/1.20	c 
1.19/1.20	c # maximal fraction of diving LP iterations compared to node LP iterations
1.19/1.20	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.19/1.20	c heuristics/linesearchdiving/maxlpiterquot = 0.075
1.19/1.20	c 
1.19/1.20	c # additional number of allowed LP iterations
1.19/1.20	c # [type: int, range: [0,2147483647], default: 1000]
1.19/1.20	c heuristics/linesearchdiving/maxlpiterofs = 1500
1.19/1.20	c 
1.19/1.20	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
1.19/1.20	c # [type: int, range: [-1,2147483647], default: 1]
1.19/1.20	c heuristics/nlp/freq = -1
1.19/1.20	c 
1.19/1.20	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
1.19/1.20	c # [type: int, range: [-1,2147483647], default: 20]
1.19/1.20	c heuristics/objpscostdiving/freq = -1
1.19/1.20	c 
1.19/1.20	c # maximal fraction of diving LP iterations compared to total iteration number
1.19/1.20	c # [type: real, range: [0,1], default: 0.01]
1.19/1.20	c heuristics/objpscostdiving/maxlpiterquot = 0.015
1.19/1.20	c 
1.19/1.20	c # additional number of allowed LP iterations
1.19/1.20	c # [type: int, range: [0,2147483647], default: 1000]
1.19/1.20	c heuristics/objpscostdiving/maxlpiterofs = 1500
1.19/1.20	c 
1.19/1.20	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
1.19/1.20	c # [type: int, range: [-1,2147483647], default: 1]
1.19/1.20	c heuristics/oneopt/freq = -1
1.19/1.20	c 
1.19/1.20	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
1.19/1.20	c # [type: int, range: [-1,2147483647], default: 10]
1.19/1.20	c heuristics/pscostdiving/freq = -1
1.19/1.20	c 
1.19/1.20	c # maximal fraction of diving LP iterations compared to node LP iterations
1.19/1.20	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.19/1.20	c heuristics/pscostdiving/maxlpiterquot = 0.075
1.19/1.20	c 
1.19/1.20	c # additional number of allowed LP iterations
1.19/1.20	c # [type: int, range: [0,2147483647], default: 1000]
1.19/1.20	c heuristics/pscostdiving/maxlpiterofs = 1500
1.19/1.20	c 
1.19/1.20	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
1.19/1.20	c # [type: int, range: [-1,2147483647], default: 0]
1.19/1.20	c heuristics/rens/freq = -1
1.19/1.20	c 
1.19/1.20	c # minimum percentage of integer variables that have to be fixable 
1.19/1.20	c # [type: real, range: [0,1], default: 0.5]
1.19/1.20	c heuristics/rens/minfixingrate = 0.3
1.19/1.20	c 
1.19/1.20	c # number of nodes added to the contingent of the total nodes
1.19/1.20	c # [type: longint, range: [0,9223372036854775807], default: 500]
1.19/1.20	c heuristics/rens/nodesofs = 2000
1.19/1.20	c 
1.19/1.20	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
1.19/1.20	c # [type: int, range: [-1,2147483647], default: 20]
1.19/1.20	c heuristics/rootsoldiving/freq = -1
1.19/1.20	c 
1.19/1.20	c # maximal fraction of diving LP iterations compared to node LP iterations
1.19/1.20	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
1.19/1.20	c heuristics/rootsoldiving/maxlpiterquot = 0.015
1.19/1.20	c 
1.19/1.20	c # additional number of allowed LP iterations
1.19/1.20	c # [type: int, range: [0,2147483647], default: 1000]
1.19/1.20	c heuristics/rootsoldiving/maxlpiterofs = 1500
1.19/1.20	c 
1.19/1.20	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
1.19/1.20	c # [type: int, range: [-1,2147483647], default: 1]
1.19/1.20	c heuristics/rounding/freq = -1
1.19/1.20	c 
1.19/1.20	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
1.19/1.20	c # [type: int, range: [-1,2147483647], default: 10]
1.19/1.20	c heuristics/shifting/freq = -1
1.19/1.20	c 
1.19/1.20	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
1.19/1.20	c # [type: int, range: [-1,2147483647], default: 1]
1.19/1.20	c heuristics/simplerounding/freq = -1
1.19/1.20	c 
1.19/1.20	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
1.19/1.20	c # [type: int, range: [-1,2147483647], default: 0]
1.19/1.20	c heuristics/trivial/freq = -1
1.19/1.20	c 
1.19/1.20	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
1.19/1.20	c # [type: int, range: [-1,2147483647], default: 1]
1.19/1.20	c heuristics/trysol/freq = -1
1.19/1.20	c 
1.19/1.20	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
1.19/1.20	c # [type: int, range: [-1,2147483647], default: 10]
1.19/1.20	c heuristics/veclendiving/freq = -1
1.19/1.20	c 
1.19/1.20	c # maximal fraction of diving LP iterations compared to node LP iterations
1.19/1.20	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.19/1.20	c heuristics/veclendiving/maxlpiterquot = 0.075
1.19/1.20	c 
1.19/1.20	c # additional number of allowed LP iterations
1.19/1.20	c # [type: int, range: [0,2147483647], default: 1000]
1.19/1.20	c heuristics/veclendiving/maxlpiterofs = 1500
1.19/1.20	c 
1.19/1.20	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
1.19/1.20	c # [type: int, range: [-1,2147483647], default: 1]
1.19/1.20	c heuristics/zirounding/freq = -1
1.19/1.20	c 
1.19/1.20	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
1.19/1.20	c # [type: int, range: [-1,2147483647], default: 0]
1.19/1.20	c separating/cmir/freq = -1
1.19/1.20	c 
1.19/1.20	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
1.19/1.20	c # [type: int, range: [-1,2147483647], default: 0]
1.19/1.20	c separating/flowcover/freq = -1
1.19/1.20	c 
1.19/1.20	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.19/1.20	c # [type: int, range: [-1,2147483647], default: -1]
1.19/1.20	c separating/rapidlearning/freq = 0
1.19/1.20	c 
1.19/1.20	c -----------------------------------------------------------------------------------------------
1.19/1.20	c start solving
1.19/1.21	c 
20.99/21.07	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
20.99/21.07	c  20.2s|     1 |     0 |  5656 |     - |  45M|   0 | 651 |4662 |  31k|4662 |  31k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
46.47/46.54	c  44.1s|     1 |     0 |  9015 |     - |  57M|   0 | 693 |4662 |  31k|4662 |  31k|  63 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
90.86/90.95	c  85.4s|     1 |     0 | 13961 |     - |  67M|   0 | 723 |4662 |  31k|4662 |  31k| 108 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
125.55/125.60	c   117s|     1 |     0 | 16800 |     - |  78M|   0 | 725 |4662 |  31k|4662 |  31k| 141 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
172.43/172.54	c   160s|     1 |     0 | 21671 |     - |  89M|   0 | 739 |4662 |  31k|4662 |  31k| 162 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
216.22/216.37	c   200s|     1 |     0 | 25874 |     - | 101M|   0 | 728 |4662 |  31k|4662 |  31k| 179 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
373.46/373.67	c   357s|     1 |     2 | 25874 |     - | 101M|   0 | 728 |4662 |  31k|4662 |  31k| 179 |   0 |  32 | 0.000000e+00 |      --      |    Inf 
1800.09/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-2667443-1276344163/watcher-2667443-1276344163 -o /tmp/evaluation-result-2667443-1276344163/solver-2667443-1276344163 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667443-1276344163.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 10847
/proc/meminfo: memFree=1742368/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=8752 CPUtime=0
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 1345 0 0 0 0 0 0 0 25 0 1 0 8068122 8962048 1266 1992294400 4194304 8223781 140736541485696 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10847/statm: 2188 1276 348 984 0 1201 0

[startup+0.059515 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10847
/proc/meminfo: memFree=1742368/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=13712 CPUtime=0.05
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 2503 0 0 0 5 0 0 0 25 0 1 0 8068122 14041088 2424 1992294400 4194304 8223781 140736541485696 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10847/statm: 3428 2437 363 984 0 2441 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13712

[startup+0.10052 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10847
/proc/meminfo: memFree=1742368/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=15684 CPUtime=0.09
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 3223 0 0 0 8 1 0 0 25 0 1 0 8068122 16060416 3143 1992294400 4194304 8223781 140736541485696 18446744073709551615 7189544 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10847/statm: 3921 3143 363 984 0 2934 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15684

[startup+0.300558 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10847
/proc/meminfo: memFree=1742368/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=20944 CPUtime=0.29
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 4349 0 0 0 28 1 0 0 25 0 1 0 8068122 21446656 4269 1992294400 4194304 8223781 140736541485696 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10847/statm: 5236 4282 363 984 0 4249 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20944

[startup+0.70063 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10847
/proc/meminfo: memFree=1742368/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=53412 CPUtime=0.69
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 12994 0 0 0 64 5 0 0 18 0 1 0 8068122 54693888 12466 1992294400 4194304 8223781 140736541485696 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 13353 12466 401 984 0 12366 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53412

[startup+1.50077 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10848
/proc/meminfo: memFree=1684080/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=99784 CPUtime=1.49
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 29494 0 0 0 131 18 0 0 18 0 1 0 8068122 102178816 23116 1992294400 4194304 8223781 140736541485696 18446744073709551615 6357906 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 24946 23116 540 984 0 23959 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 99784

[startup+3.10107 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10848
/proc/meminfo: memFree=1649360/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=103740 CPUtime=3.09
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 30981 0 0 0 289 20 0 0 20 0 1 0 8068122 106229760 23676 1992294400 4194304 8223781 140736541485696 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 25935 23676 543 984 0 24948 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 103740

[startup+6.30065 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10848
/proc/meminfo: memFree=1647996/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=104488 CPUtime=6.28
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 32135 0 0 0 607 21 0 0 25 0 1 0 8068122 106995712 23881 1992294400 4194304 8223781 140736541485696 18446744073709551615 6564547 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 26122 23881 543 984 0 25135 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 104488

[startup+12.7008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10850
/proc/meminfo: memFree=1647252/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=104832 CPUtime=12.69
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 35118 0 0 0 1244 25 0 0 25 0 1 0 8068122 107347968 24029 1992294400 4194304 8223781 140736541485696 18446744073709551615 6568510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 26208 24029 543 984 0 25221 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 104832

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10850
/proc/meminfo: memFree=1647872/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=103920 CPUtime=25.48
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 262569 0 0 0 2446 102 0 0 25 0 1 0 8068122 106414080 23816 1992294400 4194304 8223781 140736541485696 18446744073709551615 6044215 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 26042 23818 553 984 0 25055 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 103920

[startup+51.1008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10850
/proc/meminfo: memFree=1627908/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=125584 CPUtime=51.07
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 702156 0 0 0 4846 261 0 0 25 0 1 0 8068122 128598016 28893 1992294400 4194304 8223781 140736541485696 18446744073709551615 6299574 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 31396 28893 573 984 0 30409 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 125584

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10852
/proc/meminfo: memFree=1610548/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=144716 CPUtime=102.26
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 1855654 0 0 0 9553 673 0 0 25 0 1 0 8068122 148189184 33172 1992294400 4194304 8223781 140736541485696 18446744073709551615 6299587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 36179 33172 572 984 0 35192 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 144716

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10852
/proc/meminfo: memFree=1583640/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=172072 CPUtime=162.23
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 3190631 0 0 0 15060 1163 0 0 25 0 1 0 8068122 176201728 39914 1992294400 4194304 8223781 140736541485696 18446744073709551615 6564433 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 43018 39914 568 984 0 42031 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 172072

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10854
/proc/meminfo: memFree=1571984/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=183864 CPUtime=222.21
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 4161330 0 0 0 20690 1531 0 0 25 0 1 0 8068122 188276736 42842 1992294400 4194304 8223781 140736541485696 18446744073709551615 6568238 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 45966 42842 571 984 0 44979 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 183864

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10856
/proc/meminfo: memFree=1571984/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=183964 CPUtime=282.19
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 4213245 0 0 0 26646 1573 0 0 25 0 1 0 8068122 188379136 42823 1992294400 4194304 8223781 140736541485696 18446744073709551615 6503928 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 45991 42823 571 984 0 45004 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 183964

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10858
/proc/meminfo: memFree=1571612/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=183752 CPUtime=342.17
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 4266972 0 0 0 32600 1617 0 0 25 0 1 0 8068122 188162048 42531 1992294400 4194304 8223781 140736541485696 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 45938 42531 571 984 0 44951 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 183752

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10860
/proc/meminfo: memFree=1570992/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=183104 CPUtime=402.15
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 4315756 0 0 0 38555 1660 0 0 25 0 1 0 8068122 187498496 42400 1992294400 4194304 8223781 140736541485696 18446744073709551615 6592542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 45776 42406 573 984 0 44789 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 183104

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10862
/proc/meminfo: memFree=1571984/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=183760 CPUtime=462.13
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 4367927 0 0 0 44511 1702 0 0 25 0 1 0 8068122 188170240 42942 1992294400 4194304 8223781 140736541485696 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 45940 42942 573 984 0 44953 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 183760

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10862
/proc/meminfo: memFree=1570992/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=183788 CPUtime=522.11
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 4422126 0 0 0 50469 1742 0 0 25 0 1 0 8068122 188198912 42941 1992294400 4194304 8223781 140736541485696 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 45947 42941 573 984 0 44960 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 183788

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10864
/proc/meminfo: memFree=1571736/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=183908 CPUtime=582.09
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 4482629 0 0 0 56421 1788 0 0 25 0 1 0 8068122 188321792 42933 1992294400 4194304 8223781 140736541485696 18446744073709551615 6591329 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 45977 42933 573 984 0 44990 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 183908

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10866
/proc/meminfo: memFree=1570744/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=184028 CPUtime=642.07
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 4543116 0 0 0 62376 1831 0 0 25 0 1 0 8068122 188444672 42950 1992294400 4194304 8223781 140736541485696 18446744073709551615 6569681 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 46007 42950 573 984 0 45020 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 184028

[startup+702.301 s]

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

/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 4969401 0 0 0 104050 2143 0 0 25 0 1 0 8068122 188538880 42974 1992294400 4194304 8223781 140736541485696 18446744073709551615 6559922 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 46030 42974 573 984 0 45043 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 184120

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10878
/proc/meminfo: memFree=1570248/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=184336 CPUtime=1121.91
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 5016184 0 0 0 110009 2182 0 0 25 0 1 0 8068122 188760064 43008 1992294400 4194304 8223781 140736541485696 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 46084 43008 573 984 0 45097 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 184336

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10880
/proc/meminfo: memFree=1570248/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=184336 CPUtime=1181.89
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 5061542 0 0 0 115972 2217 0 0 25 0 1 0 8068122 188760064 42984 1992294400 4194304 8223781 140736541485696 18446744073709551615 6569377 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 46084 42984 573 984 0 45097 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 184336

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10882
/proc/meminfo: memFree=1570000/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=184336 CPUtime=1241.87
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 5108390 0 0 0 121930 2257 0 0 25 0 1 0 8068122 188760064 43029 1992294400 4194304 8223781 140736541485696 18446744073709551615 6567519 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 46084 43029 573 984 0 45097 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 184336

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10884
/proc/meminfo: memFree=1570124/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=184412 CPUtime=1301.86
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 5165722 0 0 0 127885 2301 0 0 25 0 1 0 8068122 188837888 43006 1992294400 4194304 8223781 140736541485696 18446744073709551615 6502738 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 46103 43006 573 984 0 45116 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 184412

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10884
/proc/meminfo: memFree=1569876/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=184592 CPUtime=1361.82
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 5215600 0 0 0 133842 2340 0 0 25 0 1 0 8068122 189022208 43055 1992294400 4194304 8223781 140736541485696 18446744073709551615 6569618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 46148 43055 573 984 0 45161 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 184592

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10886
/proc/meminfo: memFree=1569504/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=184964 CPUtime=1421.82
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 5258351 0 0 0 139803 2379 0 0 25 0 1 0 8068122 189403136 43136 1992294400 4194304 8223781 140736541485696 18446744073709551615 6599135 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 46241 43136 573 984 0 45254 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 184964

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10888
/proc/meminfo: memFree=1569504/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=184816 CPUtime=1481.79
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 5300622 0 0 0 145763 2416 0 0 25 0 1 0 8068122 189251584 43100 1992294400 4194304 8223781 140736541485696 18446744073709551615 6559356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 46204 43100 573 984 0 45217 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 184816

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10890
/proc/meminfo: memFree=1571364/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=184496 CPUtime=1541.77
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 5359060 0 0 0 151712 2465 0 0 25 0 1 0 8068122 188923904 42793 1992294400 4194304 8223781 140736541485696 18446744073709551615 6446938 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 46124 42793 573 984 0 45137 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 184496

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10892
/proc/meminfo: memFree=1570000/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=184532 CPUtime=1601.75
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 5409814 0 0 0 157669 2506 0 0 25 0 1 0 8068122 188960768 43047 1992294400 4194304 8223781 140736541485696 18446744073709551615 6450711 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 46133 43047 573 984 0 45146 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 184532

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10894
/proc/meminfo: memFree=1569752/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=184580 CPUtime=1661.73
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 5453926 0 0 0 163632 2541 0 0 25 0 1 0 8068122 189009920 43072 1992294400 4194304 8223781 140736541485696 18446744073709551615 6569942 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 46145 43072 573 984 0 45158 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 184580

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10894
/proc/meminfo: memFree=1569628/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=184700 CPUtime=1721.71
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 5492070 0 0 0 169594 2577 0 0 25 0 1 0 8068122 189132800 43086 1992294400 4194304 8223781 140736541485696 18446744073709551615 6568128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 46175 43086 573 984 0 45188 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 184700

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10896
/proc/meminfo: memFree=1569752/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=184612 CPUtime=1781.69
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 5537888 0 0 0 175554 2615 0 0 25 0 1 0 8068122 189042688 43061 1992294400 4194304 8223781 140736541485696 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 46153 43061 573 984 0 45166 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 184612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10896
/proc/meminfo: memFree=1570124/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=184496 CPUtime=1800.09
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 5554070 0 0 0 177379 2630 0 0 25 0 1 0 8068122 188923904 43034 1992294400 4194304 8223781 140736541485696 18446744073709551615 6569439 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 46124 43034 573 984 0 45137 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 184496

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -10847

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 10896
/proc/meminfo: memFree=1570124/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=184624 CPUtime=1800.78
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 5554780 0 0 0 177447 2631 0 0 25 0 1 0 8068122 189054976 43058 1992294400 4194304 8223781 140736541485696 18446744073709551615 6503928 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 46156 43058 573 984 0 45169 0
Current children cumulated CPU time (s) 1800.78
Current children cumulated vsize (KiB) 184624

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10897
/proc/meminfo: memFree=1569744/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=184640 CPUtime=1801.58
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 5555430 0 0 0 177527 2631 0 0 25 0 1 0 8068122 189071360 43053 1992294400 4194304 8223781 140736541485696 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 46160 43053 573 984 0 45173 0
Current children cumulated CPU time (s) 1801.58
Current children cumulated vsize (KiB) 184640

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10897
/proc/meminfo: memFree=1569744/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=184432 CPUtime=1801.98
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 5555951 0 0 0 177567 2631 0 0 25 0 1 0 8068122 188858368 42780 1992294400 4194304 8223781 140736541485696 18446744073709551615 6446961 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 46108 42780 573 984 0 45121 0
Current children cumulated CPU time (s) 1801.98
Current children cumulated vsize (KiB) 184432

[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10897
/proc/meminfo: memFree=1569744/2059040 swapFree=4192956/4192956
[pid=10847] ppid=10845 vsize=184432 CPUtime=1802.08
/proc/10847/stat : 10847 (pbscip.linux.x8) R 10845 10847 10257 0 -1 4202496 5555984 0 0 0 177577 2631 0 0 25 0 1 0 8068122 188858368 42813 1992294400 4194304 8223781 140736541485696 18446744073709551615 6612653 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10847/statm: 46108 42813 573 984 0 45121 0
Current children cumulated CPU time (s) 1802.08
Current children cumulated vsize (KiB) 184432

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.74
CPU time (s): 1802.13
CPU user time (s): 1775.79
CPU system time (s): 26.337
CPU usage (%): 99.966
Max. virtual memory (cumulated for all children) (KiB): 189132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1775.79
system time used= 26.337
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5555989
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= 3
involuntary context switches= 20851

runsolver used 3.34449 second user time and 9.79051 second system time

The end

Launcher Data 

Begin job on node027 at 2010-06-12 14:02:43
IDJOB=2667443
IDBENCH=1499
IDSOLVER=1169
FILE ID=node027/2667443-1276344163
PBS_JOBID= 11173187
Free space on /tmp= 62448 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/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.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-2667443-1276344163/watcher-2667443-1276344163 -o /tmp/evaluation-result-2667443-1276344163/solver-2667443-1276344163 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667443-1276344163.opb -t 1800 -m 1800

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

MD5SUM BENCH= 6441cbb759000c1a64397279f4b3f0ed
RANDOM SEED=896871866

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

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1742772 kB
Buffers:         41572 kB
Cached:         145192 kB
SwapCached:          0 kB
Active:         154096 kB
Inactive:        92084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1742772 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            5592 kB
Writeback:           0 kB
AnonPages:       59512 kB
Mapped:          15476 kB
Slab:            48104 kB
PageTables:       4004 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180952 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264952 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62440 MiB
End job on node027 at 2010-06-12 14:32:46