Trace number 2666848

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.1 1802.58

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
MD5SUM939f54a73a83900b8b6d857af47a0b62
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
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 variables62704
Total number of constraints187107
Number of constraints which are clauses186603
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints504
Minimum length of a constraint1
Maximum length of a constraint11
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 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
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-2666848-1276337680.opb>
3.49/3.52	c original problem has 62704 variables (62704 bin, 0 int, 0 impl, 0 cont) and 187107 constraints
3.49/3.52	c problem read
3.49/3.52	c No objective function, only one solution is needed.
3.49/3.53	c presolving settings loaded
4.40/4.47	c presolving:
9.49/9.53	c (round 1) 1178 del vars, 1155 del conss, 501 chg bounds, 252 chg sides, 876 chg coeffs, 0 upgd conss, 5489521 impls, 0 clqs
10.08/10.19	c (round 2) 1531 del vars, 3559 del conss, 737 chg bounds, 252 chg sides, 876 chg coeffs, 0 upgd conss, 5493683 impls, 0 clqs
10.39/10.42	c (round 3) 1531 del vars, 3869 del conss, 737 chg bounds, 252 chg sides, 876 chg coeffs, 0 upgd conss, 5494539 impls, 0 clqs
12.59/12.63	c (round 4) 1531 del vars, 3882 del conss, 737 chg bounds, 252 chg sides, 876 chg coeffs, 183225 upgd conss, 5494539 impls, 0 clqs
13.10/13.10	c presolving (5 rounds):
13.10/13.10	c  1531 deleted vars, 3882 deleted constraints, 737 tightened bounds, 0 added holes, 252 changed sides, 876 changed coefficients
13.10/13.10	c  5494539 implications, 0 cliques
13.10/13.10	c presolved problem has 61173 variables (61173 bin, 0 int, 0 impl, 0 cont) and 183225 constraints
13.10/13.10	c     504 constraints of type <knapsack>
13.10/13.10	c  182721 constraints of type <logicor>
13.10/13.10	c transformed objective value is always integral (scale: 1)
13.10/13.10	c Presolving Time: 7.89
13.10/13.10	c - non default parameters ----------------------------------------------------------------------
13.10/13.10	c # SCIP version 1.2.1.2
13.10/13.10	c 
13.10/13.10	c # frequency for displaying node information lines
13.10/13.10	c # [type: int, range: [-1,2147483647], default: 100]
13.10/13.10	c display/freq = 10000
13.10/13.10	c 
13.10/13.10	c # maximal time in seconds to run
13.10/13.10	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
13.10/13.10	c limits/time = 1796.47
13.10/13.10	c 
13.10/13.10	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
13.10/13.10	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
13.10/13.10	c limits/memory = 1620
13.10/13.10	c 
13.10/13.10	c # solving stops, if the given number of solutions were found (-1: no limit)
13.10/13.10	c # [type: int, range: [-1,2147483647], default: -1]
13.10/13.10	c limits/solutions = 1
13.10/13.10	c 
13.10/13.10	c # maximal number of separation rounds per node (-1: unlimited)
13.10/13.10	c # [type: int, range: [-1,2147483647], default: 5]
13.10/13.10	c separating/maxrounds = 1
13.10/13.10	c 
13.10/13.10	c # maximal number of separation rounds in the root node (-1: unlimited)
13.10/13.10	c # [type: int, range: [-1,2147483647], default: -1]
13.10/13.10	c separating/maxroundsroot = 5
13.10/13.10	c 
13.10/13.10	c # should presolving try to simplify inequalities
13.10/13.10	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.10/13.10	c constraints/linear/simplifyinequalities = TRUE
13.10/13.10	c 
13.10/13.10	c # should disaggregation of knapsack constraints be allowed in preprocessing?
13.10/13.10	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
13.10/13.10	c constraints/knapsack/disaggregation = FALSE
13.10/13.10	c 
13.10/13.10	c # should presolving try to simplify knapsacks
13.10/13.10	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.10/13.10	c constraints/knapsack/simplifyinequalities = TRUE
13.10/13.10	c 
13.10/13.10	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
13.10/13.10	c # [type: int, range: [-1,2147483647], default: -1]
13.10/13.10	c presolving/probing/maxrounds = 0
13.10/13.10	c 
13.10/13.10	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
13.10/13.10	c # [type: int, range: [-1,2147483647], default: 10]
13.10/13.10	c heuristics/coefdiving/freq = -1
13.10/13.10	c 
13.10/13.10	c # maximal fraction of diving LP iterations compared to node LP iterations
13.10/13.10	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.10/13.10	c heuristics/coefdiving/maxlpiterquot = 0.075
13.10/13.10	c 
13.10/13.10	c # additional number of allowed LP iterations
13.10/13.10	c # [type: int, range: [0,2147483647], default: 1000]
13.10/13.10	c heuristics/coefdiving/maxlpiterofs = 1500
13.10/13.10	c 
13.10/13.10	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
13.10/13.10	c # [type: int, range: [-1,2147483647], default: 30]
13.10/13.10	c heuristics/crossover/freq = -1
13.10/13.10	c 
13.10/13.10	c # number of nodes added to the contingent of the total nodes
13.10/13.10	c # [type: longint, range: [0,9223372036854775807], default: 500]
13.10/13.10	c heuristics/crossover/nodesofs = 750
13.10/13.10	c 
13.10/13.10	c # number of nodes without incumbent change that heuristic should wait
13.10/13.10	c # [type: longint, range: [0,9223372036854775807], default: 200]
13.10/13.10	c heuristics/crossover/nwaitingnodes = 100
13.10/13.10	c 
13.10/13.10	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
13.10/13.10	c # [type: real, range: [0,1], default: 0.1]
13.10/13.10	c heuristics/crossover/nodesquot = 0.15
13.10/13.10	c 
13.10/13.10	c # minimum percentage of integer variables that have to be fixed 
13.10/13.10	c # [type: real, range: [0,1], default: 0.666]
13.10/13.10	c heuristics/crossover/minfixingrate = 0.5
13.10/13.10	c 
13.10/13.10	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
13.10/13.10	c # [type: int, range: [-1,2147483647], default: 20]
13.10/13.10	c heuristics/feaspump/freq = -1
13.10/13.10	c 
13.10/13.10	c # additional number of allowed LP iterations
13.10/13.10	c # [type: int, range: [0,2147483647], default: 1000]
13.10/13.10	c heuristics/feaspump/maxlpiterofs = 2000
13.10/13.10	c 
13.10/13.10	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
13.10/13.10	c # [type: int, range: [-1,2147483647], default: 10]
13.10/13.10	c heuristics/fracdiving/freq = -1
13.10/13.10	c 
13.10/13.10	c # maximal fraction of diving LP iterations compared to node LP iterations
13.10/13.10	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.10/13.10	c heuristics/fracdiving/maxlpiterquot = 0.075
13.10/13.10	c 
13.10/13.10	c # additional number of allowed LP iterations
13.10/13.10	c # [type: int, range: [0,2147483647], default: 1000]
13.10/13.10	c heuristics/fracdiving/maxlpiterofs = 1500
13.10/13.10	c 
13.10/13.10	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
13.10/13.10	c # [type: int, range: [-1,2147483647], default: 10]
13.10/13.10	c heuristics/guideddiving/freq = -1
13.10/13.10	c 
13.10/13.10	c # maximal fraction of diving LP iterations compared to node LP iterations
13.10/13.10	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.10/13.10	c heuristics/guideddiving/maxlpiterquot = 0.075
13.10/13.10	c 
13.10/13.10	c # additional number of allowed LP iterations
13.10/13.10	c # [type: int, range: [0,2147483647], default: 1000]
13.10/13.10	c heuristics/guideddiving/maxlpiterofs = 1500
13.10/13.10	c 
13.10/13.10	c # maximal fraction of diving LP iterations compared to node LP iterations
13.10/13.10	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.10/13.10	c heuristics/intdiving/maxlpiterquot = 0.075
13.10/13.11	c 
13.10/13.11	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
13.10/13.11	c # [type: int, range: [-1,2147483647], default: 10]
13.10/13.11	c heuristics/intshifting/freq = -1
13.10/13.11	c 
13.10/13.11	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
13.10/13.11	c # [type: int, range: [-1,2147483647], default: 10]
13.10/13.11	c heuristics/linesearchdiving/freq = -1
13.10/13.11	c 
13.10/13.11	c # maximal fraction of diving LP iterations compared to node LP iterations
13.10/13.11	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.10/13.11	c heuristics/linesearchdiving/maxlpiterquot = 0.075
13.10/13.11	c 
13.10/13.11	c # additional number of allowed LP iterations
13.10/13.11	c # [type: int, range: [0,2147483647], default: 1000]
13.10/13.11	c heuristics/linesearchdiving/maxlpiterofs = 1500
13.10/13.11	c 
13.10/13.11	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
13.10/13.11	c # [type: int, range: [-1,2147483647], default: 1]
13.10/13.11	c heuristics/nlp/freq = -1
13.10/13.11	c 
13.10/13.11	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
13.10/13.11	c # [type: int, range: [-1,2147483647], default: 20]
13.10/13.11	c heuristics/objpscostdiving/freq = -1
13.10/13.11	c 
13.10/13.11	c # maximal fraction of diving LP iterations compared to total iteration number
13.10/13.11	c # [type: real, range: [0,1], default: 0.01]
13.10/13.11	c heuristics/objpscostdiving/maxlpiterquot = 0.015
13.10/13.11	c 
13.10/13.11	c # additional number of allowed LP iterations
13.10/13.11	c # [type: int, range: [0,2147483647], default: 1000]
13.10/13.11	c heuristics/objpscostdiving/maxlpiterofs = 1500
13.10/13.11	c 
13.10/13.11	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
13.10/13.11	c # [type: int, range: [-1,2147483647], default: 1]
13.10/13.11	c heuristics/oneopt/freq = -1
13.10/13.11	c 
13.10/13.11	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
13.10/13.11	c # [type: int, range: [-1,2147483647], default: 10]
13.10/13.11	c heuristics/pscostdiving/freq = -1
13.10/13.11	c 
13.10/13.11	c # maximal fraction of diving LP iterations compared to node LP iterations
13.10/13.11	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.10/13.11	c heuristics/pscostdiving/maxlpiterquot = 0.075
13.10/13.11	c 
13.10/13.11	c # additional number of allowed LP iterations
13.10/13.11	c # [type: int, range: [0,2147483647], default: 1000]
13.10/13.11	c heuristics/pscostdiving/maxlpiterofs = 1500
13.10/13.11	c 
13.10/13.11	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
13.10/13.11	c # [type: int, range: [-1,2147483647], default: 0]
13.10/13.11	c heuristics/rens/freq = -1
13.10/13.11	c 
13.10/13.11	c # minimum percentage of integer variables that have to be fixable 
13.10/13.11	c # [type: real, range: [0,1], default: 0.5]
13.10/13.11	c heuristics/rens/minfixingrate = 0.3
13.10/13.11	c 
13.10/13.11	c # number of nodes added to the contingent of the total nodes
13.10/13.11	c # [type: longint, range: [0,9223372036854775807], default: 500]
13.10/13.11	c heuristics/rens/nodesofs = 2000
13.10/13.11	c 
13.10/13.11	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
13.10/13.11	c # [type: int, range: [-1,2147483647], default: 20]
13.10/13.11	c heuristics/rootsoldiving/freq = -1
13.10/13.11	c 
13.10/13.11	c # maximal fraction of diving LP iterations compared to node LP iterations
13.10/13.11	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
13.10/13.11	c heuristics/rootsoldiving/maxlpiterquot = 0.015
13.10/13.11	c 
13.10/13.11	c # additional number of allowed LP iterations
13.10/13.11	c # [type: int, range: [0,2147483647], default: 1000]
13.10/13.11	c heuristics/rootsoldiving/maxlpiterofs = 1500
13.10/13.11	c 
13.10/13.11	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
13.10/13.11	c # [type: int, range: [-1,2147483647], default: 1]
13.10/13.11	c heuristics/rounding/freq = -1
13.10/13.11	c 
13.10/13.11	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
13.10/13.11	c # [type: int, range: [-1,2147483647], default: 10]
13.10/13.11	c heuristics/shifting/freq = -1
13.10/13.11	c 
13.10/13.11	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
13.10/13.11	c # [type: int, range: [-1,2147483647], default: 1]
13.10/13.11	c heuristics/simplerounding/freq = -1
13.10/13.11	c 
13.10/13.11	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
13.10/13.11	c # [type: int, range: [-1,2147483647], default: 0]
13.10/13.11	c heuristics/trivial/freq = -1
13.10/13.11	c 
13.10/13.11	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
13.10/13.11	c # [type: int, range: [-1,2147483647], default: 1]
13.10/13.11	c heuristics/trysol/freq = -1
13.10/13.11	c 
13.10/13.11	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
13.10/13.11	c # [type: int, range: [-1,2147483647], default: 10]
13.10/13.11	c heuristics/veclendiving/freq = -1
13.10/13.11	c 
13.10/13.11	c # maximal fraction of diving LP iterations compared to node LP iterations
13.10/13.11	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.10/13.11	c heuristics/veclendiving/maxlpiterquot = 0.075
13.10/13.11	c 
13.10/13.11	c # additional number of allowed LP iterations
13.10/13.11	c # [type: int, range: [0,2147483647], default: 1000]
13.10/13.11	c heuristics/veclendiving/maxlpiterofs = 1500
13.10/13.11	c 
13.10/13.11	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
13.10/13.11	c # [type: int, range: [-1,2147483647], default: 1]
13.10/13.11	c heuristics/zirounding/freq = -1
13.10/13.11	c 
13.10/13.11	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
13.10/13.11	c # [type: int, range: [-1,2147483647], default: 0]
13.10/13.11	c separating/cmir/freq = -1
13.10/13.11	c 
13.10/13.11	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
13.10/13.11	c # [type: int, range: [-1,2147483647], default: 0]
13.10/13.11	c separating/flowcover/freq = -1
13.10/13.11	c 
13.10/13.11	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
13.10/13.11	c # [type: int, range: [-1,2147483647], default: -1]
13.10/13.11	c separating/rapidlearning/freq = 0
13.10/13.11	c 
13.10/13.11	c -----------------------------------------------------------------------------------------------
13.10/13.11	c start solving
13.10/13.17	c 
87.57/87.61	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
87.57/87.61	c  82.3s|     1 |     0 |  6657 |     - | 497M|   0 |4178 |  61k| 183k|  61k| 183k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
379.09/379.28	c   368s|     1 |     0 | 19194 |     - | 497M|   0 |4776 |  61k| 183k|  61k| 183k|  47 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
761.19/761.43	c   709s|     1 |     0 | 26336 |     - | 498M|   0 |5211 |  61k| 183k|  61k| 183k|  91 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1088.60/1088.97	c  1008s|     1 |     0 | 35391 |     - | 498M|   0 |6098 |  61k| 183k|  61k| 183k| 192 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1282.85/1283.26	c  1199s|     1 |     0 | 44318 |     - | 498M|   0 |6514 |  61k| 183k|  61k| 183k| 263 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1637.55/1638.08	c  1531s|     1 |     0 | 55214 |     - | 499M|   0 |6407 |  61k| 183k|  61k| 183k| 299 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
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-2666848-1276337680/watcher-2666848-1276337680 -o /tmp/evaluation-result-2666848-1276337680/solver-2666848-1276337680 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666848-1276337680.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.03 1.01 1.00 3/106 11167
/proc/meminfo: memFree=1794592/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=7724 CPUtime=0
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 1196 0 0 0 0 0 0 0 20 0 1 0 9371679 7909376 1115 1992294400 4194304 8223781 140736546816032 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11167/statm: 1931 1125 348 984 0 944 0

