Trace number 2684984

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1802.14 1802.69

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12036_4-sat.opb
MD5SUMb4d4215a44d43278004dfcd0ea549fa8
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, 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 variables57354
Total number of constraints192702
Number of constraints which are clauses191758
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints944
Minimum length of a constraint1
Maximum length of a constraint120
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 20
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 754
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2684984-1278437516.opb>
3.49/3.51	c original problem has 57354 variables (57354 bin, 0 int, 0 impl, 0 cont) and 192702 constraints
3.49/3.51	c problem read
3.49/3.51	c No objective function, only one solution is needed.
3.49/3.52	c presolving settings loaded
4.49/4.57	c presolving:
14.58/14.62	c (round 1) 7404 del vars, 21488 del conss, 5713 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12193784 impls, 0 clqs
17.99/18.05	c (round 2) 13603 del vars, 47695 del conss, 11445 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12229541 impls, 0 clqs
19.19/19.25	c (round 3) 15722 del vars, 57754 del conss, 12566 chg bounds, 21 chg sides, 23 chg coeffs, 0 upgd conss, 12247839 impls, 0 clqs
21.09/21.15	c (round 4) 16831 del vars, 62010 del conss, 13312 chg bounds, 23 chg sides, 25 chg coeffs, 0 upgd conss, 12261373 impls, 0 clqs
23.28/23.39	c (round 5) 17704 del vars, 65223 del conss, 13953 chg bounds, 23 chg sides, 25 chg coeffs, 0 upgd conss, 12270304 impls, 0 clqs
25.09/25.11	c (round 6) 18395 del vars, 68113 del conss, 14368 chg bounds, 23 chg sides, 25 chg coeffs, 0 upgd conss, 12276543 impls, 0 clqs
26.09/26.19	c (round 7) 18711 del vars, 69491 del conss, 14552 chg bounds, 23 chg sides, 25 chg coeffs, 0 upgd conss, 12279282 impls, 0 clqs
26.59/26.69	c (round 8) 18841 del vars, 70086 del conss, 14605 chg bounds, 23 chg sides, 25 chg coeffs, 0 upgd conss, 12280549 impls, 0 clqs
26.99/27.01	c (round 9) 18888 del vars, 70313 del conss, 14624 chg bounds, 23 chg sides, 25 chg coeffs, 0 upgd conss, 12281080 impls, 0 clqs
27.18/27.25	c (round 10) 18908 del vars, 70410 del conss, 14631 chg bounds, 23 chg sides, 25 chg coeffs, 0 upgd conss, 12281212 impls, 0 clqs
27.39/27.45	c (round 11) 18912 del vars, 70437 del conss, 14632 chg bounds, 23 chg sides, 25 chg coeffs, 0 upgd conss, 12281266 impls, 0 clqs
28.88/28.94	c (round 12) 18914 del vars, 70452 del conss, 14633 chg bounds, 23 chg sides, 25 chg coeffs, 122250 upgd conss, 12281272 impls, 0 clqs
31.09/31.11	c presolving (13 rounds):
31.09/31.11	c  18914 deleted vars, 70453 deleted constraints, 14633 tightened bounds, 0 added holes, 26 changed sides, 185 changed coefficients
31.09/31.11	c  12281860 implications, 2692 cliques
31.09/31.11	c presolved problem has 38440 variables (38440 bin, 0 int, 0 impl, 0 cont) and 122249 constraints
31.09/31.11	c     928 constraints of type <knapsack>
31.09/31.11	c  121321 constraints of type <logicor>
31.09/31.11	c transformed objective value is always integral (scale: 1)
31.09/31.11	c Presolving Time: 25.35
31.09/31.11	c - non default parameters ----------------------------------------------------------------------
31.09/31.11	c # SCIP version 1.2.1.2
31.09/31.11	c 
31.09/31.11	c # frequency for displaying node information lines
31.09/31.11	c # [type: int, range: [-1,2147483647], default: 100]
31.09/31.11	c display/freq = 10000
31.09/31.11	c 
31.09/31.11	c # maximal time in seconds to run
31.09/31.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
31.09/31.11	c limits/time = 1796.49
31.09/31.11	c 
31.09/31.11	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
31.09/31.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
31.09/31.11	c limits/memory = 1620
31.09/31.11	c 
31.09/31.11	c # solving stops, if the given number of solutions were found (-1: no limit)
31.09/31.11	c # [type: int, range: [-1,2147483647], default: -1]
31.09/31.11	c limits/solutions = 1
31.09/31.11	c 
31.09/31.11	c # maximal number of separation rounds per node (-1: unlimited)
31.09/31.11	c # [type: int, range: [-1,2147483647], default: 5]
31.09/31.11	c separating/maxrounds = 1
31.09/31.11	c 
31.09/31.11	c # maximal number of separation rounds in the root node (-1: unlimited)
31.09/31.11	c # [type: int, range: [-1,2147483647], default: -1]
31.09/31.11	c separating/maxroundsroot = 5
31.09/31.11	c 
31.09/31.11	c # should presolving try to simplify inequalities
31.09/31.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
31.09/31.11	c constraints/linear/simplifyinequalities = TRUE
31.09/31.11	c 
31.09/31.11	c # should disaggregation of knapsack constraints be allowed in preprocessing?
31.09/31.11	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
31.09/31.11	c constraints/knapsack/disaggregation = FALSE
31.09/31.11	c 
31.09/31.11	c # should presolving try to simplify knapsacks
31.09/31.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
31.09/31.11	c constraints/knapsack/simplifyinequalities = TRUE
31.09/31.11	c 
31.09/31.11	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
31.09/31.11	c # [type: int, range: [-1,2147483647], default: -1]
31.09/31.11	c presolving/probing/maxrounds = 0
31.09/31.11	c 
31.09/31.11	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
31.09/31.11	c # [type: int, range: [-1,2147483647], default: 10]
31.09/31.11	c heuristics/coefdiving/freq = -1
31.09/31.11	c 
31.09/31.11	c # maximal fraction of diving LP iterations compared to node LP iterations
31.09/31.11	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
31.09/31.11	c heuristics/coefdiving/maxlpiterquot = 0.075
31.09/31.11	c 
31.09/31.11	c # additional number of allowed LP iterations
31.09/31.11	c # [type: int, range: [0,2147483647], default: 1000]
31.09/31.11	c heuristics/coefdiving/maxlpiterofs = 1500
31.09/31.11	c 
31.09/31.11	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
31.09/31.11	c # [type: int, range: [-1,2147483647], default: 30]
31.09/31.11	c heuristics/crossover/freq = -1
31.09/31.11	c 
31.09/31.11	c # number of nodes added to the contingent of the total nodes
31.09/31.11	c # [type: longint, range: [0,9223372036854775807], default: 500]
31.09/31.11	c heuristics/crossover/nodesofs = 750
31.09/31.11	c 
31.09/31.11	c # number of nodes without incumbent change that heuristic should wait
31.09/31.11	c # [type: longint, range: [0,9223372036854775807], default: 200]
31.09/31.11	c heuristics/crossover/nwaitingnodes = 100
31.09/31.11	c 
31.09/31.11	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
31.09/31.11	c # [type: real, range: [0,1], default: 0.1]
31.09/31.11	c heuristics/crossover/nodesquot = 0.15
31.09/31.11	c 
31.09/31.11	c # minimum percentage of integer variables that have to be fixed 
31.09/31.11	c # [type: real, range: [0,1], default: 0.666]
31.09/31.11	c heuristics/crossover/minfixingrate = 0.5
31.09/31.11	c 
31.09/31.11	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
31.09/31.11	c # [type: int, range: [-1,2147483647], default: 20]
31.09/31.11	c heuristics/feaspump/freq = -1
31.09/31.11	c 
31.09/31.11	c # additional number of allowed LP iterations
31.09/31.11	c # [type: int, range: [0,2147483647], default: 1000]
31.09/31.11	c heuristics/feaspump/maxlpiterofs = 2000
31.09/31.11	c 
31.09/31.11	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
31.09/31.11	c # [type: int, range: [-1,2147483647], default: 10]
31.09/31.11	c heuristics/fracdiving/freq = -1
31.09/31.11	c 
31.09/31.11	c # maximal fraction of diving LP iterations compared to node LP iterations
31.09/31.11	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
31.09/31.11	c heuristics/fracdiving/maxlpiterquot = 0.075
31.09/31.11	c 
31.09/31.11	c # additional number of allowed LP iterations
31.09/31.11	c # [type: int, range: [0,2147483647], default: 1000]
31.09/31.11	c heuristics/fracdiving/maxlpiterofs = 1500
31.09/31.11	c 
31.09/31.11	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
31.09/31.11	c # [type: int, range: [-1,2147483647], default: 10]
31.09/31.11	c heuristics/guideddiving/freq = -1
31.09/31.11	c 
31.09/31.11	c # maximal fraction of diving LP iterations compared to node LP iterations
31.09/31.11	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
31.09/31.11	c heuristics/guideddiving/maxlpiterquot = 0.075
31.09/31.11	c 
31.09/31.11	c # additional number of allowed LP iterations
31.09/31.11	c # [type: int, range: [0,2147483647], default: 1000]
31.09/31.11	c heuristics/guideddiving/maxlpiterofs = 1500
31.09/31.11	c 
31.09/31.11	c # maximal fraction of diving LP iterations compared to node LP iterations
31.09/31.11	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
31.09/31.11	c heuristics/intdiving/maxlpiterquot = 0.075
31.09/31.11	c 
31.09/31.11	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
31.09/31.11	c # [type: int, range: [-1,2147483647], default: 10]
31.09/31.11	c heuristics/intshifting/freq = -1
31.09/31.11	c 
31.09/31.11	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
31.09/31.11	c # [type: int, range: [-1,2147483647], default: 10]
31.09/31.11	c heuristics/linesearchdiving/freq = -1
31.09/31.11	c 
31.09/31.11	c # maximal fraction of diving LP iterations compared to node LP iterations
31.09/31.11	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
31.09/31.11	c heuristics/linesearchdiving/maxlpiterquot = 0.075
31.09/31.11	c 
31.09/31.11	c # additional number of allowed LP iterations
31.09/31.11	c # [type: int, range: [0,2147483647], default: 1000]
31.09/31.11	c heuristics/linesearchdiving/maxlpiterofs = 1500
31.09/31.11	c 
31.09/31.11	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
31.09/31.11	c # [type: int, range: [-1,2147483647], default: 1]
31.09/31.11	c heuristics/nlp/freq = -1
31.09/31.11	c 
31.09/31.11	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
31.09/31.11	c # [type: int, range: [-1,2147483647], default: 20]
31.09/31.11	c heuristics/objpscostdiving/freq = -1
31.09/31.11	c 
31.09/31.11	c # maximal fraction of diving LP iterations compared to total iteration number
31.09/31.11	c # [type: real, range: [0,1], default: 0.01]
31.09/31.11	c heuristics/objpscostdiving/maxlpiterquot = 0.015
31.09/31.11	c 
31.09/31.11	c # additional number of allowed LP iterations
31.09/31.11	c # [type: int, range: [0,2147483647], default: 1000]
31.09/31.11	c heuristics/objpscostdiving/maxlpiterofs = 1500
31.09/31.11	c 
31.09/31.11	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
31.09/31.11	c # [type: int, range: [-1,2147483647], default: 1]
31.09/31.11	c heuristics/oneopt/freq = -1
31.09/31.11	c 
31.09/31.11	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
31.09/31.11	c # [type: int, range: [-1,2147483647], default: 10]
31.09/31.11	c heuristics/pscostdiving/freq = -1
31.09/31.11	c 
31.09/31.11	c # maximal fraction of diving LP iterations compared to node LP iterations
31.09/31.11	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
31.09/31.11	c heuristics/pscostdiving/maxlpiterquot = 0.075
31.09/31.11	c 
31.09/31.11	c # additional number of allowed LP iterations
31.09/31.11	c # [type: int, range: [0,2147483647], default: 1000]
31.09/31.11	c heuristics/pscostdiving/maxlpiterofs = 1500
31.09/31.11	c 
31.09/31.11	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
31.09/31.11	c # [type: int, range: [-1,2147483647], default: 0]
31.09/31.11	c heuristics/rens/freq = -1
31.09/31.11	c 
31.09/31.11	c # minimum percentage of integer variables that have to be fixable 
31.09/31.11	c # [type: real, range: [0,1], default: 0.5]
31.09/31.11	c heuristics/rens/minfixingrate = 0.3
31.09/31.11	c 
31.09/31.11	c # number of nodes added to the contingent of the total nodes
31.09/31.11	c # [type: longint, range: [0,9223372036854775807], default: 500]
31.09/31.11	c heuristics/rens/nodesofs = 2000
31.09/31.11	c 
31.09/31.11	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
31.09/31.11	c # [type: int, range: [-1,2147483647], default: 20]
31.09/31.11	c heuristics/rootsoldiving/freq = -1
31.09/31.11	c 
31.09/31.11	c # maximal fraction of diving LP iterations compared to node LP iterations
31.09/31.11	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
31.09/31.11	c heuristics/rootsoldiving/maxlpiterquot = 0.015
31.09/31.11	c 
31.09/31.11	c # additional number of allowed LP iterations
31.09/31.11	c # [type: int, range: [0,2147483647], default: 1000]
31.09/31.11	c heuristics/rootsoldiving/maxlpiterofs = 1500
31.09/31.11	c 
31.09/31.11	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
31.09/31.11	c # [type: int, range: [-1,2147483647], default: 1]
31.09/31.11	c heuristics/rounding/freq = -1
31.09/31.11	c 
31.09/31.11	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
31.09/31.11	c # [type: int, range: [-1,2147483647], default: 10]
31.09/31.11	c heuristics/shifting/freq = -1
31.09/31.11	c 
31.09/31.11	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
31.09/31.11	c # [type: int, range: [-1,2147483647], default: 1]
31.09/31.11	c heuristics/simplerounding/freq = -1
31.09/31.11	c 
31.09/31.11	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
31.09/31.11	c # [type: int, range: [-1,2147483647], default: 0]
31.09/31.11	c heuristics/trivial/freq = -1
31.09/31.11	c 
31.09/31.11	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
31.09/31.11	c # [type: int, range: [-1,2147483647], default: 1]
31.09/31.11	c heuristics/trysol/freq = -1
31.09/31.11	c 
31.09/31.11	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
31.09/31.11	c # [type: int, range: [-1,2147483647], default: 10]
31.09/31.11	c heuristics/veclendiving/freq = -1
31.09/31.11	c 
31.09/31.11	c # maximal fraction of diving LP iterations compared to node LP iterations
31.09/31.11	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
31.09/31.11	c heuristics/veclendiving/maxlpiterquot = 0.075
31.09/31.11	c 
31.09/31.11	c # additional number of allowed LP iterations
31.09/31.11	c # [type: int, range: [0,2147483647], default: 1000]
31.09/31.11	c heuristics/veclendiving/maxlpiterofs = 1500
31.09/31.11	c 
31.09/31.11	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
31.09/31.11	c # [type: int, range: [-1,2147483647], default: 1]
31.09/31.11	c heuristics/zirounding/freq = -1
31.09/31.11	c 
31.09/31.11	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
31.09/31.11	c # [type: int, range: [-1,2147483647], default: 0]
31.09/31.11	c separating/cmir/freq = -1
31.09/31.11	c 
31.09/31.11	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
31.09/31.11	c # [type: int, range: [-1,2147483647], default: 0]
31.09/31.11	c separating/flowcover/freq = -1
31.09/31.11	c 
31.09/31.11	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
31.09/31.11	c # [type: int, range: [-1,2147483647], default: -1]
31.09/31.11	c separating/rapidlearning/freq = 0
31.09/31.11	c 
31.09/31.11	c -----------------------------------------------------------------------------------------------
31.09/31.11	c start solving
31.09/31.15	c 
1800.05/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-2684984-1278437516/watcher-2684984-1278437516 -o /tmp/evaluation-result-2684984-1278437516/solver-2684984-1278437516 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2684984-1278437516.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 21430
/proc/meminfo: memFree=1449844/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=7724 CPUtime=0
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 1042 0 0 0 0 0 0 0 18 0 1 0 11954933 7909376 962 1992294400 4194304 8223781 140734200672240 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21430/statm: 1931 972 348 984 0 944 0

