Trace number 2667422

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

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-elf.rf9.ucl.opb
MD5SUMf3a2fcfec289719ed724c9b755cd6805
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.71389
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables20445
Total number of constraints58444
Number of constraints which are clauses56420
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2024
Minimum length of a constraint1
Maximum length of a constraint13
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 65
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 254
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2667422-1276335657.opb>
0.99/1.07	c original problem has 20445 variables (20445 bin, 0 int, 0 impl, 0 cont) and 58444 constraints
0.99/1.07	c problem read
0.99/1.07	c No objective function, only one solution is needed.
0.99/1.08	c presolving settings loaded
1.39/1.40	c presolving:
2.49/2.59	c (round 1) 3206 del vars, 5965 del conss, 1979 chg bounds, 1012 chg sides, 2252 chg coeffs, 0 upgd conss, 1122080 impls, 0 clqs
2.69/2.76	c (round 2) 4094 del vars, 11427 del conss, 2773 chg bounds, 1013 chg sides, 2254 chg coeffs, 0 upgd conss, 1123190 impls, 0 clqs
2.79/2.82	c (round 3) 4098 del vars, 11508 del conss, 2774 chg bounds, 1014 chg sides, 2255 chg coeffs, 0 upgd conss, 1123234 impls, 0 clqs
2.79/2.88	c (round 4) 4099 del vars, 11516 del conss, 2774 chg bounds, 1014 chg sides, 2255 chg coeffs, 0 upgd conss, 1123266 impls, 0 clqs
3.30/3.38	c (round 5) 4099 del vars, 11686 del conss, 2774 chg bounds, 1014 chg sides, 2255 chg coeffs, 46758 upgd conss, 1123266 impls, 0 clqs
3.49/3.55	c presolving (6 rounds):
3.49/3.55	c  4099 deleted vars, 11686 deleted constraints, 2774 tightened bounds, 0 added holes, 1014 changed sides, 2255 changed coefficients
3.49/3.55	c  1123266 implications, 0 cliques
3.49/3.55	c presolved problem has 16345 variables (16345 bin, 0 int, 0 impl, 0 cont) and 46758 constraints
3.49/3.55	c    1908 constraints of type <knapsack>
3.49/3.55	c   44850 constraints of type <logicor>
3.49/3.55	c transformed objective value is always integral (scale: 1)
3.49/3.55	c Presolving Time: 1.96
3.49/3.55	c - non default parameters ----------------------------------------------------------------------
3.49/3.55	c # SCIP version 1.2.1.2
3.49/3.55	c 
3.49/3.55	c # frequency for displaying node information lines
3.49/3.55	c # [type: int, range: [-1,2147483647], default: 100]
3.49/3.55	c display/freq = 10000
3.49/3.55	c 
3.49/3.55	c # maximal time in seconds to run
3.49/3.55	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.49/3.55	c limits/time = 1798.93
3.49/3.55	c 
3.49/3.55	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.49/3.55	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.49/3.55	c limits/memory = 1620
3.49/3.55	c 
3.49/3.55	c # solving stops, if the given number of solutions were found (-1: no limit)
3.49/3.55	c # [type: int, range: [-1,2147483647], default: -1]
3.49/3.55	c limits/solutions = 1
3.49/3.55	c 
3.49/3.55	c # maximal number of separation rounds per node (-1: unlimited)
3.49/3.55	c # [type: int, range: [-1,2147483647], default: 5]
3.49/3.55	c separating/maxrounds = 1
3.49/3.55	c 
3.49/3.55	c # maximal number of separation rounds in the root node (-1: unlimited)
3.49/3.55	c # [type: int, range: [-1,2147483647], default: -1]
3.49/3.55	c separating/maxroundsroot = 5
3.49/3.55	c 
3.49/3.55	c # should presolving try to simplify inequalities
3.49/3.55	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.49/3.55	c constraints/linear/simplifyinequalities = TRUE
3.49/3.55	c 
3.49/3.55	c # should disaggregation of knapsack constraints be allowed in preprocessing?
3.49/3.55	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
3.49/3.55	c constraints/knapsack/disaggregation = FALSE
3.49/3.55	c 
3.49/3.55	c # should presolving try to simplify knapsacks
3.49/3.55	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.49/3.55	c constraints/knapsack/simplifyinequalities = TRUE
3.49/3.55	c 
3.49/3.55	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
3.49/3.55	c # [type: int, range: [-1,2147483647], default: -1]
3.49/3.55	c presolving/probing/maxrounds = 0
3.49/3.55	c 
3.49/3.55	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
3.49/3.55	c # [type: int, range: [-1,2147483647], default: 10]
3.49/3.55	c heuristics/coefdiving/freq = -1
3.49/3.55	c 
3.49/3.55	c # maximal fraction of diving LP iterations compared to node LP iterations
3.49/3.55	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.49/3.55	c heuristics/coefdiving/maxlpiterquot = 0.075
3.49/3.55	c 
3.49/3.55	c # additional number of allowed LP iterations
3.49/3.55	c # [type: int, range: [0,2147483647], default: 1000]
3.49/3.55	c heuristics/coefdiving/maxlpiterofs = 1500
3.49/3.55	c 
3.49/3.55	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
3.49/3.55	c # [type: int, range: [-1,2147483647], default: 30]
3.49/3.55	c heuristics/crossover/freq = -1
3.49/3.55	c 
3.49/3.55	c # number of nodes added to the contingent of the total nodes
3.49/3.55	c # [type: longint, range: [0,9223372036854775807], default: 500]
3.49/3.55	c heuristics/crossover/nodesofs = 750
3.49/3.55	c 
3.49/3.55	c # number of nodes without incumbent change that heuristic should wait
3.49/3.55	c # [type: longint, range: [0,9223372036854775807], default: 200]
3.49/3.55	c heuristics/crossover/nwaitingnodes = 100
3.49/3.55	c 
3.49/3.55	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
3.49/3.55	c # [type: real, range: [0,1], default: 0.1]
3.49/3.55	c heuristics/crossover/nodesquot = 0.15
3.49/3.55	c 
3.49/3.55	c # minimum percentage of integer variables that have to be fixed 
3.49/3.55	c # [type: real, range: [0,1], default: 0.666]
3.49/3.55	c heuristics/crossover/minfixingrate = 0.5
3.49/3.55	c 
3.49/3.55	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
3.49/3.55	c # [type: int, range: [-1,2147483647], default: 20]
3.49/3.55	c heuristics/feaspump/freq = -1
3.49/3.55	c 
3.49/3.55	c # additional number of allowed LP iterations
3.49/3.55	c # [type: int, range: [0,2147483647], default: 1000]
3.49/3.55	c heuristics/feaspump/maxlpiterofs = 2000
3.49/3.55	c 
3.49/3.55	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
3.49/3.55	c # [type: int, range: [-1,2147483647], default: 10]
3.49/3.55	c heuristics/fracdiving/freq = -1
3.49/3.55	c 
3.49/3.55	c # maximal fraction of diving LP iterations compared to node LP iterations
3.49/3.55	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.49/3.55	c heuristics/fracdiving/maxlpiterquot = 0.075
3.49/3.55	c 
3.49/3.55	c # additional number of allowed LP iterations
3.49/3.55	c # [type: int, range: [0,2147483647], default: 1000]
3.49/3.55	c heuristics/fracdiving/maxlpiterofs = 1500
3.49/3.55	c 
3.49/3.55	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
3.49/3.55	c # [type: int, range: [-1,2147483647], default: 10]
3.49/3.55	c heuristics/guideddiving/freq = -1
3.49/3.55	c 
3.49/3.55	c # maximal fraction of diving LP iterations compared to node LP iterations
3.49/3.55	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.49/3.55	c heuristics/guideddiving/maxlpiterquot = 0.075
3.49/3.55	c 
3.49/3.55	c # additional number of allowed LP iterations
3.49/3.55	c # [type: int, range: [0,2147483647], default: 1000]
3.49/3.55	c heuristics/guideddiving/maxlpiterofs = 1500
3.49/3.55	c 
3.49/3.55	c # maximal fraction of diving LP iterations compared to node LP iterations
3.49/3.55	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.49/3.55	c heuristics/intdiving/maxlpiterquot = 0.075
3.49/3.55	c 
3.49/3.55	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
3.49/3.55	c # [type: int, range: [-1,2147483647], default: 10]
3.49/3.55	c heuristics/intshifting/freq = -1
3.49/3.55	c 
3.49/3.55	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
3.49/3.55	c # [type: int, range: [-1,2147483647], default: 10]
3.49/3.55	c heuristics/linesearchdiving/freq = -1
3.49/3.55	c 
3.49/3.55	c # maximal fraction of diving LP iterations compared to node LP iterations
3.49/3.55	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.49/3.55	c heuristics/linesearchdiving/maxlpiterquot = 0.075
3.49/3.55	c 
3.49/3.55	c # additional number of allowed LP iterations
3.49/3.55	c # [type: int, range: [0,2147483647], default: 1000]
3.49/3.55	c heuristics/linesearchdiving/maxlpiterofs = 1500
3.49/3.55	c 
3.49/3.55	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
3.49/3.55	c # [type: int, range: [-1,2147483647], default: 1]
3.49/3.55	c heuristics/nlp/freq = -1
3.49/3.55	c 
3.49/3.55	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
3.49/3.55	c # [type: int, range: [-1,2147483647], default: 20]
3.49/3.55	c heuristics/objpscostdiving/freq = -1
3.49/3.55	c 
3.49/3.55	c # maximal fraction of diving LP iterations compared to total iteration number
3.49/3.55	c # [type: real, range: [0,1], default: 0.01]
3.49/3.55	c heuristics/objpscostdiving/maxlpiterquot = 0.015
3.49/3.55	c 
3.49/3.55	c # additional number of allowed LP iterations
3.49/3.55	c # [type: int, range: [0,2147483647], default: 1000]
3.49/3.55	c heuristics/objpscostdiving/maxlpiterofs = 1500
3.49/3.55	c 
3.49/3.55	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
3.49/3.55	c # [type: int, range: [-1,2147483647], default: 1]
3.49/3.55	c heuristics/oneopt/freq = -1
3.49/3.55	c 
3.49/3.55	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
3.49/3.55	c # [type: int, range: [-1,2147483647], default: 10]
3.49/3.55	c heuristics/pscostdiving/freq = -1
3.49/3.55	c 
3.49/3.55	c # maximal fraction of diving LP iterations compared to node LP iterations
3.49/3.55	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.49/3.55	c heuristics/pscostdiving/maxlpiterquot = 0.075
3.49/3.55	c 
3.49/3.55	c # additional number of allowed LP iterations
3.49/3.55	c # [type: int, range: [0,2147483647], default: 1000]
3.49/3.55	c heuristics/pscostdiving/maxlpiterofs = 1500
3.49/3.55	c 
3.49/3.55	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
3.49/3.55	c # [type: int, range: [-1,2147483647], default: 0]
3.49/3.55	c heuristics/rens/freq = -1
3.49/3.55	c 
3.49/3.55	c # minimum percentage of integer variables that have to be fixable 
3.49/3.55	c # [type: real, range: [0,1], default: 0.5]
3.49/3.55	c heuristics/rens/minfixingrate = 0.3
3.49/3.55	c 
3.49/3.55	c # number of nodes added to the contingent of the total nodes
3.49/3.55	c # [type: longint, range: [0,9223372036854775807], default: 500]
3.49/3.55	c heuristics/rens/nodesofs = 2000
3.49/3.55	c 
3.49/3.55	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
3.49/3.55	c # [type: int, range: [-1,2147483647], default: 20]
3.49/3.55	c heuristics/rootsoldiving/freq = -1
3.49/3.55	c 
3.49/3.55	c # maximal fraction of diving LP iterations compared to node LP iterations
3.49/3.55	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
3.49/3.55	c heuristics/rootsoldiving/maxlpiterquot = 0.015
3.49/3.55	c 
3.49/3.55	c # additional number of allowed LP iterations
3.49/3.55	c # [type: int, range: [0,2147483647], default: 1000]
3.49/3.55	c heuristics/rootsoldiving/maxlpiterofs = 1500
3.49/3.55	c 
3.49/3.55	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
3.49/3.55	c # [type: int, range: [-1,2147483647], default: 1]
3.49/3.55	c heuristics/rounding/freq = -1
3.49/3.55	c 
3.49/3.55	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
3.49/3.55	c # [type: int, range: [-1,2147483647], default: 10]
3.49/3.55	c heuristics/shifting/freq = -1
3.49/3.55	c 
3.49/3.55	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
3.49/3.55	c # [type: int, range: [-1,2147483647], default: 1]
3.49/3.55	c heuristics/simplerounding/freq = -1
3.49/3.55	c 
3.49/3.55	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
3.49/3.55	c # [type: int, range: [-1,2147483647], default: 0]
3.49/3.55	c heuristics/trivial/freq = -1
3.49/3.55	c 
3.49/3.55	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
3.49/3.55	c # [type: int, range: [-1,2147483647], default: 1]
3.49/3.55	c heuristics/trysol/freq = -1
3.49/3.55	c 
3.49/3.55	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
3.49/3.55	c # [type: int, range: [-1,2147483647], default: 10]
3.49/3.55	c heuristics/veclendiving/freq = -1
3.49/3.55	c 
3.49/3.55	c # maximal fraction of diving LP iterations compared to node LP iterations
3.49/3.55	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.49/3.55	c heuristics/veclendiving/maxlpiterquot = 0.075
3.49/3.55	c 
3.49/3.55	c # additional number of allowed LP iterations
3.49/3.55	c # [type: int, range: [0,2147483647], default: 1000]
3.49/3.55	c heuristics/veclendiving/maxlpiterofs = 1500
3.49/3.55	c 
3.49/3.55	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
3.49/3.55	c # [type: int, range: [-1,2147483647], default: 1]
3.49/3.55	c heuristics/zirounding/freq = -1
3.49/3.55	c 
3.49/3.55	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
3.49/3.55	c # [type: int, range: [-1,2147483647], default: 0]
3.49/3.55	c separating/cmir/freq = -1
3.49/3.55	c 
3.49/3.55	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
3.49/3.55	c # [type: int, range: [-1,2147483647], default: 0]
3.49/3.55	c separating/flowcover/freq = -1
3.49/3.55	c 
3.49/3.55	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.49/3.55	c # [type: int, range: [-1,2147483647], default: -1]
3.49/3.55	c separating/rapidlearning/freq = 0
3.49/3.55	c 
3.49/3.55	c -----------------------------------------------------------------------------------------------
3.49/3.55	c start solving
3.49/3.57	c 
20.08/20.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
20.08/20.14	c  18.5s|     1 |     0 |  6717 |     - | 131M|   0 |4112 |  16k|  46k|  16k|  46k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
38.97/39.01	c  36.4s|     1 |     0 |  9489 |     - | 132M|   0 |4401 |  16k|  46k|  16k|  46k| 144 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
68.67/68.76	c  65.3s|     1 |     0 | 14131 |     - | 132M|   0 |5206 |  16k|  46k|  16k|  47k| 288 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
113.66/113.73	c   108s|     1 |     0 | 19416 |     - | 132M|   0 |5261 |  16k|  46k|  16k|  47k| 433 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
193.02/193.15	c   182s|     1 |     0 | 27794 |     - | 133M|   0 |5319 |  16k|  46k|  16k|  47k| 605 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
258.51/258.63	c   245s|     1 |     0 | 36920 |     - | 133M|   0 |5954 |  16k|  46k|  16k|  47k| 749 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
493.92/494.16	c   479s|     1 |     2 | 36920 |     - | 133M|   0 |5954 |  16k|  46k|  16k|  47k| 749 |   0 |  30 | 0.000000e+00 |      --      |    Inf 
1800.08/1800.71	c pressed CTRL-C 1 times (5 times for forcing termination)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667422-1276335657/watcher-2667422-1276335657 -o /tmp/evaluation-result-2667422-1276335657/solver-2667422-1276335657 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667422-1276335657.opb -t 1800 -m 1800 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10226
/proc/meminfo: memFree=1761888/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=7724 CPUtime=0
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 1033 0 0 0 0 0 0 0 20 0 1 0 7222027 7909376 952 1992294400 4194304 8223781 140735537838592 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10226/statm: 1931 961 348 984 0 944 0

