Trace number 2685025

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12058_4-sat.opb
MD5SUMda4c22aa3836e09c7cdc382a7b6da5de
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables35332
Total number of constraints122962
Number of constraints which are clauses122382
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints580
Minimum length of a constraint1
Maximum length of a constraint120
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 709
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-2685025-1278438431.opb>
2.20/2.24	c original problem has 35332 variables (35332 bin, 0 int, 0 impl, 0 cont) and 122962 constraints
2.20/2.24	c problem read
2.20/2.24	c No objective function, only one solution is needed.
2.20/2.24	c presolving settings loaded
2.79/2.89	c presolving:
8.48/8.53	c (round 1) 8238 del vars, 23943 del conss, 6557 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6764530 impls, 0 clqs
12.59/12.63	c (round 2) 14755 del vars, 53096 del conss, 12605 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6805255 impls, 0 clqs
13.69/13.76	c (round 3) 17324 del vars, 65165 del conss, 14178 chg bounds, 2 chg sides, 6 chg coeffs, 0 upgd conss, 6831013 impls, 0 clqs
14.19/14.27	c (round 4) 18621 del vars, 70414 del conss, 15070 chg bounds, 29 chg sides, 33 chg coeffs, 0 upgd conss, 6846993 impls, 0 clqs
14.59/14.63	c (round 5) 19531 del vars, 74027 del conss, 15717 chg bounds, 29 chg sides, 33 chg coeffs, 0 upgd conss, 6860255 impls, 0 clqs
14.78/14.84	c (round 6) 20216 del vars, 76760 del conss, 16087 chg bounds, 29 chg sides, 33 chg coeffs, 0 upgd conss, 6868270 impls, 0 clqs
14.88/14.97	c (round 7) 20487 del vars, 77962 del conss, 16212 chg bounds, 29 chg sides, 33 chg coeffs, 0 upgd conss, 6871828 impls, 0 clqs
14.98/15.08	c (round 8) 20612 del vars, 78486 del conss, 16264 chg bounds, 29 chg sides, 33 chg coeffs, 0 upgd conss, 6873485 impls, 0 clqs
15.09/15.16	c (round 9) 20665 del vars, 78719 del conss, 16287 chg bounds, 29 chg sides, 33 chg coeffs, 0 upgd conss, 6874114 impls, 0 clqs
15.18/15.23	c (round 10) 20686 del vars, 78814 del conss, 16297 chg bounds, 29 chg sides, 33 chg coeffs, 0 upgd conss, 6874333 impls, 0 clqs
15.29/15.30	c (round 11) 20699 del vars, 78864 del conss, 16303 chg bounds, 29 chg sides, 33 chg coeffs, 0 upgd conss, 6874460 impls, 0 clqs
15.29/15.37	c (round 12) 20706 del vars, 78892 del conss, 16305 chg bounds, 29 chg sides, 33 chg coeffs, 0 upgd conss, 6874501 impls, 0 clqs
15.39/15.43	c (round 13) 20707 del vars, 78900 del conss, 16305 chg bounds, 29 chg sides, 33 chg coeffs, 0 upgd conss, 6874505 impls, 0 clqs
15.89/15.91	c (round 14) 20707 del vars, 78901 del conss, 16305 chg bounds, 29 chg sides, 33 chg coeffs, 44061 upgd conss, 6874505 impls, 0 clqs
16.68/16.72	c (round 15) 20707 del vars, 78901 del conss, 16305 chg bounds, 48 chg sides, 182 chg coeffs, 44061 upgd conss, 6874505 impls, 0 clqs
16.88/16.95	c presolving (16 rounds):
16.88/16.95	c  20707 deleted vars, 78901 deleted constraints, 16305 tightened bounds, 0 added holes, 51 changed sides, 198 changed coefficients
16.88/16.95	c  6874505 implications, 3 cliques
16.88/16.95	c presolved problem has 14625 variables (14625 bin, 0 int, 0 impl, 0 cont) and 44061 constraints
16.88/16.95	c     558 constraints of type <knapsack>
16.88/16.95	c   43503 constraints of type <logicor>
16.88/16.95	c transformed objective value is always integral (scale: 1)
16.88/16.95	c Presolving Time: 13.51
16.88/16.95	c - non default parameters ----------------------------------------------------------------------
16.88/16.95	c # SCIP version 1.2.1.2
16.88/16.95	c 
16.88/16.95	c # frequency for displaying node information lines
16.88/16.95	c # [type: int, range: [-1,2147483647], default: 100]
16.88/16.95	c display/freq = 10000
16.88/16.95	c 
16.88/16.95	c # maximal time in seconds to run
16.88/16.95	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
16.88/16.95	c limits/time = 1797.76
16.88/16.95	c 
16.88/16.95	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
16.88/16.95	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
16.88/16.95	c limits/memory = 1620
16.88/16.95	c 
16.88/16.95	c # solving stops, if the given number of solutions were found (-1: no limit)
16.88/16.95	c # [type: int, range: [-1,2147483647], default: -1]
16.88/16.95	c limits/solutions = 1
16.88/16.95	c 
16.88/16.95	c # maximal number of separation rounds per node (-1: unlimited)
16.88/16.95	c # [type: int, range: [-1,2147483647], default: 5]
16.88/16.95	c separating/maxrounds = 1
16.88/16.95	c 
16.88/16.95	c # maximal number of separation rounds in the root node (-1: unlimited)
16.88/16.95	c # [type: int, range: [-1,2147483647], default: -1]
16.88/16.95	c separating/maxroundsroot = 5
16.88/16.95	c 
16.88/16.95	c # should presolving try to simplify inequalities
16.88/16.95	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
16.88/16.95	c constraints/linear/simplifyinequalities = TRUE
16.88/16.95	c 
16.88/16.95	c # should disaggregation of knapsack constraints be allowed in preprocessing?
16.88/16.95	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
16.88/16.95	c constraints/knapsack/disaggregation = FALSE
16.88/16.95	c 
16.88/16.95	c # should presolving try to simplify knapsacks
16.88/16.95	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
16.88/16.95	c constraints/knapsack/simplifyinequalities = TRUE
16.88/16.95	c 
16.88/16.95	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
16.88/16.95	c # [type: int, range: [-1,2147483647], default: -1]
16.88/16.95	c presolving/probing/maxrounds = 0
16.88/16.95	c 
16.88/16.95	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
16.88/16.95	c # [type: int, range: [-1,2147483647], default: 10]
16.88/16.95	c heuristics/coefdiving/freq = -1
16.88/16.95	c 
16.88/16.95	c # maximal fraction of diving LP iterations compared to node LP iterations
16.88/16.95	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.88/16.95	c heuristics/coefdiving/maxlpiterquot = 0.075
16.88/16.95	c 
16.88/16.95	c # additional number of allowed LP iterations
16.88/16.95	c # [type: int, range: [0,2147483647], default: 1000]
16.88/16.95	c heuristics/coefdiving/maxlpiterofs = 1500
16.88/16.95	c 
16.88/16.95	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
16.88/16.95	c # [type: int, range: [-1,2147483647], default: 30]
16.88/16.95	c heuristics/crossover/freq = -1
16.88/16.95	c 
16.88/16.95	c # number of nodes added to the contingent of the total nodes
16.88/16.95	c # [type: longint, range: [0,9223372036854775807], default: 500]
16.88/16.95	c heuristics/crossover/nodesofs = 750
16.88/16.95	c 
16.88/16.95	c # number of nodes without incumbent change that heuristic should wait
16.88/16.95	c # [type: longint, range: [0,9223372036854775807], default: 200]
16.88/16.95	c heuristics/crossover/nwaitingnodes = 100
16.88/16.95	c 
16.88/16.95	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
16.88/16.95	c # [type: real, range: [0,1], default: 0.1]
16.88/16.95	c heuristics/crossover/nodesquot = 0.15
16.88/16.95	c 
16.88/16.95	c # minimum percentage of integer variables that have to be fixed 
16.88/16.95	c # [type: real, range: [0,1], default: 0.666]
16.88/16.95	c heuristics/crossover/minfixingrate = 0.5
16.88/16.95	c 
16.88/16.95	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
16.88/16.95	c # [type: int, range: [-1,2147483647], default: 20]
16.88/16.95	c heuristics/feaspump/freq = -1
16.88/16.95	c 
16.88/16.95	c # additional number of allowed LP iterations
16.88/16.95	c # [type: int, range: [0,2147483647], default: 1000]
16.88/16.95	c heuristics/feaspump/maxlpiterofs = 2000
16.88/16.95	c 
16.88/16.95	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
16.88/16.95	c # [type: int, range: [-1,2147483647], default: 10]
16.88/16.95	c heuristics/fracdiving/freq = -1
16.88/16.95	c 
16.88/16.95	c # maximal fraction of diving LP iterations compared to node LP iterations
16.88/16.95	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.88/16.95	c heuristics/fracdiving/maxlpiterquot = 0.075
16.88/16.95	c 
16.88/16.95	c # additional number of allowed LP iterations
16.88/16.95	c # [type: int, range: [0,2147483647], default: 1000]
16.88/16.95	c heuristics/fracdiving/maxlpiterofs = 1500
16.88/16.95	c 
16.88/16.95	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
16.88/16.95	c # [type: int, range: [-1,2147483647], default: 10]
16.88/16.95	c heuristics/guideddiving/freq = -1
16.88/16.95	c 
16.88/16.95	c # maximal fraction of diving LP iterations compared to node LP iterations
16.88/16.95	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.88/16.95	c heuristics/guideddiving/maxlpiterquot = 0.075
16.88/16.95	c 
16.88/16.95	c # additional number of allowed LP iterations
16.88/16.95	c # [type: int, range: [0,2147483647], default: 1000]
16.88/16.95	c heuristics/guideddiving/maxlpiterofs = 1500
16.88/16.95	c 
16.88/16.95	c # maximal fraction of diving LP iterations compared to node LP iterations
16.88/16.95	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.88/16.95	c heuristics/intdiving/maxlpiterquot = 0.075
16.88/16.95	c 
16.88/16.95	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
16.88/16.95	c # [type: int, range: [-1,2147483647], default: 10]
16.88/16.95	c heuristics/intshifting/freq = -1
16.88/16.95	c 
16.88/16.95	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
16.88/16.95	c # [type: int, range: [-1,2147483647], default: 10]
16.88/16.95	c heuristics/linesearchdiving/freq = -1
16.88/16.95	c 
16.88/16.95	c # maximal fraction of diving LP iterations compared to node LP iterations
16.88/16.95	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.88/16.95	c heuristics/linesearchdiving/maxlpiterquot = 0.075
16.88/16.95	c 
16.88/16.95	c # additional number of allowed LP iterations
16.88/16.95	c # [type: int, range: [0,2147483647], default: 1000]
16.88/16.95	c heuristics/linesearchdiving/maxlpiterofs = 1500
16.88/16.95	c 
16.88/16.95	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
16.88/16.95	c # [type: int, range: [-1,2147483647], default: 1]
16.88/16.95	c heuristics/nlp/freq = -1
16.88/16.95	c 
16.88/16.95	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
16.88/16.95	c # [type: int, range: [-1,2147483647], default: 20]
16.88/16.95	c heuristics/objpscostdiving/freq = -1
16.88/16.95	c 
16.88/16.95	c # maximal fraction of diving LP iterations compared to total iteration number
16.88/16.95	c # [type: real, range: [0,1], default: 0.01]
16.88/16.95	c heuristics/objpscostdiving/maxlpiterquot = 0.015
16.88/16.95	c 
16.88/16.95	c # additional number of allowed LP iterations
16.88/16.95	c # [type: int, range: [0,2147483647], default: 1000]
16.88/16.95	c heuristics/objpscostdiving/maxlpiterofs = 1500
16.88/16.95	c 
16.88/16.95	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
16.88/16.95	c # [type: int, range: [-1,2147483647], default: 1]
16.88/16.95	c heuristics/oneopt/freq = -1
16.88/16.95	c 
16.88/16.95	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
16.88/16.95	c # [type: int, range: [-1,2147483647], default: 10]
16.88/16.95	c heuristics/pscostdiving/freq = -1
16.88/16.95	c 
16.88/16.95	c # maximal fraction of diving LP iterations compared to node LP iterations
16.88/16.95	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.88/16.95	c heuristics/pscostdiving/maxlpiterquot = 0.075
16.88/16.95	c 
16.88/16.95	c # additional number of allowed LP iterations
16.88/16.95	c # [type: int, range: [0,2147483647], default: 1000]
16.88/16.95	c heuristics/pscostdiving/maxlpiterofs = 1500
16.88/16.95	c 
16.88/16.95	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
16.88/16.95	c # [type: int, range: [-1,2147483647], default: 0]
16.88/16.95	c heuristics/rens/freq = -1
16.88/16.95	c 
16.88/16.95	c # minimum percentage of integer variables that have to be fixable 
16.88/16.95	c # [type: real, range: [0,1], default: 0.5]
16.88/16.95	c heuristics/rens/minfixingrate = 0.3
16.88/16.95	c 
16.88/16.95	c # number of nodes added to the contingent of the total nodes
16.88/16.95	c # [type: longint, range: [0,9223372036854775807], default: 500]
16.88/16.95	c heuristics/rens/nodesofs = 2000
16.88/16.95	c 
16.88/16.95	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
16.88/16.95	c # [type: int, range: [-1,2147483647], default: 20]
16.88/16.95	c heuristics/rootsoldiving/freq = -1
16.88/16.95	c 
16.88/16.95	c # maximal fraction of diving LP iterations compared to node LP iterations
16.88/16.95	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
16.88/16.95	c heuristics/rootsoldiving/maxlpiterquot = 0.015
16.88/16.95	c 
16.88/16.95	c # additional number of allowed LP iterations
16.88/16.95	c # [type: int, range: [0,2147483647], default: 1000]
16.88/16.95	c heuristics/rootsoldiving/maxlpiterofs = 1500
16.88/16.95	c 
16.88/16.95	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
16.88/16.95	c # [type: int, range: [-1,2147483647], default: 1]
16.88/16.95	c heuristics/rounding/freq = -1
16.88/16.95	c 
16.88/16.95	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
16.88/16.95	c # [type: int, range: [-1,2147483647], default: 10]
16.88/16.95	c heuristics/shifting/freq = -1
16.88/16.95	c 
16.88/16.95	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
16.88/16.95	c # [type: int, range: [-1,2147483647], default: 1]
16.88/16.95	c heuristics/simplerounding/freq = -1
16.88/16.95	c 
16.88/16.95	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
16.88/16.95	c # [type: int, range: [-1,2147483647], default: 0]
16.88/16.95	c heuristics/trivial/freq = -1
16.88/16.95	c 
16.88/16.95	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
16.88/16.95	c # [type: int, range: [-1,2147483647], default: 1]
16.88/16.95	c heuristics/trysol/freq = -1
16.88/16.95	c 
16.88/16.95	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
16.88/16.95	c # [type: int, range: [-1,2147483647], default: 10]
16.88/16.95	c heuristics/veclendiving/freq = -1
16.88/16.95	c 
16.88/16.95	c # maximal fraction of diving LP iterations compared to node LP iterations
16.88/16.95	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.88/16.95	c heuristics/veclendiving/maxlpiterquot = 0.075
16.88/16.95	c 
16.88/16.95	c # additional number of allowed LP iterations
16.88/16.95	c # [type: int, range: [0,2147483647], default: 1000]
16.88/16.95	c heuristics/veclendiving/maxlpiterofs = 1500
16.88/16.95	c 
16.88/16.95	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
16.88/16.95	c # [type: int, range: [-1,2147483647], default: 1]
16.88/16.95	c heuristics/zirounding/freq = -1
16.88/16.95	c 
16.88/16.95	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
16.88/16.95	c # [type: int, range: [-1,2147483647], default: 0]
16.88/16.95	c separating/cmir/freq = -1
16.88/16.95	c 
16.88/16.95	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
16.88/16.95	c # [type: int, range: [-1,2147483647], default: 0]
16.88/16.95	c separating/flowcover/freq = -1
16.88/16.95	c 
16.88/16.95	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
16.88/16.95	c # [type: int, range: [-1,2147483647], default: -1]
16.88/16.95	c separating/rapidlearning/freq = 0
16.88/16.95	c 
16.88/16.95	c -----------------------------------------------------------------------------------------------
16.88/16.95	c start solving
16.88/16.97	c 
457.98/458.19	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
457.98/458.19	c   453s|     1 |     0 | 36199 |     - | 228M|   0 |9636 |  14k|  44k|  14k|  44k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1742.26/1742.79	c  1733s|     1 |     0 | 94275 |     - | 228M|   0 |  10k|  14k|  44k|  14k|  44k|  10 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1800.06/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-2685025-1278438431/watcher-2685025-1278438431 -o /tmp/evaluation-result-2685025-1278438431/solver-2685025-1278438431 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2685025-1278438431.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 21546
/proc/meminfo: memFree=1801960/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=9288 CPUtime=0
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 1067 0 0 0 0 0 0 0 19 0 1 0 12049567 9510912 988 1992294400 4194304 9819077 140733981449360 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21546/statm: 2322 999 371 1374 0 943 0

