Trace number 2684759

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/
j120/normalized-j12056_10-unsat.opb
MD5SUM9569f42797128c8734a8cda484f54275
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 constraints201250
Number of constraints which are clauses200306
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 17
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 677
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2684759-1278433511.opb>
3.49/3.54	c original problem has 57354 variables (57354 bin, 0 int, 0 impl, 0 cont) and 201250 constraints
3.49/3.54	c problem read
3.49/3.54	c No objective function, only one solution is needed.
3.49/3.55	c presolving settings loaded
4.49/4.59	c presolving:
14.99/15.07	c (round 1) 8160 del vars, 23881 del conss, 6491 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12640714 impls, 0 clqs
18.39/18.41	c (round 2) 14505 del vars, 52664 del conss, 12407 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12684438 impls, 0 clqs
21.19/21.26	c (round 3) 17139 del vars, 64606 del conss, 14055 chg bounds, 24 chg sides, 36 chg coeffs, 0 upgd conss, 12709116 impls, 0 clqs
24.88/24.96	c (round 4) 18752 del vars, 71250 del conss, 15218 chg bounds, 39 chg sides, 54 chg coeffs, 0 upgd conss, 12727730 impls, 0 clqs
28.08/28.18	c (round 5) 19956 del vars, 76274 del conss, 16028 chg bounds, 41 chg sides, 56 chg coeffs, 0 upgd conss, 12740654 impls, 0 clqs
29.89/29.99	c (round 6) 20488 del vars, 78707 del conss, 16339 chg bounds, 43 chg sides, 58 chg coeffs, 0 upgd conss, 12747563 impls, 0 clqs
31.29/31.35	c (round 7) 20883 del vars, 80423 del conss, 16586 chg bounds, 47 chg sides, 62 chg coeffs, 0 upgd conss, 12751151 impls, 0 clqs
31.89/31.96	c (round 8) 21052 del vars, 81237 del conss, 16679 chg bounds, 47 chg sides, 62 chg coeffs, 0 upgd conss, 12752206 impls, 0 clqs
32.18/32.28	c (round 9) 21112 del vars, 81530 del conss, 16706 chg bounds, 47 chg sides, 62 chg coeffs, 0 upgd conss, 12752564 impls, 0 clqs
32.38/32.49	c (round 10) 21122 del vars, 81604 del conss, 16711 chg bounds, 47 chg sides, 62 chg coeffs, 0 upgd conss, 12752642 impls, 0 clqs
32.58/32.68	c (round 11) 21124 del vars, 81623 del conss, 16712 chg bounds, 47 chg sides, 62 chg coeffs, 0 upgd conss, 12752660 impls, 0 clqs
33.78/33.89	c (round 12) 21124 del vars, 81626 del conss, 16712 chg bounds, 47 chg sides, 62 chg coeffs, 119624 upgd conss, 12752660 impls, 0 clqs
35.88/35.93	c (round 13) 21124 del vars, 81626 del conss, 16712 chg bounds, 92 chg sides, 287 chg coeffs, 119624 upgd conss, 12753544 impls, 4911 clqs
37.08/37.19	c presolving (14 rounds):
37.08/37.19	c  21124 deleted vars, 81626 deleted constraints, 16712 tightened bounds, 0 added holes, 100 changed sides, 354 changed coefficients
37.08/37.19	c  12753544 implications, 5248 cliques
37.08/37.19	c presolved problem has 36230 variables (36230 bin, 0 int, 0 impl, 0 cont) and 119624 constraints
37.08/37.19	c     928 constraints of type <knapsack>
37.08/37.19	c  118696 constraints of type <logicor>
37.08/37.19	c transformed objective value is always integral (scale: 1)
37.08/37.19	c Presolving Time: 31.41
37.08/37.19	c - non default parameters ----------------------------------------------------------------------
37.08/37.19	c # SCIP version 1.2.1.2
37.08/37.19	c 
37.08/37.19	c # frequency for displaying node information lines
37.08/37.19	c # [type: int, range: [-1,2147483647], default: 100]
37.08/37.19	c display/freq = 10000
37.08/37.19	c 
37.08/37.19	c # maximal time in seconds to run
37.08/37.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
37.08/37.19	c limits/time = 1796.47
37.08/37.19	c 
37.08/37.19	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
37.08/37.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
37.08/37.19	c limits/memory = 1620
37.08/37.19	c 
37.08/37.19	c # solving stops, if the given number of solutions were found (-1: no limit)
37.08/37.19	c # [type: int, range: [-1,2147483647], default: -1]
37.08/37.19	c limits/solutions = 1
37.08/37.19	c 
37.08/37.19	c # maximal number of separation rounds per node (-1: unlimited)
37.08/37.19	c # [type: int, range: [-1,2147483647], default: 5]
37.08/37.19	c separating/maxrounds = 1
37.08/37.19	c 
37.08/37.19	c # maximal number of separation rounds in the root node (-1: unlimited)
37.08/37.19	c # [type: int, range: [-1,2147483647], default: -1]
37.08/37.19	c separating/maxroundsroot = 5
37.08/37.19	c 
37.08/37.19	c # should presolving try to simplify inequalities
37.08/37.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
37.08/37.19	c constraints/linear/simplifyinequalities = TRUE
37.08/37.19	c 
37.08/37.19	c # should disaggregation of knapsack constraints be allowed in preprocessing?
37.08/37.19	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
37.08/37.19	c constraints/knapsack/disaggregation = FALSE
37.08/37.19	c 
37.08/37.19	c # should presolving try to simplify knapsacks
37.08/37.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
37.08/37.19	c constraints/knapsack/simplifyinequalities = TRUE
37.08/37.19	c 
37.08/37.19	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
37.08/37.19	c # [type: int, range: [-1,2147483647], default: -1]
37.08/37.19	c presolving/probing/maxrounds = 0
37.08/37.19	c 
37.08/37.19	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
37.08/37.19	c # [type: int, range: [-1,2147483647], default: 10]
37.08/37.19	c heuristics/coefdiving/freq = -1
37.08/37.19	c 
37.08/37.19	c # maximal fraction of diving LP iterations compared to node LP iterations
37.08/37.19	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
37.08/37.19	c heuristics/coefdiving/maxlpiterquot = 0.075
37.08/37.19	c 
37.08/37.19	c # additional number of allowed LP iterations
37.08/37.19	c # [type: int, range: [0,2147483647], default: 1000]
37.08/37.19	c heuristics/coefdiving/maxlpiterofs = 1500
37.08/37.19	c 
37.08/37.19	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
37.08/37.19	c # [type: int, range: [-1,2147483647], default: 30]
37.08/37.19	c heuristics/crossover/freq = -1
37.08/37.19	c 
37.08/37.19	c # number of nodes added to the contingent of the total nodes
37.08/37.19	c # [type: longint, range: [0,9223372036854775807], default: 500]
37.08/37.19	c heuristics/crossover/nodesofs = 750
37.08/37.19	c 
37.08/37.19	c # number of nodes without incumbent change that heuristic should wait
37.08/37.19	c # [type: longint, range: [0,9223372036854775807], default: 200]
37.08/37.19	c heuristics/crossover/nwaitingnodes = 100
37.08/37.19	c 
37.08/37.19	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
37.08/37.19	c # [type: real, range: [0,1], default: 0.1]
37.08/37.19	c heuristics/crossover/nodesquot = 0.15
37.08/37.19	c 
37.08/37.19	c # minimum percentage of integer variables that have to be fixed 
37.08/37.19	c # [type: real, range: [0,1], default: 0.666]
37.08/37.19	c heuristics/crossover/minfixingrate = 0.5
37.08/37.19	c 
37.08/37.19	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
37.08/37.19	c # [type: int, range: [-1,2147483647], default: 20]
37.08/37.19	c heuristics/feaspump/freq = -1
37.08/37.19	c 
37.08/37.19	c # additional number of allowed LP iterations
37.08/37.19	c # [type: int, range: [0,2147483647], default: 1000]
37.08/37.19	c heuristics/feaspump/maxlpiterofs = 2000
37.08/37.19	c 
37.08/37.19	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
37.08/37.19	c # [type: int, range: [-1,2147483647], default: 10]
37.08/37.19	c heuristics/fracdiving/freq = -1
37.08/37.19	c 
37.08/37.19	c # maximal fraction of diving LP iterations compared to node LP iterations
37.08/37.19	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
37.08/37.19	c heuristics/fracdiving/maxlpiterquot = 0.075
37.08/37.19	c 
37.08/37.19	c # additional number of allowed LP iterations
37.08/37.19	c # [type: int, range: [0,2147483647], default: 1000]
37.08/37.19	c heuristics/fracdiving/maxlpiterofs = 1500
37.08/37.19	c 
37.08/37.19	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
37.08/37.19	c # [type: int, range: [-1,2147483647], default: 10]
37.08/37.19	c heuristics/guideddiving/freq = -1
37.08/37.19	c 
37.08/37.19	c # maximal fraction of diving LP iterations compared to node LP iterations
37.08/37.19	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
37.08/37.19	c heuristics/guideddiving/maxlpiterquot = 0.075
37.08/37.19	c 
37.08/37.19	c # additional number of allowed LP iterations
37.08/37.19	c # [type: int, range: [0,2147483647], default: 1000]
37.08/37.19	c heuristics/guideddiving/maxlpiterofs = 1500
37.08/37.19	c 
37.08/37.19	c # maximal fraction of diving LP iterations compared to node LP iterations
37.08/37.19	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
37.08/37.19	c heuristics/intdiving/maxlpiterquot = 0.075
37.08/37.19	c 
37.08/37.19	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
37.08/37.19	c # [type: int, range: [-1,2147483647], default: 10]
37.08/37.19	c heuristics/intshifting/freq = -1
37.08/37.19	c 
37.08/37.19	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
37.08/37.19	c # [type: int, range: [-1,2147483647], default: 10]
37.08/37.19	c heuristics/linesearchdiving/freq = -1
37.08/37.19	c 
37.08/37.19	c # maximal fraction of diving LP iterations compared to node LP iterations
37.08/37.19	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
37.08/37.19	c heuristics/linesearchdiving/maxlpiterquot = 0.075
37.08/37.19	c 
37.08/37.19	c # additional number of allowed LP iterations
37.08/37.19	c # [type: int, range: [0,2147483647], default: 1000]
37.08/37.19	c heuristics/linesearchdiving/maxlpiterofs = 1500
37.08/37.19	c 
37.08/37.19	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
37.08/37.19	c # [type: int, range: [-1,2147483647], default: 1]
37.08/37.19	c heuristics/nlp/freq = -1
37.08/37.19	c 
37.08/37.19	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
37.08/37.19	c # [type: int, range: [-1,2147483647], default: 20]
37.08/37.19	c heuristics/objpscostdiving/freq = -1
37.08/37.19	c 
37.08/37.19	c # maximal fraction of diving LP iterations compared to total iteration number
37.08/37.19	c # [type: real, range: [0,1], default: 0.01]
37.08/37.19	c heuristics/objpscostdiving/maxlpiterquot = 0.015
37.08/37.19	c 
37.08/37.19	c # additional number of allowed LP iterations
37.08/37.19	c # [type: int, range: [0,2147483647], default: 1000]
37.08/37.19	c heuristics/objpscostdiving/maxlpiterofs = 1500
37.08/37.19	c 
37.08/37.19	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
37.08/37.19	c # [type: int, range: [-1,2147483647], default: 1]
37.08/37.19	c heuristics/oneopt/freq = -1
37.08/37.19	c 
37.08/37.19	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
37.08/37.19	c # [type: int, range: [-1,2147483647], default: 10]
37.08/37.19	c heuristics/pscostdiving/freq = -1
37.08/37.19	c 
37.08/37.19	c # maximal fraction of diving LP iterations compared to node LP iterations
37.08/37.19	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
37.08/37.19	c heuristics/pscostdiving/maxlpiterquot = 0.075
37.08/37.19	c 
37.08/37.19	c # additional number of allowed LP iterations
37.08/37.19	c # [type: int, range: [0,2147483647], default: 1000]
37.08/37.19	c heuristics/pscostdiving/maxlpiterofs = 1500
37.08/37.19	c 
37.08/37.19	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
37.08/37.19	c # [type: int, range: [-1,2147483647], default: 0]
37.08/37.19	c heuristics/rens/freq = -1
37.08/37.19	c 
37.08/37.19	c # minimum percentage of integer variables that have to be fixable 
37.08/37.19	c # [type: real, range: [0,1], default: 0.5]
37.08/37.19	c heuristics/rens/minfixingrate = 0.3
37.08/37.19	c 
37.08/37.19	c # number of nodes added to the contingent of the total nodes
37.08/37.19	c # [type: longint, range: [0,9223372036854775807], default: 500]
37.08/37.19	c heuristics/rens/nodesofs = 2000
37.08/37.19	c 
37.08/37.19	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
37.08/37.19	c # [type: int, range: [-1,2147483647], default: 20]
37.08/37.19	c heuristics/rootsoldiving/freq = -1
37.08/37.19	c 
37.08/37.19	c # maximal fraction of diving LP iterations compared to node LP iterations
37.08/37.19	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
37.08/37.19	c heuristics/rootsoldiving/maxlpiterquot = 0.015
37.08/37.19	c 
37.08/37.19	c # additional number of allowed LP iterations
37.08/37.19	c # [type: int, range: [0,2147483647], default: 1000]
37.08/37.19	c heuristics/rootsoldiving/maxlpiterofs = 1500
37.08/37.19	c 
37.08/37.19	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
37.08/37.19	c # [type: int, range: [-1,2147483647], default: 1]
37.08/37.19	c heuristics/rounding/freq = -1
37.08/37.19	c 
37.08/37.19	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
37.08/37.19	c # [type: int, range: [-1,2147483647], default: 10]
37.08/37.19	c heuristics/shifting/freq = -1
37.08/37.19	c 
37.08/37.19	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
37.08/37.19	c # [type: int, range: [-1,2147483647], default: 1]
37.08/37.19	c heuristics/simplerounding/freq = -1
37.08/37.19	c 
37.08/37.19	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
37.08/37.19	c # [type: int, range: [-1,2147483647], default: 0]
37.08/37.19	c heuristics/trivial/freq = -1
37.08/37.19	c 
37.08/37.19	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
37.08/37.19	c # [type: int, range: [-1,2147483647], default: 1]
37.08/37.19	c heuristics/trysol/freq = -1
37.08/37.19	c 
37.08/37.19	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
37.08/37.19	c # [type: int, range: [-1,2147483647], default: 10]
37.08/37.19	c heuristics/veclendiving/freq = -1
37.08/37.19	c 
37.08/37.19	c # maximal fraction of diving LP iterations compared to node LP iterations
37.08/37.19	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
37.08/37.19	c heuristics/veclendiving/maxlpiterquot = 0.075
37.08/37.19	c 
37.08/37.19	c # additional number of allowed LP iterations
37.08/37.19	c # [type: int, range: [0,2147483647], default: 1000]
37.08/37.19	c heuristics/veclendiving/maxlpiterofs = 1500
37.08/37.19	c 
37.08/37.19	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
37.08/37.19	c # [type: int, range: [-1,2147483647], default: 1]
37.08/37.19	c heuristics/zirounding/freq = -1
37.08/37.19	c 
37.08/37.19	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
37.08/37.19	c # [type: int, range: [-1,2147483647], default: 0]
37.08/37.19	c separating/cmir/freq = -1
37.08/37.19	c 
37.08/37.19	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
37.08/37.19	c # [type: int, range: [-1,2147483647], default: 0]
37.08/37.19	c separating/flowcover/freq = -1
37.08/37.19	c 
37.08/37.19	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
37.08/37.19	c # [type: int, range: [-1,2147483647], default: -1]
37.08/37.19	c separating/rapidlearning/freq = 0
37.08/37.19	c 
37.08/37.19	c -----------------------------------------------------------------------------------------------
37.08/37.19	c start solving
37.18/37.23	c 
1800.01/1800.50	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-2684759-1278433511/watcher-2684759-1278433511 -o /tmp/evaluation-result-2684759-1278433511/solver-2684759-1278433511 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2684759-1278433511.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.84 2.00 2.00 3/106 20260
/proc/meminfo: memFree=1484228/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=9288 CPUtime=0
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 1189 0 0 0 0 0 0 0 17 0 1 0 11562108 9510912 1111 1992294400 4194304 9819077 140736325810672 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20260/statm: 2322 1120 371 1374 0 943 0

