Trace number 3478879

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4? (TO) 1800.33 1800.28

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-41.opb
MD5SUM6dbd851a0ecde886abe8c814571be968
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 benchmark42.5875
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5690
Total number of constraints119124
Number of constraints which are clauses106682
Number of constraints which are cardinality constraints (but not clauses)434
Number of constraints which are nor clauses,nor cardinality constraints12008
Minimum length of a constraint2
Maximum length of a constraint162
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 163
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.4 [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-3478879-1307442192.opb>
0.79/0.85	c original problem has 5690 variables (5690 bin, 0 int, 0 impl, 0 cont) and 119124 constraints
0.79/0.85	c problem read
0.79/0.85	c No objective function, only one solution is needed.
0.79/0.85	c presolving settings loaded
1.11/1.15	c presolving:
1.29/1.32	c (round 1) 1 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 55422 impls, 222 clqs
1.69/1.74	c (round 2) 1 del vars, 34 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 0 chg coeffs, 119112 upgd conss, 55422 impls, 222 clqs
1.79/1.85	c presolving (3 rounds):
1.79/1.85	c  1 deleted vars, 34 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 9 changed sides, 0 changed coefficients
1.79/1.85	c  55422 implications, 222 cliques
1.79/1.85	c presolved problem has 5689 variables (5689 bin, 0 int, 0 impl, 0 cont) and 119090 constraints
1.79/1.85	c   12218 constraints of type <knapsack>
1.79/1.85	c   24136 constraints of type <setppc>
1.79/1.85	c       2 constraints of type <linear>
1.79/1.85	c   82734 constraints of type <logicor>
1.79/1.85	c transformed objective value is always integral (scale: 1)
1.79/1.85	c Presolving Time: 0.92
1.79/1.85	c - non default parameters ----------------------------------------------------------------------
1.79/1.85	c # SCIP version 2.0.1.4
1.79/1.85	c 
1.79/1.85	c # frequency for displaying node information lines
1.79/1.85	c # [type: int, range: [-1,2147483647], default: 100]
1.79/1.85	c display/freq = 10000
1.79/1.85	c 
1.79/1.85	c # maximal time in seconds to run
1.79/1.85	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.79/1.85	c limits/time = 1800
1.79/1.85	c 
1.79/1.85	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.79/1.85	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.79/1.85	c limits/memory = 13950
1.79/1.85	c 
1.79/1.85	c # solving stops, if the given number of solutions were found (-1: no limit)
1.79/1.85	c # [type: int, range: [-1,2147483647], default: -1]
1.79/1.85	c limits/solutions = 1
1.79/1.85	c 
1.79/1.85	c # maximal number of separation rounds per node (-1: unlimited)
1.79/1.85	c # [type: int, range: [-1,2147483647], default: 5]
1.79/1.85	c separating/maxrounds = 1
1.79/1.85	c 
1.79/1.85	c # maximal number of separation rounds in the root node (-1: unlimited)
1.79/1.85	c # [type: int, range: [-1,2147483647], default: -1]
1.79/1.85	c separating/maxroundsroot = 5
1.79/1.85	c 
1.79/1.85	c # default clock type (1: CPU user seconds, 2: wall clock time)
1.79/1.85	c # [type: int, range: [1,2], default: 1]
1.79/1.85	c timing/clocktype = 2
1.79/1.85	c 
1.79/1.85	c # belongs reading time to solving time?
1.79/1.85	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.79/1.85	c timing/reading = TRUE
1.79/1.85	c 
1.79/1.85	c # should presolving try to simplify inequalities
1.79/1.85	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.79/1.85	c constraints/linear/simplifyinequalities = TRUE
1.79/1.85	c 
1.79/1.85	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.79/1.85	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.79/1.85	c constraints/indicator/addCouplingCons = TRUE
1.79/1.85	c 
1.79/1.85	c # should disaggregation of knapsack constraints be allowed in preprocessing?
1.79/1.85	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
1.79/1.85	c constraints/knapsack/disaggregation = FALSE
1.79/1.85	c 
1.79/1.85	c # should presolving try to simplify knapsacks
1.79/1.85	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.79/1.85	c constraints/knapsack/simplifyinequalities = TRUE
1.79/1.85	c 
1.79/1.85	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
1.79/1.85	c # [type: int, range: [-1,2147483647], default: -1]
1.79/1.85	c presolving/probing/maxrounds = 0
1.79/1.85	c 
1.79/1.85	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
1.79/1.85	c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.85	c heuristics/coefdiving/freq = -1
1.79/1.85	c 
1.79/1.85	c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.85	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.85	c heuristics/coefdiving/maxlpiterquot = 0.075
1.79/1.85	c 
1.79/1.85	c # additional number of allowed LP iterations
1.79/1.85	c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.85	c heuristics/coefdiving/maxlpiterofs = 1500
1.79/1.85	c 
1.79/1.85	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
1.79/1.85	c # [type: int, range: [-1,2147483647], default: 30]
1.79/1.85	c heuristics/crossover/freq = -1
1.79/1.85	c 
1.79/1.85	c # number of nodes added to the contingent of the total nodes
1.79/1.85	c # [type: longint, range: [0,9223372036854775807], default: 500]
1.79/1.85	c heuristics/crossover/nodesofs = 750
1.79/1.85	c 
1.79/1.85	c # number of nodes without incumbent change that heuristic should wait
1.79/1.85	c # [type: longint, range: [0,9223372036854775807], default: 200]
1.79/1.85	c heuristics/crossover/nwaitingnodes = 100
1.79/1.85	c 
1.79/1.85	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
1.79/1.85	c # [type: real, range: [0,1], default: 0.1]
1.79/1.85	c heuristics/crossover/nodesquot = 0.15
1.79/1.85	c 
1.79/1.85	c # minimum percentage of integer variables that have to be fixed 
1.79/1.85	c # [type: real, range: [0,1], default: 0.666]
1.79/1.85	c heuristics/crossover/minfixingrate = 0.5
1.79/1.85	c 
1.79/1.85	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
1.79/1.85	c # [type: int, range: [-1,2147483647], default: 20]
1.79/1.85	c heuristics/feaspump/freq = -1
1.79/1.85	c 
1.79/1.85	c # additional number of allowed LP iterations
1.79/1.85	c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.85	c heuristics/feaspump/maxlpiterofs = 2000
1.79/1.85	c 
1.79/1.85	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
1.79/1.85	c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.85	c heuristics/fracdiving/freq = -1
1.79/1.85	c 
1.79/1.85	c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.85	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.85	c heuristics/fracdiving/maxlpiterquot = 0.075
1.79/1.85	c 
1.79/1.85	c # additional number of allowed LP iterations
1.79/1.85	c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.85	c heuristics/fracdiving/maxlpiterofs = 1500
1.79/1.85	c 
1.79/1.85	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
1.79/1.85	c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.85	c heuristics/guideddiving/freq = -1
1.79/1.85	c 
1.79/1.85	c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.85	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.85	c heuristics/guideddiving/maxlpiterquot = 0.075
1.79/1.85	c 
1.79/1.85	c # additional number of allowed LP iterations
1.79/1.85	c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.85	c heuristics/guideddiving/maxlpiterofs = 1500
1.79/1.85	c 
1.79/1.85	c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.85	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.85	c heuristics/intdiving/maxlpiterquot = 0.075
1.79/1.85	c 
1.79/1.85	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
1.79/1.85	c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.85	c heuristics/intshifting/freq = -1
1.79/1.85	c 
1.79/1.85	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
1.79/1.85	c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.85	c heuristics/linesearchdiving/freq = -1
1.79/1.85	c 
1.79/1.85	c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.85	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.85	c heuristics/linesearchdiving/maxlpiterquot = 0.075
1.79/1.85	c 
1.79/1.85	c # additional number of allowed LP iterations
1.79/1.85	c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.85	c heuristics/linesearchdiving/maxlpiterofs = 1500
1.79/1.85	c 
1.79/1.85	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
1.79/1.85	c # [type: int, range: [-1,2147483647], default: 20]
1.79/1.85	c heuristics/objpscostdiving/freq = -1
1.79/1.85	c 
1.79/1.85	c # maximal fraction of diving LP iterations compared to total iteration number
1.79/1.85	c # [type: real, range: [0,1], default: 0.01]
1.79/1.85	c heuristics/objpscostdiving/maxlpiterquot = 0.015
1.79/1.85	c 
1.79/1.85	c # additional number of allowed LP iterations
1.79/1.85	c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.85	c heuristics/objpscostdiving/maxlpiterofs = 1500
1.79/1.85	c 
1.79/1.85	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
1.79/1.85	c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.85	c heuristics/oneopt/freq = -1
1.79/1.85	c 
1.79/1.85	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
1.79/1.85	c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.85	c heuristics/pscostdiving/freq = -1
1.79/1.85	c 
1.79/1.85	c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.85	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.85	c heuristics/pscostdiving/maxlpiterquot = 0.075
1.79/1.85	c 
1.79/1.85	c # additional number of allowed LP iterations
1.79/1.85	c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.85	c heuristics/pscostdiving/maxlpiterofs = 1500
1.79/1.85	c 
1.79/1.85	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
1.79/1.85	c # [type: int, range: [-1,2147483647], default: 0]
1.79/1.85	c heuristics/rens/freq = -1
1.79/1.85	c 
1.79/1.85	c # minimum percentage of integer variables that have to be fixable 
1.79/1.85	c # [type: real, range: [0,1], default: 0.5]
1.79/1.85	c heuristics/rens/minfixingrate = 0.3
1.79/1.85	c 
1.79/1.85	c # number of nodes added to the contingent of the total nodes
1.79/1.85	c # [type: longint, range: [0,9223372036854775807], default: 500]
1.79/1.85	c heuristics/rens/nodesofs = 2000
1.79/1.85	c 
1.79/1.85	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
1.79/1.85	c # [type: int, range: [-1,2147483647], default: 20]
1.79/1.85	c heuristics/rootsoldiving/freq = -1
1.79/1.85	c 
1.79/1.85	c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.85	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
1.79/1.85	c heuristics/rootsoldiving/maxlpiterquot = 0.015
1.79/1.85	c 
1.79/1.85	c # additional number of allowed LP iterations
1.79/1.85	c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.85	c heuristics/rootsoldiving/maxlpiterofs = 1500
1.79/1.85	c 
1.79/1.85	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
1.79/1.85	c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.85	c heuristics/rounding/freq = -1
1.79/1.85	c 
1.79/1.85	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
1.79/1.85	c # [type: int, range: [-1,2147483647], default: 0]
1.79/1.85	c heuristics/shiftandpropagate/freq = -1
1.79/1.85	c 
1.79/1.85	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
1.79/1.85	c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.85	c heuristics/shifting/freq = -1
1.79/1.85	c 
1.79/1.85	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
1.79/1.85	c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.85	c heuristics/simplerounding/freq = -1
1.79/1.85	c 
1.79/1.85	c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
1.79/1.85	c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.85	c heuristics/subnlp/freq = -1
1.79/1.85	c 
1.79/1.85	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
1.79/1.85	c # [type: int, range: [-1,2147483647], default: 0]
1.79/1.85	c heuristics/trivial/freq = -1
1.79/1.85	c 
1.79/1.85	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
1.79/1.85	c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.85	c heuristics/trysol/freq = -1
1.79/1.85	c 
1.79/1.85	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
1.79/1.85	c # [type: int, range: [-1,2147483647], default: 0]
1.79/1.85	c heuristics/undercover/freq = -1
1.79/1.85	c 
1.79/1.85	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
1.79/1.85	c # [type: int, range: [-1,2147483647], default: 10]
1.79/1.85	c heuristics/veclendiving/freq = -1
1.79/1.85	c 
1.79/1.85	c # maximal fraction of diving LP iterations compared to node LP iterations
1.79/1.85	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.79/1.85	c heuristics/veclendiving/maxlpiterquot = 0.075
1.79/1.85	c 
1.79/1.85	c # additional number of allowed LP iterations
1.79/1.85	c # [type: int, range: [0,2147483647], default: 1000]
1.79/1.85	c heuristics/veclendiving/maxlpiterofs = 1500
1.79/1.85	c 
1.79/1.85	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
1.79/1.85	c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.85	c heuristics/zirounding/freq = -1
1.79/1.85	c 
1.79/1.85	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
1.79/1.85	c # [type: int, range: [-1,2147483647], default: 0]
1.79/1.85	c separating/cmir/freq = -1
1.79/1.85	c 
1.79/1.85	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
1.79/1.85	c # [type: int, range: [-1,2147483647], default: 0]
1.79/1.85	c separating/flowcover/freq = -1
1.79/1.85	c 
1.79/1.85	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.79/1.85	c # [type: int, range: [-1,2147483647], default: -1]
1.79/1.85	c separating/rapidlearning/freq = 0
1.79/1.85	c 
1.79/1.85	c -----------------------------------------------------------------------------------------------
1.79/1.85	c start solving
1.79/1.85	c 
2.79/2.85	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
2.79/2.85	c   2.9s|     1 |     0 |  1242 |     - | 168M|   0 | 586 |5689 | 119k|5689 | 119k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
4.70/4.76	c   4.8s|     1 |     0 |  2805 |     - | 169M|   0 |1218 |5689 | 119k|5689 | 119k|  10 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
6.09/6.10	c   6.1s|     1 |     0 |  3165 |     - | 170M|   0 |1094 |5689 | 119k|5689 | 119k|  31 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
14.09/14.17	c  14.2s|     1 |     0 |  8396 |     - | 171M|   0 |1644 |5689 | 119k|5689 | 119k|  51 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
23.39/23.48	c  23.5s|     1 |     0 | 14326 |     - | 172M|   0 |1858 |5689 | 119k|5689 | 119k|  94 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
29.49/29.53	c  29.5s|     1 |     0 | 16387 |     - | 174M|   0 |1853 |5689 | 119k|5689 | 119k| 148 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
70.89/70.98	c  71.0s|     1 |     2 | 16387 |     - | 174M|   0 |1853 |5689 | 119k|5689 | 119k| 148 |   0 |  31 | 0.000000e+00 |      --      |    Inf 
1800.05/1800.02	c 
1800.05/1800.02	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.02	c Solving Time (sec) : 1800.02
1800.05/1800.02	c Solving Nodes      : 528
1800.05/1800.02	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.05/1800.02	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.02	c Gap                : infinite
1800.05/1800.02	s UNKNOWN
1800.05/1800.02	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.02	c Total Time         :    1800.02
1800.05/1800.02	c   solving          :    1800.02
1800.05/1800.02	c   presolving       :       0.92 (included in solving)
1800.05/1800.02	c   reading          :       0.85 (included in solving)
1800.05/1800.02	c Original Problem   :
1800.05/1800.02	c   Problem name     : HOME/instance-3478879-1307442192.opb
1800.05/1800.02	c   Variables        : 5690 (5690 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.02	c   Constraints      : 119124 initial, 119124 maximal
1800.05/1800.02	c Presolved Problem  :
1800.05/1800.02	c   Problem name     : t_HOME/instance-3478879-1307442192.opb
1800.05/1800.02	c   Variables        : 5689 (5689 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.02	c   Constraints      : 119090 initial, 119277 maximal
1800.05/1800.02	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1800.05/1800.02	c   trivial          :       0.00          0          0          0          0          0          0          0          0          0
1800.05/1800.02	c   dualfix          :       0.00          0          0          0          0          0          0          0          0          0
1800.05/1800.02	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1800.05/1800.02	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1800.05/1800.02	c   implics          :       0.00          0          0          0          0          0          0          0          0          0
1800.05/1800.02	c   probing          :       0.00          0          0          0          0          0          0          0          0          0
1800.05/1800.02	c   knapsack         :       0.04          0          0          0          0          0          0          0          0          0
1800.05/1800.02	c   setppc           :       0.02          0          0          0          0          0          0          0          0          0
1800.05/1800.02	c   linear           :       0.45          0          1          0          0          0         10          0          9          0
1800.05/1800.02	c   logicor          :       0.12          0          0          0          0          0         24          0          0          0
1800.05/1800.02	c   root node        :          -          0          -          -          0          -          -          -          -          -
1800.05/1800.02	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.02	c   integral         :          0          0          0        497          0          1          0          2         26          0          0        972
1800.05/1800.02	c   knapsack         :      12218          5       1676          0          1          0         28          2        350        189          0          0
1800.05/1800.02	c   setppc           :      24136          5       1674          0          1          0       1588         26      27624          0          0          0
1800.05/1800.02	c   linear           :          2          5       1648          0          1          0          0          0          0          0          0          0
1800.05/1800.02	c   logicor          :      82734+         5       1016          0          1          0        384         15       2754          0          0          0
1800.05/1800.02	c   countsols        :          0          0          0          0          1          0          0          0          0          0          0          0
1800.05/1800.02	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1800.05/1800.02	c   integral         :     889.94       0.00       0.00     889.94       0.00       0.00       0.00
1800.05/1800.02	c   knapsack         :       0.50       0.04       0.46       0.00       0.00       0.00       0.00
1800.05/1800.02	c   setppc           :       0.96       0.01       0.95       0.00       0.00       0.00       0.00
1800.05/1800.02	c   linear           :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.05/1800.02	c   logicor          :       0.18       0.01       0.16       0.00       0.01       0.00       0.00
1800.05/1800.02	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.05/1800.02	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1800.05/1800.02	c   vbounds          :          0          0          0          0
1800.05/1800.02	c   rootredcost      :          0          0          0          0
1800.05/1800.02	c   pseudoobj        :          0          0          0          0
1800.05/1800.02	c Propagator Timings :  TotalTime  Propagate    Resprop
1800.05/1800.02	c   vbounds          :       0.00       0.00       0.00
1800.05/1800.02	c   rootredcost      :       0.00       0.00       0.00
1800.05/1800.02	c   pseudoobj        :       0.00       0.00       0.00
1800.05/1800.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.02	c   propagation      :       0.00         43         43        204       21.1         22        4.0          -
1800.05/1800.02	c   infeasible LP    :       0.02          8          8         74       34.0          5        7.6          0
1800.05/1800.02	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.02	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.02	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.05/1800.02	c   applied globally :          -          -          -        190       16.9          -          -          -
1800.05/1800.02	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.02	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.02	c   cut pool         :       0.00          4          -          -         30          -    (maximal pool size: 1743)
1800.05/1800.02	c   redcost          :       0.04        495          0          0          0          0
1800.05/1800.02	c   impliedbounds    :       0.00          5          0          0          0          0
1800.05/1800.02	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.02	c   gomory           :       4.04          5          0          0       2500          0
1800.05/1800.02	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.02	c   closecuts        :       0.00          0          0          0          0          0
1800.05/1800.02	c   strongcg         :       2.86          5          0          0       2500          0
1800.05/1800.02	c   cmir             :       0.00          0          0          0          0          0
1800.05/1800.02	c   flowcover        :       0.00          0          0          0          0          0
1800.05/1800.02	c   clique           :       0.14          5          0          0         39          0
1800.05/1800.02	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.02	c   mcf              :       0.08          1          0          0          0          0
1800.05/1800.02	c   oddcycle         :       0.00          0          0          0          0          0
1800.05/1800.02	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.02	c Pricers            :       Time      Calls       Vars
1800.05/1800.02	c   problem variables:       0.00          0          0
1800.05/1800.02	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.02	c   relpscost        :     889.94        497          2         26          0          0        972
1800.05/1800.02	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.02	c   inference        :       0.00          1          0          0          0          0          2
1800.05/1800.02	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.02	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.02	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.02	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.02	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.02	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.02	c   LP solutions     :       0.00          -          0
1800.05/1800.02	c   pseudo solutions :       0.00          -          0
1800.05/1800.02	c   trivial          :       0.00          1          0
1800.05/1800.02	c   shiftandpropagate:       0.00          0          0
1800.05/1800.02	c   simplerounding   :       0.00          0          0
1800.05/1800.02	c   zirounding       :       0.00          0          0
1800.05/1800.02	c   rounding         :       0.00          0          0
1800.05/1800.02	c   shifting         :       0.00          0          0
1800.05/1800.02	c   intshifting      :       0.00          0          0
1800.05/1800.02	c   oneopt           :       0.00          0          0
1800.05/1800.02	c   twoopt           :       0.00          0          0
1800.05/1800.02	c   fixandinfer      :       0.00          0          0
1800.05/1800.02	c   feaspump         :       0.00          0          0
1800.05/1800.02	c   clique           :       0.00          0          0
1800.05/1800.02	c   coefdiving       :       0.00          0          0
1800.05/1800.02	c   pscostdiving     :       0.00          0          0
1800.05/1800.02	c   fracdiving       :       0.00          0          0
1800.05/1800.02	c   veclendiving     :       0.00          0          0
1800.05/1800.02	c   intdiving        :       0.00          0          0
1800.05/1800.02	c   actconsdiving    :       0.00          0          0
1800.05/1800.02	c   objpscostdiving  :       0.00          0          0
1800.05/1800.02	c   rootsoldiving    :       0.00          0          0
1800.05/1800.02	c   linesearchdiving :       0.00          0          0
1800.05/1800.02	c   guideddiving     :       0.00          0          0
1800.05/1800.02	c   octane           :       0.00          0          0
1800.05/1800.02	c   rens             :       0.00          0          0
1800.05/1800.02	c   rins             :       0.00          0          0
1800.05/1800.02	c   localbranching   :       0.00          0          0
1800.05/1800.02	c   mutation         :       0.00          0          0
1800.05/1800.02	c   crossover        :       0.00          0          0
1800.05/1800.02	c   dins             :       0.00          0          0
1800.05/1800.02	c   vbounds          :       0.00          0          0
1800.05/1800.02	c   undercover       :       0.00          0          0
1800.05/1800.02	c   subnlp           :       0.00          0          0
1800.05/1800.02	c   trysol           :       0.00          0          0
1800.05/1800.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.02	c   primal LP        :       0.06          0          0       0.00       0.00
1800.05/1800.02	c   dual LP          :     892.68        511     459840     899.88     515.12
1800.05/1800.02	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.02	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.02	c   diving/probing LP:       0.00          0          0       0.00          -
1800.05/1800.02	c   strong branching :     889.49        709     347907     490.70     391.13
1800.05/1800.02	c     (at root node) :          -         31      17225     555.65          -
1800.05/1800.02	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.02	c B&B Tree           :
1800.05/1800.02	c   number of runs   :          1
1800.05/1800.02	c   nodes            :        528
1800.05/1800.02	c   nodes (total)    :        528
1800.05/1800.02	c   nodes left       :        377
1800.05/1800.02	c   max depth        :         87
1800.05/1800.02	c   max depth (total):         87
1800.05/1800.02	c   backtracks       :         83 (15.7%)
1800.05/1800.02	c   delayed cutoffs  :         70
1800.05/1800.02	c   repropagations   :        443 (6241 domain reductions, 12 cutoffs)
1800.05/1800.02	c   avg switch length:       3.55
1800.05/1800.02	c   switching time   :       0.80
1800.05/1800.02	c Solution           :
1800.05/1800.02	c   Solutions found  :          0 (0 improvements)
1800.05/1800.02	c   Primal Bound     :          -
1800.05/1800.02	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.02	c   Gap              :   infinite
1800.05/1800.02	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.02	c   Root Iterations  :      16387
1800.23/1800.28	c Time complete: 1800.31.

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.04 2.00 2/514 17030
/proc/meminfo: memFree=20066096/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=10808 CPUtime=0 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 1669 0 0 0 0 0 0 0 25 0 1 0 836634806 11067392 1622 33554432000 4194304 9128323 140734298415536 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17030/statm: 2702 1638 397 1205 0 1493 0

[startup+0.0894459 s]
/proc/loadavg: 2.01 2.04 2.00 2/514 17030
/proc/meminfo: memFree=20066096/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=15644 CPUtime=0.08 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 2919 0 0 0 8 0 0 0 25 0 1 0 836634806 16019456 2870 33554432000 4194304 9128323 140734298415536 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17030/statm: 3911 2870 397 1205 0 2702 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15644

[startup+0.100442 s]
/proc/loadavg: 2.01 2.04 2.00 2/514 17030
/proc/meminfo: memFree=20066096/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=16164 CPUtime=0.09 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 3052 0 0 0 9 0 0 0 25 0 1 0 836634806 16551936 3003 33554432000 4194304 9128323 140734298415536 18446744073709551615 4422565 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17030/statm: 4041 3003 397 1205 0 2832 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16164

[startup+0.300431 s]
/proc/loadavg: 2.01 2.04 2.00 2/514 17030
/proc/meminfo: memFree=20066096/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=25808 CPUtime=0.29 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 5462 0 0 0 29 0 0 0 25 0 1 0 836634806 26427392 5410 33554432000 4194304 9128323 140734298415536 18446744073709551615 4337627 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17030/statm: 6452 5410 397 1205 0 5243 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25808

[startup+0.700359 s]
/proc/loadavg: 2.01 2.04 2.00 2/514 17030
/proc/meminfo: memFree=20066096/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=45360 CPUtime=0.69 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 10336 0 0 0 68 1 0 0 25 0 1 0 836634806 46448640 10277 33554432000 4194304 9128323 140734298415536 18446744073709551615 8008920 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17030/statm: 11340 10277 397 1205 0 10131 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45360

[startup+1.50121 s]
/proc/loadavg: 2.01 2.04 2.00 3/515 17031
/proc/meminfo: memFree=19936756/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=187696 CPUtime=1.49 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 55020 0 0 0 144 5 0 0 25 0 1 0 836634806 192200704 44784 33554432000 4194304 9128323 140734298415536 18446744073709551615 6889432 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17030/statm: 46924 44784 526 1205 0 45715 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 187696

[startup+3.1009 s]
/proc/loadavg: 2.01 2.04 2.00 3/515 17031
/proc/meminfo: memFree=19748152/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=394032 CPUtime=3.09 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 113765 0 0 0 298 11 0 0 25 0 1 0 836634806 403488768 90844 33554432000 4194304 9128323 140734298415536 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17030/statm: 98508 90844 1101 1205 0 97299 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 394032

[startup+6.30027 s]
/proc/loadavg: 2.01 2.04 2.00 3/515 17031
/proc/meminfo: memFree=19675564/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=406716 CPUtime=6.29 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 121775 0 0 0 617 12 0 0 25 0 1 0 836634806 416477184 97241 33554432000 4194304 9128323 140734298415536 18446744073709551615 8008930 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17030/statm: 101679 97241 1341 1205 0 100470 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 406716

[startup+12.7011 s]
/proc/loadavg: 2.01 2.04 2.00 3/515 17031
/proc/meminfo: memFree=19624432/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=417676 CPUtime=12.69 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 127056 0 0 0 1256 13 0 0 25 0 1 0 836634806 427700224 101974 33554432000 4194304 9128323 140734298415536 18446744073709551615 7343045 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17030/statm: 104419 101974 1011 1205 0 103210 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 417676

[startup+25.5006 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 17032
/proc/meminfo: memFree=19616104/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=428368 CPUtime=25.49 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 129690 0 0 0 2534 15 0 0 25 0 1 0 836634806 438648832 104377 33554432000 4194304 9128323 140734298415536 18446744073709551615 7021486 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17030/statm: 107092 104377 792 1205 0 105883 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 428368

[startup+51.1008 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 17032
/proc/meminfo: memFree=19628124/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=448660 CPUtime=51.09 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 135099 0 0 0 5091 18 0 0 25 0 1 0 836634806 459427840 109756 33554432000 4194304 9128323 140734298415536 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17030/statm: 112165 109756 792 1205 0 110956 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 448660

[startup+102.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 17034
/proc/meminfo: memFree=19592692/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=448916 CPUtime=102.32 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 135144 0 0 0 10207 25 0 0 25 0 1 0 836634806 459689984 109801 33554432000 4194304 9128323 140734298415536 18446744073709551615 7315612 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17030/statm: 112229 109801 797 1205 0 111020 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 448916

[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 17038
/proc/meminfo: memFree=19626680/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=448916 CPUtime=162.29 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 135145 0 0 0 16196 33 0 0 25 0 1 0 836634806 459689984 109802 33554432000 4194304 9128323 140734298415536 18446744073709551615 7315582 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17030/statm: 112229 109802 798 1205 0 111020 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 448916

[startup+222.3 s]
/proc/loadavg: 2.19 2.06 2.01 3/515 17068
/proc/meminfo: memFree=19779120/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=462072 CPUtime=222.29 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 136476 0 0 0 22188 41 0 0 25 0 1 0 836634806 473161728 111133 33554432000 4194304 9128323 140734298415536 18446744073709551615 7312741 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17030/statm: 115518 111133 798 1205 0 114309 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 462072

[startup+282.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/515 17069
/proc/meminfo: memFree=19691560/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=462072 CPUtime=282.29 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 136476 0 0 0 28179 50 0 0 25 0 1 0 836634806 473161728 111133 33554432000 4194304 9128323 140734298415536 18446744073709551615 7315684 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17030/statm: 115518 111133 798 1205 0 114309 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 462072

[startup+342.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/515 17071
/proc/meminfo: memFree=19604024/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=462072 CPUtime=342.29 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 136476 0 0 0 34172 57 0 0 25 0 1 0 836634806 473161728 111133 33554432000 4194304 9128323 140734298415536 18446744073709551615 7315621 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17030/statm: 115518 111133 798 1205 0 114309 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 462072

[startup+402.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 17073
/proc/meminfo: memFree=19603384/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=462072 CPUtime=402.28 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 136476 0 0 0 40165 63 0 0 25 0 1 0 836634806 473161728 111133 33554432000 4194304 9128323 140734298415536 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17030/statm: 115518 111133 798 1205 0 114309 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 462072

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 17074
/proc/meminfo: memFree=19570128/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=473576 CPUtime=462.29 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 139508 0 0 0 46157 72 0 0 25 0 1 0 836634806 484941824 114165 33554432000 4194304 9128323 140734298415536 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17030/statm: 118394 114165 800 1205 0 117185 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 473576

[startup+522.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/515 17076
/proc/meminfo: memFree=19634956/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=452508 CPUtime=522.29 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 140369 0 0 0 52150 79 0 0 25 0 1 0 836634806 463368192 105554 33554432000 4194304 9128323 140734298415536 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17030/statm: 113127 105554 805 1205 0 111918 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 452508

[startup+582.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/515 17077
/proc/meminfo: memFree=19597336/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=462000 CPUtime=582.3 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 147936 0 0 0 58143 87 0 0 25 0 1 0 836634806 473088000 113101 33554432000 4194304 9128323 140734298415536 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17030/statm: 115500 113101 806 1205 0 114291 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 462000

[startup+642.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 17085
/proc/meminfo: memFree=19574236/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=450956 CPUtime=882.3 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 174238 0 0 0 88106 124 0 0 25 0 1 0 836634806 461778944 108550 33554432000 4194304 9128323 140734298415536 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17030/statm: 112739 108550 805 1205 0 111530 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 450956

[startup+942.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 17087
/proc/meminfo: memFree=19558580/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=467544 CPUtime=942.31 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 178835 0 0 0 94097 134 0 0 25 0 1 0 836634806 478765056 113147 33554432000 4194304 9128323 140734298415536 18446744073709551615 6941919 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17030/statm: 116886 113147 805 1205 0 115677 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 467544

[startup+1002.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/515 17089
/proc/meminfo: memFree=19607032/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=467544 CPUtime=1002.31 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 178843 0 0 0 100090 141 0 0 25 0 1 0 836634806 478765056 113155 33554432000 4194304 9128323 140734298415536 18446744073709551615 7315635 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17030/statm: 116886 113155 805 1205 0 115677 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 467544

[startup+1062.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/515 17090
/proc/meminfo: memFree=19560512/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=467544 CPUtime=1062.32 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 178852 0 0 0 106084 148 0 0 25 0 1 0 836634806 478765056 113164 33554432000 4194304 9128323 140734298415536 18446744073709551615 7192542 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17030/statm: 116886 113164 805 1205 0 115677 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 467544

[startup+1122.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/515 17092
/proc/meminfo: memFree=19605620/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=461840 CPUtime=1122.31 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 188863 0 0 0 112076 155 0 0 25 0 1 0 836634806 472924160 112746 33554432000 4194304 9128323 140734298415536 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17030/statm: 115460 112746 805 1205 0 114251 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 461840

[startup+1182.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 17093
/proc/meminfo: memFree=19571860/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=451072 CPUtime=1182.32 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 196308 0 0 0 118068 164 0 0 25 0 1 0 836634806 461897728 109028 33554432000 4194304 9128323 140734298415536 18446744073709551615 7191083 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17030/statm: 112768 109028 805 1205 0 111559 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 451072

[startup+1242.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/515 17095
/proc/meminfo: memFree=19544792/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=468076 CPUtime=1242.32 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 201614 0 0 0 124061 171 0 0 25 0 1 0 836634806 479309824 114334 33554432000 4194304 9128323 140734298415536 18446744073709551615 7315689 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17030/statm: 117019 114334 840 1205 0 115810 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 468076

[startup+1302.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/515 17097
/proc/meminfo: memFree=19555924/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=468076 CPUtime=1302.33 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 201620 0 0 0 130054 179 0 0 25 0 1 0 836634806 479309824 114340 33554432000 4194304 9128323 140734298415536 18446744073709551615 7315263 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17030/statm: 117019 114340 840 1205 0 115810 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 468076

[startup+1362.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/515 17098
/proc/meminfo: memFree=19562100/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=468076 CPUtime=1362.32 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 202041 0 0 0 136047 185 0 0 25 0 1 0 836634806 479309824 114761 33554432000 4194304 9128323 140734298415536 18446744073709551615 7326044 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17030/statm: 117019 114761 840 1205 0 115810 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 468076

[startup+1422.32 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 17100
/proc/meminfo: memFree=19616136/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=468076 CPUtime=1422.34 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 202041 0 0 0 142040 194 0 0 25 0 1 0 836634806 479309824 114761 33554432000 4194304 9128323 140734298415536 18446744073709551615 7315702 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17030/statm: 117019 114761 840 1205 0 115810 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 468076

[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 17101
/proc/meminfo: memFree=19616344/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=468076 CPUtime=1482.32 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 202045 0 0 0 148032 200 0 0 25 0 1 0 836634806 479309824 114765 33554432000 4194304 9128323 140734298415536 18446744073709551615 7380896 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17030/statm: 117019 114765 840 1205 0 115810 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 468076

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 17103
/proc/meminfo: memFree=19561628/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=468076 CPUtime=1542.32 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 202048 0 0 0 154025 207 0 0 25 0 1 0 836634806 479309824 114768 33554432000 4194304 9128323 140734298415536 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17030/statm: 117019 114768 840 1205 0 115810 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 468076

[startup+1602.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/515 17105
/proc/meminfo: memFree=19615912/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=468076 CPUtime=1602.33 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 202050 0 0 0 160018 215 0 0 25 0 1 0 836634806 479309824 114770 33554432000 4194304 9128323 140734298415536 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17030/statm: 117019 114770 840 1205 0 115810 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 468076

[startup+1662.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/515 17106
/proc/meminfo: memFree=19617124/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=468076 CPUtime=1662.33 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 202059 0 0 0 166009 224 0 0 25 0 1 0 836634806 479309824 114779 33554432000 4194304 9128323 140734298415536 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17030/statm: 117019 114779 840 1205 0 115810 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 468076

[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/515 17108
/proc/meminfo: memFree=19584720/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=468076 CPUtime=1722.33 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 202060 0 0 0 172001 232 0 0 25 0 1 0 836634806 479309824 114780 33554432000 4194304 9128323 140734298415536 18446744073709551615 7315684 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17030/statm: 117019 114780 840 1205 0 115810 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 468076

[startup+1782.3 s]
/proc/loadavg: 2.15 2.07 2.01 3/515 17109
/proc/meminfo: memFree=19583204/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=468076 CPUtime=1782.33 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 202060 0 0 0 177995 238 0 0 25 0 1 0 836634806 479309824 114780 33554432000 4194304 9128323 140734298415536 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17030/statm: 117019 114780 840 1205 0 115810 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 468076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.10 2.06 2.01 3/515 17110
/proc/meminfo: memFree=19548096/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=468076 CPUtime=1800.05 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 202061 0 0 0 179765 240 0 0 25 0 1 0 836634806 479309824 114781 33554432000 4194304 9128323 140734298415536 18446744073709551615 4893860 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17030/statm: 117019 114781 841 1205 0 115810 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 468076

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.10 2.06 2.01 3/515 17110
/proc/meminfo: memFree=19548096/32951124 swapFree=62999000/67111528
[pid=17030] ppid=17028 vsize=465688 CPUtime=1800.23 cores=0,2,4,6
/proc/17030/stat : 17030 (scip-2.0.1.4.li) R 17028 17030 16659 0 -1 4202496 202071 0 0 0 179783 240 0 0 18 0 1 0 836634806 476864512 114194 33554432000 4194304 9128323 140734298415536 18446744073709551615 6581536 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17030/statm: 116422 114194 851 1205 0 115213 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 465688

Child status: 0
Real time (s): 1800.28
CPU time (s): 1800.33
CPU user time (s): 1797.9
CPU system time (s): 2.42963
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 473628

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

runsolver used 9.8905 second user time and 21.0008 second system time

The end

Launcher Data 

Begin job on node141 at 2011-06-07 12:23:12
IDJOB=3478879
IDBENCH=89755
IDSOLVER=1949
FILE ID=node141/3478879-1307442192
RUNJOBID= node141-1307436782-16677
PBS_JOBID= 13519947
Free space on /tmp= 73924 MiB

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

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

MD5SUM BENCH= 6dbd851a0ecde886abe8c814571be968
RANDOM SEED=688730637

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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.84
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.806
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.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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:     32951124 kB
MemFree:      20066252 kB
Buffers:        327992 kB
Cached:         950304 kB
SwapCached:       8848 kB
Active:       11911228 kB
Inactive:       688492 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20066252 kB
SwapTotal:    67111528 kB
SwapFree:     62999000 kB
Dirty:           17120 kB
Writeback:           0 kB
AnonPages:    11320140 kB
Mapped:          28364 kB
Slab:           141728 kB
PageTables:      72856 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 152122724 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= 73912 MiB
End job on node141 at 2011-06-07 12:53:14