Trace number 3452985

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
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4? (TO) 1802.26 1802.24

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
MD5SUM79ed7fb7a57e7e2ac59cfc8508d281c9
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark6.79796
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables4500
Total number of constraints2559501
Number of constraints which are clauses2554450
Number of constraints which are cardinality constraints (but not clauses)101
Number of constraints which are nor clauses,nor cardinality constraints4950
Minimum length of a constraint2
Maximum length of a constraint2000
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 420
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 2049
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.02	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.02	c 
0.00/0.02	c user parameter file <scip.set> not found - using default parameters
0.00/0.02	c reading problem <HOME/instance-3452985-1307070279.opb>
16.77/16.80	c original problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 2559501 constraints
16.77/16.80	c problem read
16.77/16.80	c No objective function, only one solution is needed.
16.77/16.80	c presolving settings loaded
26.07/26.12	c presolving:
40.87/40.90	c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2559500 upgd conss, 4000 impls, 100 clqs
43.17/43.26	c presolving (2 rounds):
43.17/43.26	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 5050 changed coefficients
43.17/43.26	c  4000 implications, 100 cliques
43.17/43.26	c presolved problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 2559501 constraints
43.17/43.26	c    4950 constraints of type <knapsack>
43.17/43.26	c    2100 constraints of type <setppc>
43.17/43.26	c       1 constraints of type <linear>
43.17/43.26	c 2552450 constraints of type <logicor>
43.17/43.26	c transformed objective value is always integral (scale: 1)
43.17/43.26	c Presolving Time: 25.00
43.17/43.26	c - non default parameters ----------------------------------------------------------------------
43.17/43.26	c # SCIP version 2.0.1.4
43.17/43.26	c 
43.17/43.26	c # frequency for displaying node information lines
43.17/43.26	c # [type: int, range: [-1,2147483647], default: 100]
43.17/43.26	c display/freq = 10000
43.17/43.26	c 
43.17/43.26	c # maximal time in seconds to run
43.17/43.26	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
43.17/43.26	c limits/time = 1800
43.17/43.26	c 
43.17/43.26	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
43.17/43.26	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
43.17/43.26	c limits/memory = 13950
43.17/43.26	c 
43.17/43.26	c # solving stops, if the given number of solutions were found (-1: no limit)
43.17/43.26	c # [type: int, range: [-1,2147483647], default: -1]
43.17/43.26	c limits/solutions = 1
43.17/43.26	c 
43.17/43.26	c # maximal number of separation rounds per node (-1: unlimited)
43.17/43.26	c # [type: int, range: [-1,2147483647], default: 5]
43.17/43.26	c separating/maxrounds = 1
43.17/43.26	c 
43.17/43.26	c # maximal number of separation rounds in the root node (-1: unlimited)
43.17/43.26	c # [type: int, range: [-1,2147483647], default: -1]
43.17/43.26	c separating/maxroundsroot = 5
43.17/43.26	c 
43.17/43.26	c # default clock type (1: CPU user seconds, 2: wall clock time)
43.17/43.26	c # [type: int, range: [1,2], default: 1]
43.17/43.26	c timing/clocktype = 2
43.17/43.26	c 
43.17/43.26	c # belongs reading time to solving time?
43.17/43.26	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
43.17/43.26	c timing/reading = TRUE
43.17/43.26	c 
43.17/43.26	c # should presolving try to simplify inequalities
43.17/43.26	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
43.17/43.26	c constraints/linear/simplifyinequalities = TRUE
43.17/43.26	c 
43.17/43.26	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
43.17/43.26	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
43.17/43.26	c constraints/indicator/addCouplingCons = TRUE
43.17/43.26	c 
43.17/43.26	c # should disaggregation of knapsack constraints be allowed in preprocessing?
43.17/43.26	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
43.17/43.26	c constraints/knapsack/disaggregation = FALSE
43.17/43.26	c 
43.17/43.26	c # should presolving try to simplify knapsacks
43.17/43.26	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
43.17/43.26	c constraints/knapsack/simplifyinequalities = TRUE
43.17/43.26	c 
43.17/43.26	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
43.17/43.26	c # [type: int, range: [-1,2147483647], default: -1]
43.17/43.26	c presolving/probing/maxrounds = 0
43.17/43.26	c 
43.17/43.26	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
43.17/43.26	c # [type: int, range: [-1,2147483647], default: 10]
43.17/43.26	c heuristics/coefdiving/freq = -1
43.17/43.26	c 
43.17/43.26	c # maximal fraction of diving LP iterations compared to node LP iterations
43.17/43.26	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
43.17/43.26	c heuristics/coefdiving/maxlpiterquot = 0.075
43.17/43.26	c 
43.17/43.26	c # additional number of allowed LP iterations
43.17/43.26	c # [type: int, range: [0,2147483647], default: 1000]
43.17/43.26	c heuristics/coefdiving/maxlpiterofs = 1500
43.17/43.26	c 
43.17/43.26	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
43.17/43.26	c # [type: int, range: [-1,2147483647], default: 30]
43.17/43.26	c heuristics/crossover/freq = -1
43.17/43.26	c 
43.17/43.26	c # number of nodes added to the contingent of the total nodes
43.17/43.26	c # [type: longint, range: [0,9223372036854775807], default: 500]
43.17/43.26	c heuristics/crossover/nodesofs = 750
43.17/43.26	c 
43.17/43.26	c # number of nodes without incumbent change that heuristic should wait
43.17/43.26	c # [type: longint, range: [0,9223372036854775807], default: 200]
43.17/43.26	c heuristics/crossover/nwaitingnodes = 100
43.17/43.26	c 
43.17/43.26	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
43.17/43.26	c # [type: real, range: [0,1], default: 0.1]
43.17/43.26	c heuristics/crossover/nodesquot = 0.15
43.17/43.26	c 
43.17/43.26	c # minimum percentage of integer variables that have to be fixed 
43.17/43.26	c # [type: real, range: [0,1], default: 0.666]
43.17/43.26	c heuristics/crossover/minfixingrate = 0.5
43.17/43.26	c 
43.17/43.26	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
43.17/43.26	c # [type: int, range: [-1,2147483647], default: 20]
43.17/43.26	c heuristics/feaspump/freq = -1
43.17/43.26	c 
43.17/43.26	c # additional number of allowed LP iterations
43.17/43.26	c # [type: int, range: [0,2147483647], default: 1000]
43.17/43.26	c heuristics/feaspump/maxlpiterofs = 2000
43.17/43.26	c 
43.17/43.26	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
43.17/43.26	c # [type: int, range: [-1,2147483647], default: 10]
43.17/43.26	c heuristics/fracdiving/freq = -1
43.17/43.26	c 
43.17/43.26	c # maximal fraction of diving LP iterations compared to node LP iterations
43.17/43.26	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
43.17/43.26	c heuristics/fracdiving/maxlpiterquot = 0.075
43.17/43.26	c 
43.17/43.26	c # additional number of allowed LP iterations
43.17/43.26	c # [type: int, range: [0,2147483647], default: 1000]
43.17/43.26	c heuristics/fracdiving/maxlpiterofs = 1500
43.17/43.26	c 
43.17/43.26	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
43.17/43.26	c # [type: int, range: [-1,2147483647], default: 10]
43.17/43.26	c heuristics/guideddiving/freq = -1
43.17/43.26	c 
43.17/43.26	c # maximal fraction of diving LP iterations compared to node LP iterations
43.17/43.26	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
43.17/43.26	c heuristics/guideddiving/maxlpiterquot = 0.075
43.17/43.26	c 
43.17/43.26	c # additional number of allowed LP iterations
43.17/43.26	c # [type: int, range: [0,2147483647], default: 1000]
43.17/43.26	c heuristics/guideddiving/maxlpiterofs = 1500
43.17/43.26	c 
43.17/43.26	c # maximal fraction of diving LP iterations compared to node LP iterations
43.17/43.26	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
43.17/43.26	c heuristics/intdiving/maxlpiterquot = 0.075
43.17/43.26	c 
43.17/43.26	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
43.17/43.26	c # [type: int, range: [-1,2147483647], default: 10]
43.17/43.26	c heuristics/intshifting/freq = -1
43.17/43.26	c 
43.17/43.26	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
43.17/43.26	c # [type: int, range: [-1,2147483647], default: 10]
43.17/43.26	c heuristics/linesearchdiving/freq = -1
43.17/43.26	c 
43.17/43.26	c # maximal fraction of diving LP iterations compared to node LP iterations
43.17/43.26	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
43.17/43.26	c heuristics/linesearchdiving/maxlpiterquot = 0.075
43.17/43.26	c 
43.17/43.26	c # additional number of allowed LP iterations
43.17/43.26	c # [type: int, range: [0,2147483647], default: 1000]
43.17/43.26	c heuristics/linesearchdiving/maxlpiterofs = 1500
43.17/43.26	c 
43.17/43.26	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
43.17/43.26	c # [type: int, range: [-1,2147483647], default: 20]
43.17/43.26	c heuristics/objpscostdiving/freq = -1
43.17/43.26	c 
43.17/43.26	c # maximal fraction of diving LP iterations compared to total iteration number
43.17/43.26	c # [type: real, range: [0,1], default: 0.01]
43.17/43.26	c heuristics/objpscostdiving/maxlpiterquot = 0.015
43.17/43.26	c 
43.17/43.26	c # additional number of allowed LP iterations
43.17/43.26	c # [type: int, range: [0,2147483647], default: 1000]
43.17/43.26	c heuristics/objpscostdiving/maxlpiterofs = 1500
43.17/43.26	c 
43.17/43.26	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
43.17/43.26	c # [type: int, range: [-1,2147483647], default: 1]
43.17/43.26	c heuristics/oneopt/freq = -1
43.17/43.26	c 
43.17/43.26	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
43.17/43.26	c # [type: int, range: [-1,2147483647], default: 10]
43.17/43.26	c heuristics/pscostdiving/freq = -1
43.17/43.26	c 
43.17/43.26	c # maximal fraction of diving LP iterations compared to node LP iterations
43.17/43.26	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
43.17/43.26	c heuristics/pscostdiving/maxlpiterquot = 0.075
43.17/43.26	c 
43.17/43.26	c # additional number of allowed LP iterations
43.17/43.26	c # [type: int, range: [0,2147483647], default: 1000]
43.17/43.26	c heuristics/pscostdiving/maxlpiterofs = 1500
43.17/43.26	c 
43.17/43.26	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
43.17/43.26	c # [type: int, range: [-1,2147483647], default: 0]
43.17/43.26	c heuristics/rens/freq = -1
43.17/43.26	c 
43.17/43.26	c # minimum percentage of integer variables that have to be fixable 
43.17/43.26	c # [type: real, range: [0,1], default: 0.5]
43.17/43.26	c heuristics/rens/minfixingrate = 0.3
43.17/43.26	c 
43.17/43.26	c # number of nodes added to the contingent of the total nodes
43.17/43.26	c # [type: longint, range: [0,9223372036854775807], default: 500]
43.17/43.26	c heuristics/rens/nodesofs = 2000
43.17/43.26	c 
43.17/43.26	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
43.17/43.26	c # [type: int, range: [-1,2147483647], default: 20]
43.17/43.26	c heuristics/rootsoldiving/freq = -1
43.17/43.26	c 
43.17/43.26	c # maximal fraction of diving LP iterations compared to node LP iterations
43.17/43.26	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
43.17/43.26	c heuristics/rootsoldiving/maxlpiterquot = 0.015
43.17/43.26	c 
43.17/43.26	c # additional number of allowed LP iterations
43.17/43.26	c # [type: int, range: [0,2147483647], default: 1000]
43.17/43.26	c heuristics/rootsoldiving/maxlpiterofs = 1500
43.17/43.26	c 
43.17/43.26	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
43.17/43.26	c # [type: int, range: [-1,2147483647], default: 1]
43.17/43.26	c heuristics/rounding/freq = -1
43.17/43.26	c 
43.17/43.26	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
43.17/43.26	c # [type: int, range: [-1,2147483647], default: 0]
43.17/43.26	c heuristics/shiftandpropagate/freq = -1
43.17/43.26	c 
43.17/43.26	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
43.17/43.26	c # [type: int, range: [-1,2147483647], default: 10]
43.17/43.26	c heuristics/shifting/freq = -1
43.17/43.26	c 
43.17/43.26	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
43.17/43.26	c # [type: int, range: [-1,2147483647], default: 1]
43.17/43.26	c heuristics/simplerounding/freq = -1
43.17/43.26	c 
43.17/43.26	c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
43.17/43.26	c # [type: int, range: [-1,2147483647], default: 1]
43.17/43.26	c heuristics/subnlp/freq = -1
43.17/43.26	c 
43.17/43.26	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
43.17/43.26	c # [type: int, range: [-1,2147483647], default: 0]
43.17/43.26	c heuristics/trivial/freq = -1
43.17/43.26	c 
43.17/43.26	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
43.17/43.26	c # [type: int, range: [-1,2147483647], default: 1]
43.17/43.26	c heuristics/trysol/freq = -1
43.17/43.26	c 
43.17/43.26	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
43.17/43.26	c # [type: int, range: [-1,2147483647], default: 0]
43.17/43.26	c heuristics/undercover/freq = -1
43.17/43.26	c 
43.17/43.26	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
43.17/43.26	c # [type: int, range: [-1,2147483647], default: 10]
43.17/43.26	c heuristics/veclendiving/freq = -1
43.17/43.26	c 
43.17/43.26	c # maximal fraction of diving LP iterations compared to node LP iterations
43.17/43.26	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
43.17/43.26	c heuristics/veclendiving/maxlpiterquot = 0.075
43.17/43.26	c 
43.17/43.26	c # additional number of allowed LP iterations
43.17/43.26	c # [type: int, range: [0,2147483647], default: 1000]
43.17/43.26	c heuristics/veclendiving/maxlpiterofs = 1500
43.17/43.26	c 
43.17/43.26	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
43.17/43.26	c # [type: int, range: [-1,2147483647], default: 1]
43.17/43.26	c heuristics/zirounding/freq = -1
43.17/43.26	c 
43.17/43.26	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
43.17/43.26	c # [type: int, range: [-1,2147483647], default: 0]
43.17/43.26	c separating/cmir/freq = -1
43.17/43.26	c 
43.17/43.26	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
43.17/43.26	c # [type: int, range: [-1,2147483647], default: 0]
43.17/43.26	c separating/flowcover/freq = -1
43.17/43.26	c 
43.17/43.26	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
43.17/43.26	c # [type: int, range: [-1,2147483647], default: -1]
43.17/43.26	c separating/rapidlearning/freq = 0
43.17/43.26	c 
43.17/43.26	c -----------------------------------------------------------------------------------------------
43.17/43.26	c start solving
43.37/43.44	c 
127.05/127.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
127.05/127.15	c   127s|     1 |     0 |  2273 |     - |3016M|   0 | 189 |4500 |2559k|4500 |2559k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
196.66/196.70	c   197s|     1 |     0 |  2522 |     - |3016M|   0 | 185 |4500 |2559k|4500 |2559k|  22 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
347.76/347.89	c   348s|     1 |     0 |  4309 |     - |3016M|   0 | 255 |4500 |2559k|4500 |2559k|  48 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
634.17/634.25	c   634s|     1 |     0 |  7970 |     - |3016M|   0 | 266 |4500 |2559k|4500 |2559k|  66 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
763.68/763.71	c   764s|     1 |     0 |  9258 |     - |3016M|   0 | 307 |4500 |2559k|4500 |2559k|  82 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
991.29/991.34	c   991s|     1 |     0 | 12094 |     - |3017M|   0 | 318 |4500 |2559k|4500 |2559k|  97 |   0 |   0 | 0.000000e+00 |      --      |    Inf

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.13 2.03 1.94 4/515 5873
/proc/meminfo: memFree=22260292/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/5873/stat : 5873 (runsolver) R 5871 5873 1417 0 -1 4202560 43 0 0 0 0 0 0 0 22 0 1 0 897258863 12079104 50 33554432000 4194304 5432328 140735474180032 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/5873/statm: 2949 50 31 303 0 2643 0