[startup+0.0357211 s]
/proc/loadavg: 1.84 2.00 2.00 3/106 20260
/proc/meminfo: memFree=1484228/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=12700 CPUtime=0.02
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 2113 0 0 0 2 0 0 0 19 0 1 0 11562108 13004800 2034 1992294400 4194304 9819077 140736325810672 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20260/statm: 3175 2034 386 1374 0 1796 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12700

[startup+0.100729 s]
/proc/loadavg: 1.84 2.00 2.00 3/106 20260
/proc/meminfo: memFree=1484228/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=18580 CPUtime=0.09
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 3569 0 0 0 8 1 0 0 19 0 1 0 11562108 19025920 3490 1992294400 4194304 9819077 140736325810672 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20260/statm: 4645 3490 386 1374 0 3266 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18580

[startup+0.30075 s]
/proc/loadavg: 1.84 2.00 2.00 3/106 20260
/proc/meminfo: memFree=1484228/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=29580 CPUtime=0.29
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 6348 0 0 0 27 2 0 0 19 0 1 0 11562108 30289920 6260 1992294400 4194304 9819077 140736325810672 18446744073709551615 4240587 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20260/statm: 7395 6260 386 1374 0 6016 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29580

[startup+0.700795 s]
/proc/loadavg: 1.84 2.00 2.00 3/106 20260
/proc/meminfo: memFree=1484228/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=44860 CPUtime=0.69
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 10158 0 0 0 66 3 0 0 19 0 1 0 11562108 45936640 10070 1992294400 4194304 9819077 140736325810672 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20260/statm: 11215 10070 386 1374 0 9836 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44860

