Trace number 3740811

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
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1802.41 1802.69

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-175.opb
MD5SUM3472d2cba7eedc0e4f1652523daa893e
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 variables248659
Total number of constraints5546518
Number of constraints which are clauses4965781
Number of constraints which are cardinality constraints (but not clauses)19724
Number of constraints which are nor clauses,nor cardinality constraints561013
Minimum length of a constraint2
Maximum length of a constraint2220
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2221
Number of bits of the biggest sum of numbers12
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.01	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.01	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-3740811-1338744396.opb>
41.68/41.75	c original problem has 248659 variables (248659 bin, 0 int, 0 impl, 0 cont) and 5546518 constraints
41.68/41.75	c problem read
41.68/41.76	c No objective function, only one solution is needed.
41.68/41.76	c presolving settings loaded
48.28/48.37	c presolving:
70.87/70.98	c (round 1) 1 del vars, 8 del conss, 0 chg bounds, 7 chg sides, 0 chg coeffs, 5546509 upgd conss, 2248928 impls, 9881 clqs
75.78/75.88	c presolving (2 rounds):
75.78/75.88	c  1 deleted vars, 22 deleted constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 0 changed coefficients
75.78/75.88	c  2248928 implications, 9881 cliques
75.78/75.88	c presolved problem has 248658 variables (248658 bin, 0 int, 0 impl, 0 cont) and 5546496 constraints
75.78/75.88	c  570855 constraints of type <knapsack>
75.78/75.88	c 1107571 constraints of type <setppc>
75.78/75.88	c       1 constraints of type <linear>
75.78/75.88	c 3868069 constraints of type <logicor>
75.78/75.88	c transformed objective value is always integral (scale: 1)
75.78/75.88	c Presolving Time: 27.91
75.78/75.88	c - non default parameters ----------------------------------------------------------------------
75.78/75.88	c # SCIP version 1.2.1.3
75.78/75.88	c 
75.78/75.88	c # frequency for displaying node information lines
75.78/75.88	c # [type: int, range: [-1,2147483647], default: 100]
75.78/75.88	c display/freq = 10000
75.78/75.88	c 
75.78/75.88	c # maximal time in seconds to run
75.78/75.88	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
75.78/75.88	c limits/time = 1748.26
75.78/75.88	c 
75.78/75.88	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
75.78/75.88	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
75.78/75.88	c limits/memory = 13950
75.78/75.88	c 
75.78/75.88	c # solving stops, if the given number of solutions were found (-1: no limit)
75.78/75.88	c # [type: int, range: [-1,2147483647], default: -1]
75.78/75.88	c limits/solutions = 1
75.78/75.88	c 
75.78/75.88	c # maximal number of separation rounds per node (-1: unlimited)
75.78/75.88	c # [type: int, range: [-1,2147483647], default: 5]
75.78/75.88	c separating/maxrounds = 1
75.78/75.88	c 
75.78/75.88	c # maximal number of separation rounds in the root node (-1: unlimited)
75.78/75.88	c # [type: int, range: [-1,2147483647], default: -1]
75.78/75.88	c separating/maxroundsroot = 5
75.78/75.88	c 
75.78/75.88	c # default clock type (1: CPU user seconds, 2: wall clock time)
75.78/75.88	c # [type: int, range: [1,2], default: 1]
75.78/75.88	c timing/clocktype = 2
75.78/75.88	c 
75.78/75.88	c # should presolving try to simplify inequalities
75.78/75.88	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
75.78/75.88	c constraints/linear/simplifyinequalities = TRUE
75.78/75.88	c 
75.78/75.88	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
75.78/75.88	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
75.78/75.88	c constraints/indicator/addCouplingCons = TRUE
75.78/75.88	c 
75.78/75.88	c # should disaggregation of knapsack constraints be allowed in preprocessing?
75.78/75.88	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
75.78/75.88	c constraints/knapsack/disaggregation = FALSE
75.78/75.88	c 
75.78/75.88	c # should presolving try to simplify knapsacks
75.78/75.88	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
75.78/75.88	c constraints/knapsack/simplifyinequalities = TRUE
75.78/75.88	c 
75.78/75.88	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
75.78/75.88	c # [type: int, range: [-1,2147483647], default: -1]
75.78/75.88	c presolving/probing/maxrounds = 0
75.78/75.88	c 
75.78/75.88	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
75.78/75.88	c # [type: int, range: [-1,2147483647], default: 10]
75.78/75.88	c heuristics/coefdiving/freq = -1
75.78/75.88	c 
75.78/75.88	c # maximal fraction of diving LP iterations compared to node LP iterations
75.78/75.88	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
75.78/75.88	c heuristics/coefdiving/maxlpiterquot = 0.075
75.78/75.88	c 
75.78/75.88	c # additional number of allowed LP iterations
75.78/75.88	c # [type: int, range: [0,2147483647], default: 1000]
75.78/75.88	c heuristics/coefdiving/maxlpiterofs = 1500
75.78/75.88	c 
75.78/75.88	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
75.78/75.88	c # [type: int, range: [-1,2147483647], default: 30]
75.78/75.88	c heuristics/crossover/freq = -1
75.78/75.88	c 
75.78/75.88	c # number of nodes added to the contingent of the total nodes
75.78/75.88	c # [type: longint, range: [0,9223372036854775807], default: 500]
75.78/75.88	c heuristics/crossover/nodesofs = 750
75.78/75.88	c 
75.78/75.88	c # number of nodes without incumbent change that heuristic should wait
75.78/75.88	c # [type: longint, range: [0,9223372036854775807], default: 200]
75.78/75.88	c heuristics/crossover/nwaitingnodes = 100
75.78/75.88	c 
75.78/75.88	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
75.78/75.88	c # [type: real, range: [0,1], default: 0.1]
75.78/75.88	c heuristics/crossover/nodesquot = 0.15
75.78/75.88	c 
75.78/75.88	c # minimum percentage of integer variables that have to be fixed 
75.78/75.88	c # [type: real, range: [0,1], default: 0.666]
75.78/75.88	c heuristics/crossover/minfixingrate = 0.5
75.78/75.88	c 
75.78/75.88	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
75.78/75.88	c # [type: int, range: [-1,2147483647], default: 20]
75.78/75.88	c heuristics/feaspump/freq = -1
75.78/75.88	c 
75.78/75.88	c # additional number of allowed LP iterations
75.78/75.88	c # [type: int, range: [0,2147483647], default: 1000]
75.78/75.88	c heuristics/feaspump/maxlpiterofs = 2000
75.78/75.88	c 
75.78/75.88	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
75.78/75.88	c # [type: int, range: [-1,2147483647], default: 10]
75.78/75.88	c heuristics/fracdiving/freq = -1
75.78/75.88	c 
75.78/75.88	c # maximal fraction of diving LP iterations compared to node LP iterations
75.78/75.88	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
75.78/75.88	c heuristics/fracdiving/maxlpiterquot = 0.075
75.78/75.88	c 
75.78/75.88	c # additional number of allowed LP iterations
75.78/75.88	c # [type: int, range: [0,2147483647], default: 1000]
75.78/75.88	c heuristics/fracdiving/maxlpiterofs = 1500
75.78/75.88	c 
75.78/75.88	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
75.78/75.88	c # [type: int, range: [-1,2147483647], default: 10]
75.78/75.88	c heuristics/guideddiving/freq = -1
75.78/75.88	c 
75.78/75.88	c # maximal fraction of diving LP iterations compared to node LP iterations
75.78/75.88	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
75.78/75.88	c heuristics/guideddiving/maxlpiterquot = 0.075
75.78/75.88	c 
75.78/75.88	c # additional number of allowed LP iterations
75.78/75.88	c # [type: int, range: [0,2147483647], default: 1000]
75.78/75.88	c heuristics/guideddiving/maxlpiterofs = 1500
75.78/75.88	c 
75.78/75.88	c # maximal fraction of diving LP iterations compared to node LP iterations
75.78/75.88	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
75.78/75.88	c heuristics/intdiving/maxlpiterquot = 0.075
75.78/75.88	c 
75.78/75.88	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
75.78/75.88	c # [type: int, range: [-1,2147483647], default: 10]
75.78/75.88	c heuristics/intshifting/freq = -1
75.78/75.88	c 
75.78/75.88	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
75.78/75.88	c # [type: int, range: [-1,2147483647], default: 10]
75.78/75.88	c heuristics/linesearchdiving/freq = -1
75.78/75.88	c 
75.78/75.88	c # maximal fraction of diving LP iterations compared to node LP iterations
75.78/75.88	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
75.78/75.88	c heuristics/linesearchdiving/maxlpiterquot = 0.075
75.78/75.88	c 
75.78/75.88	c # additional number of allowed LP iterations
75.78/75.88	c # [type: int, range: [0,2147483647], default: 1000]
75.78/75.88	c heuristics/linesearchdiving/maxlpiterofs = 1500
75.78/75.88	c 
75.78/75.88	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
75.78/75.88	c # [type: int, range: [-1,2147483647], default: 1]
75.78/75.88	c heuristics/nlp/freq = -1
75.78/75.88	c 
75.78/75.88	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
75.78/75.88	c # [type: int, range: [-1,2147483647], default: 20]
75.78/75.88	c heuristics/objpscostdiving/freq = -1
75.78/75.88	c 
75.78/75.88	c # maximal fraction of diving LP iterations compared to total iteration number
75.78/75.88	c # [type: real, range: [0,1], default: 0.01]
75.78/75.88	c heuristics/objpscostdiving/maxlpiterquot = 0.015
75.78/75.88	c 
75.78/75.88	c # additional number of allowed LP iterations
75.78/75.88	c # [type: int, range: [0,2147483647], default: 1000]
75.78/75.88	c heuristics/objpscostdiving/maxlpiterofs = 1500
75.78/75.88	c 
75.78/75.88	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
75.78/75.88	c # [type: int, range: [-1,2147483647], default: 1]
75.78/75.88	c heuristics/oneopt/freq = -1
75.78/75.88	c 
75.78/75.88	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
75.78/75.88	c # [type: int, range: [-1,2147483647], default: 10]
75.78/75.88	c heuristics/pscostdiving/freq = -1
75.78/75.88	c 
75.78/75.88	c # maximal fraction of diving LP iterations compared to node LP iterations
75.78/75.88	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
75.78/75.88	c heuristics/pscostdiving/maxlpiterquot = 0.075
75.78/75.88	c 
75.78/75.88	c # additional number of allowed LP iterations
75.78/75.88	c # [type: int, range: [0,2147483647], default: 1000]
75.78/75.88	c heuristics/pscostdiving/maxlpiterofs = 1500
75.78/75.88	c 
75.78/75.88	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
75.78/75.88	c # [type: int, range: [-1,2147483647], default: 0]
75.78/75.88	c heuristics/rens/freq = -1
75.78/75.88	c 
75.78/75.88	c # minimum percentage of integer variables that have to be fixable 
75.78/75.88	c # [type: real, range: [0,1], default: 0.5]
75.78/75.88	c heuristics/rens/minfixingrate = 0.3
75.78/75.88	c 
75.78/75.88	c # number of nodes added to the contingent of the total nodes
75.78/75.88	c # [type: longint, range: [0,9223372036854775807], default: 500]
75.78/75.88	c heuristics/rens/nodesofs = 2000
75.78/75.88	c 
75.78/75.88	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
75.78/75.88	c # [type: int, range: [-1,2147483647], default: 20]
75.78/75.88	c heuristics/rootsoldiving/freq = -1
75.78/75.88	c 
75.78/75.88	c # maximal fraction of diving LP iterations compared to node LP iterations
75.78/75.88	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
75.78/75.88	c heuristics/rootsoldiving/maxlpiterquot = 0.015
75.78/75.88	c 
75.78/75.88	c # additional number of allowed LP iterations
75.78/75.88	c # [type: int, range: [0,2147483647], default: 1000]
75.78/75.88	c heuristics/rootsoldiving/maxlpiterofs = 1500
75.78/75.88	c 
75.78/75.88	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
75.78/75.88	c # [type: int, range: [-1,2147483647], default: 1]
75.78/75.88	c heuristics/rounding/freq = -1
75.78/75.88	c 
75.78/75.88	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
75.78/75.88	c # [type: int, range: [-1,2147483647], default: 10]
75.78/75.88	c heuristics/shifting/freq = -1
75.78/75.88	c 
75.78/75.88	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
75.78/75.88	c # [type: int, range: [-1,2147483647], default: 1]
75.78/75.88	c heuristics/simplerounding/freq = -1
75.78/75.88	c 
75.78/75.88	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
75.78/75.88	c # [type: int, range: [-1,2147483647], default: 0]
75.78/75.88	c heuristics/trivial/freq = -1
75.78/75.88	c 
75.78/75.88	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
75.78/75.88	c # [type: int, range: [-1,2147483647], default: 1]
75.78/75.88	c heuristics/trysol/freq = -1
75.78/75.88	c 
75.78/75.88	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
75.78/75.88	c # [type: int, range: [-1,2147483647], default: 10]
75.78/75.88	c heuristics/veclendiving/freq = -1
75.78/75.88	c 
75.78/75.88	c # maximal fraction of diving LP iterations compared to node LP iterations
75.78/75.88	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
75.78/75.88	c heuristics/veclendiving/maxlpiterquot = 0.075
75.78/75.88	c 
75.78/75.88	c # additional number of allowed LP iterations
75.78/75.88	c # [type: int, range: [0,2147483647], default: 1000]
75.78/75.88	c heuristics/veclendiving/maxlpiterofs = 1500
75.78/75.88	c 
75.78/75.88	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
75.78/75.88	c # [type: int, range: [-1,2147483647], default: 1]
75.78/75.88	c heuristics/zirounding/freq = -1
75.78/75.88	c 
75.78/75.88	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
75.78/75.88	c # [type: int, range: [-1,2147483647], default: 0]
75.78/75.88	c separating/cmir/freq = -1
75.78/75.88	c 
75.78/75.88	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
75.78/75.88	c # [type: int, range: [-1,2147483647], default: 0]
75.78/75.88	c separating/flowcover/freq = -1
75.78/75.88	c 
75.78/75.88	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
75.78/75.88	c # [type: int, range: [-1,2147483647], default: -1]
75.78/75.88	c separating/rapidlearning/freq = 0
75.78/75.88	c 
75.78/75.88	c -----------------------------------------------------------------------------------------------
75.78/75.88	c start solving
76.27/76.32	c 
1800.02/1800.30	c pressed CTRL-C 1 times (5 times for forcing termination)

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

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

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 20026
/proc/meminfo: memFree=25255316/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/20026/stat : 20026 (runsolver) D 20024 20026 16401 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 340567043 12095488 52 33554432000 4194304 5436572 140733931652064 140733931648360 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/20026/statm: 2953 52 31 304 0 2645 0

