Trace number 3690630

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.1.1.4. with SoPlex 1.6.0.3 fixed? 1797.34 1797.63

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-31.opb
MD5SUM1231d9e508dc821e38b22e6db3fd2b2f
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 benchmark203.957
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.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00	c Copyright (c) 2002-2012 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-3690630-1338024293.opb>
0.48/0.52	c original problem has 9310 variables (9310 bin, 0 int, 0 impl, 0 cont) and 199239 constraints
0.48/0.52	c problem read in 0.52
0.48/0.53	c No objective function, only one solution is needed.
0.48/0.53	c presolving settings loaded
0.99/1.09	c presolving:
1.49/1.57	c (round 1) 99 del vars, 2673 del conss, 0 add conss, 99 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 94346 impls, 365 clqs
1.70/1.75	c (round 2) 99 del vars, 3641 del conss, 0 add conss, 99 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 94346 impls, 365 clqs
2.49/2.58	c (round 3) 99 del vars, 3683 del conss, 0 add conss, 99 chg bounds, 14 chg sides, 0 chg coeffs, 195622 upgd conss, 94346 impls, 365 clqs
2.79/2.88	c (round 4) 99 del vars, 3723 del conss, 0 add conss, 99 chg bounds, 14 chg sides, 0 chg coeffs, 195622 upgd conss, 94346 impls, 365 clqs
3.49/3.59	c presolving (5 rounds):
3.49/3.59	c  99 deleted vars, 3723 deleted constraints, 0 added constraints, 99 tightened bounds, 0 added holes, 14 changed sides, 0 changed coefficients
3.49/3.59	c  94346 implications, 365 cliques
3.49/3.59	c presolved problem has 9211 variables (9211 bin, 0 int, 0 impl, 0 cont) and 195516 constraints
3.49/3.59	c   20454 constraints of type <knapsack>
3.49/3.59	c   39470 constraints of type <setppc>
3.49/3.59	c       2 constraints of type <linear>
3.49/3.59	c  135590 constraints of type <logicor>
3.49/3.59	c transformed objective value is always integral (scale: 1)
3.49/3.59	c Presolving Time: 2.92
3.49/3.59	c - non default parameters ----------------------------------------------------------------------
3.49/3.59	c # SCIP version 2.1.1.4
3.49/3.59	c 
3.49/3.59	c # maximal time in seconds to run
3.49/3.59	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.49/3.59	c limits/time = 1797
3.49/3.59	c 
3.49/3.59	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.49/3.59	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.49/3.59	c limits/memory = 13950
3.49/3.59	c 
3.49/3.59	c # solving stops, if the given number of solutions were found (-1: no limit)
3.49/3.59	c # [type: int, range: [-1,2147483647], default: -1]
3.49/3.59	c limits/solutions = 1
3.49/3.59	c 
3.49/3.59	c # maximal number of separation rounds per node (-1: unlimited)
3.49/3.59	c # [type: int, range: [-1,2147483647], default: 5]
3.49/3.59	c separating/maxrounds = 1
3.49/3.59	c 
3.49/3.59	c # maximal number of separation rounds in the root node (-1: unlimited)
3.49/3.59	c # [type: int, range: [-1,2147483647], default: -1]
3.49/3.59	c separating/maxroundsroot = 5
3.49/3.59	c 
3.49/3.59	c # default clock type (1: CPU user seconds, 2: wall clock time)
3.49/3.59	c # [type: int, range: [1,2], default: 1]
3.49/3.59	c timing/clocktype = 2
3.49/3.59	c 
3.49/3.59	c # belongs reading time to solving time?
3.49/3.59	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.49/3.59	c timing/reading = TRUE
3.49/3.59	c 
3.49/3.59	c # should disaggregation of knapsack constraints be allowed in preprocessing?
3.49/3.59	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
3.49/3.59	c constraints/knapsack/disaggregation = FALSE
3.49/3.59	c 
3.49/3.59	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
3.49/3.59	c # [type: int, range: [-1,2147483647], default: 10]
3.49/3.59	c heuristics/coefdiving/freq = -1
3.49/3.59	c 
3.49/3.59	c # maximal fraction of diving LP iterations compared to node LP iterations
3.49/3.59	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.49/3.59	c heuristics/coefdiving/maxlpiterquot = 0.075
3.49/3.59	c 
3.49/3.59	c # additional number of allowed LP iterations
3.49/3.59	c # [type: int, range: [0,2147483647], default: 1000]
3.49/3.59	c heuristics/coefdiving/maxlpiterofs = 1500
3.49/3.59	c 
3.49/3.59	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
3.49/3.59	c # [type: int, range: [-1,2147483647], default: 30]
3.49/3.59	c heuristics/crossover/freq = -1
3.49/3.59	c 
3.49/3.59	c # number of nodes added to the contingent of the total nodes
3.49/3.59	c # [type: longint, range: [0,9223372036854775807], default: 500]
3.49/3.59	c heuristics/crossover/nodesofs = 750
3.49/3.59	c 
3.49/3.59	c # number of nodes without incumbent change that heuristic should wait
3.49/3.59	c # [type: longint, range: [0,9223372036854775807], default: 200]
3.49/3.59	c heuristics/crossover/nwaitingnodes = 100
3.49/3.59	c 
3.49/3.59	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
3.49/3.59	c # [type: real, range: [0,1], default: 0.1]
3.49/3.59	c heuristics/crossover/nodesquot = 0.15
3.49/3.59	c 
3.49/3.59	c # minimum percentage of integer variables that have to be fixed 
3.49/3.59	c # [type: real, range: [0,1], default: 0.666]
3.49/3.59	c heuristics/crossover/minfixingrate = 0.5
3.49/3.59	c 
3.49/3.59	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
3.49/3.59	c # [type: int, range: [-1,2147483647], default: 20]
3.49/3.59	c heuristics/feaspump/freq = -1
3.49/3.59	c 
3.49/3.59	c # additional number of allowed LP iterations
3.49/3.59	c # [type: int, range: [0,2147483647], default: 1000]
3.49/3.59	c heuristics/feaspump/maxlpiterofs = 2000
3.49/3.59	c 
3.49/3.59	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
3.49/3.59	c # [type: int, range: [-1,2147483647], default: 10]
3.49/3.59	c heuristics/fracdiving/freq = -1
3.49/3.59	c 
3.49/3.59	c # maximal fraction of diving LP iterations compared to node LP iterations
3.49/3.59	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.49/3.59	c heuristics/fracdiving/maxlpiterquot = 0.075
3.49/3.59	c 
3.49/3.59	c # additional number of allowed LP iterations
3.49/3.59	c # [type: int, range: [0,2147483647], default: 1000]
3.49/3.59	c heuristics/fracdiving/maxlpiterofs = 1500
3.49/3.59	c 
3.49/3.59	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
3.49/3.59	c # [type: int, range: [-1,2147483647], default: 10]
3.49/3.59	c heuristics/guideddiving/freq = -1
3.49/3.59	c 
3.49/3.59	c # maximal fraction of diving LP iterations compared to node LP iterations
3.49/3.59	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.49/3.59	c heuristics/guideddiving/maxlpiterquot = 0.075
3.49/3.59	c 
3.49/3.59	c # additional number of allowed LP iterations
3.49/3.59	c # [type: int, range: [0,2147483647], default: 1000]
3.49/3.59	c heuristics/guideddiving/maxlpiterofs = 1500
3.49/3.59	c 
3.49/3.59	c # maximal fraction of diving LP iterations compared to node LP iterations
3.49/3.59	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.49/3.59	c heuristics/intdiving/maxlpiterquot = 0.075
3.49/3.59	c 
3.49/3.59	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
3.49/3.59	c # [type: int, range: [-1,2147483647], default: 10]
3.49/3.59	c heuristics/intshifting/freq = -1
3.49/3.59	c 
3.49/3.59	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
3.49/3.59	c # [type: int, range: [-1,2147483647], default: 10]
3.49/3.59	c heuristics/linesearchdiving/freq = -1
3.49/3.59	c 
3.49/3.59	c # maximal fraction of diving LP iterations compared to node LP iterations
3.49/3.59	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.49/3.59	c heuristics/linesearchdiving/maxlpiterquot = 0.075
3.49/3.59	c 
3.49/3.59	c # additional number of allowed LP iterations
3.49/3.59	c # [type: int, range: [0,2147483647], default: 1000]
3.49/3.59	c heuristics/linesearchdiving/maxlpiterofs = 1500
3.49/3.59	c 
3.49/3.59	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
3.49/3.59	c # [type: int, range: [-1,2147483647], default: 20]
3.49/3.59	c heuristics/objpscostdiving/freq = -1
3.49/3.59	c 
3.49/3.59	c # maximal fraction of diving LP iterations compared to total iteration number
3.49/3.59	c # [type: real, range: [0,1], default: 0.01]
3.49/3.59	c heuristics/objpscostdiving/maxlpiterquot = 0.015
3.49/3.59	c 
3.49/3.59	c # additional number of allowed LP iterations
3.49/3.59	c # [type: int, range: [0,2147483647], default: 1000]
3.49/3.59	c heuristics/objpscostdiving/maxlpiterofs = 1500
3.49/3.59	c 
3.49/3.59	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
3.49/3.59	c # [type: int, range: [-1,2147483647], default: 1]
3.49/3.59	c heuristics/oneopt/freq = -1
3.49/3.59	c 
3.49/3.59	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
3.49/3.59	c # [type: int, range: [-1,2147483647], default: 10]
3.49/3.59	c heuristics/pscostdiving/freq = -1
3.49/3.59	c 
3.49/3.59	c # maximal fraction of diving LP iterations compared to node LP iterations
3.49/3.59	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.49/3.59	c heuristics/pscostdiving/maxlpiterquot = 0.075
3.49/3.59	c 
3.49/3.59	c # additional number of allowed LP iterations
3.49/3.59	c # [type: int, range: [0,2147483647], default: 1000]
3.49/3.59	c heuristics/pscostdiving/maxlpiterofs = 1500
3.49/3.59	c 
3.49/3.59	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
3.49/3.59	c # [type: int, range: [-1,2147483647], default: 0]
3.49/3.59	c heuristics/rens/freq = -1
3.49/3.59	c 
3.49/3.59	c # minimum percentage of integer variables that have to be fixable 
3.49/3.59	c # [type: real, range: [0,1], default: 0.5]
3.49/3.59	c heuristics/rens/minfixingrate = 0.3
3.49/3.59	c 
3.49/3.59	c # number of nodes added to the contingent of the total nodes
3.49/3.59	c # [type: longint, range: [0,9223372036854775807], default: 500]
3.49/3.59	c heuristics/rens/nodesofs = 2000
3.49/3.59	c 
3.49/3.59	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
3.49/3.59	c # [type: int, range: [-1,2147483647], default: 20]
3.49/3.59	c heuristics/rootsoldiving/freq = -1
3.49/3.59	c 
3.49/3.59	c # maximal fraction of diving LP iterations compared to node LP iterations
3.49/3.59	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
3.49/3.59	c heuristics/rootsoldiving/maxlpiterquot = 0.015
3.49/3.59	c 
3.49/3.59	c # additional number of allowed LP iterations
3.49/3.59	c # [type: int, range: [0,2147483647], default: 1000]
3.49/3.59	c heuristics/rootsoldiving/maxlpiterofs = 1500
3.49/3.59	c 
3.49/3.59	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
3.49/3.59	c # [type: int, range: [-1,2147483647], default: 1]
3.49/3.59	c heuristics/rounding/freq = -1
3.49/3.59	c 
3.49/3.59	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
3.49/3.59	c # [type: int, range: [-1,2147483647], default: 0]
3.49/3.59	c heuristics/shiftandpropagate/freq = -1
3.49/3.59	c 
3.49/3.59	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
3.49/3.59	c # [type: int, range: [-1,2147483647], default: 10]
3.49/3.59	c heuristics/shifting/freq = -1
3.49/3.59	c 
3.49/3.59	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
3.49/3.59	c # [type: int, range: [-1,2147483647], default: 1]
3.49/3.59	c heuristics/simplerounding/freq = -1
3.49/3.59	c 
3.49/3.59	c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
3.49/3.59	c # [type: int, range: [-1,2147483647], default: 1]
3.49/3.59	c heuristics/subnlp/freq = -1
3.49/3.59	c 
3.49/3.59	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
3.49/3.59	c # [type: int, range: [-1,2147483647], default: 0]
3.49/3.59	c heuristics/trivial/freq = -1
3.49/3.59	c 
3.49/3.59	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
3.49/3.59	c # [type: int, range: [-1,2147483647], default: 1]
3.49/3.59	c heuristics/trysol/freq = -1
3.49/3.59	c 
3.49/3.59	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
3.49/3.59	c # [type: int, range: [-1,2147483647], default: 0]
3.49/3.59	c heuristics/undercover/freq = -1
3.49/3.59	c 
3.49/3.59	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
3.49/3.59	c # [type: int, range: [-1,2147483647], default: 10]
3.49/3.59	c heuristics/veclendiving/freq = -1
3.49/3.59	c 
3.49/3.59	c # maximal fraction of diving LP iterations compared to node LP iterations
3.49/3.59	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.49/3.59	c heuristics/veclendiving/maxlpiterquot = 0.075
3.49/3.59	c 
3.49/3.59	c # additional number of allowed LP iterations
3.49/3.59	c # [type: int, range: [0,2147483647], default: 1000]
3.49/3.59	c heuristics/veclendiving/maxlpiterofs = 1500
3.49/3.59	c 
3.49/3.59	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
3.49/3.59	c # [type: int, range: [-1,2147483647], default: 1]
3.49/3.59	c heuristics/zirounding/freq = -1
3.49/3.59	c 
3.49/3.59	c # maximal number of presolving rounds the propagator participates in (-1: no limit)
3.49/3.59	c # [type: int, range: [-1,2147483647], default: -1]
3.49/3.59	c propagating/probing/maxprerounds = 0
3.49/3.59	c 
3.49/3.59	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
3.49/3.59	c # [type: int, range: [-1,2147483647], default: 0]
3.49/3.59	c separating/cmir/freq = -1
3.49/3.59	c 
3.49/3.59	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
3.49/3.59	c # [type: int, range: [-1,2147483647], default: 0]
3.49/3.59	c separating/flowcover/freq = -1
3.49/3.59	c 
3.49/3.59	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.49/3.59	c # [type: int, range: [-1,2147483647], default: -1]
3.49/3.59	c separating/rapidlearning/freq = 0
3.49/3.59	c 
3.49/3.59	c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
3.49/3.59	c # [type: int, range: [-1,2147483647], default: 1]
3.49/3.59	c heuristics/indoneopt/freq = -1
3.49/3.59	c 
3.49/3.59	c -----------------------------------------------------------------------------------------------
3.49/3.59	c start solving
3.49/3.59	c 
5.29/5.32	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
5.29/5.32	c   5.3s|     1 |     0 |  1362 |     - | 300M|   0 | 399 |9211 | 195k|9211 | 195k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
8.38/8.44	c   8.4s|     1 |     0 |  2984 |     - | 300M|   0 |1208 |9211 | 195k|9211 | 195k|  13 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
10.89/10.99	c  11.0s|     1 |     0 |  4206 |     - | 300M|   0 |1721 |9211 | 195k|9211 | 195k|  27 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
13.18/13.28	c  13.3s|     1 |     0 |  4871 |     - | 300M|   0 |2156 |9211 | 195k|9211 | 195k|  43 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
16.19/16.25	c  16.2s|     1 |     0 |  5921 |     - | 301M|   0 |2808 |9211 | 195k|9211 | 195k|  60 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
20.28/20.30	c  20.3s|     1 |     0 |  6870 |     - | 302M|   0 |2800 |9211 | 195k|9211 | 195k|  84 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
62.58/62.64	c  62.6s|     1 |     2 |  6870 |     - | 302M|   0 |2800 |9211 | 195k|9211 | 195k|  84 |   0 |  26 | 0.000000e+00 |      --      |    Inf 
983.04/983.26	c   983s|   100 |    76 | 75676 | 695.0 | 310M|  42 |1058 |9211 | 195k|9211 | 195k|  84 |  49 | 399 | 0.000000e+00 |      --      |    Inf 
1356.37/1356.64	c  1357s|   200 |   129 |132680 | 632.2 | 313M|  91 | 879 |9211 | 195k|9211 | 195k|  84 | 124 | 456 | 0.000000e+00 |      --      |    Inf 
1537.54/1537.84	c  1538s|   300 |   182 |160579 | 514.1 | 315M| 112 | 582 |9211 | 195k|9211 | 195k|  84 | 204 | 485 | 0.000000e+00 |      --      |    Inf 
1656.93/1657.27	c  1657s|   400 |   189 |178269 | 429.6 | 316M| 112 | 642 |9211 | 195k|9211 | 195k|  84 | 381 | 519 | 0.000000e+00 |      --      |    Inf 
1796.81/1797.11	c 
1796.81/1797.11	c SCIP Status        : solving was interrupted [time limit reached]
1796.81/1797.11	c Solving Time (sec) : 1797.10
1796.81/1797.11	c Solving Nodes      : 461
1796.81/1797.11	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.81/1797.11	c Dual Bound         : +0.00000000000000e+00
1796.81/1797.11	c Gap                : infinite
1796.81/1797.11	s UNKNOWN
1796.81/1797.11	c SCIP Status        : solving was interrupted [time limit reached]
1796.81/1797.11	c Total Time         :    1797.10
1796.81/1797.11	c   solving          :    1797.10
1796.81/1797.11	c   presolving       :       2.92 (included in solving)
1796.81/1797.11	c   reading          :       0.52 (included in solving)
1796.81/1797.11	c   copying          :       0.00 (0 times copied the problem)
1796.81/1797.11	c Original Problem   :
1796.81/1797.11	c   Problem name     : HOME/instance-3690630-1338024293.opb
1796.81/1797.11	c   Variables        : 9310 (9310 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.81/1797.11	c   Constraints      : 199239 initial, 199239 maximal
1796.81/1797.11	c   Objective sense  : minimize
1796.81/1797.11	c Presolved Problem  :
1796.81/1797.11	c   Problem name     : t_HOME/instance-3690630-1338024293.opb
1796.81/1797.11	c   Variables        : 9211 (9211 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.81/1797.11	c   Constraints      : 195516 initial, 195988 maximal
1796.81/1797.11	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.81/1797.11	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.81/1797.11	c   trivial          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.81/1797.11	c   dualfix          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.81/1797.11	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.81/1797.11	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.81/1797.11	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.81/1797.11	c   gateextraction   :       0.05       0.00          0          0          0          0          0          0          0          0          0
1796.81/1797.11	c   implics          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.81/1797.11	c   components       :       0.08       0.00          0          0          0          0          0          0          0          0          0
1796.81/1797.11	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.81/1797.11	c   probing          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.81/1797.11	c   knapsack         :       0.08       0.00          0          0          0          0          0          0          0          0          0
1796.81/1797.11	c   setppc           :       0.07       0.00          0          0          0          0          0         40          0          0          0
1796.81/1797.11	c   linear           :       1.11       0.00         99          0          0         99          0       3655          0         14          0
1796.81/1797.11	c   logicor          :       0.61       0.35          0          0          0          0          0         28          0          0          0
1796.81/1797.11	c   root node        :          -          -          1          -          -          1          -          -          -          -          -
1796.81/1797.11	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1796.81/1797.11	c   integral         :          0          0          0          0        352          0          1          0          5         22          0          0        680
1796.81/1797.11	c   knapsack         :      20454      20454          5       2203          0          1          0        185         20        954         50          0          0
1796.81/1797.11	c   setppc           :      39470      39470          5       2183          0          1          0       3091         20      14701          0          0          0
1796.81/1797.11	c   linear           :          2          2          5       2163          0          1          0          0          1          0          0          0          0
1796.81/1797.11	c   logicor          :     135590+    136062          5       1266          0          1          0       1007         59       2092          0          0          0
1796.81/1797.11	c   countsols        :          0          0          0          0          0          1          0          0          0          0          0          0          0
1796.81/1797.11	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1796.81/1797.11	c   integral         :     889.19       0.00       0.00       0.00     889.19       0.00       0.00       0.00
1796.81/1797.11	c   knapsack         :       0.90       0.00       0.07       0.82       0.00       0.00       0.00       0.00
1796.81/1797.11	c   setppc           :       0.47       0.00       0.01       0.45       0.00       0.00       0.00       0.00
1796.81/1797.11	c   linear           :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.81/1797.11	c   logicor          :       0.61       0.35       0.02       0.21       0.00       0.03       0.00       0.00
1796.81/1797.11	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.81/1797.11	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1796.81/1797.11	c   rootredcost      :          0          0          0          0
1796.81/1797.11	c   pseudoobj        :          0          0          0          0
1796.81/1797.11	c   vbounds          :          0          0          0          0
1796.81/1797.11	c   redcost          :        357          0          0          0
1796.81/1797.11	c   probing          :          0          0          0          0
1796.81/1797.11	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1796.81/1797.11	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00
1796.81/1797.11	c   pseudoobj        :       0.00       0.00       0.00       0.00       0.00
1796.81/1797.11	c   vbounds          :       0.00       0.00       0.00       0.00       0.00
1796.81/1797.11	c   redcost          :       0.04       0.00       0.00       0.04       0.00
1796.81/1797.11	c   probing          :       0.00       0.00       0.00       0.00       0.00
1796.81/1797.11	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.81/1797.11	c   propagation      :       0.00        100        100        332       15.5        125       14.2          -
1796.81/1797.11	c   infeasible LP    :       0.15         34         34        399       49.8         20       12.6          0
1796.81/1797.11	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.81/1797.11	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.81/1797.11	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.81/1797.11	c   applied globally :          -          -          -        479       19.1          -          -          -
1796.81/1797.11	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.81/1797.11	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1796.81/1797.11	c   cut pool         :       0.00                     4          -          -         54          -    (maximal pool size: 711)
1796.81/1797.11	c   closecuts        :       0.00       0.00          0          0          0          0          0
1796.81/1797.11	c   impliedbounds    :       0.00       0.00          5          0          0          0          0
1796.81/1797.11	c   intobj           :       0.00       0.00          0          0          0          0          0
1796.81/1797.11	c   gomory           :       0.62       0.00          5          0          0        250          0
1796.81/1797.11	c   cgmip            :       0.00       0.00          0          0          0          0          0
1796.81/1797.11	c   strongcg         :       4.33       0.00          5          0          0       2500          0
1796.81/1797.11	c   cmir             :       0.00       0.00          0          0          0          0          0
1796.81/1797.11	c   flowcover        :       0.00       0.00          0          0          0          0          0
1796.81/1797.11	c   clique           :       0.27       0.00          5          0          0         37          0
1796.81/1797.11	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1796.81/1797.11	c   mcf              :       0.33       0.00          1          0          0          0          0
1796.81/1797.11	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1796.81/1797.11	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
1796.81/1797.11	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1796.81/1797.11	c   problem variables:       0.00          -          0          0
1796.81/1797.11	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.81/1797.11	c   relpscost        :     889.19       0.00        352          5         22          0          0        680
1796.81/1797.11	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1796.81/1797.11	c   inference        :       0.00       0.00          1          0          0          0          0          2
1796.81/1797.11	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1796.81/1797.11	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1796.81/1797.11	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1796.81/1797.11	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1796.81/1797.11	c   random           :       0.00       0.00          0          0          0          0          0          0
1796.81/1797.11	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1796.81/1797.11	c   LP solutions     :       0.00          -          -          0
1796.81/1797.11	c   pseudo solutions :       0.00          -          -          0
1796.81/1797.11	c   smallcard        :       0.00       0.00          0          0
1796.81/1797.11	c   trivial          :       0.00       0.00          1          0
1796.81/1797.11	c   shiftandpropagate:       0.00       0.00          0          0
1796.81/1797.11	c   simplerounding   :       0.00       0.00          0          0
1796.81/1797.11	c   zirounding       :       0.00       0.00          0          0
1796.81/1797.11	c   rounding         :       0.00       0.00          0          0
1796.81/1797.11	c   shifting         :       0.00       0.00          0          0
1796.81/1797.11	c   intshifting      :       0.00       0.00          0          0
1796.81/1797.11	c   oneopt           :       0.00       0.00          0          0
1796.81/1797.11	c   twoopt           :       0.00       0.00          0          0
1796.81/1797.11	c   indtwoopt        :       0.00       0.00          0          0
1796.81/1797.11	c   indoneopt        :       0.00       0.00          0          0
1796.81/1797.11	c   fixandinfer      :       0.00       0.00          0          0
1796.81/1797.11	c   feaspump         :       0.00       0.00          0          0
1796.81/1797.11	c   clique           :       0.00       0.00          0          0
1796.81/1797.11	c   indrounding      :       0.00       0.00          0          0
1796.81/1797.11	c   indcoefdiving    :       0.00       0.00          0          0
1796.81/1797.11	c   coefdiving       :       0.00       0.00          0          0
1796.81/1797.11	c   pscostdiving     :       0.00       0.00          0          0
1796.81/1797.11	c   nlpdiving        :       0.00       0.00          0          0
1796.81/1797.11	c   fracdiving       :       0.00       0.00          0          0
1796.81/1797.11	c   veclendiving     :       0.00       0.00          0          0
1796.81/1797.11	c   intdiving        :       0.00       0.00          0          0
1796.81/1797.11	c   actconsdiving    :       0.00       0.00          0          0
1796.81/1797.11	c   objpscostdiving  :       0.00       0.00          0          0
1796.81/1797.11	c   rootsoldiving    :       0.00       0.00          0          0
1796.81/1797.11	c   linesearchdiving :       0.00       0.00          0          0
1796.81/1797.11	c   guideddiving     :       0.00       0.00          0          0
1796.81/1797.11	c   octane           :       0.00       0.00          0          0
1796.81/1797.11	c   rens             :       0.00       0.00          0          0
1796.81/1797.11	c   rins             :       0.00       0.00          0          0
1796.81/1797.11	c   localbranching   :       0.00       0.00          0          0
1796.81/1797.11	c   mutation         :       0.00       0.00          0          0
1796.81/1797.11	c   crossover        :       0.00       0.00          0          0
1796.81/1797.11	c   dins             :       0.00       0.00          0          0
1796.81/1797.11	c   vbounds          :       0.00       0.00          0          0
1796.81/1797.11	c   undercover       :       0.00       0.00          0          0
1796.81/1797.11	c   subnlp           :       0.00       0.00          0          0
1796.81/1797.11	c   trysol           :       0.00       0.00          0          0
1796.81/1797.11	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1796.81/1797.11	c   primal LP        :       0.10          1          0       0.00       0.00       0.10          1
1796.81/1797.11	c   dual LP          :     887.39        392     208707     533.78     235.19       0.11          1
1796.81/1797.11	c   lex dual LP      :       0.00          0          0       0.00          -
1796.81/1797.11	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1796.81/1797.11	c   diving/probing LP:       0.00          0          0       0.00          -
1796.81/1797.11	c   strong branching :     888.85        535     214068     400.13     240.84
1796.81/1797.11	c     (at root node) :          -         26      11800     453.85          -
1796.81/1797.11	c   conflict analysis:       0.00          0          0       0.00          -
1796.81/1797.11	c B&B Tree           :
1796.81/1797.11	c   number of runs   :          1
1796.81/1797.11	c   nodes            :        461
1796.81/1797.11	c   nodes (total)    :        461
1796.81/1797.11	c   nodes left       :         86
1796.81/1797.11	c   max depth        :        112
1796.81/1797.11	c   max depth (total):        112
1796.81/1797.11	c   backtracks       :         46 (10.0%)
1796.81/1797.11	c   delayed cutoffs  :        136
1796.81/1797.11	c   repropagations   :       1155 (975 domain reductions, 23 cutoffs)
1796.81/1797.11	c   avg switch length:       6.69
1796.81/1797.11	c   switching time   :       1.02
1796.81/1797.11	c Solution           :
1796.81/1797.11	c   Solutions found  :          0 (0 improvements)
1796.81/1797.11	c   Primal Bound     :          -
1796.81/1797.11	c   Dual Bound       : +0.00000000000000e+00
1796.81/1797.11	c   Gap              :   infinite
1796.81/1797.11	c   Root Dual Bound  : +0.00000000000000e+00
1796.81/1797.11	c   Root Iterations  :       6870
1797.32/1797.62	c Time complete: 1797.33.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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


[startup+0 s]
/proc/loadavg: 2.03 2.02 1.98 3/176 447
/proc/meminfo: memFree=28375832/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=9824 CPUtime=0 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 1191 0 0 0 0 0 0 0 20 0 1 0 268556659 10059776 1145 33554432000 4194304 10173063 140733536579840 140735591583800 8800272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 2456 1146 413 1460 0 987 0

[startup+0.105212 s]
/proc/loadavg: 2.03 2.02 1.98 3/176 447
/proc/meminfo: memFree=28375832/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=24620 CPUtime=0.09 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 4906 0 0 0 9 0 0 0 20 0 1 0 268556659 25210880 4860 33554432000 4194304 10173063 140733536579840 140733536445016 8831452 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 6155 4860 413 1460 0 4686 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24620

[startup+0.200323 s]
/proc/loadavg: 2.03 2.02 1.98 3/176 447
/proc/meminfo: memFree=28375832/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=37744 CPUtime=0.19 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 8194 0 0 0 18 1 0 0 20 0 1 0 268556659 38649856 8148 33554432000 4194304 10173063 140733536579840 140733536445016 5479875 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 9436 8148 413 1460 0 7967 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37744

[startup+0.30033 s]
/proc/loadavg: 2.03 2.02 1.98 3/176 447
/proc/meminfo: memFree=28375832/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=50308 CPUtime=0.29 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 11299 0 0 0 28 1 0 0 20 0 1 0 268556659 51515392 11253 33554432000 4194304 10173063 140733536579840 140733536445016 7172306 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 12577 11253 413 1460 0 11108 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50308

[startup+0.70028 s]
/proc/loadavg: 2.03 2.02 1.98 3/176 447
/proc/meminfo: memFree=28375832/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=174224 CPUtime=0.69 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 41565 0 0 0 64 5 0 0 20 0 1 0 268556659 178405376 41451 33554432000 4194304 10173063 140733536579840 140733536445016 8886864 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 43556 41481 509 1460 0 42087 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 174224

[startup+1.50029 s]
/proc/loadavg: 2.03 2.02 1.98 3/177 448
/proc/meminfo: memFree=28110756/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=277096 CPUtime=1.49 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 77353 0 0 0 132 17 0 0 20 0 1 0 268556659 283746304 66074 33554432000 4194304 10173063 140733536579840 140733536576600 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 69274 66074 560 1460 0 67805 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 277096

[startup+3.1003 s]
/proc/loadavg: 2.03 2.02 1.98 3/177 448
/proc/meminfo: memFree=28040568/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=330180 CPUtime=3.09 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 103733 0 0 0 266 43 0 0 20 0 1 0 268556659 338104320 78704 33554432000 4194304 10173063 140733536579840 140733536575896 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 82545 78704 596 1460 0 81076 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 330180

[startup+6.30027 s]
/proc/loadavg: 2.02 2.02 1.98 3/177 448
/proc/meminfo: memFree=27735556/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=669900 CPUtime=6.29 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 151540 0 0 0 576 53 0 0 20 0 1 0 268556659 685977600 157271 33554432000 4194304 10173063 140733536579840 140733536574680 7314019 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 167475 157271 790 1460 0 166006 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 669900

[startup+12.7003 s]
/proc/loadavg: 2.02 2.02 1.98 3/177 448
/proc/meminfo: memFree=27685120/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=703384 CPUtime=12.69 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 157419 0 0 0 1213 56 0 0 20 0 1 0 268556659 720265216 171185 33554432000 4194304 10173063 140733536579840 140733536572776 8012051 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 175846 171185 793 1460 0 174377 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 703384

[startup+25.5068 s]
/proc/loadavg: 2.02 2.02 1.98 3/177 448
/proc/meminfo: memFree=27653572/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=707068 CPUtime=25.49 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 161432 0 0 0 2490 59 0 0 20 0 1 0 268556659 724037632 172113 33554432000 4194304 10173063 140733536579840 140733536573288 8047293 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 176767 172113 797 1460 0 175298 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 707068

[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 1.98 3/177 448
/proc/meminfo: memFree=27598836/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=707828 CPUtime=51.08 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 161616 0 0 0 5045 63 0 0 20 0 1 0 268556659 724815872 172297 33554432000 4194304 10173063 140733536579840 140733536573384 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 176957 172297 797 1460 0 175488 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 707828

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/178 449
/proc/meminfo: memFree=27561248/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=708964 CPUtime=102.28 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 161926 0 0 0 10161 67 0 0 20 0 1 0 268556659 725979136 172607 33554432000 4194304 10173063 140733536579840 140733536573672 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 177241 172607 803 1460 0 175772 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 708964

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 450
/proc/meminfo: memFree=27551988/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=708964 CPUtime=162.27 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 161976 0 0 0 16153 74 0 0 20 0 1 0 268556659 725979136 172657 33554432000 4194304 10173063 140733536579840 140733536573016 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 177241 172657 803 1460 0 175772 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 708964

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 450
/proc/meminfo: memFree=27550912/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=709876 CPUtime=222.26 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 162128 0 0 0 22144 82 0 0 20 0 1 0 268556659 726913024 172809 33554432000 4194304 10173063 140733536579840 140733536573288 8012272 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 177469 172809 803 1460 0 176000 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 709876

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 450
/proc/meminfo: memFree=27549592/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=709876 CPUtime=282.24 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 162153 0 0 0 28135 89 0 0 20 0 1 0 268556659 726913024 172834 33554432000 4194304 10173063 140733536579840 140733536573016 8033100 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 177469 172834 803 1460 0 176000 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 709876

[startup+342.307 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 453
/proc/meminfo: memFree=27547100/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=718760 CPUtime=342.25 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 162176 0 0 0 34128 97 0 0 20 0 1 0 268556659 736010240 172857 33554432000 4194304 10173063 140733536579840 140733536573672 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 179690 172857 803 1460 0 178221 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 718760

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 453
/proc/meminfo: memFree=27539524/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=718760 CPUtime=402.23 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 162653 0 0 0 40118 105 0 0 20 0 1 0 268556659 736010240 173845 33554432000 4194304 10173063 140733536579840 140733536573752 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 179690 173845 803 1460 0 178221 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 718760

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 454
/proc/meminfo: memFree=27535528/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=711424 CPUtime=462.22 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 165505 0 0 0 46108 114 0 0 20 0 1 0 268556659 728498176 174346 33554432000 4194304 10173063 140733536579840 140733536573288 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 177856 174346 803 1460 0 176387 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 711424

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 454
/proc/meminfo: memFree=27516392/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=729060 CPUtime=522.21 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 169100 0 0 0 52099 122 0 0 20 0 1 0 268556659 746557440 179320 33554432000 4194304 10173063 140733536579840 140733536573096 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 182265 179320 803 1460 0 180796 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 729060

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 454
/proc/meminfo: memFree=27486360/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=753872 CPUtime=582.2 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 169717 0 0 0 58093 127 0 0 20 0 1 0 268556659 771964928 186277 33554432000 4194304 10173063 140733536579840 140733536572360 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 188468 186277 806 1460 0 186999 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 753872

[startup+642.3 s]

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

/proc/meminfo: memFree=28071356/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=734324 CPUtime=1122.11 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 254638 0 0 0 111996 215 0 0 20 0 1 0 268556659 751947776 181117 33554432000 4194304 10173063 140733536579840 140733536573096 8012707 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 183581 181117 811 1460 0 182112 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 734324

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 497
/proc/meminfo: memFree=28050816/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=752560 CPUtime=1182.1 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 265520 0 0 0 117983 227 0 0 20 0 1 0 268556659 770621440 186113 33554432000 4194304 10173063 140733536579840 140733536573192 7594611 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 188140 186113 811 1460 0 186671 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 752560

[startup+1242.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 497
/proc/meminfo: memFree=28064412/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=753356 CPUtime=1242.09 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 271125 0 0 0 123973 236 0 0 20 0 1 0 268556659 771436544 182844 33554432000 4194304 10173063 140733536579840 140733536572968 7910496 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 188339 182844 811 1460 0 186870 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 753356

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 497
/proc/meminfo: memFree=28071920/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=734076 CPUtime=1302.08 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 276032 0 0 0 129964 244 0 0 20 0 1 0 268556659 751693824 180918 33554432000 4194304 10173063 140733536579840 140733536573480 7595768 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 183519 180918 811 1460 0 182050 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 734076

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 497
/proc/meminfo: memFree=28077160/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=733784 CPUtime=1362.07 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 278883 0 0 0 135955 252 0 0 20 0 1 0 268556659 751394816 179676 33554432000 4194304 10173063 140733536579840 140733536573096 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 183446 179676 811 1460 0 181977 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 733784

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 498
/proc/meminfo: memFree=28070520/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=733784 CPUtime=1422.07 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 278973 0 0 0 141949 258 0 0 20 0 1 0 268556659 751394816 181299 33554432000 4194304 10173063 140733536579840 140733536573096 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 183446 181299 811 1460 0 181977 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 733784

[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 498
/proc/meminfo: memFree=28054816/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=752340 CPUtime=1482.06 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 286494 0 0 0 147939 267 0 0 20 0 1 0 268556659 770396160 185232 33554432000 4194304 10173063 140733536579840 140733536573096 8012407 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 188085 185232 811 1460 0 186616 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 752340

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 501
/proc/meminfo: memFree=28083300/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=726088 CPUtime=1542.05 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 292344 0 0 0 153930 275 0 0 20 0 1 0 268556659 743514112 178141 33554432000 4194304 10173063 140733536579840 140733536573480 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 181522 178141 811 1460 0 180053 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 726088

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 501
/proc/meminfo: memFree=28071336/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=732412 CPUtime=1602.03 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 298511 0 0 0 159922 281 0 0 20 0 1 0 268556659 749989888 181115 33554432000 4194304 10173063 140733536579840 140733536573096 8012384 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 183103 181115 812 1460 0 181634 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 732412

[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 501
/proc/meminfo: memFree=28078656/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=725916 CPUtime=1662.03 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 304390 0 0 0 165912 291 0 0 20 0 1 0 268556659 743337984 179112 33554432000 4194304 10173063 140733536579840 140733536573480 8012616 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 181479 179112 812 1460 0 180010 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 725916

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 502
/proc/meminfo: memFree=28082944/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=735080 CPUtime=1722.02 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 313337 0 0 0 171901 301 0 0 20 0 1 0 268556659 752721920 180264 33554432000 4194304 10173063 140733536579840 140733536573672 8012669 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 183770 180264 812 1460 0 182301 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 735080

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 502
/proc/meminfo: memFree=28084640/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=723728 CPUtime=1782.01 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 327574 0 0 0 177888 313 0 0 20 0 1 0 268556659 741097472 177712 33554432000 4194304 10173063 140733536579840 140733536573480 7594585 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 180932 177712 812 1460 0 179463 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 723728

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

[startup+1785.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 502
/proc/meminfo: memFree=28084888/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=723728 CPUtime=1785.41 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 327574 0 0 0 178226 315 0 0 20 0 1 0 268556659 741097472 177712 33554432000 4194304 10173063 140733536579840 140733536573480 8012567 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 180932 177712 812 1460 0 179463 0
Current children cumulated CPU time (s) 1785.41
Current children cumulated vsize (KiB) 723728

[startup+1792.11 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 502
/proc/meminfo: memFree=28084888/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=723880 CPUtime=1791.82 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 327578 0 0 0 178866 316 0 0 20 0 1 0 268556659 741253120 177716 33554432000 4194304 10173063 140733536579840 140733536573096 8012276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 180970 177716 812 1460 0 179501 0
Current children cumulated CPU time (s) 1791.82
Current children cumulated vsize (KiB) 723880

[startup+1795.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 502
/proc/meminfo: memFree=28084888/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=723880 CPUtime=1795.02 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 327578 0 0 0 179186 316 0 0 20 0 1 0 268556659 741253120 177716 33554432000 4194304 10173063 140733536579840 140733536573096 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 180970 177716 812 1460 0 179501 0
Current children cumulated CPU time (s) 1795.02
Current children cumulated vsize (KiB) 723880

[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 502
/proc/meminfo: memFree=28084888/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=723880 CPUtime=1796.61 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 327579 0 0 0 179345 316 0 0 20 0 1 0 268556659 741253120 177717 33554432000 4194304 10173063 140733536579840 140733536572360 8012547 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 180970 177717 812 1460 0 179501 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (KiB) 723880

[startup+1797.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 502
/proc/meminfo: memFree=28084888/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=723620 CPUtime=1797.01 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 327590 0 0 0 179385 316 0 0 20 0 1 0 268556659 740986880 177663 33554432000 4194304 10173063 140733536579840 140733536577080 7544969 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 180905 177663 823 1460 0 179436 0
Current children cumulated CPU time (s) 1797.01
Current children cumulated vsize (KiB) 723620

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 502
/proc/meminfo: memFree=28087492/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=720588 CPUtime=1797.21 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 327592 0 0 0 179405 316 0 0 20 0 1 0 268556659 737882112 176907 33554432000 4194304 10173063 140733536579840 140733536577080 5672960 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 180147 176907 825 1460 0 178678 0
Current children cumulated CPU time (s) 1797.21
Current children cumulated vsize (KiB) 720588

[startup+1797.61 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 502
/proc/meminfo: memFree=28087492/32873648 swapFree=7108/7108
[pid=447] ppid=445 vsize=545048 CPUtime=1797.32 cores=1,3,5,7
/proc/447/stat : 447 (scip-2.1.1.4fix) R 445 447 32297 0 -1 4202496 327594 0 0 0 179415 317 0 0 20 0 1 0 268556659 558129152 134653 33554432000 4194304 10173063 140733536579840 140733536577080 8992599 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/447/statm: 136262 134653 827 1460 0 134793 0
Current children cumulated CPU time (s) 1797.32
Current children cumulated vsize (KiB) 545048

Child status: 0
Real time (s): 1797.63
CPU time (s): 1797.34
CPU user time (s): 1794.16
CPU system time (s): 3.17952
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 793552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.16
system time used= 3.17952
maximum resident set size= 773660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 327606
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= 14
involuntary context switches= 1850

runsolver used 2.58161 second user time and 7.27589 second system time

The end

Launcher Data 

Begin job on node114 at 2012-05-26 11:24:53
IDJOB=3690630
IDBENCH=89784
IDSOLVER=2270
FILE ID=node114/3690630-1338024293
RUNJOBID= node114-1338016936-32314
PBS_JOBID= 14624357
Free space on /tmp= 71420 MiB

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

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

MD5SUM BENCH= 1231d9e508dc821e38b22e6db3fd2b2f
RANDOM SEED=1197190766

node114.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.242
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.242
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.242
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5451.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.242
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.242
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.242
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.242
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.242
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28376360 kB
Buffers:          232876 kB
Cached:          2926376 kB
SwapCached:            0 kB
Active:          1475932 kB
Inactive:        2250096 kB
Active(anon):     569488 kB
Inactive(anon):        0 kB
Active(file):     906444 kB
Inactive(file):  2250096 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             21784 kB
Writeback:             0 kB
AnonPages:        573732 kB
Mapped:            16764 kB
Shmem:               200 kB
Slab:             632548 kB
SReclaimable:      77156 kB
SUnreclaim:       555392 kB
KernelStack:        1456 kB
PageTables:         5164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     696732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71408 MiB
End job on node114 at 2012-05-26 11:54:51