[startup+1.50089 s]
/proc/loadavg: 1.84 2.00 2.00 2/107 20261
/proc/meminfo: memFree=1437596/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=63508 CPUtime=1.49
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 14825 0 0 0 144 5 0 0 21 0 1 0 11562108 65032192 14737 1992294400 4194304 9819077 140736325810672 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20260/statm: 15877 14737 386 1374 0 14498 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 63508

[startup+3.10106 s]
/proc/loadavg: 1.84 2.00 2.00 2/107 20261
/proc/meminfo: memFree=1410812/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=113052 CPUtime=3.09
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 27207 0 0 0 299 10 0 0 25 0 1 0 11562108 115765248 27119 1992294400 4194304 9819077 140736325810672 18446744073709551615 6180950 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20260/statm: 28263 27119 386 1374 0 26884 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 113052

[startup+6.30043 s]
/proc/loadavg: 1.77 1.98 1.99 2/107 20261
/proc/meminfo: memFree=1151528/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=395672 CPUtime=6.29
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 96778 0 0 0 590 39 0 0 25 0 1 0 11562108 405168128 96305 1992294400 4194304 9819077 140736325810672 18446744073709551615 6180700 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20260/statm: 98918 96305 486 1374 0 97539 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 395672

[startup+12.7011 s]
/proc/loadavg: 1.71 1.97 1.99 2/107 20262
/proc/meminfo: memFree=900304/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=619468 CPUtime=12.69
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 150038 0 0 0 1202 67 0 0 25 0 1 0 11562108 634335232 149565 1992294400 4194304 9819077 140736325810672 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20260/statm: 154867 149565 486 1374 0 153488 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 619468