[startup+0.0292759 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 20026
/proc/meminfo: memFree=25255316/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=11612 CPUtime=0.01 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 2172 0 0 0 1 0 0 0 20 0 1 0 340567043 11890688 2119 33554432000 4194304 8395647 140737318138400 140733931648248 7385808 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 2903 2119 390 1026 0 1873 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11612

[startup+0.100274 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 20026
/proc/meminfo: memFree=25255316/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=17280 CPUtime=0.08 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 3556 0 0 0 8 0 0 0 20 0 1 0 340567043 17694720 3503 33554432000 4194304 8395647 140737318138400 140733931648248 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 4320 3503 390 1026 0 3290 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 17280

[startup+0.300236 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 20026
/proc/meminfo: memFree=25255316/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=29040 CPUtime=0.28 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 6503 0 0 0 28 0 0 0 20 0 1 0 340567043 29736960 6450 33554432000 4194304 8395647 140737318138400 140737318003608 7324955 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 7260 6450 390 1026 0 6230 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 29040

[startup+0.700262 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 20026
/proc/meminfo: memFree=25255316/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=51548 CPUtime=0.69 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 12109 0 0 0 68 1 0 0 20 0 1 0 340567043 52785152 12056 33554432000 4194304 8395647 140737318138400 140737318003608 4327546 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 12887 12056 390 1026 0 11857 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51548

[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20027
/proc/meminfo: memFree=25193068/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=97228 CPUtime=1.48 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 23495 0 0 0 146 2 0 0 20 0 1 0 340567043 99561472 23442 33554432000 4194304 8395647 140737318138400 140737318003608 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 24307 23442 390 1026 0 23277 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 97228

[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20027
/proc/meminfo: memFree=25130324/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=183472 CPUtime=3.09 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 45006 0 0 0 304 5 0 0 20 0 1 0 340567043 187875328 44953 33554432000 4194304 8395647 140737318138400 140737318003608 4472812 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 45868 44953 390 1026 0 44838 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 183472

[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20027
/proc/meminfo: memFree=24952140/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=357484 CPUtime=6.28 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 88321 0 0 0 618 10 0 0 20 0 1 0 340567043 366063616 88268 33554432000 4194304 8395647 140737318138400 140737318003608 7352017 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 89371 88268 390 1026 0 88341 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 357484

[startup+12.7003 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 20027
/proc/meminfo: memFree=24595288/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=701684 CPUtime=12.68 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 174680 0 0 0 1246 22 0 0 20 0 1 0 340567043 718524416 174627 33554432000 4194304 8395647 140737318138400 140737318003608 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 175421 174627 390 1026 0 174391 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 701684

[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 20027
/proc/meminfo: memFree=23897192/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=1378708 CPUtime=25.48 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 341527 0 0 0 2502 46 0 0 20 0 1 0 340567043 1411796992 343519 33554432000 4194304 8395647 140737318138400 140737318003608 6347101 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 344677 343519 390 1026 0 343647 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1378708

[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 20027
/proc/meminfo: memFree=19297944/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=6019548 CPUtime=51.07 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 1454721 0 0 0 4912 195 0 0 20 0 1 0 340567043 6164017152 1489062 33554432000 4194304 8395647 140737318138400 140737318134872 7185540 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 1504887 1489062 471 1026 0 1503857 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 6019548

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 20028
/proc/meminfo: memFree=13562196/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=12520244 CPUtime=102.28 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 2097847 0 0 0 9853 375 0 0 20 0 1 0 340567043 12820729856 2918676 33554432000 4194304 8395647 140737318138400 140737318133864 6752542 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 3130061 2918676 573 1026 0 3129031 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 12520244

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20028
/proc/meminfo: memFree=13310956/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=12844552 CPUtime=162.25 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 2100947 0 0 0 15845 380 0 0 20 0 1 0 340567043 13152821248 2984593 33554432000 4194304 8395647 140737318138400 140737318133528 6636339 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 3211138 2984593 577 1026 0 3210108 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 12844552

[startup+222.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 20031
/proc/meminfo: memFree=13305100/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=12844552 CPUtime=222.24 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 2100992 0 0 0 21843 381 0 0 20 0 1 0 340567043 13152821248 2985636 33554432000 4194304 8395647 140737318138400 140737318133864 7382137 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 3211138 2985636 577 1026 0 3210108 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 12844552

[startup+282.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 20031
/proc/meminfo: memFree=13302904/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=12844552 CPUtime=282.24 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 2101379 0 0 0 27842 382 0 0 20 0 1 0 340567043 13152821248 2986045 33554432000 4194304 8395647 140737318138400 140737318133528 6587243 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 3211138 2986045 577 1026 0 3210108 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 12844552

[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 20069
/proc/meminfo: memFree=13305056/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=12844552 CPUtime=342.23 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 2101404 0 0 0 33840 383 0 0 20 0 1 0 340567043 13152821248 2986046 33554432000 4194304 8395647 140737318138400 140737318133864 7382157 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 3211138 2986046 577 1026 0 3210108 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 12844552

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 20070
/proc/meminfo: memFree=13191108/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=12844552 CPUtime=402.22 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 2101829 0 0 0 39839 383 0 0 20 0 1 0 340567043 13152821248 2986381 33554432000 4194304 8395647 140737318138400 140737318133528 6636339 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 3211138 2986381 577 1026 0 3210108 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 12844552

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 20070
/proc/meminfo: memFree=13127908/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=12850120 CPUtime=462.21 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 2102170 0 0 0 45837 384 0 0 20 0 1 0 340567043 13158522880 2987676 33554432000 4194304 8395647 140737318138400 140737318133960 6585844 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 3212530 2987676 577 1026 0 3211500 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 12850120

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20070
/proc/meminfo: memFree=13105600/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=12850876 CPUtime=522.2 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 2102198 0 0 0 51835 385 0 0 20 0 1 0 340567043 13159297024 2987680 33554432000 4194304 8395647 140737318138400 140737318133864 6752539 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 3212719 2987680 577 1026 0 3211689 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 12850876

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20070
/proc/meminfo: memFree=12962896/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=12851668 CPUtime=582.2 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 2102226 0 0 0 57834 386 0 0 20 0 1 0 340567043 13160108032 2987684 33554432000 4194304 8395647 140737318138400 140737318133528 6587036 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 3212917 2987684 577 1026 0 3211887 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 12851668

[startup+642.3 s]

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

/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 2111036 0 0 0 99787 426 0 0 20 0 1 0 340567043 13391183872 3042104 33554432000 4194304 8395647 140737318138400 140737318132568 6721235 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 3269332 3042104 579 1026 0 3268302 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 13077328

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20075
/proc/meminfo: memFree=12711852/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=13087724 CPUtime=1062.12 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 2112036 0 0 0 105774 438 0 0 20 0 1 0 340567043 13401829376 3044541 33554432000 4194304 8395647 140737318138400 140737318133528 6697663 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 3271931 3044541 579 1026 0 3270901 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 13087724

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20075
/proc/meminfo: memFree=12706792/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=13105516 CPUtime=1122.12 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 2113251 0 0 0 111760 452 0 0 20 0 1 0 340567043 13420048384 3044718 33554432000 4194304 8395647 140737318138400 140737318133528 6697679 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 3276379 3044718 579 1026 0 3275349 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 13105516

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20075
/proc/meminfo: memFree=12702972/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=13113916 CPUtime=1182.11 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 2113686 0 0 0 117754 457 0 0 20 0 1 0 340567043 13428649984 3045256 33554432000 4194304 8395647 140737318138400 140737318133528 7382157 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 3278479 3045256 579 1026 0 3277449 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 13113916

[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 20075
/proc/meminfo: memFree=12696112/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=13127828 CPUtime=1242.1 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 2114967 0 0 0 123744 466 0 0 20 0 1 0 340567043 13442895872 3045975 33554432000 4194304 8395647 140737318138400 140737318133528 7382137 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 3281957 3045975 579 1026 0 3280927 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 13127828

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 20075
/proc/meminfo: memFree=12696272/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=13138412 CPUtime=1302.09 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 2115729 0 0 0 129734 475 0 0 20 0 1 0 340567043 13453733888 3046275 33554432000 4194304 8395647 140737318138400 140737318133528 6696682 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 3284603 3046275 579 1026 0 3283573 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 13138412

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20076
/proc/meminfo: memFree=12692692/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=13147604 CPUtime=1362.07 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 2116506 0 0 0 135723 484 0 0 20 0 1 0 340567043 13463146496 3046895 33554432000 4194304 8395647 140737318138400 140737318133528 6636339 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 3286901 3046895 579 1026 0 3285871 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 13147604

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20079
/proc/meminfo: memFree=12690076/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=13150604 CPUtime=1422.07 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 2117158 0 0 0 141714 493 0 0 20 0 1 0 340567043 13466218496 3047271 33554432000 4194304 8395647 140737318138400 140737318133528 6636339 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 3287651 3047271 579 1026 0 3286621 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 13150604

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20079
/proc/meminfo: memFree=12603540/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=13243564 CPUtime=1482.06 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 2119481 0 0 0 147697 509 0 0 20 0 1 0 340567043 13561409536 3068636 33554432000 4194304 8395647 140737318138400 140737318133528 7382162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 3310891 3068636 579 1026 0 3309861 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 13243564

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20079
/proc/meminfo: memFree=12602948/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=13247756 CPUtime=1542.05 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 2120506 0 0 0 153683 522 0 0 20 0 1 0 340567043 13565702144 3068475 33554432000 4194304 8395647 140737318138400 140737318133864 6698214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 3311939 3068475 579 1026 0 3310909 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 13247756

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20079
/proc/meminfo: memFree=12597948/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=13250428 CPUtime=1602.04 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 2121231 0 0 0 159673 531 0 0 20 0 1 0 340567043 13568438272 3068712 33554432000 4194304 8395647 140737318138400 140737318133528 6697938 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 3312607 3068712 579 1026 0 3311577 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 13250428

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20080
/proc/meminfo: memFree=12594564/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=13254956 CPUtime=1662.03 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 2122465 0 0 0 165657 546 0 0 20 0 1 0 340567043 13573074944 3069075 33554432000 4194304 8395647 140737318138400 140737318133528 7382137 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 3313739 3069075 579 1026 0 3312709 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 13254956

[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 20080
/proc/meminfo: memFree=12595212/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=13259252 CPUtime=1722.02 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 2123259 0 0 0 171642 560 0 0 20 0 1 0 340567043 13577474048 3069435 33554432000 4194304 8395647 140737318138400 140737318133864 6698409 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 3314813 3069435 579 1026 0 3313783 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 13259252

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 20080
/proc/meminfo: memFree=12589220/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=13271116 CPUtime=1782.01 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 2124126 0 0 0 177632 569 0 0 20 0 1 0 340567043 13589622784 3069992 33554432000 4194304 8395647 140737318138400 140737318133528 6697941 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 3317779 3069992 579 1026 0 3316749 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 13271116



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 20080
/proc/meminfo: memFree=12588816/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=13272212 CPUtime=1800.02 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 2124575 0 0 0 179428 574 0 0 20 0 1 0 340567043 13590745088 3070083 33554432000 4194304 8395647 140737318138400 140737318133528 6698068 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 3318053 3070083 579 1026 0 3317023 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13272212

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -20026

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

[startup+1801.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 20081
/proc/meminfo: memFree=12588816/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=13272212 CPUtime=1801.11 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 2124575 0 0 0 179537 574 0 0 20 0 1 0 340567043 13590745088 3070083 33554432000 4194304 8395647 140737318138400 140737318133528 6697959 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 3318053 3070083 579 1026 0 3317023 0
Current children cumulated CPU time (s) 1801.11
Current children cumulated vsize (KiB) 13272212

[startup+1802.2 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 20081
/proc/meminfo: memFree=12588684/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=13272212 CPUtime=1801.91 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4202496 2124575 0 0 0 179617 574 0 0 20 0 1 0 340567043 13590745088 3070083 33554432000 4194304 8395647 140737318138400 140737318133528 6698334 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 3318053 3070083 579 1026 0 3317023 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 13272212

[startup+1802.6 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 20081
/proc/meminfo: memFree=12588684/32873648 swapFree=6864/6864
[pid=20026] ppid=20024 vsize=0 CPUtime=1802.31 cores=0,2,4,6
/proc/20026/stat : 20026 (pbscip.linux.x8) R 20024 20026 16401 0 -1 4203524 2124575 0 0 0 179628 603 0 0 20 0 1 0 340567043 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/20026/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.31
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.69
CPU time (s): 1802.41
CPU user time (s): 1796.28
CPU system time (s): 6.13207
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 13965176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.28
system time used= 6.13207
maximum resident set size= 12493084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2124575
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= 3
involuntary context switches= 1859

runsolver used 2.76558 second user time and 7.2209 second system time

The end

Launcher Data

Begin job on node113 at 2012-06-03 19:26:42
IDJOB=3740811
IDBENCH=89632
IDSOLVER=2326
FILE ID=node113/3740811-1338744396
RUNJOBID= node113-1338713805-16417
PBS_JOBID= 14636744
Free space on /tmp= 70708 MiB

SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-175.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-3740811-1338744396/watcher-3740811-1338744396 -o /tmp/evaluation-result-3740811-1338744396/solver-3740811-1338744396 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3740811-1338744396.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 3472d2cba7eedc0e4f1652523daa893e
RANDOM SEED=1125738249

node113.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        25255844 kB
Buffers:          517140 kB
Cached:          3736064 kB
SwapCached:         2028 kB
Active:          4450340 kB
Inactive:        2269840 kB
Active(anon):    2466492 kB
Inactive(anon):     1912 kB
Active(file):    1983848 kB
Inactive(file):  2267928 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67099708 kB
Dirty:            274948 kB
Writeback:             0 kB
AnonPages:       2475444 kB
Mapped:            13736 kB
Shmem:                 0 kB
Slab:             755392 kB
SReclaimable:     198824 kB
SUnreclaim:       556568 kB
KernelStack:        1448 kB
PageTables:         8816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    2593236 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2172928 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70652 MiB
End job on node113 at 2012-06-03 19:56:45