[startup+0.0790799 s]
/proc/loadavg: 2.13 2.03 1.94 4/515 5873
/proc/meminfo: memFree=22260292/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=15512 CPUtime=0.05 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 2865 0 0 0 5 0 0 0 22 0 1 0 897258863 15884288 2817 33554432000 4194304 9128323 140736495321488 18446744073709551615 6189844 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5873/statm: 3878 2817 397 1205 0 2669 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15512

[startup+0.101072 s]
/proc/loadavg: 2.13 2.03 1.94 4/515 5873
/proc/meminfo: memFree=22260292/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=17448 CPUtime=0.07 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 3358 0 0 0 7 0 0 0 22 0 1 0 897258863 17866752 3309 33554432000 4194304 9128323 140736495321488 18446744073709551615 7903174 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5873/statm: 4362 3309 397 1205 0 3153 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 17448

[startup+0.301038 s]
/proc/loadavg: 2.13 2.03 1.94 4/515 5873
/proc/meminfo: memFree=22260292/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=26948 CPUtime=0.27 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 5753 0 0 0 27 0 0 0 23 0 1 0 897258863 27594752 5696 33554432000 4194304 9128323 140736495321488 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5873/statm: 6737 5696 397 1205 0 5528 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 26948

[startup+0.700965 s]
/proc/loadavg: 2.13 2.03 1.94 4/515 5873
/proc/meminfo: memFree=22260292/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=44160 CPUtime=0.68 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 10055 0 0 0 67 1 0 0 25 0 1 0 897258863 45219840 9991 33554432000 4194304 9128323 140736495321488 18446744073709551615 4667277 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5873/statm: 11040 9991 397 1205 0 9831 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 44160