[startup+0.0173929 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21430
/proc/meminfo: memFree=1449844/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=9428 CPUtime=0.01
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 1672 0 0 0 1 0 0 0 20 0 1 0 11954933 9654272 1592 1992294400 4194304 8223781 140734200672240 18446744073709551615 7246821 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21430/statm: 2357 1592 363 984 0 1370 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9428

[startup+0.101405 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21430
/proc/meminfo: memFree=1449844/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=17008 CPUtime=0.09
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 3361 0 0 0 8 1 0 0 20 0 1 0 11954933 17416192 3281 1992294400 4194304 8223781 140734200672240 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21430/statm: 4252 3291 363 984 0 3265 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17008

[startup+0.300434 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21430
/proc/meminfo: memFree=1449844/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=28008 CPUtime=0.29
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 6325 0 0 0 27 2 0 0 20 0 1 0 11954933 28680192 6237 1992294400 4194304 8223781 140734200672240 18446744073709551615 5649661 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21430/statm: 7002 6237 363 984 0 6015 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28008

[startup+0.70049 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21430
/proc/meminfo: memFree=1449844/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=43288 CPUtime=0.69
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 10133 0 0 0 66 3 0 0 20 0 1 0 11954933 44326912 10045 1992294400 4194304 8223781 140734200672240 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21430/statm: 10822 10045 363 984 0 9835 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43288

[startup+1.5006 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21431
/proc/meminfo: memFree=1404576/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=59880 CPUtime=1.49
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 14285 0 0 0 144 5 0 0 23 0 1 0 11954933 61317120 14197 1992294400 4194304 8223781 140734200672240 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21430/statm: 14970 14197 363 984 0 13983 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59880

[startup+3.10083 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21431
/proc/meminfo: memFree=1375312/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=111624 CPUtime=3.09
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 26984 0 0 0 299 10 0 0 25 0 1 0 11954933 114302976 26897 1992294400 4194304 8223781 140734200672240 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21430/statm: 27906 26908 363 984 0 26919 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 111624

[startup+6.30129 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21431
/proc/meminfo: memFree=1122724/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=388396 CPUtime=6.29
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 95724 0 0 0 592 37 0 0 25 0 1 0 11954933 397717504 95223 1992294400 4194304 8223781 140734200672240 18446744073709551615 5969489 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21430/statm: 97099 95223 440 984 0 96112 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 388396

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21431
/proc/meminfo: memFree=875840/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=611396 CPUtime=12.69
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 148130 0 0 0 1202 67 0 0 25 0 1 0 11954933 626069504 147629 1992294400 4194304 8223781 140734200672240 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21430/statm: 152849 147629 444 984 0 151862 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 611396

[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21432
/proc/meminfo: memFree=825124/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=644120 CPUtime=25.49
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 158074 0 0 0 2436 113 0 0 25 0 1 0 11954933 659578880 156031 1992294400 4194304 8223781 140734200672240 18446744073709551615 5966499 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21430/statm: 161030 156031 444 984 0 160043 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 644120

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21432
/proc/meminfo: memFree=672232/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=818500 CPUtime=51.07
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 232099 0 0 0 4908 199 0 0 25 0 1 0 11954933 838144000 194427 1992294400 4194304 8223781 140734200672240 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21430/statm: 204625 194427 539 984 0 203638 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 818500

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21434
/proc/meminfo: memFree=670744/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=822204 CPUtime=102.26
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 265925 0 0 0 10008 218 0 0 25 0 1 0 11954933 841936896 194797 1992294400 4194304 8223781 140734200672240 18446744073709551615 6569546 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21430/statm: 205551 194797 539 984 0 204564 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 822204

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21435
/proc/meminfo: memFree=668636/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=824932 CPUtime=162.24
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 318649 0 0 0 15979 245 0 0 25 0 1 0 11954933 844730368 195287 1992294400 4194304 8223781 140734200672240 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21430/statm: 206233 195287 539 984 0 205246 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 824932

[startup+222.302 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 21437
/proc/meminfo: memFree=667272/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=827052 CPUtime=222.22
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 370108 0 0 0 21951 271 0 0 25 0 1 0 11954933 846901248 195641 1992294400 4194304 8223781 140734200672240 18446744073709551615 6564712 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21430/statm: 206763 195641 539 984 0 205776 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 827052

[startup+282.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 21438
/proc/meminfo: memFree=665164/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=828976 CPUtime=282.2
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 424241 0 0 0 27921 299 0 0 25 0 1 0 11954933 848871424 196201 1992294400 4194304 8223781 140734200672240 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21430/statm: 207244 196201 539 984 0 206257 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 828976

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21440
/proc/meminfo: memFree=664668/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=830316 CPUtime=342.19
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 475576 0 0 0 33895 324 0 0 25 0 1 0 11954933 850243584 196266 1992294400 4194304 8223781 140734200672240 18446744073709551615 6564534 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21430/statm: 207579 196266 539 984 0 206592 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 830316

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21442
/proc/meminfo: memFree=663924/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=831796 CPUtime=402.17
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 527408 0 0 0 39868 349 0 0 25 0 1 0 11954933 851759104 196487 1992294400 4194304 8223781 140734200672240 18446744073709551615 6532664 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21430/statm: 207949 196487 539 984 0 206962 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 831796

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21443
/proc/meminfo: memFree=663180/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=833032 CPUtime=462.15
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 582082 0 0 0 45840 375 0 0 25 0 1 0 11954933 853024768 196657 1992294400 4194304 8223781 140734200672240 18446744073709551615 6564888 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21430/statm: 208258 196657 539 984 0 207271 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 833032

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21445
/proc/meminfo: memFree=661568/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=834008 CPUtime=522.13
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 625327 0 0 0 51817 396 0 0 25 0 1 0 11954933 854024192 197061 1992294400 4194304 8223781 140734200672240 18446744073709551615 6250747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21430/statm: 208502 197061 539 984 0 207515 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 834008

[startup+582.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 21446
/proc/meminfo: memFree=659460/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=835248 CPUtime=582.11
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 670247 0 0 0 57793 418 0 0 25 0 1 0 11954933 855293952 197587 1992294400 4194304 8223781 140734200672240 18446744073709551615 6567951 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21430/statm: 208812 197587 539 984 0 207825 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 835248

[startup+642.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 21448
/proc/meminfo: memFree=659212/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=836280 CPUtime=642.1
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 712832 0 0 0 63771 439 0 0 25 0 1 0 11954933 856350720 197626 1992294400 4194304 8223781 140734200672240 18446744073709551615 6503916 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21430/statm: 209070 197626 539 984 0 208083 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 836280

[startup+702.301 s]

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

/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 983690 0 0 0 99621 578 0 0 25 0 1 0 11954933 861913088 199387 1992294400 4194304 8223781 140734200672240 18446744073709551615 6250729 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21430/statm: 210428 199387 539 984 0 209441 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 841712

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21459
/proc/meminfo: memFree=651524/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=842412 CPUtime=1061.97
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 1032322 0 0 0 105595 602 0 0 25 0 1 0 11954933 862629888 199469 1992294400 4194304 8223781 140734200672240 18446744073709551615 6569681 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21430/statm: 210603 199469 539 984 0 209616 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 842412

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21461
/proc/meminfo: memFree=651152/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=842928 CPUtime=1121.95
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 1071102 0 0 0 111574 621 0 0 25 0 1 0 11954933 863158272 199577 1992294400 4194304 8223781 140734200672240 18446744073709551615 6568435 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21430/statm: 210732 199577 539 984 0 209745 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 842928

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21462
/proc/meminfo: memFree=649292/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=843328 CPUtime=1181.94
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 1111090 0 0 0 117552 642 0 0 25 0 1 0 11954933 863567872 200082 1992294400 4194304 8223781 140734200672240 18446744073709551615 6568404 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21430/statm: 210832 200082 539 984 0 209845 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 843328

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21464
/proc/meminfo: memFree=648796/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=843704 CPUtime=1241.92
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 1154236 0 0 0 123530 662 0 0 25 0 1 0 11954933 863952896 200136 1992294400 4194304 8223781 140734200672240 18446744073709551615 6358990 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21430/statm: 210926 200136 539 984 0 209939 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 843704

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21466
/proc/meminfo: memFree=647680/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=844028 CPUtime=1301.91
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 1197254 0 0 0 129508 683 0 0 25 0 1 0 11954933 864284672 200417 1992294400 4194304 8223781 140734200672240 18446744073709551615 6569626 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21430/statm: 211007 200417 539 984 0 210020 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 844028

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21467
/proc/meminfo: memFree=647308/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=844336 CPUtime=1361.88
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 1230128 0 0 0 135488 700 0 0 25 0 1 0 11954933 864600064 200514 1992294400 4194304 8223781 140734200672240 18446744073709551615 6567161 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21430/statm: 211084 200514 539 984 0 210097 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 844336

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21469
/proc/meminfo: memFree=649292/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=844708 CPUtime=1421.87
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 1272691 0 0 0 141466 721 0 0 25 0 1 0 11954933 864980992 200008 1992294400 4194304 8223781 140734200672240 18446744073709551615 6568047 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21430/statm: 211177 200008 539 984 0 210190 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 844708

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21470
/proc/meminfo: memFree=647928/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=845564 CPUtime=1481.85
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 1309178 0 0 0 147447 738 0 0 25 0 1 0 11954933 865857536 200376 1992294400 4194304 8223781 140734200672240 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21430/statm: 211391 200376 539 984 0 210404 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 845564

[startup+1542.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 21472
/proc/meminfo: memFree=648176/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=846600 CPUtime=1541.83
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 1353736 0 0 0 153425 758 0 0 25 0 1 0 11954933 866918400 200305 1992294400 4194304 8223781 140734200672240 18446744073709551615 6560135 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21430/statm: 211650 200305 539 984 0 210663 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 846600

[startup+1602.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 21474
/proc/meminfo: memFree=645324/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=846704 CPUtime=1601.81
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 1387390 0 0 0 159407 774 0 0 25 0 1 0 11954933 867024896 201026 1992294400 4194304 8223781 140734200672240 18446744073709551615 6559362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21430/statm: 211676 201026 539 984 0 210689 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 846704

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21475
/proc/meminfo: memFree=647680/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=846940 CPUtime=1661.8
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 1425103 0 0 0 165386 794 0 0 25 0 1 0 11954933 867266560 200444 1992294400 4194304 8223781 140734200672240 18446744073709551615 6560135 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21430/statm: 211735 200444 539 984 0 210748 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 846940

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21477
/proc/meminfo: memFree=647184/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=847228 CPUtime=1721.78
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 1457545 0 0 0 171366 812 0 0 25 0 1 0 11954933 867561472 200536 1992294400 4194304 8223781 140734200672240 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21430/statm: 211807 200536 539 984 0 210820 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 847228

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21487
/proc/meminfo: memFree=646936/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=847280 CPUtime=1781.75
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 1490337 0 0 0 177348 827 0 0 25 0 1 0 11954933 867614720 200511 1992294400 4194304 8223781 140734200672240 18446744073709551615 6568247 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21430/statm: 211820 200511 539 984 0 210833 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 847280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21488
/proc/meminfo: memFree=646564/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=847376 CPUtime=1800.05
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 1497809 0 0 0 179174 831 0 0 25 0 1 0 11954933 867713024 200616 1992294400 4194304 8223781 140734200672240 18446744073709551615 6567118 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21430/statm: 211844 200616 539 984 0 210857 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 847376

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -21430

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 21488
/proc/meminfo: memFree=646564/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=847444 CPUtime=1800.84
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 1505197 0 0 0 179250 834 0 0 25 0 1 0 11954933 867782656 200688 1992294400 4194304 8223781 140734200672240 18446744073709551615 6251356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21430/statm: 211861 200688 539 984 0 210874 0
Current children cumulated CPU time (s) 1800.84
Current children cumulated vsize (KiB) 847444

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21489
/proc/meminfo: memFree=646184/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=847444 CPUtime=1801.64
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 1505205 0 0 0 179330 834 0 0 25 0 1 0 11954933 867782656 200696 1992294400 4194304 8223781 140734200672240 18446744073709551615 6567153 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21430/statm: 211861 200696 539 984 0 210874 0
Current children cumulated CPU time (s) 1801.64
Current children cumulated vsize (KiB) 847444

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 21489
/proc/meminfo: memFree=646184/2059040 swapFree=4192956/4192956
[pid=21430] ppid=21428 vsize=847444 CPUtime=1802.04
/proc/21430/stat : 21430 (pbscip.linux.x8) R 21428 21430 21163 0 -1 4202496 1505209 0 0 0 179370 834 0 0 25 0 1 0 11954933 867782656 200700 1992294400 4194304 8223781 140734200672240 18446744073709551615 6502734 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21430/statm: 211861 200700 539 984 0 210874 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 847444

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.69
CPU time (s): 1802.14
CPU user time (s): 1793.72
CPU system time (s): 8.41872
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 862692

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

runsolver used 2.95955 second user time and 8.5357 second system time

The end

Launcher Data 

Begin job on node049 at 2010-07-06 19:31:56
IDJOB=2684984
IDBENCH=74232
IDSOLVER=1169
FILE ID=node049/2684984-1278437516
PBS_JOBID= 11233473
Free space on /tmp= 62476 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12036_4-sat.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-2684984-1278437516/watcher-2684984-1278437516 -o /tmp/evaluation-result-2684984-1278437516/solver-2684984-1278437516 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2684984-1278437516.opb -t 1800 -m 1800

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

MD5SUM BENCH= b4d4215a44d43278004dfcd0ea549fa8
RANDOM SEED=1784139903

node049.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.266
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.53
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.266
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1450372 kB
Buffers:        106596 kB
Cached:         368736 kB
SwapCached:          0 kB
Active:         185640 kB
Inactive:       349504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1450372 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           10932 kB
Writeback:           0 kB
AnonPages:       59916 kB
Mapped:          14428 kB
Slab:            51372 kB
PageTables:       4220 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182016 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62472 MiB
End job on node049 at 2010-07-06 20:01:59