Trace number 3478856

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 SCIP 2.0.1.4b with SoPlex 1.5.0.4? (TO) 1801.27 1801.22

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-164.opb
MD5SUM81ec1ddcd163131a26e4e6f9286dd205
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 benchmark108.393
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables26339
Total number of constraints612374
Number of constraints which are clauses549666
Number of constraints which are cardinality constraints (but not clauses)2270
Number of constraints which are nor clauses,nor cardinality constraints60438
Minimum length of a constraint1
Maximum length of a constraint1485
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 1486
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.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3478856-1307443214.opb>
4.41/4.47	c original problem has 26339 variables (26339 bin, 0 int, 0 impl, 0 cont) and 612374 constraints
4.41/4.47	c problem read
4.41/4.47	c No objective function, only one solution is needed.
4.41/4.47	c presolving settings loaded
5.19/5.20	c presolving:
6.29/6.39	c (round 1) 8289 del vars, 133981 del conss, 0 add conss, 8288 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 337806 impls, 596 clqs
6.79/6.82	c (round 2) 12741 del vars, 253596 del conss, 0 add conss, 8288 chg bounds, 8238 chg sides, 10432 chg coeffs, 0 upgd conss, 401608 impls, 596 clqs
7.09/7.12	c (round 3) 13047 del vars, 264647 del conss, 0 add conss, 8288 chg bounds, 9939 chg sides, 12640 chg coeffs, 0 upgd conss, 402290 impls, 596 clqs
8.59/8.66	c (round 4) 13047 del vars, 264677 del conss, 0 add conss, 8288 chg bounds, 9951 chg sides, 12640 chg coeffs, 347714 upgd conss, 402290 impls, 596 clqs
8.99/9.09	c (round 5) 13047 del vars, 264677 del conss, 0 add conss, 8288 chg bounds, 10161 chg sides, 13756 chg coeffs, 347714 upgd conss, 402290 impls, 596 clqs
9.29/9.36	c presolving (6 rounds):
9.29/9.36	c  13047 deleted vars, 264689 deleted constraints, 0 added constraints, 8288 tightened bounds, 0 added holes, 10173 changed sides, 14072 changed coefficients
9.29/9.36	c  403010 implications, 596 cliques
9.29/9.36	c presolved problem has 13292 variables (13292 bin, 0 int, 0 impl, 0 cont) and 347685 constraints
9.29/9.36	c   54593 constraints of type <knapsack>
9.29/9.36	c   34536 constraints of type <setppc>
9.29/9.36	c       1 constraints of type <linear>
9.29/9.36	c  258555 constraints of type <logicor>
9.29/9.36	c transformed objective value is always integral (scale: 1)
9.29/9.36	c Presolving Time: 4.20
9.29/9.36	c - non default parameters ----------------------------------------------------------------------
9.29/9.36	c # SCIP version 2.0.1.5
9.29/9.36	c 
9.29/9.36	c # frequency for displaying node information lines
9.29/9.36	c # [type: int, range: [-1,2147483647], default: 100]
9.29/9.36	c display/freq = 10000
9.29/9.36	c 
9.29/9.36	c # maximal time in seconds to run
9.29/9.36	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
9.29/9.36	c limits/time = 1800
9.29/9.36	c 
9.29/9.36	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
9.29/9.36	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
9.29/9.36	c limits/memory = 13950
9.29/9.36	c 
9.29/9.36	c # solving stops, if the given number of solutions were found (-1: no limit)
9.29/9.36	c # [type: int, range: [-1,2147483647], default: -1]
9.29/9.36	c limits/solutions = 1
9.29/9.36	c 
9.29/9.36	c # maximal number of separation rounds per node (-1: unlimited)
9.29/9.36	c # [type: int, range: [-1,2147483647], default: 5]
9.29/9.36	c separating/maxrounds = 1
9.29/9.36	c 
9.29/9.36	c # maximal number of separation rounds in the root node (-1: unlimited)
9.29/9.36	c # [type: int, range: [-1,2147483647], default: -1]
9.29/9.36	c separating/maxroundsroot = 5
9.29/9.36	c 
9.29/9.36	c # default clock type (1: CPU user seconds, 2: wall clock time)
9.29/9.36	c # [type: int, range: [1,2], default: 1]
9.29/9.36	c timing/clocktype = 2
9.29/9.36	c 
9.29/9.36	c # belongs reading time to solving time?
9.29/9.36	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.29/9.36	c timing/reading = TRUE
9.29/9.36	c 
9.29/9.36	c # should presolving try to simplify inequalities
9.29/9.36	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.29/9.36	c constraints/linear/simplifyinequalities = TRUE
9.29/9.36	c 
9.29/9.36	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
9.29/9.36	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.29/9.36	c constraints/indicator/addCouplingCons = TRUE
9.29/9.36	c 
9.29/9.36	c # should disaggregation of knapsack constraints be allowed in preprocessing?
9.29/9.36	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
9.29/9.36	c constraints/knapsack/disaggregation = FALSE
9.29/9.36	c 
9.29/9.36	c # should presolving try to simplify knapsacks
9.29/9.36	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
9.29/9.36	c constraints/knapsack/simplifyinequalities = TRUE
9.29/9.36	c 
9.29/9.36	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
9.29/9.36	c # [type: int, range: [-1,2147483647], default: -1]
9.29/9.36	c presolving/probing/maxrounds = 0
9.29/9.36	c 
9.29/9.36	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
9.29/9.36	c # [type: int, range: [-1,2147483647], default: 10]
9.29/9.36	c heuristics/coefdiving/freq = -1
9.29/9.36	c 
9.29/9.36	c # maximal fraction of diving LP iterations compared to node LP iterations
9.29/9.36	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
9.29/9.36	c heuristics/coefdiving/maxlpiterquot = 0.075
9.29/9.36	c 
9.29/9.36	c # additional number of allowed LP iterations
9.29/9.36	c # [type: int, range: [0,2147483647], default: 1000]
9.29/9.36	c heuristics/coefdiving/maxlpiterofs = 1500
9.29/9.36	c 
9.29/9.36	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
9.29/9.36	c # [type: int, range: [-1,2147483647], default: 30]
9.29/9.36	c heuristics/crossover/freq = -1
9.29/9.36	c 
9.29/9.36	c # number of nodes added to the contingent of the total nodes
9.29/9.36	c # [type: longint, range: [0,9223372036854775807], default: 500]
9.29/9.36	c heuristics/crossover/nodesofs = 750
9.29/9.36	c 
9.29/9.36	c # number of nodes without incumbent change that heuristic should wait
9.29/9.36	c # [type: longint, range: [0,9223372036854775807], default: 200]
9.29/9.36	c heuristics/crossover/nwaitingnodes = 100
9.29/9.36	c 
9.29/9.36	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
9.29/9.36	c # [type: real, range: [0,1], default: 0.1]
9.29/9.36	c heuristics/crossover/nodesquot = 0.15
9.29/9.36	c 
9.29/9.36	c # minimum percentage of integer variables that have to be fixed 
9.29/9.36	c # [type: real, range: [0,1], default: 0.666]
9.29/9.36	c heuristics/crossover/minfixingrate = 0.5
9.29/9.36	c 
9.29/9.36	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
9.29/9.36	c # [type: int, range: [-1,2147483647], default: 20]
9.29/9.36	c heuristics/feaspump/freq = -1
9.29/9.36	c 
9.29/9.36	c # additional number of allowed LP iterations
9.29/9.36	c # [type: int, range: [0,2147483647], default: 1000]
9.29/9.36	c heuristics/feaspump/maxlpiterofs = 2000
9.29/9.36	c 
9.29/9.36	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
9.29/9.36	c # [type: int, range: [-1,2147483647], default: 10]
9.29/9.36	c heuristics/fracdiving/freq = -1
9.29/9.36	c 
9.29/9.36	c # maximal fraction of diving LP iterations compared to node LP iterations
9.29/9.36	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
9.29/9.36	c heuristics/fracdiving/maxlpiterquot = 0.075
9.29/9.36	c 
9.29/9.36	c # additional number of allowed LP iterations
9.29/9.36	c # [type: int, range: [0,2147483647], default: 1000]
9.29/9.36	c heuristics/fracdiving/maxlpiterofs = 1500
9.29/9.36	c 
9.29/9.36	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
9.29/9.36	c # [type: int, range: [-1,2147483647], default: 10]
9.29/9.36	c heuristics/guideddiving/freq = -1
9.29/9.36	c 
9.29/9.36	c # maximal fraction of diving LP iterations compared to node LP iterations
9.29/9.36	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
9.29/9.36	c heuristics/guideddiving/maxlpiterquot = 0.075
9.29/9.36	c 
9.29/9.36	c # additional number of allowed LP iterations
9.29/9.36	c # [type: int, range: [0,2147483647], default: 1000]
9.29/9.36	c heuristics/guideddiving/maxlpiterofs = 1500
9.29/9.36	c 
9.29/9.36	c # maximal fraction of diving LP iterations compared to node LP iterations
9.29/9.36	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
9.29/9.36	c heuristics/intdiving/maxlpiterquot = 0.075
9.29/9.36	c 
9.29/9.36	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
9.29/9.36	c # [type: int, range: [-1,2147483647], default: 10]
9.29/9.36	c heuristics/intshifting/freq = -1
9.29/9.36	c 
9.29/9.36	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
9.29/9.36	c # [type: int, range: [-1,2147483647], default: 10]
9.29/9.36	c heuristics/linesearchdiving/freq = -1
9.29/9.36	c 
9.29/9.36	c # maximal fraction of diving LP iterations compared to node LP iterations
9.29/9.36	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
9.29/9.36	c heuristics/linesearchdiving/maxlpiterquot = 0.075
9.29/9.36	c 
9.29/9.36	c # additional number of allowed LP iterations
9.29/9.36	c # [type: int, range: [0,2147483647], default: 1000]
9.29/9.36	c heuristics/linesearchdiving/maxlpiterofs = 1500
9.29/9.36	c 
9.29/9.36	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
9.29/9.36	c # [type: int, range: [-1,2147483647], default: 20]
9.29/9.36	c heuristics/objpscostdiving/freq = -1
9.29/9.36	c 
9.29/9.36	c # maximal fraction of diving LP iterations compared to total iteration number
9.29/9.36	c # [type: real, range: [0,1], default: 0.01]
9.29/9.36	c heuristics/objpscostdiving/maxlpiterquot = 0.015
9.29/9.36	c 
9.29/9.36	c # additional number of allowed LP iterations
9.29/9.36	c # [type: int, range: [0,2147483647], default: 1000]
9.29/9.36	c heuristics/objpscostdiving/maxlpiterofs = 1500
9.29/9.36	c 
9.29/9.36	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
9.29/9.36	c # [type: int, range: [-1,2147483647], default: 1]
9.29/9.36	c heuristics/oneopt/freq = -1
9.29/9.36	c 
9.29/9.36	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
9.29/9.36	c # [type: int, range: [-1,2147483647], default: 10]
9.29/9.36	c heuristics/pscostdiving/freq = -1
9.29/9.36	c 
9.29/9.36	c # maximal fraction of diving LP iterations compared to node LP iterations
9.29/9.36	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
9.29/9.36	c heuristics/pscostdiving/maxlpiterquot = 0.075
9.29/9.36	c 
9.29/9.36	c # additional number of allowed LP iterations
9.29/9.36	c # [type: int, range: [0,2147483647], default: 1000]
9.29/9.36	c heuristics/pscostdiving/maxlpiterofs = 1500
9.29/9.36	c 
9.29/9.36	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
9.29/9.36	c # [type: int, range: [-1,2147483647], default: 0]
9.29/9.36	c heuristics/rens/freq = -1
9.29/9.36	c 
9.29/9.36	c # minimum percentage of integer variables that have to be fixable 
9.29/9.36	c # [type: real, range: [0,1], default: 0.5]
9.29/9.36	c heuristics/rens/minfixingrate = 0.3
9.29/9.36	c 
9.29/9.36	c # number of nodes added to the contingent of the total nodes
9.29/9.36	c # [type: longint, range: [0,9223372036854775807], default: 500]
9.29/9.36	c heuristics/rens/nodesofs = 2000
9.29/9.36	c 
9.29/9.36	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
9.29/9.36	c # [type: int, range: [-1,2147483647], default: 20]
9.29/9.36	c heuristics/rootsoldiving/freq = -1
9.29/9.36	c 
9.29/9.36	c # maximal fraction of diving LP iterations compared to node LP iterations
9.29/9.36	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
9.29/9.36	c heuristics/rootsoldiving/maxlpiterquot = 0.015
9.29/9.36	c 
9.29/9.36	c # additional number of allowed LP iterations
9.29/9.36	c # [type: int, range: [0,2147483647], default: 1000]
9.29/9.36	c heuristics/rootsoldiving/maxlpiterofs = 1500
9.29/9.36	c 
9.29/9.36	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
9.29/9.36	c # [type: int, range: [-1,2147483647], default: 1]
9.29/9.36	c heuristics/rounding/freq = -1
9.29/9.36	c 
9.29/9.36	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
9.29/9.36	c # [type: int, range: [-1,2147483647], default: 0]
9.29/9.36	c heuristics/shiftandpropagate/freq = -1
9.29/9.36	c 
9.29/9.36	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
9.29/9.36	c # [type: int, range: [-1,2147483647], default: 10]
9.29/9.36	c heuristics/shifting/freq = -1
9.29/9.36	c 
9.29/9.36	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
9.29/9.36	c # [type: int, range: [-1,2147483647], default: 1]
9.29/9.36	c heuristics/simplerounding/freq = -1
9.29/9.36	c 
9.29/9.36	c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
9.29/9.36	c # [type: int, range: [-1,2147483647], default: 1]
9.29/9.36	c heuristics/subnlp/freq = -1
9.29/9.36	c 
9.29/9.36	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
9.29/9.36	c # [type: int, range: [-1,2147483647], default: 0]
9.29/9.36	c heuristics/trivial/freq = -1
9.29/9.36	c 
9.29/9.36	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
9.29/9.36	c # [type: int, range: [-1,2147483647], default: 1]
9.29/9.36	c heuristics/trysol/freq = -1
9.29/9.36	c 
9.29/9.36	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
9.29/9.36	c # [type: int, range: [-1,2147483647], default: 0]
9.29/9.36	c heuristics/undercover/freq = -1
9.29/9.36	c 
9.29/9.36	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
9.29/9.36	c # [type: int, range: [-1,2147483647], default: 10]
9.29/9.36	c heuristics/veclendiving/freq = -1
9.29/9.36	c 
9.29/9.36	c # maximal fraction of diving LP iterations compared to node LP iterations
9.29/9.36	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
9.29/9.36	c heuristics/veclendiving/maxlpiterquot = 0.075
9.29/9.36	c 
9.29/9.36	c # additional number of allowed LP iterations
9.29/9.36	c # [type: int, range: [0,2147483647], default: 1000]
9.29/9.36	c heuristics/veclendiving/maxlpiterofs = 1500
9.29/9.36	c 
9.29/9.36	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
9.29/9.36	c # [type: int, range: [-1,2147483647], default: 1]
9.29/9.36	c heuristics/zirounding/freq = -1
9.29/9.36	c 
9.29/9.36	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
9.29/9.36	c # [type: int, range: [-1,2147483647], default: 0]
9.29/9.36	c separating/cmir/freq = -1
9.29/9.36	c 
9.29/9.36	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
9.29/9.36	c # [type: int, range: [-1,2147483647], default: 0]
9.29/9.36	c separating/flowcover/freq = -1
9.29/9.36	c 
9.29/9.36	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
9.29/9.36	c # [type: int, range: [-1,2147483647], default: -1]
9.29/9.36	c separating/rapidlearning/freq = 0
9.29/9.36	c 
9.29/9.36	c -----------------------------------------------------------------------------------------------
9.29/9.36	c start solving
9.29/9.37	c 
19.09/19.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
19.09/19.11	c  19.1s|     1 |     0 |  4143 |     - | 671M|   0 | 343 |  13k| 347k|  13k| 347k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
24.10/24.14	c  24.1s|     1 |     0 |  4220 |     - | 671M|   0 | 310 |  13k| 347k|  13k| 347k|  20 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
30.99/31.06	c  31.1s|     1 |     0 |  4323 |     - | 673M|   0 | 361 |  13k| 347k|  13k| 347k|  29 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
41.60/41.69	c  41.7s|     1 |     0 |  4346 |     - | 673M|   0 | 251 |  13k| 347k|  13k| 347k|  37 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
87.79/87.81	c  87.8s|     1 |     0 |  4527 |     - | 674M|   0 | 231 |  13k| 347k|  13k| 347k|  61 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
133.40/133.49	c   133s|     1 |     0 |  4951 |     - | 675M|   0 | 445 |  13k| 347k|  13k| 347k|  67 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
184.99/185.08	c   185s|     1 |     2 |  4951 |     - | 675M|   0 | 445 |  13k| 347k|  13k| 347k|  67 |   0 |  20 | 0.000000e+00 |      --      |    Inf 
1800.24/1800.20	c 
1800.24/1800.20	c SCIP Status        : solving was interrupted [user interrupt]
1800.24/1800.21	c Solving Time (sec) : 1800.20
1800.24/1800.21	c Solving Nodes      : 8
1800.24/1800.21	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.24/1800.21	c Dual Bound         : +0.00000000000000e+00
1800.24/1800.21	c Gap                : infinite
1800.24/1800.21	s UNKNOWN
1800.24/1800.21	c SCIP Status        : solving was interrupted [user interrupt]
1800.24/1800.21	c Total Time         :    1800.20
1800.24/1800.21	c   solving          :    1800.20
1800.24/1800.21	c   presolving       :       4.20 (included in solving)
1800.24/1800.21	c   reading          :       4.47 (included in solving)
1800.24/1800.21	c Original Problem   :
1800.24/1800.21	c   Problem name     : HOME/instance-3478856-1307443214.opb
1800.24/1800.21	c   Variables        : 26339 (26339 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.24/1800.21	c   Constraints      : 612374 initial, 612374 maximal
1800.24/1800.21	c Presolved Problem  :
1800.24/1800.21	c   Problem name     : t_HOME/instance-3478856-1307443214.opb
1800.24/1800.21	c   Variables        : 13292 (13292 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.24/1800.21	c   Constraints      : 347685 initial, 347685 maximal
1800.24/1800.21	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1800.24/1800.21	c   trivial          :       0.01        306          0          0          0          0          0          0          0          0
1800.24/1800.21	c   dualfix          :       0.00          0          0          0          0          0          0          0          0          0
1800.24/1800.21	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1800.24/1800.21	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1800.24/1800.21	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
1800.24/1800.21	c   implics          :       0.03          0       2916          0          0          0          0          0          0          0
1800.24/1800.21	c   probing          :       0.00          0          0          0          0          0          0          0          0          0
1800.24/1800.21	c   knapsack         :       0.31          0          0          0          0          0          0          0        222       1432
1800.24/1800.21	c   setppc           :       0.07          0          0          0          0          0          0          0          0          0
1800.24/1800.21	c   linear           :       2.50       9458        367          0       8288          0     264659          0       9951      12640
1800.24/1800.21	c   logicor          :       0.54          0          0          0          0          0         30          0          0          0
1800.24/1800.21	c   root node        :          -          0          -          -          0          -          -          -          -          -
1800.24/1800.21	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1800.24/1800.21	c   integral         :          0          0          0         20          0          1          0          0         59          0          0         14
1800.24/1800.21	c   knapsack         :      54593          5         24          0          1          0          0          0          0          6          0          0
1800.24/1800.21	c   setppc           :      34536          5         24          0          1          0          0          0        329          0          0          0
1800.24/1800.21	c   linear           :          1          5         24          0          1          0          0          0          0          0          0          0
1800.24/1800.21	c   logicor          :     258555          5          8          0          1          0          0          0          0          0          0          0
1800.24/1800.21	c   countsols        :          0          0          0          0          1          0          0          0          0          0          0          0
1800.24/1800.21	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1800.24/1800.21	c   integral         :    1597.93       0.00       0.00    1597.93       0.00       0.00       0.00
1800.24/1800.21	c   knapsack         :       0.22       0.16       0.04       0.00       0.01       0.00       0.00
1800.24/1800.21	c   setppc           :       0.04       0.01       0.03       0.00       0.01       0.00       0.00
1800.24/1800.21	c   linear           :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.24/1800.21	c   logicor          :       0.15       0.05       0.08       0.00       0.02       0.00       0.00
1800.24/1800.21	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.24/1800.21	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1800.24/1800.21	c   vbounds          :          0          0          0          0
1800.24/1800.21	c   rootredcost      :          0          0          0          0
1800.24/1800.21	c   pseudoobj        :          0          0          0          0
1800.24/1800.21	c Propagator Timings :  TotalTime  Propagate    Resprop
1800.24/1800.21	c   vbounds          :       0.00       0.00       0.00
1800.24/1800.21	c   rootredcost      :       0.00       0.00       0.00
1800.24/1800.21	c   pseudoobj        :       0.00       0.00       0.00
1800.24/1800.21	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.24/1800.21	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.24/1800.21	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.24/1800.21	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.24/1800.21	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.24/1800.21	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.24/1800.21	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.24/1800.21	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.24/1800.21	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.24/1800.21	c   cut pool         :       0.00          4          -          -          7          -    (maximal pool size: 155)
1800.24/1800.21	c   redcost          :       0.00         12          0          0          0          0
1800.24/1800.21	c   impliedbounds    :       0.00          5          0          0          0          0
1800.24/1800.21	c   intobj           :       0.00          0          0          0          0          0
1800.24/1800.21	c   gomory           :      48.59          5          0          0       2500          0
1800.24/1800.21	c   cgmip            :       0.00          0          0          0          0          0
1800.24/1800.21	c   closecuts        :       0.00          0          0          0          0          0
1800.24/1800.21	c   strongcg         :      52.58          5          0          0       2500          0
1800.24/1800.21	c   cmir             :       0.00          0          0          0          0          0
1800.24/1800.21	c   flowcover        :       0.00          0          0          0          0          0
1800.24/1800.21	c   clique           :       1.01          5          0          0         31          0
1800.24/1800.21	c   zerohalf         :       0.00          0          0          0          0          0
1800.24/1800.21	c   mcf              :       0.35          1          0          0          0          0
1800.24/1800.21	c   oddcycle         :       0.00          0          0          0          0          0
1800.24/1800.21	c   rapidlearning    :       0.00          0          0          0          0          0
1800.24/1800.21	c Pricers            :       Time      Calls       Vars
1800.24/1800.21	c   problem variables:       0.00          0          0
1800.24/1800.21	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.24/1800.21	c   relpscost        :    1597.93         20          0         59          0          0         14
1800.24/1800.21	c   pscost           :       0.00          0          0          0          0          0          0
1800.24/1800.21	c   inference        :       0.00          1          0          0          0          0          2
1800.24/1800.21	c   mostinf          :       0.00          0          0          0          0          0          0
1800.24/1800.21	c   leastinf         :       0.00          0          0          0          0          0          0
1800.24/1800.21	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.24/1800.21	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.24/1800.21	c   random           :       0.00          0          0          0          0          0          0
1800.24/1800.21	c Primal Heuristics  :       Time      Calls      Found
1800.24/1800.21	c   LP solutions     :       0.00          -          0
1800.24/1800.21	c   pseudo solutions :       0.00          -          0
1800.24/1800.21	c   trivial          :       0.01          1          0
1800.24/1800.21	c   shiftandpropagate:       0.00          0          0
1800.24/1800.21	c   simplerounding   :       0.00          0          0
1800.24/1800.21	c   zirounding       :       0.00          0          0
1800.24/1800.21	c   rounding         :       0.00          0          0
1800.24/1800.21	c   shifting         :       0.00          0          0
1800.24/1800.21	c   intshifting      :       0.00          0          0
1800.24/1800.21	c   oneopt           :       0.00          0          0
1800.24/1800.21	c   twoopt           :       0.00          0          0
1800.24/1800.21	c   fixandinfer      :       0.00          0          0
1800.24/1800.21	c   feaspump         :       0.00          0          0
1800.24/1800.21	c   clique           :       0.00          0          0
1800.24/1800.21	c   coefdiving       :       0.00          0          0
1800.24/1800.21	c   pscostdiving     :       0.00          0          0
1800.24/1800.21	c   fracdiving       :       0.00          0          0
1800.24/1800.21	c   veclendiving     :       0.00          0          0
1800.24/1800.21	c   intdiving        :       0.00          0          0
1800.24/1800.21	c   actconsdiving    :       0.00          0          0
1800.24/1800.21	c   objpscostdiving  :       0.00          0          0
1800.24/1800.21	c   rootsoldiving    :       0.00          0          0
1800.24/1800.21	c   linesearchdiving :       0.00          0          0
1800.24/1800.21	c   guideddiving     :       0.00          0          0
1800.24/1800.21	c   octane           :       0.00          0          0
1800.24/1800.21	c   rens             :       0.00          0          0
1800.24/1800.21	c   rins             :       0.00          0          0
1800.24/1800.21	c   localbranching   :       0.00          0          0
1800.24/1800.21	c   mutation         :       0.00          0          0
1800.24/1800.21	c   crossover        :       0.00          0          0
1800.24/1800.21	c   dins             :       0.00          0          0
1800.24/1800.21	c   vbounds          :       0.00          0          0
1800.24/1800.21	c   undercover       :       0.00          0          0
1800.24/1800.21	c   subnlp           :       0.00          0          0
1800.24/1800.21	c   trysol           :       0.00          0          0
1800.24/1800.21	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.24/1800.21	c   primal LP        :       1.15          0          0       0.00       0.00
1800.24/1800.21	c   dual LP          :      87.06         25       9290     371.60     106.71
1800.24/1800.21	c   lex dual LP      :       0.00          0          0       0.00          -
1800.24/1800.21	c   barrier LP       :       0.00          0          0       0.00          -
1800.24/1800.21	c   diving/probing LP:       0.00          0          0       0.00          -
1800.24/1800.21	c   strong branching :    1597.70        282      67897     240.77      42.50
1800.24/1800.21	c     (at root node) :          -         20        115       5.75          -
1800.24/1800.21	c   conflict analysis:       0.00          0          0       0.00          -
1800.24/1800.21	c B&B Tree           :
1800.24/1800.21	c   number of runs   :          1
1800.24/1800.21	c   nodes            :          8
1800.24/1800.21	c   nodes (total)    :          8
1800.24/1800.21	c   nodes left       :          9
1800.24/1800.21	c   max depth        :          7
1800.24/1800.21	c   max depth (total):          7
1800.24/1800.21	c   backtracks       :          0 (0.0%)
1800.24/1800.21	c   delayed cutoffs  :          0
1800.24/1800.21	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.24/1800.21	c   avg switch length:       1.00
1800.24/1800.21	c   switching time   :       1.20
1800.24/1800.21	c Solution           :
1800.24/1800.21	c   Solutions found  :          0 (0 improvements)
1800.24/1800.21	c   Primal Bound     :          -
1800.24/1800.21	c   Dual Bound       : +0.00000000000000e+00
1800.24/1800.21	c   Gap              :   infinite
1800.24/1800.21	c   Root Dual Bound  : +0.00000000000000e+00
1800.24/1800.21	c   Root Iterations  :       4951
1801.24/1801.22	c Time complete: 1801.26.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.09 2.04 2.26 2/524 19585
/proc/meminfo: memFree=23310300/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=13224 CPUtime=0 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 2302 0 0 0 0 0 0 0 24 0 1 0 855919221 13541376 2256 33554432000 4194304 9163163 140735495128560 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19585/statm: 3306 2256 392 1214 0 2088 0

[startup+0.0227119 s]
/proc/loadavg: 2.09 2.04 2.26 2/524 19585
/proc/meminfo: memFree=23310300/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=14764 CPUtime=0.01 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 2662 0 0 0 1 0 0 0 24 0 1 0 855919221 15118336 2616 33554432000 4194304 9163163 140735495128560 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19585/statm: 3691 2616 392 1214 0 2473 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 14764

[startup+0.100698 s]
/proc/loadavg: 2.09 2.04 2.26 2/524 19585
/proc/meminfo: memFree=23310300/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=20512 CPUtime=0.09 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 4118 0 0 0 9 0 0 0 24 0 1 0 855919221 21004288 4072 33554432000 4194304 9163163 140735495128560 18446744073709551615 8041869 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19585/statm: 5128 4072 392 1214 0 3910 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20512

[startup+0.300664 s]
/proc/loadavg: 2.09 2.04 2.26 2/524 19585
/proc/meminfo: memFree=23310300/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=32472 CPUtime=0.29 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 7105 0 0 0 28 1 0 0 25 0 1 0 855919221 33251328 7059 33554432000 4194304 9163163 140735495128560 18446744073709551615 8150501 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19585/statm: 8118 7059 392 1214 0 6900 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32472

[startup+0.700591 s]
/proc/loadavg: 2.09 2.04 2.26 2/524 19585
/proc/meminfo: memFree=23310300/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=56432 CPUtime=0.69 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 13073 0 0 0 67 2 0 0 25 0 1 0 855919221 57786368 13027 33554432000 4194304 9163163 140735495128560 18446744073709551615 8031112 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19585/statm: 14108 13027 392 1214 0 12890 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56432

[startup+1.50045 s]
/proc/loadavg: 2.09 2.04 2.26 3/525 19586
/proc/meminfo: memFree=23180960/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=103540 CPUtime=1.49 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 24831 0 0 0 146 3 0 0 25 0 1 0 855919221 106024960 24785 33554432000 4194304 9163163 140735495128560 18446744073709551615 8041849 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19585/statm: 25885 24785 392 1214 0 24667 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 103540

[startup+3.10017 s]
/proc/loadavg: 2.09 2.04 2.26 3/525 19586
/proc/meminfo: memFree=23180960/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=196612 CPUtime=3.09 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 48034 0 0 0 303 6 0 0 25 0 1 0 855919221 201330688 47988 33554432000 4194304 9163163 140735495128560 18446744073709551615 8034160 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19585/statm: 49153 47988 392 1214 0 47935 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 196612

[startup+6.30058 s]
/proc/loadavg: 2.16 2.06 2.27 3/525 19586
/proc/meminfo: memFree=22284184/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=742432 CPUtime=6.29 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 180985 0 0 0 609 20 0 0 25 0 1 0 855919221 760250368 180938 33554432000 4194304 9163163 140735495128560 18446744073709551615 6918460 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19585/statm: 185608 180938 515 1214 0 184390 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 742432

[startup+12.7004 s]
/proc/loadavg: 2.15 2.06 2.26 3/525 19587
/proc/meminfo: memFree=20826728/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=1290392 CPUtime=12.69 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 358293 0 0 0 1230 39 0 0 25 0 1 0 855919221 1321361408 299799 33554432000 4194304 9163163 140735495128560 18446744073709551615 7110339 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19585/statm: 322598 299799 863 1214 0 321380 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1290392

[startup+25.5011 s]
/proc/loadavg: 2.11 2.06 2.26 3/525 19587
/proc/meminfo: memFree=19672564/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=1348704 CPUtime=25.49 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 397363 0 0 0 2502 47 0 0 25 0 1 0 855919221 1381072896 313553 33554432000 4194304 9163163 140735495128560 18446744073709551615 8041970 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19585/statm: 337176 313553 749 1214 0 335958 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1348704

[startup+51.1005 s]
/proc/loadavg: 2.20 2.08 2.26 3/525 19588
/proc/meminfo: memFree=19494852/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=1405936 CPUtime=51.09 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 411446 0 0 0 5058 51 0 0 25 0 1 0 855919221 1439678464 327636 33554432000 4194304 9163163 140735495128560 18446744073709551615 8045767 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19585/statm: 351484 327636 749 1214 0 350266 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1405936

[startup+102.32 s]
/proc/loadavg: 2.08 2.07 2.25 3/525 19589
/proc/meminfo: memFree=19436404/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=1426352 CPUtime=102.31 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 414684 0 0 0 10176 55 0 0 25 0 1 0 855919221 1460584448 330874 33554432000 4194304 9163163 140735495128560 18446744073709551615 6668677 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19585/statm: 356588 330874 749 1214 0 355370 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1426352

[startup+162.3 s]
/proc/loadavg: 2.03 2.05 2.23 3/525 19590
/proc/meminfo: memFree=19453780/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=1434340 CPUtime=162.29 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 440931 0 0 0 16170 59 0 0 25 0 1 0 855919221 1468764160 342141 33554432000 4194304 9163163 140735495128560 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19585/statm: 358585 342141 922 1214 0 357367 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1434340

[startup+222.301 s]
/proc/loadavg: 2.01 2.04 2.21 3/525 19592
/proc/meminfo: memFree=19419176/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=1464432 CPUtime=222.3 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 500112 0 0 0 22162 68 0 0 25 0 1 0 855919221 1499578368 344125 33554432000 4194304 9163163 140735495128560 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19585/statm: 366108 344125 925 1214 0 364890 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1464432

[startup+282.301 s]
/proc/loadavg: 2.16 2.06 2.21 3/525 19594
/proc/meminfo: memFree=19392588/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=1407332 CPUtime=282.3 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 595061 0 0 0 28150 80 0 0 25 0 1 0 855919221 1441107968 335458 33554432000 4194304 9163163 140735495128560 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19585/statm: 351833 335458 925 1214 0 350615 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1407332

[startup+342.301 s]
/proc/loadavg: 2.13 2.07 2.19 3/525 19595
/proc/meminfo: memFree=19457288/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=1465364 CPUtime=342.3 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 621170 0 0 0 34146 84 0 0 25 0 1 0 855919221 1500532736 344619 33554432000 4194304 9163163 140735495128560 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19585/statm: 366341 344619 925 1214 0 365123 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1465364

[startup+402.301 s]
/proc/loadavg: 2.05 2.05 2.18 3/525 19597
/proc/meminfo: memFree=19460236/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=1463220 CPUtime=402.3 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 637022 0 0 0 40143 87 0 0 25 0 1 0 855919221 1498337280 343602 33554432000 4194304 9163163 140735495128560 18446744073709551615 7195858 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19585/statm: 365805 343602 925 1214 0 364587 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1463220

[startup+462.3 s]
/proc/loadavg: 2.02 2.04 2.17 3/525 19598
/proc/meminfo: memFree=19455116/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=1463096 CPUtime=462.31 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 701054 0 0 0 46133 98 0 0 25 0 1 0 855919221 1498210304 343626 33554432000 4194304 9163163 140735495128560 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19585/statm: 365774 343626 920 1214 0 364556 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1463096

[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.15 3/525 19600
/proc/meminfo: memFree=19442924/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=1469284 CPUtime=522.31 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 783173 0 0 0 52120 111 0 0 25 0 1 0 855919221 1504546816 344027 33554432000 4194304 9163163 140735495128560 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19585/statm: 367321 344027 915 1214 0 366103 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1469284

[startup+582.3 s]
/proc/loadavg: 2.08 2.05 2.15 3/525 19602
/proc/meminfo: memFree=19418460/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=1523544 CPUtime=582.31 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 842314 0 0 0 58112 119 0 0 25 0 1 0 855919221 1560109056 351794 33554432000 4194304 9163163 140735495128560 18446744073709551615 7348633 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19585/statm: 380886 351794 1356 1214 0 379668 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1523544

[startup+642.301 s]

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

[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 2.09 3/525 19614
/proc/meminfo: memFree=19468140/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=1437936 CPUtime=1062.32 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 936315 0 0 0 106093 139 0 0 25 0 1 0 855919221 1472446464 338873 33554432000 4194304 9163163 140735495128560 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19585/statm: 359484 338873 754 1214 0 358266 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1437936

[startup+1122.3 s]
/proc/loadavg: 2.12 2.05 2.09 3/525 19616
/proc/meminfo: memFree=19463264/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=1439656 CPUtime=1122.32 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 954136 0 0 0 112090 142 0 0 25 0 1 0 855919221 1474207744 339927 33554432000 4194304 9163163 140735495128560 18446744073709551615 7046799 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19585/statm: 359914 339927 754 1214 0 358696 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1439656

[startup+1182.3 s]
/proc/loadavg: 2.15 2.07 2.09 3/525 19618
/proc/meminfo: memFree=19475012/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=1463584 CPUtime=1182.33 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 962053 0 0 0 118089 144 0 0 25 0 1 0 855919221 1498710016 337185 33554432000 4194304 9163163 140735495128560 18446744073709551615 7348556 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19585/statm: 365896 337185 754 1214 0 364678 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1463584

[startup+1242.3 s]
/proc/loadavg: 2.05 2.06 2.09 3/525 19619
/proc/meminfo: memFree=19472864/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=1463584 CPUtime=1242.32 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 962239 0 0 0 124087 145 0 0 25 0 1 0 855919221 1498710016 337371 33554432000 4194304 9163163 140735495128560 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19585/statm: 365896 337371 768 1214 0 364678 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1463584

[startup+1302.3 s]
/proc/loadavg: 2.02 2.04 2.08 3/525 19630
/proc/meminfo: memFree=19471852/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=1434732 CPUtime=1302.34 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 1000951 0 0 0 130083 151 0 0 25 0 1 0 855919221 1469165568 337503 33554432000 4194304 9163163 140735495128560 18446744073709551615 7348243 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19585/statm: 358683 337503 780 1214 0 357465 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1434732

[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.07 3/525 19631
/proc/meminfo: memFree=19438588/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=1464124 CPUtime=1362.33 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 1094146 0 0 0 136070 163 0 0 25 0 1 0 855919221 1499262976 345746 33554432000 4194304 9163163 140735495128560 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19585/statm: 366031 345746 780 1214 0 364813 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1464124

[startup+1422.32 s]
/proc/loadavg: 2.11 2.06 2.08 3/525 19633
/proc/meminfo: memFree=19444012/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=1463744 CPUtime=1422.35 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 1225359 0 0 0 142055 180 0 0 25 0 1 0 855919221 1498873856 344741 33554432000 4194304 9163163 140735495128560 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19585/statm: 365936 344741 780 1214 0 364718 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 1463744

[startup+1482.3 s]
/proc/loadavg: 2.09 2.06 2.08 3/525 19638
/proc/meminfo: memFree=19474572/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=1437192 CPUtime=1482.33 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 1272675 0 0 0 148046 187 0 0 25 0 1 0 855919221 1471684608 337092 33554432000 4194304 9163163 140735495128560 18446744073709551615 7225486 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19585/statm: 359298 337092 779 1214 0 358080 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1437192

[startup+1542.3 s]
/proc/loadavg: 2.03 2.05 2.07 3/525 19639
/proc/meminfo: memFree=19433944/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=1501320 CPUtime=1542.33 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 1341035 0 0 0 154037 196 0 0 25 0 1 0 855919221 1537351680 347241 33554432000 4194304 9163163 140735495128560 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19585/statm: 375330 347241 766 1214 0 374112 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1501320

[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.07 3/525 19641
/proc/meminfo: memFree=19431056/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=1502204 CPUtime=1602.34 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 1432468 0 0 0 160026 208 0 0 25 0 1 0 855919221 1538256896 353323 33554432000 4194304 9163163 140735495128560 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19585/statm: 375551 353323 5931 1214 0 374333 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1502204

[startup+1662.3 s]
/proc/loadavg: 2.16 2.06 2.07 3/525 19643
/proc/meminfo: memFree=19429532/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=1501480 CPUtime=1662.34 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 1483944 0 0 0 166018 216 0 0 25 0 1 0 855919221 1537515520 353498 33554432000 4194304 9163163 140735495128560 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19585/statm: 375370 353498 6005 1214 0 374152 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1501480

[startup+1722.3 s]
/proc/loadavg: 2.13 2.06 2.07 3/525 19644
/proc/meminfo: memFree=19431100/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=1469644 CPUtime=1722.34 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 1531360 0 0 0 172012 222 0 0 25 0 1 0 855919221 1504915456 344976 33554432000 4194304 9163163 140735495128560 18446744073709551615 7348526 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19585/statm: 367411 344976 6043 1214 0 366193 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1469644

[startup+1782.3 s]
/proc/loadavg: 2.05 2.05 2.06 3/525 19646
/proc/meminfo: memFree=19463200/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=1471520 CPUtime=1782.34 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 1608938 0 0 0 178004 230 0 0 25 0 1 0 855919221 1506836480 338823 33554432000 4194304 9163163 140735495128560 18446744073709551615 7379350 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19585/statm: 367880 338823 766 1214 0 366662 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1471520



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.03 2.05 2.06 3/526 19647
/proc/meminfo: memFree=19431676/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=1500816 CPUtime=1800.05 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 1625431 0 0 0 179773 232 0 0 25 0 1 0 855919221 1536835584 353126 33554432000 4194304 9163163 140735495128560 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19585/statm: 375204 353126 6495 1214 0 373986 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1500816

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

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

[startup+1800.12 s]
/proc/loadavg: 2.03 2.05 2.06 3/526 19647
/proc/meminfo: memFree=19431676/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=1500816 CPUtime=1800.16 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 1625431 0 0 0 179784 232 0 0 25 0 1 0 855919221 1536835584 353126 33554432000 4194304 9163163 140735495128560 18446744073709551615 7209907 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/19585/statm: 375204 353126 6495 1214 0 373986 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 1500816

[startup+1800.9 s]
/proc/loadavg: 2.03 2.05 2.06 3/527 19648
/proc/meminfo: memFree=19432412/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=1411992 CPUtime=1800.94 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 1625440 0 0 0 179862 232 0 0 25 0 1 0 855919221 1445879808 330929 33554432000 4194304 9163163 140735495128560 18446744073709551615 6555730 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19585/statm: 352998 330929 6504 1214 0 351780 0
Current children cumulated CPU time (s) 1800.94
Current children cumulated vsize (KiB) 1411992

[startup+1801.1 s]
/proc/loadavg: 2.03 2.05 2.06 3/527 19648
/proc/meminfo: memFree=19432412/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=898148 CPUtime=1801.15 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 1625442 0 0 0 179881 234 0 0 25 0 1 0 855919221 919703552 218892 33554432000 4194304 9163163 140735495128560 18446744073709551615 4338409 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19585/statm: 224537 218892 765 1214 0 223319 0
Current children cumulated CPU time (s) 1801.15
Current children cumulated vsize (KiB) 898148

[startup+1801.2 s]
/proc/loadavg: 2.03 2.05 2.06 3/527 19648
/proc/meminfo: memFree=19432412/32951124 swapFree=56930356/67111528
[pid=19585] ppid=19583 vsize=562120 CPUtime=1801.24 cores=1,3,5,7
/proc/19585/stat : 19585 (scip-2.0.1.4b.l) R 19583 19585 18907 0 -1 4202496 1625445 0 0 0 179889 235 0 0 25 0 1 0 855919221 575610880 133746 33554432000 4194304 9163163 140735495128560 18446744073709551615 8264362 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19585/statm: 140530 133308 768 1214 0 139312 0
Current children cumulated CPU time (s) 1801.24
Current children cumulated vsize (KiB) 562120

Child status: 0
Real time (s): 1801.22
CPU time (s): 1801.27
CPU user time (s): 1798.89
CPU system time (s): 2.37964
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1536112

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

runsolver used 9.06862 second user time and 22.3566 second system time

The end

Launcher Data 

Begin job on node137 at 2011-06-07 12:40:15
IDJOB=3478856
IDBENCH=89748
IDSOLVER=1948
FILE ID=node137/3478856-1307443214
RUNJOBID= node137-1307441411-19462
PBS_JOBID= 13519951
Free space on /tmp= 73804 MiB

SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-164.opb
COMMAND LINE= HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3478856-1307443214/watcher-3478856-1307443214 -o /tmp/evaluation-result-3478856-1307443214/solver-3478856-1307443214 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3478856-1307443214.opb -t 1800 -m 15500

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

MD5SUM BENCH= 81ec1ddcd163131a26e4e6f9286dd205
RANDOM SEED=1335844270

node137.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.844
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.68
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.844
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.75
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.844
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.74
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.844
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.74
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.844
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.82
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.844
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.75
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.844
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.83
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.844
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:     32951124 kB
MemFree:      23310580 kB
Buffers:        333012 kB
Cached:         995612 kB
SwapCached:      12464 kB
Active:        8602600 kB
Inactive:       762644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23310580 kB
SwapTotal:    67111528 kB
SwapFree:     56930356 kB
Dirty:           93300 kB
Writeback:           0 kB
AnonPages:     8033936 kB
Mapped:          22784 kB
Slab:           131732 kB
PageTables:      74576 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 162567140 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= 73844 MiB
End job on node137 at 2011-06-07 13:10:17