[startup+0.107477 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10226
/proc/meminfo: memFree=1761888/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=14292 CPUtime=0.1
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 2858 0 0 0 9 1 0 0 20 0 1 0 7222027 14635008 2777 1992294400 4194304 8223781 140735537838592 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10226/statm: 3573 2777 363 984 0 2586 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 14292

[startup+0.201494 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10226
/proc/meminfo: memFree=1761888/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=18492 CPUtime=0.19
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 3905 0 0 0 18 1 0 0 20 0 1 0 7222027 18935808 3824 1992294400 4194304 8223781 140735537838592 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10226/statm: 4623 3824 363 984 0 3636 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18492

[startup+0.301513 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10226
/proc/meminfo: memFree=1761888/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=20676 CPUtime=0.29
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 4463 0 0 0 28 1 0 0 20 0 1 0 7222027 21172224 4382 1992294400 4194304 8223781 140735537838592 18446744073709551615 7246516 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10226/statm: 5169 4382 363 984 0 4182 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20676

[startup+0.701587 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10226
/proc/meminfo: memFree=1761888/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=33940 CPUtime=0.69
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 7791 0 0 0 66 3 0 0 21 0 1 0 7222027 34754560 7710 1992294400 4194304 8223781 140735537838592 18446744073709551615 7256375 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10226/statm: 8485 7710 363 984 0 7498 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33940

[startup+1.50174 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10227
/proc/meminfo: memFree=1712528/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=107720 CPUtime=1.49
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 25886 0 0 0 138 11 0 0 23 0 1 0 7222027 110305280 25418 1992294400 4194304 8223781 140735537838592 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10226/statm: 26930 25418 444 984 0 25943 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 107720

[startup+3.10203 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10227
/proc/meminfo: memFree=1631432/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=152860 CPUtime=3.1
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 39724 0 0 0 276 34 0 0 25 0 1 0 7222027 156528640 36623 1992294400 4194304 8223781 140735537838592 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10226/statm: 38215 36623 454 984 0 37228 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 152860

[startup+6.30163 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10227
/proc/meminfo: memFree=1546368/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=231024 CPUtime=6.29
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 65456 0 0 0 581 48 0 0 25 0 1 0 7222027 236568576 54211 1992294400 4194304 8223781 140735537838592 18446744073709551615 6568077 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10226/statm: 57756 54211 580 984 0 56769 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 231024

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10227
/proc/meminfo: memFree=1545624/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=232880 CPUtime=12.69
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 70888 0 0 0 1215 54 0 0 25 0 1 0 7222027 238469120 54368 1992294400 4194304 8223781 140735537838592 18446744073709551615 6568212 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10226/statm: 58220 54368 580 984 0 57233 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 232880

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10227
/proc/meminfo: memFree=1542648/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=239648 CPUtime=25.49
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 272819 0 0 0 2398 151 0 0 25 0 1 0 7222027 245399552 55161 1992294400 4194304 8223781 140735537838592 18446744073709551615 6446961 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10226/statm: 59912 55161 580 984 0 58925 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 239648

[startup+51.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10229
/proc/meminfo: memFree=1541284/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=241268 CPUtime=51.07
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 503577 0 0 0 4874 233 0 0 25 0 1 0 7222027 247058432 55467 1992294400 4194304 8223781 140735537838592 18446744073709551615 6568093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10226/statm: 60317 55467 580 984 0 59330 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 241268

[startup+102.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10229
/proc/meminfo: memFree=1540664/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=242372 CPUtime=102.27
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 1146916 0 0 0 9752 475 0 0 25 0 1 0 7222027 248188928 55604 1992294400 4194304 8223781 140735537838592 18446744073709551615 6568238 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10226/statm: 60593 55604 580 984 0 59606 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 242372

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10231
/proc/meminfo: memFree=1538804/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=245668 CPUtime=162.24
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 2609692 0 0 0 15213 1011 0 0 25 0 1 0 7222027 251564032 56036 1992294400 4194304 8223781 140735537838592 18446744073709551615 6502720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10226/statm: 61417 56036 580 984 0 60430 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 245668

[startup+222.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10233
/proc/meminfo: memFree=1538308/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=246296 CPUtime=222.23
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 3223691 0 0 0 20985 1238 0 0 25 0 1 0 7222027 252207104 56165 1992294400 4194304 8223781 140735537838592 18446744073709551615 6567850 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10226/statm: 61574 56165 580 984 0 60587 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 246296

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10235
/proc/meminfo: memFree=1537936/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=246760 CPUtime=282.19
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 3268476 0 0 0 26950 1269 0 0 25 0 1 0 7222027 252682240 56166 1992294400 4194304 8223781 140735537838592 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10226/statm: 61690 56166 583 984 0 60703 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 246760

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10237
/proc/meminfo: memFree=1537688/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=246760 CPUtime=342.18
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 3313130 0 0 0 32918 1300 0 0 25 0 1 0 7222027 252682240 56313 1992294400 4194304 8223781 140735537838592 18446744073709551615 6568380 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10226/statm: 61690 56313 583 984 0 60703 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 246760

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10237
/proc/meminfo: memFree=1537564/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=246760 CPUtime=402.15
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 3359956 0 0 0 38880 1335 0 0 25 0 1 0 7222027 252682240 56242 1992294400 4194304 8223781 140735537838592 18446744073709551615 6537908 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10226/statm: 61690 56242 583 984 0 60703 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 246760

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10239
/proc/meminfo: memFree=1537936/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=246684 CPUtime=462.14
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 3407950 0 0 0 44847 1367 0 0 25 0 1 0 7222027 252604416 56242 1992294400 4194304 8223781 140735537838592 18446744073709551615 6564686 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10226/statm: 61671 56242 583 984 0 60684 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 246684

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10241
/proc/meminfo: memFree=1537440/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=247116 CPUtime=522.11
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 3454378 0 0 0 50812 1399 0 0 25 0 1 0 7222027 253046784 56371 1992294400 4194304 8223781 140735537838592 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10226/statm: 61779 56371 585 984 0 60792 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 247116

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10243
/proc/meminfo: memFree=1537440/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=247116 CPUtime=582.1
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 3502624 0 0 0 56776 1434 0 0 25 0 1 0 7222027 253046784 56390 1992294400 4194304 8223781 140735537838592 18446744073709551615 6536638 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10226/statm: 61779 56390 585 984 0 60792 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 247116

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10245
/proc/meminfo: memFree=1536820/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=247192 CPUtime=642.07
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 3550264 0 0 0 62740 1467 0 0 25 0 1 0 7222027 253124608 56578 1992294400 4194304 8223781 140735537838592 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10226/statm: 61798 56578 585 984 0 60811 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 247192

[startup+702.301 s]

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

/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 3847764 0 0 0 98525 1671 0 0 25 0 1 0 7222027 253206528 56440 1992294400 4194304 8223781 140735537838592 18446744073709551615 6568308 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10226/statm: 61818 56440 585 984 0 60831 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 247272

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10255
/proc/meminfo: memFree=1537316/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=247056 CPUtime=1061.93
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 3898910 0 0 0 104490 1703 0 0 25 0 1 0 7222027 252985344 56308 1992294400 4194304 8223781 140735537838592 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10226/statm: 61764 56308 585 984 0 60777 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 247056

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10257
/proc/meminfo: memFree=1537192/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=247056 CPUtime=1121.91
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 3949843 0 0 0 110455 1736 0 0 25 0 1 0 7222027 252985344 56321 1992294400 4194304 8223781 140735537838592 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10226/statm: 61764 56321 585 984 0 60777 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 247056

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10259
/proc/meminfo: memFree=1536820/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=247056 CPUtime=1181.9
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 4007908 0 0 0 116416 1774 0 0 25 0 1 0 7222027 252985344 56293 1992294400 4194304 8223781 140735537838592 18446744073709551615 6568128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10226/statm: 61764 56293 585 984 0 60777 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 247056

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10270
/proc/meminfo: memFree=1536572/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=247140 CPUtime=1241.86
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 4057001 0 0 0 122380 1806 0 0 25 0 1 0 7222027 253071360 56274 1992294400 4194304 8223781 140735537838592 18446744073709551615 6448550 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10226/statm: 61785 56274 585 984 0 60798 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 247140

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10270
/proc/meminfo: memFree=1536448/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=247140 CPUtime=1301.84
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 4105125 0 0 0 128345 1839 0 0 25 0 1 0 7222027 253071360 56338 1992294400 4194304 8223781 140735537838592 18446744073709551615 6537844 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10226/statm: 61785 56338 585 984 0 60798 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 247140

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10272
/proc/meminfo: memFree=1536572/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=247140 CPUtime=1361.82
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 4161737 0 0 0 134307 1875 0 0 25 0 1 0 7222027 253071360 56415 1992294400 4194304 8223781 140735537838592 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10226/statm: 61785 56415 585 984 0 60798 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 247140

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10274
/proc/meminfo: memFree=1536572/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=247064 CPUtime=1421.81
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 4217996 0 0 0 140270 1911 0 0 25 0 1 0 7222027 252993536 56429 1992294400 4194304 8223781 140735537838592 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10226/statm: 61766 56429 586 984 0 60779 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 247064

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10276
/proc/meminfo: memFree=1535828/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=247360 CPUtime=1481.77
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 4267145 0 0 0 146235 1942 0 0 25 0 1 0 7222027 253296640 56574 1992294400 4194304 8223781 140735537838592 18446744073709551615 6569869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10226/statm: 61840 56574 586 984 0 60853 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 247360

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10278
/proc/meminfo: memFree=1535952/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=247576 CPUtime=1541.76
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 4313041 0 0 0 152199 1977 0 0 25 0 1 0 7222027 253517824 56560 1992294400 4194304 8223781 140735537838592 18446744073709551615 6559356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10226/statm: 61894 56560 586 984 0 60907 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 247576

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10278
/proc/meminfo: memFree=1534712/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=248744 CPUtime=1601.73
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 4375790 0 0 0 158152 2021 0 0 25 0 1 0 7222027 254713856 56943 1992294400 4194304 8223781 140735537838592 18446744073709551615 6568195 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10226/statm: 62186 56943 588 984 0 61199 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 248744

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10280
/proc/meminfo: memFree=1530372/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=252808 CPUtime=1661.72
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 4417236 0 0 0 164119 2053 0 0 25 0 1 0 7222027 258875392 57963 1992294400 4194304 8223781 140735537838592 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10226/statm: 63202 57963 588 984 0 62215 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 252808

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10282
/proc/meminfo: memFree=1529752/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=253404 CPUtime=1721.7
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 4454000 0 0 0 170091 2079 0 0 25 0 1 0 7222027 259485696 58076 1992294400 4194304 8223781 140735537838592 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10226/statm: 63351 58076 588 984 0 62364 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 253404

[startup+1782.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 10284
/proc/meminfo: memFree=1530124/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=253528 CPUtime=1781.67
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 4495567 0 0 0 176060 2107 0 0 25 0 1 0 7222027 259612672 57949 1992294400 4194304 8223781 140735537838592 18446744073709551615 6251373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10226/statm: 63382 57949 588 984 0 62395 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 253528



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 10284
/proc/meminfo: memFree=1530248/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=253604 CPUtime=1800.08
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 4509979 0 0 0 177890 2118 0 0 25 0 1 0 7222027 259690496 57942 1992294400 4194304 8223781 140735537838592 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10226/statm: 63401 57942 588 984 0 62414 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 253604

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -10226

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

[startup+1801.5 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 10284
/proc/meminfo: memFree=1530248/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=253528 CPUtime=1800.87
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 4511042 0 0 0 177968 2119 0 0 25 0 1 0 7222027 259612672 57884 1992294400 4194304 8223781 140735537838592 18446744073709551615 6448663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10226/statm: 63382 57884 588 984 0 62395 0
Current children cumulated CPU time (s) 1800.87
Current children cumulated vsize (KiB) 253528

[startup+1802.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/108 10285
/proc/meminfo: memFree=1530240/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=253528 CPUtime=1801.66
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 4511786 0 0 0 178047 2119 0 0 25 0 1 0 7222027 259612672 57944 1992294400 4194304 8223781 140735537838592 18446744073709551615 6568077 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10226/statm: 63382 57944 588 984 0 62395 0
Current children cumulated CPU time (s) 1801.66
Current children cumulated vsize (KiB) 253528

[startup+1802.7 s]
/proc/loadavg: 1.04 1.01 1.00 2/108 10285
/proc/meminfo: memFree=1530240/2059040 swapFree=4165036/4192956
[pid=10226] ppid=10224 vsize=253528 CPUtime=1802.06
/proc/10226/stat : 10226 (pbscip.linux.x8) R 10224 10226 9368 0 -1 4202496 4511789 0 0 0 178087 2119 0 0 25 0 1 0 7222027 259612672 57947 1992294400 4194304 8223781 140735537838592 18446744073709551615 6503867 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10226/statm: 63382 57947 588 984 0 62395 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 253528

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.74
CPU time (s): 1802.12
CPU user time (s): 1780.89
CPU system time (s): 21.2248
CPU usage (%): 99.9654
Max. virtual memory (cumulated for all children) (KiB): 259432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.89
system time used= 21.2248
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4511789
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= 1
involuntary context switches= 24231

runsolver used 2.99354 second user time and 8.49771 second system time

The end

Launcher Data 

Begin job on node019 at 2010-06-12 11:40:57
IDJOB=2667422
IDBENCH=1472
IDSOLVER=1169
FILE ID=node019/2667422-1276335657
PBS_JOBID= 11173170
Free space on /tmp= 62356 MiB

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

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

MD5SUM BENCH= f3a2fcfec289719ed724c9b755cd6805
RANDOM SEED=1917318113

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

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1762292 kB
Buffers:         73108 kB
Cached:         123248 kB
SwapCached:       1408 kB
Active:         101052 kB
Inactive:       127908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1762292 kB
SwapTotal:     4192956 kB
SwapFree:      4165036 kB
Dirty:            6336 kB
Writeback:           0 kB
AnonPages:       31228 kB
Mapped:          15388 kB
Slab:            46088 kB
PageTables:       4016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180588 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= 62348 MiB
End job on node019 at 2010-06-12 12:11:00