Trace number 2665900

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver? (TO) 1802.12 1802.69

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb
MD5SUMa6ae80bf3bd14a966c0a388701471ae7
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.55776
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1600
Total number of constraints328901
Number of constraints which are clauses327070
Number of constraints which are cardinality constraints (but not clauses)61
Number of constraints which are nor clauses,nor cardinality constraints1770
Minimum length of a constraint2
Maximum length of a constraint700
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 258
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 759
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: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2665900-1276319725.opb>
5.69/5.79	c original problem has 1600 variables (1600 bin, 0 int, 0 impl, 0 cont) and 328901 constraints
5.69/5.79	c problem read
5.69/5.79	c No objective function, only one solution is needed.
5.69/5.80	c presolving settings loaded
6.89/6.92	c presolving:
10.59/10.69	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 328900 upgd conss, 1400 impls, 60 clqs
11.39/11.47	c (round 2) 0 del vars, 1400 del conss, 0 chg bounds, 0 chg sides, 1817 chg coeffs, 328900 upgd conss, 1400 impls, 60 clqs
12.19/12.27	c presolving (3 rounds):
12.19/12.27	c  0 deleted vars, 1400 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 1948 changed coefficients
12.19/12.27	c  3140 implications, 60 cliques
12.19/12.27	c presolved problem has 1600 variables (1600 bin, 0 int, 0 impl, 0 cont) and 327501 constraints
12.19/12.27	c    1770 constraints of type <knapsack>
12.19/12.27	c      60 constraints of type <setppc>
12.19/12.27	c       1 constraints of type <linear>
12.19/12.27	c  325670 constraints of type <logicor>
12.19/12.27	c transformed objective value is always integral (scale: 1)
12.19/12.27	c Presolving Time: 4.41
12.19/12.27	c - non default parameters ----------------------------------------------------------------------
12.19/12.27	c # SCIP version 1.2.1.2
12.19/12.27	c 
12.19/12.27	c # frequency for displaying node information lines
12.19/12.27	c # [type: int, range: [-1,2147483647], default: 100]
12.19/12.27	c display/freq = 10000
12.19/12.27	c 
12.19/12.27	c # maximal time in seconds to run
12.19/12.27	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
12.19/12.27	c limits/time = 1794.21
12.19/12.27	c 
12.19/12.27	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
12.19/12.27	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
12.19/12.27	c limits/memory = 1620
12.19/12.27	c 
12.19/12.27	c # solving stops, if the given number of solutions were found (-1: no limit)
12.19/12.27	c # [type: int, range: [-1,2147483647], default: -1]
12.19/12.27	c limits/solutions = 1
12.19/12.27	c 
12.19/12.27	c # maximal number of separation rounds per node (-1: unlimited)
12.19/12.27	c # [type: int, range: [-1,2147483647], default: 5]
12.19/12.27	c separating/maxrounds = 1
12.19/12.27	c 
12.19/12.27	c # maximal number of separation rounds in the root node (-1: unlimited)
12.19/12.27	c # [type: int, range: [-1,2147483647], default: -1]
12.19/12.27	c separating/maxroundsroot = 5
12.19/12.27	c 
12.19/12.27	c # should presolving try to simplify inequalities
12.19/12.27	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
12.19/12.27	c constraints/linear/simplifyinequalities = TRUE
12.19/12.27	c 
12.19/12.27	c # should disaggregation of knapsack constraints be allowed in preprocessing?
12.19/12.27	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
12.19/12.27	c constraints/knapsack/disaggregation = FALSE
12.19/12.27	c 
12.19/12.27	c # should presolving try to simplify knapsacks
12.19/12.27	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
12.19/12.27	c constraints/knapsack/simplifyinequalities = TRUE
12.19/12.27	c 
12.19/12.27	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
12.19/12.27	c # [type: int, range: [-1,2147483647], default: -1]
12.19/12.27	c presolving/probing/maxrounds = 0
12.19/12.27	c 
12.19/12.27	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
12.19/12.27	c # [type: int, range: [-1,2147483647], default: 10]
12.19/12.27	c heuristics/coefdiving/freq = -1
12.19/12.27	c 
12.19/12.27	c # maximal fraction of diving LP iterations compared to node LP iterations
12.19/12.27	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
12.19/12.27	c heuristics/coefdiving/maxlpiterquot = 0.075
12.19/12.27	c 
12.19/12.27	c # additional number of allowed LP iterations
12.19/12.27	c # [type: int, range: [0,2147483647], default: 1000]
12.19/12.27	c heuristics/coefdiving/maxlpiterofs = 1500
12.19/12.27	c 
12.19/12.27	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
12.19/12.27	c # [type: int, range: [-1,2147483647], default: 30]
12.19/12.27	c heuristics/crossover/freq = -1
12.19/12.27	c 
12.19/12.27	c # number of nodes added to the contingent of the total nodes
12.19/12.27	c # [type: longint, range: [0,9223372036854775807], default: 500]
12.19/12.27	c heuristics/crossover/nodesofs = 750
12.19/12.27	c 
12.19/12.27	c # number of nodes without incumbent change that heuristic should wait
12.19/12.27	c # [type: longint, range: [0,9223372036854775807], default: 200]
12.19/12.27	c heuristics/crossover/nwaitingnodes = 100
12.19/12.27	c 
12.19/12.27	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
12.19/12.27	c # [type: real, range: [0,1], default: 0.1]
12.19/12.27	c heuristics/crossover/nodesquot = 0.15
12.19/12.27	c 
12.19/12.27	c # minimum percentage of integer variables that have to be fixed 
12.19/12.27	c # [type: real, range: [0,1], default: 0.666]
12.19/12.27	c heuristics/crossover/minfixingrate = 0.5
12.19/12.27	c 
12.19/12.27	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
12.19/12.27	c # [type: int, range: [-1,2147483647], default: 20]
12.19/12.27	c heuristics/feaspump/freq = -1
12.19/12.27	c 
12.19/12.27	c # additional number of allowed LP iterations
12.19/12.27	c # [type: int, range: [0,2147483647], default: 1000]
12.19/12.27	c heuristics/feaspump/maxlpiterofs = 2000
12.19/12.27	c 
12.19/12.27	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
12.19/12.27	c # [type: int, range: [-1,2147483647], default: 10]
12.19/12.27	c heuristics/fracdiving/freq = -1
12.19/12.27	c 
12.19/12.27	c # maximal fraction of diving LP iterations compared to node LP iterations
12.19/12.27	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
12.19/12.27	c heuristics/fracdiving/maxlpiterquot = 0.075
12.19/12.27	c 
12.19/12.27	c # additional number of allowed LP iterations
12.19/12.27	c # [type: int, range: [0,2147483647], default: 1000]
12.19/12.27	c heuristics/fracdiving/maxlpiterofs = 1500
12.19/12.27	c 
12.19/12.27	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
12.19/12.27	c # [type: int, range: [-1,2147483647], default: 10]
12.19/12.27	c heuristics/guideddiving/freq = -1
12.19/12.27	c 
12.19/12.27	c # maximal fraction of diving LP iterations compared to node LP iterations
12.19/12.27	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
12.19/12.27	c heuristics/guideddiving/maxlpiterquot = 0.075
12.19/12.27	c 
12.19/12.27	c # additional number of allowed LP iterations
12.19/12.27	c # [type: int, range: [0,2147483647], default: 1000]
12.19/12.27	c heuristics/guideddiving/maxlpiterofs = 1500
12.19/12.27	c 
12.19/12.27	c # maximal fraction of diving LP iterations compared to node LP iterations
12.19/12.27	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
12.19/12.27	c heuristics/intdiving/maxlpiterquot = 0.075
12.19/12.27	c 
12.19/12.27	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
12.19/12.27	c # [type: int, range: [-1,2147483647], default: 10]
12.19/12.27	c heuristics/intshifting/freq = -1
12.19/12.27	c 
12.19/12.27	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
12.19/12.27	c # [type: int, range: [-1,2147483647], default: 10]
12.19/12.27	c heuristics/linesearchdiving/freq = -1
12.19/12.27	c 
12.19/12.27	c # maximal fraction of diving LP iterations compared to node LP iterations
12.19/12.27	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
12.19/12.27	c heuristics/linesearchdiving/maxlpiterquot = 0.075
12.19/12.27	c 
12.19/12.27	c # additional number of allowed LP iterations
12.19/12.27	c # [type: int, range: [0,2147483647], default: 1000]
12.19/12.27	c heuristics/linesearchdiving/maxlpiterofs = 1500
12.19/12.27	c 
12.19/12.27	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
12.19/12.27	c # [type: int, range: [-1,2147483647], default: 1]
12.19/12.27	c heuristics/nlp/freq = -1
12.19/12.27	c 
12.19/12.27	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
12.19/12.27	c # [type: int, range: [-1,2147483647], default: 20]
12.19/12.27	c heuristics/objpscostdiving/freq = -1
12.19/12.27	c 
12.19/12.27	c # maximal fraction of diving LP iterations compared to total iteration number
12.19/12.27	c # [type: real, range: [0,1], default: 0.01]
12.19/12.27	c heuristics/objpscostdiving/maxlpiterquot = 0.015
12.19/12.27	c 
12.19/12.27	c # additional number of allowed LP iterations
12.19/12.27	c # [type: int, range: [0,2147483647], default: 1000]
12.19/12.27	c heuristics/objpscostdiving/maxlpiterofs = 1500
12.19/12.27	c 
12.19/12.27	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
12.19/12.27	c # [type: int, range: [-1,2147483647], default: 1]
12.19/12.27	c heuristics/oneopt/freq = -1
12.19/12.27	c 
12.19/12.27	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
12.19/12.27	c # [type: int, range: [-1,2147483647], default: 10]
12.19/12.27	c heuristics/pscostdiving/freq = -1
12.19/12.27	c 
12.19/12.27	c # maximal fraction of diving LP iterations compared to node LP iterations
12.19/12.27	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
12.19/12.27	c heuristics/pscostdiving/maxlpiterquot = 0.075
12.19/12.27	c 
12.19/12.27	c # additional number of allowed LP iterations
12.19/12.27	c # [type: int, range: [0,2147483647], default: 1000]
12.19/12.27	c heuristics/pscostdiving/maxlpiterofs = 1500
12.19/12.27	c 
12.19/12.27	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
12.19/12.27	c # [type: int, range: [-1,2147483647], default: 0]
12.19/12.27	c heuristics/rens/freq = -1
12.19/12.27	c 
12.19/12.27	c # minimum percentage of integer variables that have to be fixable 
12.19/12.27	c # [type: real, range: [0,1], default: 0.5]
12.19/12.27	c heuristics/rens/minfixingrate = 0.3
12.19/12.27	c 
12.19/12.27	c # number of nodes added to the contingent of the total nodes
12.19/12.27	c # [type: longint, range: [0,9223372036854775807], default: 500]
12.19/12.27	c heuristics/rens/nodesofs = 2000
12.19/12.27	c 
12.19/12.27	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
12.19/12.27	c # [type: int, range: [-1,2147483647], default: 20]
12.19/12.27	c heuristics/rootsoldiving/freq = -1
12.19/12.27	c 
12.19/12.27	c # maximal fraction of diving LP iterations compared to node LP iterations
12.19/12.27	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
12.19/12.27	c heuristics/rootsoldiving/maxlpiterquot = 0.015
12.19/12.27	c 
12.19/12.27	c # additional number of allowed LP iterations
12.19/12.27	c # [type: int, range: [0,2147483647], default: 1000]
12.19/12.27	c heuristics/rootsoldiving/maxlpiterofs = 1500
12.19/12.27	c 
12.19/12.27	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
12.19/12.27	c # [type: int, range: [-1,2147483647], default: 1]
12.19/12.27	c heuristics/rounding/freq = -1
12.19/12.27	c 
12.19/12.27	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
12.19/12.27	c # [type: int, range: [-1,2147483647], default: 10]
12.19/12.27	c heuristics/shifting/freq = -1
12.19/12.27	c 
12.19/12.27	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
12.19/12.27	c # [type: int, range: [-1,2147483647], default: 1]
12.19/12.27	c heuristics/simplerounding/freq = -1
12.19/12.27	c 
12.19/12.27	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
12.19/12.27	c # [type: int, range: [-1,2147483647], default: 0]
12.19/12.27	c heuristics/trivial/freq = -1
12.19/12.27	c 
12.19/12.27	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
12.19/12.27	c # [type: int, range: [-1,2147483647], default: 1]
12.19/12.27	c heuristics/trysol/freq = -1
12.19/12.27	c 
12.19/12.27	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
12.19/12.27	c # [type: int, range: [-1,2147483647], default: 10]
12.19/12.27	c heuristics/veclendiving/freq = -1
12.19/12.27	c 
12.19/12.27	c # maximal fraction of diving LP iterations compared to node LP iterations
12.19/12.27	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
12.19/12.27	c heuristics/veclendiving/maxlpiterquot = 0.075
12.19/12.27	c 
12.19/12.27	c # additional number of allowed LP iterations
12.19/12.27	c # [type: int, range: [0,2147483647], default: 1000]
12.19/12.27	c heuristics/veclendiving/maxlpiterofs = 1500
12.19/12.27	c 
12.19/12.27	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
12.19/12.27	c # [type: int, range: [-1,2147483647], default: 1]
12.19/12.27	c heuristics/zirounding/freq = -1
12.19/12.27	c 
12.19/12.27	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
12.19/12.27	c # [type: int, range: [-1,2147483647], default: 0]
12.19/12.27	c separating/cmir/freq = -1
12.19/12.27	c 
12.19/12.27	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
12.19/12.27	c # [type: int, range: [-1,2147483647], default: 0]
12.19/12.27	c separating/flowcover/freq = -1
12.19/12.27	c 
12.19/12.27	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
12.19/12.27	c # [type: int, range: [-1,2147483647], default: -1]
12.19/12.27	c separating/rapidlearning/freq = 0
12.19/12.27	c 
12.19/12.27	c -----------------------------------------------------------------------------------------------
12.19/12.27	c start solving
12.19/12.29	c 
79.66/79.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
79.66/79.72	c  72.0s|     1 |     0 |  1465 |     - | 378M|   0 | 190 |1600 | 327k|1600 | 327k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
904.71/905.04	c   895s|     1 |     0 | 13799 |     - | 378M|   0 |  95 |1600 | 327k|1600 | 327k|  15 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1496.01/1496.50	c  1485s|     1 |     0 | 22754 |     - | 380M|   0 |  99 |1600 | 327k|1600 | 327k|  31 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1800.04/1800.61	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-2665900-1276319725/watcher-2665900-1276319725 -o /tmp/evaluation-result-2665900-1276319725/solver-2665900-1276319725 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665900-1276319725.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.02 1.01 1.00 3/106 8125
/proc/meminfo: memFree=1510928/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=9288 CPUtime=0
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 1030 0 0 0 0 0 0 0 18 0 1 0 7574298 9510912 950 1992294400 4194304 9819077 140735463386560 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8125/statm: 2322 959 371 1374 0 943 0

