Trace number 3485870

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 2 2011-06-10 (fixed)? 1799.94 1799.88

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb
MD5SUM50ec52fd2f8650248cdc06f32bc8af84
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark8.83266
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables40605
Total number of constraints118930
Number of constraints which are clauses117190
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1740
Minimum length of a constraint1
Maximum length of a constraint13
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 65
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 254
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.5]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3485870-1307753781.opb>
0.59/0.63	c original problem has 40605 variables (40605 bin, 0 int, 0 impl, 0 cont) and 118930 constraints
0.59/0.63	c problem read
0.59/0.63	c No objective function, only one solution is needed.
0.59/0.63	c presolving settings loaded
0.99/1.01	c presolving:
1.89/1.93	c (round 1) 1399 del vars, 790 del conss, 0 add conss, 261 chg bounds, 870 chg sides, 1758 chg coeffs, 0 upgd conss, 1976728 impls, 0 clqs
1.89/1.97	c (round 2) 1401 del vars, 3076 del conss, 0 add conss, 263 chg bounds, 870 chg sides, 1758 chg coeffs, 0 upgd conss, 1976728 impls, 0 clqs
1.89/1.99	c (round 3) 1407 del vars, 3089 del conss, 0 add conss, 268 chg bounds, 870 chg sides, 1758 chg coeffs, 0 upgd conss, 1977053 impls, 0 clqs
2.29/2.37	c (round 4) 1408 del vars, 3099 del conss, 0 add conss, 269 chg bounds, 870 chg sides, 1758 chg coeffs, 115830 upgd conss, 1977176 impls, 0 clqs
2.49/2.52	c presolving (5 rounds):
2.49/2.52	c  1409 deleted vars, 3100 deleted constraints, 0 added constraints, 269 tightened bounds, 0 added holes, 870 changed sides, 1758 changed coefficients
2.49/2.52	c  1977176 implications, 0 cliques
2.49/2.52	c presolved problem has 39196 variables (39196 bin, 0 int, 0 impl, 0 cont) and 115830 constraints
2.49/2.52	c    1740 constraints of type <knapsack>
2.49/2.52	c   76065 constraints of type <setppc>
2.49/2.52	c   38025 constraints of type <logicor>
2.49/2.52	c transformed objective value is always integral (scale: 1)
2.49/2.52	c Presolving Time: 1.78
2.49/2.52	c - non default parameters ----------------------------------------------------------------------
2.49/2.52	c # SCIP version 2.0.1.4
2.49/2.52	c 
2.49/2.52	c # frequency for displaying node information lines
2.49/2.52	c # [type: int, range: [-1,2147483647], default: 100]
2.49/2.52	c display/freq = 10000
2.49/2.52	c 
2.49/2.52	c # maximal time in seconds to run
2.49/2.52	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.49/2.52	c limits/time = 1797
2.49/2.52	c 
2.49/2.52	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.49/2.52	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.49/2.52	c limits/memory = 13950
2.49/2.52	c 
2.49/2.52	c # solving stops, if the given number of solutions were found (-1: no limit)
2.49/2.52	c # [type: int, range: [-1,2147483647], default: -1]
2.49/2.52	c limits/solutions = 1
2.49/2.52	c 
2.49/2.52	c # maximal number of separation rounds per node (-1: unlimited)
2.49/2.52	c # [type: int, range: [-1,2147483647], default: 5]
2.49/2.52	c separating/maxrounds = 1
2.49/2.52	c 
2.49/2.52	c # maximal number of separation rounds in the root node (-1: unlimited)
2.49/2.52	c # [type: int, range: [-1,2147483647], default: -1]
2.49/2.52	c separating/maxroundsroot = 5
2.49/2.52	c 
2.49/2.52	c # default clock type (1: CPU user seconds, 2: wall clock time)
2.49/2.52	c # [type: int, range: [1,2], default: 1]
2.49/2.52	c timing/clocktype = 2
2.49/2.52	c 
2.49/2.52	c # belongs reading time to solving time?
2.49/2.52	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.49/2.52	c timing/reading = TRUE
2.49/2.52	c 
2.49/2.52	c # should presolving try to simplify inequalities
2.49/2.52	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.49/2.52	c constraints/linear/simplifyinequalities = TRUE
2.49/2.52	c 
2.49/2.52	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
2.49/2.52	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.49/2.52	c constraints/indicator/addCouplingCons = TRUE
2.49/2.52	c 
2.49/2.52	c # should disaggregation of knapsack constraints be allowed in preprocessing?
2.49/2.52	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
2.49/2.52	c constraints/knapsack/disaggregation = FALSE
2.49/2.52	c 
2.49/2.52	c # should presolving try to simplify knapsacks
2.49/2.52	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.49/2.52	c constraints/knapsack/simplifyinequalities = TRUE
2.49/2.52	c 
2.49/2.52	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
2.49/2.52	c # [type: int, range: [-1,2147483647], default: -1]
2.49/2.52	c presolving/probing/maxrounds = 0
2.49/2.52	c 
2.49/2.52	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
2.49/2.52	c # [type: int, range: [-1,2147483647], default: 10]
2.49/2.52	c heuristics/coefdiving/freq = -1
2.49/2.52	c 
2.49/2.52	c # maximal fraction of diving LP iterations compared to node LP iterations
2.49/2.52	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.49/2.52	c heuristics/coefdiving/maxlpiterquot = 0.075
2.49/2.52	c 
2.49/2.52	c # additional number of allowed LP iterations
2.49/2.52	c # [type: int, range: [0,2147483647], default: 1000]
2.49/2.52	c heuristics/coefdiving/maxlpiterofs = 1500
2.49/2.52	c 
2.49/2.52	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
2.49/2.52	c # [type: int, range: [-1,2147483647], default: 30]
2.49/2.52	c heuristics/crossover/freq = -1
2.49/2.52	c 
2.49/2.52	c # number of nodes added to the contingent of the total nodes
2.49/2.52	c # [type: longint, range: [0,9223372036854775807], default: 500]
2.49/2.52	c heuristics/crossover/nodesofs = 750
2.49/2.52	c 
2.49/2.52	c # number of nodes without incumbent change that heuristic should wait
2.49/2.52	c # [type: longint, range: [0,9223372036854775807], default: 200]
2.49/2.52	c heuristics/crossover/nwaitingnodes = 100
2.49/2.52	c 
2.49/2.52	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
2.49/2.52	c # [type: real, range: [0,1], default: 0.1]
2.49/2.52	c heuristics/crossover/nodesquot = 0.15
2.49/2.52	c 
2.49/2.52	c # minimum percentage of integer variables that have to be fixed 
2.49/2.52	c # [type: real, range: [0,1], default: 0.666]
2.49/2.52	c heuristics/crossover/minfixingrate = 0.5
2.49/2.52	c 
2.49/2.52	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
2.49/2.52	c # [type: int, range: [-1,2147483647], default: 20]
2.49/2.52	c heuristics/feaspump/freq = -1
2.49/2.52	c 
2.49/2.52	c # additional number of allowed LP iterations
2.49/2.52	c # [type: int, range: [0,2147483647], default: 1000]
2.49/2.52	c heuristics/feaspump/maxlpiterofs = 2000
2.49/2.52	c 
2.49/2.52	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
2.49/2.52	c # [type: int, range: [-1,2147483647], default: 10]
2.49/2.52	c heuristics/fracdiving/freq = -1
2.49/2.52	c 
2.49/2.52	c # maximal fraction of diving LP iterations compared to node LP iterations
2.49/2.52	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.49/2.52	c heuristics/fracdiving/maxlpiterquot = 0.075
2.49/2.52	c 
2.49/2.52	c # additional number of allowed LP iterations
2.49/2.52	c # [type: int, range: [0,2147483647], default: 1000]
2.49/2.52	c heuristics/fracdiving/maxlpiterofs = 1500
2.49/2.52	c 
2.49/2.52	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
2.49/2.52	c # [type: int, range: [-1,2147483647], default: 10]
2.49/2.52	c heuristics/guideddiving/freq = -1
2.49/2.52	c 
2.49/2.52	c # maximal fraction of diving LP iterations compared to node LP iterations
2.49/2.52	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.49/2.52	c heuristics/guideddiving/maxlpiterquot = 0.075
2.49/2.52	c 
2.49/2.52	c # additional number of allowed LP iterations
2.49/2.52	c # [type: int, range: [0,2147483647], default: 1000]
2.49/2.52	c heuristics/guideddiving/maxlpiterofs = 1500
2.49/2.52	c 
2.49/2.52	c # maximal fraction of diving LP iterations compared to node LP iterations
2.49/2.52	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.49/2.52	c heuristics/intdiving/maxlpiterquot = 0.075
2.49/2.52	c 
2.49/2.52	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
2.49/2.52	c # [type: int, range: [-1,2147483647], default: 10]
2.49/2.52	c heuristics/intshifting/freq = -1
2.49/2.52	c 
2.49/2.52	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
2.49/2.52	c # [type: int, range: [-1,2147483647], default: 10]
2.49/2.52	c heuristics/linesearchdiving/freq = -1
2.49/2.52	c 
2.49/2.52	c # maximal fraction of diving LP iterations compared to node LP iterations
2.49/2.52	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.49/2.52	c heuristics/linesearchdiving/maxlpiterquot = 0.075
2.49/2.52	c 
2.49/2.52	c # additional number of allowed LP iterations
2.49/2.52	c # [type: int, range: [0,2147483647], default: 1000]
2.49/2.52	c heuristics/linesearchdiving/maxlpiterofs = 1500
2.49/2.52	c 
2.49/2.52	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
2.49/2.52	c # [type: int, range: [-1,2147483647], default: 20]
2.49/2.52	c heuristics/objpscostdiving/freq = -1
2.49/2.52	c 
2.49/2.52	c # maximal fraction of diving LP iterations compared to total iteration number
2.49/2.52	c # [type: real, range: [0,1], default: 0.01]
2.49/2.52	c heuristics/objpscostdiving/maxlpiterquot = 0.015
2.49/2.52	c 
2.49/2.52	c # additional number of allowed LP iterations
2.49/2.52	c # [type: int, range: [0,2147483647], default: 1000]
2.49/2.52	c heuristics/objpscostdiving/maxlpiterofs = 1500
2.49/2.52	c 
2.49/2.52	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
2.49/2.52	c # [type: int, range: [-1,2147483647], default: 1]
2.49/2.52	c heuristics/oneopt/freq = -1
2.49/2.52	c 
2.49/2.52	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
2.49/2.52	c # [type: int, range: [-1,2147483647], default: 10]
2.49/2.52	c heuristics/pscostdiving/freq = -1
2.49/2.52	c 
2.49/2.52	c # maximal fraction of diving LP iterations compared to node LP iterations
2.49/2.52	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.49/2.52	c heuristics/pscostdiving/maxlpiterquot = 0.075
2.49/2.52	c 
2.49/2.52	c # additional number of allowed LP iterations
2.49/2.52	c # [type: int, range: [0,2147483647], default: 1000]
2.49/2.52	c heuristics/pscostdiving/maxlpiterofs = 1500
2.49/2.52	c 
2.49/2.52	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
2.49/2.52	c # [type: int, range: [-1,2147483647], default: 0]
2.49/2.52	c heuristics/rens/freq = -1
2.49/2.52	c 
2.49/2.52	c # minimum percentage of integer variables that have to be fixable 
2.49/2.52	c # [type: real, range: [0,1], default: 0.5]
2.49/2.52	c heuristics/rens/minfixingrate = 0.3
2.49/2.52	c 
2.49/2.52	c # number of nodes added to the contingent of the total nodes
2.49/2.52	c # [type: longint, range: [0,9223372036854775807], default: 500]
2.49/2.52	c heuristics/rens/nodesofs = 2000
2.49/2.52	c 
2.49/2.52	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
2.49/2.52	c # [type: int, range: [-1,2147483647], default: 20]
2.49/2.52	c heuristics/rootsoldiving/freq = -1
2.49/2.52	c 
2.49/2.52	c # maximal fraction of diving LP iterations compared to node LP iterations
2.49/2.52	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
2.49/2.52	c heuristics/rootsoldiving/maxlpiterquot = 0.015
2.49/2.52	c 
2.49/2.52	c # additional number of allowed LP iterations
2.49/2.52	c # [type: int, range: [0,2147483647], default: 1000]
2.49/2.52	c heuristics/rootsoldiving/maxlpiterofs = 1500
2.49/2.52	c 
2.49/2.52	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
2.49/2.52	c # [type: int, range: [-1,2147483647], default: 1]
2.49/2.52	c heuristics/rounding/freq = -1
2.49/2.52	c 
2.49/2.52	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
2.49/2.52	c # [type: int, range: [-1,2147483647], default: 0]
2.49/2.52	c heuristics/shiftandpropagate/freq = -1
2.49/2.52	c 
2.49/2.52	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
2.49/2.52	c # [type: int, range: [-1,2147483647], default: 10]
2.49/2.52	c heuristics/shifting/freq = -1
2.49/2.52	c 
2.49/2.52	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
2.49/2.52	c # [type: int, range: [-1,2147483647], default: 1]
2.49/2.52	c heuristics/simplerounding/freq = -1
2.49/2.52	c 
2.49/2.52	c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
2.49/2.52	c # [type: int, range: [-1,2147483647], default: 1]
2.49/2.52	c heuristics/subnlp/freq = -1
2.49/2.52	c 
2.49/2.52	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
2.49/2.52	c # [type: int, range: [-1,2147483647], default: 0]
2.49/2.52	c heuristics/trivial/freq = -1
2.49/2.52	c 
2.49/2.52	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
2.49/2.52	c # [type: int, range: [-1,2147483647], default: 1]
2.49/2.52	c heuristics/trysol/freq = -1
2.49/2.52	c 
2.49/2.52	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
2.49/2.52	c # [type: int, range: [-1,2147483647], default: 0]
2.49/2.52	c heuristics/undercover/freq = -1
2.49/2.52	c 
2.49/2.52	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
2.49/2.52	c # [type: int, range: [-1,2147483647], default: 10]
2.49/2.52	c heuristics/veclendiving/freq = -1
2.49/2.52	c 
2.49/2.52	c # maximal fraction of diving LP iterations compared to node LP iterations
2.49/2.52	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.49/2.52	c heuristics/veclendiving/maxlpiterquot = 0.075
2.49/2.52	c 
2.49/2.52	c # additional number of allowed LP iterations
2.49/2.52	c # [type: int, range: [0,2147483647], default: 1000]
2.49/2.52	c heuristics/veclendiving/maxlpiterofs = 1500
2.49/2.52	c 
2.49/2.52	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
2.49/2.52	c # [type: int, range: [-1,2147483647], default: 1]
2.49/2.52	c heuristics/zirounding/freq = -1
2.49/2.52	c 
2.49/2.52	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
2.49/2.52	c # [type: int, range: [-1,2147483647], default: 0]
2.49/2.52	c separating/cmir/freq = -1
2.49/2.52	c 
2.49/2.52	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
2.49/2.52	c # [type: int, range: [-1,2147483647], default: 0]
2.49/2.52	c separating/flowcover/freq = -1
2.49/2.52	c 
2.49/2.52	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.49/2.52	c # [type: int, range: [-1,2147483647], default: -1]
2.49/2.52	c separating/rapidlearning/freq = 0
2.49/2.52	c 
2.49/2.52	c -----------------------------------------------------------------------------------------------
2.49/2.52	c start solving
2.49/2.53	c 
6.79/6.89	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
6.79/6.89	c   6.9s|     1 |     0 |  8710 |     - | 274M|   0 |3247 |  39k| 115k|  39k| 115k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
18.70/18.78	c  18.8s|     1 |     0 | 17226 |     - | 275M|   0 |5740 |  39k| 115k|  39k| 115k| 136 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
26.69/26.73	c  26.7s|     1 |     0 | 20177 |     - | 275M|   0 |6122 |  39k| 115k|  39k| 116k| 213 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
81.70/81.79	c  81.8s|     1 |     0 | 30810 |     - | 275M|   0 |7168 |  39k| 115k|  39k| 116k| 319 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
150.70/150.72	c   151s|     1 |     0 | 40445 |     - | 276M|   0 |7807 |  39k| 115k|  39k| 116k| 439 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
201.80/201.83	c   202s|     1 |     0 | 52038 |     - | 276M|   0 |8098 |  39k| 115k|  39k| 116k| 529 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
251.50/251.50	c   252s|     1 |     2 | 52038 |     - | 276M|   0 |8098 |  39k| 115k|  39k| 116k| 529 |   0 |  25 | 0.000000e+00 |      --      |    Inf 
1799.45/1799.47	c 
1799.45/1799.47	c SCIP Status        : solving was interrupted [time limit reached]
1799.45/1799.47	c Solving Time (sec) : 1799.47
1799.45/1799.47	c Solving Nodes      : 1207
1799.45/1799.47	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1799.45/1799.47	c Dual Bound         : +0.00000000000000e+00
1799.45/1799.47	c Gap                : infinite
1799.45/1799.47	s UNKNOWN
1799.45/1799.47	c SCIP Status        : solving was interrupted [time limit reached]
1799.45/1799.47	c Total Time         :    1799.47
1799.45/1799.47	c   solving          :    1799.47
1799.45/1799.47	c   presolving       :       1.78 (included in solving)
1799.45/1799.47	c   reading          :       0.63 (included in solving)
1799.45/1799.47	c Original Problem   :
1799.45/1799.47	c   Problem name     : HOME/instance-3485870-1307753781.opb
1799.45/1799.47	c   Variables        : 40605 (40605 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.45/1799.47	c   Constraints      : 118930 initial, 118930 maximal
1799.45/1799.47	c Presolved Problem  :
1799.45/1799.47	c   Problem name     : t_HOME/instance-3485870-1307753781.opb
1799.45/1799.47	c   Variables        : 39196 (39196 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.45/1799.47	c   Constraints      : 115830 initial, 116417 maximal
1799.45/1799.47	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1799.45/1799.47	c   trivial          :       0.01          0          0          0          0          0          0          0          0          0
1799.45/1799.47	c   dualfix          :       0.01          0          0          0          0          0          0          0          0          0
1799.45/1799.47	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1799.45/1799.47	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1799.45/1799.47	c   implics          :       0.20          0       1135          0          0          0          0          0          0          0
1799.45/1799.47	c   probing          :       0.00          0          0          0          0          0          0          0          0          0
1799.45/1799.47	c   knapsack         :       0.01          0          0          0          0          0          0          0          0          0
1799.45/1799.47	c   setppc           :       0.09          0          0          0          0          0          0          0          0          0
1799.45/1799.47	c   linear           :       1.07        269          5          0        269          0       3100          0        870       1758
1799.45/1799.47	c   logicor          :       0.04          0          0          0          0          0          0          0          0          0
1799.45/1799.47	c   root node        :          -          0          -          -          0          -          -          -          -          -
1799.45/1799.47	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1799.45/1799.47	c   integral         :          0          0          0       1087          0          1          0          1         18          0          0       2154
1799.45/1799.47	c   knapsack         :       1740          5       8757          0          0          0       1737        105       6768       1000          0          0
1799.45/1799.48	c   setppc           :      76065          5       8652          0          0          0      52593         12      97939          0          0          0
1799.45/1799.48	c   logicor          :      38025+         5       5870          0          0          0      23670         25      61298          0          0          0
1799.45/1799.48	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0
1799.45/1799.48	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1799.45/1799.48	c   integral         :     761.36       0.00       0.00     761.36       0.00       0.00       0.00
1799.45/1799.48	c   knapsack         :       0.42       0.02       0.39       0.00       0.00       0.00       0.00
1799.45/1799.48	c   setppc           :       2.53       0.02       2.50       0.00       0.00       0.00       0.02
1799.45/1799.48	c   logicor          :       0.33       0.01       0.30       0.00       0.00       0.00       0.02
1799.45/1799.48	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1799.45/1799.48	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1799.45/1799.48	c   vbounds          :          0          0          0          0
1799.45/1799.48	c   rootredcost      :          0          0          0          0
1799.45/1799.48	c   pseudoobj        :          0          0          0          0
1799.45/1799.48	c Propagator Timings :  TotalTime  Propagate    Resprop
1799.45/1799.48	c   vbounds          :       0.00       0.00       0.00
1799.45/1799.48	c   rootredcost      :       0.00       0.00       0.00
1799.45/1799.48	c   pseudoobj        :       0.00       0.00       0.00
1799.45/1799.48	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1799.45/1799.48	c   propagation      :       0.06        142        142       1340       52.7         27       23.9          -
1799.45/1799.48	c   infeasible LP    :       0.32         40         40        138       38.8          4       17.8          0
1799.45/1799.48	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1799.45/1799.48	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1799.45/1799.48	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1799.45/1799.48	c   applied globally :          -          -          -        777       34.3          -          -          -
1799.45/1799.48	c   applied locally  :          -          -          -          0        0.0          -          -          -
1799.45/1799.48	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1799.45/1799.48	c   cut pool         :       0.00          4          -          -         66          -    (maximal pool size: 955)
1799.45/1799.48	c   redcost          :       1.36       1083          0          0          0          0
1799.45/1799.48	c   impliedbounds    :       0.05          5          0          0          0          0
1799.45/1799.48	c   intobj           :       0.00          0          0          0          0          0
1799.45/1799.48	c   gomory           :      64.91          5          0          0       2500          0
1799.45/1799.48	c   cgmip            :       0.00          0          0          0          0          0
1799.45/1799.48	c   closecuts        :       0.00          0          0          0          0          0
1799.45/1799.48	c   strongcg         :      54.12          5          0          0       2500          0
1799.45/1799.48	c   cmir             :       0.00          0          0          0          0          0
1799.45/1799.48	c   flowcover        :       0.00          0          0          0          0          0
1799.45/1799.48	c   clique           :       2.64          5          0          0         35          0
1799.45/1799.48	c   zerohalf         :       0.00          0          0          0          0          0
1799.45/1799.48	c   mcf              :       1.59          1          0          0          0          0
1799.45/1799.48	c   oddcycle         :       0.00          0          0          0          0          0
1799.45/1799.48	c   rapidlearning    :       0.00          0          0          0          0          0
1799.45/1799.48	c Pricers            :       Time      Calls       Vars
1799.45/1799.48	c   problem variables:       0.00          0          0
1799.45/1799.48	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1799.45/1799.48	c   relpscost        :     761.35       1087          1         18          0          0       2154
1799.45/1799.48	c   pscost           :       0.00          0          0          0          0          0          0
1799.45/1799.48	c   inference        :       0.00          0          0          0          0          0          0
1799.45/1799.48	c   mostinf          :       0.00          0          0          0          0          0          0
1799.45/1799.48	c   leastinf         :       0.00          0          0          0          0          0          0
1799.45/1799.48	c   fullstrong       :       0.00          0          0          0          0          0          0
1799.45/1799.48	c   allfullstrong    :       0.00          0          0          0          0          0          0
1799.45/1799.48	c   random           :       0.00          0          0          0          0          0          0
1799.45/1799.48	c Primal Heuristics  :       Time      Calls      Found
1799.45/1799.48	c   LP solutions     :       0.00          -          0
1799.45/1799.48	c   pseudo solutions :       0.00          -          0
1799.45/1799.48	c   trivial          :       0.03          1          0
1799.45/1799.48	c   shiftandpropagate:       0.00          0          0
1799.45/1799.48	c   simplerounding   :       0.00          0          0
1799.45/1799.48	c   zirounding       :       0.00          0          0
1799.45/1799.48	c   rounding         :       0.00          0          0
1799.45/1799.48	c   shifting         :       0.00          0          0
1799.45/1799.48	c   intshifting      :       0.00          0          0
1799.45/1799.48	c   oneopt           :       0.00          0          0
1799.45/1799.48	c   twoopt           :       0.00          0          0
1799.45/1799.48	c   fixandinfer      :       0.00          0          0
1799.45/1799.48	c   feaspump         :       0.00          0          0
1799.45/1799.48	c   clique           :       0.00          0          0
1799.45/1799.48	c   coefdiving       :       0.00          0          0
1799.45/1799.48	c   pscostdiving     :       0.00          0          0
1799.45/1799.48	c   fracdiving       :       0.00          0          0
1799.45/1799.48	c   veclendiving     :       0.00          0          0
1799.45/1799.48	c   intdiving        :       0.00          0          0
1799.45/1799.48	c   actconsdiving    :       0.00          0          0
1799.45/1799.48	c   objpscostdiving  :       0.00          0          0
1799.45/1799.48	c   rootsoldiving    :       0.00          0          0
1799.45/1799.48	c   linesearchdiving :       0.00          0          0
1799.45/1799.48	c   guideddiving     :       0.00          0          0
1799.45/1799.48	c   octane           :       0.00          0          0
1799.45/1799.48	c   rens             :       0.00          0          0
1799.45/1799.48	c   rins             :       0.00          0          0
1799.45/1799.48	c   localbranching   :       0.00          0          0
1799.45/1799.48	c   mutation         :       0.00          0          0
1799.45/1799.48	c   crossover        :       0.00          0          0
1799.45/1799.48	c   dins             :       0.00          0          0
1799.45/1799.48	c   vbounds          :       0.00          0          0
1799.45/1799.48	c   undercover       :       0.00          0          0
1799.45/1799.48	c   subnlp           :       0.00          0          0
1799.45/1799.48	c   trysol           :       0.00          0          0
1799.45/1799.48	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1799.45/1799.48	c   primal LP        :       0.04          0          0       0.00       0.00
1799.45/1799.48	c   dual LP          :     886.63       1123     454286     404.53     512.37
1799.45/1799.48	c   lex dual LP      :       0.00          0          0       0.00          -
1799.45/1799.48	c   barrier LP       :       0.00          0          0       0.00          -
1799.45/1799.48	c   diving/probing LP:       0.00          0          0       0.00          -
1799.45/1799.48	c   strong branching :     760.61        505     356605     706.15     468.84
1799.45/1799.48	c     (at root node) :          -         25      22720     908.80          -
1799.45/1799.48	c   conflict analysis:       0.00          0          0       0.00          -
1799.45/1799.48	c B&B Tree           :
1799.45/1799.48	c   number of runs   :          1
1799.45/1799.48	c   nodes            :       1207
1799.45/1799.48	c   nodes (total)    :       1207
1799.45/1799.48	c   nodes left       :        110
1799.45/1799.48	c   max depth        :        197
1799.45/1799.48	c   max depth (total):        197
1799.45/1799.48	c   backtracks       :        104 (8.6%)
1799.45/1799.48	c   delayed cutoffs  :        838
1799.45/1799.48	c   repropagations   :       2463 (22821 domain reductions, 53 cutoffs)
1799.45/1799.48	c   avg switch length:       5.99
1799.45/1799.48	c   switching time   :       2.92
1799.45/1799.48	c Solution           :
1799.45/1799.48	c   Solutions found  :          0 (0 improvements)
1799.45/1799.48	c   Primal Bound     :          -
1799.45/1799.48	c   Dual Bound       : +0.00000000000000e+00
1799.45/1799.48	c   Gap              :   infinite
1799.45/1799.48	c   Root Dual Bound  : +0.00000000000000e+00
1799.45/1799.48	c   Root Iterations  :      52038
1799.85/1799.87	c Time complete: 1799.92.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3485870-1307753781/watcher-3485870-1307753781 -o /tmp/evaluation-result-3485870-1307753781/solver-3485870-1307753781 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485870-1307753781.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: 1.94 1.98 1.91 2/177 7564
/proc/meminfo: memFree=29726240/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=9980 CPUtime=0 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 1481 0 0 0 0 0 0 0 25 0 1 0 965608787 10219520 1435 33554432000 4194304 8979876 140734229140496 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7564/statm: 2495 1435 363 1169 0 1322 0

[startup+0.092608 s]
/proc/loadavg: 1.94 1.98 1.91 2/177 7564
/proc/meminfo: memFree=29726240/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=19760 CPUtime=0.08 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 3953 0 0 0 8 0 0 0 25 0 1 0 965608787 20234240 3907 33554432000 4194304 8979876 140734229140496 18446744073709551615 7836048 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7564/statm: 4940 3907 363 1169 0 3767 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19760

[startup+0.1006 s]
/proc/loadavg: 1.94 1.98 1.91 2/177 7564
/proc/meminfo: memFree=29726240/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=21580 CPUtime=0.09 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 4390 0 0 0 9 0 0 0 25 0 1 0 965608787 22097920 4345 33554432000 4194304 8979876 140734229140496 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7564/statm: 5395 4357 363 1169 0 4222 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21580

[startup+0.300568 s]
/proc/loadavg: 1.94 1.98 1.91 2/177 7564
/proc/meminfo: memFree=29726240/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=41304 CPUtime=0.29 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 9321 0 0 0 28 1 0 0 25 0 1 0 965608787 42295296 9275 33554432000 4194304 8979876 140734229140496 18446744073709551615 4445969 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7564/statm: 10326 9276 363 1169 0 9153 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41304

[startup+0.700497 s]
/proc/loadavg: 1.94 1.98 1.91 2/177 7564
/proc/meminfo: memFree=29726240/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=128536 CPUtime=0.69 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 30916 0 0 0 65 4 0 0 25 0 1 0 965608787 131620864 30824 33554432000 4194304 8979876 140734229140496 18446744073709551615 6779003 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7564/statm: 32134 30879 414 1169 0 30961 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 128536

[startup+1.50034 s]
/proc/loadavg: 1.94 1.98 1.91 3/178 7565
/proc/meminfo: memFree=29530136/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=266180 CPUtime=1.49 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 69259 0 0 0 140 9 0 0 25 0 1 0 965608787 272568320 63212 33554432000 4194304 8979876 140734229140496 18446744073709551615 6502413 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7564/statm: 66545 63212 499 1169 0 65372 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 266180

[startup+3.10105 s]
/proc/loadavg: 1.94 1.98 1.91 3/178 7565
/proc/meminfo: memFree=29448792/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=509764 CPUtime=3.09 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 133644 0 0 0 293 16 0 0 25 0 1 0 965608787 521998336 117150 33554432000 4194304 8979876 140734229140496 18446744073709551615 7180177 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7564/statm: 127441 117150 771 1169 0 126268 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 509764

[startup+6.30046 s]
/proc/loadavg: 1.95 1.98 1.91 3/178 7565
/proc/meminfo: memFree=29234888/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=523712 CPUtime=6.29 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 139168 0 0 0 610 19 0 0 25 0 1 0 965608787 536281088 122350 33554432000 4194304 8979876 140734229140496 18446744073709551615 7145982 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7564/statm: 130928 122350 757 1169 0 129755 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 523712

[startup+12.7003 s]
/proc/loadavg: 1.95 1.98 1.91 3/178 7565
/proc/meminfo: memFree=29208148/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=524344 CPUtime=12.69 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 148799 0 0 0 1248 21 0 0 25 0 1 0 965608787 536928256 126222 33554432000 4194304 8979876 140734229140496 18446744073709551615 7193011 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7564/statm: 131086 126222 1973 1169 0 129913 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 524344

[startup+25.5009 s]
/proc/loadavg: 1.96 1.98 1.91 3/178 7566
/proc/meminfo: memFree=29180772/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=525868 CPUtime=25.49 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 150246 0 0 0 2524 25 0 0 25 0 1 0 965608787 538488832 126768 33554432000 4194304 8979876 140734229140496 18446744073709551615 7146192 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7564/statm: 131467 126768 1205 1169 0 130294 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 525868

[startup+51.1011 s]
/proc/loadavg: 1.97 1.98 1.91 3/178 7566
/proc/meminfo: memFree=29180512/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=526008 CPUtime=51.09 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 150281 0 0 0 5080 29 0 0 25 0 1 0 965608787 538632192 126783 33554432000 4194304 8979876 140734229140496 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7564/statm: 131502 126783 1185 1169 0 130329 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 526008

[startup+102.307 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 7568
/proc/meminfo: memFree=29160060/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=537456 CPUtime=102.3 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 152197 0 0 0 10190 40 0 0 25 0 1 0 965608787 550354944 128219 33554432000 4194304 8979876 140734229140496 18446744073709551615 7836068 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7564/statm: 134364 128219 711 1169 0 133191 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 537456

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 7569
/proc/meminfo: memFree=29125584/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=541208 CPUtime=162.29 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 153478 0 0 0 16174 55 0 0 25 0 1 0 965608787 554196992 129484 33554432000 4194304 8979876 140734229140496 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7564/statm: 135302 129484 695 1169 0 134129 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 541208

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 7571
/proc/meminfo: memFree=29124304/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=541208 CPUtime=222.3 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 153851 0 0 0 22160 70 0 0 25 0 1 0 965608787 554196992 129857 33554432000 4194304 8979876 140734229140496 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7564/statm: 135302 129857 697 1169 0 134129 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 541208

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 7581
/proc/meminfo: memFree=29068208/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=544836 CPUtime=282.29 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 154711 0 0 0 28144 85 0 0 25 0 1 0 965608787 557912064 130717 33554432000 4194304 8979876 140734229140496 18446744073709551615 7122076 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7564/statm: 136209 130717 699 1169 0 135036 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 544836

[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 7583
/proc/meminfo: memFree=29067848/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=544836 CPUtime=342.3 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 154741 0 0 0 34129 101 0 0 25 0 1 0 965608787 557912064 130747 33554432000 4194304 8979876 140734229140496 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7564/statm: 136209 130747 699 1169 0 135036 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 544836

[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 7585
/proc/meminfo: memFree=29061484/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=549852 CPUtime=402.31 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 155816 0 0 0 40112 119 0 0 25 0 1 0 965608787 563048448 131822 33554432000 4194304 8979876 140734229140496 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7564/statm: 137463 131822 699 1169 0 136290 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 549852

[startup+462.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 7586
/proc/meminfo: memFree=29059844/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=549852 CPUtime=462.31 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 156023 0 0 0 46096 135 0 0 25 0 1 0 965608787 563048448 132029 33554432000 4194304 8979876 140734229140496 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7564/statm: 137463 132029 699 1169 0 136290 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 549852

[startup+522.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 7588
/proc/meminfo: memFree=29040220/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=549852 CPUtime=522.31 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 156035 0 0 0 52082 149 0 0 25 0 1 0 965608787 563048448 132041 33554432000 4194304 8979876 140734229140496 18446744073709551615 7122096 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7564/statm: 137463 132041 699 1169 0 136290 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 549852

[startup+582.301 s]
/proc/loadavg: 2.03 2.00 1.91 3/178 7589
/proc/meminfo: memFree=29035348/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=549852 CPUtime=582.31 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 156183 0 0 0 58065 166 0 0 25 0 1 0 965608787 563048448 132186 33554432000 4194304 8979876 140734229140496 18446744073709551615 7146596 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7564/statm: 137463 132186 700 1169 0 136290 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 549852

[startup+642.3 s]

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

/proc/meminfo: memFree=29000616/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=542904 CPUtime=1122.32 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 168671 0 0 0 111909 323 0 0 25 0 1 0 965608787 555933696 130350 33554432000 4194304 8979876 140734229140496 18446744073709551615 7143767 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7564/statm: 135726 130350 685 1169 0 134553 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 542904

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 7605
/proc/meminfo: memFree=28999720/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=565508 CPUtime=1182.33 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 180365 0 0 0 117888 345 0 0 25 0 1 0 965608787 579080192 135578 33554432000 4194304 8979876 140734229140496 18446744073709551615 7156678 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7564/statm: 141377 135578 685 1169 0 140204 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 565508

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 7607
/proc/meminfo: memFree=29003284/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=560804 CPUtime=1242.33 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 191222 0 0 0 123871 362 0 0 25 0 1 0 965608787 574263296 134505 33554432000 4194304 8979876 140734229140496 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7564/statm: 140201 134505 685 1169 0 139028 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 560804

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 7609
/proc/meminfo: memFree=29000160/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=561656 CPUtime=1302.34 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 192045 0 0 0 129849 385 0 0 25 0 1 0 965608787 575135744 135322 33554432000 4194304 8979876 140734229140496 18446744073709551615 7146192 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7564/statm: 140414 135322 836 1169 0 139241 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 561656

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 7610
/proc/meminfo: memFree=28999876/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=562592 CPUtime=1362.34 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 202584 0 0 0 135827 407 0 0 25 0 1 0 965608787 576094208 135411 33554432000 4194304 8979876 140734229140496 18446744073709551615 7193019 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7564/statm: 140648 135411 921 1169 0 139475 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 562592

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 7612
/proc/meminfo: memFree=28982716/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=580220 CPUtime=1422.34 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 206786 0 0 0 141809 425 0 0 25 0 1 0 965608787 594145280 139432 33554432000 4194304 8979876 140734229140496 18446744073709551615 7069038 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7564/statm: 145055 139432 740 1169 0 143882 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 580220

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 7613
/proc/meminfo: memFree=28977716/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=584984 CPUtime=1482.34 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 207969 0 0 0 147791 443 0 0 25 0 1 0 965608787 599023616 140567 33554432000 4194304 8979876 140734229140496 18446744073709551615 7147076 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7564/statm: 146246 140567 692 1169 0 145073 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 584984

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 7615
/proc/meminfo: memFree=28974712/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=588524 CPUtime=1542.35 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 208669 0 0 0 153773 462 0 0 25 0 1 0 965608787 602648576 141262 33554432000 4194304 8979876 140734229140496 18446744073709551615 7179684 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7564/statm: 147131 141262 687 1169 0 145958 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 588524

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 7617
/proc/meminfo: memFree=28964888/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=596632 CPUtime=1602.34 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 211036 0 0 0 159749 485 0 0 25 0 1 0 965608787 610951168 143629 33554432000 4194304 8979876 140734229140496 18446744073709551615 7192870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7564/statm: 149158 143629 687 1169 0 147985 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 596632

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 7618
/proc/meminfo: memFree=28961624/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=596632 CPUtime=1662.34 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 211851 0 0 0 165729 505 0 0 25 0 1 0 965608787 610951168 144444 33554432000 4194304 8979876 140734229140496 18446744073709551615 7146472 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7564/statm: 149158 144444 687 1169 0 147985 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 596632

[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 1.93 3/178 7620
/proc/meminfo: memFree=28959840/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=597684 CPUtime=1722.34 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 212274 0 0 0 171718 516 0 0 25 0 1 0 965608787 612028416 144867 33554432000 4194304 8979876 140734229140496 18446744073709551615 7187521 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7564/statm: 149421 144867 687 1169 0 148248 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 597684

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 7659
/proc/meminfo: memFree=30927524/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=597684 CPUtime=1782.35 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 212274 0 0 0 177702 533 0 0 25 0 1 0 965608787 612028416 144867 33554432000 4194304 8979876 140734229140496 18446744073709551615 7146130 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7564/statm: 149421 144867 687 1169 0 148248 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 597684

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

[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 7660
/proc/meminfo: memFree=30926044/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=597684 CPUtime=1791.95 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 212277 0 0 0 178660 535 0 0 25 0 1 0 965608787 612028416 144870 33554432000 4194304 8979876 140734229140496 18446744073709551615 7122047 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7564/statm: 149421 144870 687 1169 0 148248 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 597684

[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 7660
/proc/meminfo: memFree=30926044/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=597684 CPUtime=1795.15 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 212277 0 0 0 178979 536 0 0 25 0 1 0 965608787 612028416 144870 33554432000 4194304 8979876 140734229140496 18446744073709551615 7146212 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7564/statm: 149421 144870 687 1169 0 148248 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 597684

[startup+1798.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 7660
/proc/meminfo: memFree=30926036/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=597684 CPUtime=1798.35 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 212277 0 0 0 179299 536 0 0 25 0 1 0 965608787 612028416 144870 33554432000 4194304 8979876 140734229140496 18446744073709551615 7145982 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7564/statm: 149421 144870 687 1169 0 148248 0
Current children cumulated CPU time (s) 1798.35
Current children cumulated vsize (KiB) 597684

[startup+1799.1 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 7660
/proc/meminfo: memFree=30926036/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=597684 CPUtime=1799.15 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 212277 0 0 0 179379 536 0 0 25 0 1 0 965608787 612028416 144870 33554432000 4194304 8979876 140734229140496 18446744073709551615 7194153 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/7564/statm: 149421 144870 687 1169 0 148248 0
Current children cumulated CPU time (s) 1799.15
Current children cumulated vsize (KiB) 597684

[startup+1799.5 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 7660
/proc/meminfo: memFree=30926036/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=597684 CPUtime=1799.56 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 212279 0 0 0 179419 537 0 0 25 0 1 0 965608787 612028416 144872 33554432000 4194304 8979876 140734229140496 18446744073709551615 5546452 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7564/statm: 149421 144872 689 1169 0 148248 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (KiB) 597684

[startup+1799.7 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 7660
/proc/meminfo: memFree=30926036/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=595952 CPUtime=1799.75 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 212287 0 0 0 179438 537 0 0 25 0 1 0 965608787 610254848 144447 33554432000 4194304 8979876 140734229140496 18446744073709551615 6778220 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7564/statm: 148988 144447 697 1169 0 147815 0
Current children cumulated CPU time (s) 1799.75
Current children cumulated vsize (KiB) 595952

[startup+1799.8 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 7660
/proc/meminfo: memFree=30926036/32950928 swapFree=67051096/67111528
[pid=7564] ppid=7562 vsize=586972 CPUtime=1799.85 cores=1,3,5,7
/proc/7564/stat : 7564 (scip-2.0.1.4_2.) R 7562 7564 6496 0 -1 4202496 212287 0 0 0 179448 537 0 0 25 0 1 0 965608787 601059328 142233 33554432000 4194304 8979876 140734229140496 18446744073709551615 6778220 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7564/statm: 146743 142233 697 1169 0 145570 0
Current children cumulated CPU time (s) 1799.85
Current children cumulated vsize (KiB) 586972

Child status: 0
Real time (s): 1799.88
CPU time (s): 1799.94
CPU user time (s): 1794.54
CPU system time (s): 5.39818
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 597684

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

runsolver used 2.69459 second user time and 7.06492 second system time

The end

Launcher Data 

Begin job on node113 at 2011-06-11 02:56:21
IDJOB=3485870
IDBENCH=1451
IDSOLVER=1977
FILE ID=node113/3485870-1307753781
RUNJOBID= node113-1307750177-6515
PBS_JOBID= 13550849
Free space on /tmp= 74076 MiB

SOLVER NAME= SCIP spx 2 2011-06-10 (fixed)
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb
COMMAND LINE= HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3485870-1307753781/watcher-3485870-1307753781 -o /tmp/evaluation-result-3485870-1307753781/solver-3485870-1307753781 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485870-1307753781.opb -t 1800 -m 15500

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

MD5SUM BENCH= 50ec52fd2f8650248cdc06f32bc8af84
RANDOM SEED=1004907294

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29727040 kB
Buffers:        237572 kB
Cached:         898892 kB
SwapCached:      14384 kB
Active:        2365048 kB
Inactive:       652476 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29727040 kB
SwapTotal:    67111528 kB
SwapFree:     67051096 kB
Dirty:           53916 kB
Writeback:           0 kB
AnonPages:     1878848 kB
Mapped:          11776 kB
Slab:           137812 kB
PageTables:       8344 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  2168124 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= 74072 MiB
End job on node113 at 2011-06-11 03:26:21