[startup+25.5006 s]
/proc/loadavg: 1.55 1.92 1.97 2/107 20262
/proc/meminfo: memFree=841528/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=665592 CPUtime=25.49
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 162045 0 0 0 2446 103 0 0 25 0 1 0 11562108 681566208 160544 1992294400 4194304 9819077 140736325810672 18446744073709551615 5966506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20260/statm: 166398 160544 490 1374 0 165019 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 665592

[startup+51.1005 s]
/proc/loadavg: 1.36 1.84 1.94 2/107 20262
/proc/meminfo: memFree=714180/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=848892 CPUtime=51.07
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 241349 0 0 0 4905 202 0 0 25 0 1 0 11562108 869265408 192816 1992294400 4194304 9819077 140736325810672 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20260/statm: 212223 192816 640 1374 0 210844 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 848892

[startup+102.308 s]
/proc/loadavg: 1.16 1.71 1.89 2/107 20264
/proc/meminfo: memFree=713312/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=862108 CPUtime=102.26
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 287942 0 0 0 10000 226 0 0 25 0 1 0 11562108 882798592 192891 1992294400 4194304 9819077 140736325810672 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20260/statm: 215527 192891 640 1374 0 214148 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 862108

[startup+162.301 s]
/proc/loadavg: 1.06 1.58 1.83 2/107 20266
/proc/meminfo: memFree=708972/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=873468 CPUtime=162.24
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 339800 0 0 0 15970 254 0 0 25 0 1 0 11562108 894431232 193077 1992294400 4194304 9819077 140736325810672 18446744073709551615 6199022 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20260/statm: 218367 193077 640 1374 0 216988 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 873468

