Trace number 2684927

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.06 1802.55

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12032_3-unsat.opb
MD5SUM336dbbe12a18bfd6b8d34c583a70b44b
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 benchmark1480.58
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables32186
Total number of constraints107047
Number of constraints which are clauses106519
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints528
Minimum length of a constraint1
Maximum length of a constraint93
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 26
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 561
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2684927-1278437106.opb>
1.79/1.87	c original problem has 32186 variables (32186 bin, 0 int, 0 impl, 0 cont) and 107047 constraints
1.79/1.87	c problem read
1.79/1.87	c No objective function, only one solution is needed.
1.79/1.87	c presolving settings loaded
2.39/2.43	c presolving:
7.29/7.38	c (round 1) 7094 del vars, 20869 del conss, 5291 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5988416 impls, 0 clqs
10.39/10.41	c (round 2) 13955 del vars, 49069 del conss, 11808 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6031462 impls, 0 clqs
10.99/11.04	c (round 3) 16583 del vars, 60431 del conss, 13339 chg bounds, 17 chg sides, 21 chg coeffs, 0 upgd conss, 6051190 impls, 0 clqs
11.29/11.31	c (round 4) 17873 del vars, 65207 del conss, 14231 chg bounds, 85 chg sides, 94 chg coeffs, 0 upgd conss, 6064148 impls, 0 clqs
11.49/11.54	c (round 5) 18892 del vars, 68665 del conss, 14840 chg bounds, 85 chg sides, 94 chg coeffs, 0 upgd conss, 6078508 impls, 0 clqs
11.59/11.69	c (round 6) 19507 del vars, 71018 del conss, 15222 chg bounds, 85 chg sides, 94 chg coeffs, 0 upgd conss, 6085997 impls, 0 clqs
11.79/11.80	c (round 7) 19919 del vars, 72430 del conss, 15426 chg bounds, 85 chg sides, 94 chg coeffs, 0 upgd conss, 6091291 impls, 0 clqs
11.79/11.90	c (round 8) 20180 del vars, 73388 del conss, 15566 chg bounds, 85 chg sides, 94 chg coeffs, 0 upgd conss, 6094743 impls, 0 clqs
11.89/11.97	c (round 9) 20298 del vars, 73906 del conss, 15619 chg bounds, 85 chg sides, 94 chg coeffs, 0 upgd conss, 6096122 impls, 0 clqs
11.99/12.02	c (round 10) 20329 del vars, 74059 del conss, 15631 chg bounds, 85 chg sides, 94 chg coeffs, 0 upgd conss, 6096374 impls, 0 clqs
11.99/12.07	c (round 11) 20337 del vars, 74103 del conss, 15634 chg bounds, 85 chg sides, 94 chg coeffs, 0 upgd conss, 6096396 impls, 0 clqs
12.10/12.12	c (round 12) 20338 del vars, 74109 del conss, 15634 chg bounds, 85 chg sides, 94 chg coeffs, 0 upgd conss, 6096400 impls, 0 clqs
12.39/12.48	c (round 13) 20338 del vars, 74110 del conss, 15634 chg bounds, 85 chg sides, 94 chg coeffs, 32937 upgd conss, 6096400 impls, 0 clqs
12.89/12.92	c (round 14) 20338 del vars, 74110 del conss, 15634 chg bounds, 103 chg sides, 200 chg coeffs, 32937 upgd conss, 6096400 impls, 0 clqs
12.98/13.04	c presolving (15 rounds):
12.98/13.04	c  20338 deleted vars, 74110 deleted constraints, 15634 tightened bounds, 0 added holes, 103 changed sides, 211 changed coefficients
12.98/13.04	c  6096400 implications, 0 cliques
12.98/13.04	c presolved problem has 11848 variables (11848 bin, 0 int, 0 impl, 0 cont) and 32937 constraints
12.98/13.04	c     464 constraints of type <knapsack>
12.98/13.04	c   32473 constraints of type <logicor>
12.98/13.04	c transformed objective value is always integral (scale: 1)
12.98/13.04	c Presolving Time: 10.19
12.98/13.04	c - non default parameters ----------------------------------------------------------------------
12.98/13.04	c # SCIP version 1.2.1.2
12.98/13.04	c 
12.98/13.04	c # frequency for displaying node information lines
12.98/13.04	c # [type: int, range: [-1,2147483647], default: 100]
12.98/13.04	c display/freq = 10000
12.98/13.04	c 
12.98/13.04	c # maximal time in seconds to run
12.98/13.04	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
12.98/13.04	c limits/time = 1798.13
12.98/13.04	c 
12.98/13.04	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
12.98/13.04	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
12.98/13.04	c limits/memory = 1620
12.98/13.04	c 
12.98/13.04	c # solving stops, if the given number of solutions were found (-1: no limit)
12.98/13.04	c # [type: int, range: [-1,2147483647], default: -1]
12.98/13.04	c limits/solutions = 1
12.98/13.04	c 
12.98/13.04	c # maximal number of separation rounds per node (-1: unlimited)
12.98/13.04	c # [type: int, range: [-1,2147483647], default: 5]
12.98/13.04	c separating/maxrounds = 1
12.98/13.04	c 
12.98/13.04	c # maximal number of separation rounds in the root node (-1: unlimited)
12.98/13.04	c # [type: int, range: [-1,2147483647], default: -1]
12.98/13.04	c separating/maxroundsroot = 5
12.98/13.04	c 
12.98/13.04	c # should presolving try to simplify inequalities
12.98/13.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
12.98/13.04	c constraints/linear/simplifyinequalities = TRUE
12.98/13.04	c 
12.98/13.04	c # should disaggregation of knapsack constraints be allowed in preprocessing?
12.98/13.04	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
12.98/13.04	c constraints/knapsack/disaggregation = FALSE
12.98/13.04	c 
12.98/13.04	c # should presolving try to simplify knapsacks
12.98/13.04	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
12.98/13.04	c constraints/knapsack/simplifyinequalities = TRUE
12.98/13.04	c 
12.98/13.04	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
12.98/13.04	c # [type: int, range: [-1,2147483647], default: -1]
12.98/13.04	c presolving/probing/maxrounds = 0
12.98/13.04	c 
12.98/13.04	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
12.98/13.04	c # [type: int, range: [-1,2147483647], default: 10]
12.98/13.04	c heuristics/coefdiving/freq = -1
12.98/13.04	c 
12.98/13.04	c # maximal fraction of diving LP iterations compared to node LP iterations
12.98/13.04	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
12.98/13.04	c heuristics/coefdiving/maxlpiterquot = 0.075
12.98/13.04	c 
12.98/13.04	c # additional number of allowed LP iterations
12.98/13.04	c # [type: int, range: [0,2147483647], default: 1000]
12.98/13.04	c heuristics/coefdiving/maxlpiterofs = 1500
12.98/13.04	c 
12.98/13.04	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
12.98/13.04	c # [type: int, range: [-1,2147483647], default: 30]
12.98/13.04	c heuristics/crossover/freq = -1
12.98/13.04	c 
12.98/13.04	c # number of nodes added to the contingent of the total nodes
12.98/13.04	c # [type: longint, range: [0,9223372036854775807], default: 500]
12.98/13.04	c heuristics/crossover/nodesofs = 750
12.98/13.04	c 
12.98/13.04	c # number of nodes without incumbent change that heuristic should wait
12.98/13.04	c # [type: longint, range: [0,9223372036854775807], default: 200]
12.98/13.04	c heuristics/crossover/nwaitingnodes = 100
12.98/13.04	c 
12.98/13.04	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
12.98/13.04	c # [type: real, range: [0,1], default: 0.1]
12.98/13.04	c heuristics/crossover/nodesquot = 0.15
12.98/13.04	c 
12.98/13.04	c # minimum percentage of integer variables that have to be fixed 
12.98/13.04	c # [type: real, range: [0,1], default: 0.666]
12.98/13.04	c heuristics/crossover/minfixingrate = 0.5
12.98/13.04	c 
12.98/13.04	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
12.98/13.04	c # [type: int, range: [-1,2147483647], default: 20]
12.98/13.04	c heuristics/feaspump/freq = -1
12.98/13.04	c 
12.98/13.04	c # additional number of allowed LP iterations
12.98/13.04	c # [type: int, range: [0,2147483647], default: 1000]
12.98/13.04	c heuristics/feaspump/maxlpiterofs = 2000
12.98/13.04	c 
12.98/13.04	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
12.98/13.04	c # [type: int, range: [-1,2147483647], default: 10]
12.98/13.04	c heuristics/fracdiving/freq = -1
12.98/13.04	c 
12.98/13.04	c # maximal fraction of diving LP iterations compared to node LP iterations
12.98/13.04	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
12.98/13.04	c heuristics/fracdiving/maxlpiterquot = 0.075
12.98/13.04	c 
12.98/13.04	c # additional number of allowed LP iterations
12.98/13.04	c # [type: int, range: [0,2147483647], default: 1000]
12.98/13.04	c heuristics/fracdiving/maxlpiterofs = 1500
12.98/13.04	c 
12.98/13.04	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
12.98/13.04	c # [type: int, range: [-1,2147483647], default: 10]
12.98/13.04	c heuristics/guideddiving/freq = -1
12.98/13.04	c 
12.98/13.04	c # maximal fraction of diving LP iterations compared to node LP iterations
12.98/13.04	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
12.98/13.04	c heuristics/guideddiving/maxlpiterquot = 0.075
12.98/13.04	c 
12.98/13.04	c # additional number of allowed LP iterations
12.98/13.04	c # [type: int, range: [0,2147483647], default: 1000]
12.98/13.04	c heuristics/guideddiving/maxlpiterofs = 1500
12.98/13.04	c 
12.98/13.04	c # maximal fraction of diving LP iterations compared to node LP iterations
12.98/13.04	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
12.98/13.04	c heuristics/intdiving/maxlpiterquot = 0.075
12.98/13.04	c 
12.98/13.04	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
12.98/13.04	c # [type: int, range: [-1,2147483647], default: 10]
12.98/13.04	c heuristics/intshifting/freq = -1
12.98/13.04	c 
12.98/13.04	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
12.98/13.04	c # [type: int, range: [-1,2147483647], default: 10]
12.98/13.04	c heuristics/linesearchdiving/freq = -1
12.98/13.04	c 
12.98/13.04	c # maximal fraction of diving LP iterations compared to node LP iterations
12.98/13.04	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
12.98/13.04	c heuristics/linesearchdiving/maxlpiterquot = 0.075
12.98/13.04	c 
12.98/13.04	c # additional number of allowed LP iterations
12.98/13.04	c # [type: int, range: [0,2147483647], default: 1000]
12.98/13.04	c heuristics/linesearchdiving/maxlpiterofs = 1500
12.98/13.04	c 
12.98/13.04	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
12.98/13.04	c # [type: int, range: [-1,2147483647], default: 1]
12.98/13.04	c heuristics/nlp/freq = -1
12.98/13.04	c 
12.98/13.04	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
12.98/13.04	c # [type: int, range: [-1,2147483647], default: 20]
12.98/13.04	c heuristics/objpscostdiving/freq = -1
12.98/13.04	c 
12.98/13.04	c # maximal fraction of diving LP iterations compared to total iteration number
12.98/13.04	c # [type: real, range: [0,1], default: 0.01]
12.98/13.04	c heuristics/objpscostdiving/maxlpiterquot = 0.015
12.98/13.04	c 
12.98/13.04	c # additional number of allowed LP iterations
12.98/13.04	c # [type: int, range: [0,2147483647], default: 1000]
12.98/13.04	c heuristics/objpscostdiving/maxlpiterofs = 1500
12.98/13.04	c 
12.98/13.04	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
12.98/13.04	c # [type: int, range: [-1,2147483647], default: 1]
12.98/13.04	c heuristics/oneopt/freq = -1
12.98/13.04	c 
12.98/13.04	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
12.98/13.04	c # [type: int, range: [-1,2147483647], default: 10]
12.98/13.04	c heuristics/pscostdiving/freq = -1
12.98/13.04	c 
12.98/13.04	c # maximal fraction of diving LP iterations compared to node LP iterations
12.98/13.04	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
12.98/13.04	c heuristics/pscostdiving/maxlpiterquot = 0.075
12.98/13.04	c 
12.98/13.04	c # additional number of allowed LP iterations
12.98/13.04	c # [type: int, range: [0,2147483647], default: 1000]
12.98/13.04	c heuristics/pscostdiving/maxlpiterofs = 1500
12.98/13.04	c 
12.98/13.04	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
12.98/13.04	c # [type: int, range: [-1,2147483647], default: 0]
12.98/13.04	c heuristics/rens/freq = -1
12.98/13.04	c 
12.98/13.04	c # minimum percentage of integer variables that have to be fixable 
12.98/13.04	c # [type: real, range: [0,1], default: 0.5]
12.98/13.04	c heuristics/rens/minfixingrate = 0.3
12.98/13.04	c 
12.98/13.04	c # number of nodes added to the contingent of the total nodes
12.98/13.04	c # [type: longint, range: [0,9223372036854775807], default: 500]
12.98/13.04	c heuristics/rens/nodesofs = 2000
12.98/13.04	c 
12.98/13.04	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
12.98/13.04	c # [type: int, range: [-1,2147483647], default: 20]
12.98/13.04	c heuristics/rootsoldiving/freq = -1
12.98/13.04	c 
12.98/13.04	c # maximal fraction of diving LP iterations compared to node LP iterations
12.98/13.04	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
12.98/13.04	c heuristics/rootsoldiving/maxlpiterquot = 0.015
12.98/13.04	c 
12.98/13.04	c # additional number of allowed LP iterations
12.98/13.04	c # [type: int, range: [0,2147483647], default: 1000]
12.98/13.04	c heuristics/rootsoldiving/maxlpiterofs = 1500
12.98/13.04	c 
12.98/13.04	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
12.98/13.04	c # [type: int, range: [-1,2147483647], default: 1]
12.98/13.04	c heuristics/rounding/freq = -1
12.98/13.04	c 
12.98/13.04	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
12.98/13.04	c # [type: int, range: [-1,2147483647], default: 10]
12.98/13.04	c heuristics/shifting/freq = -1
12.98/13.04	c 
12.98/13.04	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
12.98/13.04	c # [type: int, range: [-1,2147483647], default: 1]
12.98/13.04	c heuristics/simplerounding/freq = -1
12.98/13.04	c 
12.98/13.04	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
12.98/13.04	c # [type: int, range: [-1,2147483647], default: 0]
12.98/13.04	c heuristics/trivial/freq = -1
12.98/13.04	c 
12.98/13.04	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
12.98/13.04	c # [type: int, range: [-1,2147483647], default: 1]
12.98/13.04	c heuristics/trysol/freq = -1
12.98/13.04	c 
12.98/13.04	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
12.98/13.04	c # [type: int, range: [-1,2147483647], default: 10]
12.98/13.04	c heuristics/veclendiving/freq = -1
12.98/13.04	c 
12.98/13.04	c # maximal fraction of diving LP iterations compared to node LP iterations
12.98/13.04	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
12.98/13.04	c heuristics/veclendiving/maxlpiterquot = 0.075
12.98/13.04	c 
12.98/13.04	c # additional number of allowed LP iterations
12.98/13.04	c # [type: int, range: [0,2147483647], default: 1000]
12.98/13.04	c heuristics/veclendiving/maxlpiterofs = 1500
12.98/13.04	c 
12.98/13.04	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
12.98/13.04	c # [type: int, range: [-1,2147483647], default: 1]
12.98/13.04	c heuristics/zirounding/freq = -1
12.98/13.04	c 
12.98/13.04	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
12.98/13.04	c # [type: int, range: [-1,2147483647], default: 0]
12.98/13.04	c separating/cmir/freq = -1
12.98/13.04	c 
12.98/13.04	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
12.98/13.04	c # [type: int, range: [-1,2147483647], default: 0]
12.98/13.04	c separating/flowcover/freq = -1
12.98/13.04	c 
12.98/13.04	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
12.98/13.04	c # [type: int, range: [-1,2147483647], default: -1]
12.98/13.04	c separating/rapidlearning/freq = 0
12.98/13.04	c 
12.98/13.04	c -----------------------------------------------------------------------------------------------
12.98/13.04	c start solving
12.98/13.06	c 
350.49/350.65	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
350.49/350.65	c   346s|     1 |     0 | 34732 |     - | 186M|   0 |6559 |  11k|  32k|  11k|  32k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1800.02/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2684927-1278437106/watcher-2684927-1278437106 -o /tmp/evaluation-result-2684927-1278437106/solver-2684927-1278437106 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2684927-1278437106.opb -t 1800 -m 1800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 19313
/proc/meminfo: memFree=1463236/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=9288 CPUtime=0
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 1148 0 0 0 0 0 0 0 18 0 1 0 11917825 9510912 1068 1992294400 4194304 9819077 140735177029920 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19313/statm: 2322 1077 371 1374 0 943 0

