Trace number 2666286

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

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_5_80.opb
MD5SUMd5640996c15a8815d620b5d6c220fea1
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1000
Total number of constraints1502
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
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 80
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)75000
Sum of products size (including duplicates)150000
Number of different products37500
Sum of products size75000

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2666286-1276677283.opb>
0.49/0.54	c original problem has 38500 variables (38500 bin, 0 int, 0 impl, 0 cont) and 39002 constraints
0.49/0.54	c problem read
0.49/0.54	c No objective function, only one solution is needed.
0.49/0.55	c presolving settings loaded
0.99/1.04	c presolving:
2.49/2.50	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1501 upgd conss, 300136 impls, 1000 clqs
3.49/3.52	c presolving (2 rounds):
3.49/3.52	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.49/3.52	c  300136 implications, 1000 cliques
3.49/3.52	c presolved problem has 38500 variables (38500 bin, 0 int, 0 impl, 0 cont) and 39002 constraints
3.49/3.52	c       1 constraints of type <knapsack>
3.49/3.52	c    1000 constraints of type <setppc>
3.49/3.52	c   37500 constraints of type <and>
3.49/3.52	c       1 constraints of type <linear>
3.49/3.52	c     500 constraints of type <logicor>
3.49/3.52	c transformed objective value is always integral (scale: 1)
3.49/3.52	c Presolving Time: 2.47
3.49/3.52	c - non default parameters ----------------------------------------------------------------------
3.49/3.52	c # SCIP version 1.2.1.2
3.49/3.52	c 
3.49/3.52	c # frequency for displaying node information lines
3.49/3.52	c # [type: int, range: [-1,2147483647], default: 100]
3.49/3.52	c display/freq = 10000
3.49/3.52	c 
3.49/3.52	c # maximal time in seconds to run
3.49/3.52	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.49/3.52	c limits/time = 1799.46
3.49/3.52	c 
3.49/3.52	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.49/3.52	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.49/3.52	c limits/memory = 1620
3.49/3.52	c 
3.49/3.52	c # solving stops, if the given number of solutions were found (-1: no limit)
3.49/3.52	c # [type: int, range: [-1,2147483647], default: -1]
3.49/3.52	c limits/solutions = 1
3.49/3.52	c 
3.49/3.52	c # maximal number of separation rounds per node (-1: unlimited)
3.49/3.52	c # [type: int, range: [-1,2147483647], default: 5]
3.49/3.52	c separating/maxrounds = 1
3.49/3.52	c 
3.49/3.52	c # maximal number of separation rounds in the root node (-1: unlimited)
3.49/3.52	c # [type: int, range: [-1,2147483647], default: -1]
3.49/3.52	c separating/maxroundsroot = 5
3.49/3.52	c 
3.49/3.52	c # should presolving try to simplify inequalities
3.49/3.52	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.49/3.52	c constraints/linear/simplifyinequalities = TRUE
3.49/3.52	c 
3.49/3.52	c # should disaggregation of knapsack constraints be allowed in preprocessing?
3.49/3.52	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
3.49/3.52	c constraints/knapsack/disaggregation = FALSE
3.49/3.52	c 
3.49/3.52	c # should presolving try to simplify knapsacks
3.49/3.52	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.49/3.52	c constraints/knapsack/simplifyinequalities = TRUE
3.49/3.52	c 
3.49/3.52	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
3.49/3.52	c # [type: int, range: [-1,2147483647], default: -1]
3.49/3.52	c presolving/probing/maxrounds = 0
3.49/3.52	c 
3.49/3.52	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
3.49/3.52	c # [type: int, range: [-1,2147483647], default: 10]
3.49/3.52	c heuristics/coefdiving/freq = -1
3.49/3.52	c 
3.49/3.52	c # maximal fraction of diving LP iterations compared to node LP iterations
3.49/3.52	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.49/3.52	c heuristics/coefdiving/maxlpiterquot = 0.075
3.49/3.52	c 
3.49/3.52	c # additional number of allowed LP iterations
3.49/3.52	c # [type: int, range: [0,2147483647], default: 1000]
3.49/3.52	c heuristics/coefdiving/maxlpiterofs = 1500
3.49/3.52	c 
3.49/3.52	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
3.49/3.52	c # [type: int, range: [-1,2147483647], default: 30]
3.49/3.52	c heuristics/crossover/freq = -1
3.49/3.52	c 
3.49/3.52	c # number of nodes added to the contingent of the total nodes
3.49/3.52	c # [type: longint, range: [0,9223372036854775807], default: 500]
3.49/3.52	c heuristics/crossover/nodesofs = 750
3.49/3.52	c 
3.49/3.52	c # number of nodes without incumbent change that heuristic should wait
3.49/3.52	c # [type: longint, range: [0,9223372036854775807], default: 200]
3.49/3.52	c heuristics/crossover/nwaitingnodes = 100
3.49/3.52	c 
3.49/3.52	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
3.49/3.52	c # [type: real, range: [0,1], default: 0.1]
3.49/3.52	c heuristics/crossover/nodesquot = 0.15
3.49/3.52	c 
3.49/3.52	c # minimum percentage of integer variables that have to be fixed 
3.49/3.52	c # [type: real, range: [0,1], default: 0.666]
3.49/3.52	c heuristics/crossover/minfixingrate = 0.5
3.49/3.52	c 
3.49/3.52	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
3.49/3.52	c # [type: int, range: [-1,2147483647], default: 20]
3.49/3.52	c heuristics/feaspump/freq = -1
3.49/3.52	c 
3.49/3.52	c # additional number of allowed LP iterations
3.49/3.52	c # [type: int, range: [0,2147483647], default: 1000]
3.49/3.52	c heuristics/feaspump/maxlpiterofs = 2000
3.49/3.52	c 
3.49/3.52	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
3.49/3.52	c # [type: int, range: [-1,2147483647], default: 10]
3.49/3.52	c heuristics/fracdiving/freq = -1
3.49/3.52	c 
3.49/3.52	c # maximal fraction of diving LP iterations compared to node LP iterations
3.49/3.52	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.49/3.52	c heuristics/fracdiving/maxlpiterquot = 0.075
3.49/3.52	c 
3.49/3.52	c # additional number of allowed LP iterations
3.49/3.52	c # [type: int, range: [0,2147483647], default: 1000]
3.49/3.52	c heuristics/fracdiving/maxlpiterofs = 1500
3.49/3.52	c 
3.49/3.52	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
3.49/3.52	c # [type: int, range: [-1,2147483647], default: 10]
3.49/3.52	c heuristics/guideddiving/freq = -1
3.49/3.52	c 
3.49/3.52	c # maximal fraction of diving LP iterations compared to node LP iterations
3.49/3.52	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.49/3.52	c heuristics/guideddiving/maxlpiterquot = 0.075
3.49/3.52	c 
3.49/3.52	c # additional number of allowed LP iterations
3.49/3.52	c # [type: int, range: [0,2147483647], default: 1000]
3.49/3.52	c heuristics/guideddiving/maxlpiterofs = 1500
3.49/3.52	c 
3.49/3.52	c # maximal fraction of diving LP iterations compared to node LP iterations
3.49/3.52	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.49/3.52	c heuristics/intdiving/maxlpiterquot = 0.075
3.49/3.52	c 
3.49/3.52	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
3.49/3.52	c # [type: int, range: [-1,2147483647], default: 10]
3.49/3.52	c heuristics/intshifting/freq = -1
3.49/3.52	c 
3.49/3.52	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
3.49/3.52	c # [type: int, range: [-1,2147483647], default: 10]
3.49/3.52	c heuristics/linesearchdiving/freq = -1
3.49/3.52	c 
3.49/3.52	c # maximal fraction of diving LP iterations compared to node LP iterations
3.49/3.52	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.49/3.52	c heuristics/linesearchdiving/maxlpiterquot = 0.075
3.49/3.52	c 
3.49/3.52	c # additional number of allowed LP iterations
3.49/3.52	c # [type: int, range: [0,2147483647], default: 1000]
3.49/3.52	c heuristics/linesearchdiving/maxlpiterofs = 1500
3.49/3.52	c 
3.49/3.52	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
3.49/3.52	c # [type: int, range: [-1,2147483647], default: 1]
3.49/3.52	c heuristics/nlp/freq = -1
3.49/3.52	c 
3.49/3.52	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
3.49/3.52	c # [type: int, range: [-1,2147483647], default: 20]
3.49/3.52	c heuristics/objpscostdiving/freq = -1
3.49/3.52	c 
3.49/3.52	c # maximal fraction of diving LP iterations compared to total iteration number
3.49/3.52	c # [type: real, range: [0,1], default: 0.01]
3.49/3.52	c heuristics/objpscostdiving/maxlpiterquot = 0.015
3.49/3.52	c 
3.49/3.52	c # additional number of allowed LP iterations
3.49/3.52	c # [type: int, range: [0,2147483647], default: 1000]
3.49/3.52	c heuristics/objpscostdiving/maxlpiterofs = 1500
3.49/3.52	c 
3.49/3.52	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
3.49/3.52	c # [type: int, range: [-1,2147483647], default: 1]
3.49/3.52	c heuristics/oneopt/freq = -1
3.49/3.52	c 
3.49/3.52	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
3.49/3.52	c # [type: int, range: [-1,2147483647], default: 10]
3.49/3.52	c heuristics/pscostdiving/freq = -1
3.49/3.52	c 
3.49/3.52	c # maximal fraction of diving LP iterations compared to node LP iterations
3.49/3.52	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.49/3.52	c heuristics/pscostdiving/maxlpiterquot = 0.075
3.49/3.52	c 
3.49/3.52	c # additional number of allowed LP iterations
3.49/3.52	c # [type: int, range: [0,2147483647], default: 1000]
3.49/3.52	c heuristics/pscostdiving/maxlpiterofs = 1500
3.49/3.52	c 
3.49/3.52	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
3.49/3.52	c # [type: int, range: [-1,2147483647], default: 0]
3.49/3.52	c heuristics/rens/freq = -1
3.49/3.52	c 
3.49/3.52	c # minimum percentage of integer variables that have to be fixable 
3.49/3.52	c # [type: real, range: [0,1], default: 0.5]
3.49/3.52	c heuristics/rens/minfixingrate = 0.3
3.49/3.52	c 
3.49/3.52	c # number of nodes added to the contingent of the total nodes
3.49/3.52	c # [type: longint, range: [0,9223372036854775807], default: 500]
3.49/3.52	c heuristics/rens/nodesofs = 2000
3.49/3.52	c 
3.49/3.52	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
3.49/3.52	c # [type: int, range: [-1,2147483647], default: 20]
3.49/3.52	c heuristics/rootsoldiving/freq = -1
3.49/3.52	c 
3.49/3.52	c # maximal fraction of diving LP iterations compared to node LP iterations
3.49/3.52	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
3.49/3.52	c heuristics/rootsoldiving/maxlpiterquot = 0.015
3.49/3.52	c 
3.49/3.52	c # additional number of allowed LP iterations
3.49/3.52	c # [type: int, range: [0,2147483647], default: 1000]
3.49/3.52	c heuristics/rootsoldiving/maxlpiterofs = 1500
3.49/3.52	c 
3.49/3.52	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
3.49/3.52	c # [type: int, range: [-1,2147483647], default: 1]
3.49/3.52	c heuristics/rounding/freq = -1
3.49/3.52	c 
3.49/3.52	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
3.49/3.52	c # [type: int, range: [-1,2147483647], default: 10]
3.49/3.52	c heuristics/shifting/freq = -1
3.49/3.52	c 
3.49/3.52	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
3.49/3.52	c # [type: int, range: [-1,2147483647], default: 1]
3.49/3.52	c heuristics/simplerounding/freq = -1
3.49/3.52	c 
3.49/3.52	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
3.49/3.52	c # [type: int, range: [-1,2147483647], default: 0]
3.49/3.52	c heuristics/trivial/freq = -1
3.49/3.52	c 
3.49/3.52	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
3.49/3.52	c # [type: int, range: [-1,2147483647], default: 1]
3.49/3.52	c heuristics/trysol/freq = -1
3.49/3.52	c 
3.49/3.52	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
3.49/3.52	c # [type: int, range: [-1,2147483647], default: 10]
3.49/3.52	c heuristics/veclendiving/freq = -1
3.49/3.52	c 
3.49/3.52	c # maximal fraction of diving LP iterations compared to node LP iterations
3.49/3.52	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.49/3.52	c heuristics/veclendiving/maxlpiterquot = 0.075
3.49/3.52	c 
3.49/3.52	c # additional number of allowed LP iterations
3.49/3.52	c # [type: int, range: [0,2147483647], default: 1000]
3.49/3.52	c heuristics/veclendiving/maxlpiterofs = 1500
3.49/3.52	c 
3.49/3.52	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
3.49/3.52	c # [type: int, range: [-1,2147483647], default: 1]
3.49/3.52	c heuristics/zirounding/freq = -1
3.49/3.52	c 
3.49/3.52	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
3.49/3.52	c # [type: int, range: [-1,2147483647], default: 0]
3.49/3.52	c separating/cmir/freq = -1
3.49/3.52	c 
3.49/3.52	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
3.49/3.52	c # [type: int, range: [-1,2147483647], default: 0]
3.49/3.52	c separating/flowcover/freq = -1
3.49/3.52	c 
3.49/3.52	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.49/3.52	c # [type: int, range: [-1,2147483647], default: -1]
3.49/3.52	c separating/rapidlearning/freq = 0
3.49/3.52	c 
3.49/3.52	c -----------------------------------------------------------------------------------------------
3.49/3.52	c start solving
3.49/3.56	c 
79.96/80.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
79.96/80.08	c  78.8s|     1 |     0 |  5540 |     - | 174M|   0 |2933 |  38k|  39k|  38k|  76k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
331.39/331.59	c   290s|     1 |     0 |  6215 |     - | 174M|   0 |2919 |  38k|  39k|  38k|  76k|  66 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
588.51/588.79	c   506s|     1 |     0 |  6986 |     - | 174M|   0 |2797 |  38k|  39k|  38k|  76k|  97 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
843.23/843.53	c   720s|     1 |     0 |  7620 |     - | 174M|   0 |2816 |  38k|  39k|  38k|  76k| 115 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1098.36/1098.70	c   934s|     1 |     0 |  8285 |     - | 174M|   0 |2749 |  38k|  39k|  38k|  76k| 130 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1351.17/1351.60	c  1146s|     1 |     0 |  9010 |     - | 174M|   0 |2765 |  38k|  39k|  38k|  76k| 148 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1752.02/1752.63	c  1544s|     1 |     2 |  9010 |     - | 174M|   0 |2765 |  38k|  39k|  38k|  76k| 148 |   0 |  26 | 0.000000e+00 |      --      |    Inf 
1800.01/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-2666286-1276677283/watcher-2666286-1276677283 -o /tmp/evaluation-result-2666286-1276677283/solver-2666286-1276677283 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666286-1276677283.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.01 1.01 1.00 3/106 16725
/proc/meminfo: memFree=1793276/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=8020 CPUtime=0
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 1095 0 0 0 0 0 0 0 25 0 1 0 9023280 8212480 1014 1992294400 4194304 8223781 140737477869248 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16725/statm: 2005 1023 348 984 0 1018 0