[startup+222.301 s]
/proc/loadavg: 1.02 1.47 1.78 2/107 20267
/proc/meminfo: memFree=710584/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=877628 CPUtime=222.22
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 377909 0 0 0 21946 276 0 0 25 0 1 0 11562108 898691072 193546 1992294400 4194304 9819077 140736325810672 18446744073709551615 6198314 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20260/statm: 219407 193546 640 1374 0 218028 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 877628

[startup+282.301 s]
/proc/loadavg: 1.00 1.38 1.73 2/107 20269
/proc/meminfo: memFree=703888/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=879744 CPUtime=282.2
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 402418 0 0 0 27932 288 0 0 25 0 1 0 11562108 900857856 195183 1992294400 4194304 9819077 140736325810672 18446744073709551615 6697308 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20260/statm: 219936 195183 640 1374 0 218557 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 879744

[startup+342.301 s]
/proc/loadavg: 1.00 1.31 1.68 2/107 20270
/proc/meminfo: memFree=703888/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=881536 CPUtime=342.19
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 428685 0 0 0 33917 302 0 0 25 0 1 0 11562108 902692864 195211 1992294400 4194304 9819077 140736325810672 18446744073709551615 6697210 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20260/statm: 220384 195211 640 1374 0 219005 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 881536

[startup+402.301 s]
/proc/loadavg: 1.00 1.25 1.63 2/107 20272
/proc/meminfo: memFree=701036/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=883260 CPUtime=402.18
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 455404 0 0 0 39902 316 0 0 25 0 1 0 11562108 904458240 196094 1992294400 4194304 9819077 140736325810672 18446744073709551615 6198314 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20260/statm: 220815 196094 640 1374 0 219436 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 883260