[startup+0.088067 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21546
/proc/meminfo: memFree=1801960/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=17136 CPUtime=0.08
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 3208 0 0 0 7 1 0 0 21 0 1 0 12049567 17547264 3129 1992294400 4194304 9819077 140733981449360 18446744073709551615 5648823 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21546/statm: 4284 3129 386 1374 0 2905 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 17136

[startup+0.101069 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21546
/proc/meminfo: memFree=1801960/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=18572 CPUtime=0.09
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 3398 0 0 0 8 1 0 0 21 0 1 0 12049567 19017728 3319 1992294400 4194304 9819077 140733981449360 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21546/statm: 4643 3331 386 1374 0 3264 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18572

[startup+0.301085 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21546
/proc/meminfo: memFree=1801960/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=29572 CPUtime=0.29
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 6345 0 0 0 27 2 0 0 21 0 1 0 12049567 30281728 6257 1992294400 4194304 9819077 140733981449360 18446744073709551615 8667853 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21546/statm: 7393 6257 386 1374 0 6014 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29572

[startup+0.70112 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 21546
/proc/meminfo: memFree=1801960/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=37388 CPUtime=0.69
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 8293 0 0 0 66 3 0 0 22 0 1 0 12049567 38285312 8205 1992294400 4194304 9819077 140733981449360 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21546/statm: 9347 8205 386 1374 0 7968 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37388

[startup+1.50119 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21547
/proc/meminfo: memFree=1763140/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=59516 CPUtime=1.49
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 13821 0 0 0 144 5 0 0 25 0 1 0 12049567 60944384 13733 1992294400 4194304 9819077 140733981449360 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21546/statm: 14879 13733 386 1374 0 13500 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59516

[startup+3.10133 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21547
/proc/meminfo: memFree=1729288/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=202216 CPUtime=3.09
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 49304 0 0 0 292 17 0 0 25 0 1 0 12049567 207069184 48757 1992294400 4194304 9819077 140733981449360 18446744073709551615 5969699 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21546/statm: 50554 48757 486 1374 0 49175 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 202216

[startup+6.30061 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21547
/proc/meminfo: memFree=1507824/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=330712 CPUtime=6.29
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 81077 0 0 0 595 34 0 0 25 0 1 0 12049567 338649088 80530 1992294400 4194304 9819077 140733981449360 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21546/statm: 82678 80530 486 1374 0 81299 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 330712

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21547
/proc/meminfo: memFree=1439872/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=378160 CPUtime=12.69
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 91620 0 0 0 1219 50 0 0 25 0 1 0 12049567 387235840 90559 1992294400 4194304 9819077 140733981449360 18446744073709551615 5966279 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21546/statm: 94540 90559 490 1374 0 93161 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 378160

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21547
/proc/meminfo: memFree=1395604/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=447784 CPUtime=25.49
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 131750 0 0 0 2445 104 0 0 25 0 1 0 12049567 458530816 101921 1992294400 4194304 9819077 140733981449360 18446744073709551615 7295860 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21546/statm: 111946 101921 665 1374 0 110567 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 447784

[startup+51.1006 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21547
/proc/meminfo: memFree=1394240/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=454600 CPUtime=51.07
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 156790 0 0 0 4988 119 0 0 25 0 1 0 12049567 465510400 102331 1992294400 4194304 9819077 140733981449360 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21546/statm: 113650 102331 665 1374 0 112271 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 454600

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21549
/proc/meminfo: memFree=1388040/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=456872 CPUtime=102.28
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 192011 0 0 0 10086 142 0 0 25 0 1 0 12049567 467836928 103776 1992294400 4194304 9819077 140733981449360 18446744073709551615 7290944 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21546/statm: 114218 103776 665 1374 0 112839 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 456872

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21551
/proc/meminfo: memFree=1389032/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=457932 CPUtime=162.25
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 228157 0 0 0 16061 164 0 0 25 0 1 0 12049567 468922368 103794 1992294400 4194304 9819077 140733981449360 18446744073709551615 7290971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21546/statm: 114483 103794 665 1374 0 113104 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 457932

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21553
/proc/meminfo: memFree=1384568/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=458316 CPUtime=222.23
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 263173 0 0 0 22035 188 0 0 25 0 1 0 12049567 469315584 104643 1992294400 4194304 9819077 140733981449360 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21546/statm: 114579 104643 665 1374 0 113200 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 458316

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21554
/proc/meminfo: memFree=1389528/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=458440 CPUtime=282.22
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 302178 0 0 0 28013 209 0 0 25 0 1 0 12049567 469442560 103672 1992294400 4194304 9819077 140733981449360 18446744073709551615 7308997 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21546/statm: 114610 103672 665 1374 0 113231 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 458440

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21555
/proc/meminfo: memFree=1385188/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=458536 CPUtime=342.2
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 338299 0 0 0 33989 231 0 0 25 0 1 0 12049567 469540864 104512 1992294400 4194304 9819077 140733981449360 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21546/statm: 114634 104512 665 1374 0 113255 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 458536

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21557
/proc/meminfo: memFree=1389528/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=458660 CPUtime=402.19
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 378023 0 0 0 39964 255 0 0 25 0 1 0 12049567 469667840 103490 1992294400 4194304 9819077 140733981449360 18446744073709551615 6198376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21546/statm: 114665 103490 665 1374 0 113286 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 458660

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21559
/proc/meminfo: memFree=1391760/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=458140 CPUtime=462.18
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 418468 0 0 0 45937 281 0 0 25 0 1 0 12049567 469135360 102700 1992294400 4194304 9819077 140733981449360 18446744073709551615 7311727 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21546/statm: 114535 102700 681 1374 0 113156 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 458140

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21561
/proc/meminfo: memFree=1391760/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=458332 CPUtime=522.17
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 418555 0 0 0 51932 285 0 0 25 0 1 0 12049567 469331968 102777 1992294400 4194304 9819077 140733981449360 18446744073709551615 6043636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21546/statm: 114583 102777 675 1374 0 113204 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 458332

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21562
/proc/meminfo: memFree=1391760/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=458344 CPUtime=582.15
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 418601 0 0 0 57925 290 0 0 25 0 1 0 12049567 469344256 102779 1992294400 4194304 9819077 140733981449360 18446744073709551615 7326284 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21546/statm: 114586 102779 676 1374 0 113207 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 458344

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21563
/proc/meminfo: memFree=1391264/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=458796 CPUtime=642.14
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 418717 0 0 0 63918 296 0 0 25 0 1 0 12049567 469807104 102895 1992294400 4194304 9819077 140733981449360 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21546/statm: 114699 102895 676 1374 0 113320 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 458796

[startup+702.301 s]

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

/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 639228 0 0 0 105737 465 0 0 25 0 1 0 12049567 486395904 107503 1992294400 4194304 9819077 140733981449360 18446744073709551615 7293502 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21546/statm: 118749 107503 693 1374 0 117370 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 474996

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21586
/proc/meminfo: memFree=1376260/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=474964 CPUtime=1122.01
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 678578 0 0 0 111716 485 0 0 25 0 1 0 12049567 486363136 106509 1992294400 4194304 9819077 140733981449360 18446744073709551615 7311252 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21546/statm: 118741 106509 693 1374 0 117362 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 474964

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21587
/proc/meminfo: memFree=1372416/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=474992 CPUtime=1181.99
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 715229 0 0 0 117691 508 0 0 25 0 1 0 12049567 486391808 107517 1992294400 4194304 9819077 140733981449360 18446744073709551615 6697183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21546/statm: 118748 107517 693 1374 0 117369 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 474992

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21588
/proc/meminfo: memFree=1368076/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=474928 CPUtime=1241.98
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 755839 0 0 0 123668 530 0 0 25 0 1 0 12049567 486326272 106262 1992294400 4194304 9819077 140733981449360 18446744073709551615 7293542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21546/statm: 118732 106262 693 1374 0 117353 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 474928

[startup+1302.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 21590
/proc/meminfo: memFree=1371052/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=474836 CPUtime=1301.97
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 792978 0 0 0 129645 552 0 0 25 0 1 0 12049567 486232064 107739 1992294400 4194304 9819077 140733981449360 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21546/statm: 118709 107739 693 1374 0 117330 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 474836

[startup+1362.3 s]
/proc/loadavg: 1.09 1.03 1.00 2/107 21592
/proc/meminfo: memFree=1375764/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=474840 CPUtime=1361.95
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 833459 0 0 0 135622 573 0 0 25 0 1 0 12049567 486236160 106769 1992294400 4194304 9819077 140733981449360 18446744073709551615 7290936 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21546/statm: 118710 106769 693 1374 0 117331 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 474840

[startup+1422.31 s]
/proc/loadavg: 1.09 1.04 1.00 2/107 21594
/proc/meminfo: memFree=1379236/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=474840 CPUtime=1421.95
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 873550 0 0 0 141598 597 0 0 25 0 1 0 12049567 486236160 106172 1992294400 4194304 9819077 140733981449360 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21546/statm: 118710 106172 693 1374 0 117331 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 474840

[startup+1482.3 s]
/proc/loadavg: 1.09 1.04 1.00 2/107 21595
/proc/meminfo: memFree=1371300/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=474740 CPUtime=1481.92
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 910461 0 0 0 147574 618 0 0 25 0 1 0 12049567 486133760 107754 1992294400 4194304 9819077 140733981449360 18446744073709551615 6199042 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21546/statm: 118685 107754 693 1374 0 117306 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 474740

[startup+1542.3 s]
/proc/loadavg: 1.13 1.06 1.01 2/107 21596
/proc/meminfo: memFree=1370308/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=474840 CPUtime=1541.91
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 951276 0 0 0 153549 642 0 0 25 0 1 0 12049567 486236160 107968 1992294400 4194304 9819077 140733981449360 18446744073709551615 7293523 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21546/statm: 118710 107968 693 1374 0 117331 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 474840

[startup+1602.3 s]
/proc/loadavg: 1.05 1.05 1.00 2/107 21598
/proc/meminfo: memFree=1371052/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=474940 CPUtime=1601.9
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 991180 0 0 0 159524 666 0 0 25 0 1 0 12049567 486338560 107862 1992294400 4194304 9819077 140733981449360 18446744073709551615 7294746 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21546/statm: 118735 107862 693 1374 0 117356 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 474940

[startup+1662.3 s]
/proc/loadavg: 1.02 1.04 1.00 2/107 21600
/proc/meminfo: memFree=1376260/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=474992 CPUtime=1661.88
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 1035065 0 0 0 165499 689 0 0 25 0 1 0 12049567 486391808 106472 1992294400 4194304 9819077 140733981449360 18446744073709551615 7290952 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21546/statm: 118748 106472 693 1374 0 117369 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 474992

[startup+1722.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 21602
/proc/meminfo: memFree=1374524/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=475060 CPUtime=1721.87
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 1076638 0 0 0 171473 714 0 0 25 0 1 0 12049567 486461440 107083 1992294400 4194304 9819077 140733981449360 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21546/statm: 118765 107083 693 1374 0 117386 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 475060

[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 21603
/proc/meminfo: memFree=1373160/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=475092 CPUtime=1781.85
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 1096680 0 0 0 177459 726 0 0 25 0 1 0 12049567 486494208 107155 1992294400 4194304 9819077 140733981449360 18446744073709551615 7311946 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21546/statm: 118773 107155 693 1374 0 117394 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 475092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 21604
/proc/meminfo: memFree=1373160/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=475092 CPUtime=1800.06
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 1096680 0 0 0 179278 728 0 0 25 0 1 0 12049567 486494208 107155 1992294400 4194304 9819077 140733981449360 18446744073709551615 7481169 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21546/statm: 118773 107155 693 1374 0 117394 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 475092

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -21546

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 21605
/proc/meminfo: memFree=1374888/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=475264 CPUtime=1800.94
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 1103943 0 0 0 179364 730 0 0 25 0 1 0 12049567 486670336 107364 1992294400 4194304 9819077 140733981449360 18446744073709551615 6391593 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21546/statm: 118816 107364 693 1374 0 117437 0
Current children cumulated CPU time (s) 1800.94
Current children cumulated vsize (KiB) 475264

[startup+1802.2 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 21605
/proc/meminfo: memFree=1372160/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=475264 CPUtime=1801.74
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 1104162 0 0 0 179444 730 0 0 25 0 1 0 12049567 486670336 107583 1992294400 4194304 9819077 140733981449360 18446744073709551615 6199022 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21546/statm: 118816 107583 693 1374 0 117437 0
Current children cumulated CPU time (s) 1801.74
Current children cumulated vsize (KiB) 475264

[startup+1802.4 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 21605
/proc/meminfo: memFree=1372160/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=475264 CPUtime=1801.94
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 1104237 0 0 0 179464 730 0 0 25 0 1 0 12049567 486670336 107658 1992294400 4194304 9819077 140733981449360 18446744073709551615 6656800 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21546/statm: 118816 107658 693 1374 0 117437 0
Current children cumulated CPU time (s) 1801.94
Current children cumulated vsize (KiB) 475264

[startup+1802.5 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 21605
/proc/meminfo: memFree=1372160/2059040 swapFree=4192956/4192956
[pid=21546] ppid=21544 vsize=475264 CPUtime=1802.04
/proc/21546/stat : 21546 (pbscip.linux.x8) R 21544 21546 21224 0 -1 4202496 1104276 0 0 0 179474 730 0 0 25 0 1 0 12049567 486670336 107697 1992294400 4194304 9819077 140733981449360 18446744073709551615 6198314 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21546/statm: 118816 107697 693 1374 0 117437 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 475264

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.55
CPU time (s): 1802.11
CPU user time (s): 1794.76
CPU system time (s): 7.35088
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (KiB): 475508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.76
system time used= 7.35088
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1104276
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= 5
involuntary context switches= 20277

runsolver used 3.04354 second user time and 8.44971 second system time

The end

Launcher Data 

Begin job on node055 at 2010-07-06 19:47:11
IDJOB=2685025
IDBENCH=74310
IDSOLVER=1168
FILE ID=node055/2685025-1278438431
PBS_JOBID= 11233487
Free space on /tmp= 62572 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-j12058_4-sat.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-2685025-1278438431/watcher-2685025-1278438431 -o /tmp/evaluation-result-2685025-1278438431/solver-2685025-1278438431 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2685025-1278438431.opb -t 1800 -m 1800

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

MD5SUM BENCH= da4c22aa3836e09c7cdc382a7b6da5de
RANDOM SEED=1067229626

node055.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.224
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.44
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.224
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1802488 kB
Buffers:         17896 kB
Cached:         109348 kB
SwapCached:          0 kB
Active:          99668 kB
Inactive:        87416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1802488 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           10176 kB
Writeback:           0 kB
AnonPages:       59712 kB
Mapped:          14392 kB
Slab:            47612 kB
PageTables:       4108 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   178368 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= 62568 MiB
End job on node055 at 2010-07-06 20:17:14