[startup+0.022236 s]
/proc/loadavg: 1.01 1.01 1.00 3/106 16725
/proc/meminfo: memFree=1793276/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=11404 CPUtime=0.01
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 1987 0 0 0 1 0 0 0 25 0 1 0 9023280 11677696 1906 1992294400 4194304 8223781 140737477869248 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16725/statm: 2851 1917 364 984 0 1864 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11404

[startup+0.101244 s]
/proc/loadavg: 1.01 1.01 1.00 3/106 16725
/proc/meminfo: memFree=1793276/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=19244 CPUtime=0.1
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 4043 0 0 0 8 2 0 0 25 0 1 0 9023280 19705856 3962 1992294400 4194304 8223781 140737477869248 18446744073709551615 4213598 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16725/statm: 4811 3962 364 984 0 3824 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 19244

[startup+0.300265 s]
/proc/loadavg: 1.01 1.01 1.00 3/106 16725
/proc/meminfo: memFree=1793276/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=38332 CPUtime=0.29
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 8781 0 0 0 25 4 0 0 25 0 1 0 9023280 39251968 8688 1992294400 4194304 8223781 140737477869248 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16725/statm: 9583 8698 364 984 0 8596 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38332

[startup+0.700308 s]
/proc/loadavg: 1.01 1.01 1.00 3/106 16725
/proc/meminfo: memFree=1793276/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=92316 CPUtime=0.69
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 22742 0 0 0 61 8 0 0 25 0 1 0 9023280 94531584 22190 1992294400 4194304 8223781 140737477869248 18446744073709551615 7256806 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 23079 22190 382 984 0 22092 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92316