[startup+462.301 s]
/proc/loadavg: 1.00 1.20 1.59 2/107 20274
/proc/meminfo: memFree=701780/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=884316 CPUtime=462.16
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 483845 0 0 0 45885 331 0 0 25 0 1 0 11562108 905539584 195690 1992294400 4194304 9819077 140736325810672 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20260/statm: 221079 195690 640 1374 0 219700 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 884316

[startup+522.301 s]
/proc/loadavg: 1.00 1.16 1.55 2/107 20275
/proc/meminfo: memFree=696448/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=885820 CPUtime=522.15
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 505349 0 0 0 51871 344 0 0 25 0 1 0 11562108 907079680 197214 1992294400 4194304 9819077 140736325810672 18446744073709551615 7295868 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20260/statm: 221455 197214 640 1374 0 220076 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 885820

[startup+582.301 s]
/proc/loadavg: 1.04 1.14 1.52 2/107 20277
/proc/meminfo: memFree=695704/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=886424 CPUtime=582.13
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 527576 0 0 0 57859 354 0 0 25 0 1 0 11562108 907698176 197282 1992294400 4194304 9819077 140736325810672 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20260/statm: 221606 197282 640 1374 0 220227 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 886424

[startup+642.301 s]
/proc/loadavg: 1.01 1.12 1.48 2/107 20278
/proc/meminfo: memFree=696448/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=886748 CPUtime=642.12
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 550241 0 0 0 63846 366 0 0 25 0 1 0 11562108 908029952 196961 1992294400 4194304 9819077 140736325810672 18446744073709551615 6198346 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20260/statm: 221687 196961 640 1374 0 220308 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 886748

