Trace number 3478955

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) 1800.48 1800.45

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-37.opb
MD5SUMec0686518f213640aefaf52d4a6ca034
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 benchmark379.268
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9310
Total number of constraints199239
Number of constraints which are clauses178407
Number of constraints which are cardinality constraints (but not clauses)730
Number of constraints which are nor clauses,nor cardinality constraints20102
Minimum length of a constraint1
Maximum length of a constraint231
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 232
Number of bits of the biggest sum of numbers8
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-3478955-1307444787.opb>
1.39/1.45	c original problem has 9310 variables (9310 bin, 0 int, 0 impl, 0 cont) and 199239 constraints
1.39/1.45	c problem read
1.39/1.45	c No objective function, only one solution is needed.
1.39/1.45	c presolving settings loaded
1.59/1.69	c presolving:
1.88/1.98	c (round 1) 165 del vars, 2673 del conss, 0 add conss, 165 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 93700 impls, 365 clqs
1.98/2.00	c (round 2) 165 del vars, 4367 del conss, 0 add conss, 165 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 93700 impls, 365 clqs
2.59/2.69	c (round 3) 165 del vars, 4417 del conss, 0 add conss, 165 chg bounds, 14 chg sides, 0 chg coeffs, 194856 upgd conss, 93700 impls, 365 clqs
2.79/2.86	c presolving (4 rounds):
2.79/2.86	c  165 deleted vars, 4417 deleted constraints, 0 added constraints, 165 tightened bounds, 0 added holes, 14 changed sides, 0 changed coefficients
2.79/2.86	c  93700 implications, 365 cliques
2.79/2.86	c presolved problem has 9145 variables (9145 bin, 0 int, 0 impl, 0 cont) and 194822 constraints
2.79/2.86	c   20454 constraints of type <knapsack>
2.79/2.86	c   38744 constraints of type <setppc>
2.79/2.86	c       2 constraints of type <linear>
2.79/2.86	c  135622 constraints of type <logicor>
2.79/2.86	c transformed objective value is always integral (scale: 1)
2.79/2.86	c Presolving Time: 1.18
2.79/2.86	c - non default parameters ----------------------------------------------------------------------
2.79/2.86	c # SCIP version 2.0.1.5
2.79/2.86	c 
2.79/2.86	c # frequency for displaying node information lines
2.79/2.86	c # [type: int, range: [-1,2147483647], default: 100]
2.79/2.86	c display/freq = 10000
2.79/2.86	c 
2.79/2.86	c # maximal time in seconds to run
2.79/2.86	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.79/2.86	c limits/time = 1800
2.79/2.86	c 
2.79/2.86	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.79/2.86	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.79/2.86	c limits/memory = 13950
2.79/2.86	c 
2.79/2.86	c # solving stops, if the given number of solutions were found (-1: no limit)
2.79/2.86	c # [type: int, range: [-1,2147483647], default: -1]
2.79/2.86	c limits/solutions = 1
2.79/2.86	c 
2.79/2.86	c # maximal number of separation rounds per node (-1: unlimited)
2.79/2.86	c # [type: int, range: [-1,2147483647], default: 5]
2.79/2.86	c separating/maxrounds = 1
2.79/2.86	c 
2.79/2.86	c # maximal number of separation rounds in the root node (-1: unlimited)
2.79/2.86	c # [type: int, range: [-1,2147483647], default: -1]
2.79/2.86	c separating/maxroundsroot = 5
2.79/2.86	c 
2.79/2.86	c # default clock type (1: CPU user seconds, 2: wall clock time)
2.79/2.86	c # [type: int, range: [1,2], default: 1]
2.79/2.86	c timing/clocktype = 2
2.79/2.86	c 
2.79/2.86	c # belongs reading time to solving time?
2.79/2.86	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.79/2.86	c timing/reading = TRUE
2.79/2.86	c 
2.79/2.86	c # should presolving try to simplify inequalities
2.79/2.86	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.79/2.86	c constraints/linear/simplifyinequalities = TRUE
2.79/2.86	c 
2.79/2.86	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
2.79/2.86	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.79/2.86	c constraints/indicator/addCouplingCons = TRUE
2.79/2.86	c 
2.79/2.86	c # should disaggregation of knapsack constraints be allowed in preprocessing?
2.79/2.86	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
2.79/2.86	c constraints/knapsack/disaggregation = FALSE
2.79/2.86	c 
2.79/2.86	c # should presolving try to simplify knapsacks
2.79/2.86	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.79/2.86	c constraints/knapsack/simplifyinequalities = TRUE
2.79/2.86	c 
2.79/2.86	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
2.79/2.86	c # [type: int, range: [-1,2147483647], default: -1]
2.79/2.86	c presolving/probing/maxrounds = 0
2.79/2.86	c 
2.79/2.86	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
2.79/2.86	c # [type: int, range: [-1,2147483647], default: 10]
2.79/2.86	c heuristics/coefdiving/freq = -1
2.79/2.86	c 
2.79/2.86	c # maximal fraction of diving LP iterations compared to node LP iterations
2.79/2.86	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.79/2.86	c heuristics/coefdiving/maxlpiterquot = 0.075
2.79/2.86	c 
2.79/2.86	c # additional number of allowed LP iterations
2.79/2.86	c # [type: int, range: [0,2147483647], default: 1000]
2.79/2.86	c heuristics/coefdiving/maxlpiterofs = 1500
2.79/2.86	c 
2.79/2.86	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
2.79/2.86	c # [type: int, range: [-1,2147483647], default: 30]
2.79/2.86	c heuristics/crossover/freq = -1
2.79/2.86	c 
2.79/2.86	c # number of nodes added to the contingent of the total nodes
2.79/2.86	c # [type: longint, range: [0,9223372036854775807], default: 500]
2.79/2.86	c heuristics/crossover/nodesofs = 750
2.79/2.86	c 
2.79/2.86	c # number of nodes without incumbent change that heuristic should wait
2.79/2.86	c # [type: longint, range: [0,9223372036854775807], default: 200]
2.79/2.86	c heuristics/crossover/nwaitingnodes = 100
2.79/2.86	c 
2.79/2.86	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
2.79/2.86	c # [type: real, range: [0,1], default: 0.1]
2.79/2.86	c heuristics/crossover/nodesquot = 0.15
2.79/2.86	c 
2.79/2.86	c # minimum percentage of integer variables that have to be fixed 
2.79/2.86	c # [type: real, range: [0,1], default: 0.666]
2.79/2.86	c heuristics/crossover/minfixingrate = 0.5
2.79/2.86	c 
2.79/2.86	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
2.79/2.86	c # [type: int, range: [-1,2147483647], default: 20]
2.79/2.86	c heuristics/feaspump/freq = -1
2.79/2.86	c 
2.79/2.86	c # additional number of allowed LP iterations
2.79/2.86	c # [type: int, range: [0,2147483647], default: 1000]
2.79/2.86	c heuristics/feaspump/maxlpiterofs = 2000
2.79/2.86	c 
2.79/2.86	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
2.79/2.86	c # [type: int, range: [-1,2147483647], default: 10]
2.79/2.86	c heuristics/fracdiving/freq = -1
2.79/2.86	c 
2.79/2.86	c # maximal fraction of diving LP iterations compared to node LP iterations
2.79/2.86	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.79/2.86	c heuristics/fracdiving/maxlpiterquot = 0.075
2.79/2.86	c 
2.79/2.86	c # additional number of allowed LP iterations
2.79/2.86	c # [type: int, range: [0,2147483647], default: 1000]
2.79/2.86	c heuristics/fracdiving/maxlpiterofs = 1500
2.79/2.86	c 
2.79/2.86	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
2.79/2.86	c # [type: int, range: [-1,2147483647], default: 10]
2.79/2.86	c heuristics/guideddiving/freq = -1
2.79/2.86	c 
2.79/2.86	c # maximal fraction of diving LP iterations compared to node LP iterations
2.79/2.86	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.79/2.86	c heuristics/guideddiving/maxlpiterquot = 0.075
2.79/2.86	c 
2.79/2.86	c # additional number of allowed LP iterations
2.79/2.86	c # [type: int, range: [0,2147483647], default: 1000]
2.79/2.86	c heuristics/guideddiving/maxlpiterofs = 1500
2.79/2.86	c 
2.79/2.86	c # maximal fraction of diving LP iterations compared to node LP iterations
2.79/2.86	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.79/2.86	c heuristics/intdiving/maxlpiterquot = 0.075
2.79/2.86	c 
2.79/2.86	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
2.79/2.86	c # [type: int, range: [-1,2147483647], default: 10]
2.79/2.86	c heuristics/intshifting/freq = -1
2.79/2.86	c 
2.79/2.86	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
2.79/2.86	c # [type: int, range: [-1,2147483647], default: 10]
2.79/2.86	c heuristics/linesearchdiving/freq = -1
2.79/2.86	c 
2.79/2.86	c # maximal fraction of diving LP iterations compared to node LP iterations
2.79/2.86	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.79/2.86	c heuristics/linesearchdiving/maxlpiterquot = 0.075
2.79/2.86	c 
2.79/2.86	c # additional number of allowed LP iterations
2.79/2.86	c # [type: int, range: [0,2147483647], default: 1000]
2.79/2.86	c heuristics/linesearchdiving/maxlpiterofs = 1500
2.79/2.86	c 
2.79/2.86	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
2.79/2.86	c # [type: int, range: [-1,2147483647], default: 20]
2.79/2.86	c heuristics/objpscostdiving/freq = -1
2.79/2.86	c 
2.79/2.86	c # maximal fraction of diving LP iterations compared to total iteration number
2.79/2.86	c # [type: real, range: [0,1], default: 0.01]
2.79/2.86	c heuristics/objpscostdiving/maxlpiterquot = 0.015
2.79/2.86	c 
2.79/2.86	c # additional number of allowed LP iterations
2.79/2.86	c # [type: int, range: [0,2147483647], default: 1000]
2.79/2.86	c heuristics/objpscostdiving/maxlpiterofs = 1500
2.79/2.86	c 
2.79/2.86	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
2.79/2.86	c # [type: int, range: [-1,2147483647], default: 1]
2.79/2.86	c heuristics/oneopt/freq = -1
2.79/2.86	c 
2.79/2.86	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
2.79/2.86	c # [type: int, range: [-1,2147483647], default: 10]
2.79/2.86	c heuristics/pscostdiving/freq = -1
2.79/2.86	c 
2.79/2.86	c # maximal fraction of diving LP iterations compared to node LP iterations
2.79/2.86	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.79/2.86	c heuristics/pscostdiving/maxlpiterquot = 0.075
2.79/2.86	c 
2.79/2.86	c # additional number of allowed LP iterations
2.79/2.86	c # [type: int, range: [0,2147483647], default: 1000]
2.79/2.86	c heuristics/pscostdiving/maxlpiterofs = 1500
2.79/2.86	c 
2.79/2.86	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
2.79/2.86	c # [type: int, range: [-1,2147483647], default: 0]
2.79/2.86	c heuristics/rens/freq = -1
2.79/2.86	c 
2.79/2.86	c # minimum percentage of integer variables that have to be fixable 
2.79/2.86	c # [type: real, range: [0,1], default: 0.5]
2.79/2.86	c heuristics/rens/minfixingrate = 0.3
2.79/2.86	c 
2.79/2.86	c # number of nodes added to the contingent of the total nodes
2.79/2.86	c # [type: longint, range: [0,9223372036854775807], default: 500]
2.79/2.86	c heuristics/rens/nodesofs = 2000
2.79/2.86	c 
2.79/2.86	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
2.79/2.86	c # [type: int, range: [-1,2147483647], default: 20]
2.79/2.86	c heuristics/rootsoldiving/freq = -1
2.79/2.86	c 
2.79/2.86	c # maximal fraction of diving LP iterations compared to node LP iterations
2.79/2.86	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
2.79/2.86	c heuristics/rootsoldiving/maxlpiterquot = 0.015
2.79/2.86	c 
2.79/2.86	c # additional number of allowed LP iterations
2.79/2.86	c # [type: int, range: [0,2147483647], default: 1000]
2.79/2.86	c heuristics/rootsoldiving/maxlpiterofs = 1500
2.79/2.86	c 
2.79/2.86	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
2.79/2.86	c # [type: int, range: [-1,2147483647], default: 1]
2.79/2.86	c heuristics/rounding/freq = -1
2.79/2.86	c 
2.79/2.86	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
2.79/2.86	c # [type: int, range: [-1,2147483647], default: 0]
2.79/2.86	c heuristics/shiftandpropagate/freq = -1
2.79/2.86	c 
2.79/2.86	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
2.79/2.86	c # [type: int, range: [-1,2147483647], default: 10]
2.79/2.86	c heuristics/shifting/freq = -1
2.79/2.86	c 
2.79/2.86	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
2.79/2.86	c # [type: int, range: [-1,2147483647], default: 1]
2.79/2.86	c heuristics/simplerounding/freq = -1
2.79/2.86	c 
2.79/2.86	c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
2.79/2.86	c # [type: int, range: [-1,2147483647], default: 1]
2.79/2.86	c heuristics/subnlp/freq = -1
2.79/2.86	c 
2.79/2.86	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
2.79/2.86	c # [type: int, range: [-1,2147483647], default: 0]
2.79/2.86	c heuristics/trivial/freq = -1
2.79/2.86	c 
2.79/2.86	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
2.79/2.86	c # [type: int, range: [-1,2147483647], default: 1]
2.79/2.86	c heuristics/trysol/freq = -1
2.79/2.86	c 
2.79/2.86	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
2.79/2.86	c # [type: int, range: [-1,2147483647], default: 0]
2.79/2.86	c heuristics/undercover/freq = -1
2.79/2.86	c 
2.79/2.86	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
2.79/2.86	c # [type: int, range: [-1,2147483647], default: 10]
2.79/2.86	c heuristics/veclendiving/freq = -1
2.79/2.86	c 
2.79/2.86	c # maximal fraction of diving LP iterations compared to node LP iterations
2.79/2.86	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.79/2.86	c heuristics/veclendiving/maxlpiterquot = 0.075
2.79/2.86	c 
2.79/2.86	c # additional number of allowed LP iterations
2.79/2.86	c # [type: int, range: [0,2147483647], default: 1000]
2.79/2.86	c heuristics/veclendiving/maxlpiterofs = 1500
2.79/2.86	c 
2.79/2.86	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
2.79/2.86	c # [type: int, range: [-1,2147483647], default: 1]
2.79/2.86	c heuristics/zirounding/freq = -1
2.79/2.86	c 
2.79/2.86	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
2.79/2.86	c # [type: int, range: [-1,2147483647], default: 0]
2.79/2.86	c separating/cmir/freq = -1
2.79/2.86	c 
2.79/2.86	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
2.79/2.86	c # [type: int, range: [-1,2147483647], default: 0]
2.79/2.86	c separating/flowcover/freq = -1
2.79/2.86	c 
2.79/2.86	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.79/2.86	c # [type: int, range: [-1,2147483647], default: -1]
2.79/2.86	c separating/rapidlearning/freq = 0
2.79/2.86	c 
2.79/2.86	c -----------------------------------------------------------------------------------------------
2.79/2.86	c start solving
2.79/2.86	c 
4.99/5.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.99/5.05	c   5.0s|     1 |     0 |  1493 |     - | 292M|   0 | 577 |9145 | 194k|9145 | 194k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
8.29/8.30	c   8.3s|     1 |     0 |  2542 |     - | 292M|   0 | 830 |9145 | 194k|9145 | 194k|   8 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
11.09/11.14	c  11.1s|     1 |     0 |  3024 |     - | 293M|   0 |1450 |9145 | 194k|9145 | 194k|  24 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
21.29/21.33	c  21.3s|     1 |     0 |  8143 |     - | 294M|   0 |2581 |9145 | 194k|9145 | 194k|  35 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
110.98/111.04	c   111s|     1 |     0 | 25142 |     - | 295M|   0 |3173 |9145 | 194k|9145 | 194k|  97 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
145.38/145.48	c   145s|     1 |     0 | 32894 |     - | 296M|   0 |3998 |9145 | 194k|9145 | 195k| 215 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
193.78/193.81	c   194s|     1 |     2 | 32894 |     - | 296M|   0 |3998 |9145 | 194k|9145 | 195k| 215 |   0 |  22 | 0.000000e+00 |      --      |    Inf 
1800.04/1800.03	c 
1800.04/1800.03	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.03	c Solving Time (sec) : 1800.03
1800.04/1800.03	c Solving Nodes      : 78
1800.04/1800.03	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.04/1800.03	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.03	c Gap                : infinite
1800.04/1800.03	s UNKNOWN
1800.04/1800.03	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.03	c Total Time         :    1800.03
1800.04/1800.03	c   solving          :    1800.03
1800.04/1800.03	c   presolving       :       1.18 (included in solving)
1800.04/1800.03	c   reading          :       1.45 (included in solving)
1800.04/1800.03	c Original Problem   :
1800.04/1800.03	c   Problem name     : HOME/instance-3478955-1307444787.opb
1800.04/1800.03	c   Variables        : 9310 (9310 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.03	c   Constraints      : 199239 initial, 199239 maximal
1800.04/1800.03	c Presolved Problem  :
1800.04/1800.03	c   Problem name     : t_HOME/instance-3478955-1307444787.opb
1800.04/1800.03	c   Variables        : 9145 (9145 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.03	c   Constraints      : 194822 initial, 194822 maximal
1800.04/1800.03	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1800.04/1800.03	c   trivial          :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.03	c   dualfix          :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.03	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.03	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.03	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.03	c   implics          :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.03	c   probing          :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.03	c   knapsack         :       0.07          0          0          0          0          0          0          0          0          0
1800.04/1800.03	c   setppc           :       0.03          0          0          0          0          0          0          0          0          0
1800.04/1800.03	c   linear           :       0.75        165          0          0        165          0       4381          0         14          0
1800.04/1800.03	c   logicor          :       0.18          0          0          0          0          0         36          0          0          0
1800.04/1800.03	c   root node        :          -          1          -          -          1          -          -          -          -          -
1800.04/1800.03	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.03	c   integral         :          0          0          0        100          0          1          0          0         92          0          0        154
1800.04/1800.03	c   knapsack         :      20454          5        173          0          1          0          0          0         10        320          0          0
1800.04/1800.03	c   setppc           :      38744          5        173          0          1          0          0          0       2891          0          0          0
1800.04/1800.03	c   linear           :          2          5        173          0          1          0          0          0          0          0          0          0
1800.04/1800.03	c   logicor          :     135622          5         88          0          1          0          0          0         15          0          0          0
1800.04/1800.03	c   countsols        :          0          0          0          0          1          0          0          0          0          0          0          0
1800.04/1800.03	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1800.04/1800.03	c   integral         :    1030.42       0.00       0.00    1030.42       0.00       0.00       0.00
1800.04/1800.03	c   knapsack         :       0.15       0.06       0.09       0.00       0.00       0.00       0.00
1800.04/1800.03	c   setppc           :       0.20       0.01       0.19       0.00       0.00       0.00       0.00
1800.04/1800.03	c   linear           :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.04/1800.03	c   logicor          :       0.07       0.02       0.05       0.00       0.01       0.00       0.00
1800.04/1800.03	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.04/1800.03	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1800.04/1800.03	c   vbounds          :          0          0          0          0
1800.04/1800.03	c   rootredcost      :          0          0          0          0
1800.04/1800.03	c   pseudoobj        :          0          0          0          0
1800.04/1800.03	c Propagator Timings :  TotalTime  Propagate    Resprop
1800.04/1800.03	c   vbounds          :       0.00       0.00       0.00
1800.04/1800.03	c   rootredcost      :       0.00       0.00       0.00
1800.04/1800.03	c   pseudoobj        :       0.00       0.00       0.00
1800.04/1800.03	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.03	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.03	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.03	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.03	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.03	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.03	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.04/1800.03	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.03	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.03	c   cut pool         :       0.00          4          -          -        341          -    (maximal pool size: 1452)
1800.04/1800.03	c   redcost          :       0.01         81          0          0          0          0
1800.04/1800.03	c   impliedbounds    :       0.00          5          0          0          0          0
1800.04/1800.03	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.03	c   gomory           :       7.31          5          0          0       2500          0
1800.04/1800.03	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.03	c   closecuts        :       0.00          0          0          0          0          0
1800.04/1800.03	c   strongcg         :       5.07          5          0          0       2500          0
1800.04/1800.03	c   cmir             :       0.00          0          0          0          0          0
1800.04/1800.03	c   flowcover        :       0.00          0          0          0          0          0
1800.04/1800.03	c   clique           :       0.29          5          0          0         34          0
1800.04/1800.03	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.03	c   mcf              :       0.32          1          0          0          0          0
1800.04/1800.03	c   oddcycle         :       0.00          0          0          0          0          0
1800.04/1800.03	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.03	c Pricers            :       Time      Calls       Vars
1800.04/1800.03	c   problem variables:       0.00          0          0
1800.04/1800.03	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.03	c   relpscost        :    1030.42        100          0         92          0          0        154
1800.04/1800.03	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.03	c   inference        :       0.00          1          0          0          0          0          2
1800.04/1800.03	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.03	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.03	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.03	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.03	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.03	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.03	c   LP solutions     :       0.00          -          0
1800.04/1800.03	c   pseudo solutions :       0.00          -          0
1800.04/1800.03	c   trivial          :       0.00          1          0
1800.04/1800.03	c   shiftandpropagate:       0.00          0          0
1800.04/1800.03	c   simplerounding   :       0.00          0          0
1800.04/1800.03	c   zirounding       :       0.00          0          0
1800.04/1800.03	c   rounding         :       0.00          0          0
1800.04/1800.03	c   shifting         :       0.00          0          0
1800.04/1800.03	c   intshifting      :       0.00          0          0
1800.04/1800.03	c   oneopt           :       0.00          0          0
1800.04/1800.03	c   twoopt           :       0.00          0          0
1800.04/1800.03	c   fixandinfer      :       0.00          0          0
1800.04/1800.03	c   feaspump         :       0.00          0          0
1800.04/1800.03	c   clique           :       0.00          0          0
1800.04/1800.03	c   coefdiving       :       0.00          0          0
1800.04/1800.03	c   pscostdiving     :       0.00          0          0
1800.04/1800.03	c   fracdiving       :       0.00          0          0
1800.04/1800.03	c   veclendiving     :       0.00          0          0
1800.04/1800.03	c   intdiving        :       0.00          0          0
1800.04/1800.03	c   actconsdiving    :       0.00          0          0
1800.04/1800.03	c   objpscostdiving  :       0.00          0          0
1800.04/1800.03	c   rootsoldiving    :       0.00          0          0
1800.04/1800.03	c   linesearchdiving :       0.00          0          0
1800.04/1800.03	c   guideddiving     :       0.00          0          0
1800.04/1800.03	c   octane           :       0.00          0          0
1800.04/1800.03	c   rens             :       0.00          0          0
1800.04/1800.03	c   rins             :       0.00          0          0
1800.04/1800.03	c   localbranching   :       0.00          0          0
1800.04/1800.03	c   mutation         :       0.00          0          0
1800.04/1800.03	c   crossover        :       0.00          0          0
1800.04/1800.03	c   dins             :       0.00          0          0
1800.04/1800.03	c   vbounds          :       0.00          0          0
1800.04/1800.03	c   undercover       :       0.00          0          0
1800.04/1800.03	c   subnlp           :       0.00          0          0
1800.04/1800.03	c   trysol           :       0.00          0          0
1800.04/1800.03	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.03	c   primal LP        :       0.14          0          0       0.00       0.00
1800.04/1800.03	c   dual LP          :     750.59        106     183040    1726.79     243.86
1800.04/1800.03	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.03	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.03	c   diving/probing LP:       0.00          0          0       0.00          -
1800.04/1800.03	c   strong branching :    1030.15        360     211285     586.90     205.10
1800.04/1800.03	c     (at root node) :          -         22       9949     452.23          -
1800.04/1800.03	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.03	c B&B Tree           :
1800.04/1800.03	c   number of runs   :          1
1800.04/1800.03	c   nodes            :         78
1800.04/1800.03	c   nodes (total)    :         78
1800.04/1800.03	c   nodes left       :         79
1800.04/1800.03	c   max depth        :         26
1800.04/1800.03	c   max depth (total):         26
1800.04/1800.03	c   backtracks       :         15 (19.2%)
1800.04/1800.03	c   delayed cutoffs  :          0
1800.04/1800.03	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.04/1800.03	c   avg switch length:       1.85
1800.04/1800.03	c   switching time   :       0.33
1800.04/1800.03	c Solution           :
1800.04/1800.03	c   Solutions found  :          0 (0 improvements)
1800.04/1800.03	c   Primal Bound     :          -
1800.04/1800.03	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.03	c   Gap              :   infinite
1800.04/1800.03	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.03	c   Root Iterations  :      32894
1800.42/1800.44	c Time complete: 1800.47.

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-3478955-1307444787/watcher-3478955-1307444787 -o /tmp/evaluation-result-3478955-1307444787/solver-3478955-1307444787 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3478955-1307444787.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: 0.00 0.00 0.00 2/440 19418
/proc/meminfo: memFree=29621628/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=13116 CPUtime=0 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 2247 0 0 0 0 0 0 0 20 0 1 0 934709443 13430784 2201 33554432000 4194304 9163163 140737247585184 18446744073709551615 8041824 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19418/statm: 3279 2201 392 1214 0 2061 0

[startup+0.0844 s]
/proc/loadavg: 0.00 0.00 0.00 2/440 19418
/proc/meminfo: memFree=29621628/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=19772 CPUtime=0.07 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 3881 0 0 0 7 0 0 0 20 0 1 0 934709443 20246528 3835 33554432000 4194304 9163163 140737247585184 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19418/statm: 4943 3859 392 1214 0 3725 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 19772

[startup+0.100396 s]
/proc/loadavg: 0.00 0.00 0.00 2/440 19418
/proc/meminfo: memFree=29621628/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=20096 CPUtime=0.09 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 4016 0 0 0 9 0 0 0 20 0 1 0 934709443 20578304 3970 33554432000 4194304 9163163 140737247585184 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19418/statm: 5024 3970 392 1214 0 3806 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20096

[startup+0.300364 s]
/proc/loadavg: 0.00 0.00 0.00 2/440 19418
/proc/meminfo: memFree=29621628/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=32444 CPUtime=0.29 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 7098 0 0 0 29 0 0 0 21 0 1 0 934709443 33222656 7052 33554432000 4194304 9163163 140737247585184 18446744073709551615 7480671 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19418/statm: 8111 7052 392 1214 0 6893 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32444

[startup+0.700287 s]
/proc/loadavg: 0.00 0.00 0.00 2/440 19418
/proc/meminfo: memFree=29621628/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=56292 CPUtime=0.68 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 13037 0 0 0 67 1 0 0 22 0 1 0 934709443 57643008 12991 33554432000 4194304 9163163 140737247585184 18446744073709551615 6137628 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19418/statm: 14073 12991 392 1214 0 12855 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 56292

[startup+1.50113 s]
/proc/loadavg: 0.00 0.00 0.00 3/441 19419
/proc/meminfo: memFree=29501824/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=137696 CPUtime=1.49 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 33279 0 0 0 145 4 0 0 25 0 1 0 934709443 141000704 33183 33554432000 4194304 9163163 140737247585184 18446744073709551615 4207745 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19418/statm: 34424 33183 430 1214 0 33206 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 137696

[startup+3.10083 s]
/proc/loadavg: 0.16 0.03 0.01 3/441 19419
/proc/meminfo: memFree=29256460/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=383608 CPUtime=3.09 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 118807 0 0 0 295 14 0 0 25 0 1 0 934709443 392814592 93233 33554432000 4194304 9163163 140737247585184 18446744073709551615 8045827 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19418/statm: 95902 93233 592 1214 0 94684 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 383608

[startup+6.30022 s]
/proc/loadavg: 0.16 0.03 0.01 3/441 19419
/proc/meminfo: memFree=28785216/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=616648 CPUtime=6.29 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 183994 0 0 0 609 20 0 0 25 0 1 0 934709443 631447552 144215 33554432000 4194304 9163163 140737247585184 18446744073709551615 6676784 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19418/statm: 154162 144215 1027 1214 0 152944 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 616648

[startup+12.701 s]
/proc/loadavg: 0.44 0.10 0.03 3/441 19419
/proc/meminfo: memFree=28460772/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=631280 CPUtime=12.69 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 191036 0 0 0 1247 22 0 0 25 0 1 0 934709443 646430720 149798 33554432000 4194304 9163163 140737247585184 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19418/statm: 157820 149798 792 1214 0 156602 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 631280

[startup+25.5006 s]
/proc/loadavg: 0.68 0.16 0.05 3/441 19420
/proc/meminfo: memFree=27812860/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=667236 CPUtime=25.49 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 199679 0 0 0 2516 33 0 0 25 0 1 0 934709443 683249664 158224 33554432000 4194304 9163163 140737247585184 18446744073709551615 7348243 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19418/statm: 166809 158224 872 1214 0 165591 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 667236

[startup+51.1007 s]
/proc/loadavg: 1.13 0.31 0.10 3/444 19427
/proc/meminfo: memFree=26567704/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=673204 CPUtime=51.08 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 202242 0 0 0 5067 41 0 0 25 0 1 0 934709443 689360896 160683 33554432000 4194304 9163163 140737247585184 18446744073709551615 7348633 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19418/statm: 168301 160683 768 1214 0 167083 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 673204

[startup+102.317 s]
/proc/loadavg: 1.65 0.59 0.21 3/444 19428
/proc/meminfo: memFree=23671256/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=694132 CPUtime=102.29 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 211228 0 0 0 10182 47 0 0 25 0 1 0 934709443 710791168 169628 33554432000 4194304 9163163 140737247585184 18446744073709551615 7277695 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19418/statm: 173533 169628 1070 1214 0 172315 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 694132

[startup+162.301 s]
/proc/loadavg: 1.86 0.82 0.31 3/444 19429
/proc/meminfo: memFree=20401488/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=695156 CPUtime=162.28 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 212308 0 0 0 16172 56 0 0 25 0 1 0 934709443 711839744 170424 33554432000 4194304 9163163 140737247585184 18446744073709551615 7348559 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19418/statm: 173789 170424 788 1214 0 172571 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 695156

[startup+222.301 s]
/proc/loadavg: 1.95 1.05 0.42 3/444 19431
/proc/meminfo: memFree=12053292/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=705048 CPUtime=222.28 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 250116 0 0 0 22160 68 0 0 25 0 1 0 934709443 721969152 167530 33554432000 4194304 9163163 140737247585184 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19418/statm: 176262 167530 1766 1214 0 175044 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 705048

[startup+282.301 s]
/proc/loadavg: 1.98 1.21 0.51 3/444 19461
/proc/meminfo: memFree=28733536/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=675256 CPUtime=282.28 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 370563 0 0 0 28139 89 0 0 25 0 1 0 934709443 691462144 161765 33554432000 4194304 9163163 140737247585184 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19418/statm: 168814 161765 789 1214 0 167596 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 675256

[startup+342.3 s]
/proc/loadavg: 1.99 1.36 0.61 3/444 19462
/proc/meminfo: memFree=28714448/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=705440 CPUtime=342.28 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 451241 0 0 0 34121 107 0 0 25 0 1 0 934709443 722370560 173012 33554432000 4194304 9163163 140737247585184 18446744073709551615 7311832 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19418/statm: 176360 173012 1615 1214 0 175142 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 705440

[startup+402.301 s]
/proc/loadavg: 1.99 1.47 0.68 3/444 19464
/proc/meminfo: memFree=28755320/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=705304 CPUtime=402.27 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 547304 0 0 0 40100 127 0 0 25 0 1 0 934709443 722231296 165613 33554432000 4194304 9163163 140737247585184 18446744073709551615 7348642 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19418/statm: 176326 165613 789 1214 0 175108 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 705304

[startup+462.3 s]
/proc/loadavg: 1.99 1.57 0.77 3/444 19465
/proc/meminfo: memFree=28714852/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=705572 CPUtime=462.28 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 609062 0 0 0 46085 143 0 0 25 0 1 0 934709443 722505728 172404 33554432000 4194304 9163163 140737247585184 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19418/statm: 176393 172404 1282 1214 0 175175 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 705572

[startup+522.301 s]
/proc/loadavg: 2.19 1.68 0.85 3/444 19467
/proc/meminfo: memFree=28714428/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=705668 CPUtime=522.28 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 692858 0 0 0 52066 162 0 0 25 0 1 0 934709443 722604032 172509 33554432000 4194304 9163163 140737247585184 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19418/statm: 176417 172509 1229 1214 0 175199 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 705668

[startup+582.301 s]
/proc/loadavg: 2.12 1.76 0.93 3/444 19469
/proc/meminfo: memFree=28709684/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=706304 CPUtime=582.28 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 876358 0 0 0 58037 191 0 0 25 0 1 0 934709443 723255296 173265 33554432000 4194304 9163163 140737247585184 18446744073709551615 7394783 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19418/statm: 176576 173265 789 1214 0 175358 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 706304

[startup+642.3 s]

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

[startup+942.3 s]
/proc/loadavg: 2.00 1.92 1.26 3/444 19478
/proc/meminfo: memFree=28723912/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=696388 CPUtime=942.3 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 965450 0 0 0 93980 250 0 0 25 0 1 0 934709443 713101312 170797 33554432000 4194304 9163163 140737247585184 18446744073709551615 7317913 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19418/statm: 174097 170797 2274 1214 0 172879 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 696388

[startup+1002.3 s]
/proc/loadavg: 2.12 1.96 1.32 3/444 19480
/proc/meminfo: memFree=28751000/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=681464 CPUtime=1002.3 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 986029 0 0 0 99969 261 0 0 25 0 1 0 934709443 697819136 162285 33554432000 4194304 9163163 140737247585184 18446744073709551615 7225331 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19418/statm: 170366 162285 789 1214 0 169148 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 681464

[startup+1062.3 s]
/proc/loadavg: 2.11 1.98 1.36 3/444 19481
/proc/meminfo: memFree=28720320/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=705368 CPUtime=1062.29 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 1004140 0 0 0 105958 271 0 0 25 0 1 0 934709443 722296832 170000 33554432000 4194304 9163163 140737247585184 18446744073709551615 7317405 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19418/statm: 176342 170000 796 1214 0 175124 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 705368

[startup+1122.3 s]
/proc/loadavg: 2.07 2.00 1.40 3/444 19483
/proc/meminfo: memFree=28727836/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=691452 CPUtime=1122.3 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 1053582 0 0 0 111945 285 0 0 25 0 1 0 934709443 708046848 168074 33554432000 4194304 9163163 140737247585184 18446744073709551615 7412884 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19418/statm: 172863 168074 789 1214 0 171645 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 691452

[startup+1182.3 s]
/proc/loadavg: 2.03 2.00 1.43 3/444 19485
/proc/meminfo: memFree=28725804/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=675748 CPUtime=1182.3 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 1098772 0 0 0 117930 300 0 0 25 0 1 0 934709443 691965952 161975 33554432000 4194304 9163163 140737247585184 18446744073709551615 7413686 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19418/statm: 168937 161975 789 1214 0 167719 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 675748

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.47 3/444 19486
/proc/meminfo: memFree=28723636/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=717056 CPUtime=1242.3 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 1312663 0 0 0 123897 333 0 0 25 0 1 0 934709443 734265344 168779 33554432000 4194304 9163163 140737247585184 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19418/statm: 179264 168779 789 1214 0 178046 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 717056

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.50 3/444 19488
/proc/meminfo: memFree=28717628/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=704508 CPUtime=1302.32 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 1353897 0 0 0 129886 346 0 0 25 0 1 0 934709443 721416192 169926 33554432000 4194304 9163163 140737247585184 18446744073709551615 7348304 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19418/statm: 176127 169926 789 1214 0 174909 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 704508

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.53 3/444 19489
/proc/meminfo: memFree=28706776/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=704236 CPUtime=1362.3 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 1427894 0 0 0 135866 364 0 0 25 0 1 0 934709443 721137664 172799 33554432000 4194304 9163163 140737247585184 18446744073709551615 7311832 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19418/statm: 176059 172799 789 1214 0 174841 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 704236

[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 1.56 3/444 19491
/proc/meminfo: memFree=28748884/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=681840 CPUtime=1422.32 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 1482715 0 0 0 141852 380 0 0 25 0 1 0 934709443 698204160 162413 33554432000 4194304 9163163 140737247585184 18446744073709551615 7317905 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19418/statm: 170460 162413 789 1214 0 169242 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 681840

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.58 3/444 19493
/proc/meminfo: memFree=28713988/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=704404 CPUtime=1482.31 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 1595726 0 0 0 147829 402 0 0 25 0 1 0 934709443 721309696 169784 33554432000 4194304 9163163 140737247585184 18446744073709551615 7110314 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19418/statm: 176101 169784 789 1214 0 174883 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 704404

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.60 3/444 19494
/proc/meminfo: memFree=28700296/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=704516 CPUtime=1542.32 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 1620308 0 0 0 153817 415 0 0 25 0 1 0 934709443 721424384 172854 33554432000 4194304 9163163 140737247585184 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19418/statm: 176129 172854 789 1214 0 174911 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 704516

[startup+1602.3 s]
/proc/loadavg: 2.17 2.05 1.64 3/444 19496
/proc/meminfo: memFree=28700108/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=704704 CPUtime=1602.31 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 1678841 0 0 0 159801 430 0 0 25 0 1 0 934709443 721616896 172925 33554432000 4194304 9163163 140737247585184 18446744073709551615 7375384 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19418/statm: 176176 172925 789 1214 0 174958 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 704704

[startup+1662.3 s]
/proc/loadavg: 2.11 2.06 1.67 3/444 19497
/proc/meminfo: memFree=28702048/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=714800 CPUtime=1662.32 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 1691280 0 0 0 165793 439 0 0 25 0 1 0 934709443 731955200 172975 33554432000 4194304 9163163 140737247585184 18446744073709551615 7348526 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19418/statm: 178700 172975 1119 1214 0 177482 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 714800

[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 1.68 3/444 19499
/proc/meminfo: memFree=28689232/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=675044 CPUtime=1722.32 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 1707273 0 0 0 171782 450 0 0 25 0 1 0 934709443 691245056 161850 33554432000 4194304 9163163 140737247585184 18446744073709551615 7413843 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19418/statm: 168761 161850 789 1214 0 167543 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 675044

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 1.70 3/444 19501
/proc/meminfo: memFree=28719928/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=704628 CPUtime=1782.32 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 1778665 0 0 0 177765 467 0 0 25 0 1 0 934709443 721539072 167627 33554432000 4194304 9163163 140737247585184 18446744073709551615 7084336 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19418/statm: 176157 167627 789 1214 0 174939 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 704628



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.03 1.71 3/444 19501
/proc/meminfo: memFree=28702676/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=715056 CPUtime=1800.04 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 1784029 0 0 0 179534 470 0 0 25 0 1 0 934709443 732217344 172507 33554432000 4194304 9163163 140737247585184 18446744073709551615 7348526 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19418/statm: 178764 172507 1308 1214 0 177546 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 715056

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

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

[startup+1800.2 s]
/proc/loadavg: 2.01 2.03 1.71 3/444 19501
/proc/meminfo: memFree=28702676/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=714796 CPUtime=1800.23 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 1784038 0 0 0 179553 470 0 0 25 0 1 0 934709443 731951104 172451 33554432000 4194304 9163163 140737247585184 18446744073709551615 6922256 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19418/statm: 178699 172451 1317 1214 0 177481 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 714796

[startup+1800.4 s]
/proc/loadavg: 2.01 2.03 1.71 3/444 19501
/proc/meminfo: memFree=28702676/32950928 swapFree=52246700/67111528
[pid=19418] ppid=19416 vsize=580024 CPUtime=1800.42 cores=1,3,5,7
/proc/19418/stat : 19418 (scip-2.0.1.4b.l) R 19416 19418 19386 0 -1 4202496 1784040 0 0 0 179572 470 0 0 25 0 1 0 934709443 593944576 142156 33554432000 4194304 9163163 140737247585184 18446744073709551615 6923133 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19418/statm: 145006 142156 800 1214 0 143788 0
Current children cumulated CPU time (s) 1800.42
Current children cumulated vsize (KiB) 580024

Child status: 0
Real time (s): 1800.45
CPU time (s): 1800.48
CPU user time (s): 1795.74
CPU system time (s): 4.73528
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 744520

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

runsolver used 7.59284 second user time and 18.9131 second system time

The end

Launcher Data 

Begin job on node114 at 2011-06-07 13:06:27
IDJOB=3478955
IDBENCH=89792
IDSOLVER=1948
FILE ID=node114/3478955-1307444787
RUNJOBID= node114-1307444787-19405
PBS_JOBID= 13520321
Free space on /tmp= 73980 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-37.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-3478955-1307444787/watcher-3478955-1307444787 -o /tmp/evaluation-result-3478955-1307444787/solver-3478955-1307444787 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3478955-1307444787.opb -t 1800 -m 15500

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

MD5SUM BENCH= ec0686518f213640aefaf52d4a6ca034
RANDOM SEED=276032317

node114.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.848
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.69
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.848
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.848
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.848
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.73
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.848
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.75
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.848
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.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29622652 kB
Buffers:        359244 kB
Cached:         650180 kB
SwapCached:      10744 kB
Active:        2490328 kB
Inactive:       558668 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29622652 kB
SwapTotal:    67111528 kB
SwapFree:     52246700 kB
Dirty:           38132 kB
Writeback:           0 kB
AnonPages:     2037364 kB
Mapped:          20568 kB
Slab:           146180 kB
PageTables:      62244 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 108164252 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= 73964 MiB
End job on node114 at 2011-06-07 13:36:30