Trace number 2685026

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1802.07 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: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2685026-1278438444.opb>
2.09/2.11	c original problem has 35332 variables (35332 bin, 0 int, 0 impl, 0 cont) and 122962 constraints
2.09/2.11	c problem read
2.09/2.11	c No objective function, only one solution is needed.
2.09/2.11	c presolving settings loaded
2.69/2.76	c presolving:
7.99/8.09	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.09/12.13	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.10/13.17	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
13.58/13.66	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
13.98/14.01	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.20/14.21	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.29/14.34	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.39/14.44	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
14.48/14.52	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
14.48/14.59	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
14.58/14.65	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
14.69/14.71	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
14.69/14.78	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.19/15.26	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
15.99/16.03	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.18/16.25	c presolving (16 rounds):
16.18/16.25	c  20707 deleted vars, 78901 deleted constraints, 16305 tightened bounds, 0 added holes, 51 changed sides, 198 changed coefficients
16.18/16.25	c  6874505 implications, 3 cliques
16.18/16.25	c presolved problem has 14625 variables (14625 bin, 0 int, 0 impl, 0 cont) and 44061 constraints
16.18/16.25	c     558 constraints of type <knapsack>
16.18/16.25	c   43503 constraints of type <logicor>
16.18/16.25	c transformed objective value is always integral (scale: 1)
16.18/16.25	c Presolving Time: 12.95
16.18/16.25	c - non default parameters ----------------------------------------------------------------------
16.18/16.25	c # SCIP version 1.2.1.2
16.18/16.25	c 
16.18/16.25	c # frequency for displaying node information lines
16.18/16.25	c # [type: int, range: [-1,2147483647], default: 100]
16.18/16.25	c display/freq = 10000
16.18/16.25	c 
16.18/16.25	c # maximal time in seconds to run
16.18/16.25	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
16.18/16.25	c limits/time = 1797.89
16.18/16.25	c 
16.18/16.25	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
16.18/16.25	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
16.18/16.25	c limits/memory = 1620
16.18/16.25	c 
16.18/16.25	c # solving stops, if the given number of solutions were found (-1: no limit)
16.18/16.25	c # [type: int, range: [-1,2147483647], default: -1]
16.18/16.25	c limits/solutions = 1
16.18/16.25	c 
16.18/16.25	c # maximal number of separation rounds per node (-1: unlimited)
16.18/16.25	c # [type: int, range: [-1,2147483647], default: 5]
16.18/16.25	c separating/maxrounds = 1
16.18/16.25	c 
16.18/16.25	c # maximal number of separation rounds in the root node (-1: unlimited)
16.18/16.25	c # [type: int, range: [-1,2147483647], default: -1]
16.18/16.25	c separating/maxroundsroot = 5
16.18/16.25	c 
16.18/16.25	c # should presolving try to simplify inequalities
16.18/16.25	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
16.18/16.25	c constraints/linear/simplifyinequalities = TRUE
16.18/16.25	c 
16.18/16.25	c # should disaggregation of knapsack constraints be allowed in preprocessing?
16.18/16.25	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
16.18/16.25	c constraints/knapsack/disaggregation = FALSE
16.18/16.25	c 
16.18/16.25	c # should presolving try to simplify knapsacks
16.18/16.25	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
16.18/16.25	c constraints/knapsack/simplifyinequalities = TRUE
16.18/16.25	c 
16.18/16.25	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
16.18/16.25	c # [type: int, range: [-1,2147483647], default: -1]
16.18/16.25	c presolving/probing/maxrounds = 0
16.18/16.25	c 
16.18/16.25	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
16.18/16.25	c # [type: int, range: [-1,2147483647], default: 10]
16.18/16.25	c heuristics/coefdiving/freq = -1
16.18/16.25	c 
16.18/16.25	c # maximal fraction of diving LP iterations compared to node LP iterations
16.18/16.25	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.18/16.25	c heuristics/coefdiving/maxlpiterquot = 0.075
16.18/16.25	c 
16.18/16.25	c # additional number of allowed LP iterations
16.18/16.25	c # [type: int, range: [0,2147483647], default: 1000]
16.18/16.25	c heuristics/coefdiving/maxlpiterofs = 1500
16.18/16.25	c 
16.18/16.25	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
16.18/16.25	c # [type: int, range: [-1,2147483647], default: 30]
16.18/16.25	c heuristics/crossover/freq = -1
16.18/16.25	c 
16.18/16.25	c # number of nodes added to the contingent of the total nodes
16.18/16.25	c # [type: longint, range: [0,9223372036854775807], default: 500]
16.18/16.25	c heuristics/crossover/nodesofs = 750
16.18/16.25	c 
16.18/16.25	c # number of nodes without incumbent change that heuristic should wait
16.18/16.25	c # [type: longint, range: [0,9223372036854775807], default: 200]
16.18/16.25	c heuristics/crossover/nwaitingnodes = 100
16.18/16.25	c 
16.18/16.25	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
16.18/16.25	c # [type: real, range: [0,1], default: 0.1]
16.18/16.25	c heuristics/crossover/nodesquot = 0.15
16.18/16.25	c 
16.18/16.25	c # minimum percentage of integer variables that have to be fixed 
16.18/16.25	c # [type: real, range: [0,1], default: 0.666]
16.18/16.25	c heuristics/crossover/minfixingrate = 0.5
16.18/16.25	c 
16.18/16.25	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
16.18/16.25	c # [type: int, range: [-1,2147483647], default: 20]
16.18/16.25	c heuristics/feaspump/freq = -1
16.18/16.25	c 
16.18/16.25	c # additional number of allowed LP iterations
16.18/16.25	c # [type: int, range: [0,2147483647], default: 1000]
16.18/16.25	c heuristics/feaspump/maxlpiterofs = 2000
16.18/16.25	c 
16.18/16.25	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
16.18/16.25	c # [type: int, range: [-1,2147483647], default: 10]
16.18/16.25	c heuristics/fracdiving/freq = -1
16.18/16.25	c 
16.18/16.25	c # maximal fraction of diving LP iterations compared to node LP iterations
16.18/16.25	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.18/16.25	c heuristics/fracdiving/maxlpiterquot = 0.075
16.18/16.25	c 
16.18/16.25	c # additional number of allowed LP iterations
16.18/16.25	c # [type: int, range: [0,2147483647], default: 1000]
16.18/16.25	c heuristics/fracdiving/maxlpiterofs = 1500
16.18/16.25	c 
16.18/16.25	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
16.18/16.25	c # [type: int, range: [-1,2147483647], default: 10]
16.18/16.25	c heuristics/guideddiving/freq = -1
16.18/16.25	c 
16.18/16.25	c # maximal fraction of diving LP iterations compared to node LP iterations
16.18/16.25	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.18/16.25	c heuristics/guideddiving/maxlpiterquot = 0.075
16.18/16.25	c 
16.18/16.25	c # additional number of allowed LP iterations
16.18/16.25	c # [type: int, range: [0,2147483647], default: 1000]
16.18/16.25	c heuristics/guideddiving/maxlpiterofs = 1500
16.18/16.25	c 
16.18/16.25	c # maximal fraction of diving LP iterations compared to node LP iterations
16.18/16.25	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.18/16.25	c heuristics/intdiving/maxlpiterquot = 0.075
16.18/16.25	c 
16.18/16.25	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
16.18/16.25	c # [type: int, range: [-1,2147483647], default: 10]
16.18/16.25	c heuristics/intshifting/freq = -1
16.18/16.25	c 
16.18/16.25	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
16.18/16.25	c # [type: int, range: [-1,2147483647], default: 10]
16.18/16.25	c heuristics/linesearchdiving/freq = -1
16.18/16.25	c 
16.18/16.25	c # maximal fraction of diving LP iterations compared to node LP iterations
16.18/16.25	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.18/16.25	c heuristics/linesearchdiving/maxlpiterquot = 0.075
16.18/16.25	c 
16.18/16.25	c # additional number of allowed LP iterations
16.18/16.25	c # [type: int, range: [0,2147483647], default: 1000]
16.18/16.25	c heuristics/linesearchdiving/maxlpiterofs = 1500
16.18/16.25	c 
16.18/16.25	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
16.18/16.25	c # [type: int, range: [-1,2147483647], default: 1]
16.18/16.25	c heuristics/nlp/freq = -1
16.18/16.25	c 
16.18/16.25	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
16.18/16.25	c # [type: int, range: [-1,2147483647], default: 20]
16.18/16.25	c heuristics/objpscostdiving/freq = -1
16.18/16.25	c 
16.18/16.25	c # maximal fraction of diving LP iterations compared to total iteration number
16.18/16.25	c # [type: real, range: [0,1], default: 0.01]
16.18/16.25	c heuristics/objpscostdiving/maxlpiterquot = 0.015
16.18/16.25	c 
16.18/16.25	c # additional number of allowed LP iterations
16.18/16.25	c # [type: int, range: [0,2147483647], default: 1000]
16.18/16.25	c heuristics/objpscostdiving/maxlpiterofs = 1500
16.18/16.25	c 
16.18/16.25	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
16.18/16.25	c # [type: int, range: [-1,2147483647], default: 1]
16.18/16.25	c heuristics/oneopt/freq = -1
16.18/16.25	c 
16.18/16.25	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
16.18/16.25	c # [type: int, range: [-1,2147483647], default: 10]
16.18/16.25	c heuristics/pscostdiving/freq = -1
16.18/16.25	c 
16.18/16.25	c # maximal fraction of diving LP iterations compared to node LP iterations
16.18/16.25	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.18/16.25	c heuristics/pscostdiving/maxlpiterquot = 0.075
16.18/16.25	c 
16.18/16.25	c # additional number of allowed LP iterations
16.18/16.25	c # [type: int, range: [0,2147483647], default: 1000]
16.18/16.25	c heuristics/pscostdiving/maxlpiterofs = 1500
16.18/16.25	c 
16.18/16.25	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
16.18/16.25	c # [type: int, range: [-1,2147483647], default: 0]
16.18/16.25	c heuristics/rens/freq = -1
16.18/16.25	c 
16.18/16.25	c # minimum percentage of integer variables that have to be fixable 
16.18/16.25	c # [type: real, range: [0,1], default: 0.5]
16.18/16.25	c heuristics/rens/minfixingrate = 0.3
16.18/16.25	c 
16.18/16.25	c # number of nodes added to the contingent of the total nodes
16.18/16.25	c # [type: longint, range: [0,9223372036854775807], default: 500]
16.18/16.25	c heuristics/rens/nodesofs = 2000
16.18/16.25	c 
16.18/16.25	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
16.18/16.25	c # [type: int, range: [-1,2147483647], default: 20]
16.18/16.25	c heuristics/rootsoldiving/freq = -1
16.18/16.25	c 
16.18/16.25	c # maximal fraction of diving LP iterations compared to node LP iterations
16.18/16.25	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
16.18/16.25	c heuristics/rootsoldiving/maxlpiterquot = 0.015
16.18/16.25	c 
16.18/16.25	c # additional number of allowed LP iterations
16.18/16.25	c # [type: int, range: [0,2147483647], default: 1000]
16.18/16.25	c heuristics/rootsoldiving/maxlpiterofs = 1500
16.18/16.25	c 
16.18/16.25	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
16.18/16.25	c # [type: int, range: [-1,2147483647], default: 1]
16.18/16.25	c heuristics/rounding/freq = -1
16.18/16.25	c 
16.18/16.25	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
16.18/16.25	c # [type: int, range: [-1,2147483647], default: 10]
16.18/16.25	c heuristics/shifting/freq = -1
16.18/16.25	c 
16.18/16.25	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
16.18/16.25	c # [type: int, range: [-1,2147483647], default: 1]
16.18/16.25	c heuristics/simplerounding/freq = -1
16.18/16.25	c 
16.18/16.25	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
16.18/16.25	c # [type: int, range: [-1,2147483647], default: 0]
16.18/16.25	c heuristics/trivial/freq = -1
16.18/16.25	c 
16.18/16.25	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
16.18/16.25	c # [type: int, range: [-1,2147483647], default: 1]
16.18/16.25	c heuristics/trysol/freq = -1
16.18/16.25	c 
16.18/16.25	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
16.18/16.25	c # [type: int, range: [-1,2147483647], default: 10]
16.18/16.25	c heuristics/veclendiving/freq = -1
16.18/16.25	c 
16.18/16.25	c # maximal fraction of diving LP iterations compared to node LP iterations
16.18/16.25	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.18/16.25	c heuristics/veclendiving/maxlpiterquot = 0.075
16.18/16.25	c 
16.18/16.25	c # additional number of allowed LP iterations
16.18/16.25	c # [type: int, range: [0,2147483647], default: 1000]
16.18/16.25	c heuristics/veclendiving/maxlpiterofs = 1500
16.18/16.25	c 
16.18/16.25	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
16.18/16.25	c # [type: int, range: [-1,2147483647], default: 1]
16.18/16.25	c heuristics/zirounding/freq = -1
16.18/16.25	c 
16.18/16.25	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
16.18/16.25	c # [type: int, range: [-1,2147483647], default: 0]
16.18/16.25	c separating/cmir/freq = -1
16.18/16.25	c 
16.18/16.25	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
16.18/16.25	c # [type: int, range: [-1,2147483647], default: 0]
16.18/16.25	c separating/flowcover/freq = -1
16.18/16.25	c 
16.18/16.25	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
16.18/16.25	c # [type: int, range: [-1,2147483647], default: -1]
16.18/16.25	c separating/rapidlearning/freq = 0
16.18/16.25	c 
16.18/16.25	c -----------------------------------------------------------------------------------------------
16.18/16.25	c start solving
16.18/16.26	c 
445.47/445.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
445.47/445.69	c   440s|     1 |     0 | 30743 |     - | 228M|   0 |9193 |  14k|  44k|  14k|  44k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1272.45/1272.85	c  1245s|     1 |     0 | 60968 |     - | 228M|   0 |9113 |  14k|  44k|  14k|  44k|  30 |   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-2685026-1278438444/watcher-2685026-1278438444 -o /tmp/evaluation-result-2685026-1278438444/solver-2685026-1278438444 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2685026-1278438444.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/105 19434
/proc/meminfo: memFree=1448368/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=7724 CPUtime=0
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 1095 0 0 0 0 0 0 0 25 0 1 0 12053068 7909376 1014 1992294400 4194304 8223781 140736365421648 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19434/statm: 1931 1024 348 984 0 944 0

