Trace number 2685011

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12026_5-unsat.opb
MD5SUMdb859a15c3accfca5f41bc17f134e06b
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark604.363
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables32912
Total number of constraints109848
Number of constraints which are clauses109308
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints540
Minimum length of a constraint1
Maximum length of a constraint66
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 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 428
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2685011-1278438016.opb>
1.89/1.94	c original problem has 32912 variables (32912 bin, 0 int, 0 impl, 0 cont) and 109848 constraints
1.89/1.94	c problem read
1.89/1.94	c No objective function, only one solution is needed.
1.89/1.94	c presolving settings loaded
2.49/2.51	c presolving:
7.49/7.52	c (round 1) 7044 del vars, 20263 del conss, 5475 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6167726 impls, 0 clqs
10.38/10.47	c (round 2) 12857 del vars, 44039 del conss, 10823 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6207637 impls, 0 clqs
11.39/11.46	c (round 3) 15115 del vars, 54047 del conss, 12184 chg bounds, 39 chg sides, 48 chg coeffs, 0 upgd conss, 6221858 impls, 0 clqs
11.79/11.81	c (round 4) 16096 del vars, 58227 del conss, 12821 chg bounds, 58 chg sides, 67 chg coeffs, 0 upgd conss, 6231297 impls, 0 clqs
12.00/12.08	c (round 5) 16655 del vars, 60512 del conss, 13170 chg bounds, 59 chg sides, 68 chg coeffs, 0 upgd conss, 6237544 impls, 0 clqs
12.19/12.26	c (round 6) 16969 del vars, 61784 del conss, 13348 chg bounds, 59 chg sides, 68 chg coeffs, 0 upgd conss, 6241429 impls, 0 clqs
12.28/12.37	c (round 7) 17121 del vars, 62397 del conss, 13424 chg bounds, 59 chg sides, 68 chg coeffs, 0 upgd conss, 6242905 impls, 0 clqs
12.39/12.46	c (round 8) 17191 del vars, 62695 del conss, 13455 chg bounds, 59 chg sides, 68 chg coeffs, 0 upgd conss, 6243963 impls, 0 clqs
12.49/12.54	c (round 9) 17232 del vars, 62862 del conss, 13476 chg bounds, 59 chg sides, 68 chg coeffs, 0 upgd conss, 6244522 impls, 0 clqs
12.58/12.62	c (round 10) 17255 del vars, 62955 del conss, 13487 chg bounds, 59 chg sides, 68 chg coeffs, 0 upgd conss, 6244717 impls, 0 clqs
12.58/12.69	c (round 11) 17268 del vars, 63007 del conss, 13491 chg bounds, 59 chg sides, 68 chg coeffs, 0 upgd conss, 6244802 impls, 0 clqs
12.69/12.75	c (round 12) 17271 del vars, 63021 del conss, 13492 chg bounds, 59 chg sides, 68 chg coeffs, 0 upgd conss, 6244823 impls, 0 clqs
13.19/13.22	c (round 13) 17271 del vars, 63022 del conss, 13492 chg bounds, 59 chg sides, 68 chg coeffs, 46826 upgd conss, 6244823 impls, 0 clqs
13.59/13.68	c (round 14) 17271 del vars, 63022 del conss, 13492 chg bounds, 74 chg sides, 209 chg coeffs, 46826 upgd conss, 6245981 impls, 1879 clqs
13.98/14.03	c presolving (15 rounds):
13.98/14.03	c  17271 deleted vars, 63022 deleted constraints, 13492 tightened bounds, 0 added holes, 76 changed sides, 240 changed coefficients
13.98/14.03	c  6245981 implications, 1986 cliques
13.98/14.03	c presolved problem has 15641 variables (15641 bin, 0 int, 0 impl, 0 cont) and 46826 constraints
13.98/14.03	c     494 constraints of type <knapsack>
13.98/14.03	c   46332 constraints of type <logicor>
13.98/14.03	c transformed objective value is always integral (scale: 1)
13.98/14.03	c Presolving Time: 10.97
13.98/14.03	c - non default parameters ----------------------------------------------------------------------
13.98/14.03	c # SCIP version 1.2.1.2
13.98/14.03	c 
13.98/14.03	c # frequency for displaying node information lines
13.98/14.03	c # [type: int, range: [-1,2147483647], default: 100]
13.98/14.03	c display/freq = 10000
13.98/14.03	c 
13.98/14.03	c # maximal time in seconds to run
13.98/14.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
13.98/14.03	c limits/time = 1798.07
13.98/14.03	c 
13.98/14.03	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
13.98/14.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
13.98/14.03	c limits/memory = 1620
13.98/14.03	c 
13.98/14.03	c # solving stops, if the given number of solutions were found (-1: no limit)
13.98/14.03	c # [type: int, range: [-1,2147483647], default: -1]
13.98/14.03	c limits/solutions = 1
13.98/14.03	c 
13.98/14.03	c # maximal number of separation rounds per node (-1: unlimited)
13.98/14.03	c # [type: int, range: [-1,2147483647], default: 5]
13.98/14.03	c separating/maxrounds = 1
13.98/14.03	c 
13.98/14.03	c # maximal number of separation rounds in the root node (-1: unlimited)
13.98/14.03	c # [type: int, range: [-1,2147483647], default: -1]
13.98/14.03	c separating/maxroundsroot = 5
13.98/14.03	c 
13.98/14.03	c # should presolving try to simplify inequalities
13.98/14.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.98/14.03	c constraints/linear/simplifyinequalities = TRUE
13.98/14.03	c 
13.98/14.03	c # should disaggregation of knapsack constraints be allowed in preprocessing?
13.98/14.03	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
13.98/14.03	c constraints/knapsack/disaggregation = FALSE
13.98/14.03	c 
13.98/14.03	c # should presolving try to simplify knapsacks
13.98/14.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.98/14.03	c constraints/knapsack/simplifyinequalities = TRUE
13.98/14.03	c 
13.98/14.03	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
13.98/14.03	c # [type: int, range: [-1,2147483647], default: -1]
13.98/14.03	c presolving/probing/maxrounds = 0
13.98/14.03	c 
13.98/14.03	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
13.98/14.03	c # [type: int, range: [-1,2147483647], default: 10]
13.98/14.03	c heuristics/coefdiving/freq = -1
13.98/14.03	c 
13.98/14.03	c # maximal fraction of diving LP iterations compared to node LP iterations
13.98/14.03	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.98/14.03	c heuristics/coefdiving/maxlpiterquot = 0.075
13.98/14.03	c 
13.98/14.03	c # additional number of allowed LP iterations
13.98/14.03	c # [type: int, range: [0,2147483647], default: 1000]
13.98/14.03	c heuristics/coefdiving/maxlpiterofs = 1500
13.98/14.03	c 
13.98/14.03	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
13.98/14.03	c # [type: int, range: [-1,2147483647], default: 30]
13.98/14.03	c heuristics/crossover/freq = -1
13.98/14.03	c 
13.98/14.03	c # number of nodes added to the contingent of the total nodes
13.98/14.03	c # [type: longint, range: [0,9223372036854775807], default: 500]
13.98/14.03	c heuristics/crossover/nodesofs = 750
13.98/14.03	c 
13.98/14.03	c # number of nodes without incumbent change that heuristic should wait
13.98/14.03	c # [type: longint, range: [0,9223372036854775807], default: 200]
13.98/14.03	c heuristics/crossover/nwaitingnodes = 100
13.98/14.03	c 
13.98/14.03	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
13.98/14.03	c # [type: real, range: [0,1], default: 0.1]
13.98/14.03	c heuristics/crossover/nodesquot = 0.15
13.98/14.03	c 
13.98/14.03	c # minimum percentage of integer variables that have to be fixed 
13.98/14.03	c # [type: real, range: [0,1], default: 0.666]
13.98/14.03	c heuristics/crossover/minfixingrate = 0.5
13.98/14.03	c 
13.98/14.03	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
13.98/14.03	c # [type: int, range: [-1,2147483647], default: 20]
13.98/14.03	c heuristics/feaspump/freq = -1
13.98/14.03	c 
13.98/14.03	c # additional number of allowed LP iterations
13.98/14.03	c # [type: int, range: [0,2147483647], default: 1000]
13.98/14.03	c heuristics/feaspump/maxlpiterofs = 2000
13.98/14.03	c 
13.98/14.03	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
13.98/14.03	c # [type: int, range: [-1,2147483647], default: 10]
13.98/14.03	c heuristics/fracdiving/freq = -1
13.98/14.03	c 
13.98/14.03	c # maximal fraction of diving LP iterations compared to node LP iterations
13.98/14.03	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.98/14.03	c heuristics/fracdiving/maxlpiterquot = 0.075
13.98/14.03	c 
13.98/14.03	c # additional number of allowed LP iterations
13.98/14.03	c # [type: int, range: [0,2147483647], default: 1000]
13.98/14.03	c heuristics/fracdiving/maxlpiterofs = 1500
13.98/14.03	c 
13.98/14.03	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
13.98/14.03	c # [type: int, range: [-1,2147483647], default: 10]
13.98/14.03	c heuristics/guideddiving/freq = -1
13.98/14.03	c 
13.98/14.03	c # maximal fraction of diving LP iterations compared to node LP iterations
13.98/14.03	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.98/14.03	c heuristics/guideddiving/maxlpiterquot = 0.075
13.98/14.03	c 
13.98/14.03	c # additional number of allowed LP iterations
13.98/14.03	c # [type: int, range: [0,2147483647], default: 1000]
13.98/14.03	c heuristics/guideddiving/maxlpiterofs = 1500
13.98/14.03	c 
13.98/14.03	c # maximal fraction of diving LP iterations compared to node LP iterations
13.98/14.03	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.98/14.03	c heuristics/intdiving/maxlpiterquot = 0.075
13.98/14.03	c 
13.98/14.03	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
13.98/14.03	c # [type: int, range: [-1,2147483647], default: 10]
13.98/14.03	c heuristics/intshifting/freq = -1
13.98/14.03	c 
13.98/14.03	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
13.98/14.03	c # [type: int, range: [-1,2147483647], default: 10]
13.98/14.03	c heuristics/linesearchdiving/freq = -1
13.98/14.03	c 
13.98/14.03	c # maximal fraction of diving LP iterations compared to node LP iterations
13.98/14.03	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.98/14.03	c heuristics/linesearchdiving/maxlpiterquot = 0.075
13.98/14.03	c 
13.98/14.03	c # additional number of allowed LP iterations
13.98/14.03	c # [type: int, range: [0,2147483647], default: 1000]
13.98/14.03	c heuristics/linesearchdiving/maxlpiterofs = 1500
13.98/14.03	c 
13.98/14.03	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
13.98/14.03	c # [type: int, range: [-1,2147483647], default: 1]
13.98/14.03	c heuristics/nlp/freq = -1
13.98/14.03	c 
13.98/14.03	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
13.98/14.03	c # [type: int, range: [-1,2147483647], default: 20]
13.98/14.03	c heuristics/objpscostdiving/freq = -1
13.98/14.03	c 
13.98/14.03	c # maximal fraction of diving LP iterations compared to total iteration number
13.98/14.03	c # [type: real, range: [0,1], default: 0.01]
13.98/14.03	c heuristics/objpscostdiving/maxlpiterquot = 0.015
13.98/14.03	c 
13.98/14.03	c # additional number of allowed LP iterations
13.98/14.03	c # [type: int, range: [0,2147483647], default: 1000]
13.98/14.03	c heuristics/objpscostdiving/maxlpiterofs = 1500
13.98/14.03	c 
13.98/14.03	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
13.98/14.03	c # [type: int, range: [-1,2147483647], default: 1]
13.98/14.03	c heuristics/oneopt/freq = -1
13.98/14.03	c 
13.98/14.03	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
13.98/14.03	c # [type: int, range: [-1,2147483647], default: 10]
13.98/14.03	c heuristics/pscostdiving/freq = -1
13.98/14.03	c 
13.98/14.03	c # maximal fraction of diving LP iterations compared to node LP iterations
13.98/14.03	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.98/14.03	c heuristics/pscostdiving/maxlpiterquot = 0.075
13.98/14.03	c 
13.98/14.03	c # additional number of allowed LP iterations
13.98/14.03	c # [type: int, range: [0,2147483647], default: 1000]
13.98/14.03	c heuristics/pscostdiving/maxlpiterofs = 1500
13.98/14.03	c 
13.98/14.03	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
13.98/14.03	c # [type: int, range: [-1,2147483647], default: 0]
13.98/14.03	c heuristics/rens/freq = -1
13.98/14.03	c 
13.98/14.03	c # minimum percentage of integer variables that have to be fixable 
13.98/14.03	c # [type: real, range: [0,1], default: 0.5]
13.98/14.03	c heuristics/rens/minfixingrate = 0.3
13.98/14.03	c 
13.98/14.03	c # number of nodes added to the contingent of the total nodes
13.98/14.03	c # [type: longint, range: [0,9223372036854775807], default: 500]
13.98/14.03	c heuristics/rens/nodesofs = 2000
13.98/14.03	c 
13.98/14.03	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
13.98/14.03	c # [type: int, range: [-1,2147483647], default: 20]
13.98/14.03	c heuristics/rootsoldiving/freq = -1
13.98/14.03	c 
13.98/14.03	c # maximal fraction of diving LP iterations compared to node LP iterations
13.98/14.03	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
13.98/14.03	c heuristics/rootsoldiving/maxlpiterquot = 0.015
13.98/14.03	c 
13.98/14.03	c # additional number of allowed LP iterations
13.98/14.03	c # [type: int, range: [0,2147483647], default: 1000]
13.98/14.03	c heuristics/rootsoldiving/maxlpiterofs = 1500
13.98/14.03	c 
13.98/14.03	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
13.98/14.03	c # [type: int, range: [-1,2147483647], default: 1]
13.98/14.03	c heuristics/rounding/freq = -1
13.98/14.03	c 
13.98/14.03	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
13.98/14.03	c # [type: int, range: [-1,2147483647], default: 10]
13.98/14.03	c heuristics/shifting/freq = -1
13.98/14.03	c 
13.98/14.03	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
13.98/14.03	c # [type: int, range: [-1,2147483647], default: 1]
13.98/14.03	c heuristics/simplerounding/freq = -1
13.98/14.03	c 
13.98/14.03	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
13.98/14.03	c # [type: int, range: [-1,2147483647], default: 0]
13.98/14.03	c heuristics/trivial/freq = -1
13.98/14.03	c 
13.98/14.03	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
13.98/14.03	c # [type: int, range: [-1,2147483647], default: 1]
13.98/14.03	c heuristics/trysol/freq = -1
13.98/14.03	c 
13.98/14.03	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
13.98/14.03	c # [type: int, range: [-1,2147483647], default: 10]
13.98/14.03	c heuristics/veclendiving/freq = -1
13.98/14.03	c 
13.98/14.03	c # maximal fraction of diving LP iterations compared to node LP iterations
13.98/14.03	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.98/14.03	c heuristics/veclendiving/maxlpiterquot = 0.075
13.98/14.03	c 
13.98/14.03	c # additional number of allowed LP iterations
13.98/14.03	c # [type: int, range: [0,2147483647], default: 1000]
13.98/14.03	c heuristics/veclendiving/maxlpiterofs = 1500
13.98/14.03	c 
13.98/14.03	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
13.98/14.03	c # [type: int, range: [-1,2147483647], default: 1]
13.98/14.03	c heuristics/zirounding/freq = -1
13.98/14.03	c 
13.98/14.03	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
13.98/14.03	c # [type: int, range: [-1,2147483647], default: 0]
13.98/14.03	c separating/cmir/freq = -1
13.98/14.03	c 
13.98/14.03	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
13.98/14.03	c # [type: int, range: [-1,2147483647], default: 0]
13.98/14.03	c separating/flowcover/freq = -1
13.98/14.03	c 
13.98/14.03	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
13.98/14.03	c # [type: int, range: [-1,2147483647], default: -1]
13.98/14.03	c separating/rapidlearning/freq = 0
13.98/14.03	c 
13.98/14.03	c -----------------------------------------------------------------------------------------------
13.98/14.03	c start solving
13.98/14.05	c 
704.05/704.39	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
704.05/704.39	c   699s|     1 |     0 | 50526 |     - | 222M|   0 |  10k|  15k|  46k|  15k|  46k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1800.08/1800.71	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-2685011-1278438016/watcher-2685011-1278438016 -o /tmp/evaluation-result-2685011-1278438016/solver-2685011-1278438016 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2685011-1278438016.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.01 1.01 0.93 3/106 18677
/proc/meminfo: memFree=1440612/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=9288 CPUtime=0
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 1065 0 0 0 0 0 0 0 18 0 1 0 12014860 9510912 986 1992294400 4194304 9819077 140735341270912 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18677/statm: 2322 996 371 1374 0 943 0