[startup+1.50039 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 16726
/proc/meminfo: memFree=1687992/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=118952 CPUtime=1.49
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 29179 0 0 0 137 12 0 0 25 0 1 0 9023280 121806848 28627 1992294400 4194304 8223781 140737477869248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 29738 28627 426 984 0 28751 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 118952

[startup+3.10057 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 16726
/proc/meminfo: memFree=1671004/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=141716 CPUtime=3.08
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 36505 0 0 0 282 26 0 0 25 0 1 0 9023280 145117184 33782 1992294400 4194304 8223781 140737477869248 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 35429 33782 492 984 0 34442 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 141716

[startup+6.30091 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 16726
/proc/meminfo: memFree=1530512/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=283608 CPUtime=6.29
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 79247 0 0 0 578 51 0 0 25 0 1 0 9023280 290414592 66319 1992294400 4194304 8223781 140737477869248 18446744073709551615 6358122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 70902 66319 532 984 0 69915 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 283608

[startup+12.7016 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 16726
/proc/meminfo: memFree=1523452/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=289080 CPUtime=12.68
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 84416 0 0 0 1214 54 0 0 25 0 1 0 9023280 296017920 67711 1992294400 4194304 8223781 140737477869248 18446744073709551615 6569994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 72270 67711 536 984 0 71283 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 289080

[startup+25.501 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 16728
/proc/meminfo: memFree=1522584/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=290056 CPUtime=25.48
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 89134 0 0 0 2489 59 0 0 25 0 1 0 9023280 297017344 67959 1992294400 4194304 8223781 140737477869248 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 72514 67959 536 984 0 71527 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 290056

[startup+51.1007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16728
/proc/meminfo: memFree=1521344/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=291588 CPUtime=51.08
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 99539 0 0 0 5041 67 0 0 25 0 1 0 9023280 298586112 68258 1992294400 4194304 8223781 140737477869248 18446744073709551615 6537740 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 72897 68258 536 984 0 71910 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 291588

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16730
/proc/meminfo: memFree=1522212/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=291292 CPUtime=102.26
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 1122401 0 0 0 9776 450 0 0 25 0 1 0 9023280 298283008 67868 1992294400 4194304 8223781 140737477869248 18446744073709551615 6043682 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 72823 67868 552 984 0 71836 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 291292

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16730
/proc/meminfo: memFree=1522212/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=291292 CPUtime=162.24
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 3869351 0 0 0 14752 1472 0 0 25 0 1 0 9023280 298283008 67868 1992294400 4194304 8223781 140737477869248 18446744073709551615 6043636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 72823 67868 552 984 0 71836 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 291292

[startup+222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16732
/proc/meminfo: memFree=1522336/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=291892 CPUtime=222.22
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 6616453 0 0 0 19708 2514 0 0 25 0 1 0 9023280 298897408 68020 1992294400 4194304 8223781 140737477869248 18446744073709551615 6299562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 72973 68020 554 984 0 71986 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 291892

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16734
/proc/meminfo: memFree=1522212/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=291292 CPUtime=282.2
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 9356653 0 0 0 24673 3547 0 0 25 0 1 0 9023280 298283008 67870 1992294400 4194304 8223781 140737477869248 18446744073709551615 6054173 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 72823 67870 554 984 0 71836 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 291292

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16736
/proc/meminfo: memFree=1516632/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=300640 CPUtime=342.18
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 11330655 0 0 0 29928 4290 0 0 25 0 1 0 9023280 307855360 69253 1992294400 4194304 8223781 140737477869248 18446744073709551615 6043636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 75160 69253 570 984 0 74173 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 300640

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16738
/proc/meminfo: memFree=1516632/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=301240 CPUtime=402.16
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 14044019 0 0 0 34904 5312 0 0 25 0 1 0 9023280 308469760 69267 1992294400 4194304 8223781 140737477869248 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 75310 69279 570 984 0 74323 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 301240

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16738
/proc/meminfo: memFree=1516632/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=300640 CPUtime=462.14
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 16758405 0 0 0 39883 6331 0 0 25 0 1 0 9023280 307855360 69253 1992294400 4194304 8223781 140737477869248 18446744073709551615 6054219 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 75160 69253 570 984 0 74173 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 300640

[startup+522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16740
/proc/meminfo: memFree=1516508/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=301240 CPUtime=522.13
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 19465022 0 0 0 44855 7358 0 0 25 0 1 0 9023280 308469760 69270 1992294400 4194304 8223781 140737477869248 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 75310 69282 570 984 0 74323 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 301240

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16742
/proc/meminfo: memFree=1516012/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=301404 CPUtime=582.11
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 21663462 0 0 0 50027 8184 0 0 25 0 1 0 9023280 308637696 69530 1992294400 4194304 8223781 140737477869248 18446744073709551615 6569630 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 75351 69530 570 984 0 74364 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 301404

[startup+642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16744
/proc/meminfo: memFree=1516012/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=301460 CPUtime=642.1
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 24090489 0 0 0 55108 9102 0 0 25 0 1 0 9023280 308695040 69451 1992294400 4194304 8223781 140737477869248 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 75365 69462 570 984 0 74378 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 301460

[startup+702.301 s]

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

/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 39699089 0 0 0 85208 14990 0 0 25 0 1 0 9023280 308699136 69523 1992294400 4194304 8223781 140737477869248 18446744073709551615 6299713 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 75366 69523 570 984 0 74379 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 301464

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16754
/proc/meminfo: memFree=1515640/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=301464 CPUtime=1061.97
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 42410639 0 0 0 90170 16027 0 0 25 0 1 0 9023280 308699136 69523 1992294400 4194304 8223781 140737477869248 18446744073709551615 6299587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 75366 69523 570 984 0 74379 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 301464

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16756
/proc/meminfo: memFree=1515764/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=301348 CPUtime=1121.95
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 44417530 0 0 0 95402 16793 0 0 25 0 1 0 9023280 308580352 69491 1992294400 4194304 8223781 140737477869248 18446744073709551615 6300048 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 75337 69491 570 984 0 74350 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 301348

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16758
/proc/meminfo: memFree=1515640/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=300748 CPUtime=1181.93
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 47175430 0 0 0 100352 17841 0 0 25 0 1 0 9023280 307965952 69341 1992294400 4194304 8223781 140737477869248 18446744073709551615 6043587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 75187 69341 570 984 0 74200 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 300748

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16760
/proc/meminfo: memFree=1515516/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=301348 CPUtime=1241.91
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 49931213 0 0 0 105300 18891 0 0 25 0 1 0 9023280 308580352 69474 1992294400 4194304 8223781 140737477869248 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 75337 69486 570 984 0 74350 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 301348

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16762
/proc/meminfo: memFree=1515640/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=301348 CPUtime=1301.89
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 52686130 0 0 0 110249 19940 0 0 25 0 1 0 9023280 308580352 69491 1992294400 4194304 8223781 140737477869248 18446744073709551615 6299585 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 75337 69491 570 984 0 74350 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 301348

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16762
/proc/meminfo: memFree=1517376/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=301528 CPUtime=1361.87
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 54197314 0 0 0 115680 20507 0 0 25 0 1 0 9023280 308764672 69286 1992294400 4194304 8223781 140737477869248 18446744073709551615 6569622 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 75382 69286 573 984 0 74395 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 301528

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16764
/proc/meminfo: memFree=1515020/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=301796 CPUtime=1421.86
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 54254617 0 0 0 121645 20541 0 0 25 0 1 0 9023280 309039104 69633 1992294400 4194304 8223781 140737477869248 18446744073709551615 6250747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 75449 69633 573 984 0 74462 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 301796

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16766
/proc/meminfo: memFree=1516756/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=301468 CPUtime=1481.83
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 54302417 0 0 0 127614 20569 0 0 25 0 1 0 9023280 308703232 69561 1992294400 4194304 8223781 140737477869248 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 75367 69561 573 984 0 74380 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 301468

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16768
/proc/meminfo: memFree=1512788/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=301804 CPUtime=1541.81
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 54353037 0 0 0 133583 20598 0 0 25 0 1 0 9023280 309047296 69619 1992294400 4194304 8223781 140737477869248 18446744073709551615 6569982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 75451 69619 573 984 0 74464 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 301804

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16779
/proc/meminfo: memFree=1515020/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=302060 CPUtime=1601.77
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 54407267 0 0 0 139548 20629 0 0 25 0 1 0 9023280 309309440 69648 1992294400 4194304 8223781 140737477869248 18446744073709551615 6559362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 75515 69648 573 984 0 74528 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 302060

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16779
/proc/meminfo: memFree=1517748/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=301376 CPUtime=1661.75
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 54471279 0 0 0 145510 20665 0 0 25 0 1 0 9023280 308609024 68969 1992294400 4194304 8223781 140737477869248 18446744073709551615 6569751 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 75344 68969 573 984 0 74357 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 301376

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16781
/proc/meminfo: memFree=1514524/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=301552 CPUtime=1721.73
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 54521426 0 0 0 151479 20694 0 0 25 0 1 0 9023280 308789248 69727 1992294400 4194304 8223781 140737477869248 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 75388 69727 573 984 0 74401 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 301552

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16783
/proc/meminfo: memFree=1527420/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=286228 CPUtime=1781.7
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 54570983 0 0 0 157440 20730 0 0 25 0 1 0 9023280 293097472 66413 1992294400 4194304 8223781 140737477869248 18446744073709551615 6569892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 71557 66413 575 984 0 70570 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 286228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16783
/proc/meminfo: memFree=1527420/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=286576 CPUtime=1800.01
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 54587463 0 0 0 159258 20743 0 0 25 0 1 0 9023280 293453824 66439 1992294400 4194304 8223781 140737477869248 18446744073709551615 6536502 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 71644 66439 575 984 0 70657 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 286576

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -16725

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 16783
/proc/meminfo: memFree=1527420/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=285828 CPUtime=1800.8
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 54588704 0 0 0 159336 20744 0 0 25 0 1 0 9023280 292687872 66244 1992294400 4194304 8223781 140737477869248 18446744073709551615 6589152 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 71457 66244 579 984 0 70470 0
Current children cumulated CPU time (s) 1800.8
Current children cumulated vsize (KiB) 285828

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 16784
/proc/meminfo: memFree=1527784/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=286348 CPUtime=1801.61
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 54589337 0 0 0 159416 20745 0 0 25 0 1 0 9023280 293220352 66436 1992294400 4194304 8223781 140737477869248 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 71587 66436 575 984 0 70600 0
Current children cumulated CPU time (s) 1801.61
Current children cumulated vsize (KiB) 286348

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 16784
/proc/meminfo: memFree=1527784/2059040 swapFree=4152912/4192956
[pid=16725] ppid=16723 vsize=287040 CPUtime=1802
/proc/16725/stat : 16725 (pbscip.linux.x8) R 16723 16725 16420 0 -1 4202496 54589365 0 0 0 159455 20745 0 0 25 0 1 0 9023280 293928960 66464 1992294400 4194304 8223781 140737477869248 18446744073709551615 6539307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16725/statm: 71760 66464 575 984 0 70773 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 287040

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.65
CPU time (s): 1802.06
CPU user time (s): 1594.58
CPU system time (s): 207.481
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (KiB): 312228

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

runsolver used 3.09653 second user time and 8.40072 second system time

The end

Launcher Data 

Begin job on node035 at 2010-06-16 10:34:43
IDJOB=2666286
IDBENCH=48304
IDSOLVER=1169
FILE ID=node035/2666286-1276677283
PBS_JOBID= 11172547
Free space on /tmp= 62460 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_60_5_80.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-2666286-1276677283/watcher-2666286-1276677283 -o /tmp/evaluation-result-2666286-1276677283/solver-2666286-1276677283 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666286-1276677283.opb -t 1800 -m 1800

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

MD5SUM BENCH= d5640996c15a8815d620b5d6c220fea1
RANDOM SEED=415540279

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1793804 kB
Buffers:         53800 kB
Cached:         112716 kB
SwapCached:       2272 kB
Active:          95320 kB
Inactive:        93184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1793804 kB
SwapTotal:     4192956 kB
SwapFree:      4152912 kB
Dirty:            5496 kB
Writeback:           0 kB
AnonPages:       19888 kB
Mapped:          13860 kB
Slab:            54860 kB
PageTables:       4076 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182984 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= 62456 MiB
End job on node035 at 2010-06-16 11:04:46