[startup+0.08245 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 19434
/proc/meminfo: memFree=1448368/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=15580 CPUtime=0.07
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 3190 0 0 0 6 1 0 0 25 0 1 0 12053068 15953920 3109 1992294400 4194304 8223781 140736365421648 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19434/statm: 3895 3109 363 984 0 2908 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15580

[startup+0.100452 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 19434
/proc/meminfo: memFree=1448368/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=17016 CPUtime=0.09
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 3550 0 0 0 8 1 0 0 25 0 1 0 12053068 17424384 3469 1992294400 4194304 8223781 140736365421648 18446744073709551615 4680123 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19434/statm: 4254 3469 363 984 0 3267 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17016

[startup+0.300473 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 19434
/proc/meminfo: memFree=1448368/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=28016 CPUtime=0.29
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 6329 0 0 0 27 2 0 0 25 0 1 0 12053068 28688384 6240 1992294400 4194304 8223781 140736365421648 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19434/statm: 7004 6240 363 984 0 6017 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28016

[startup+0.700516 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 19434
/proc/meminfo: memFree=1448368/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=37696 CPUtime=0.69
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 8747 0 0 0 67 2 0 0 25 0 1 0 12053068 38600704 8658 1992294400 4194304 8223781 140736365421648 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19434/statm: 9424 8658 363 984 0 8437 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37696

[startup+1.5006 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19435
/proc/meminfo: memFree=1408928/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=61124 CPUtime=1.49
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 14572 0 0 0 145 4 0 0 25 0 1 0 12053068 62590976 14483 1992294400 4194304 8223781 140736365421648 18446744073709551615 7246880 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19434/statm: 15281 14483 363 984 0 14294 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 61124

[startup+3.10077 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19436
/proc/meminfo: memFree=1373960/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=209052 CPUtime=3.09
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 51206 0 0 0 291 18 0 0 25 0 1 0 12053068 214069248 50704 1992294400 4194304 8223781 140736365421648 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19434/statm: 52263 50704 440 984 0 51276 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 209052

[startup+6.30111 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19437
/proc/meminfo: memFree=1144188/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=339396 CPUtime=6.29
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 83015 0 0 0 594 35 0 0 25 0 1 0 12053068 347541504 82513 1992294400 4194304 8223781 140736365421648 18446744073709551615 5966370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19434/statm: 84849 82513 440 984 0 83862 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 339396

[startup+12.7008 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19437
/proc/meminfo: memFree=1086528/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=376916 CPUtime=12.69
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 91534 0 0 0 1217 52 0 0 25 0 1 0 12053068 385961984 90518 1992294400 4194304 8223781 140736365421648 18446744073709551615 5966492 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19434/statm: 94229 90518 444 984 0 93242 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 376916

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19437
/proc/meminfo: memFree=1036928/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=434148 CPUtime=25.49
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 127020 0 0 0 2447 102 0 0 25 0 1 0 12053068 444567552 103115 1992294400 4194304 8223781 140736365421648 18446744073709551615 6568165 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19434/statm: 108537 103115 567 984 0 107550 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 434148

[startup+51.1009 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19437
/proc/meminfo: memFree=1034944/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=437332 CPUtime=51.08
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 156194 0 0 0 4990 118 0 0 25 0 1 0 12053068 447827968 103625 1992294400 4194304 8223781 140736365421648 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19434/statm: 109333 103625 564 984 0 108346 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 437332

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19439
/proc/meminfo: memFree=1032092/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=440560 CPUtime=102.27
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 205836 0 0 0 10077 150 0 0 25 0 1 0 12053068 451133440 104328 1992294400 4194304 8223781 140736365421648 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19434/statm: 110140 104328 564 984 0 109153 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 440560

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19441
/proc/meminfo: memFree=1029240/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=442248 CPUtime=162.25
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 256172 0 0 0 16046 179 0 0 25 0 1 0 12053068 452861952 105027 1992294400 4194304 8223781 140736365421648 18446744073709551615 6568008 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19434/statm: 110562 105027 564 984 0 109575 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 442248

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19441
/proc/meminfo: memFree=1027752/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=443084 CPUtime=222.23
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 305217 0 0 0 22017 206 0 0 25 0 1 0 12053068 453718016 105395 1992294400 4194304 8223781 140736365421648 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19434/statm: 110771 105395 564 984 0 109784 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 443084

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19443
/proc/meminfo: memFree=1026512/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=444892 CPUtime=282.21
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 354489 0 0 0 27990 231 0 0 25 0 1 0 12053068 455569408 105727 1992294400 4194304 8223781 140736365421648 18446744073709551615 6569925 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19434/statm: 111223 105727 564 984 0 110236 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 444892

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19445
/proc/meminfo: memFree=1025892/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=445412 CPUtime=342.2
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 402738 0 0 0 33962 258 0 0 25 0 1 0 12053068 456101888 105843 1992294400 4194304 8223781 140736365421648 18446744073709551615 6569636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19434/statm: 111353 105843 564 984 0 110366 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 445412

[startup+402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19447
/proc/meminfo: memFree=1025148/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=446620 CPUtime=402.19
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 451948 0 0 0 39935 284 0 0 25 0 1 0 12053068 457338880 106021 1992294400 4194304 8223781 140736365421648 18446744073709551615 6559628 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19434/statm: 111655 106021 564 984 0 110668 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 446620

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19449
/proc/meminfo: memFree=1025396/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=446140 CPUtime=462.17
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 873555 0 0 0 45774 443 0 0 25 0 1 0 12053068 456847360 105879 1992294400 4194304 8223781 140736365421648 18446744073709551615 6043636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19434/statm: 111535 105879 572 984 0 110548 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 446140

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19449
/proc/meminfo: memFree=1025396/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=446488 CPUtime=522.16
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 2262423 0 0 0 51271 945 0 0 25 0 1 0 12053068 457203712 105966 1992294400 4194304 8223781 140736365421648 18446744073709551615 6299574 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19434/statm: 111622 105966 572 984 0 110635 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 446488

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19451
/proc/meminfo: memFree=1025272/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=446152 CPUtime=582.14
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 3646249 0 0 0 56765 1449 0 0 25 0 1 0 12053068 456859648 105883 1992294400 4194304 8223781 140736365421648 18446744073709551615 6054173 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19434/statm: 111538 105883 573 984 0 110551 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 446152

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19453
/proc/meminfo: memFree=1025272/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=446152 CPUtime=642.13
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 5034334 0 0 0 62263 1950 0 0 25 0 1 0 12053068 456859648 105883 1992294400 4194304 8223781 140736365421648 18446744073709551615 6054211 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19434/statm: 111538 105883 573 984 0 110551 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 446152

[startup+702.3 s]

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

/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 6104283 0 0 0 103764 2436 0 0 25 0 1 0 12053068 469745664 108486 1992294400 4194304 8223781 140736365421648 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19434/statm: 114684 108486 587 984 0 113697 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 458736

[startup+1122.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/106 19474
/proc/meminfo: memFree=1014484/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=458788 CPUtime=1121.99
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 6153389 0 0 0 109737 2462 0 0 25 0 1 0 12053068 469798912 108547 1992294400 4194304 8223781 140736365421648 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19434/statm: 114697 108547 587 984 0 113710 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 458788

[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 19476
/proc/meminfo: memFree=1014236/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=458868 CPUtime=1181.97
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 6204112 0 0 0 115708 2489 0 0 25 0 1 0 12053068 469880832 108613 1992294400 4194304 8223781 140736365421648 18446744073709551615 6536496 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19434/statm: 114717 108613 587 984 0 113730 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 458868

[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 19478
/proc/meminfo: memFree=1013988/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=458832 CPUtime=1241.96
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 6254523 0 0 0 121677 2519 0 0 25 0 1 0 12053068 469843968 108538 1992294400 4194304 8223781 140736365421648 18446744073709551615 6536502 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19434/statm: 114708 108538 587 984 0 113721 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 458832

[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 19480
/proc/meminfo: memFree=1014236/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=458636 CPUtime=1301.95
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 6926948 0 0 0 127398 2797 0 0 25 0 1 0 12053068 469643264 108468 1992294400 4194304 8223781 140736365421648 18446744073709551615 6043636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19434/statm: 114659 108468 587 984 0 113672 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 458636

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 19482
/proc/meminfo: memFree=1014236/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=458636 CPUtime=1361.93
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 8247521 0 0 0 132868 3325 0 0 25 0 1 0 12053068 469643264 108468 1992294400 4194304 8223781 140736365421648 18446744073709551615 6043636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19434/statm: 114659 108468 587 984 0 113672 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 458636

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19482
/proc/meminfo: memFree=1014236/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=458984 CPUtime=1421.91
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 9564788 0 0 0 138325 3866 0 0 25 0 1 0 12053068 469999616 108555 1992294400 4194304 8223781 140736365421648 18446744073709551615 6299562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19434/statm: 114746 108555 587 984 0 113759 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 458984

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19484
/proc/meminfo: memFree=1014112/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=458984 CPUtime=1481.9
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 10889189 0 0 0 143794 4396 0 0 25 0 1 0 12053068 469999616 108555 1992294400 4194304 8223781 140736365421648 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19434/statm: 114746 108555 587 984 0 113759 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 458984

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19486
/proc/meminfo: memFree=1014112/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=458320 CPUtime=1541.88
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 11243536 0 0 0 149658 4530 0 0 25 0 1 0 12053068 469319680 108592 1992294400 4194304 8223781 140736365421648 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19434/statm: 114580 108592 587 984 0 113593 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 458320

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19488
/proc/meminfo: memFree=1009896/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=459880 CPUtime=1601.86
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 11297713 0 0 0 155627 4559 0 0 25 0 1 0 12053068 470917120 108839 1992294400 4194304 8223781 140736365421648 18446744073709551615 6569888 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19434/statm: 114970 108839 587 984 0 113983 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 459880

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19490
/proc/meminfo: memFree=1012872/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=459860 CPUtime=1661.85
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 11347431 0 0 0 161598 4587 0 0 25 0 1 0 12053068 470896640 108894 1992294400 4194304 8223781 140736365421648 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19434/statm: 114965 108894 587 984 0 113978 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 459860

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19490
/proc/meminfo: memFree=1012748/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=459856 CPUtime=1721.83
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 11404273 0 0 0 167569 4614 0 0 25 0 1 0 12053068 470892544 108825 1992294400 4194304 8223781 140736365421648 18446744073709551615 6614298 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19434/statm: 114964 108825 587 984 0 113977 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 459856

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19492
/proc/meminfo: memFree=1012872/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=459856 CPUtime=1781.81
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 11455583 0 0 0 173541 4640 0 0 25 0 1 0 12053068 470892544 108833 1992294400 4194304 8223781 140736365421648 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19434/statm: 114964 108833 587 984 0 113977 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 459856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 19492
/proc/meminfo: memFree=1012996/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=459836 CPUtime=1800.02
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 11473115 0 0 0 175352 4650 0 0 25 0 1 0 12053068 470872064 108807 1992294400 4194304 8223781 140736365421648 18446744073709551615 6569998 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19434/statm: 114959 108807 587 984 0 113972 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 459836

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -19434

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19493
/proc/meminfo: memFree=1012988/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=459836 CPUtime=1800.91
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 11473138 0 0 0 175441 4650 0 0 25 0 1 0 12053068 470872064 108830 1992294400 4194304 8223781 140736365421648 18446744073709551615 6536494 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19434/statm: 114959 108830 587 984 0 113972 0
Current children cumulated CPU time (s) 1800.91
Current children cumulated vsize (KiB) 459836

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19493
/proc/meminfo: memFree=1012864/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=459836 CPUtime=1801.71
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 11473155 0 0 0 175521 4650 0 0 25 0 1 0 12053068 470872064 108847 1992294400 4194304 8223781 140736365421648 18446744073709551615 6539610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19434/statm: 114959 108847 587 984 0 113972 0
Current children cumulated CPU time (s) 1801.71
Current children cumulated vsize (KiB) 459836

[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19493
/proc/meminfo: memFree=1012864/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=459836 CPUtime=1801.91
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 11473161 0 0 0 175541 4650 0 0 25 0 1 0 12053068 470872064 108853 1992294400 4194304 8223781 140736365421648 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19434/statm: 114959 108853 587 984 0 113972 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 459836

[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19493
/proc/meminfo: memFree=1012864/2059040 swapFree=4192956/4192956
[pid=19434] ppid=19432 vsize=459836 CPUtime=1802.01
/proc/19434/stat : 19434 (pbscip.linux.x8) R 19432 19434 19115 0 -1 4202496 11473163 0 0 0 175551 4650 0 0 25 0 1 0 12053068 470872064 108855 1992294400 4194304 8223781 140736365421648 18446744073709551615 6502677 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19434/statm: 114959 108855 587 984 0 113972 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 459836

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.55
CPU time (s): 1802.07
CPU user time (s): 1755.52
CPU system time (s): 46.5439
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 465608

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

runsolver used 3.03354 second user time and 8.45371 second system time

The end

Launcher Data 

Begin job on node081 at 2010-07-06 19:47:24
IDJOB=2685026
IDBENCH=74310
IDSOLVER=1169
FILE ID=node081/2685026-1278438444
PBS_JOBID= 11233471
Free space on /tmp= 121800 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) 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.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685026-1278438444/watcher-2685026-1278438444 -o /tmp/evaluation-result-2685026-1278438444/solver-2685026-1278438444 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2685026-1278438444.opb -t 1800 -m 1800

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

MD5SUM BENCH= da4c22aa3836e09c7cdc382a7b6da5de
RANDOM SEED=644840722

node081.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.242
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.48
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.242
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	: 5999.38
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1448896 kB
Buffers:        103724 kB
Cached:         374064 kB
SwapCached:          0 kB
Active:         191364 kB
Inactive:       346436 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1448896 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            8444 kB
Writeback:           0 kB
AnonPages:       59900 kB
Mapped:          14384 kB
Slab:            50360 kB
PageTables:       4108 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180496 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 121796 MiB
End job on node081 at 2010-07-06 20:17:27