[startup+702.301 s]

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

/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 695756 0 0 0 105756 444 0 0 25 0 1 0 11562108 909864960 197120 1992294400 4194304 9819077 140736325810672 18446744073709551615 7294708 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20260/statm: 222135 197120 640 1374 0 220756 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 888540

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.27 2/107 20291
/proc/meminfo: memFree=683800/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=888472 CPUtime=1121.98
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 711325 0 0 0 111746 452 0 0 25 0 1 0 11562108 909795328 200074 1992294400 4194304 9819077 140736325810672 18446744073709551615 6198284 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20260/statm: 222118 200074 640 1374 0 220739 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 888472

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.25 2/107 20293
/proc/meminfo: memFree=687024/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=868744 CPUtime=1181.97
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 741035 0 0 0 117730 467 0 0 25 0 1 0 11562108 889593856 194870 1992294400 4194304 9819077 140736325810672 18446744073709551615 7235141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20260/statm: 217186 194870 640 1374 0 215807 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 868744

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.23 2/107 20294
/proc/meminfo: memFree=693844/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=888572 CPUtime=1241.95
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 775773 0 0 0 123711 484 0 0 25 0 1 0 11562108 909897728 197659 1992294400 4194304 9819077 140736325810672 18446744073709551615 6674427 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20260/statm: 222143 197659 640 1374 0 220764 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 888572

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.22 2/107 20296
/proc/meminfo: memFree=684916/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=888512 CPUtime=1301.94
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 800308 0 0 0 129698 496 0 0 25 0 1 0 11562108 909836288 199717 1992294400 4194304 9819077 140736325810672 18446744073709551615 6191175 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20260/statm: 222128 199717 640 1374 0 220749 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 888512

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.20 2/107 20298
/proc/meminfo: memFree=688884/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=888412 CPUtime=1361.92
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 823484 0 0 0 135684 508 0 0 25 0 1 0 11562108 909733888 198941 1992294400 4194304 9819077 140736325810672 18446744073709551615 7300326 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20260/statm: 222103 198941 640 1374 0 220724 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 888412

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.18 2/107 20299
/proc/meminfo: memFree=694092/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=888472 CPUtime=1421.91
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 847044 0 0 0 141671 520 0 0 25 0 1 0 11562108 909795328 197401 1992294400 4194304 9819077 140736325810672 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20260/statm: 222118 197401 640 1374 0 220739 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 888472

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/107 20301
/proc/meminfo: memFree=684916/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=888540 CPUtime=1481.88
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 862499 0 0 0 147660 528 0 0 25 0 1 0 11562108 909864960 199731 1992294400 4194304 9819077 140736325810672 18446744073709551615 6198284 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20260/statm: 222135 199731 640 1374 0 220756 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 888540

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/107 20302
/proc/meminfo: memFree=693100/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=888764 CPUtime=1541.87
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 884812 0 0 0 153648 539 0 0 25 0 1 0 11562108 910094336 197745 1992294400 4194304 9819077 140736325810672 18446744073709551615 7308997 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20260/statm: 222191 197745 640 1374 0 220812 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 888764

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/107 20304
/proc/meminfo: memFree=684048/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=888960 CPUtime=1601.86
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 899021 0 0 0 159639 547 0 0 25 0 1 0 11562108 910295040 199998 1992294400 4194304 9819077 140736325810672 18446744073709551615 7293672 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20260/statm: 222240 199998 640 1374 0 220861 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 888960

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 20306
/proc/meminfo: memFree=695704/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=889048 CPUtime=1661.84
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 930758 0 0 0 165622 562 0 0 25 0 1 0 11562108 910385152 197020 1992294400 4194304 9819077 140736325810672 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20260/statm: 222262 197020 640 1374 0 220883 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 889048

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 20307
/proc/meminfo: memFree=684668/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=889148 CPUtime=1721.83
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 956718 0 0 0 171608 575 0 0 25 0 1 0 11562108 910487552 199803 1992294400 4194304 9819077 140736325810672 18446744073709551615 7318413 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20260/statm: 222287 199803 640 1374 0 220908 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 889148

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 20309
/proc/meminfo: memFree=692480/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=889240 CPUtime=1781.81
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 989586 0 0 0 177592 589 0 0 25 0 1 0 11562108 910581760 197867 1992294400 4194304 9819077 140736325810672 18446744073709551615 6656800 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20260/statm: 222310 197867 640 1374 0 220931 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 889240



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 20309
/proc/meminfo: memFree=682808/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=889240 CPUtime=1800.01
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 991931 0 0 0 179410 591 0 0 25 0 1 0 11562108 910581760 200212 1992294400 4194304 9819077 140736325810672 18446744073709551615 7298106 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20260/statm: 222310 200212 640 1374 0 220931 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 889240

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -20260

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.11 2/108 20310
/proc/meminfo: memFree=682800/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=889240 CPUtime=1800.9
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 991999 0 0 0 179499 591 0 0 25 0 1 0 11562108 910581760 200280 1992294400 4194304 9819077 140736325810672 18446744073709551615 7318505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20260/statm: 222310 200280 640 1374 0 220931 0
Current children cumulated CPU time (s) 1800.9
Current children cumulated vsize (KiB) 889240

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.11 2/108 20310
/proc/meminfo: memFree=682428/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=889240 CPUtime=1801.7
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 992072 0 0 0 179579 591 0 0 25 0 1 0 11562108 910581760 200353 1992294400 4194304 9819077 140736325810672 18446744073709551615 7299232 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20260/statm: 222310 200353 640 1374 0 220931 0
Current children cumulated CPU time (s) 1801.7
Current children cumulated vsize (KiB) 889240

