Trace number 3478857

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-164.opb
MD5SUM81ec1ddcd163131a26e4e6f9286dd205
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark108.393
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables26339
Total number of constraints612374
Number of constraints which are clauses549666
Number of constraints which are cardinality constraints (but not clauses)2270
Number of constraints which are nor clauses,nor cardinality constraints60438
Minimum length of a constraint1
Maximum length of a constraint1485
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1486
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-3478857-1307440596.opb>
4.41/4.43	c original problem has 26339 variables (26339 bin, 0 int, 0 impl, 0 cont) and 612374 constraints
4.41/4.43	c problem read
4.41/4.43	c No objective function, only one solution is needed.
4.41/4.43	c presolving settings loaded
6.09/6.13	c presolving:
7.29/7.32	c (round 1) 8289 del vars, 133981 del conss, 0 add conss, 8288 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 337806 impls, 596 clqs
7.71/7.75	c (round 2) 12741 del vars, 253596 del conss, 0 add conss, 8288 chg bounds, 8238 chg sides, 10432 chg coeffs, 0 upgd conss, 401608 impls, 596 clqs
7.99/8.05	c (round 3) 13047 del vars, 264647 del conss, 0 add conss, 8288 chg bounds, 9939 chg sides, 12640 chg coeffs, 0 upgd conss, 402290 impls, 596 clqs
9.58/9.60	c (round 4) 13047 del vars, 264677 del conss, 0 add conss, 8288 chg bounds, 9951 chg sides, 12640 chg coeffs, 347714 upgd conss, 402290 impls, 596 clqs
9.98/10.03	c (round 5) 13047 del vars, 264677 del conss, 0 add conss, 8288 chg bounds, 10161 chg sides, 13756 chg coeffs, 347714 upgd conss, 402290 impls, 596 clqs
10.28/10.30	c presolving (6 rounds):
10.28/10.30	c  13047 deleted vars, 264689 deleted constraints, 0 added constraints, 8288 tightened bounds, 0 added holes, 10173 changed sides, 14072 changed coefficients
10.28/10.30	c  403010 implications, 596 cliques
10.28/10.30	c presolved problem has 13292 variables (13292 bin, 0 int, 0 impl, 0 cont) and 347685 constraints
10.28/10.30	c   54593 constraints of type <knapsack>
10.28/10.30	c   34536 constraints of type <setppc>
10.28/10.30	c       1 constraints of type <linear>
10.28/10.30	c  258555 constraints of type <logicor>
10.28/10.30	c transformed objective value is always integral (scale: 1)
10.28/10.30	c Presolving Time: 5.48
10.28/10.30	c - non default parameters ----------------------------------------------------------------------
10.28/10.30	c # SCIP version 2.0.1.4
10.28/10.30	c 
10.28/10.30	c # frequency for displaying node information lines
10.28/10.30	c # [type: int, range: [-1,2147483647], default: 100]
10.28/10.30	c display/freq = 10000
10.28/10.30	c 
10.28/10.30	c # maximal time in seconds to run
10.28/10.30	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
10.28/10.30	c limits/time = 1800
10.28/10.30	c 
10.28/10.30	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
10.28/10.30	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
10.28/10.30	c limits/memory = 13950
10.28/10.30	c 
10.28/10.30	c # solving stops, if the given number of solutions were found (-1: no limit)
10.28/10.30	c # [type: int, range: [-1,2147483647], default: -1]
10.28/10.30	c limits/solutions = 1
10.28/10.30	c 
10.28/10.30	c # maximal number of separation rounds per node (-1: unlimited)
10.28/10.30	c # [type: int, range: [-1,2147483647], default: 5]
10.28/10.30	c separating/maxrounds = 1
10.28/10.30	c 
10.28/10.30	c # maximal number of separation rounds in the root node (-1: unlimited)
10.28/10.30	c # [type: int, range: [-1,2147483647], default: -1]
10.28/10.30	c separating/maxroundsroot = 5
10.28/10.30	c 
10.28/10.30	c # default clock type (1: CPU user seconds, 2: wall clock time)
10.28/10.30	c # [type: int, range: [1,2], default: 1]
10.28/10.30	c timing/clocktype = 2
10.28/10.30	c 
10.28/10.30	c # belongs reading time to solving time?
10.28/10.30	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
10.28/10.30	c timing/reading = TRUE
10.28/10.30	c 
10.28/10.30	c # should presolving try to simplify inequalities
10.28/10.30	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
10.28/10.30	c constraints/linear/simplifyinequalities = TRUE
10.28/10.30	c 
10.28/10.30	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
10.28/10.30	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
10.28/10.30	c constraints/indicator/addCouplingCons = TRUE
10.28/10.30	c 
10.28/10.30	c # should disaggregation of knapsack constraints be allowed in preprocessing?
10.28/10.30	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
10.28/10.30	c constraints/knapsack/disaggregation = FALSE
10.28/10.30	c 
10.28/10.30	c # should presolving try to simplify knapsacks
10.28/10.30	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
10.28/10.30	c constraints/knapsack/simplifyinequalities = TRUE
10.28/10.30	c 
10.28/10.30	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
10.28/10.30	c # [type: int, range: [-1,2147483647], default: -1]
10.28/10.30	c presolving/probing/maxrounds = 0
10.28/10.30	c 
10.28/10.30	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
10.28/10.30	c # [type: int, range: [-1,2147483647], default: 10]
10.28/10.30	c heuristics/coefdiving/freq = -1
10.28/10.30	c 
10.28/10.30	c # maximal fraction of diving LP iterations compared to node LP iterations
10.28/10.30	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.28/10.30	c heuristics/coefdiving/maxlpiterquot = 0.075
10.28/10.30	c 
10.28/10.30	c # additional number of allowed LP iterations
10.28/10.30	c # [type: int, range: [0,2147483647], default: 1000]
10.28/10.30	c heuristics/coefdiving/maxlpiterofs = 1500
10.28/10.30	c 
10.28/10.30	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
10.28/10.30	c # [type: int, range: [-1,2147483647], default: 30]
10.28/10.30	c heuristics/crossover/freq = -1
10.28/10.30	c 
10.28/10.30	c # number of nodes added to the contingent of the total nodes
10.28/10.30	c # [type: longint, range: [0,9223372036854775807], default: 500]
10.28/10.30	c heuristics/crossover/nodesofs = 750
10.28/10.30	c 
10.28/10.30	c # number of nodes without incumbent change that heuristic should wait
10.28/10.30	c # [type: longint, range: [0,9223372036854775807], default: 200]
10.28/10.30	c heuristics/crossover/nwaitingnodes = 100
10.28/10.30	c 
10.28/10.30	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
10.28/10.30	c # [type: real, range: [0,1], default: 0.1]
10.28/10.30	c heuristics/crossover/nodesquot = 0.15
10.28/10.30	c 
10.28/10.30	c # minimum percentage of integer variables that have to be fixed 
10.28/10.30	c # [type: real, range: [0,1], default: 0.666]
10.28/10.30	c heuristics/crossover/minfixingrate = 0.5
10.28/10.30	c 
10.28/10.30	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
10.28/10.30	c # [type: int, range: [-1,2147483647], default: 20]
10.28/10.30	c heuristics/feaspump/freq = -1
10.28/10.30	c 
10.28/10.30	c # additional number of allowed LP iterations
10.28/10.30	c # [type: int, range: [0,2147483647], default: 1000]
10.28/10.30	c heuristics/feaspump/maxlpiterofs = 2000
10.28/10.30	c 
10.28/10.30	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
10.28/10.30	c # [type: int, range: [-1,2147483647], default: 10]
10.28/10.30	c heuristics/fracdiving/freq = -1
10.28/10.30	c 
10.28/10.30	c # maximal fraction of diving LP iterations compared to node LP iterations
10.28/10.30	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.28/10.30	c heuristics/fracdiving/maxlpiterquot = 0.075
10.28/10.30	c 
10.28/10.30	c # additional number of allowed LP iterations
10.28/10.30	c # [type: int, range: [0,2147483647], default: 1000]
10.28/10.30	c heuristics/fracdiving/maxlpiterofs = 1500
10.28/10.30	c 
10.28/10.30	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
10.28/10.30	c # [type: int, range: [-1,2147483647], default: 10]
10.28/10.30	c heuristics/guideddiving/freq = -1
10.28/10.30	c 
10.28/10.30	c # maximal fraction of diving LP iterations compared to node LP iterations
10.28/10.30	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.28/10.30	c heuristics/guideddiving/maxlpiterquot = 0.075
10.28/10.30	c 
10.28/10.30	c # additional number of allowed LP iterations
10.28/10.30	c # [type: int, range: [0,2147483647], default: 1000]
10.28/10.30	c heuristics/guideddiving/maxlpiterofs = 1500
10.28/10.30	c 
10.28/10.30	c # maximal fraction of diving LP iterations compared to node LP iterations
10.28/10.30	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.28/10.30	c heuristics/intdiving/maxlpiterquot = 0.075
10.28/10.30	c 
10.28/10.30	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
10.28/10.30	c # [type: int, range: [-1,2147483647], default: 10]
10.28/10.30	c heuristics/intshifting/freq = -1
10.28/10.30	c 
10.28/10.30	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
10.28/10.30	c # [type: int, range: [-1,2147483647], default: 10]
10.28/10.30	c heuristics/linesearchdiving/freq = -1
10.28/10.30	c 
10.28/10.30	c # maximal fraction of diving LP iterations compared to node LP iterations
10.28/10.30	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.28/10.30	c heuristics/linesearchdiving/maxlpiterquot = 0.075
10.28/10.30	c 
10.28/10.30	c # additional number of allowed LP iterations
10.28/10.30	c # [type: int, range: [0,2147483647], default: 1000]
10.28/10.30	c heuristics/linesearchdiving/maxlpiterofs = 1500
10.28/10.30	c 
10.28/10.30	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
10.28/10.30	c # [type: int, range: [-1,2147483647], default: 20]
10.28/10.30	c heuristics/objpscostdiving/freq = -1
10.28/10.30	c 
10.28/10.30	c # maximal fraction of diving LP iterations compared to total iteration number
10.28/10.30	c # [type: real, range: [0,1], default: 0.01]
10.28/10.30	c heuristics/objpscostdiving/maxlpiterquot = 0.015
10.28/10.30	c 
10.28/10.30	c # additional number of allowed LP iterations
10.28/10.30	c # [type: int, range: [0,2147483647], default: 1000]
10.28/10.30	c heuristics/objpscostdiving/maxlpiterofs = 1500
10.28/10.30	c 
10.28/10.30	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
10.28/10.30	c # [type: int, range: [-1,2147483647], default: 1]
10.28/10.30	c heuristics/oneopt/freq = -1
10.28/10.30	c 
10.28/10.30	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
10.28/10.30	c # [type: int, range: [-1,2147483647], default: 10]
10.28/10.30	c heuristics/pscostdiving/freq = -1
10.28/10.30	c 
10.28/10.30	c # maximal fraction of diving LP iterations compared to node LP iterations
10.28/10.30	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.28/10.30	c heuristics/pscostdiving/maxlpiterquot = 0.075
10.28/10.30	c 
10.28/10.30	c # additional number of allowed LP iterations
10.28/10.30	c # [type: int, range: [0,2147483647], default: 1000]
10.28/10.30	c heuristics/pscostdiving/maxlpiterofs = 1500
10.28/10.30	c 
10.28/10.30	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
10.28/10.30	c # [type: int, range: [-1,2147483647], default: 0]
10.28/10.30	c heuristics/rens/freq = -1
10.28/10.30	c 
10.28/10.30	c # minimum percentage of integer variables that have to be fixable 
10.28/10.30	c # [type: real, range: [0,1], default: 0.5]
10.28/10.30	c heuristics/rens/minfixingrate = 0.3
10.28/10.30	c 
10.28/10.30	c # number of nodes added to the contingent of the total nodes
10.28/10.30	c # [type: longint, range: [0,9223372036854775807], default: 500]
10.28/10.30	c heuristics/rens/nodesofs = 2000
10.28/10.30	c 
10.28/10.30	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
10.28/10.30	c # [type: int, range: [-1,2147483647], default: 20]
10.28/10.30	c heuristics/rootsoldiving/freq = -1
10.28/10.30	c 
10.28/10.30	c # maximal fraction of diving LP iterations compared to node LP iterations
10.28/10.30	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
10.28/10.30	c heuristics/rootsoldiving/maxlpiterquot = 0.015
10.28/10.30	c 
10.28/10.30	c # additional number of allowed LP iterations
10.28/10.30	c # [type: int, range: [0,2147483647], default: 1000]
10.28/10.30	c heuristics/rootsoldiving/maxlpiterofs = 1500
10.28/10.30	c 
10.28/10.30	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
10.28/10.30	c # [type: int, range: [-1,2147483647], default: 1]
10.28/10.30	c heuristics/rounding/freq = -1
10.28/10.30	c 
10.28/10.30	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
10.28/10.30	c # [type: int, range: [-1,2147483647], default: 0]
10.28/10.30	c heuristics/shiftandpropagate/freq = -1
10.28/10.30	c 
10.28/10.30	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
10.28/10.30	c # [type: int, range: [-1,2147483647], default: 10]
10.28/10.30	c heuristics/shifting/freq = -1
10.28/10.30	c 
10.28/10.30	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
10.28/10.30	c # [type: int, range: [-1,2147483647], default: 1]
10.28/10.30	c heuristics/simplerounding/freq = -1
10.28/10.30	c 
10.28/10.30	c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
10.28/10.30	c # [type: int, range: [-1,2147483647], default: 1]
10.28/10.30	c heuristics/subnlp/freq = -1
10.28/10.30	c 
10.28/10.30	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
10.28/10.30	c # [type: int, range: [-1,2147483647], default: 0]
10.28/10.30	c heuristics/trivial/freq = -1
10.28/10.30	c 
10.28/10.30	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
10.28/10.30	c # [type: int, range: [-1,2147483647], default: 1]
10.28/10.30	c heuristics/trysol/freq = -1
10.28/10.30	c 
10.28/10.30	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
10.28/10.30	c # [type: int, range: [-1,2147483647], default: 0]
10.28/10.30	c heuristics/undercover/freq = -1
10.28/10.30	c 
10.28/10.30	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
10.28/10.30	c # [type: int, range: [-1,2147483647], default: 10]
10.28/10.30	c heuristics/veclendiving/freq = -1
10.28/10.30	c 
10.28/10.30	c # maximal fraction of diving LP iterations compared to node LP iterations
10.28/10.30	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.28/10.30	c heuristics/veclendiving/maxlpiterquot = 0.075
10.28/10.30	c 
10.28/10.30	c # additional number of allowed LP iterations
10.28/10.30	c # [type: int, range: [0,2147483647], default: 1000]
10.28/10.30	c heuristics/veclendiving/maxlpiterofs = 1500
10.28/10.30	c 
10.28/10.30	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
10.28/10.30	c # [type: int, range: [-1,2147483647], default: 1]
10.28/10.30	c heuristics/zirounding/freq = -1
10.28/10.30	c 
10.28/10.30	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
10.28/10.30	c # [type: int, range: [-1,2147483647], default: 0]
10.28/10.30	c separating/cmir/freq = -1
10.28/10.30	c 
10.28/10.30	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
10.28/10.30	c # [type: int, range: [-1,2147483647], default: 0]
10.28/10.30	c separating/flowcover/freq = -1
10.28/10.30	c 
10.28/10.30	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
10.28/10.30	c # [type: int, range: [-1,2147483647], default: -1]
10.28/10.30	c separating/rapidlearning/freq = 0
10.28/10.30	c 
10.28/10.30	c -----------------------------------------------------------------------------------------------
10.28/10.30	c start solving
10.28/10.31	c 
19.99/20.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
19.99/20.08	c  20.1s|     1 |     0 |  4143 |     - | 623M|   0 | 343 |  13k| 347k|  13k| 347k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
25.08/25.18	c  25.2s|     1 |     0 |  4220 |     - | 623M|   0 | 310 |  13k| 347k|  13k| 347k|  20 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
32.09/32.19	c  32.2s|     1 |     0 |  4323 |     - | 624M|   0 | 361 |  13k| 347k|  13k| 347k|  29 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
43.09/43.16	c  43.2s|     1 |     0 |  4346 |     - | 625M|   0 | 251 |  13k| 347k|  13k| 347k|  37 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
90.39/90.41	c  90.4s|     1 |     0 |  4527 |     - | 625M|   0 | 231 |  13k| 347k|  13k| 347k|  61 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
136.69/136.72	c   137s|     1 |     0 |  4951 |     - | 626M|   0 | 445 |  13k| 347k|  13k| 347k|  67 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
188.29/188.31	c   188s|     1 |     2 |  4951 |     - | 626M|   0 | 445 |  13k| 347k|  13k| 347k|  67 |   0 |  20 | 0.000000e+00 |      --      |    Inf 
1801.35/1801.30	c 
1801.35/1801.30	c SCIP Status        : solving was interrupted [user interrupt]
1801.35/1801.30	c Solving Time (sec) : 1801.29
1801.35/1801.30	c Solving Nodes      : 8
1801.35/1801.30	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1801.35/1801.30	c Dual Bound         : +0.00000000000000e+00
1801.35/1801.30	c Gap                : infinite
1801.35/1801.30	s UNKNOWN
1801.35/1801.30	c SCIP Status        : solving was interrupted [user interrupt]
1801.35/1801.30	c Total Time         :    1801.29
1801.35/1801.30	c   solving          :    1801.29
1801.35/1801.30	c   presolving       :       5.48 (included in solving)
1801.35/1801.30	c   reading          :       4.43 (included in solving)
1801.35/1801.30	c Original Problem   :
1801.35/1801.30	c   Problem name     : HOME/instance-3478857-1307440596.opb
1801.35/1801.30	c   Variables        : 26339 (26339 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.35/1801.30	c   Constraints      : 612374 initial, 612374 maximal
1801.35/1801.30	c Presolved Problem  :
1801.35/1801.30	c   Problem name     : t_HOME/instance-3478857-1307440596.opb
1801.35/1801.30	c   Variables        : 13292 (13292 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.35/1801.30	c   Constraints      : 347685 initial, 347685 maximal
1801.35/1801.30	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1801.35/1801.30	c   trivial          :       0.01        306          0          0          0          0          0          0          0          0
1801.35/1801.30	c   dualfix          :       0.00          0          0          0          0          0          0          0          0          0
1801.35/1801.30	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1801.35/1801.30	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1801.35/1801.30	c   implics          :       0.03          0       2916          0          0          0          0          0          0          0
1801.35/1801.30	c   probing          :       0.00          0          0          0          0          0          0          0          0          0
1801.35/1801.30	c   knapsack         :       0.33          0          0          0          0          0          0          0        222       1432
1801.35/1801.30	c   setppc           :       0.07          0          0          0          0          0          0          0          0          0
1801.35/1801.30	c   linear           :       2.57       9458        367          0       8288          0     264659          0       9951      12640
1801.35/1801.30	c   logicor          :       0.53          0          0          0          0          0         30          0          0          0
1801.35/1801.30	c   root node        :          -          0          -          -          0          -          -          -          -          -
1801.35/1801.30	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1801.35/1801.30	c   integral         :          0          0          0         20          0          1          0          0         58          0          0         14
1801.35/1801.30	c   knapsack         :      54593          5         24          0          1          0          0          0          0          6          0          0
1801.35/1801.30	c   setppc           :      34536          5         24          0          1          0          0          0        329          0          0          0
1801.35/1801.30	c   linear           :          1          5         24          0          1          0          0          0          0          0          0          0
1801.35/1801.30	c   logicor          :     258555          5          8          0          1          0          0          0          0          0          0          0
1801.35/1801.30	c   countsols        :          0          0          0          0          1          0          0          0          0          0          0          0
1801.35/1801.30	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1801.35/1801.30	c   integral         :    1595.78       0.00       0.00    1595.78       0.00       0.00       0.00
1801.35/1801.30	c   knapsack         :       0.23       0.17       0.05       0.00       0.01       0.00       0.00
1801.35/1801.30	c   setppc           :       0.05       0.01       0.03       0.00       0.01       0.00       0.00
1801.35/1801.30	c   linear           :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1801.35/1801.30	c   logicor          :       0.15       0.05       0.08       0.00       0.02       0.00       0.00
1801.35/1801.30	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1801.35/1801.30	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1801.35/1801.30	c   vbounds          :          0          0          0          0
1801.35/1801.30	c   rootredcost      :          0          0          0          0
1801.35/1801.30	c   pseudoobj        :          0          0          0          0
1801.35/1801.30	c Propagator Timings :  TotalTime  Propagate    Resprop
1801.35/1801.30	c   vbounds          :       0.00       0.00       0.00
1801.35/1801.30	c   rootredcost      :       0.00       0.00       0.00
1801.35/1801.30	c   pseudoobj        :       0.00       0.00       0.00
1801.35/1801.30	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1801.35/1801.30	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1801.35/1801.30	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1801.35/1801.30	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1801.35/1801.30	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1801.35/1801.30	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1801.35/1801.30	c   applied globally :          -          -          -          0        0.0          -          -          -
1801.35/1801.30	c   applied locally  :          -          -          -          0        0.0          -          -          -
1801.35/1801.30	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1801.35/1801.30	c   cut pool         :       0.00          4          -          -          7          -    (maximal pool size: 155)
1801.35/1801.30	c   redcost          :       0.00         12          0          0          0          0
1801.35/1801.30	c   impliedbounds    :       0.00          5          0          0          0          0
1801.35/1801.30	c   intobj           :       0.00          0          0          0          0          0
1801.35/1801.30	c   gomory           :      49.62          5          0          0       2500          0
1801.35/1801.30	c   cgmip            :       0.00          0          0          0          0          0
1801.35/1801.30	c   closecuts        :       0.00          0          0          0          0          0
1801.35/1801.30	c   strongcg         :      53.66          5          0          0       2500          0
1801.35/1801.30	c   cmir             :       0.00          0          0          0          0          0
1801.35/1801.30	c   flowcover        :       0.00          0          0          0          0          0
1801.35/1801.30	c   clique           :       1.12          5          0          0         31          0
1801.35/1801.30	c   zerohalf         :       0.00          0          0          0          0          0
1801.35/1801.30	c   mcf              :       0.36          1          0          0          0          0
1801.35/1801.30	c   oddcycle         :       0.00          0          0          0          0          0
1801.35/1801.30	c   rapidlearning    :       0.00          0          0          0          0          0
1801.35/1801.30	c Pricers            :       Time      Calls       Vars
1801.35/1801.30	c   problem variables:       0.00          0          0
1801.35/1801.30	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1801.35/1801.30	c   relpscost        :    1595.78         20          0         58          0          0         14
1801.35/1801.30	c   pscost           :       0.00          0          0          0          0          0          0
1801.35/1801.30	c   inference        :       0.00          1          0          0          0          0          2
1801.35/1801.30	c   mostinf          :       0.00          0          0          0          0          0          0
1801.35/1801.30	c   leastinf         :       0.00          0          0          0          0          0          0
1801.35/1801.30	c   fullstrong       :       0.00          0          0          0          0          0          0
1801.35/1801.30	c   allfullstrong    :       0.00          0          0          0          0          0          0
1801.35/1801.30	c   random           :       0.00          0          0          0          0          0          0
1801.35/1801.30	c Primal Heuristics  :       Time      Calls      Found
1801.35/1801.30	c   LP solutions     :       0.00          -          0
1801.35/1801.30	c   pseudo solutions :       0.00          -          0
1801.35/1801.30	c   trivial          :       0.01          1          0
1801.35/1801.30	c   shiftandpropagate:       0.00          0          0
1801.35/1801.30	c   simplerounding   :       0.00          0          0
1801.35/1801.30	c   zirounding       :       0.00          0          0
1801.35/1801.30	c   rounding         :       0.00          0          0
1801.35/1801.30	c   shifting         :       0.00          0          0
1801.35/1801.30	c   intshifting      :       0.00          0          0
1801.35/1801.30	c   oneopt           :       0.00          0          0
1801.35/1801.30	c   twoopt           :       0.00          0          0
1801.35/1801.30	c   fixandinfer      :       0.00          0          0
1801.35/1801.30	c   feaspump         :       0.00          0          0
1801.35/1801.30	c   clique           :       0.00          0          0
1801.35/1801.30	c   coefdiving       :       0.00          0          0
1801.35/1801.30	c   pscostdiving     :       0.00          0          0
1801.35/1801.30	c   fracdiving       :       0.00          0          0
1801.35/1801.30	c   veclendiving     :       0.00          0          0
1801.35/1801.30	c   intdiving        :       0.00          0          0
1801.35/1801.30	c   actconsdiving    :       0.00          0          0
1801.35/1801.30	c   objpscostdiving  :       0.00          0          0
1801.35/1801.30	c   rootsoldiving    :       0.00          0          0
1801.35/1801.30	c   linesearchdiving :       0.00          0          0
1801.35/1801.30	c   guideddiving     :       0.00          0          0
1801.35/1801.30	c   octane           :       0.00          0          0
1801.35/1801.30	c   rens             :       0.00          0          0
1801.35/1801.30	c   rins             :       0.00          0          0
1801.35/1801.30	c   localbranching   :       0.00          0          0
1801.35/1801.30	c   mutation         :       0.00          0          0
1801.35/1801.30	c   crossover        :       0.00          0          0
1801.35/1801.30	c   dins             :       0.00          0          0
1801.35/1801.30	c   vbounds          :       0.00          0          0
1801.35/1801.30	c   undercover       :       0.00          0          0
1801.35/1801.30	c   subnlp           :       0.00          0          0
1801.35/1801.30	c   trysol           :       0.00          0          0
1801.35/1801.30	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1801.35/1801.30	c   primal LP        :       1.15          0          0       0.00       0.00
1801.35/1801.30	c   dual LP          :      87.12         25       9290     371.60     106.64
1801.35/1801.30	c   lex dual LP      :       0.00          0          0       0.00          -
1801.35/1801.30	c   barrier LP       :       0.00          0          0       0.00          -
1801.35/1801.30	c   diving/probing LP:       0.00          0          0       0.00          -
1801.35/1801.30	c   strong branching :    1595.55        281      67888     241.59      42.55
1801.35/1801.30	c     (at root node) :          -         20        115       5.75          -
1801.35/1801.30	c   conflict analysis:       0.00          0          0       0.00          -
1801.35/1801.30	c B&B Tree           :
1801.35/1801.30	c   number of runs   :          1
1801.35/1801.30	c   nodes            :          8
1801.35/1801.30	c   nodes (total)    :          8
1801.35/1801.30	c   nodes left       :          9
1801.35/1801.30	c   max depth        :          7
1801.35/1801.30	c   max depth (total):          7
1801.35/1801.30	c   backtracks       :          0 (0.0%)
1801.35/1801.30	c   delayed cutoffs  :          0
1801.35/1801.30	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1801.35/1801.30	c   avg switch length:       1.00
1801.35/1801.30	c   switching time   :       1.20
1801.35/1801.30	c Solution           :
1801.35/1801.30	c   Solutions found  :          0 (0 improvements)
1801.35/1801.30	c   Primal Bound     :          -
1801.35/1801.30	c   Dual Bound       : +0.00000000000000e+00
1801.35/1801.30	c   Gap              :   infinite
1801.35/1801.30	c   Root Dual Bound  : +0.00000000000000e+00
1801.35/1801.30	c   Root Iterations  :       4951

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3478857-1307440596/watcher-3478857-1307440596 -o /tmp/evaluation-result-3478857-1307440596/solver-3478857-1307440596 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3478857-1307440596.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.02 2.05 1.98 3/514 16950
/proc/meminfo: memFree=18759112/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=10476 CPUtime=0 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 1634 0 0 0 0 0 0 0 24 0 1 0 836475251 10727424 1587 33554432000 4194304 9128323 140734117386032 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16950/statm: 2619 1587 397 1205 0 1410 0

[startup+0.0453991 s]
/proc/loadavg: 2.02 2.05 1.98 3/514 16950
/proc/meminfo: memFree=18759112/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=13432 CPUtime=0.03 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 2340 0 0 0 3 0 0 0 24 0 1 0 836475251 13754368 2292 33554432000 4194304 9128323 140734117386032 18446744073709551615 5376259 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16950/statm: 3358 2293 397 1205 0 2149 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13432

[startup+0.100389 s]
/proc/loadavg: 2.02 2.05 1.98 3/514 16950
/proc/meminfo: memFree=18759112/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=16396 CPUtime=0.09 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 3097 0 0 0 9 0 0 0 24 0 1 0 836475251 16789504 3048 33554432000 4194304 9128323 140734117386032 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16950/statm: 4099 3048 397 1205 0 2890 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16396

[startup+0.300362 s]
/proc/loadavg: 2.02 2.05 1.98 3/514 16950
/proc/meminfo: memFree=18759112/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=25876 CPUtime=0.28 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 5454 0 0 0 28 0 0 0 25 0 1 0 836475251 26497024 5398 33554432000 4194304 9128323 140734117386032 18446744073709551615 7929233 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16950/statm: 6469 5398 397 1205 0 5260 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 25876

[startup+0.700285 s]
/proc/loadavg: 2.02 2.05 1.98 3/514 16950
/proc/meminfo: memFree=18759112/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=45372 CPUtime=0.68 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 10335 0 0 0 67 1 0 0 25 0 1 0 836475251 46460928 10272 33554432000 4194304 9128323 140734117386032 18446744073709551615 8008920 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16950/statm: 11343 10272 397 1205 0 10134 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 45372

[startup+1.50012 s]
/proc/loadavg: 2.02 2.05 1.98 3/515 16951
/proc/meminfo: memFree=18707432/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=82572 CPUtime=1.48 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 19638 0 0 0 146 2 0 0 25 0 1 0 836475251 84553728 19561 33554432000 4194304 9128323 140734117386032 18446744073709551615 8008925 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16950/statm: 20643 19561 397 1205 0 19434 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 82572

[startup+3.10082 s]
/proc/loadavg: 2.02 2.05 1.98 3/515 16951
/proc/meminfo: memFree=18653368/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=157748 CPUtime=3.09 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 38401 0 0 0 304 5 0 0 25 0 1 0 836475251 161533952 38297 33554432000 4194304 9128323 140734117386032 18446744073709551615 7998126 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16950/statm: 39437 38297 397 1205 0 38228 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 157748

[startup+6.30022 s]
/proc/loadavg: 2.02 2.05 1.98 3/515 16951
/proc/meminfo: memFree=18045756/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=737772 CPUtime=6.29 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 218218 0 0 0 600 29 0 0 25 0 1 0 836475251 755478528 178597 33554432000 4194304 9128323 140734117386032 18446744073709551615 18446744073699065911 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16950/statm: 184443 178597 511 1205 0 183234 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 737772

[startup+12.701 s]
/proc/loadavg: 2.01 2.04 1.98 3/515 16952
/proc/meminfo: memFree=17552536/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=1259128 CPUtime=12.69 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 395186 0 0 0 1220 49 0 0 22 0 1 0 836475251 1289347072 293025 33554432000 4194304 9128323 140734117386032 18446744073709551615 7192387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16950/statm: 314782 293025 682 1205 0 313573 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1259128

[startup+25.5006 s]
/proc/loadavg: 2.01 2.04 1.98 3/515 16952
/proc/meminfo: memFree=17492900/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=1331260 CPUtime=25.49 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 435552 0 0 0 2492 57 0 0 25 0 1 0 836475251 1363210240 308073 33554432000 4194304 9128323 140734117386032 18446744073709551615 7018424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16950/statm: 332815 308073 728 1205 0 331606 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1331260

[startup+51.1008 s]
/proc/loadavg: 2.01 2.04 1.98 3/515 16953
/proc/meminfo: memFree=17435096/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=1388488 CPUtime=51.09 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 449626 0 0 0 5049 60 0 0 25 0 1 0 836475251 1421811712 322147 33554432000 4194304 9128323 140734117386032 18446744073709551615 4312101 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16950/statm: 347122 322147 728 1205 0 345913 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1388488

[startup+102.319 s]
/proc/loadavg: 2.00 2.03 1.98 3/515 16954
/proc/meminfo: memFree=17378964/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=1408904 CPUtime=102.3 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 452873 0 0 0 10167 63 0 0 25 0 1 0 836475251 1442717696 325394 33554432000 4194304 9128323 140734117386032 18446744073709551615 8008980 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16950/statm: 352226 325394 728 1205 0 351017 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1408904

[startup+162.301 s]
/proc/loadavg: 2.00 2.02 1.98 3/515 16956
/proc/meminfo: memFree=17332756/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=1416892 CPUtime=162.29 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 479113 0 0 0 16161 68 0 0 25 0 1 0 836475251 1450897408 336658 33554432000 4194304 9128323 140734117386032 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16950/statm: 354223 336658 903 1205 0 353014 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1416892

[startup+222.3 s]
/proc/loadavg: 2.07 2.04 1.99 3/515 16957
/proc/meminfo: memFree=17329260/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=1446852 CPUtime=222.3 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 538183 0 0 0 22152 78 0 0 25 0 1 0 836475251 1481576448 338534 33554432000 4194304 9128323 140734117386032 18446744073709551615 7192546 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16950/statm: 361713 338534 905 1205 0 360504 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1446852

[startup+282.301 s]
/proc/loadavg: 2.06 2.05 1.99 3/515 16968
/proc/meminfo: memFree=17335400/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=1417084 CPUtime=282.29 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 624848 0 0 0 28140 89 0 0 25 0 1 0 836475251 1451094016 336691 33554432000 4194304 9128323 140734117386032 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16950/statm: 354271 336691 905 1205 0 353062 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1417084

[startup+342.301 s]
/proc/loadavg: 2.17 2.07 2.00 3/515 16969
/proc/meminfo: memFree=17411136/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=1447916 CPUtime=342.3 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 659338 0 0 0 34135 95 0 0 25 0 1 0 836475251 1482665984 339131 33554432000 4194304 9128323 140734117386032 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16950/statm: 361979 339131 905 1205 0 360770 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1447916

[startup+402.3 s]
/proc/loadavg: 2.13 2.07 2.00 3/515 16971
/proc/meminfo: memFree=17401444/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=1445772 CPUtime=402.3 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 675197 0 0 0 40133 97 0 0 25 0 1 0 836475251 1480470528 338121 33554432000 4194304 9128323 140734117386032 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16950/statm: 361443 338121 905 1205 0 360234 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1445772

[startup+462.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/515 16973
/proc/meminfo: memFree=17426856/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=1417768 CPUtime=462.3 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 737784 0 0 0 46123 107 0 0 25 0 1 0 836475251 1451794432 336707 33554432000 4194304 9128323 140734117386032 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16950/statm: 354442 336707 899 1205 0 353233 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1417768

[startup+522.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/515 16974
/proc/meminfo: memFree=17394352/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=1450960 CPUtime=522.31 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 819407 0 0 0 52111 120 0 0 25 0 1 0 836475251 1485783040 338263 33554432000 4194304 9128323 140734117386032 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16950/statm: 362740 338263 894 1205 0 361531 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1450960

[startup+582.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 16976
/proc/meminfo: memFree=17301568/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=1506096 CPUtime=582.3 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 880457 0 0 0 58101 129 0 0 25 0 1 0 836475251 1542242304 346306 33554432000 4194304 9128323 140734117386032 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16950/statm: 376524 346306 1336 1205 0 375315 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1506096

[startup+642.301 s]

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

/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 974451 0 0 0 100078 154 0 0 25 0 1 0 836475251 1454579712 333384 33554432000 4194304 9128323 140734117386032 18446744073709551615 7342532 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16950/statm: 355122 333384 734 1205 0 353913 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1420488

[startup+1062.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/515 16989
/proc/meminfo: memFree=17348928/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=1420488 CPUtime=1062.32 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 974456 0 0 0 106078 154 0 0 25 0 1 0 836475251 1454579712 333389 33554432000 4194304 9128323 140734117386032 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16950/statm: 355122 333389 734 1205 0 353913 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1420488

[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 16990
/proc/meminfo: memFree=17343580/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=1422212 CPUtime=1122.33 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 992274 0 0 0 112076 157 0 0 25 0 1 0 836475251 1456345088 334446 33554432000 4194304 9128323 140734117386032 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16950/statm: 355553 334446 734 1205 0 354344 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1422212

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 16992
/proc/meminfo: memFree=17397372/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=1446136 CPUtime=1182.33 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 1000188 0 0 0 118074 159 0 0 25 0 1 0 836475251 1480843264 331703 33554432000 4194304 9128323 140734117386032 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16950/statm: 361534 331703 734 1205 0 360325 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1446136

[startup+1242.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/515 16993
/proc/meminfo: memFree=17395872/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=1446136 CPUtime=1242.33 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 1000349 0 0 0 124071 162 0 0 25 0 1 0 836475251 1480843264 331864 33554432000 4194304 9128323 140734117386032 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16950/statm: 361534 331864 748 1205 0 360325 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1446136

[startup+1302.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/515 16995
/proc/meminfo: memFree=17365608/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=1453012 CPUtime=1302.35 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 1030152 0 0 0 130067 168 0 0 25 0 1 0 836475251 1487884288 343973 33554432000 4194304 9128323 140734117386032 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16950/statm: 363253 343973 4118 1205 0 362044 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 1453012

[startup+1362.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/515 16997
/proc/meminfo: memFree=17356536/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=1501988 CPUtime=1362.34 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 1125858 0 0 0 136052 182 0 0 25 0 1 0 836475251 1538035712 350209 33554432000 4194304 9128323 140734117386032 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16950/statm: 375497 350209 866 1205 0 374288 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 1501988

[startup+1422.32 s]
/proc/loadavg: 2.13 2.06 2.01 3/515 16998
/proc/meminfo: memFree=17318584/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=1445080 CPUtime=1422.36 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 1252921 0 0 0 142037 199 0 0 25 0 1 0 836475251 1479761920 340494 33554432000 4194304 9128323 140734117386032 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16950/statm: 361270 340494 759 1205 0 360061 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 1445080

[startup+1482.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/515 17000
/proc/meminfo: memFree=17350284/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=1451632 CPUtime=1482.34 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 1307592 0 0 0 148026 208 0 0 25 0 1 0 836475251 1486471168 340223 33554432000 4194304 9128323 140734117386032 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16950/statm: 362908 340223 758 1205 0 361699 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1451632

[startup+1542.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/515 17001
/proc/meminfo: memFree=17351268/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=1419744 CPUtime=1542.34 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 1369028 0 0 0 154018 216 0 0 25 0 1 0 836475251 1453817856 331609 33554432000 4194304 9128323 140734117386032 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16950/statm: 354936 331609 746 1205 0 353727 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1419744

[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/515 17031
/proc/meminfo: memFree=19649400/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=1484760 CPUtime=1602.34 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 1470325 0 0 0 160004 230 0 0 25 0 1 0 836475251 1520394240 347843 33554432000 4194304 9128323 140734117386032 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16950/statm: 371190 347843 6192 1205 0 369981 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1484760

[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 17033
/proc/meminfo: memFree=19591580/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=1484036 CPUtime=1662.34 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 1522085 0 0 0 165999 235 0 0 25 0 1 0 836475251 1519652864 348020 33554432000 4194304 9128323 140734117386032 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16950/statm: 371009 348020 5985 1205 0 369800 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1484036

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 17037
/proc/meminfo: memFree=19591040/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=1485688 CPUtime=1722.35 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 1567911 0 0 0 171995 240 0 0 25 0 1 0 836475251 1521344512 348136 33554432000 4194304 9128323 140734117386032 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16950/statm: 371422 348136 6023 1205 0 370213 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 1485688

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 17039
/proc/meminfo: memFree=19591708/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=1484468 CPUtime=1782.35 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 1636054 0 0 0 177987 248 0 0 25 0 1 0 836475251 1520095232 347855 33554432000 4194304 9128323 140734117386032 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16950/statm: 371117 347855 6407 1205 0 369908 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1484468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.08 2.03 2.01 3/515 17039
/proc/meminfo: memFree=19592820/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=1483368 CPUtime=1800.06 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 1663577 0 0 0 179755 251 0 0 25 0 1 0 836475251 1518968832 347649 33554432000 4194304 9128323 140734117386032 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16950/statm: 370842 347649 6472 1205 0 369633 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1483368

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -16950

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

[startup+1801.4 s]
/proc/loadavg: 2.07 2.03 2.00 3/516 17040
/proc/meminfo: memFree=19592812/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=1483368 CPUtime=1801.45 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 1663586 0 0 0 179894 251 0 0 18 0 1 0 836475251 1518968832 347658 33554432000 4194304 9128323 140734117386032 18446744073709551615 7289286 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16950/statm: 370842 347658 6481 1205 0 369633 0
Current children cumulated CPU time (s) 1801.45
Current children cumulated vsize (KiB) 1483368

[startup+1801.82 s]
/proc/loadavg: 2.07 2.03 2.00 3/516 17040
/proc/meminfo: memFree=19599756/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=1452364 CPUtime=1801.87 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 1663588 0 0 0 179936 251 0 0 18 0 1 0 836475251 1487220736 339909 33554432000 4194304 9128323 140734117386032 18446744073709551615 6581248 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16950/statm: 363091 339909 6483 1205 0 361882 0
Current children cumulated CPU time (s) 1801.87
Current children cumulated vsize (KiB) 1452364

[startup+1802 s]
/proc/loadavg: 2.07 2.03 2.00 3/516 17040
/proc/meminfo: memFree=19599756/32951124 swapFree=62999000/67111528
[pid=16950] ppid=16948 vsize=1383164 CPUtime=1802.06 cores=1,3,5,7
/proc/16950/stat : 16950 (scip-2.0.1.4.li) R 16948 16950 16659 0 -1 4202496 1663588 0 0 0 179954 252 0 0 18 0 1 0 836475251 1416359936 322777 33554432000 4194304 9128323 140734117386032 18446744073709551615 6580545 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16950/statm: 345791 322777 6483 1205 0 344582 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 1383164

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.07
CPU time (s): 1802.13
CPU user time (s): 1799.55
CPU system time (s): 2.57761
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1518668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 2.57761
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1663590
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 2698

runsolver used 8.39572 second user time and 22.2336 second system time

The end

Launcher Data 

Begin job on node141 at 2011-06-07 11:56:36
IDJOB=3478857
IDBENCH=89748
IDSOLVER=1949
FILE ID=node141/3478857-1307440596
RUNJOBID= node141-1307436782-16678
PBS_JOBID= 13519947
Free space on /tmp= 73884 MiB

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

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

MD5SUM BENCH= 81ec1ddcd163131a26e4e6f9286dd205
RANDOM SEED=688730637

node141.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18759268 kB
Buffers:        327772 kB
Cached:         987880 kB
SwapCached:       8848 kB
Active:       13213892 kB
Inactive:       688500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18759268 kB
SwapTotal:    67111528 kB
SwapFree:     62999000 kB
Dirty:           38220 kB
Writeback:          16 kB
AnonPages:    12585080 kB
Mapped:          28288 kB
Slab:           143276 kB
PageTables:      75588 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 153526652 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73912 MiB
End job on node141 at 2011-06-07 12:26:39