[startup+0.073886 s]
/proc/loadavg: 1.03 1.01 1.00 3/106 11167
/proc/meminfo: memFree=1794592/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=12004 CPUtime=0.06
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 2302 0 0 0 6 0 0 0 20 0 1 0 9371679 12292096 2221 1992294400 4194304 8223781 140736546816032 18446744073709551615 4213924 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11167/statm: 3001 2221 363 984 0 2014 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12004

[startup+0.10089 s]
/proc/loadavg: 1.03 1.01 1.00 3/106 11167
/proc/meminfo: memFree=1794592/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=12644 CPUtime=0.09
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 2478 0 0 0 9 0 0 0 20 0 1 0 9371679 12947456 2397 1992294400 4194304 8223781 140736546816032 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11167/statm: 3161 2397 363 984 0 2174 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12644

[startup+0.300912 s]
/proc/loadavg: 1.03 1.01 1.00 3/106 11167
/proc/meminfo: memFree=1794592/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=19648 CPUtime=0.29
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 4205 0 0 0 28 1 0 0 20 0 1 0 9371679 20119552 4124 1992294400 4194304 8223781 140736546816032 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11167/statm: 4912 4124 363 984 0 3925 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19648

[startup+0.700958 s]
/proc/loadavg: 1.03 1.01 1.00 3/106 11167
/proc/meminfo: memFree=1794592/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=32728 CPUtime=0.69
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 7494 0 0 0 66 3 0 0 20 0 1 0 9371679 33513472 7413 1992294400 4194304 8223781 140736546816032 18446744073709551615 4240609 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11167/statm: 8182 7413 363 984 0 7195 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32728