[startup+0.067888 s]
/proc/loadavg: 1.01 1.01 0.93 3/106 18677
/proc/meminfo: memFree=1440612/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=14952 CPUtime=0.05
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 2659 0 0 0 5 0 0 0 20 0 1 0 12014860 15310848 2579 1992294400 4194304 9819077 140735341270912 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18677/statm: 3738 2579 386 1374 0 2359 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14952

[startup+0.100893 s]
/proc/loadavg: 1.01 1.01 0.93 3/106 18677
/proc/meminfo: memFree=1440612/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=17616 CPUtime=0.09
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 3329 0 0 0 8 1 0 0 20 0 1 0 12014860 18038784 3249 1992294400 4194304 9819077 140735341270912 18446744073709551615 8610840 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18677/statm: 4404 3249 386 1374 0 3025 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17616

[startup+0.300931 s]
/proc/loadavg: 1.01 1.01 0.93 3/106 18677
/proc/meminfo: memFree=1440612/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=29580 CPUtime=0.29
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 6347 0 0 0 27 2 0 0 20 0 1 0 12014860 30289920 6258 1992294400 4194304 9819077 140735341270912 18446744073709551615 4240609 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18677/statm: 7395 6258 386 1374 0 6016 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29580

[startup+0.701007 s]
/proc/loadavg: 1.01 1.01 0.93 3/106 18677
/proc/meminfo: memFree=1440612/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=37396 CPUtime=0.69
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 8262 0 0 0 67 2 0 0 21 0 1 0 12014860 38293504 8173 1992294400 4194304 9819077 140735341270912 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18677/statm: 9349 8173 386 1374 0 7970 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37396