[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.11 2/108 20310
/proc/meminfo: memFree=682428/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=889240 CPUtime=1801.9
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 992087 0 0 0 179599 591 0 0 25 0 1 0 11562108 910581760 200368 1992294400 4194304 9819077 140736325810672 18446744073709551615 7309283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20260/statm: 222310 200368 640 1374 0 220931 0
Current children cumulated CPU time (s) 1801.9
Current children cumulated vsize (KiB) 889240

[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.11 2/108 20310
/proc/meminfo: memFree=682428/2059040 swapFree=4192956/4192956
[pid=20260] ppid=20258 vsize=889240 CPUtime=1802
/proc/20260/stat : 20260 (pbscip.linux.x8) R 20258 20260 20235 0 -1 4202496 992092 0 0 0 179609 591 0 0 25 0 1 0 11562108 910581760 200373 1992294400 4194304 9819077 140736325810672 18446744073709551615 7291028 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20260/statm: 222310 200373 640 1374 0 220931 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 889240

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.59
CPU time (s): 1802.1
CPU user time (s): 1796.11
CPU system time (s): 5.99009
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 889308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.11
system time used= 5.99009
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 992092
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 5916

runsolver used 2.95155 second user time and 8.5397 second system time

The end

Launcher Data 

Begin job on node035 at 2010-07-06 18:25:12
IDJOB=2684759
IDBENCH=73545
IDSOLVER=1168
FILE ID=node035/2684759-1278433511
PBS_JOBID= 11233486
Free space on /tmp= 62484 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12056_10-unsat.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684759-1278433511/watcher-2684759-1278433511 -o /tmp/evaluation-result-2684759-1278433511/solver-2684759-1278433511 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2684759-1278433511.opb -t 1800 -m 1800

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

MD5SUM BENCH= 9569f42797128c8734a8cda484f54275
RANDOM SEED=1774827545

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1485236 kB
Buffers:        100612 kB
Cached:         341332 kB
SwapCached:          0 kB
Active:         171876 kB
Inactive:       329980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1485236 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           12964 kB
Writeback:           0 kB
AnonPages:       59828 kB
Mapped:          14424 kB
Slab:            50096 kB
PageTables:       4152 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179408 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= 62480 MiB
End job on node035 at 2010-07-06 18:55:14