[startup+1.50105 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 11168
/proc/meminfo: memFree=1758376/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=57492 CPUtime=1.49
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 13623 0 0 0 143 6 0 0 22 0 1 0 9371679 58871808 13542 1992294400 4194304 8223781 140736546816032 18446744073709551615 7241426 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11167/statm: 14373 13542 363 984 0 13386 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 57492

[startup+3.10123 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 11168
/proc/meminfo: memFree=1724028/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=106884 CPUtime=3.09
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 25963 0 0 0 299 10 0 0 25 0 1 0 9371679 109449216 25882 1992294400 4194304 8223781 140736546816032 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11167/statm: 26721 25882 363 984 0 25734 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 106884

[startup+6.30161 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 11168
/proc/meminfo: memFree=1466232/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=378748 CPUtime=6.29
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 92133 0 0 0 586 43 0 0 25 0 1 0 9371679 387837952 91629 1992294400 4194304 8223781 140736546816032 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11167/statm: 94687 91629 440 984 0 93700 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 378748

[startup+12.7013 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 11168
/proc/meminfo: memFree=1243528/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=549676 CPUtime=12.68
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 158092 0 0 0 1140 128 0 0 25 0 1 0 9371679 562868224 132223 1992294400 4194304 8223781 140736546816032 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11167/statm: 137419 132223 532 984 0 136432 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 549676

[startup+25.5008 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 11168
/proc/meminfo: memFree=1064720/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=779048 CPUtime=25.48
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 232673 0 0 0 2386 162 0 0 25 0 1 0 9371679 797745152 182460 1992294400 4194304 8223781 140736546816032 18446744073709551615 6568157 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11167/statm: 194762 182460 538 984 0 193775 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 779048

[startup+51.1008 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 11170
/proc/meminfo: memFree=1063356/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=783624 CPUtime=51.07
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 243346 0 0 0 4936 171 0 0 25 0 1 0 9371679 802430976 182838 1992294400 4194304 8223781 140736546816032 18446744073709551615 6568506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11167/statm: 195906 182838 538 984 0 194919 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 783624

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11170
/proc/meminfo: memFree=1063356/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=787620 CPUtime=102.28
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 965398 0 0 0 9792 436 0 0 25 0 1 0 9371679 806522880 182488 1992294400 4194304 8223781 140736546816032 18446744073709551615 7302071 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11167/statm: 196547 182488 553 984 0 195560 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 787620

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11172
/proc/meminfo: memFree=1041532/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=811916 CPUtime=162.25
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 1133442 0 0 0 15558 667 0 0 25 0 1 0 9371679 831401984 188274 1992294400 4194304 8223781 140736546816032 18446744073709551615 5786432 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11167/statm: 202979 188274 563 984 0 201992 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 811916

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11174
/proc/meminfo: memFree=1044260/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=815048 CPUtime=222.23
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 1152928 0 0 0 21544 679 0 0 25 0 1 0 9371679 834609152 187582 1992294400 4194304 8223781 140736546816032 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11167/statm: 203762 187582 565 984 0 202775 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 815048

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11176
/proc/meminfo: memFree=1044012/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=815824 CPUtime=282.22
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 1177505 0 0 0 27525 697 0 0 25 0 1 0 9371679 835403776 187664 1992294400 4194304 8223781 140736546816032 18446744073709551615 6568238 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11167/statm: 203956 187664 565 984 0 202969 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 815824

[startup+342.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11176
/proc/meminfo: memFree=1043888/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=816304 CPUtime=342.2
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 1203993 0 0 0 33505 715 0 0 25 0 1 0 9371679 835895296 187661 1992294400 4194304 8223781 140736546816032 18446744073709551615 6567839 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11167/statm: 204076 187661 565 984 0 203089 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 816304

[startup+402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11178
/proc/meminfo: memFree=1043268/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=816876 CPUtime=402.18
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 2306149 0 0 0 39114 1104 0 0 25 0 1 0 9371679 836481024 187836 1992294400 4194304 8223781 140736546816032 18446744073709551615 6299966 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11167/statm: 204219 187836 565 984 0 203232 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 816876

[startup+462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11180
/proc/meminfo: memFree=1043144/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=816876 CPUtime=462.16
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 5133646 0 0 0 44118 2098 0 0 25 0 1 0 9371679 836481024 187849 1992294400 4194304 8223781 140736546816032 18446744073709551615 6299574 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11167/statm: 204219 187849 565 984 0 203232 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 816876

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11182
/proc/meminfo: memFree=1043764/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=815444 CPUtime=522.15
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 7938950 0 0 0 49130 3085 0 0 25 0 1 0 9371679 835014656 187507 1992294400 4194304 8223781 140736546816032 18446744073709551615 6054173 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11167/statm: 203861 187507 565 984 0 202874 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 815444

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11184
/proc/meminfo: memFree=1043020/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=816876 CPUtime=582.13
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 10781112 0 0 0 54143 4070 0 0 25 0 1 0 9371679 836481024 187865 1992294400 4194304 8223781 140736546816032 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11167/statm: 204219 187865 565 984 0 203232 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 816876

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11184
/proc/meminfo: memFree=1042400/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=816684 CPUtime=642.12
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 13001937 0 0 0 59374 4838 0 0 25 0 1 0 9371679 836284416 187996 1992294400 4194304 8223781 140736546816032 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11167/statm: 204171 187996 565 984 0 203184 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 816684

[startup+702.301 s]

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

/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 20885534 0 0 0 98487 7713 0 0 25 0 1 0 9371679 837734400 188197 1992294400 4194304 8223781 140736546816032 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11167/statm: 204525 188197 565 984 0 203538 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 818100

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11198
/proc/meminfo: memFree=1040044/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=820700 CPUtime=1121.99
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 21766459 0 0 0 104163 8036 0 0 25 0 1 0 9371679 840396800 188521 1992294400 4194304 8223781 140736546816032 18446744073709551615 6568391 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11167/statm: 205175 188521 565 984 0 204188 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 820700

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11200
/proc/meminfo: memFree=1040416/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=820740 CPUtime=1181.97
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 21789063 0 0 0 110148 8049 0 0 25 0 1 0 9371679 840437760 188402 1992294400 4194304 8223781 140736546816032 18446744073709551615 6537908 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11167/statm: 205185 188402 565 984 0 204198 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 820740

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11200
/proc/meminfo: memFree=1039920/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=820812 CPUtime=1241.96
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 21815848 0 0 0 116129 8067 0 0 25 0 1 0 9371679 840511488 188480 1992294400 4194304 8223781 140736546816032 18446744073709551615 6502720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11167/statm: 205203 188480 565 984 0 204216 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 820812

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11202
/proc/meminfo: memFree=1039424/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=821196 CPUtime=1301.95
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 22687326 0 0 0 121807 8388 0 0 25 0 1 0 9371679 840904704 188561 1992294400 4194304 8223781 140736546816032 18446744073709551615 7253720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11167/statm: 205299 188570 565 984 0 204312 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 821196

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11204
/proc/meminfo: memFree=1039548/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=821196 CPUtime=1361.92
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 25421133 0 0 0 126823 9369 0 0 25 0 1 0 9371679 840904704 188583 1992294400 4194304 8223781 140736546816032 18446744073709551615 7257368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11167/statm: 205299 188583 565 984 0 204312 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 821196

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11206
/proc/meminfo: memFree=1039796/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=821712 CPUtime=1421.92
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 28052278 0 0 0 131891 10301 0 0 25 0 1 0 9371679 841433088 188523 1992294400 4194304 8223781 140736546816032 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11167/statm: 205428 188523 565 984 0 204441 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 821712

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11208
/proc/meminfo: memFree=1038432/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=821712 CPUtime=1481.89
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 28076753 0 0 0 137872 10317 0 0 25 0 1 0 9371679 841433088 188862 1992294400 4194304 8223781 140736546816032 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11167/statm: 205428 188862 565 984 0 204441 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 821712

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11208
/proc/meminfo: memFree=1038556/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=821912 CPUtime=1541.87
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 28103855 0 0 0 143852 10335 0 0 25 0 1 0 9371679 841637888 188808 1992294400 4194304 8223781 140736546816032 18446744073709551615 6615822 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11167/statm: 205478 188808 565 984 0 204491 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 821912

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11210
/proc/meminfo: memFree=1038556/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=821984 CPUtime=1601.85
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 28129787 0 0 0 149836 10349 0 0 25 0 1 0 9371679 841711616 188839 1992294400 4194304 8223781 140736546816032 18446744073709551615 6568093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11167/statm: 205496 188839 565 984 0 204509 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 821984

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11212
/proc/meminfo: memFree=1037192/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=822968 CPUtime=1661.84
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 28158892 0 0 0 155818 10366 0 0 25 0 1 0 9371679 842719232 189170 1992294400 4194304 8223781 140736546816032 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11167/statm: 205742 189170 568 984 0 204755 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 822968

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11214
/proc/meminfo: memFree=1036820/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=822968 CPUtime=1721.83
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 28191781 0 0 0 161795 10388 0 0 25 0 1 0 9371679 842719232 189166 1992294400 4194304 8223781 140736546816032 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11167/statm: 205742 189166 568 984 0 204755 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 822968

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11216
/proc/meminfo: memFree=1037068/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=822968 CPUtime=1781.81
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 28222601 0 0 0 167775 10406 0 0 25 0 1 0 9371679 842719232 189117 1992294400 4194304 8223781 140736546816032 18446744073709551615 6568362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11167/statm: 205742 189117 568 984 0 204755 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 822968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11216
/proc/meminfo: memFree=1038184/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=822968 CPUtime=1800.01
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 28233179 0 0 0 169589 10412 0 0 25 0 1 0 9371679 842719232 188837 1992294400 4194304 8223781 140736546816032 18446744073709551615 6450714 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11167/statm: 205742 188837 568 984 0 204755 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 822968

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -11167

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11217
/proc/meminfo: memFree=1038176/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=822968 CPUtime=1800.9
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 28233232 0 0 0 169678 10412 0 0 25 0 1 0 9371679 842719232 188890 1992294400 4194304 8223781 140736546816032 18446744073709551615 6568380 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11167/statm: 205742 188890 568 984 0 204755 0
Current children cumulated CPU time (s) 1800.9
Current children cumulated vsize (KiB) 822968

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11217
/proc/meminfo: memFree=1037804/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=822968 CPUtime=1801.71
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 28233274 0 0 0 169758 10413 0 0 25 0 1 0 9371679 842719232 188932 1992294400 4194304 8223781 140736546816032 18446744073709551615 6568128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11167/statm: 205742 188932 568 984 0 204755 0
Current children cumulated CPU time (s) 1801.71
Current children cumulated vsize (KiB) 822968

[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11217
/proc/meminfo: memFree=1037804/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=822968 CPUtime=1801.9
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 28233298 0 0 0 169777 10413 0 0 25 0 1 0 9371679 842719232 188956 1992294400 4194304 8223781 140736546816032 18446744073709551615 6568077 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11167/statm: 205742 188956 568 984 0 204755 0
Current children cumulated CPU time (s) 1801.9
Current children cumulated vsize (KiB) 822968

[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11217
/proc/meminfo: memFree=1037804/2059040 swapFree=4192956/4192956
[pid=11167] ppid=11165 vsize=822968 CPUtime=1802
/proc/11167/stat : 11167 (pbscip.linux.x8) R 11165 11167 10334 0 -1 4202496 28233298 0 0 0 169787 10413 0 0 25 0 1 0 9371679 842719232 188956 1992294400 4194304 8223781 140736546816032 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11167/statm: 205742 188956 568 984 0 204755 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 822968

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.58
CPU time (s): 1802.1
CPU user time (s): 1697.89
CPU system time (s): 104.206
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 845912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1697.89
system time used= 104.206
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28233298
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 3534

runsolver used 2.97255 second user time and 8.5187 second system time

The end

Launcher Data 

Begin job on node006 at 2010-06-12 12:14:40
IDJOB=2666848
IDBENCH=1479
IDSOLVER=1169
FILE ID=node006/2666848-1276337680
PBS_JOBID= 11173174
Free space on /tmp= 62468 MiB

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

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

MD5SUM BENCH= 939f54a73a83900b8b6d857af47a0b62
RANDOM SEED=491472943

node006.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.204
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.40
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.204
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:       1795120 kB
Buffers:         23192 kB
Cached:         115884 kB
SwapCached:          0 kB
Active:         133460 kB
Inactive:        65544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1795120 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            9988 kB
Writeback:           0 kB
AnonPages:       59868 kB
Mapped:          15448 kB
Slab:            43164 kB
PageTables:       3960 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182624 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= 62464 MiB
End job on node006 at 2010-06-12 12:44:43