[startup+1.50116 s]
/proc/loadavg: 1.01 1.01 0.93 2/107 18678
/proc/meminfo: memFree=1401668/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=60552 CPUtime=1.49
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 14051 0 0 0 144 5 0 0 23 0 1 0 12014860 62005248 13962 1992294400 4194304 9819077 140735341270912 18446744073709551615 4384358 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18677/statm: 15138 13962 386 1374 0 13759 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 60552

[startup+3.10047 s]
/proc/loadavg: 1.01 1.01 0.93 2/107 18678
/proc/meminfo: memFree=1321688/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=209564 CPUtime=3.09
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 51163 0 0 0 289 20 0 0 25 0 1 0 12014860 214593536 50701 1992294400 4194304 9819077 140735341270912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18677/statm: 52391 50701 486 1374 0 51012 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 209564

[startup+6.30108 s]
/proc/loadavg: 1.01 1.01 0.93 2/107 18678
/proc/meminfo: memFree=1149948/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=312768 CPUtime=6.29
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 76221 0 0 0 594 35 0 0 25 0 1 0 12014860 320274432 75759 1992294400 4194304 9819077 140735341270912 18446744073709551615 5966506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18677/statm: 78192 75759 486 1374 0 76813 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 312768

[startup+12.7003 s]
/proc/loadavg: 1.01 1.00 0.93 2/107 18678
/proc/meminfo: memFree=1113376/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=336916 CPUtime=12.69
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 85086 0 0 0 1196 73 0 0 25 0 1 0 12014860 345001984 81797 1992294400 4194304 9819077 140735341270912 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18677/statm: 84229 81797 490 1374 0 82850 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 336916

