Trace number 3489823

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 E_2 2011-06-10 (fixed)? 143.631 143.626

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-182.opb
MD5SUM378c188d79de101f4114d358aff291a2
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables599527
Total number of constraints14097016
Number of constraints which are clauses12663693
Number of constraints which are cardinality constraints (but not clauses)44152
Number of constraints which are nor clauses,nor cardinality constraints1389171
Minimum length of a constraint2
Maximum length of a constraint3822
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 3823
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.00	c SCIP version 2.0.1.5 [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-3489823-1307794983.opb>
82.79/82.84	c original problem has 599527 variables (599527 bin, 0 int, 0 impl, 0 cont) and 14097016 constraints
82.79/82.84	c problem read
82.79/82.85	c No objective function, only one solution is needed.
82.79/82.86	c presolving settings loaded
99.39/99.41	c presolving:
99.39/99.41	c presolving (0 rounds):
99.39/99.41	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
99.39/99.41	c  0 implications, 0 cliques
99.39/99.41	c presolving was interrupted.
99.39/99.41	c Presolving Time: 1.00
99.39/99.41	c - non default parameters ----------------------------------------------------------------------
99.39/99.41	c # SCIP version 2.0.1.5
99.39/99.41	c 
99.39/99.41	c # frequency for displaying node information lines
99.39/99.41	c # [type: int, range: [-1,2147483647], default: 100]
99.39/99.41	c display/freq = 10000
99.39/99.41	c 
99.39/99.41	c # maximal time in seconds to run
99.39/99.41	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
99.39/99.41	c limits/time = 1797
99.39/99.41	c 
99.39/99.41	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
99.39/99.41	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
99.39/99.41	c limits/memory = 13950
99.39/99.41	c 
99.39/99.41	c # solving stops, if the given number of solutions were found (-1: no limit)
99.39/99.41	c # [type: int, range: [-1,2147483647], default: -1]
99.39/99.41	c limits/solutions = 1
99.39/99.41	c 
99.39/99.41	c # maximal number of separation rounds per node (-1: unlimited)
99.39/99.41	c # [type: int, range: [-1,2147483647], default: 5]
99.39/99.41	c separating/maxrounds = 1
99.39/99.41	c 
99.39/99.41	c # maximal number of separation rounds in the root node (-1: unlimited)
99.39/99.41	c # [type: int, range: [-1,2147483647], default: -1]
99.39/99.41	c separating/maxroundsroot = 5
99.39/99.41	c 
99.39/99.41	c # default clock type (1: CPU user seconds, 2: wall clock time)
99.39/99.41	c # [type: int, range: [1,2], default: 1]
99.39/99.41	c timing/clocktype = 2
99.39/99.41	c 
99.39/99.41	c # belongs reading time to solving time?
99.39/99.41	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
99.39/99.41	c timing/reading = TRUE
99.39/99.41	c 
99.39/99.41	c # should presolving try to simplify inequalities
99.39/99.41	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
99.39/99.41	c constraints/linear/simplifyinequalities = TRUE
99.39/99.41	c 
99.39/99.41	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
99.39/99.41	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
99.39/99.41	c constraints/indicator/addCouplingCons = TRUE
99.39/99.41	c 
99.39/99.41	c # should disaggregation of knapsack constraints be allowed in preprocessing?
99.39/99.41	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
99.39/99.41	c constraints/knapsack/disaggregation = FALSE
99.39/99.41	c 
99.39/99.41	c # should presolving try to simplify knapsacks
99.39/99.41	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
99.39/99.41	c constraints/knapsack/simplifyinequalities = TRUE
99.39/99.41	c 
99.39/99.41	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
99.39/99.41	c # [type: int, range: [-1,2147483647], default: -1]
99.39/99.41	c presolving/probing/maxrounds = 0
99.39/99.41	c 
99.39/99.41	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
99.39/99.41	c # [type: int, range: [-1,2147483647], default: 10]
99.39/99.41	c heuristics/coefdiving/freq = -1
99.39/99.41	c 
99.39/99.41	c # maximal fraction of diving LP iterations compared to node LP iterations
99.39/99.41	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
99.39/99.41	c heuristics/coefdiving/maxlpiterquot = 0.075
99.39/99.41	c 
99.39/99.41	c # additional number of allowed LP iterations
99.39/99.41	c # [type: int, range: [0,2147483647], default: 1000]
99.39/99.41	c heuristics/coefdiving/maxlpiterofs = 1500
99.39/99.41	c 
99.39/99.41	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
99.39/99.41	c # [type: int, range: [-1,2147483647], default: 30]
99.39/99.41	c heuristics/crossover/freq = -1
99.39/99.41	c 
99.39/99.41	c # number of nodes added to the contingent of the total nodes
99.39/99.41	c # [type: longint, range: [0,9223372036854775807], default: 500]
99.39/99.41	c heuristics/crossover/nodesofs = 750
99.39/99.41	c 
99.39/99.41	c # number of nodes without incumbent change that heuristic should wait
99.39/99.41	c # [type: longint, range: [0,9223372036854775807], default: 200]
99.39/99.41	c heuristics/crossover/nwaitingnodes = 100
99.39/99.41	c 
99.39/99.41	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
99.39/99.41	c # [type: real, range: [0,1], default: 0.1]
99.39/99.41	c heuristics/crossover/nodesquot = 0.15
99.39/99.41	c 
99.39/99.41	c # minimum percentage of integer variables that have to be fixed 
99.39/99.41	c # [type: real, range: [0,1], default: 0.666]
99.39/99.41	c heuristics/crossover/minfixingrate = 0.5
99.39/99.41	c 
99.39/99.41	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
99.39/99.41	c # [type: int, range: [-1,2147483647], default: 20]
99.39/99.41	c heuristics/feaspump/freq = -1
99.39/99.41	c 
99.39/99.41	c # additional number of allowed LP iterations
99.39/99.41	c # [type: int, range: [0,2147483647], default: 1000]
99.39/99.41	c heuristics/feaspump/maxlpiterofs = 2000
99.39/99.41	c 
99.39/99.41	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
99.39/99.41	c # [type: int, range: [-1,2147483647], default: 10]
99.39/99.41	c heuristics/fracdiving/freq = -1
99.39/99.41	c 
99.39/99.41	c # maximal fraction of diving LP iterations compared to node LP iterations
99.39/99.41	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
99.39/99.41	c heuristics/fracdiving/maxlpiterquot = 0.075
99.39/99.41	c 
99.39/99.41	c # additional number of allowed LP iterations
99.39/99.41	c # [type: int, range: [0,2147483647], default: 1000]
99.39/99.41	c heuristics/fracdiving/maxlpiterofs = 1500
99.39/99.41	c 
99.39/99.41	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
99.39/99.41	c # [type: int, range: [-1,2147483647], default: 10]
99.39/99.41	c heuristics/guideddiving/freq = -1
99.39/99.41	c 
99.39/99.41	c # maximal fraction of diving LP iterations compared to node LP iterations
99.39/99.41	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
99.39/99.41	c heuristics/guideddiving/maxlpiterquot = 0.075
99.39/99.41	c 
99.39/99.41	c # additional number of allowed LP iterations
99.39/99.41	c # [type: int, range: [0,2147483647], default: 1000]
99.39/99.41	c heuristics/guideddiving/maxlpiterofs = 1500
99.39/99.41	c 
99.39/99.41	c # maximal fraction of diving LP iterations compared to node LP iterations
99.39/99.41	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
99.39/99.41	c heuristics/intdiving/maxlpiterquot = 0.075
99.39/99.41	c 
99.39/99.41	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
99.39/99.41	c # [type: int, range: [-1,2147483647], default: 10]
99.39/99.41	c heuristics/intshifting/freq = -1
99.39/99.41	c 
99.39/99.41	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
99.39/99.41	c # [type: int, range: [-1,2147483647], default: 10]
99.39/99.41	c heuristics/linesearchdiving/freq = -1
99.39/99.41	c 
99.39/99.41	c # maximal fraction of diving LP iterations compared to node LP iterations
99.39/99.41	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
99.39/99.41	c heuristics/linesearchdiving/maxlpiterquot = 0.075
99.39/99.41	c 
99.39/99.41	c # additional number of allowed LP iterations
99.39/99.41	c # [type: int, range: [0,2147483647], default: 1000]
99.39/99.41	c heuristics/linesearchdiving/maxlpiterofs = 1500
99.39/99.41	c 
99.39/99.41	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
99.39/99.41	c # [type: int, range: [-1,2147483647], default: 20]
99.39/99.41	c heuristics/objpscostdiving/freq = -1
99.39/99.41	c 
99.39/99.41	c # maximal fraction of diving LP iterations compared to total iteration number
99.39/99.41	c # [type: real, range: [0,1], default: 0.01]
99.39/99.41	c heuristics/objpscostdiving/maxlpiterquot = 0.015
99.39/99.41	c 
99.39/99.41	c # additional number of allowed LP iterations
99.39/99.41	c # [type: int, range: [0,2147483647], default: 1000]
99.39/99.41	c heuristics/objpscostdiving/maxlpiterofs = 1500
99.39/99.41	c 
99.39/99.41	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
99.39/99.41	c # [type: int, range: [-1,2147483647], default: 1]
99.39/99.41	c heuristics/oneopt/freq = -1
99.39/99.41	c 
99.39/99.41	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
99.39/99.41	c # [type: int, range: [-1,2147483647], default: 10]
99.39/99.41	c heuristics/pscostdiving/freq = -1
99.39/99.41	c 
99.39/99.41	c # maximal fraction of diving LP iterations compared to node LP iterations
99.39/99.41	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
99.39/99.41	c heuristics/pscostdiving/maxlpiterquot = 0.075
99.39/99.41	c 
99.39/99.41	c # additional number of allowed LP iterations
99.39/99.41	c # [type: int, range: [0,2147483647], default: 1000]
99.39/99.41	c heuristics/pscostdiving/maxlpiterofs = 1500
99.39/99.41	c 
99.39/99.41	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
99.39/99.41	c # [type: int, range: [-1,2147483647], default: 0]
99.39/99.41	c heuristics/rens/freq = -1
99.39/99.41	c 
99.39/99.41	c # minimum percentage of integer variables that have to be fixable 
99.39/99.41	c # [type: real, range: [0,1], default: 0.5]
99.39/99.41	c heuristics/rens/minfixingrate = 0.3
99.39/99.41	c 
99.39/99.41	c # number of nodes added to the contingent of the total nodes
99.39/99.41	c # [type: longint, range: [0,9223372036854775807], default: 500]
99.39/99.41	c heuristics/rens/nodesofs = 2000
99.39/99.41	c 
99.39/99.41	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
99.39/99.41	c # [type: int, range: [-1,2147483647], default: 20]
99.39/99.41	c heuristics/rootsoldiving/freq = -1
99.39/99.41	c 
99.39/99.41	c # maximal fraction of diving LP iterations compared to node LP iterations
99.39/99.41	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
99.39/99.41	c heuristics/rootsoldiving/maxlpiterquot = 0.015
99.39/99.41	c 
99.39/99.41	c # additional number of allowed LP iterations
99.39/99.41	c # [type: int, range: [0,2147483647], default: 1000]
99.39/99.41	c heuristics/rootsoldiving/maxlpiterofs = 1500
99.39/99.41	c 
99.39/99.41	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
99.39/99.41	c # [type: int, range: [-1,2147483647], default: 1]
99.39/99.41	c heuristics/rounding/freq = -1
99.39/99.41	c 
99.39/99.41	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
99.39/99.41	c # [type: int, range: [-1,2147483647], default: 0]
99.39/99.41	c heuristics/shiftandpropagate/freq = -1
99.39/99.41	c 
99.39/99.41	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
99.39/99.41	c # [type: int, range: [-1,2147483647], default: 10]
99.39/99.41	c heuristics/shifting/freq = -1
99.39/99.41	c 
99.39/99.41	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
99.39/99.41	c # [type: int, range: [-1,2147483647], default: 1]
99.39/99.41	c heuristics/simplerounding/freq = -1
99.39/99.41	c 
99.39/99.41	c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
99.39/99.41	c # [type: int, range: [-1,2147483647], default: 1]
99.39/99.41	c heuristics/subnlp/freq = -1
99.39/99.41	c 
99.39/99.41	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
99.39/99.41	c # [type: int, range: [-1,2147483647], default: 0]
99.39/99.41	c heuristics/trivial/freq = -1
99.39/99.41	c 
99.39/99.41	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
99.39/99.41	c # [type: int, range: [-1,2147483647], default: 1]
99.39/99.41	c heuristics/trysol/freq = -1
99.39/99.41	c 
99.39/99.41	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
99.39/99.41	c # [type: int, range: [-1,2147483647], default: 0]
99.39/99.41	c heuristics/undercover/freq = -1
99.39/99.41	c 
99.39/99.41	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
99.39/99.41	c # [type: int, range: [-1,2147483647], default: 10]
99.39/99.41	c heuristics/veclendiving/freq = -1
99.39/99.41	c 
99.39/99.41	c # maximal fraction of diving LP iterations compared to node LP iterations
99.39/99.41	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
99.39/99.41	c heuristics/veclendiving/maxlpiterquot = 0.075
99.39/99.41	c 
99.39/99.41	c # additional number of allowed LP iterations
99.39/99.41	c # [type: int, range: [0,2147483647], default: 1000]
99.39/99.41	c heuristics/veclendiving/maxlpiterofs = 1500
99.39/99.41	c 
99.39/99.41	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
99.39/99.41	c # [type: int, range: [-1,2147483647], default: 1]
99.39/99.41	c heuristics/zirounding/freq = -1
99.39/99.41	c 
99.39/99.41	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
99.39/99.41	c # [type: int, range: [-1,2147483647], default: 0]
99.39/99.41	c separating/cmir/freq = -1
99.39/99.41	c 
99.39/99.41	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
99.39/99.41	c # [type: int, range: [-1,2147483647], default: 0]
99.39/99.41	c separating/flowcover/freq = -1
99.39/99.41	c 
99.39/99.41	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
99.39/99.41	c # [type: int, range: [-1,2147483647], default: -1]
99.39/99.41	c separating/rapidlearning/freq = 0
99.39/99.41	c 
99.39/99.41	c -----------------------------------------------------------------------------------------------
99.39/99.41	c start solving
99.39/99.41	c presolving:
99.39/99.41	c presolving (0 rounds):
99.39/99.41	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
99.39/99.41	c  0 implications, 0 cliques
99.39/99.41	c presolving was interrupted.
99.39/99.41	c Presolving Time: 1.00
99.39/99.41	c 
99.39/99.41	c SCIP Status        : solving was interrupted [memory limit reached]
99.39/99.41	c Solving Time (sec) : 99.39
99.39/99.41	c Solving Nodes      : 0
99.39/99.41	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
99.39/99.41	s UNKNOWN
99.39/99.41	c SCIP Status        : solving was interrupted [memory limit reached]
99.39/99.41	c Total Time         :      99.39
99.39/99.41	c   solving          :      99.39
99.39/99.41	c   presolving       :       1.00 (included in solving)
99.39/99.41	c   reading          :      82.84 (included in solving)
99.39/99.41	c Original Problem   :
99.39/99.41	c   Problem name     : HOME/instance-3489823-1307794983.opb
99.39/99.41	c   Variables        : 599527 (599527 binary, 0 integer, 0 implicit integer, 0 continuous)
99.39/99.41	c   Constraints      : 14097016 initial, 14097016 maximal
99.39/99.41	c Presolved Problem  :
99.39/99.41	c   Problem name     : t_HOME/instance-3489823-1307794983.opb
99.39/99.41	c   Variables        : 599527 (599527 binary, 0 integer, 0 implicit integer, 0 continuous)
99.39/99.41	c   Constraints      : 14097016 initial, 14097016 maximal
99.39/99.41	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
99.39/99.41	c   trivial          :       0.00          0          0          0          0          0          0          0          0          0
99.39/99.41	c   dualfix          :       0.00          0          0          0          0          0          0          0          0          0
99.39/99.41	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
99.39/99.41	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
99.39/99.41	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
99.39/99.41	c   implics          :       0.00          0          0          0          0          0          0          0          0          0
99.39/99.41	c   probing          :       0.00          0          0          0          0          0          0          0          0          0
99.39/99.41	c   linear           :       0.00          0          0          0          0          0          0          0          0          0
99.39/99.41	c   root node        :          -          0          -          -          0          -          -          -          -          -
99.39/99.41	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
99.39/99.41	c   integral         :          0          0          0          0          0          0          0          0          0          0          0          0
99.39/99.41	c   linear           :          0+         0          0          0          0          0          0          0          0          0          0          0
99.39/99.41	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0
99.39/99.41	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
99.39/99.41	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
99.39/99.41	c   linear           :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
99.39/99.41	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
99.39/99.41	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
99.39/99.41	c   pseudoobj        :          0          0          0          0
99.39/99.41	c   rootredcost      :          0          0          0          0
99.39/99.41	c   vbounds          :          0          0          0          0
99.39/99.41	c Propagator Timings :  TotalTime  Propagate    Resprop
99.39/99.41	c   pseudoobj        :       0.00       0.00       0.00
99.39/99.41	c   rootredcost      :       0.00       0.00       0.00
99.39/99.41	c   vbounds          :       0.00       0.00       0.00
99.39/99.41	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
99.39/99.41	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
99.39/99.41	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
99.39/99.41	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
99.39/99.41	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
99.39/99.41	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
99.39/99.41	c   applied globally :          -          -          -          0        0.0          -          -          -
99.39/99.41	c   applied locally  :          -          -          -          0        0.0          -          -          -
143.60/143.62	c Time complete: 143.62.

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-3489823-1307794983/watcher-3489823-1307794983 -o /tmp/evaluation-result-3489823-1307794983/solver-3489823-1307794983 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489823-1307794983.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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.00 2.00 2.00 2/177 10121
/proc/meminfo: memFree=30114540/32950928 swapFree=67056212/67111528
[pid=10121] ppid=10119 vsize=12560 CPUtime=0 cores=0,2,4,6
/proc/10121/stat : 10121 (scip-2.0.1.4b_2) R 10119 10121 9093 0 -1 4202496 2136 0 0 0 0 0 0 0 25 0 1 0 969730611 12861440 2090 33554432000 4194304 9016284 140734016172048 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10121/statm: 3140 2091 357 1178 0 1958 0

[startup+0.0535151 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 10121
/proc/meminfo: memFree=30114540/32950928 swapFree=67056212/67111528
[pid=10121] ppid=10119 vsize=17472 CPUtime=0.04 cores=0,2,4,6
/proc/10121/stat : 10121 (scip-2.0.1.4b_2) R 10119 10121 9093 0 -1 4202496 3334 0 0 0 4 0 0 0 25 0 1 0 969730611 17891328 3288 33554432000 4194304 9016284 140734016172048 18446744073709551615 4760856 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10121/statm: 4368 3288 357 1178 0 3186 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17472

[startup+0.10051 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 10121
/proc/meminfo: memFree=30114540/32950928 swapFree=67056212/67111528
[pid=10121] ppid=10119 vsize=21492 CPUtime=0.09 cores=0,2,4,6
/proc/10121/stat : 10121 (scip-2.0.1.4b_2) R 10119 10121 9093 0 -1 4202496 4367 0 0 0 9 0 0 0 25 0 1 0 969730611 22007808 4321 33554432000 4194304 9016284 140734016172048 18446744073709551615 6152588 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10121/statm: 5373 4321 357 1178 0 4191 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21492

[startup+0.300471 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 10121
/proc/meminfo: memFree=30114540/32950928 swapFree=67056212/67111528
[pid=10121] ppid=10119 vsize=36800 CPUtime=0.29 cores=0,2,4,6
/proc/10121/stat : 10121 (scip-2.0.1.4b_2) R 10119 10121 9093 0 -1 4202496 8191 0 0 0 28 1 0 0 25 0 1 0 969730611 37683200 8145 33554432000 4194304 9016284 140734016172048 18446744073709551615 4445912 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10121/statm: 9200 8145 357 1178 0 8018 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36800

[startup+0.700395 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 10121
/proc/meminfo: memFree=30114540/32950928 swapFree=67056212/67111528
[pid=10121] ppid=10119 vsize=66372 CPUtime=0.69 cores=0,2,4,6
/proc/10121/stat : 10121 (scip-2.0.1.4b_2) R 10119 10121 9093 0 -1 4202496 15565 0 0 0 67 2 0 0 25 0 1 0 969730611 67964928 15519 33554432000 4194304 9016284 140734016172048 18446744073709551615 7842271 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10121/statm: 16593 15519 357 1178 0 15411 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 66372

[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10122
/proc/meminfo: memFree=30029024/32950928 swapFree=67056212/67111528
[pid=10121] ppid=10119 vsize=124748 CPUtime=1.49 cores=0,2,4,6
/proc/10121/stat : 10121 (scip-2.0.1.4b_2) R 10119 10121 9093 0 -1 4202496 30148 0 0 0 146 3 0 0 25 0 1 0 969730611 127741952 30102 33554432000 4194304 9016284 140734016172048 18446744073709551615 7870473 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10121/statm: 31187 30102 357 1178 0 30005 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 124748

[startup+3.10094 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10122
/proc/meminfo: memFree=29945448/32950928 swapFree=67056212/67111528
[pid=10121] ppid=10119 vsize=242924 CPUtime=3.09 cores=0,2,4,6
/proc/10121/stat : 10121 (scip-2.0.1.4b_2) R 10119 10121 9093 0 -1 4202496 59642 0 0 0 303 6 0 0 25 0 1 0 969730611 248754176 59596 33554432000 4194304 9016284 140734016172048 18446744073709551615 6418705 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10121/statm: 60731 59596 357 1178 0 59549 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 242924

[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10122
/proc/meminfo: memFree=29708896/32950928 swapFree=67056212/67111528
[pid=10121] ppid=10119 vsize=473956 CPUtime=6.29 cores=0,2,4,6
/proc/10121/stat : 10121 (scip-2.0.1.4b_2) R 10119 10121 9093 0 -1 4202496 117250 0 0 0 616 13 0 0 25 0 1 0 969730611 485330944 117204 33554432000 4194304 9016284 140734016172048 18446744073709551615 6177895 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10121/statm: 118489 117204 357 1178 0 117307 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 473956

[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10123
/proc/meminfo: memFree=29230476/32950928 swapFree=67056212/67111528
[pid=10121] ppid=10119 vsize=939960 CPUtime=12.69 cores=0,2,4,6
/proc/10121/stat : 10121 (scip-2.0.1.4b_2) R 10119 10121 9093 0 -1 4202496 233394 0 0 0 1242 27 0 0 25 0 1 0 969730611 962519040 233348 33554432000 4194304 9016284 140734016172048 18446744073709551615 7874864 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10121/statm: 234990 233348 357 1178 0 233808 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 939960

[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10123
/proc/meminfo: memFree=28260804/32950928 swapFree=67056212/67111528
[pid=10121] ppid=10119 vsize=1864384 CPUtime=25.49 cores=0,2,4,6
/proc/10121/stat : 10121 (scip-2.0.1.4b_2) R 10119 10121 9093 0 -1 4202496 463493 0 0 0 2491 58 0 0 25 0 1 0 969730611 1909129216 463447 33554432000 4194304 9016284 140734016172048 18446744073709551615 6180568 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10121/statm: 466096 463447 357 1178 0 464914 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1864384

[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10124
/proc/meminfo: memFree=26411156/32950928 swapFree=67056212/67111528
[pid=10121] ppid=10119 vsize=3690940 CPUtime=51.1 cores=0,2,4,6
/proc/10121/stat : 10121 (scip-2.0.1.4b_2) R 10119 10121 9093 0 -1 4202496 921198 0 0 0 4996 114 0 0 25 0 1 0 969730611 3779522560 921152 33554432000 4194304 9016284 140734016172048 18446744073709551615 7928096 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10121/statm: 922735 921152 357 1178 0 921553 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 3690940

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10125
/proc/meminfo: memFree=14418780/32950928 swapFree=67056212/67111528
[pid=10121] ppid=10119 vsize=15719000 CPUtime=102.3 cores=0,2,4,6
/proc/10121/stat : 10121 (scip-2.0.1.4b_2) R 10119 10121 9093 0 -1 4202496 3922219 0 0 0 9786 444 0 0 25 0 1 0 969730611 16096256000 3896006 33554432000 4194304 9016284 140734016172048 18446744073709551615 6812620 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10121/statm: 3929750 3896006 474 1178 0 3928568 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 15719000

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

[startup+127.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10126
/proc/meminfo: memFree=25929908/32950928 swapFree=67056212/67111528
[pid=10121] ppid=10119 vsize=4160868 CPUtime=127.9 cores=0,2,4,6
/proc/10121/stat : 10121 (scip-2.0.1.4b_2) R 10119 10121 9093 0 -1 4202496 3922227 0 0 0 12293 497 0 0 25 0 1 0 969730611 4260728832 1012869 33554432000 4194304 9016284 140734016172048 18446744073709551615 6812833 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10121/statm: 1040217 1012869 482 1178 0 1039035 0
Current children cumulated CPU time (s) 127.9
Current children cumulated vsize (KiB) 4160868

[startup+134.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10126
/proc/meminfo: memFree=26721400/32950928 swapFree=67056212/67111528
[pid=10121] ppid=10119 vsize=3398392 CPUtime=134.3 cores=0,2,4,6
/proc/10121/stat : 10121 (scip-2.0.1.4b_2) R 10119 10121 9093 0 -1 4202496 3922227 0 0 0 12930 500 0 0 25 0 1 0 969730611 3479953408 822250 33554432000 4194304 9016284 140734016172048 18446744073709551615 6812833 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10121/statm: 849598 822250 482 1178 0 848416 0
Current children cumulated CPU time (s) 134.3
Current children cumulated vsize (KiB) 3398392

[startup+137.506 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10126
/proc/meminfo: memFree=27047140/32950928 swapFree=67056212/67111528
[pid=10121] ppid=10119 vsize=3082004 CPUtime=137.51 cores=0,2,4,6
/proc/10121/stat : 10121 (scip-2.0.1.4b_2) R 10119 10121 9093 0 -1 4202496 3922227 0 0 0 13250 501 0 0 25 0 1 0 969730611 3155972096 743153 33554432000 4194304 9016284 140734016172048 18446744073709551615 6812833 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10121/statm: 770501 743153 482 1178 0 769319 0
Current children cumulated CPU time (s) 137.51
Current children cumulated vsize (KiB) 3082004

[startup+140.701 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10126
/proc/meminfo: memFree=27363384/32950928 swapFree=67056212/67111528
[pid=10121] ppid=10119 vsize=2777972 CPUtime=140.7 cores=0,2,4,6
/proc/10121/stat : 10121 (scip-2.0.1.4b_2) R 10119 10121 9093 0 -1 4202496 3922227 0 0 0 13568 502 0 0 25 0 1 0 969730611 2844643328 667145 33554432000 4194304 9016284 140734016172048 18446744073709551615 6812833 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10121/statm: 694493 667145 482 1178 0 693311 0
Current children cumulated CPU time (s) 140.7
Current children cumulated vsize (KiB) 2777972

[startup+142.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10126
/proc/meminfo: memFree=27463492/32950928 swapFree=67056212/67111528
[pid=10121] ppid=10119 vsize=2635312 CPUtime=142.3 cores=0,2,4,6
/proc/10121/stat : 10121 (scip-2.0.1.4b_2) R 10119 10121 9093 0 -1 4202496 3922227 0 0 0 13727 503 0 0 25 0 1 0 969730611 2698559488 631480 33554432000 4194304 9016284 140734016172048 18446744073709551615 6812837 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10121/statm: 658828 631480 482 1178 0 657646 0
Current children cumulated CPU time (s) 142.3
Current children cumulated vsize (KiB) 2635312

[startup+143.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10126
/proc/meminfo: memFree=28036624/32950928 swapFree=67056212/67111528
[pid=10121] ppid=10119 vsize=2002928 CPUtime=143.1 cores=0,2,4,6
/proc/10121/stat : 10121 (scip-2.0.1.4b_2) R 10119 10121 9093 0 -1 4202496 3922227 0 0 0 13804 506 0 0 25 0 1 0 969730611 2050998272 476257 33554432000 4194304 9016284 140734016172048 18446744073709551615 7933303 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10121/statm: 500732 476257 482 1178 0 499550 0
Current children cumulated CPU time (s) 143.1
Current children cumulated vsize (KiB) 2002928

[startup+143.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10126
/proc/meminfo: memFree=28036624/32950928 swapFree=67056212/67111528
[pid=10121] ppid=10119 vsize=1716356 CPUtime=143.49 cores=0,2,4,6
/proc/10121/stat : 10121 (scip-2.0.1.4b_2) R 10119 10121 9093 0 -1 4202496 3922227 0 0 0 13842 507 0 0 25 0 1 0 969730611 1757548544 404614 33554432000 4194304 9016284 140734016172048 18446744073709551615 7933303 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10121/statm: 429089 404614 482 1178 0 427907 0
Current children cumulated CPU time (s) 143.49
Current children cumulated vsize (KiB) 1716356

[startup+143.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10126
/proc/meminfo: memFree=28036624/32950928 swapFree=67056212/67111528
[pid=10121] ppid=10119 vsize=630896 CPUtime=143.6 cores=0,2,4,6
/proc/10121/stat : 10121 (scip-2.0.1.4b_2) R 10119 10121 9093 0 -1 4202496 3922239 0 0 0 13847 513 0 0 25 0 1 0 969730611 646037504 150397 33554432000 4194304 9016284 140734016172048 18446744073709551615 7933303 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/10121/statm: 157468 150063 494 1178 0 156286 0
Current children cumulated CPU time (s) 143.6
Current children cumulated vsize (KiB) 630896

Child status: 0
Real time (s): 143.626
CPU time (s): 143.631
CPU user time (s): 138.472
CPU system time (s): 5.15921
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 15823316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 138.472
system time used= 5.15921
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3922244
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= 128

runsolver used 0.247962 second user time and 0.496924 second system time

The end

Launcher Data 

Begin job on node115 at 2011-06-11 14:23:19
IDJOB=3489823
IDBENCH=89647
IDSOLVER=1979
FILE ID=node115/3489823-1307794983
RUNJOBID= node115-1307783957-9111
PBS_JOBID= 13550896
Free space on /tmp= 73440 MiB

SOLVER NAME= SCIP spx E_2 2011-06-10 (fixed)
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-182.opb
COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3489823-1307794983/watcher-3489823-1307794983 -o /tmp/evaluation-result-3489823-1307794983/solver-3489823-1307794983 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489823-1307794983.opb -t 1800 -m 15500

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

MD5SUM BENCH= 378c188d79de101f4114d358aff291a2
RANDOM SEED=115633302

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:      30114852 kB
Buffers:        284184 kB
Cached:        1705104 kB
SwapCached:       9476 kB
Active:        1783548 kB
Inactive:       852396 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30114852 kB
SwapTotal:    67111528 kB
SwapFree:     67056212 kB
Dirty:          722836 kB
Writeback:           0 kB
AnonPages:      643548 kB
Mapped:          15872 kB
Slab:           132896 kB
PageTables:       5976 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   868888 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= 73420 MiB
End job on node115 at 2011-06-11 14:25:43