[startup+0.109833 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 19313
/proc/meminfo: memFree=1463236/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=18712 CPUtime=0.1
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 3604 0 0 0 9 1 0 0 20 0 1 0 11917825 19161088 3524 1992294400 4194304 9819077 140735177029920 18446744073709551615 4240609 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19313/statm: 4678 3524 386 1374 0 3299 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 18712

[startup+0.200842 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 19313
/proc/meminfo: memFree=1463236/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=25148 CPUtime=0.19
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 5226 0 0 0 18 1 0 0 20 0 1 0 11917825 25751552 5146 1992294400 4194304 9819077 140735177029920 18446744073709551615 4391172 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19313/statm: 6287 5146 386 1374 0 4908 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 25148

[startup+0.300853 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 19313
/proc/meminfo: memFree=1463236/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=29580 CPUtime=0.29
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 6347 0 0 0 27 2 0 0 20 0 1 0 11917825 30289920 6258 1992294400 4194304 9819077 140735177029920 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19313/statm: 7395 6258 386 1374 0 6016 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29580

[startup+0.700897 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 19313
/proc/meminfo: memFree=1463236/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=38232 CPUtime=0.69
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 8504 0 0 0 66 3 0 0 21 0 1 0 11917825 39149568 8415 1992294400 4194304 9819077 140735177029920 18446744073709551615 8718976 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19313/statm: 9558 8415 386 1374 0 8179 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38232

[startup+1.50098 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19314
/proc/meminfo: memFree=1419952/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=61800 CPUtime=1.49
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 14359 0 0 0 144 5 0 0 23 0 1 0 11917825 63283200 14270 1992294400 4194304 9819077 140735177029920 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19313/statm: 15659 14272 386 1374 0 14280 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 61800

[startup+3.10116 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19314
/proc/meminfo: memFree=1310460/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=208380 CPUtime=3.09
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 50886 0 0 0 289 20 0 0 25 0 1 0 11917825 213381120 50389 1992294400 4194304 9819077 140735177029920 18446744073709551615 5968926 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19313/statm: 52095 50389 486 1374 0 50716 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 208380

[startup+6.3015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19314
/proc/meminfo: memFree=1172448/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=309860 CPUtime=6.29
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 75551 0 0 0 596 33 0 0 25 0 1 0 11917825 317296640 75054 1992294400 4194304 9819077 140735177029920 18446744073709551615 5968621 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19313/statm: 77465 75054 490 1374 0 76086 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 309860

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19314
/proc/meminfo: memFree=1142564/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=336028 CPUtime=12.69
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 87439 0 0 0 1197 72 0 0 25 0 1 0 11917825 344092672 81488 1992294400 4194304 9819077 140735177029920 18446744073709551615 5970274 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19313/statm: 84007 81488 560 1374 0 82628 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 336028

[startup+25.5006 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 19315
/proc/meminfo: memFree=1103008/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=389904 CPUtime=25.48
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 117964 0 0 0 2457 91 0 0 25 0 1 0 11917825 399261696 90559 1992294400 4194304 9819077 140735177029920 18446744073709551615 7291095 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19313/statm: 97476 90559 637 1374 0 96097 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 389904

[startup+51.1004 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 19315
/proc/meminfo: memFree=1101148/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=393140 CPUtime=51.07
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 139291 0 0 0 5004 103 0 0 25 0 1 0 11917825 402575360 91125 1992294400 4194304 9819077 140735177029920 18446744073709551615 6198288 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19313/statm: 98285 91125 637 1374 0 96906 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 393140

[startup+102.301 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 19317
/proc/meminfo: memFree=1101396/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=394316 CPUtime=102.26
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 174637 0 0 0 10102 124 0 0 25 0 1 0 11917825 403779584 90736 1992294400 4194304 9819077 140735177029920 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19313/statm: 98579 90736 637 1374 0 97200 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 394316

[startup+162.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 19318
/proc/meminfo: memFree=1097180/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=394512 CPUtime=162.24
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 214464 0 0 0 16077 147 0 0 25 0 1 0 11917825 403980288 91883 1992294400 4194304 9819077 140735177029920 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19313/statm: 98628 91883 637 1374 0 97249 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 394512

[startup+222.308 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 19320
/proc/meminfo: memFree=1096436/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=386684 CPUtime=222.23
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 260810 0 0 0 22042 181 0 0 25 0 1 0 11917825 395964416 90336 1992294400 4194304 9819077 140735177029920 18446744073709551615 7282664 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19313/statm: 96671 90336 637 1374 0 95292 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 386684

[startup+282.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 19321
/proc/meminfo: memFree=1097428/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=394700 CPUtime=282.21
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 301955 0 0 0 28016 205 0 0 25 0 1 0 11917825 404172800 91823 1992294400 4194304 9819077 140735177029920 18446744073709551615 7309303 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19313/statm: 98675 91823 637 1374 0 97296 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 394700

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19323
/proc/meminfo: memFree=1099908/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=394764 CPUtime=342.2
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 346769 0 0 0 33986 234 0 0 25 0 1 0 11917825 404238336 91123 1992294400 4194304 9819077 140735177029920 18446744073709551615 7312735 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19313/statm: 98691 91123 637 1374 0 97312 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 394764

[startup+402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19325
/proc/meminfo: memFree=1101024/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=394296 CPUtime=402.18
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 355256 0 0 0 39974 244 0 0 25 0 1 0 11917825 403759104 90661 1992294400 4194304 9819077 140735177029920 18446744073709551615 7311718 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19313/statm: 98574 90661 654 1374 0 97195 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 394296

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19326
/proc/meminfo: memFree=1101024/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=394296 CPUtime=462.16
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 355258 0 0 0 45964 252 0 0 25 0 1 0 11917825 403759104 90663 1992294400 4194304 9819077 140735177029920 18446744073709551615 6054173 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19313/statm: 98574 90663 656 1374 0 97195 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 394296

[startup+522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19328
/proc/meminfo: memFree=1088872/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=409588 CPUtime=522.15
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 391006 0 0 0 51916 299 0 0 25 0 1 0 11917825 419418112 93962 1992294400 4194304 9819077 140735177029920 18446744073709551615 7309283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19313/statm: 102397 93962 675 1374 0 101018 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 409588

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19329
/proc/meminfo: memFree=1088500/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=409648 CPUtime=582.13
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 433913 0 0 0 57890 323 0 0 25 0 1 0 11917825 419479552 93964 1992294400 4194304 9819077 140735177029920 18446744073709551615 7293523 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19313/statm: 102412 93964 675 1374 0 101033 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 409648

[startup+642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19331
/proc/meminfo: memFree=1088376/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=409748 CPUtime=642.12
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 484753 0 0 0 63858 354 0 0 25 0 1 0 11917825 419581952 94078 1992294400 4194304 9819077 140735177029920 18446744073709551615 7293634 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19313/statm: 102437 94078 675 1374 0 101058 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 409748

[startup+702.301 s]

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

/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 759740 0 0 0 99686 516 0 0 25 0 1 0 11917825 419454976 92802 1992294400 4194304 9819077 140735177029920 18446744073709551615 7311203 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19313/statm: 102406 92802 675 1374 0 101027 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 409624

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19342
/proc/meminfo: memFree=1089988/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=409556 CPUtime=1062
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 806464 0 0 0 105657 543 0 0 25 0 1 0 11917825 419385344 93749 1992294400 4194304 9819077 140735177029920 18446744073709551615 7318511 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19313/statm: 102389 93749 675 1374 0 101010 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 409556

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19344
/proc/meminfo: memFree=1091972/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=409432 CPUtime=1121.99
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 853903 0 0 0 111626 573 0 0 25 0 1 0 11917825 419258368 93029 1992294400 4194304 9819077 140735177029920 18446744073709551615 6656908 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19313/statm: 102358 93029 675 1374 0 100979 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 409432

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19345
/proc/meminfo: memFree=1092468/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=409392 CPUtime=1181.97
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 898956 0 0 0 117600 597 0 0 25 0 1 0 11917825 419217408 92929 1992294400 4194304 9819077 140735177029920 18446744073709551615 6676872 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19313/statm: 102348 92929 675 1374 0 100969 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 409392

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19347
/proc/meminfo: memFree=1092220/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=409364 CPUtime=1241.95
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 942591 0 0 0 123571 624 0 0 25 0 1 0 11917825 419188736 92961 1992294400 4194304 9819077 140735177029920 18446744073709551615 7324728 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19313/statm: 102341 92961 675 1374 0 100962 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 409364

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19349
/proc/meminfo: memFree=1091476/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=409300 CPUtime=1301.94
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 986238 0 0 0 129545 649 0 0 25 0 1 0 11917825 419123200 92681 1992294400 4194304 9819077 140735177029920 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19313/statm: 102325 92681 675 1374 0 100946 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 409300

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19350
/proc/meminfo: memFree=1091228/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=409200 CPUtime=1361.92
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 1028917 0 0 0 135514 678 0 0 25 0 1 0 11917825 419020800 92639 1992294400 4194304 9819077 140735177029920 18446744073709551615 6391514 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19313/statm: 102300 92639 675 1374 0 100921 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 409200

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19352
/proc/meminfo: memFree=1092592/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=409112 CPUtime=1421.92
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 1070520 0 0 0 141488 704 0 0 25 0 1 0 11917825 418930688 92782 1992294400 4194304 9819077 140735177029920 18446744073709551615 7309280 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19313/statm: 102278 92782 675 1374 0 100899 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 409112

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19353
/proc/meminfo: memFree=1092468/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=409076 CPUtime=1481.9
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 1112277 0 0 0 147460 730 0 0 25 0 1 0 11917825 418893824 92874 1992294400 4194304 9819077 140735177029920 18446744073709551615 6391486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19313/statm: 102269 92874 675 1374 0 100890 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 409076

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19355
/proc/meminfo: memFree=1092840/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=409196 CPUtime=1541.89
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 1155550 0 0 0 153431 758 0 0 25 0 1 0 11917825 419016704 92736 1992294400 4194304 9819077 140735177029920 18446744073709551615 7301627 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19313/statm: 102299 92736 675 1374 0 100920 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 409196

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19357
/proc/meminfo: memFree=1093088/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=409172 CPUtime=1601.86
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 1199766 0 0 0 159404 782 0 0 25 0 1 0 11917825 418992128 92783 1992294400 4194304 9819077 140735177029920 18446744073709551615 7291742 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19313/statm: 102293 92783 675 1374 0 100914 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 409172

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19358
/proc/meminfo: memFree=1092344/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=409196 CPUtime=1661.85
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 1246626 0 0 0 165375 810 0 0 25 0 1 0 11917825 419016704 92874 1992294400 4194304 9819077 140735177029920 18446744073709551615 7290930 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19313/statm: 102299 92874 675 1374 0 100920 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 409196

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19360
/proc/meminfo: memFree=1093088/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=409168 CPUtime=1721.83
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 1291885 0 0 0 171347 836 0 0 25 0 1 0 11917825 418988032 92794 1992294400 4194304 9819077 140735177029920 18446744073709551615 6198362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19313/statm: 102292 92794 675 1374 0 100913 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 409168

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19361
/proc/meminfo: memFree=1092220/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=409136 CPUtime=1781.82
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 1340111 0 0 0 177316 866 0 0 25 0 1 0 11917825 418955264 92947 1992294400 4194304 9819077 140735177029920 18446744073709551615 7318482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19313/statm: 102284 92947 675 1374 0 100905 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 409136



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19362
/proc/meminfo: memFree=1091600/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=409136 CPUtime=1800.02
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 1354845 0 0 0 179127 875 0 0 25 0 1 0 11917825 418955264 92997 1992294400 4194304 9819077 140735177029920 18446744073709551615 7292354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19313/statm: 102284 92997 675 1374 0 100905 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 409136

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -19313

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

[startup+1801.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19363
/proc/meminfo: memFree=1091468/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=409136 CPUtime=1801.01
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 1355117 0 0 0 179226 875 0 0 25 0 1 0 11917825 418955264 93269 1992294400 4194304 9819077 140735177029920 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19313/statm: 102284 93269 675 1374 0 100905 0
Current children cumulated CPU time (s) 1801.01
Current children cumulated vsize (KiB) 409136

[startup+1802.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19363
/proc/meminfo: memFree=1090352/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=399400 CPUtime=1801.81
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 1356465 0 0 0 179305 876 0 0 25 0 1 0 11917825 408985600 92108 1992294400 4194304 9819077 140735177029920 18446744073709551615 7228640 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19313/statm: 99850 92108 675 1374 0 98471 0
Current children cumulated CPU time (s) 1801.81
Current children cumulated vsize (KiB) 399400

[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19363
/proc/meminfo: memFree=1090352/2059040 swapFree=4192956/4192956
[pid=19313] ppid=19311 vsize=409168 CPUtime=1802.01
/proc/19313/stat : 19313 (pbscip.linux.x8) R 19311 19313 19102 0 -1 4202496 1357344 0 0 0 179325 876 0 0 25 0 1 0 11917825 418988032 92620 1992294400 4194304 9819077 140735177029920 18446744073709551615 6198376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19313/statm: 102292 92620 675 1374 0 100913 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 409168

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.55
CPU time (s): 1802.06
CPU user time (s): 1793.26
CPU system time (s): 8.80266
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 409880

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

runsolver used 2.92056 second user time and 8.5697 second system time

The end

Launcher Data 

Begin job on node047 at 2010-07-06 19:25:07
IDJOB=2684927
IDBENCH=73961
IDSOLVER=1168
FILE ID=node047/2684927-1278437106
PBS_JOBID= 11233481
Free space on /tmp= 62476 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-j12032_3-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-2684927-1278437106/watcher-2684927-1278437106 -o /tmp/evaluation-result-2684927-1278437106/solver-2684927-1278437106 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2684927-1278437106.opb -t 1800 -m 1800

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

MD5SUM BENCH= 336dbbe12a18bfd6b8d34c583a70b44b
RANDOM SEED=1382176139

node047.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.248
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.49
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.248
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.53
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1463764 kB
Buffers:        106572 kB
Cached:         357008 kB
SwapCached:          0 kB
Active:         175016 kB
Inactive:       348424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1463764 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            9620 kB
Writeback:           0 kB
AnonPages:       59816 kB
Mapped:          14388 kB
Slab:            49984 kB
PageTables:       4148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180668 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= 62468 MiB
End job on node047 at 2010-07-06 19:55:09