[startup+25.5007 s]
/proc/loadavg: 1.01 1.00 0.93 2/107 18678
/proc/meminfo: memFree=1060188/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=416768 CPUtime=25.48
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 127327 0 0 0 2444 104 0 0 25 0 1 0 12014860 426770432 95464 1992294400 4194304 9819077 140735341270912 18446744073709551615 7294720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18677/statm: 104192 95464 666 1374 0 102813 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 416768

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 18678
/proc/meminfo: memFree=1059196/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=422616 CPUtime=51.07
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 150337 0 0 0 4990 117 0 0 25 0 1 0 12014860 432758784 95753 1992294400 4194304 9819077 140735341270912 18446744073709551615 7300540 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18677/statm: 105654 95753 666 1374 0 104275 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 422616

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 18680
/proc/meminfo: memFree=1054112/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=425116 CPUtime=102.26
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 183676 0 0 0 10090 136 0 0 25 0 1 0 12014860 435318784 96971 1992294400 4194304 9819077 140735341270912 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18677/statm: 106279 96971 666 1374 0 104900 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 425116

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 18682
/proc/meminfo: memFree=1056096/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=425816 CPUtime=162.24
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 220080 0 0 0 16066 158 0 0 25 0 1 0 12014860 436035584 96538 1992294400 4194304 9819077 140735341270912 18446744073709551615 6656806 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18677/statm: 106454 96538 666 1374 0 105075 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 425816

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 18684
/proc/meminfo: memFree=1055228/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=426072 CPUtime=222.22
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 255464 0 0 0 22043 179 0 0 25 0 1 0 12014860 436297728 96675 1992294400 4194304 9819077 140735341270912 18446744073709551615 6697188 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18677/statm: 106518 96675 666 1374 0 105139 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 426072

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 18684
/proc/meminfo: memFree=1050268/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=426200 CPUtime=282.19
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 292020 0 0 0 28020 199 0 0 25 0 1 0 12014860 436428800 96639 1992294400 4194304 9819077 140735341270912 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18677/statm: 106550 96639 666 1374 0 105171 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 426200

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 18686
/proc/meminfo: memFree=1050020/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=426264 CPUtime=342.17
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 326194 0 0 0 33998 219 0 0 25 0 1 0 12014860 436494336 97982 1992294400 4194304 9819077 140735341270912 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18677/statm: 106566 97982 666 1374 0 105187 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 426264

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 18688
/proc/meminfo: memFree=1052376/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=426368 CPUtime=402.15
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 363830 0 0 0 39975 240 0 0 25 0 1 0 12014860 436600832 97768 1992294400 4194304 9819077 140735341270912 18446744073709551615 7291597 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18677/statm: 106592 97768 666 1374 0 105213 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 426368

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 18690
/proc/meminfo: memFree=1054484/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=426332 CPUtime=462.14
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 401447 0 0 0 45952 262 0 0 25 0 1 0 12014860 436563968 96832 1992294400 4194304 9819077 140735341270912 18446744073709551615 7290866 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18677/statm: 106583 96832 666 1374 0 105204 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 426332

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 18692
/proc/meminfo: memFree=1049028/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=426368 CPUtime=522.11
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 436242 0 0 0 51930 281 0 0 25 0 1 0 12014860 436600832 98309 1992294400 4194304 9819077 140735341270912 18446744073709551615 7298083 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18677/statm: 106592 98309 666 1374 0 105213 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 426368