[startup+1.50081 s]
/proc/loadavg: 2.13 2.03 1.94 3/516 5874
/proc/meminfo: memFree=22207228/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=81768 CPUtime=1.47 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 19410 0 0 0 145 2 0 0 25 0 1 0 897258863 83730432 19331 33554432000 4194304 9128323 140736495321488 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5873/statm: 20442 19363 397 1205 0 19233 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 81768

[startup+3.10051 s]
/proc/loadavg: 2.12 2.03 1.94 3/516 5874
/proc/meminfo: memFree=22155644/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=153956 CPUtime=3.08 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 37557 0 0 0 303 5 0 0 25 0 1 0 897258863 157650944 37447 33554432000 4194304 9128323 140736495321488 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5873/statm: 38489 37447 397 1205 0 37280 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 153956

[startup+6.3009 s]
/proc/loadavg: 2.12 2.03 1.94 3/516 5874
/proc/meminfo: memFree=22004948/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=299832 CPUtime=6.28 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 74041 0 0 0 616 12 0 0 25 0 1 0 897258863 307027968 73870 33554432000 4194304 9128323 140736495321488 18446744073709551615 4338658 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5873/statm: 74958 73870 397 1205 0 73749 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 299832

[startup+12.7007 s]
/proc/loadavg: 2.10 2.03 1.94 3/516 5875
/proc/meminfo: memFree=21704148/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=592004 CPUtime=12.68 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 147038 0 0 0 1245 23 0 0 25 0 1 0 897258863 606212096 146746 33554432000 4194304 9128323 140736495321488 18446744073709551615 8008910 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5873/statm: 148001 146746 397 1205 0 146792 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 592004