[startup+0.0758951 s]
/proc/loadavg: 1.02 1.01 1.00 3/106 8125
/proc/meminfo: memFree=1510928/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=13108 CPUtime=0.06
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 2200 0 0 0 6 0 0 0 20 0 1 0 7574298 13422592 2120 1992294400 4194304 9819077 140735463386560 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8125/statm: 3277 2120 386 1374 0 1898 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13108

[startup+0.100898 s]
/proc/loadavg: 1.02 1.01 1.00 3/106 8125
/proc/meminfo: memFree=1510928/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=14544 CPUtime=0.09
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 2561 0 0 0 9 0 0 0 20 0 1 0 7574298 14893056 2481 1992294400 4194304 9819077 140735463386560 18446744073709551615 5650579 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8125/statm: 3636 2481 386 1374 0 2257 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14544

[startup+0.300919 s]
/proc/loadavg: 1.02 1.01 1.00 3/106 8125
/proc/meminfo: memFree=1510928/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=18608 CPUtime=0.29
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 3564 0 0 0 28 1 0 0 20 0 1 0 7574298 19054592 3484 1992294400 4194304 9819077 140735463386560 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8125/statm: 4652 3484 386 1374 0 3273 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18608

[startup+0.700964 s]
/proc/loadavg: 1.02 1.01 1.00 3/106 8125
/proc/meminfo: memFree=1510928/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=27140 CPUtime=0.69
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 5705 0 0 0 67 2 0 0 20 0 1 0 7574298 27791360 5625 1992294400 4194304 9819077 140735463386560 18446744073709551615 5649684 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8125/statm: 6785 5625 386 1374 0 5406 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27140

