Trace number 2685068

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.15 1802.69

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12036_3-sat.opb
MD5SUMcf899369697891a2aa5256c136e26408
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 variables55660
Total number of constraints186884
Number of constraints which are clauses185968
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints916
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 689
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-2685068-1278439319.opb>
3.39/3.40	c original problem has 55660 variables (55660 bin, 0 int, 0 impl, 0 cont) and 186884 constraints
3.39/3.40	c problem read
3.39/3.40	c No objective function, only one solution is needed.
3.39/3.41	c presolving settings loaded
4.40/4.43	c presolving:
14.29/14.36	c (round 1) 5752 del vars, 16341 del conss, 4215 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12167440 impls, 0 clqs
18.39/18.40	c (round 2) 12012 del vars, 41993 del conss, 10040 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12208448 impls, 0 clqs
21.08/21.14	c (round 3) 14303 del vars, 52563 del conss, 11388 chg bounds, 7 chg sides, 30 chg coeffs, 0 upgd conss, 12229342 impls, 0 clqs
24.48/24.53	c (round 4) 15682 del vars, 57968 del conss, 12397 chg bounds, 12 chg sides, 40 chg coeffs, 0 upgd conss, 12240059 impls, 0 clqs
26.48/26.54	c (round 5) 16605 del vars, 61730 del conss, 12983 chg bounds, 12 chg sides, 40 chg coeffs, 0 upgd conss, 12247646 impls, 0 clqs
28.08/28.14	c (round 6) 17161 del vars, 63846 del conss, 13373 chg bounds, 12 chg sides, 40 chg coeffs, 0 upgd conss, 12253101 impls, 0 clqs
28.88/28.98	c (round 7) 17560 del vars, 65531 del conss, 13580 chg bounds, 15 chg sides, 43 chg coeffs, 0 upgd conss, 12257004 impls, 0 clqs
29.39/29.49	c (round 8) 17658 del vars, 66038 del conss, 13635 chg bounds, 15 chg sides, 43 chg coeffs, 0 upgd conss, 12258459 impls, 0 clqs
29.78/29.84	c (round 9) 17730 del vars, 66340 del conss, 13666 chg bounds, 15 chg sides, 43 chg coeffs, 0 upgd conss, 12259205 impls, 0 clqs
30.08/30.12	c (round 10) 17766 del vars, 66490 del conss, 13682 chg bounds, 15 chg sides, 43 chg coeffs, 0 upgd conss, 12259628 impls, 0 clqs
30.28/30.34	c (round 11) 17779 del vars, 66561 del conss, 13687 chg bounds, 15 chg sides, 43 chg coeffs, 0 upgd conss, 12259711 impls, 0 clqs
30.48/30.52	c (round 12) 17779 del vars, 66574 del conss, 13687 chg bounds, 15 chg sides, 43 chg coeffs, 0 upgd conss, 12259711 impls, 0 clqs
32.08/32.11	c (round 13) 17779 del vars, 66577 del conss, 13687 chg bounds, 15 chg sides, 43 chg coeffs, 120309 upgd conss, 12259711 impls, 0 clqs
34.09/34.18	c presolving (14 rounds):
34.09/34.18	c  17779 deleted vars, 66577 deleted constraints, 13687 tightened bounds, 0 added holes, 21 changed sides, 177 changed coefficients
34.09/34.18	c  12259999 implications, 2776 cliques
34.09/34.18	c presolved problem has 37881 variables (37881 bin, 0 int, 0 impl, 0 cont) and 120307 constraints
34.09/34.18	c     895 constraints of type <knapsack>
34.09/34.18	c  119412 constraints of type <logicor>
34.09/34.18	c transformed objective value is always integral (scale: 1)
34.09/34.18	c Presolving Time: 28.50
34.09/34.18	c - non default parameters ----------------------------------------------------------------------
34.09/34.18	c # SCIP version 1.2.1.2
34.09/34.18	c 
34.09/34.18	c # frequency for displaying node information lines
34.09/34.18	c # [type: int, range: [-1,2147483647], default: 100]
34.09/34.18	c display/freq = 10000
34.09/34.18	c 
34.09/34.18	c # maximal time in seconds to run
34.09/34.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
34.09/34.18	c limits/time = 1796.6
34.09/34.18	c 
34.09/34.18	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
34.09/34.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
34.09/34.18	c limits/memory = 1620
34.09/34.18	c 
34.09/34.18	c # solving stops, if the given number of solutions were found (-1: no limit)
34.09/34.18	c # [type: int, range: [-1,2147483647], default: -1]
34.09/34.18	c limits/solutions = 1
34.09/34.18	c 
34.09/34.18	c # maximal number of separation rounds per node (-1: unlimited)
34.09/34.18	c # [type: int, range: [-1,2147483647], default: 5]
34.09/34.18	c separating/maxrounds = 1
34.09/34.18	c 
34.09/34.18	c # maximal number of separation rounds in the root node (-1: unlimited)
34.09/34.18	c # [type: int, range: [-1,2147483647], default: -1]
34.09/34.18	c separating/maxroundsroot = 5
34.09/34.18	c 
34.09/34.18	c # should presolving try to simplify inequalities
34.09/34.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
34.09/34.18	c constraints/linear/simplifyinequalities = TRUE
34.09/34.18	c 
34.09/34.18	c # should disaggregation of knapsack constraints be allowed in preprocessing?
34.09/34.18	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
34.09/34.18	c constraints/knapsack/disaggregation = FALSE
34.09/34.18	c 
34.09/34.18	c # should presolving try to simplify knapsacks
34.09/34.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
34.09/34.18	c constraints/knapsack/simplifyinequalities = TRUE
34.09/34.18	c 
34.09/34.18	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
34.09/34.18	c # [type: int, range: [-1,2147483647], default: -1]
34.09/34.18	c presolving/probing/maxrounds = 0
34.09/34.18	c 
34.09/34.18	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
34.09/34.18	c # [type: int, range: [-1,2147483647], default: 10]
34.09/34.18	c heuristics/coefdiving/freq = -1
34.09/34.18	c 
34.09/34.18	c # maximal fraction of diving LP iterations compared to node LP iterations
34.09/34.18	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
34.09/34.18	c heuristics/coefdiving/maxlpiterquot = 0.075
34.09/34.18	c 
34.09/34.18	c # additional number of allowed LP iterations
34.09/34.18	c # [type: int, range: [0,2147483647], default: 1000]
34.09/34.18	c heuristics/coefdiving/maxlpiterofs = 1500
34.09/34.18	c 
34.09/34.18	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
34.09/34.18	c # [type: int, range: [-1,2147483647], default: 30]
34.09/34.18	c heuristics/crossover/freq = -1
34.09/34.18	c 
34.09/34.18	c # number of nodes added to the contingent of the total nodes
34.09/34.18	c # [type: longint, range: [0,9223372036854775807], default: 500]
34.09/34.18	c heuristics/crossover/nodesofs = 750
34.09/34.18	c 
34.09/34.18	c # number of nodes without incumbent change that heuristic should wait
34.09/34.18	c # [type: longint, range: [0,9223372036854775807], default: 200]
34.09/34.18	c heuristics/crossover/nwaitingnodes = 100
34.09/34.18	c 
34.09/34.18	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
34.09/34.18	c # [type: real, range: [0,1], default: 0.1]
34.09/34.18	c heuristics/crossover/nodesquot = 0.15
34.09/34.18	c 
34.09/34.18	c # minimum percentage of integer variables that have to be fixed 
34.09/34.18	c # [type: real, range: [0,1], default: 0.666]
34.09/34.18	c heuristics/crossover/minfixingrate = 0.5
34.09/34.18	c 
34.09/34.18	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
34.09/34.18	c # [type: int, range: [-1,2147483647], default: 20]
34.09/34.18	c heuristics/feaspump/freq = -1
34.09/34.18	c 
34.09/34.18	c # additional number of allowed LP iterations
34.09/34.18	c # [type: int, range: [0,2147483647], default: 1000]
34.09/34.18	c heuristics/feaspump/maxlpiterofs = 2000
34.09/34.18	c 
34.09/34.18	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
34.09/34.18	c # [type: int, range: [-1,2147483647], default: 10]
34.09/34.18	c heuristics/fracdiving/freq = -1
34.09/34.18	c 
34.09/34.18	c # maximal fraction of diving LP iterations compared to node LP iterations
34.09/34.18	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
34.09/34.18	c heuristics/fracdiving/maxlpiterquot = 0.075
34.09/34.18	c 
34.09/34.18	c # additional number of allowed LP iterations
34.09/34.18	c # [type: int, range: [0,2147483647], default: 1000]
34.09/34.18	c heuristics/fracdiving/maxlpiterofs = 1500
34.09/34.18	c 
34.09/34.18	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
34.09/34.18	c # [type: int, range: [-1,2147483647], default: 10]
34.09/34.18	c heuristics/guideddiving/freq = -1
34.09/34.18	c 
34.09/34.18	c # maximal fraction of diving LP iterations compared to node LP iterations
34.09/34.18	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
34.09/34.18	c heuristics/guideddiving/maxlpiterquot = 0.075
34.09/34.18	c 
34.09/34.18	c # additional number of allowed LP iterations
34.09/34.18	c # [type: int, range: [0,2147483647], default: 1000]
34.09/34.18	c heuristics/guideddiving/maxlpiterofs = 1500
34.09/34.18	c 
34.09/34.18	c # maximal fraction of diving LP iterations compared to node LP iterations
34.09/34.18	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
34.09/34.18	c heuristics/intdiving/maxlpiterquot = 0.075
34.09/34.18	c 
34.09/34.18	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
34.09/34.18	c # [type: int, range: [-1,2147483647], default: 10]
34.09/34.18	c heuristics/intshifting/freq = -1
34.09/34.18	c 
34.09/34.18	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
34.09/34.18	c # [type: int, range: [-1,2147483647], default: 10]
34.09/34.18	c heuristics/linesearchdiving/freq = -1
34.09/34.18	c 
34.09/34.18	c # maximal fraction of diving LP iterations compared to node LP iterations
34.09/34.18	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
34.09/34.18	c heuristics/linesearchdiving/maxlpiterquot = 0.075
34.09/34.18	c 
34.09/34.18	c # additional number of allowed LP iterations
34.09/34.18	c # [type: int, range: [0,2147483647], default: 1000]
34.09/34.18	c heuristics/linesearchdiving/maxlpiterofs = 1500
34.09/34.18	c 
34.09/34.18	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
34.09/34.18	c # [type: int, range: [-1,2147483647], default: 1]
34.09/34.18	c heuristics/nlp/freq = -1
34.09/34.18	c 
34.09/34.18	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
34.09/34.18	c # [type: int, range: [-1,2147483647], default: 20]
34.09/34.18	c heuristics/objpscostdiving/freq = -1
34.09/34.18	c 
34.09/34.18	c # maximal fraction of diving LP iterations compared to total iteration number
34.09/34.18	c # [type: real, range: [0,1], default: 0.01]
34.09/34.18	c heuristics/objpscostdiving/maxlpiterquot = 0.015
34.09/34.18	c 
34.09/34.18	c # additional number of allowed LP iterations
34.09/34.18	c # [type: int, range: [0,2147483647], default: 1000]
34.09/34.18	c heuristics/objpscostdiving/maxlpiterofs = 1500
34.09/34.18	c 
34.09/34.18	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
34.09/34.18	c # [type: int, range: [-1,2147483647], default: 1]
34.09/34.18	c heuristics/oneopt/freq = -1
34.09/34.18	c 
34.09/34.18	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
34.09/34.18	c # [type: int, range: [-1,2147483647], default: 10]
34.09/34.18	c heuristics/pscostdiving/freq = -1
34.09/34.18	c 
34.09/34.18	c # maximal fraction of diving LP iterations compared to node LP iterations
34.09/34.18	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
34.09/34.18	c heuristics/pscostdiving/maxlpiterquot = 0.075
34.09/34.18	c 
34.09/34.18	c # additional number of allowed LP iterations
34.09/34.18	c # [type: int, range: [0,2147483647], default: 1000]
34.09/34.18	c heuristics/pscostdiving/maxlpiterofs = 1500
34.09/34.18	c 
34.09/34.18	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
34.09/34.18	c # [type: int, range: [-1,2147483647], default: 0]
34.09/34.18	c heuristics/rens/freq = -1
34.09/34.18	c 
34.09/34.18	c # minimum percentage of integer variables that have to be fixable 
34.09/34.18	c # [type: real, range: [0,1], default: 0.5]
34.09/34.18	c heuristics/rens/minfixingrate = 0.3
34.09/34.18	c 
34.09/34.18	c # number of nodes added to the contingent of the total nodes
34.09/34.18	c # [type: longint, range: [0,9223372036854775807], default: 500]
34.09/34.18	c heuristics/rens/nodesofs = 2000
34.09/34.18	c 
34.09/34.18	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
34.09/34.18	c # [type: int, range: [-1,2147483647], default: 20]
34.09/34.18	c heuristics/rootsoldiving/freq = -1
34.09/34.18	c 
34.09/34.18	c # maximal fraction of diving LP iterations compared to node LP iterations
34.09/34.18	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
34.09/34.18	c heuristics/rootsoldiving/maxlpiterquot = 0.015
34.09/34.18	c 
34.09/34.18	c # additional number of allowed LP iterations
34.09/34.18	c # [type: int, range: [0,2147483647], default: 1000]
34.09/34.18	c heuristics/rootsoldiving/maxlpiterofs = 1500
34.09/34.18	c 
34.09/34.18	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
34.09/34.18	c # [type: int, range: [-1,2147483647], default: 1]
34.09/34.18	c heuristics/rounding/freq = -1
34.09/34.18	c 
34.09/34.18	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
34.09/34.18	c # [type: int, range: [-1,2147483647], default: 10]
34.09/34.18	c heuristics/shifting/freq = -1
34.09/34.18	c 
34.09/34.18	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
34.09/34.18	c # [type: int, range: [-1,2147483647], default: 1]
34.09/34.18	c heuristics/simplerounding/freq = -1
34.09/34.18	c 
34.09/34.18	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
34.09/34.18	c # [type: int, range: [-1,2147483647], default: 0]
34.09/34.18	c heuristics/trivial/freq = -1
34.09/34.18	c 
34.09/34.18	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
34.09/34.18	c # [type: int, range: [-1,2147483647], default: 1]
34.09/34.18	c heuristics/trysol/freq = -1
34.09/34.18	c 
34.09/34.18	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
34.09/34.18	c # [type: int, range: [-1,2147483647], default: 10]
34.09/34.18	c heuristics/veclendiving/freq = -1
34.09/34.18	c 
34.09/34.18	c # maximal fraction of diving LP iterations compared to node LP iterations
34.09/34.18	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
34.09/34.18	c heuristics/veclendiving/maxlpiterquot = 0.075
34.09/34.18	c 
34.09/34.18	c # additional number of allowed LP iterations
34.09/34.18	c # [type: int, range: [0,2147483647], default: 1000]
34.09/34.18	c heuristics/veclendiving/maxlpiterofs = 1500
34.09/34.18	c 
34.09/34.18	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
34.09/34.18	c # [type: int, range: [-1,2147483647], default: 1]
34.09/34.18	c heuristics/zirounding/freq = -1
34.09/34.18	c 
34.09/34.18	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
34.09/34.18	c # [type: int, range: [-1,2147483647], default: 0]
34.09/34.18	c separating/cmir/freq = -1
34.09/34.18	c 
34.09/34.18	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
34.09/34.18	c # [type: int, range: [-1,2147483647], default: 0]
34.09/34.18	c separating/flowcover/freq = -1
34.09/34.18	c 
34.09/34.18	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
34.09/34.18	c # [type: int, range: [-1,2147483647], default: -1]
34.09/34.18	c separating/rapidlearning/freq = 0
34.09/34.18	c 
34.09/34.18	c -----------------------------------------------------------------------------------------------
34.09/34.18	c start solving
34.17/34.22	c 
1800.06/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-2685068-1278439319/watcher-2685068-1278439319 -o /tmp/evaluation-result-2685068-1278439319/solver-2685068-1278439319 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2685068-1278439319.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 21515
/proc/meminfo: memFree=1448260/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=7724 CPUtime=0
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 1027 0 0 0 0 0 0 0 20 0 1 0 12135280 7909376 946 1992294400 4194304 8223781 140737202577408 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21515/statm: 1931 955 348 984 0 944 0