[startup+582.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 18692
/proc/meminfo: memFree=1049028/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=426496 CPUtime=582.09
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 474029 0 0 0 57906 303 0 0 25 0 1 0 12014860 436731904 98200 1992294400 4194304 9819077 140735341270912 18446744073709551615 7293510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18677/statm: 106624 98200 666 1374 0 105245 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 426496

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 18694
/proc/meminfo: memFree=1050020/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=426584 CPUtime=642.08
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 511673 0 0 0 63882 326 0 0 25 0 1 0 12014860 436822016 97895 1992294400 4194304 9819077 140735341270912 18446744073709551615 6198314 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18677/statm: 106646 97895 666 1374 0 105267 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 426584

[startup+702.301 s]

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

/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 623836 0 0 0 105735 457 0 0 25 0 1 0 12014860 449499136 99573 1992294400 4194304 9819077 140735341270912 18446744073709551615 6391459 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18677/statm: 109741 99573 692 1374 0 108362 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 438964

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 18708
/proc/meminfo: memFree=1043448/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=438836 CPUtime=1121.9
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 659378 0 0 0 111711 479 0 0 25 0 1 0 12014860 449368064 99619 1992294400 4194304 9819077 140735341270912 18446744073709551615 7301610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18677/statm: 109709 99619 692 1374 0 108330 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 438836

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 18708
/proc/meminfo: memFree=1043200/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=438768 CPUtime=1181.89
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 695689 0 0 0 117687 502 0 0 25 0 1 0 12014860 449298432 99791 1992294400 4194304 9819077 140735341270912 18446744073709551615 7311128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18677/statm: 109692 99791 692 1374 0 108313 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 438768

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 18710
/proc/meminfo: memFree=1041712/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=438768 CPUtime=1241.87
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 731542 0 0 0 123662 525 0 0 25 0 1 0 12014860 449298432 100037 1992294400 4194304 9819077 140735341270912 18446744073709551615 7304799 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18677/statm: 109692 100037 692 1374 0 108313 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 438768

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 18721
/proc/meminfo: memFree=1039604/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=438808 CPUtime=1301.84
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 767872 0 0 0 129638 546 0 0 25 0 1 0 12014860 449339392 100367 1992294400 4194304 9819077 140735341270912 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18677/statm: 109702 100367 692 1374 0 108323 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 438808

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 18723
/proc/meminfo: memFree=1038116/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=438832 CPUtime=1361.81
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 805513 0 0 0 135614 567 0 0 25 0 1 0 12014860 449363968 100839 1992294400 4194304 9819077 140735341270912 18446744073709551615 6198389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18677/statm: 109708 100839 692 1374 0 108329 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 438832

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 18725
/proc/meminfo: memFree=1039976/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=438744 CPUtime=1421.8
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 846847 0 0 0 141591 589 0 0 25 0 1 0 12014860 449273856 100364 1992294400 4194304 9819077 140735341270912 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18677/statm: 109686 100364 692 1374 0 108307 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 438744

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 18725
/proc/meminfo: memFree=1039604/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=438768 CPUtime=1481.77
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 884690 0 0 0 147565 612 0 0 25 0 1 0 12014860 449298432 100609 1992294400 4194304 9819077 140735341270912 18446744073709551615 6199022 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18677/statm: 109692 100609 692 1374 0 108313 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 438768

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 18727
/proc/meminfo: memFree=1039728/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=438768 CPUtime=1541.75
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 922545 0 0 0 153540 635 0 0 25 0 1 0 12014860 449298432 100362 1992294400 4194304 9819077 140735341270912 18446744073709551615 7324005 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18677/statm: 109692 100362 692 1374 0 108313 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 438768

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 18729
/proc/meminfo: memFree=1038984/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=438740 CPUtime=1601.73
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 959690 0 0 0 159516 657 0 0 25 0 1 0 12014860 449269760 100613 1992294400 4194304 9819077 140735341270912 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18677/statm: 109685 100613 692 1374 0 108306 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 438740

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 18731
/proc/meminfo: memFree=1043696/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=438708 CPUtime=1661.71
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 1000741 0 0 0 165491 680 0 0 25 0 1 0 12014860 449236992 99354 1992294400 4194304 9819077 140735341270912 18446744073709551615 6674395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18677/statm: 109677 99354 692 1374 0 108298 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 438708

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 18733
/proc/meminfo: memFree=1040720/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=438644 CPUtime=1721.68
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 1039984 0 0 0 171465 703 0 0 25 0 1 0 12014860 449171456 100393 1992294400 4194304 9819077 140735341270912 18446744073709551615 7293654 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18677/statm: 109661 100393 692 1374 0 108282 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 438644

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 18733
/proc/meminfo: memFree=1039108/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=438680 CPUtime=1781.67
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 1075630 0 0 0 177444 723 0 0 25 0 1 0 12014860 449208320 100484 1992294400 4194304 9819077 140735341270912 18446744073709551615 7309040 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18677/statm: 109670 100484 692 1374 0 108291 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 438680



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 18735
/proc/meminfo: memFree=1044936/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=438704 CPUtime=1800.08
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 1089086 0 0 0 179278 730 0 0 25 0 1 0 12014860 449232896 98980 1992294400 4194304 9819077 140735341270912 18446744073709551615 6198716 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18677/statm: 109676 98980 692 1374 0 108297 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 438704

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -18677

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 18735
/proc/meminfo: memFree=1044936/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=438704 CPUtime=1800.76
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 1089183 0 0 0 179346 730 0 0 25 0 1 0 12014860 449232896 99077 1992294400 4194304 9819077 140735341270912 18446744073709551615 6391602 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18677/statm: 109676 99077 692 1374 0 108297 0
Current children cumulated CPU time (s) 1800.76
Current children cumulated vsize (KiB) 438704

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 0.93 2/108 18736
/proc/meminfo: memFree=1044184/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=438704 CPUtime=1801.56
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 1089395 0 0 0 179426 730 0 0 25 0 1 0 12014860 449232896 99289 1992294400 4194304 9819077 140735341270912 18446744073709551615 6391510 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18677/statm: 109676 99289 692 1374 0 108297 0
Current children cumulated CPU time (s) 1801.56
Current children cumulated vsize (KiB) 438704

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 0.93 2/108 18736
/proc/meminfo: memFree=1044184/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=438704 CPUtime=1801.96
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 1089541 0 0 0 179466 730 0 0 25 0 1 0 12014860 449232896 99435 1992294400 4194304 9819077 140735341270912 18446744073709551615 7296198 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18677/statm: 109676 99435 692 1374 0 108297 0
Current children cumulated CPU time (s) 1801.96
Current children cumulated vsize (KiB) 438704

[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 0.93 2/108 18736
/proc/meminfo: memFree=1044184/2059040 swapFree=4192956/4192956
[pid=18677] ppid=18675 vsize=438704 CPUtime=1802.06
/proc/18677/stat : 18677 (pbscip.linux.x8) R 18675 18677 18163 0 -1 4202496 1089572 0 0 0 179476 730 0 0 25 0 1 0 12014860 449232896 99466 1992294400 4194304 9819077 140735341270912 18446744073709551615 7309073 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18677/statm: 109676 99466 692 1374 0 108297 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 438704

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.75
CPU time (s): 1802.12
CPU user time (s): 1794.78
CPU system time (s): 7.34688
CPU usage (%): 99.965
Max. virtual memory (cumulated for all children) (KiB): 438996

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

runsolver used 2.95055 second user time and 8.5507 second system time

The end

Launcher Data 

Begin job on node009 at 2010-07-06 19:40:16
IDJOB=2685011
IDBENCH=74273
IDSOLVER=1168
FILE ID=node009/2685011-1278438016
PBS_JOBID= 11233462
Free space on /tmp= 62496 MiB

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

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

MD5SUM BENCH= db859a15c3accfca5f41bc17f134e06b
RANDOM SEED=633362465

node009.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.262
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.52
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.262
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1441140 kB
Buffers:        107816 kB
Cached:         377976 kB
SwapCached:          0 kB
Active:         200932 kB
Inactive:       345116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1441140 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            9468 kB
Writeback:           0 kB
AnonPages:       60192 kB
Mapped:          14420 kB
Slab:            50068 kB
PageTables:       4180 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   184540 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= 62492 MiB
End job on node009 at 2010-07-06 20:10:19