Trace number 3485809

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 2 2011-06-10 (fixed)? (TO) 1800.14 1800.2

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb
MD5SUMe436f4a609b5bae6a8ddfe1313c390fe
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 benchmark2.5946
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables2800
Total number of constraints990001
Number of constraints which are clauses986760
Number of constraints which are cardinality constraints (but not clauses)81
Number of constraints which are nor clauses,nor cardinality constraints3160
Minimum length of a constraint2
Maximum length of a constraint1200
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 338
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1239
Number of bits of the biggest sum of numbers11
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 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00	c Copyright (c) 2002-2011 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-3485809-1307752470.opb>
5.09/5.10	c original problem has 2800 variables (2800 bin, 0 int, 0 impl, 0 cont) and 990001 constraints
5.09/5.10	c problem read
5.09/5.10	c No objective function, only one solution is needed.
5.09/5.10	c presolving settings loaded
7.99/8.00	c presolving:
12.29/12.38	c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 990000 upgd conss, 2400 impls, 80 clqs
13.10/13.19	c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 3241 chg coeffs, 990000 upgd conss, 2400 impls, 80 clqs
13.99/14.03	c presolving (3 rounds):
13.99/14.03	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 3414 changed coefficients
13.99/14.03	c  5520 implications, 80 cliques
13.99/14.03	c presolved problem has 2800 variables (2800 bin, 0 int, 0 impl, 0 cont) and 990001 constraints
13.99/14.03	c    3160 constraints of type <knapsack>
13.99/14.03	c    1280 constraints of type <setppc>
13.99/14.03	c       1 constraints of type <linear>
13.99/14.03	c  985560 constraints of type <logicor>
13.99/14.03	c transformed objective value is always integral (scale: 1)
13.99/14.03	c Presolving Time: 8.35
13.99/14.03	c - non default parameters ----------------------------------------------------------------------
13.99/14.03	c # SCIP version 2.0.1.4
13.99/14.03	c 
13.99/14.03	c # frequency for displaying node information lines
13.99/14.03	c # [type: int, range: [-1,2147483647], default: 100]
13.99/14.03	c display/freq = 10000
13.99/14.03	c 
13.99/14.03	c # maximal time in seconds to run
13.99/14.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
13.99/14.03	c limits/time = 1797
13.99/14.03	c 
13.99/14.03	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
13.99/14.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
13.99/14.03	c limits/memory = 13950
13.99/14.03	c 
13.99/14.03	c # solving stops, if the given number of solutions were found (-1: no limit)
13.99/14.03	c # [type: int, range: [-1,2147483647], default: -1]
13.99/14.03	c limits/solutions = 1
13.99/14.03	c 
13.99/14.03	c # maximal number of separation rounds per node (-1: unlimited)
13.99/14.03	c # [type: int, range: [-1,2147483647], default: 5]
13.99/14.03	c separating/maxrounds = 1
13.99/14.03	c 
13.99/14.03	c # maximal number of separation rounds in the root node (-1: unlimited)
13.99/14.03	c # [type: int, range: [-1,2147483647], default: -1]
13.99/14.03	c separating/maxroundsroot = 5
13.99/14.03	c 
13.99/14.03	c # default clock type (1: CPU user seconds, 2: wall clock time)
13.99/14.03	c # [type: int, range: [1,2], default: 1]
13.99/14.03	c timing/clocktype = 2
13.99/14.03	c 
13.99/14.03	c # belongs reading time to solving time?
13.99/14.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.99/14.03	c timing/reading = TRUE
13.99/14.03	c 
13.99/14.03	c # should presolving try to simplify inequalities
13.99/14.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.99/14.03	c constraints/linear/simplifyinequalities = TRUE
13.99/14.03	c 
13.99/14.03	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
13.99/14.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.99/14.03	c constraints/indicator/addCouplingCons = TRUE
13.99/14.03	c 
13.99/14.03	c # should disaggregation of knapsack constraints be allowed in preprocessing?
13.99/14.03	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
13.99/14.03	c constraints/knapsack/disaggregation = FALSE
13.99/14.03	c 
13.99/14.03	c # should presolving try to simplify knapsacks
13.99/14.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
13.99/14.03	c constraints/knapsack/simplifyinequalities = TRUE
13.99/14.03	c 
13.99/14.03	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
13.99/14.03	c # [type: int, range: [-1,2147483647], default: -1]
13.99/14.03	c presolving/probing/maxrounds = 0
13.99/14.03	c 
13.99/14.03	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
13.99/14.03	c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.03	c heuristics/coefdiving/freq = -1
13.99/14.03	c 
13.99/14.03	c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.03	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.03	c heuristics/coefdiving/maxlpiterquot = 0.075
13.99/14.03	c 
13.99/14.03	c # additional number of allowed LP iterations
13.99/14.03	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.03	c heuristics/coefdiving/maxlpiterofs = 1500
13.99/14.03	c 
13.99/14.03	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
13.99/14.03	c # [type: int, range: [-1,2147483647], default: 30]
13.99/14.03	c heuristics/crossover/freq = -1
13.99/14.03	c 
13.99/14.03	c # number of nodes added to the contingent of the total nodes
13.99/14.03	c # [type: longint, range: [0,9223372036854775807], default: 500]
13.99/14.03	c heuristics/crossover/nodesofs = 750
13.99/14.03	c 
13.99/14.03	c # number of nodes without incumbent change that heuristic should wait
13.99/14.03	c # [type: longint, range: [0,9223372036854775807], default: 200]
13.99/14.03	c heuristics/crossover/nwaitingnodes = 100
13.99/14.03	c 
13.99/14.03	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
13.99/14.03	c # [type: real, range: [0,1], default: 0.1]
13.99/14.03	c heuristics/crossover/nodesquot = 0.15
13.99/14.03	c 
13.99/14.03	c # minimum percentage of integer variables that have to be fixed 
13.99/14.03	c # [type: real, range: [0,1], default: 0.666]
13.99/14.03	c heuristics/crossover/minfixingrate = 0.5
13.99/14.03	c 
13.99/14.03	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
13.99/14.03	c # [type: int, range: [-1,2147483647], default: 20]
13.99/14.03	c heuristics/feaspump/freq = -1
13.99/14.03	c 
13.99/14.03	c # additional number of allowed LP iterations
13.99/14.03	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.03	c heuristics/feaspump/maxlpiterofs = 2000
13.99/14.03	c 
13.99/14.03	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
13.99/14.03	c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.03	c heuristics/fracdiving/freq = -1
13.99/14.03	c 
13.99/14.03	c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.03	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.03	c heuristics/fracdiving/maxlpiterquot = 0.075
13.99/14.03	c 
13.99/14.03	c # additional number of allowed LP iterations
13.99/14.03	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.03	c heuristics/fracdiving/maxlpiterofs = 1500
13.99/14.03	c 
13.99/14.03	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
13.99/14.03	c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.03	c heuristics/guideddiving/freq = -1
13.99/14.03	c 
13.99/14.03	c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.03	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.03	c heuristics/guideddiving/maxlpiterquot = 0.075
13.99/14.03	c 
13.99/14.03	c # additional number of allowed LP iterations
13.99/14.03	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.03	c heuristics/guideddiving/maxlpiterofs = 1500
13.99/14.03	c 
13.99/14.03	c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.03	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.03	c heuristics/intdiving/maxlpiterquot = 0.075
13.99/14.03	c 
13.99/14.03	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
13.99/14.03	c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.03	c heuristics/intshifting/freq = -1
13.99/14.03	c 
13.99/14.03	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
13.99/14.03	c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.03	c heuristics/linesearchdiving/freq = -1
13.99/14.03	c 
13.99/14.03	c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.03	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.03	c heuristics/linesearchdiving/maxlpiterquot = 0.075
13.99/14.03	c 
13.99/14.03	c # additional number of allowed LP iterations
13.99/14.03	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.03	c heuristics/linesearchdiving/maxlpiterofs = 1500
13.99/14.03	c 
13.99/14.03	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
13.99/14.03	c # [type: int, range: [-1,2147483647], default: 20]
13.99/14.03	c heuristics/objpscostdiving/freq = -1
13.99/14.03	c 
13.99/14.03	c # maximal fraction of diving LP iterations compared to total iteration number
13.99/14.03	c # [type: real, range: [0,1], default: 0.01]
13.99/14.03	c heuristics/objpscostdiving/maxlpiterquot = 0.015
13.99/14.03	c 
13.99/14.03	c # additional number of allowed LP iterations
13.99/14.03	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.03	c heuristics/objpscostdiving/maxlpiterofs = 1500
13.99/14.03	c 
13.99/14.03	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
13.99/14.03	c # [type: int, range: [-1,2147483647], default: 1]
13.99/14.03	c heuristics/oneopt/freq = -1
13.99/14.03	c 
13.99/14.03	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
13.99/14.03	c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.03	c heuristics/pscostdiving/freq = -1
13.99/14.03	c 
13.99/14.03	c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.03	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.03	c heuristics/pscostdiving/maxlpiterquot = 0.075
13.99/14.03	c 
13.99/14.03	c # additional number of allowed LP iterations
13.99/14.03	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.03	c heuristics/pscostdiving/maxlpiterofs = 1500
13.99/14.03	c 
13.99/14.03	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
13.99/14.03	c # [type: int, range: [-1,2147483647], default: 0]
13.99/14.03	c heuristics/rens/freq = -1
13.99/14.03	c 
13.99/14.03	c # minimum percentage of integer variables that have to be fixable 
13.99/14.03	c # [type: real, range: [0,1], default: 0.5]
13.99/14.03	c heuristics/rens/minfixingrate = 0.3
13.99/14.03	c 
13.99/14.03	c # number of nodes added to the contingent of the total nodes
13.99/14.03	c # [type: longint, range: [0,9223372036854775807], default: 500]
13.99/14.03	c heuristics/rens/nodesofs = 2000
13.99/14.03	c 
13.99/14.03	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
13.99/14.03	c # [type: int, range: [-1,2147483647], default: 20]
13.99/14.03	c heuristics/rootsoldiving/freq = -1
13.99/14.03	c 
13.99/14.03	c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.03	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
13.99/14.03	c heuristics/rootsoldiving/maxlpiterquot = 0.015
13.99/14.03	c 
13.99/14.03	c # additional number of allowed LP iterations
13.99/14.03	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.03	c heuristics/rootsoldiving/maxlpiterofs = 1500
13.99/14.03	c 
13.99/14.03	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
13.99/14.03	c # [type: int, range: [-1,2147483647], default: 1]
13.99/14.03	c heuristics/rounding/freq = -1
13.99/14.03	c 
13.99/14.03	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
13.99/14.03	c # [type: int, range: [-1,2147483647], default: 0]
13.99/14.03	c heuristics/shiftandpropagate/freq = -1
13.99/14.03	c 
13.99/14.03	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
13.99/14.03	c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.03	c heuristics/shifting/freq = -1
13.99/14.03	c 
13.99/14.03	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
13.99/14.03	c # [type: int, range: [-1,2147483647], default: 1]
13.99/14.03	c heuristics/simplerounding/freq = -1
13.99/14.03	c 
13.99/14.03	c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
13.99/14.03	c # [type: int, range: [-1,2147483647], default: 1]
13.99/14.03	c heuristics/subnlp/freq = -1
13.99/14.03	c 
13.99/14.03	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
13.99/14.03	c # [type: int, range: [-1,2147483647], default: 0]
13.99/14.03	c heuristics/trivial/freq = -1
13.99/14.03	c 
13.99/14.03	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
13.99/14.03	c # [type: int, range: [-1,2147483647], default: 1]
13.99/14.03	c heuristics/trysol/freq = -1
13.99/14.03	c 
13.99/14.03	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
13.99/14.03	c # [type: int, range: [-1,2147483647], default: 0]
13.99/14.03	c heuristics/undercover/freq = -1
13.99/14.03	c 
13.99/14.03	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
13.99/14.03	c # [type: int, range: [-1,2147483647], default: 10]
13.99/14.03	c heuristics/veclendiving/freq = -1
13.99/14.03	c 
13.99/14.03	c # maximal fraction of diving LP iterations compared to node LP iterations
13.99/14.03	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
13.99/14.03	c heuristics/veclendiving/maxlpiterquot = 0.075
13.99/14.03	c 
13.99/14.03	c # additional number of allowed LP iterations
13.99/14.03	c # [type: int, range: [0,2147483647], default: 1000]
13.99/14.03	c heuristics/veclendiving/maxlpiterofs = 1500
13.99/14.03	c 
13.99/14.03	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
13.99/14.03	c # [type: int, range: [-1,2147483647], default: 1]
13.99/14.03	c heuristics/zirounding/freq = -1
13.99/14.03	c 
13.99/14.03	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
13.99/14.03	c # [type: int, range: [-1,2147483647], default: 0]
13.99/14.03	c separating/cmir/freq = -1
13.99/14.03	c 
13.99/14.03	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
13.99/14.03	c # [type: int, range: [-1,2147483647], default: 0]
13.99/14.03	c separating/flowcover/freq = -1
13.99/14.03	c 
13.99/14.03	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
13.99/14.03	c # [type: int, range: [-1,2147483647], default: -1]
13.99/14.03	c separating/rapidlearning/freq = 0
13.99/14.03	c 
13.99/14.03	c -----------------------------------------------------------------------------------------------
13.99/14.03	c start solving
13.99/14.05	c 
50.79/50.86	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
50.79/50.86	c  50.9s|     1 |     0 |  1662 |     - |1177M|   0 | 169 |2800 | 990k|2800 | 990k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
87.59/87.63	c  87.6s|     1 |     0 |  2614 |     - |1178M|   0 | 193 |2800 | 990k|2800 | 990k|  24 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
230.10/230.15	c   230s|     1 |     0 |  6173 |     - |1178M|   0 | 284 |2800 | 990k|2800 | 990k|  45 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
290.30/290.39	c   290s|     1 |     0 |  7604 |     - |1178M|   0 | 294 |2800 | 990k|2800 | 990k|  60 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
346.99/347.03	c   347s|     1 |     0 |  8041 |     - |1178M|   0 | 331 |2800 | 990k|2800 | 990k|  82 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
422.70/422.70	c   423s|     1 |     0 |  8446 |     - |1179M|   0 | 363 |2800 | 990k|2800 | 990k| 101 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
556.51/556.59	c   557s|     1 |     2 |  8446 |     - |1179M|   0 | 363 |2800 | 990k|2800 | 990k| 101 |   0 |  17 | 0.000000e+00 |      --      |    Inf 
1800.04/1800.00	c 
1800.04/1800.00	c SCIP Status        : solving was interrupted [time limit reached]
1800.04/1800.00	c Solving Time (sec) : 1800.00
1800.04/1800.00	c Solving Nodes      : 5
1800.04/1800.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.04/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.00	c Gap                : infinite
1800.04/1800.00	s UNKNOWN
1800.04/1800.00	c SCIP Status        : solving was interrupted [time limit reached]
1800.04/1800.00	c Total Time         :    1800.00
1800.04/1800.00	c   solving          :    1800.00
1800.04/1800.00	c   presolving       :       8.35 (included in solving)
1800.04/1800.00	c   reading          :       5.10 (included in solving)
1800.04/1800.00	c Original Problem   :
1800.04/1800.00	c   Problem name     : HOME/instance-3485809-1307752470.opb
1800.04/1800.00	c   Variables        : 2800 (2800 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00	c   Constraints      : 990001 initial, 990001 maximal
1800.04/1800.00	c Presolved Problem  :
1800.04/1800.00	c   Problem name     : t_HOME/instance-3485809-1307752470.opb
1800.04/1800.00	c   Variables        : 2800 (2800 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00	c   Constraints      : 990001 initial, 990001 maximal
1800.04/1800.00	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1800.04/1800.00	c   trivial          :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.00	c   dualfix          :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.00	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.00	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.00	c   implics          :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.00	c   probing          :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.00	c   knapsack         :       0.61          0          0          0          0          0          0          0          0       3414
1800.04/1800.00	c   setppc           :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.00	c   linear           :       3.03          0          0          0          0          0          0          0          0          0
1800.04/1800.00	c   logicor          :       1.67          0          0          0          0          0          0          0          0          0
1800.04/1800.00	c   root node        :          -          0          -          -          0          -          -          -          -          -
1800.04/1800.00	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.00	c   integral         :          0          0          0          6          0          1          0          0          1          0          0         10
1800.04/1800.00	c   knapsack         :       3160          5         10          0          0          0          0          0         69        400          0          0
1800.04/1800.00	c   setppc           :       1280          5         10          0          0          0          0          0        261          0          0          0
1800.04/1800.00	c   linear           :          1          5         10          0          0          0          0          0          0          0          0          0
1800.04/1800.00	c   logicor          :     985560          5          6          0          0          0          0          0          3          0          0          0
1800.04/1800.00	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0
1800.04/1800.00	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1800.04/1800.00	c   integral         :    1179.36       0.00       0.00    1179.36       0.00       0.00       0.00
1800.04/1800.00	c   knapsack         :       0.03       0.03       0.00       0.00       0.00       0.00       0.00
1800.04/1800.00	c   setppc           :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.04/1800.00	c   linear           :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.04/1800.00	c   logicor          :       0.43       0.16       0.27       0.00       0.00       0.00       0.00
1800.04/1800.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.04/1800.00	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1800.04/1800.00	c   vbounds          :          0          0          0          0
1800.04/1800.00	c   rootredcost      :          0          0          0          0
1800.04/1800.00	c   pseudoobj        :          0          0          0          0
1800.04/1800.00	c Propagator Timings :  TotalTime  Propagate    Resprop
1800.04/1800.00	c   vbounds          :       0.00       0.00       0.00
1800.04/1800.00	c   rootredcost      :       0.00       0.00       0.00
1800.04/1800.00	c   pseudoobj        :       0.00       0.00       0.00
1800.04/1800.00	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.00	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.00	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.00	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.00	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.00	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.00	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.04/1800.00	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.00	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.00	c   cut pool         :       0.00          4          -          -          7          -    (maximal pool size: 276)
1800.04/1800.00	c   redcost          :       0.00          9          0          0          0          0
1800.04/1800.00	c   impliedbounds    :       0.00          5          0          0          0          0
1800.04/1800.00	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.00	c   gomory           :     129.34          5          0          0       2500          0
1800.04/1800.00	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.00	c   closecuts        :       0.00          0          0          0          0          0
1800.04/1800.00	c   strongcg         :      94.12          5          0          0       2500          0
1800.04/1800.00	c   cmir             :       0.00          0          0          0          0          0
1800.04/1800.00	c   flowcover        :       0.00          0          0          0          0          0
1800.04/1800.00	c   clique           :       0.01          5          0          0          0          0
1800.04/1800.00	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.00	c   mcf              :       0.00          0          0          0          0          0
1800.04/1800.00	c   oddcycle         :       0.00          0          0          0          0          0
1800.04/1800.00	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.00	c Pricers            :       Time      Calls       Vars
1800.04/1800.00	c   problem variables:       0.00          0          0
1800.04/1800.00	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.00	c   relpscost        :    1179.36          6          0          1          0          0         10
1800.04/1800.00	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.00	c   inference        :       0.00          0          0          0          0          0          0
1800.04/1800.00	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.00	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.00	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.00	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.00	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.00	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.00	c   LP solutions     :       0.00          -          0
1800.04/1800.00	c   pseudo solutions :       0.00          -          0
1800.04/1800.00	c   trivial          :       0.21          1          0
1800.04/1800.00	c   shiftandpropagate:       0.00          0          0
1800.04/1800.00	c   simplerounding   :       0.00          0          0
1800.04/1800.00	c   zirounding       :       0.00          0          0
1800.04/1800.00	c   rounding         :       0.00          0          0
1800.04/1800.00	c   shifting         :       0.00          0          0
1800.04/1800.00	c   intshifting      :       0.00          0          0
1800.04/1800.00	c   oneopt           :       0.00          0          0
1800.04/1800.00	c   twoopt           :       0.00          0          0
1800.04/1800.00	c   fixandinfer      :       0.00          0          0
1800.04/1800.00	c   feaspump         :       0.00          0          0
1800.04/1800.00	c   clique           :       0.00          0          0
1800.04/1800.00	c   coefdiving       :       0.00          0          0
1800.04/1800.00	c   pscostdiving     :       0.00          0          0
1800.04/1800.00	c   fracdiving       :       0.00          0          0
1800.04/1800.00	c   veclendiving     :       0.00          0          0
1800.04/1800.00	c   intdiving        :       0.00          0          0
1800.04/1800.00	c   actconsdiving    :       0.00          0          0
1800.04/1800.00	c   objpscostdiving  :       0.00          0          0
1800.04/1800.00	c   rootsoldiving    :       0.00          0          0
1800.04/1800.00	c   linesearchdiving :       0.00          0          0
1800.04/1800.00	c   guideddiving     :       0.00          0          0
1800.04/1800.00	c   octane           :       0.00          0          0
1800.04/1800.00	c   rens             :       0.00          0          0
1800.04/1800.00	c   rins             :       0.00          0          0
1800.04/1800.00	c   localbranching   :       0.00          0          0
1800.04/1800.00	c   mutation         :       0.00          0          0
1800.04/1800.00	c   crossover        :       0.00          0          0
1800.04/1800.00	c   dins             :       0.00          0          0
1800.04/1800.00	c   vbounds          :       0.00          0          0
1800.04/1800.00	c   undercover       :       0.00          0          0
1800.04/1800.00	c   subnlp           :       0.00          0          0
1800.04/1800.00	c   trysol           :       0.00          0          0
1800.04/1800.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.00	c   primal LP        :       0.33          0          0       0.00       0.00
1800.04/1800.00	c   dual LP          :     379.43         11      18825    1711.36      49.61
1800.04/1800.00	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.00	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.00	c   diving/probing LP:       0.00          0          0       0.00          -
1800.04/1800.00	c   strong branching :    1179.16        196      42171     215.16      35.76
1800.04/1800.00	c     (at root node) :          -         17       5111     300.65          -
1800.04/1800.00	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.00	c B&B Tree           :
1800.04/1800.00	c   number of runs   :          1
1800.04/1800.00	c   nodes            :          5
1800.04/1800.00	c   nodes (total)    :          5
1800.04/1800.00	c   nodes left       :          6
1800.04/1800.00	c   max depth        :          4
1800.04/1800.00	c   max depth (total):          4
1800.04/1800.00	c   backtracks       :          0 (0.0%)
1800.04/1800.00	c   delayed cutoffs  :          0
1800.04/1800.00	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.04/1800.00	c   avg switch length:       1.00
1800.04/1800.00	c   switching time   :       0.43
1800.04/1800.00	c Solution           :
1800.04/1800.00	c   Solutions found  :          0 (0 improvements)
1800.04/1800.00	c   Primal Bound     :          -
1800.04/1800.00	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.00	c   Gap              :   infinite

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3485809-1307752470/watcher-3485809-1307752470 -o /tmp/evaluation-result-3485809-1307752470/solver-3485809-1307752470 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485809-1307752470.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: 1.92 1.98 1.79 3/177 31506
/proc/meminfo: memFree=31166460/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=6720 CPUtime=0 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 827 0 0 0 0 0 0 0 23 0 1 0 965477711 6881280 782 33554432000 4194304 8979876 140733991249296 18446744073709551615 7841099 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31506/statm: 1680 782 316 1169 0 507 0

[startup+0.043694 s]
/proc/loadavg: 1.92 1.98 1.79 3/177 31506
/proc/meminfo: memFree=31166460/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=13808 CPUtime=0.03 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 2448 0 0 0 3 0 0 0 24 0 1 0 965477711 14139392 2403 33554432000 4194304 8979876 140733991249296 18446744073709551615 7807857 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31506/statm: 3452 2403 363 1169 0 2279 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13808

[startup+0.100679 s]
/proc/loadavg: 1.92 1.98 1.79 3/177 31506
/proc/meminfo: memFree=31166460/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=17536 CPUtime=0.09 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 3388 0 0 0 9 0 0 0 24 0 1 0 965477711 17956864 3343 33554432000 4194304 8979876 140733991249296 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31506/statm: 4384 3343 363 1169 0 3211 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17536

[startup+0.300644 s]
/proc/loadavg: 1.92 1.98 1.79 3/177 31506
/proc/meminfo: memFree=31166460/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=28352 CPUtime=0.29 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 6087 0 0 0 28 1 0 0 25 0 1 0 965477711 29032448 6042 33554432000 4194304 8979876 140733991249296 18446744073709551615 7836088 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31506/statm: 7088 6042 363 1169 0 5915 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28352

[startup+0.700572 s]
/proc/loadavg: 1.92 1.98 1.79 3/177 31506
/proc/meminfo: memFree=31166460/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=52700 CPUtime=0.68 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 12140 0 0 0 67 1 0 0 25 0 1 0 965477711 53964800 12095 33554432000 4194304 8979876 140733991249296 18446744073709551615 4327909 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31506/statm: 13175 12095 363 1169 0 12002 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 52700

[startup+1.50043 s]
/proc/loadavg: 1.92 1.98 1.79 3/178 31507
/proc/meminfo: memFree=31102732/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=99276 CPUtime=1.48 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 23753 0 0 0 146 2 0 0 25 0 1 0 965477711 101658624 23708 33554432000 4194304 8979876 140733991249296 18446744073709551615 4446992 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31506/statm: 24819 23708 363 1169 0 23646 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 99276

[startup+3.10013 s]
/proc/loadavg: 1.92 1.98 1.79 3/178 31507
/proc/meminfo: memFree=31037136/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=192712 CPUtime=3.09 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 47024 0 0 0 303 6 0 0 25 0 1 0 965477711 197337088 46979 33554432000 4194304 8979876 140733991249296 18446744073709551615 4446992 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31506/statm: 48178 46979 363 1169 0 47005 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 192712

[startup+6.30056 s]
/proc/loadavg: 2.09 2.02 1.80 3/178 31507
/proc/meminfo: memFree=30685540/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=919536 CPUtime=6.29 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 229672 0 0 0 602 27 0 0 25 0 1 0 965477711 941604864 227738 33554432000 4194304 8979876 140733991249296 18446744073709551615 7841099 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31506/statm: 229884 227739 448 1169 0 228711 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 919536

[startup+12.7004 s]
/proc/loadavg: 2.08 2.02 1.80 3/178 31507
/proc/meminfo: memFree=29872596/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=1280644 CPUtime=12.68 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 455983 0 0 0 1216 52 0 0 25 0 1 0 965477711 1311379456 317590 33554432000 4194304 8979876 140733991249296 18446744073709551615 18446744073699065939 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31506/statm: 320161 317590 516 1169 0 318988 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1280644

[startup+25.501 s]
/proc/loadavg: 2.06 2.01 1.81 3/178 31508
/proc/meminfo: memFree=28848568/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=2476564 CPUtime=25.49 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 827537 0 0 0 2456 93 0 0 25 0 1 0 965477711 2536001536 579188 33554432000 4194304 8979876 140733991249296 18446744073709551615 6829028 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31506/statm: 619141 579188 741 1169 0 617968 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2476564

[startup+51.1004 s]
/proc/loadavg: 2.04 2.01 1.81 3/178 31508
/proc/meminfo: memFree=28829080/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=2290560 CPUtime=51.09 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 875261 0 0 0 5010 99 0 0 25 0 1 0 965477711 2345533440 554737 33554432000 4194304 8979876 140733991249296 18446744073709551615 6890423 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31506/statm: 572640 554737 1751 1169 0 571467 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 2290560

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 1.82 3/178 31510
/proc/meminfo: memFree=28894152/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=2383124 CPUtime=102.3 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 906862 0 0 0 10126 104 0 0 25 0 1 0 965477711 2440318976 567721 33554432000 4194304 8979876 140733991249296 18446744073709551615 6890417 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31506/statm: 595781 567721 882 1169 0 594608 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 2383124

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.83 3/178 31511
/proc/meminfo: memFree=28856664/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=2422360 CPUtime=162.3 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 926142 0 0 0 16122 108 0 0 25 0 1 0 965477711 2480496640 577089 33554432000 4194304 8979876 140733991249296 18446744073709551615 7146192 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31506/statm: 605590 577089 839 1169 0 604417 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 2422360

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.83 3/178 31513
/proc/meminfo: memFree=28832528/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=2447332 CPUtime=222.29 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 939757 0 0 0 22117 112 0 0 25 0 1 0 965477711 2506067968 583232 33554432000 4194304 8979876 140733991249296 18446744073709551615 6937197 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31506/statm: 611833 583232 982 1169 0 610660 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 2447332

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.84 3/178 31517
/proc/meminfo: memFree=28803312/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=2488796 CPUtime=282.3 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 960552 0 0 0 28113 117 0 0 25 0 1 0 965477711 2548527104 587447 33554432000 4194304 8979876 140733991249296 18446744073709551615 7146256 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31506/statm: 622199 587447 1226 1169 0 621026 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 2488796

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.84 3/178 31519
/proc/meminfo: memFree=28790448/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=2479116 CPUtime=342.3 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 975069 0 0 0 34111 119 0 0 25 0 1 0 965477711 2538614784 590090 33554432000 4194304 8979876 140733991249296 18446744073709551615 7121339 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31506/statm: 619779 590090 899 1169 0 618606 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 2479116

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.85 3/178 31521
/proc/meminfo: memFree=28790368/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=2479116 CPUtime=402.3 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 975259 0 0 0 40109 121 0 0 25 0 1 0 965477711 2538614784 590093 33554432000 4194304 8979876 140733991249296 18446744073709551615 7836169 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31506/statm: 619779 590093 899 1169 0 618606 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2479116

[startup+462.301 s]
/proc/loadavg: 2.06 2.02 1.86 3/178 31522
/proc/meminfo: memFree=28805560/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=2480020 CPUtime=462.3 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 1025429 0 0 0 46101 129 0 0 25 0 1 0 965477711 2539540480 586381 33554432000 4194304 8979876 140733991249296 18446744073709551615 7146472 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31506/statm: 620005 586381 841 1169 0 618832 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2480020

[startup+522.301 s]
/proc/loadavg: 2.02 2.01 1.87 3/178 31524
/proc/meminfo: memFree=28794452/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=2439428 CPUtime=522.3 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 1068776 0 0 0 52094 136 0 0 25 0 1 0 965477711 2497974272 581394 33554432000 4194304 8979876 140733991249296 18446744073709551615 7146491 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31506/statm: 609857 581394 841 1169 0 608684 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2439428

[startup+582.301 s]
/proc/loadavg: 2.01 2.00 1.87 3/178 31525
/proc/meminfo: memFree=28754228/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=2535560 CPUtime=582.3 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 1137174 0 0 0 58085 145 0 0 25 0 1 0 965477711 2596413440 599005 33554432000 4194304 8979876 140733991249296 18446744073709551615 6820818 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31506/statm: 633890 599005 884 1169 0 632717 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2535560

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/178 31533
/proc/meminfo: memFree=28776352/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=2505532 CPUtime=882.31 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 1489812 0 0 0 88036 195 0 0 25 0 1 0 965477711 2565664768 593471 33554432000 4194304 8979876 140733991249296 18446744073709551615 6820793 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31506/statm: 626383 593471 872 1169 0 625210 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 2505532

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 31535
/proc/meminfo: memFree=28778648/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=2505532 CPUtime=942.31 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 1553433 0 0 0 94027 204 0 0 25 0 1 0 965477711 2565664768 592952 33554432000 4194304 8979876 140733991249296 18446744073709551615 7146342 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31506/statm: 626383 592952 881 1169 0 625210 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 2505532

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 31537
/proc/meminfo: memFree=28774724/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=2506852 CPUtime=1002.32 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 1572882 0 0 0 100023 209 0 0 25 0 1 0 965477711 2567016448 593805 33554432000 4194304 8979876 140733991249296 18446744073709551615 7146163 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31506/statm: 626713 593805 846 1169 0 625540 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 2506852

[startup+1062.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/178 31538
/proc/meminfo: memFree=28778996/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=2505448 CPUtime=1062.32 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 1589278 0 0 0 106020 212 0 0 25 0 1 0 965477711 2565578752 592913 33554432000 4194304 8979876 140733991249296 18446744073709551615 6820793 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31506/statm: 626362 592913 846 1169 0 625189 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2505448

[startup+1122.3 s]
/proc/loadavg: 1.93 1.99 1.91 3/178 31655
/proc/meminfo: memFree=29263548/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=2489552 CPUtime=1122.32 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 1669845 0 0 0 112009 223 0 0 25 0 1 0 965477711 2549301248 590325 33554432000 4194304 8979876 140733991249296 18446744073709551615 7146602 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31506/statm: 622388 590325 1328 1169 0 621215 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2489552

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 32150
/proc/meminfo: memFree=29259836/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=2469360 CPUtime=1182.32 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 1730596 0 0 0 117999 233 0 0 25 0 1 0 965477711 2528624640 584842 33554432000 4194304 8979876 140733991249296 18446744073709551615 6820818 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31506/statm: 617340 584842 846 1169 0 616167 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2469360

[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 1.92 3/178 32152
/proc/meminfo: memFree=29235960/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=2465140 CPUtime=1242.32 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 1822943 0 0 0 123988 244 0 0 25 0 1 0 965477711 2524303360 584513 33554432000 4194304 8979876 140733991249296 18446744073709551615 6883931 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31506/statm: 616285 584513 846 1169 0 615112 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2465140

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/178 32154
/proc/meminfo: memFree=29193528/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=2547576 CPUtime=1302.33 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 1865753 0 0 0 129982 251 0 0 25 0 1 0 965477711 2608717824 600349 33554432000 4194304 8979876 140733991249296 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31506/statm: 636894 600349 2060 1169 0 635721 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2547576

[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 32155
/proc/meminfo: memFree=29217148/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=2474128 CPUtime=1362.33 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 1928298 0 0 0 135974 259 0 0 25 0 1 0 965477711 2533507072 589920 33554432000 4194304 8979876 140733991249296 18446744073709551615 7179778 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31506/statm: 618532 589920 846 1169 0 617359 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 2474128

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32157
/proc/meminfo: memFree=29200620/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=2507800 CPUtime=1422.33 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 1963977 0 0 0 141968 265 0 0 25 0 1 0 965477711 2567987200 594030 33554432000 4194304 8979876 140733991249296 18446744073709551615 7146192 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31506/statm: 626950 594030 846 1169 0 625777 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 2507800

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32158
/proc/meminfo: memFree=29234188/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=2469764 CPUtime=1482.34 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 1987242 0 0 0 147963 271 0 0 25 0 1 0 965477711 2529038336 585558 33554432000 4194304 8979876 140733991249296 18446744073709551615 6829040 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31506/statm: 617441 585558 846 1169 0 616268 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 2469764

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32160
/proc/meminfo: memFree=29209224/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=2484052 CPUtime=1542.33 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 2010480 0 0 0 153957 276 0 0 25 0 1 0 965477711 2543669248 592559 33554432000 4194304 8979876 140733991249296 18446744073709551615 7146192 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31506/statm: 621013 592559 1842 1169 0 619840 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2484052

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32171
/proc/meminfo: memFree=29207864/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=2484052 CPUtime=1602.33 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 2055978 0 0 0 159950 283 0 0 25 0 1 0 965477711 2543669248 592559 33554432000 4194304 8979876 140733991249296 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31506/statm: 621013 592559 1695 1169 0 619840 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 2484052

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32172
/proc/meminfo: memFree=29205068/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=2485012 CPUtime=1662.33 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 2079966 0 0 0 165945 288 0 0 25 0 1 0 965477711 2544652288 592799 33554432000 4194304 8979876 140733991249296 18446744073709551615 6820799 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31506/statm: 621253 592799 1608 1169 0 620080 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2485012

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32174
/proc/meminfo: memFree=29190744/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=2512296 CPUtime=1722.34 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 2106008 0 0 0 171941 293 0 0 25 0 1 0 965477711 2572591104 596111 33554432000 4194304 8979876 140733991249296 18446744073709551615 7146192 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31506/statm: 628074 596111 1608 1169 0 626901 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 2512296

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 32175
/proc/meminfo: memFree=29229892/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=2510948 CPUtime=1782.34 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 2209431 0 0 0 177927 307 0 0 25 0 1 0 965477711 2571210752 592296 33554432000 4194304 8979876 140733991249296 18446744073709551615 7180111 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/31506/statm: 627737 592296 846 1169 0 626564 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 2510948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.07 2.02 1.93 3/178 32176
/proc/meminfo: memFree=29197888/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=2511880 CPUtime=1800.04 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) R 31504 31506 30098 0 -1 4202496 2232917 0 0 0 179694 310 0 0 25 0 1 0 965477711 2572165120 592336 33554432000 4194304 8979876 140733991249296 18446744073709551615 7893792 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31506/statm: 627970 592336 848 1169 0 626797 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2511880

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

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

[startup+1800.2 s]
/proc/loadavg: 2.07 2.02 1.93 3/178 32176
/proc/meminfo: memFree=29197888/32951124 swapFree=67056304/67111528
[pid=31506] ppid=31504 vsize=0 CPUtime=1800.13 cores=1,3,5,7
/proc/31506/stat : 31506 (scip-2.0.1.4_2.) S 31504 31506 30098 0 -1 4203524 2232917 0 0 0 179694 319 0 0 25 0 1 0 965477711 0 0 33554432000 0 0 0 0 0 0 2147483391 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/31506/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.2
CPU time (s): 1800.14
CPU user time (s): 1796.95
CPU system time (s): 3.19751
CPU usage (%): 99.9967
Max. virtual memory (cumulated for all children) (KiB): 2653684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.95
system time used= 3.19751
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2232917
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 3526

runsolver used 2.83157 second user time and 6.91995 second system time

The end

Launcher Data 

Begin job on node110 at 2011-06-11 02:34:31
IDJOB=3485809
IDBENCH=1388
IDSOLVER=1977
FILE ID=node110/3485809-1307752470
RUNJOBID= node110-1307750177-30117
PBS_JOBID= 13550851
Free space on /tmp= 74092 MiB

SOLVER NAME= SCIP spx 2 2011-06-10 (fixed)
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb
COMMAND LINE= HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3485809-1307752470/watcher-3485809-1307752470 -o /tmp/evaluation-result-3485809-1307752470/solver-3485809-1307752470 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485809-1307752470.opb -t 1800 -m 15500

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

MD5SUM BENCH= e436f4a609b5bae6a8ddfe1313c390fe
RANDOM SEED=938908953

node110.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.830
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.66
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.830
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	: 5332.83
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.830
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.830
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.83
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.830
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.76
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.830
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.83
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.830
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.74
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.830
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31166772 kB
Buffers:        269180 kB
Cached:         779956 kB
SwapCached:       8464 kB
Active:        1014184 kB
Inactive:       536776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31166772 kB
SwapTotal:    67111528 kB
SwapFree:     67056304 kB
Dirty:           50852 kB
Writeback:           0 kB
AnonPages:      500000 kB
Mapped:          15856 kB
Slab:           168076 kB
PageTables:       5848 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   722120 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= 74076 MiB
End job on node110 at 2011-06-11 03:04:33