[startup+25.5013 s]
/proc/loadavg: 2.09 2.03 1.94 3/516 5875
/proc/meminfo: memFree=19232344/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=2813368 CPUtime=25.48 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 833826 0 0 0 2440 108 0 0 25 0 1 0 897258863 2880888832 688877 33554432000 4194304 9128323 140736495321488 18446744073709551615 6885361 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5873/statm: 703342 688877 465 1205 0 702133 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2813368

[startup+51.1004 s]
/proc/loadavg: 2.18 2.06 1.95 3/516 5876
/proc/meminfo: memFree=16547276/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=6178032 CPUtime=51.07 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 1992375 0 0 0 4864 243 0 0 25 0 1 0 897258863 6326304768 1425275 33554432000 4194304 9128323 140736495321488 18446744073709551615 7077352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5873/statm: 1544508 1425275 698 1205 0 1543299 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 6178032

[startup+102.321 s]
/proc/loadavg: 2.13 2.06 1.95 3/516 5877
/proc/meminfo: memFree=16454952/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=6263336 CPUtime=102.27 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 2027165 0 0 0 9979 248 0 0 25 0 1 0 897258863 6413656064 1451727 33554432000 4194304 9128323 140736495321488 18446744073709551615 6941086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5873/statm: 1565834 1451727 4700 1205 0 1564625 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 6263336