[startup+1.50105 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 8126
/proc/meminfo: memFree=1484012/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=44328 CPUtime=1.49
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 9982 0 0 0 146 3 0 0 23 0 1 0 7574298 45391872 9902 1992294400 4194304 9819077 140735463386560 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8125/statm: 11082 9902 386 1374 0 9703 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44328

[startup+3.10123 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 8126
/proc/meminfo: memFree=1459956/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=77064 CPUtime=3.09
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 18151 0 0 0 303 6 0 0 25 0 1 0 7574298 78913536 18071 1992294400 4194304 9819077 140735463386560 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8125/statm: 19266 18071 386 1374 0 17887 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 77064

[startup+6.30058 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 8126
/proc/meminfo: memFree=1392004/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=277084 CPUtime=6.29
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 68510 0 0 0 605 24 0 0 25 0 1 0 7574298 283734016 68031 1992294400 4194304 9819077 140735463386560 18446744073709551615 6179008 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8125/statm: 69271 68034 437 1374 0 67892 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 277084

[startup+12.7003 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 8126
/proc/meminfo: memFree=1160124/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=388304 CPUtime=12.69
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 162197 0 0 0 1118 151 0 0 25 0 1 0 7574298 397623296 95344 1992294400 4194304 9819077 140735463386560 18446744073709551615 4667250 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8125/statm: 97076 95344 543 1374 0 95697 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 388304

[startup+25.5007 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 8126
/proc/meminfo: memFree=834748/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=804192 CPUtime=25.48
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 243668 0 0 0 2368 180 0 0 25 0 1 0 7574298 823492608 169262 1992294400 4194304 9819077 140735463386560 18446744073709551615 6198288 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8125/statm: 201048 169262 634 1374 0 199669 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 804192

[startup+51.1015 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 8126
/proc/meminfo: memFree=824704/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=804192 CPUtime=51.08
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 246207 0 0 0 4926 182 0 0 25 0 1 0 7574298 823492608 171801 1992294400 4194304 9819077 140735463386560 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8125/statm: 201048 171801 634 1374 0 199669 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 804192

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8128
/proc/meminfo: memFree=840328/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=831896 CPUtime=102.27
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 318359 0 0 0 10014 213 0 0 25 0 1 0 7574298 851861504 167879 1992294400 4194304 9819077 140735463386560 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8125/statm: 207974 167879 663 1374 0 206595 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 831896

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8130
/proc/meminfo: memFree=814536/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=831896 CPUtime=162.25
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 324895 0 0 0 16007 218 0 0 25 0 1 0 7574298 851861504 174415 1992294400 4194304 9819077 140735463386560 18446744073709551615 6192309 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8125/statm: 207974 174415 663 1374 0 206595 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 831896

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8132
/proc/meminfo: memFree=829292/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=900784 CPUtime=222.22
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 361265 0 0 0 21989 233 0 0 25 0 1 0 7574298 922402816 170659 1992294400 4194304 9819077 140735463386560 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8125/statm: 225196 170659 663 1374 0 223817 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 900784

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8132
/proc/meminfo: memFree=806352/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=903448 CPUtime=282.2
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 387703 0 0 0 27973 247 0 0 25 0 1 0 7574298 925130752 176412 1992294400 4194304 9819077 140735463386560 18446744073709551615 7294784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8125/statm: 225862 176412 663 1374 0 224483 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 903448

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8134
/proc/meminfo: memFree=833136/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=913524 CPUtime=342.19
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 423053 0 0 0 33956 263 0 0 25 0 1 0 7574298 935448576 169674 1992294400 4194304 9819077 140735463386560 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8125/statm: 228381 169674 663 1374 0 227002 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 913524

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8136
/proc/meminfo: memFree=826068/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=922392 CPUtime=402.17
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 474005 0 0 0 39931 286 0 0 25 0 1 0 7574298 944529408 171474 1992294400 4194304 9819077 140735463386560 18446744073709551615 6191195 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8125/statm: 230598 171474 663 1374 0 229219 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 922392

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8138
/proc/meminfo: memFree=818628/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=917424 CPUtime=462.15
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 513081 0 0 0 45910 305 0 0 25 0 1 0 7574298 939442176 173371 1992294400 4194304 9819077 140735463386560 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8125/statm: 229356 173371 663 1374 0 227977 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 917424

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8140
/proc/meminfo: memFree=831152/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=909680 CPUtime=522.14
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 552395 0 0 0 51890 324 0 0 25 0 1 0 7574298 931512320 170221 1992294400 4194304 9819077 140735463386560 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8125/statm: 227420 170221 663 1374 0 226041 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 909680

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8140
/proc/meminfo: memFree=830904/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=903280 CPUtime=582.12
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 573831 0 0 0 57877 335 0 0 25 0 1 0 7574298 924958720 170225 1992294400 4194304 9819077 140735463386560 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8125/statm: 225820 170225 663 1374 0 224441 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 903280

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8142
/proc/meminfo: memFree=815404/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=896628 CPUtime=642.1
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 598018 0 0 0 63864 346 0 0 25 0 1 0 7574298 918147072 174034 1992294400 4194304 9819077 140735463386560 18446744073709551615 7294751 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8125/statm: 224157 174034 663 1374 0 222778 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 896628

[startup+702.301 s]

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

/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 795824 0 0 0 99756 442 0 0 25 0 1 0 7574298 911757312 171461 1992294400 4194304 9819077 140735463386560 18446744073709551615 6191199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8125/statm: 222597 171461 663 1374 0 221218 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 890388

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8154
/proc/meminfo: memFree=823092/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=918136 CPUtime=1061.95
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 835913 0 0 0 105736 459 0 0 25 0 1 0 7574298 940171264 172192 1992294400 4194304 9819077 140735463386560 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8125/statm: 229534 172192 663 1374 0 228155 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 918136

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8156
/proc/meminfo: memFree=793952/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=919636 CPUtime=1121.94
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 862416 0 0 0 111721 473 0 0 25 0 1 0 7574298 941707264 179303 1992294400 4194304 9819077 140735463386560 18446744073709551615 6198389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8125/statm: 229909 179303 663 1374 0 228530 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 919636

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8156
/proc/meminfo: memFree=790852/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=917940 CPUtime=1181.92
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 884765 0 0 0 117707 485 0 0 25 0 1 0 7574298 939970560 180143 1992294400 4194304 9819077 140735463386560 18446744073709551615 7290936 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8125/statm: 229485 180143 663 1374 0 228106 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 917940

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8158
/proc/meminfo: memFree=791596/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=917012 CPUtime=1241.9
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 906639 0 0 0 123694 496 0 0 25 0 1 0 7574298 939020288 179855 1992294400 4194304 9819077 140735463386560 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8125/statm: 229253 179855 663 1374 0 227874 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 917012

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8160
/proc/meminfo: memFree=793704/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=909688 CPUtime=1301.88
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 928142 0 0 0 129681 507 0 0 25 0 1 0 7574298 931520512 179295 1992294400 4194304 9819077 140735463386560 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8125/statm: 227422 179295 663 1374 0 226043 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 909688

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8162
/proc/meminfo: memFree=802632/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=893268 CPUtime=1361.86
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 961855 0 0 0 135662 524 0 0 25 0 1 0 7574298 914706432 177101 1992294400 4194304 9819077 140735463386560 18446744073709551615 6198342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8125/statm: 223317 177101 663 1374 0 221938 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 893268

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8164
/proc/meminfo: memFree=829416/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=868880 CPUtime=1421.84
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 993462 0 0 0 141645 539 0 0 25 0 1 0 7574298 889733120 170415 1992294400 4194304 9819077 140735463386560 18446744073709551615 7291108 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8125/statm: 217220 170415 663 1374 0 215841 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 868880

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8164
/proc/meminfo: memFree=825944/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=849588 CPUtime=1481.82
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 1038532 0 0 0 147620 562 0 0 25 0 1 0 7574298 869978112 171402 1992294400 4194304 9819077 140735463386560 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8125/statm: 212397 171402 663 1374 0 211018 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 849588

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8166
/proc/meminfo: memFree=819372/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=834712 CPUtime=1541.8
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 1109477 0 0 0 153585 595 0 0 25 0 1 0 7574298 854745088 172904 1992294400 4194304 9819077 140735463386560 18446744073709551615 6199022 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8125/statm: 208678 172904 663 1374 0 207299 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 834712

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8168
/proc/meminfo: memFree=819124/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=919984 CPUtime=1601.79
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 1129757 0 0 0 159574 605 0 0 25 0 1 0 7574298 942063616 173028 1992294400 4194304 9819077 140735463386560 18446744073709551615 6192285 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8125/statm: 229996 173028 663 1374 0 228617 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 919984

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8170
/proc/meminfo: memFree=784900/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=919984 CPUtime=1661.76
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 1138253 0 0 0 165567 609 0 0 25 0 1 0 7574298 942063616 181524 1992294400 4194304 9819077 140735463386560 18446744073709551615 6192309 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8125/statm: 229996 181524 663 1374 0 228617 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 919984

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8172
/proc/meminfo: memFree=812924/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=949460 CPUtime=1721.74
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 1175790 0 0 0 171549 625 0 0 25 0 1 0 7574298 972247040 174574 1992294400 4194304 9819077 140735463386560 18446744073709551615 7292302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8125/statm: 237365 174574 663 1374 0 235986 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 949460

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8172
/proc/meminfo: memFree=780188/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=949460 CPUtime=1781.73
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 1183827 0 0 0 177544 629 0 0 25 0 1 0 7574298 972247040 182611 1992294400 4194304 9819077 140735463386560 18446744073709551615 6191175 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8125/statm: 237365 182611 663 1374 0 235986 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 949460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8174
/proc/meminfo: memFree=815900/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=958616 CPUtime=1800.04
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 1199982 0 0 0 179367 637 0 0 25 0 1 0 7574298 981622784 173689 1992294400 4194304 9819077 140735463386560 18446744073709551615 7480984 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8125/statm: 239654 173689 663 1374 0 238275 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 958616

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -8125

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 8174
/proc/meminfo: memFree=815900/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=958616 CPUtime=1800.82
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 1200273 0 0 0 179445 637 0 0 25 0 1 0 7574298 981622784 173980 1992294400 4194304 9819077 140735463386560 18446744073709551615 7291112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8125/statm: 239654 173980 663 1374 0 238275 0
Current children cumulated CPU time (s) 1800.82
Current children cumulated vsize (KiB) 958616

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 8175
/proc/meminfo: memFree=814528/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=958616 CPUtime=1801.62
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 1200305 0 0 0 179525 637 0 0 25 0 1 0 7574298 981622784 174012 1992294400 4194304 9819077 140735463386560 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8125/statm: 239654 174012 663 1374 0 238275 0
Current children cumulated CPU time (s) 1801.62
Current children cumulated vsize (KiB) 958616

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 8175
/proc/meminfo: memFree=814528/2059040 swapFree=4192956/4192956
[pid=8125] ppid=8123 vsize=958616 CPUtime=1802.02
/proc/8125/stat : 8125 (pbscip.linux.x8) R 8123 8125 6883 0 -1 4202496 1200317 0 0 0 179565 637 0 0 25 0 1 0 7574298 981622784 174024 1992294400 4194304 9819077 140735463386560 18446744073709551615 7294714 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8125/statm: 239654 174024 663 1374 0 238275 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 958616

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.69
CPU time (s): 1802.12
CPU user time (s): 1795.67
CPU system time (s): 6.44302
CPU usage (%): 99.9683
Max. virtual memory (cumulated for all children) (KiB): 958616

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

runsolver used 2.99454 second user time and 8.49971 second system time

The end

Launcher Data 

Begin job on node009 at 2010-06-12 07:15:25
IDJOB=2665900
IDBENCH=1376
IDSOLVER=1168
FILE ID=node009/2665900-1276319725
PBS_JOBID= 11173144
Free space on /tmp= 62432 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665900-1276319725/watcher-2665900-1276319725 -o /tmp/evaluation-result-2665900-1276319725/solver-2665900-1276319725 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665900-1276319725.opb -t 1800 -m 1800

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

MD5SUM BENCH= a6ae80bf3bd14a966c0a388701471ae7
RANDOM SEED=877398854

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1511456 kB
Buffers:         86740 kB
Cached:         332348 kB
SwapCached:          0 kB
Active:         190860 kB
Inactive:       287412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1511456 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           17384 kB
Writeback:           8 kB
AnonPages:       59132 kB
Mapped:          15400 kB
Slab:            47604 kB
PageTables:       4084 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181552 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= 62424 MiB
End job on node009 at 2010-06-12 07:45:28