[startup+0.088254 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21515
/proc/meminfo: memFree=1448260/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=15572 CPUtime=0.07
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 3189 0 0 0 7 0 0 0 20 0 1 0 12135280 15945728 3108 1992294400 4194304 8223781 140737202577408 18446744073709551615 5649702 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21515/statm: 3893 3108 363 984 0 2906 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15572

[startup+0.101255 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21515
/proc/meminfo: memFree=1448260/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=16044 CPUtime=0.1
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 3308 0 0 0 9 1 0 0 20 0 1 0 12135280 16429056 3227 1992294400 4194304 8223781 140737202577408 18446744073709551615 5651518 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21515/statm: 4011 3227 363 984 0 3024 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 16044

[startup+0.301283 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21515
/proc/meminfo: memFree=1448260/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=28008 CPUtime=0.29
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 6326 0 0 0 27 2 0 0 20 0 1 0 12135280 28680192 6237 1992294400 4194304 8223781 140737202577408 18446744073709551615 7189505 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21515/statm: 7002 6237 363 984 0 6015 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28008

[startup+0.70134 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21515
/proc/meminfo: memFree=1448260/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=43288 CPUtime=0.7
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 10132 0 0 0 66 4 0 0 21 0 1 0 12135280 44326912 10043 1992294400 4194304 8223781 140737202577408 18446744073709551615 4240576 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21515/statm: 10822 10043 363 984 0 9835 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 43288

[startup+1.50145 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 21516
/proc/meminfo: memFree=1402868/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=59880 CPUtime=1.49
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 14284 0 0 0 144 5 0 0 23 0 1 0 12135280 61317120 14195 1992294400 4194304 8223781 140737202577408 18446744073709551615 7246477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21515/statm: 14970 14195 363 984 0 13983 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59880

[startup+3.10068 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21516
/proc/meminfo: memFree=1373728/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=111832 CPUtime=3.09
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 27209 0 0 0 298 11 0 0 25 0 1 0 12135280 114515968 27120 1992294400 4194304 8223781 140737202577408 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21515/statm: 27958 27120 363 984 0 26971 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 111832

[startup+6.30114 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21516
/proc/meminfo: memFree=1118784/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=385860 CPUtime=6.29
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 95163 0 0 0 592 37 0 0 25 0 1 0 12135280 395120640 94661 1992294400 4194304 8223781 140737202577408 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21515/statm: 96465 94661 440 984 0 95478 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 385860

[startup+12.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21516
/proc/meminfo: memFree=870660/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=609604 CPUtime=12.68
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 148269 0 0 0 1201 67 0 0 25 0 1 0 12135280 624234496 147767 1992294400 4194304 8223781 140737202577408 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21515/statm: 152401 147767 444 984 0 151414 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 609604

[startup+25.5009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21517
/proc/meminfo: memFree=824904/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=640912 CPUtime=25.48
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 157170 0 0 0 2444 104 0 0 25 0 1 0 12135280 656293888 155640 1992294400 4194304 8223781 140737202577408 18446744073709551615 5966503 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21515/statm: 160228 155640 444 984 0 159241 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 640912

[startup+51.1015 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 21517
/proc/meminfo: memFree=661472/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=825476 CPUtime=51.07
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 233656 0 0 0 4905 202 0 0 25 0 1 0 12135280 845287424 196614 1992294400 4194304 8223781 140737202577408 18446744073709551615 6568157 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21515/statm: 206369 196614 542 984 0 205382 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 825476

[startup+102.309 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 21519
/proc/meminfo: memFree=659860/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=829092 CPUtime=102.26
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 278083 0 0 0 10000 226 0 0 25 0 1 0 12135280 848990208 197022 1992294400 4194304 8223781 140737202577408 18446744073709551615 6537908 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21515/statm: 207273 197022 542 984 0 206286 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 829092

[startup+162.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 21520
/proc/meminfo: memFree=658248/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=831780 CPUtime=162.23
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 333908 0 0 0 15969 254 0 0 25 0 1 0 12135280 851742720 197432 1992294400 4194304 8223781 140737202577408 18446744073709551615 6502720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21515/statm: 207945 197432 542 984 0 206958 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 831780

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21522
/proc/meminfo: memFree=655644/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=834008 CPUtime=222.22
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 389087 0 0 0 21942 280 0 0 25 0 1 0 12135280 854024192 198085 1992294400 4194304 8223781 140737202577408 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21515/statm: 208502 198085 542 984 0 207515 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 834008

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21523
/proc/meminfo: memFree=654280/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=835748 CPUtime=282.21
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 444516 0 0 0 27913 308 0 0 25 0 1 0 12135280 855805952 198432 1992294400 4194304 8223781 140737202577408 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21515/statm: 208937 198432 542 984 0 207950 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 835748

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21525
/proc/meminfo: memFree=653660/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=837468 CPUtime=342.18
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 502952 0 0 0 33881 337 0 0 25 0 1 0 12135280 857567232 198574 1992294400 4194304 8223781 140737202577408 18446744073709551615 6520924 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21515/statm: 209367 198574 542 984 0 208380 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 837468

[startup+402.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 21527
/proc/meminfo: memFree=651552/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=838768 CPUtime=402.17
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 551615 0 0 0 39857 360 0 0 25 0 1 0 12135280 858898432 199101 1992294400 4194304 8223781 140737202577408 18446744073709551615 6568069 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21515/statm: 209692 199101 542 984 0 208705 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 838768

[startup+462.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 21528
/proc/meminfo: memFree=651304/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=839904 CPUtime=462.15
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 599103 0 0 0 45832 383 0 0 25 0 1 0 12135280 860061696 199172 1992294400 4194304 8223781 140737202577408 18446744073709551615 6536638 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21515/statm: 209976 199172 542 984 0 208989 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 839904

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21530
/proc/meminfo: memFree=650064/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=841660 CPUtime=522.13
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 646405 0 0 0 51808 405 0 0 25 0 1 0 12135280 861859840 199480 1992294400 4194304 8223781 140737202577408 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21515/statm: 210415 199480 542 984 0 209428 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 841660

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21531
/proc/meminfo: memFree=648948/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=842596 CPUtime=582.11
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 692460 0 0 0 57786 425 0 0 25 0 1 0 12135280 862818304 199728 1992294400 4194304 8223781 140737202577408 18446744073709551615 6612712 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21515/statm: 210649 199728 542 984 0 209662 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 842596

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21533
/proc/meminfo: memFree=648204/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=843412 CPUtime=642.11
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 737133 0 0 0 63763 448 0 0 25 0 1 0 12135280 863653888 199911 1992294400 4194304 8223781 140737202577408 18446744073709551615 6564665 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21515/statm: 210853 199911 542 984 0 209866 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 843412

[startup+702.301 s]

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

/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 1018970 0 0 0 99613 586 0 0 25 0 1 0 12135280 869273600 201379 1992294400 4194304 8223781 140737202577408 18446744073709551615 6568426 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21515/statm: 212225 201379 542 984 0 211238 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 848900

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21544
/proc/meminfo: memFree=639152/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=849264 CPUtime=1061.97
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 1061378 0 0 0 105591 606 0 0 25 0 1 0 12135280 869646336 202126 1992294400 4194304 8223781 140737202577408 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21515/statm: 212316 202126 542 984 0 211329 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 849264

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21549
/proc/meminfo: memFree=637912/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=849744 CPUtime=1121.95
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 1103540 0 0 0 111568 627 0 0 25 0 1 0 12135280 870137856 202229 1992294400 4194304 8223781 140737202577408 18446744073709551615 6567836 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21515/statm: 212436 202229 542 984 0 211449 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 849744

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21550
/proc/meminfo: memFree=639400/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=850348 CPUtime=1181.93
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 1149492 0 0 0 117544 649 0 0 25 0 1 0 12135280 870756352 201878 1992294400 4194304 8223781 140737202577408 18446744073709551615 6569855 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21515/statm: 212587 201878 542 984 0 211600 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 850348

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21552
/proc/meminfo: memFree=637416/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=850596 CPUtime=1241.92
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 1192502 0 0 0 123522 670 0 0 25 0 1 0 12135280 871010304 202374 1992294400 4194304 8223781 140737202577408 18446744073709551615 6569869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21515/statm: 212649 202374 542 984 0 211662 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 850596

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21554
/proc/meminfo: memFree=638160/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=851044 CPUtime=1301.91
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 1235702 0 0 0 129500 691 0 0 25 0 1 0 12135280 871469056 202190 1992294400 4194304 8223781 140737202577408 18446744073709551615 6569618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21515/statm: 212761 202190 542 984 0 211774 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 851044

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21555
/proc/meminfo: memFree=636052/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=851632 CPUtime=1361.88
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 1265004 0 0 0 135481 707 0 0 25 0 1 0 12135280 872071168 202724 1992294400 4194304 8223781 140737202577408 18446744073709551615 6568077 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21515/statm: 212908 202724 542 984 0 211921 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 851632

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21557
/proc/meminfo: memFree=635804/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=852236 CPUtime=1421.87
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 1309170 0 0 0 141457 730 0 0 25 0 1 0 12135280 872689664 202783 1992294400 4194304 8223781 140737202577408 18446744073709551615 6503916 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21515/statm: 213059 202783 542 984 0 212072 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 852236

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21558
/proc/meminfo: memFree=635432/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=852308 CPUtime=1481.85
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 1335359 0 0 0 147442 743 0 0 25 0 1 0 12135280 872763392 202888 1992294400 4194304 8223781 140737202577408 18446744073709551615 6568021 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21515/statm: 213077 202888 542 984 0 212090 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 852308

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21560
/proc/meminfo: memFree=638036/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=852508 CPUtime=1541.83
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 1378798 0 0 0 153418 765 0 0 25 0 1 0 12135280 872968192 202313 1992294400 4194304 8223781 140737202577408 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21515/statm: 213127 202313 542 984 0 212140 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 852508

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21562
/proc/meminfo: memFree=635680/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=853228 CPUtime=1601.81
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 1419954 0 0 0 159397 784 0 0 25 0 1 0 12135280 873705472 202894 1992294400 4194304 8223781 140737202577408 18446744073709551615 6569626 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21515/statm: 213307 202894 542 984 0 212320 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 853228

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21563
/proc/meminfo: memFree=637292/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=853300 CPUtime=1661.8
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 1453076 0 0 0 165379 801 0 0 25 0 1 0 12135280 873779200 202491 1992294400 4194304 8223781 140737202577408 18446744073709551615 6533049 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21515/statm: 213325 202491 542 984 0 212338 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 853300

[startup+1722.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 21565
/proc/meminfo: memFree=636920/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=853620 CPUtime=1721.78
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 1497632 0 0 0 171355 823 0 0 25 0 1 0 12135280 874106880 202569 1992294400 4194304 8223781 140737202577408 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21515/statm: 213405 202569 542 984 0 212418 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 853620

[startup+1782.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 21566
/proc/meminfo: memFree=636300/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=853788 CPUtime=1781.76
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 1534681 0 0 0 177336 840 0 0 25 0 1 0 12135280 874278912 202717 1992294400 4194304 8223781 140737202577408 18446744073709551615 6568077 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21515/statm: 213447 202717 542 984 0 212460 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 853788



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 21567
/proc/meminfo: memFree=634192/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=853704 CPUtime=1800.06
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 1542661 0 0 0 179163 843 0 0 25 0 1 0 12135280 874192896 203220 1992294400 4194304 8223781 140737202577408 18446744073709551615 6569869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21515/statm: 213426 203220 542 984 0 212439 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 853704

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -21515

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

[startup+1801.4 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 21567
/proc/meminfo: memFree=634192/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=853704 CPUtime=1800.85
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 1542667 0 0 0 179242 843 0 0 25 0 1 0 12135280 874192896 203226 1992294400 4194304 8223781 140737202577408 18446744073709551615 6520860 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21515/statm: 213426 203226 542 984 0 212439 0
Current children cumulated CPU time (s) 1800.85
Current children cumulated vsize (KiB) 853704

[startup+1802.2 s]
/proc/loadavg: 1.01 1.00 1.00 2/108 21568
/proc/meminfo: memFree=634184/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=853704 CPUtime=1801.65
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 1542679 0 0 0 179322 843 0 0 25 0 1 0 12135280 874192896 203238 1992294400 4194304 8223781 140737202577408 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21515/statm: 213426 203238 542 984 0 212439 0
Current children cumulated CPU time (s) 1801.65
Current children cumulated vsize (KiB) 853704

[startup+1802.6 s]
/proc/loadavg: 1.01 1.00 1.00 2/108 21568
/proc/meminfo: memFree=634184/2059040 swapFree=4192956/4192956
[pid=21515] ppid=21513 vsize=853704 CPUtime=1802.05
/proc/21515/stat : 21515 (pbscip.linux.x8) R 21513 21515 21163 0 -1 4202496 1542685 0 0 0 179362 843 0 0 25 0 1 0 12135280 874192896 203244 1992294400 4194304 8223781 140737202577408 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21515/statm: 213426 203244 542 984 0 212439 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 853704

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.69
CPU time (s): 1802.15
CPU user time (s): 1793.64
CPU system time (s): 8.51571
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 868836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.64
system time used= 8.51571
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1542685
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= 4
involuntary context switches= 23014

runsolver used 2.99754 second user time and 8.49771 second system time

The end

Launcher Data 

Begin job on node049 at 2010-07-06 20:02:00
IDJOB=2685068
IDBENCH=74391
IDSOLVER=1169
FILE ID=node049/2685068-1278439319
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_3-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-2685068-1278439319/watcher-2685068-1278439319 -o /tmp/evaluation-result-2685068-1278439319/solver-2685068-1278439319 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2685068-1278439319.opb -t 1800 -m 1800

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

MD5SUM BENCH= cf899369697891a2aa5256c136e26408
RANDOM SEED=992011466

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:       1448664 kB
Buffers:        107548 kB
Cached:         369368 kB
SwapCached:          0 kB
Active:         185976 kB
Inactive:       350800 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1448664 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           10672 kB
Writeback:           0 kB
AnonPages:       59796 kB
Mapped:          14472 kB
Slab:            51476 kB
PageTables:       4148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181160 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:32:02