[startup+162.3 s]
/proc/loadavg: 2.05 2.05 1.95 3/516 5879
/proc/meminfo: memFree=16825428/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=5682128 CPUtime=162.25 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 2131219 0 0 0 15963 262 0 0 25 0 1 0 897258863 5818499072 1357072 33554432000 4194304 9128323 140736495321488 18446744073709551615 8009001 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5873/statm: 1420532 1357072 2831 1205 0 1419323 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 5682128

[startup+222.301 s]
/proc/loadavg: 2.10 2.07 1.96 3/516 5880
/proc/meminfo: memFree=16680280/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=5943016 CPUtime=222.25 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 2209514 0 0 0 21954 271 0 0 25 0 1 0 897258863 6085648384 1394287 33554432000 4194304 9128323 140736495321488 18446744073709551615 7021472 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5873/statm: 1485754 1394287 3727 1205 0 1484545 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 5943016

[startup+282.301 s]
/proc/loadavg: 2.08 2.07 1.97 3/516 5882
/proc/meminfo: memFree=16609544/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=6025664 CPUtime=282.26 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 2253033 0 0 0 27948 278 0 0 25 0 1 0 897258863 6170279936 1410994 33554432000 4194304 9128323 140736495321488 18446744073709551615 7312709 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5873/statm: 1506416 1410994 3053 1205 0 1505207 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 6025664

[startup+342.3 s]
/proc/loadavg: 2.03 2.05 1.97 3/516 5883
/proc/meminfo: memFree=16621768/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=6007888 CPUtime=342.26 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 2261888 0 0 0 33946 280 0 0 25 0 1 0 897258863 6152077312 1407042 33554432000 4194304 9128323 140736495321488 18446744073709551615 7315111 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5873/statm: 1501972 1407042 2229 1205 0 1500763 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 6007888

[startup+402.301 s]
/proc/loadavg: 2.01 2.04 1.97 3/516 5885
/proc/meminfo: memFree=16610548/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=6045236 CPUtime=402.27 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 2296450 0 0 0 39941 286 0 0 25 0 1 0 897258863 6190321664 1410381 33554432000 4194304 9128323 140736495321488 18446744073709551615 7312758 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5873/statm: 1511309 1410381 2827 1205 0 1510100 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 6045236

[startup+462.301 s]
/proc/loadavg: 2.00 2.03 1.97 3/516 5887
/proc/meminfo: memFree=16584204/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=6064516 CPUtime=462.27 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 2305417 0 0 0 45939 288 0 0 25 0 1 0 897258863 6210064384 1416870 33554432000 4194304 9128323 140736495321488 18446744073709551615 7312741 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5873/statm: 1516129 1416870 3324 1205 0 1514920 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 6064516

[startup+522.301 s]
/proc/loadavg: 2.00 2.02 1.97 3/516 5888
/proc/meminfo: memFree=16583048/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=6064516 CPUtime=522.27 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 2306512 0 0 0 51938 289 0 0 25 0 1 0 897258863 6210064384 1416870 33554432000 4194304 9128323 140736495321488 18446744073709551615 7315488 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5873/statm: 1516129 1416870 3076 1205 0 1514920 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 6064516

[startup+582.301 s]
/proc/loadavg: 2.00 2.02 1.97 3/516 5890
/proc/meminfo: memFree=16582760/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=6064516 CPUtime=582.27 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 2307124 0 0 0 57937 290 0 0 25 0 1 0 897258863 6210064384 1416870 33554432000 4194304 9128323 140736495321488 18446744073709551615 7312733 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5873/statm: 1516129 1416870 3076 1205 0 1514920 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 6064516

[startup+642.3 s]

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

/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 2422690 0 0 0 99917 312 0 0 25 0 1 0 897258863 6190034944 1411337 33554432000 4194304 9128323 140736495321488 18446744073709551615 7312758 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5873/statm: 1511239 1411337 2981 1205 0 1510030 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 6044956

[startup+1062.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/516 5903
/proc/meminfo: memFree=16588920/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=6048308 CPUtime=1062.29 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 2509431 0 0 0 105907 322 0 0 25 0 1 0 897258863 6193467392 1412207 33554432000 4194304 9128323 140736495321488 18446744073709551615 7315378 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5873/statm: 1512077 1412207 2981 1205 0 1510868 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 6048308

[startup+1122.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/516 5904
/proc/meminfo: memFree=16531212/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=6123796 CPUtime=1122.29 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 2620976 0 0 0 111894 335 0 0 25 0 1 0 897258863 6270767104 1425756 33554432000 4194304 9128323 140736495321488 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5873/statm: 1530949 1425756 2981 1205 0 1529740 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 6123796

[startup+1182.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/516 5906
/proc/meminfo: memFree=16587824/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=6044956 CPUtime=1182.29 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 2703382 0 0 0 117884 345 0 0 25 0 1 0 897258863 6190034944 1411297 33554432000 4194304 9128323 140736495321488 18446744073709551615 7191101 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5873/statm: 1511239 1411297 2981 1205 0 1510030 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 6044956

[startup+1242.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/516 5907
/proc/meminfo: memFree=16582584/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=6051372 CPUtime=1242.29 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 2783385 0 0 0 123875 354 0 0 25 0 1 0 897258863 6196604928 1412517 33554432000 4194304 9128323 140736495321488 18446744073709551615 6941061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5873/statm: 1512843 1412517 2981 1205 0 1511634 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 6051372

[startup+1302.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/516 6531
/proc/meminfo: memFree=17454152/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=6054728 CPUtime=1302.3 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 2892522 0 0 0 129862 368 0 0 25 0 1 0 897258863 6200041472 1412900 33554432000 4194304 9128323 140736495321488 18446744073709551615 7315076 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5873/statm: 1513682 1412900 2981 1205 0 1512473 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 6054728

[startup+1362.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/516 6695
/proc/meminfo: memFree=17480704/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=6048384 CPUtime=1362.3 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 2974427 0 0 0 135852 378 0 0 25 0 1 0 897258863 6193545216 1413107 33554432000 4194304 9128323 140736495321488 18446744073709551615 7315187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5873/statm: 1512096 1413107 2981 1205 0 1510887 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 6048384

[startup+1422.32 s]
/proc/loadavg: 2.01 2.04 2.00 3/516 6696
/proc/meminfo: memFree=17483552/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=6044900 CPUtime=1422.32 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 3057610 0 0 0 141843 389 0 0 25 0 1 0 897258863 6189977600 1411789 33554432000 4194304 9128323 140736495321488 18446744073709551615 7315378 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5873/statm: 1511225 1411789 2981 1205 0 1510016 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 6044900

[startup+1482.3 s]
/proc/loadavg: 2.19 2.07 2.01 3/516 6698
/proc/meminfo: memFree=17492308/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=6029140 CPUtime=1482.3 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 3101277 0 0 0 147835 395 0 0 25 0 1 0 897258863 6173839360 1410475 33554432000 4194304 9128323 140736495321488 18446744073709551615 7312738 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5873/statm: 1507285 1410475 2981 1205 0 1506076 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 6029140

[startup+1542.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/516 6699
/proc/meminfo: memFree=17426912/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=6125796 CPUtime=1542.3 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 3197290 0 0 0 153824 406 0 0 25 0 1 0 897258863 6272815104 1424729 33554432000 4194304 9128323 140736495321488 18446744073709551615 7315066 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5873/statm: 1531449 1424729 2981 1205 0 1530240 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 6125796

[startup+1602.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/516 6701
/proc/meminfo: memFree=17472984/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=6049224 CPUtime=1602.3 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 3252468 0 0 0 159817 413 0 0 25 0 1 0 897258863 6194405376 1412654 33554432000 4194304 9128323 140736495321488 18446744073709551615 7315625 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5873/statm: 1512306 1412654 2981 1205 0 1511097 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 6049224

[startup+1662.3 s]
/proc/loadavg: 2.15 2.09 2.02 3/516 6703
/proc/meminfo: memFree=17397664/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=6141384 CPUtime=1662.3 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 3345753 0 0 0 165806 424 0 0 25 0 1 0 897258863 6288777216 1432556 33554432000 4194304 9128323 140736495321488 18446744073709551615 7278888 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5873/statm: 1535346 1432556 4240 1205 0 1534137 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 6141384

[startup+1722.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/516 6704
/proc/meminfo: memFree=17452928/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=6058900 CPUtime=1722.31 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 3403765 0 0 0 171799 432 0 0 25 0 1 0 897258863 6204313600 1419907 33554432000 4194304 9128323 140736495321488 18446744073709551615 8012883 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5873/statm: 1514725 1419934 2981 1205 0 1513516 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 6058900

[startup+1782.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/516 6706
/proc/meminfo: memFree=17480424/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=6011156 CPUtime=1782.32 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 3484790 0 0 0 177790 442 0 0 25 0 1 0 897258863 6155423744 1412448 33554432000 4194304 9128323 140736495321488 18446744073709551615 7267353 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5873/statm: 1502789 1412448 2981 1205 0 1501580 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 6011156



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.05 2.01 3/516 6706
/proc/meminfo: memFree=17452264/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=6054900 CPUtime=1800.03 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 3489661 0 0 0 179560 443 0 0 25 0 1 0 897258863 6200217600 1417207 33554432000 4194304 9128323 140736495321488 18446744073709551615 7312738 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5873/statm: 1513725 1417207 2981 1205 0 1512516 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 6054900

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -5873

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

[startup+1801.4 s]
/proc/loadavg: 2.01 2.05 2.01 3/517 6707
/proc/meminfo: memFree=17451140/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=6054900 CPUtime=1801.42 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 3489661 0 0 0 179699 443 0 0 25 0 1 0 897258863 6200217600 1417207 33554432000 4194304 9128323 140736495321488 18446744073709551615 7315610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5873/statm: 1513725 1417207 2981 1205 0 1512516 0
Current children cumulated CPU time (s) 1801.42
Current children cumulated vsize (KiB) 6054900

[startup+1801.82 s]
/proc/loadavg: 2.01 2.05 2.00 3/517 6707
/proc/meminfo: memFree=17451512/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=6054900 CPUtime=1801.84 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4202496 3489661 0 0 0 179741 443 0 0 25 0 1 0 897258863 6200217600 1417207 33554432000 4194304 9128323 140736495321488 18446744073709551615 7315080 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5873/statm: 1513725 1417207 2981 1205 0 1512516 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 6054900

[startup+1802.2 s]
/proc/loadavg: 2.01 2.05 2.00 3/517 6707
/proc/meminfo: memFree=17451512/32950928 swapFree=58671692/67111528
[pid=5873] ppid=5871 vsize=0 CPUtime=1802.22 cores=1,3,5,7
/proc/5873/stat : 5873 (scip-2.0.1.4.li) R 5871 5873 1417 0 -1 4203524 3489661 0 0 0 179761 461 0 0 25 0 1 0 897258863 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/5873/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.22
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.24
CPU time (s): 1802.26
CPU user time (s): 1797.61
CPU system time (s): 4.64729
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 6482084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.61
system time used= 4.64729
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3489661
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2579

runsolver used 8.48671 second user time and 23.1865 second system time

The end

Launcher Data 

Begin job on node115 at 2011-06-03 05:04:42
IDJOB=3452985
IDBENCH=1382
IDSOLVER=1949
FILE ID=node115/3452985-1307070279
RUNJOBID= node115-1307067367-2468
PBS_JOBID= 13497873
Free space on /tmp= 73720 MiB

SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3452985-1307070279/watcher-3452985-1307070279 -o /tmp/evaluation-result-3452985-1307070279/solver-3452985-1307070279 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452985-1307070279.opb -t 1800 -m 15500

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

MD5SUM BENCH= 79ed7fb7a57e7e2ac59cfc8508d281c9
RANDOM SEED=1362352935

node115.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.62
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      22260572 kB
Buffers:        106412 kB
Cached:         347052 kB
SwapCached:      65764 kB
Active:        2052204 kB
Inactive:      8393252 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      22260572 kB
SwapTotal:    67111528 kB
SwapFree:     58671692 kB
Dirty:          100804 kB
Writeback:           0 kB
AnonPages:     9929676 kB
Mapped:          30284 kB
Slab:            98784 kB
PageTables:      77672 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 152778520 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73720 MiB
End job on node115 at 2011-06-03 05:34:44