Trace number 3451666

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4? (TO) 1800.5 1800.46

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12016_4-sat.opb
MD5SUM142eb7aa6e3fc22a3161df6b33ced1a2
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables48642
Total number of constraints155800
Number of constraints which are clauses155000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints800
Minimum length of a constraint1
Maximum length of a constraint120
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 22
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 684
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3451666-1307115849.opb>
1.00/1.06	c original problem has 48642 variables (48642 bin, 0 int, 0 impl, 0 cont) and 155800 constraints
1.00/1.06	c problem read
1.00/1.07	c No objective function, only one solution is needed.
1.00/1.07	c presolving settings loaded
1.29/1.37	c presolving:
4.99/5.03	c (round 1) 4909 del vars, 14362 del conss, 0 add conss, 3363 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10333502 impls, 0 clqs
7.60/7.67	c (round 2) 11653 del vars, 37507 del conss, 0 add conss, 9710 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10369915 impls, 0 clqs
8.39/8.46	c (round 3) 14188 del vars, 48615 del conss, 0 add conss, 11197 chg bounds, 8 chg sides, 11 chg coeffs, 0 upgd conss, 10383072 impls, 0 clqs
8.80/8.86	c (round 4) 15162 del vars, 52743 del conss, 0 add conss, 11820 chg bounds, 27 chg sides, 31 chg coeffs, 0 upgd conss, 10391641 impls, 0 clqs
8.99/9.05	c (round 5) 15747 del vars, 54991 del conss, 0 add conss, 12135 chg bounds, 27 chg sides, 31 chg coeffs, 0 upgd conss, 10396830 impls, 0 clqs
9.09/9.18	c (round 6) 16029 del vars, 56092 del conss, 0 add conss, 12292 chg bounds, 27 chg sides, 31 chg coeffs, 0 upgd conss, 10398898 impls, 0 clqs
9.19/9.25	c (round 7) 16153 del vars, 56644 del conss, 0 add conss, 12354 chg bounds, 27 chg sides, 31 chg coeffs, 0 upgd conss, 10399692 impls, 0 clqs
9.29/9.30	c (round 8) 16206 del vars, 56889 del conss, 0 add conss, 12378 chg bounds, 27 chg sides, 31 chg coeffs, 0 upgd conss, 10400055 impls, 0 clqs
9.29/9.34	c (round 9) 16224 del vars, 56996 del conss, 0 add conss, 12387 chg bounds, 27 chg sides, 31 chg coeffs, 0 upgd conss, 10400161 impls, 0 clqs
9.29/9.37	c (round 10) 16232 del vars, 57037 del conss, 0 add conss, 12391 chg bounds, 27 chg sides, 31 chg coeffs, 0 upgd conss, 10400223 impls, 0 clqs
9.39/9.40	c (round 11) 16234 del vars, 57053 del conss, 0 add conss, 12392 chg bounds, 27 chg sides, 31 chg coeffs, 0 upgd conss, 10400241 impls, 0 clqs
9.69/9.79	c (round 12) 16234 del vars, 57056 del conss, 0 add conss, 12392 chg bounds, 27 chg sides, 31 chg coeffs, 98744 upgd conss, 10400241 impls, 0 clqs
10.39/10.46	c (round 13) 16234 del vars, 57056 del conss, 0 add conss, 12392 chg bounds, 64 chg sides, 218 chg coeffs, 98744 upgd conss, 10400241 impls, 0 clqs
10.59/10.61	c presolving (14 rounds):
10.59/10.61	c  16234 deleted vars, 57056 deleted constraints, 0 added constraints, 12392 tightened bounds, 0 added holes, 64 changed sides, 233 changed coefficients
10.59/10.61	c  10400241 implications, 4 cliques
10.59/10.61	c presolved problem has 32408 variables (32408 bin, 0 int, 0 impl, 0 cont) and 98744 constraints
10.59/10.61	c     788 constraints of type <knapsack>
10.59/10.61	c   82085 constraints of type <setppc>
10.59/10.61	c   15871 constraints of type <logicor>
10.59/10.61	c transformed objective value is always integral (scale: 1)
10.59/10.61	c Presolving Time: 9.32
10.59/10.61	c - non default parameters ----------------------------------------------------------------------
10.59/10.61	c # SCIP version 2.0.1.5
10.59/10.61	c 
10.59/10.61	c # frequency for displaying node information lines
10.59/10.61	c # [type: int, range: [-1,2147483647], default: 100]
10.59/10.61	c display/freq = 10000
10.59/10.61	c 
10.59/10.61	c # maximal time in seconds to run
10.59/10.61	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
10.59/10.61	c limits/time = 1800
10.59/10.61	c 
10.59/10.61	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
10.59/10.61	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
10.59/10.61	c limits/memory = 13950
10.59/10.61	c 
10.59/10.61	c # solving stops, if the given number of solutions were found (-1: no limit)
10.59/10.61	c # [type: int, range: [-1,2147483647], default: -1]
10.59/10.61	c limits/solutions = 1
10.59/10.61	c 
10.59/10.61	c # maximal number of separation rounds per node (-1: unlimited)
10.59/10.61	c # [type: int, range: [-1,2147483647], default: 5]
10.59/10.61	c separating/maxrounds = 1
10.59/10.61	c 
10.59/10.61	c # maximal number of separation rounds in the root node (-1: unlimited)
10.59/10.61	c # [type: int, range: [-1,2147483647], default: -1]
10.59/10.61	c separating/maxroundsroot = 5
10.59/10.61	c 
10.59/10.61	c # default clock type (1: CPU user seconds, 2: wall clock time)
10.59/10.61	c # [type: int, range: [1,2], default: 1]
10.59/10.61	c timing/clocktype = 2
10.59/10.61	c 
10.59/10.61	c # belongs reading time to solving time?
10.59/10.61	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
10.59/10.61	c timing/reading = TRUE
10.59/10.61	c 
10.59/10.61	c # should presolving try to simplify inequalities
10.59/10.61	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
10.59/10.61	c constraints/linear/simplifyinequalities = TRUE
10.59/10.61	c 
10.59/10.61	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
10.59/10.61	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
10.59/10.61	c constraints/indicator/addCouplingCons = TRUE
10.59/10.61	c 
10.59/10.61	c # should disaggregation of knapsack constraints be allowed in preprocessing?
10.59/10.61	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
10.59/10.61	c constraints/knapsack/disaggregation = FALSE
10.59/10.61	c 
10.59/10.61	c # should presolving try to simplify knapsacks
10.59/10.61	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
10.59/10.61	c constraints/knapsack/simplifyinequalities = TRUE
10.59/10.61	c 
10.59/10.61	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
10.59/10.61	c # [type: int, range: [-1,2147483647], default: -1]
10.59/10.61	c presolving/probing/maxrounds = 0
10.59/10.61	c 
10.59/10.61	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
10.59/10.61	c # [type: int, range: [-1,2147483647], default: 10]
10.59/10.61	c heuristics/coefdiving/freq = -1
10.59/10.61	c 
10.59/10.61	c # maximal fraction of diving LP iterations compared to node LP iterations
10.59/10.61	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.59/10.61	c heuristics/coefdiving/maxlpiterquot = 0.075
10.59/10.61	c 
10.59/10.61	c # additional number of allowed LP iterations
10.59/10.61	c # [type: int, range: [0,2147483647], default: 1000]
10.59/10.61	c heuristics/coefdiving/maxlpiterofs = 1500
10.59/10.61	c 
10.59/10.61	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
10.59/10.61	c # [type: int, range: [-1,2147483647], default: 30]
10.59/10.61	c heuristics/crossover/freq = -1
10.59/10.61	c 
10.59/10.61	c # number of nodes added to the contingent of the total nodes
10.59/10.61	c # [type: longint, range: [0,9223372036854775807], default: 500]
10.59/10.61	c heuristics/crossover/nodesofs = 750
10.59/10.61	c 
10.59/10.61	c # number of nodes without incumbent change that heuristic should wait
10.59/10.61	c # [type: longint, range: [0,9223372036854775807], default: 200]
10.59/10.61	c heuristics/crossover/nwaitingnodes = 100
10.59/10.61	c 
10.59/10.61	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
10.59/10.61	c # [type: real, range: [0,1], default: 0.1]
10.59/10.61	c heuristics/crossover/nodesquot = 0.15
10.59/10.61	c 
10.59/10.61	c # minimum percentage of integer variables that have to be fixed 
10.59/10.61	c # [type: real, range: [0,1], default: 0.666]
10.59/10.61	c heuristics/crossover/minfixingrate = 0.5
10.59/10.61	c 
10.59/10.61	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
10.59/10.61	c # [type: int, range: [-1,2147483647], default: 20]
10.59/10.61	c heuristics/feaspump/freq = -1
10.59/10.61	c 
10.59/10.61	c # additional number of allowed LP iterations
10.59/10.61	c # [type: int, range: [0,2147483647], default: 1000]
10.59/10.61	c heuristics/feaspump/maxlpiterofs = 2000
10.59/10.61	c 
10.59/10.61	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
10.59/10.61	c # [type: int, range: [-1,2147483647], default: 10]
10.59/10.61	c heuristics/fracdiving/freq = -1
10.59/10.61	c 
10.59/10.61	c # maximal fraction of diving LP iterations compared to node LP iterations
10.59/10.61	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.59/10.61	c heuristics/fracdiving/maxlpiterquot = 0.075
10.59/10.61	c 
10.59/10.61	c # additional number of allowed LP iterations
10.59/10.61	c # [type: int, range: [0,2147483647], default: 1000]
10.59/10.61	c heuristics/fracdiving/maxlpiterofs = 1500
10.59/10.61	c 
10.59/10.61	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
10.59/10.61	c # [type: int, range: [-1,2147483647], default: 10]
10.59/10.61	c heuristics/guideddiving/freq = -1
10.59/10.61	c 
10.59/10.61	c # maximal fraction of diving LP iterations compared to node LP iterations
10.59/10.61	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.59/10.61	c heuristics/guideddiving/maxlpiterquot = 0.075
10.59/10.61	c 
10.59/10.61	c # additional number of allowed LP iterations
10.59/10.61	c # [type: int, range: [0,2147483647], default: 1000]
10.59/10.61	c heuristics/guideddiving/maxlpiterofs = 1500
10.59/10.61	c 
10.59/10.61	c # maximal fraction of diving LP iterations compared to node LP iterations
10.59/10.61	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.59/10.61	c heuristics/intdiving/maxlpiterquot = 0.075
10.59/10.61	c 
10.59/10.61	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
10.59/10.61	c # [type: int, range: [-1,2147483647], default: 10]
10.59/10.61	c heuristics/intshifting/freq = -1
10.59/10.61	c 
10.59/10.61	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
10.59/10.61	c # [type: int, range: [-1,2147483647], default: 10]
10.59/10.61	c heuristics/linesearchdiving/freq = -1
10.59/10.61	c 
10.59/10.61	c # maximal fraction of diving LP iterations compared to node LP iterations
10.59/10.61	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.59/10.61	c heuristics/linesearchdiving/maxlpiterquot = 0.075
10.59/10.61	c 
10.59/10.61	c # additional number of allowed LP iterations
10.59/10.61	c # [type: int, range: [0,2147483647], default: 1000]
10.59/10.61	c heuristics/linesearchdiving/maxlpiterofs = 1500
10.59/10.61	c 
10.59/10.61	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
10.59/10.61	c # [type: int, range: [-1,2147483647], default: 20]
10.59/10.61	c heuristics/objpscostdiving/freq = -1
10.59/10.61	c 
10.59/10.61	c # maximal fraction of diving LP iterations compared to total iteration number
10.59/10.61	c # [type: real, range: [0,1], default: 0.01]
10.59/10.61	c heuristics/objpscostdiving/maxlpiterquot = 0.015
10.59/10.61	c 
10.59/10.61	c # additional number of allowed LP iterations
10.59/10.61	c # [type: int, range: [0,2147483647], default: 1000]
10.59/10.61	c heuristics/objpscostdiving/maxlpiterofs = 1500
10.59/10.61	c 
10.59/10.61	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
10.59/10.61	c # [type: int, range: [-1,2147483647], default: 1]
10.59/10.61	c heuristics/oneopt/freq = -1
10.59/10.61	c 
10.59/10.61	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
10.59/10.61	c # [type: int, range: [-1,2147483647], default: 10]
10.59/10.61	c heuristics/pscostdiving/freq = -1
10.59/10.61	c 
10.59/10.61	c # maximal fraction of diving LP iterations compared to node LP iterations
10.59/10.61	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.59/10.61	c heuristics/pscostdiving/maxlpiterquot = 0.075
10.59/10.61	c 
10.59/10.61	c # additional number of allowed LP iterations
10.59/10.61	c # [type: int, range: [0,2147483647], default: 1000]
10.59/10.61	c heuristics/pscostdiving/maxlpiterofs = 1500
10.59/10.61	c 
10.59/10.61	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
10.59/10.61	c # [type: int, range: [-1,2147483647], default: 0]
10.59/10.61	c heuristics/rens/freq = -1
10.59/10.61	c 
10.59/10.61	c # minimum percentage of integer variables that have to be fixable 
10.59/10.61	c # [type: real, range: [0,1], default: 0.5]
10.59/10.61	c heuristics/rens/minfixingrate = 0.3
10.59/10.61	c 
10.59/10.61	c # number of nodes added to the contingent of the total nodes
10.59/10.61	c # [type: longint, range: [0,9223372036854775807], default: 500]
10.59/10.61	c heuristics/rens/nodesofs = 2000
10.59/10.61	c 
10.59/10.61	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
10.59/10.61	c # [type: int, range: [-1,2147483647], default: 20]
10.59/10.61	c heuristics/rootsoldiving/freq = -1
10.59/10.61	c 
10.59/10.61	c # maximal fraction of diving LP iterations compared to node LP iterations
10.59/10.61	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
10.59/10.61	c heuristics/rootsoldiving/maxlpiterquot = 0.015
10.59/10.61	c 
10.59/10.61	c # additional number of allowed LP iterations
10.59/10.61	c # [type: int, range: [0,2147483647], default: 1000]
10.59/10.61	c heuristics/rootsoldiving/maxlpiterofs = 1500
10.59/10.61	c 
10.59/10.61	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
10.59/10.61	c # [type: int, range: [-1,2147483647], default: 1]
10.59/10.61	c heuristics/rounding/freq = -1
10.59/10.61	c 
10.59/10.61	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
10.59/10.61	c # [type: int, range: [-1,2147483647], default: 0]
10.59/10.61	c heuristics/shiftandpropagate/freq = -1
10.59/10.61	c 
10.59/10.61	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
10.59/10.61	c # [type: int, range: [-1,2147483647], default: 10]
10.59/10.61	c heuristics/shifting/freq = -1
10.59/10.61	c 
10.59/10.61	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
10.59/10.61	c # [type: int, range: [-1,2147483647], default: 1]
10.59/10.61	c heuristics/simplerounding/freq = -1
10.59/10.61	c 
10.59/10.61	c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
10.59/10.61	c # [type: int, range: [-1,2147483647], default: 1]
10.59/10.61	c heuristics/subnlp/freq = -1
10.59/10.61	c 
10.59/10.61	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
10.59/10.61	c # [type: int, range: [-1,2147483647], default: 0]
10.59/10.61	c heuristics/trivial/freq = -1
10.59/10.61	c 
10.59/10.61	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
10.59/10.61	c # [type: int, range: [-1,2147483647], default: 1]
10.59/10.61	c heuristics/trysol/freq = -1
10.59/10.61	c 
10.59/10.61	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
10.59/10.61	c # [type: int, range: [-1,2147483647], default: 0]
10.59/10.61	c heuristics/undercover/freq = -1
10.59/10.61	c 
10.59/10.61	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
10.59/10.61	c # [type: int, range: [-1,2147483647], default: 10]
10.59/10.61	c heuristics/veclendiving/freq = -1
10.59/10.61	c 
10.59/10.61	c # maximal fraction of diving LP iterations compared to node LP iterations
10.59/10.61	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
10.59/10.61	c heuristics/veclendiving/maxlpiterquot = 0.075
10.59/10.61	c 
10.59/10.61	c # additional number of allowed LP iterations
10.59/10.61	c # [type: int, range: [0,2147483647], default: 1000]
10.59/10.61	c heuristics/veclendiving/maxlpiterofs = 1500
10.59/10.61	c 
10.59/10.61	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
10.59/10.61	c # [type: int, range: [-1,2147483647], default: 1]
10.59/10.61	c heuristics/zirounding/freq = -1
10.59/10.61	c 
10.59/10.61	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
10.59/10.61	c # [type: int, range: [-1,2147483647], default: 0]
10.59/10.61	c separating/cmir/freq = -1
10.59/10.61	c 
10.59/10.61	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
10.59/10.61	c # [type: int, range: [-1,2147483647], default: 0]
10.59/10.61	c separating/flowcover/freq = -1
10.59/10.61	c 
10.59/10.61	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
10.59/10.61	c # [type: int, range: [-1,2147483647], default: -1]
10.59/10.61	c separating/rapidlearning/freq = 0
10.59/10.61	c 
10.59/10.61	c -----------------------------------------------------------------------------------------------
10.59/10.61	c start solving
10.59/10.62	c 
582.70/582.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
582.70/582.76	c   583s|     1 |     0 | 64958 |     - | 440M|   0 |  16k|  32k|  98k|  32k|  98k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1477.52/1477.57	c  1478s|     1 |     0 |128749 |     - | 440M|   0 |  18k|  32k|  98k|  32k|  98k|  35 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1800.04/1800.03	c  1800s|     1 |     0 |132800 |     - | 440M|   0 |   - |  32k|  98k|  32k|  98k|  58 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1800.04/1800.05	c  1800s|     1 |     2 |132800 |     - | 440M|   0 |   - |  32k|  98k|  32k|  98k|  58 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1800.04/1800.05	c 
1800.04/1800.05	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.05	c Solving Time (sec) : 1800.04
1800.04/1800.05	c Solving Nodes      : 1
1800.04/1800.05	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.04/1800.05	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.05	c Gap                : infinite
1800.04/1800.05	s UNKNOWN
1800.04/1800.05	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.05	c Total Time         :    1800.04
1800.04/1800.05	c   solving          :    1800.04
1800.04/1800.05	c   presolving       :       9.32 (included in solving)
1800.04/1800.05	c   reading          :       1.06 (included in solving)
1800.04/1800.05	c Original Problem   :
1800.04/1800.05	c   Problem name     : HOME/instance-3451666-1307115849.opb
1800.04/1800.05	c   Variables        : 48642 (48642 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.05	c   Constraints      : 155800 initial, 155800 maximal
1800.04/1800.05	c Presolved Problem  :
1800.04/1800.05	c   Problem name     : t_HOME/instance-3451666-1307115849.opb
1800.04/1800.05	c   Variables        : 32408 (32408 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.05	c   Constraints      : 98744 initial, 98744 maximal
1800.04/1800.05	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1800.04/1800.05	c   trivial          :       0.03       1083          0          0          0          0          0          0          0          0
1800.04/1800.05	c   dualfix          :       0.05        105          0          0          0          0          0          0          0          0
1800.04/1800.05	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.05	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.05	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.05	c   implics          :       0.23          0          0          0          0          0          0          0          0          0
1800.04/1800.05	c   probing          :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.05	c   knapsack         :       0.59          0          0          0          0          0          0          0         37        202
1800.04/1800.05	c   setppc           :       0.16          0          0          0          0          0          0          0          0          0
1800.04/1800.05	c   linear           :       8.01      11309       3737          0      12392          0      57056          0         27         31
1800.04/1800.05	c   logicor          :       0.04          0          0          0          0          0          0          0          0          0
1800.04/1800.05	c   root node        :          -          0          -          -          0          -          -          -          -          -
1800.04/1800.05	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.05	c   integral         :          0          0          0          0          0          1          0          0          0          0          0          0
1800.04/1800.05	c   knapsack         :        788          2          1          0          1          0          0          0          0        131          0          0
1800.04/1800.05	c   setppc           :      82085          2          1          0          1          0          0          0          0          0          0          0
1800.04/1800.05	c   logicor          :      15871          2          1          0          1          0          0          0          0          0          0          0
1800.04/1800.05	c   countsols        :          0          0          0          0          1          0          0          0          0          0          0          0
1800.04/1800.05	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1800.04/1800.05	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.04/1800.05	c   knapsack         :       0.03       0.03       0.00       0.00       0.00       0.00       0.00
1800.04/1800.05	c   setppc           :       0.02       0.01       0.00       0.00       0.01       0.00       0.00
1800.04/1800.05	c   logicor          :       0.01       0.00       0.01       0.00       0.00       0.00       0.00
1800.04/1800.05	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.04/1800.05	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1800.04/1800.05	c   vbounds          :          0          0          0          0
1800.04/1800.05	c   rootredcost      :          0          0          0          0
1800.04/1800.05	c   pseudoobj        :          0          0          0          0
1800.04/1800.05	c Propagator Timings :  TotalTime  Propagate    Resprop
1800.04/1800.05	c   vbounds          :       0.00       0.00       0.00
1800.04/1800.05	c   rootredcost      :       0.00       0.00       0.00
1800.04/1800.05	c   pseudoobj        :       0.00       0.00       0.00
1800.04/1800.05	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.05	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.05	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.05	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.05	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.05	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.05	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.04/1800.05	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.04/1800.05	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.04/1800.05	c   cut pool         :       0.00          1          -          -          0          -    (maximal pool size: 18)
1800.04/1800.05	c   redcost          :       0.00          2          0          0          0          0
1800.04/1800.05	c   impliedbounds    :       0.11          2          0          0          0          0
1800.04/1800.05	c   intobj           :       0.00          0          0          0          0          0
1800.04/1800.05	c   gomory           :     150.94          2          0          0        646          0
1800.04/1800.05	c   cgmip            :       0.00          0          0          0          0          0
1800.04/1800.05	c   closecuts        :       0.00          0          0          0          0          0
1800.04/1800.05	c   strongcg         :     148.61          2          0          0        646          0
1800.04/1800.05	c   cmir             :       0.00          0          0          0          0          0
1800.04/1800.05	c   flowcover        :       0.00          0          0          0          0          0
1800.04/1800.05	c   clique           :      31.69          2          0          0         14          0
1800.04/1800.05	c   zerohalf         :       0.00          0          0          0          0          0
1800.04/1800.05	c   mcf              :      19.98          1          0          0          0          0
1800.04/1800.05	c   oddcycle         :       0.00          0          0          0          0          0
1800.04/1800.05	c   rapidlearning    :       0.00          0          0          0          0          0
1800.04/1800.05	c Pricers            :       Time      Calls       Vars
1800.04/1800.05	c   problem variables:       0.00          0          0
1800.04/1800.05	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.05	c   relpscost        :       0.00          0          0          0          0          0          0
1800.04/1800.05	c   pscost           :       0.00          0          0          0          0          0          0
1800.04/1800.05	c   inference        :       0.00          1          0          0          0          0          2
1800.04/1800.05	c   mostinf          :       0.00          0          0          0          0          0          0
1800.04/1800.05	c   leastinf         :       0.00          0          0          0          0          0          0
1800.04/1800.05	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.04/1800.05	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.04/1800.05	c   random           :       0.00          0          0          0          0          0          0
1800.04/1800.05	c Primal Heuristics  :       Time      Calls      Found
1800.04/1800.05	c   LP solutions     :       0.00          -          0
1800.04/1800.05	c   pseudo solutions :       0.00          -          0
1800.04/1800.05	c   trivial          :       0.03          1          0
1800.04/1800.05	c   shiftandpropagate:       0.00          0          0
1800.04/1800.05	c   simplerounding   :       0.00          0          0
1800.04/1800.05	c   zirounding       :       0.00          0          0
1800.04/1800.05	c   rounding         :       0.00          0          0
1800.04/1800.05	c   shifting         :       0.00          0          0
1800.04/1800.05	c   intshifting      :       0.00          0          0
1800.04/1800.05	c   oneopt           :       0.00          0          0
1800.04/1800.05	c   twoopt           :       0.00          0          0
1800.04/1800.05	c   fixandinfer      :       0.00          0          0
1800.04/1800.05	c   feaspump         :       0.00          0          0
1800.04/1800.05	c   clique           :       0.00          0          0
1800.04/1800.05	c   coefdiving       :       0.00          0          0
1800.04/1800.05	c   pscostdiving     :       0.00          0          0
1800.04/1800.05	c   fracdiving       :       0.00          0          0
1800.04/1800.05	c   veclendiving     :       0.00          0          0
1800.04/1800.05	c   intdiving        :       0.00          0          0
1800.04/1800.05	c   actconsdiving    :       0.00          0          0
1800.04/1800.05	c   objpscostdiving  :       0.00          0          0
1800.04/1800.05	c   rootsoldiving    :       0.00          0          0
1800.04/1800.05	c   linesearchdiving :       0.00          0          0
1800.04/1800.05	c   guideddiving     :       0.00          0          0
1800.04/1800.05	c   octane           :       0.00          0          0
1800.04/1800.05	c   rens             :       0.00          0          0
1800.04/1800.05	c   rins             :       0.00          0          0
1800.04/1800.05	c   localbranching   :       0.00          0          0
1800.04/1800.05	c   mutation         :       0.00          0          0
1800.04/1800.05	c   crossover        :       0.00          0          0
1800.04/1800.05	c   dins             :       0.00          0          0
1800.04/1800.05	c   vbounds          :       0.00          0          0
1800.04/1800.05	c   undercover       :       0.00          0          0
1800.04/1800.05	c   subnlp           :       0.00          0          0
1800.04/1800.05	c   trysol           :       0.00          0          0
1800.04/1800.05	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.04/1800.05	c   primal LP        :       0.00          0          0       0.00          -
1800.04/1800.05	c   dual LP          :    1437.76          3     132800   44266.67      92.37
1800.04/1800.05	c   lex dual LP      :       0.00          0          0       0.00          -
1800.04/1800.05	c   barrier LP       :       0.00          0          0       0.00          -
1800.04/1800.05	c   diving/probing LP:       0.00          0          0       0.00          -
1800.04/1800.05	c   strong branching :       0.00          0          0       0.00          -
1800.04/1800.05	c     (at root node) :          -          0          0       0.00          -
1800.04/1800.05	c   conflict analysis:       0.00          0          0       0.00          -
1800.04/1800.05	c B&B Tree           :
1800.04/1800.05	c   number of runs   :          1
1800.04/1800.05	c   nodes            :          1
1800.04/1800.05	c   nodes (total)    :          1
1800.04/1800.05	c   nodes left       :          2
1800.04/1800.05	c   max depth        :          0
1800.04/1800.05	c   max depth (total):          0
1800.04/1800.05	c   backtracks       :          0 (0.0%)
1800.04/1800.05	c   delayed cutoffs  :          0
1800.04/1800.05	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.04/1800.05	c   avg switch length:       1.00
1800.04/1800.05	c   switching time   :       0.00
1800.04/1800.05	c Solution           :
1800.04/1800.05	c   Solutions found  :          0 (0 improvements)
1800.04/1800.05	c   Primal Bound     :          -
1800.04/1800.05	c   Dual Bound       : +0.00000000000000e+00
1800.04/1800.05	c   Gap              :   infinite
1800.04/1800.05	c   Root Dual Bound  : +0.00000000000000e+00
1800.04/1800.05	c   Root Iterations  :     132800
1800.43/1800.46	c Time complete: 1800.49.

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 2/446 12314
/proc/meminfo: memFree=31128092/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=13884 CPUtime=0 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 2436 0 0 0 0 0 0 0 25 0 1 0 823183692 14217216 2389 33554432000 4194304 9163163 140737166416656 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/12314/statm: 3471 2389 392 1214 0 2253 0

[startup+0.050326 s]
/proc/loadavg: 2.00 2.01 2.00 2/446 12314
/proc/meminfo: memFree=31128092/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=22156 CPUtime=0.03 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 4412 0 0 0 3 0 0 0 25 0 1 0 823183692 22687744 4365 33554432000 4194304 9163163 140737166416656 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/12314/statm: 5539 4399 392 1214 0 4321 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 22156

[startup+0.100337 s]
/proc/loadavg: 2.00 2.01 2.00 2/446 12314
/proc/meminfo: memFree=31128092/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=30060 CPUtime=0.09 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 6495 0 0 0 8 1 0 0 25 0 1 0 823183692 30781440 6448 33554432000 4194304 9163163 140737166416656 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/12314/statm: 7515 6461 392 1214 0 6297 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30060

[startup+0.300186 s]
/proc/loadavg: 2.00 2.01 2.00 2/446 12314
/proc/meminfo: memFree=31128092/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=48284 CPUtime=0.29 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 11058 0 0 0 27 2 0 0 25 0 1 0 823183692 49442816 11002 33554432000 4194304 9163163 140737166416656 18446744073709551615 4485216 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/12314/statm: 12071 11002 392 1214 0 10853 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48284

[startup+0.700177 s]
/proc/loadavg: 2.00 2.01 2.00 2/446 12314
/proc/meminfo: memFree=31128092/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=79744 CPUtime=0.69 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 18934 0 0 0 66 3 0 0 25 0 1 0 823183692 81657856 18878 33554432000 4194304 9163163 140737166416656 18446744073709551615 6165412 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/12314/statm: 19936 18878 392 1214 0 18718 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 79744

[startup+1.50109 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 12315
/proc/meminfo: memFree=31026964/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=271040 CPUtime=1.49 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 65862 0 0 0 141 8 0 0 25 0 1 0 823183692 277544960 65759 33554432000 4194304 9163163 140737166416656 18446744073709551615 6567814 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12314/statm: 67760 65759 504 1214 0 66542 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 271040

[startup+3.10074 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 12315
/proc/meminfo: memFree=30785288/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=447012 CPUtime=3.09 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 109560 0 0 0 296 13 0 0 25 0 1 0 823183692 457740288 109457 33554432000 4194304 9163163 140737166416656 18446744073709551615 6918256 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12314/statm: 111753 109457 505 1214 0 110535 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 447012

[startup+6.30019 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 12315
/proc/meminfo: memFree=30569896/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=573700 CPUtime=6.29 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 139423 0 0 0 613 16 0 0 25 0 1 0 823183692 587468800 139063 33554432000 4194304 9163163 140737166416656 18446744073709551615 6568751 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12314/statm: 143425 139063 517 1214 0 142207 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 573700

[startup+12.701 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 12315
/proc/meminfo: memFree=30403800/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=767320 CPUtime=12.69 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 193261 0 0 0 1246 23 0 0 21 0 1 0 823183692 785735680 182159 33554432000 4194304 9163163 140737166416656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12314/statm: 191830 182159 764 1214 0 190612 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 767320

[startup+25.5007 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 12316
/proc/meminfo: memFree=30366324/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=780632 CPUtime=25.5 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 198228 0 0 0 2525 25 0 0 25 0 1 0 823183692 799367168 186900 33554432000 4194304 9163163 140737166416656 18446744073709551615 7353944 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12314/statm: 195158 186900 720 1214 0 193940 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 780632

[startup+51.1002 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 12316
/proc/meminfo: memFree=30364356/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=781228 CPUtime=51.1 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 198788 0 0 0 5083 27 0 0 25 0 1 0 823183692 799977472 187460 33554432000 4194304 9163163 140737166416656 18446744073709551615 8041869 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12314/statm: 195307 187460 734 1214 0 194089 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 781228

[startup+102.317 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 12318
/proc/meminfo: memFree=30357688/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=786372 CPUtime=102.31 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 200247 0 0 0 10201 30 0 0 25 0 1 0 823183692 805244928 188879 33554432000 4194304 9163163 140737166416656 18446744073709551615 7349062 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12314/statm: 196593 188879 694 1214 0 195375 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 786372

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 12319
/proc/meminfo: memFree=30343384/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=797392 CPUtime=162.29 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 203753 0 0 0 16194 35 0 0 25 0 1 0 823183692 816529408 192385 33554432000 4194304 9163163 140737166416656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12314/statm: 199348 192385 715 1214 0 198130 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 797392

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 12349
/proc/meminfo: memFree=30059984/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=797392 CPUtime=222.29 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 203782 0 0 0 22190 39 0 0 25 0 1 0 823183692 816529408 192414 33554432000 4194304 9163163 140737166416656 18446744073709551615 6966384 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12314/statm: 199348 192414 715 1214 0 198130 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 797392

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 12350
/proc/meminfo: memFree=30047480/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=804468 CPUtime=282.3 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 204329 0 0 0 28187 43 0 0 25 0 1 0 823183692 823775232 192940 33554432000 4194304 9163163 140737166416656 18446744073709551615 6974015 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12314/statm: 201117 192940 694 1214 0 199899 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 804468

[startup+342.301 s]
/proc/loadavg: 2.15 2.03 2.01 3/447 12352
/proc/meminfo: memFree=30042180/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=804468 CPUtime=342.3 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 204333 0 0 0 34184 46 0 0 25 0 1 0 823183692 823775232 192944 33554432000 4194304 9163163 140737166416656 18446744073709551615 7348020 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12314/statm: 201117 192944 694 1214 0 199899 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 804468

[startup+402.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/447 12354
/proc/meminfo: memFree=30042264/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=804468 CPUtime=402.3 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 204335 0 0 0 40182 48 0 0 25 0 1 0 823183692 823775232 192946 33554432000 4194304 9163163 140737166416656 18446744073709551615 7349126 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12314/statm: 201117 192946 694 1214 0 199899 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 804468

[startup+462.301 s]
/proc/loadavg: 2.20 2.06 2.01 3/447 12355
/proc/meminfo: memFree=30055248/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=804468 CPUtime=462.29 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 204338 0 0 0 46179 50 0 0 25 0 1 0 823183692 823775232 192949 33554432000 4194304 9163163 140737166416656 18446744073709551615 7348512 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12314/statm: 201117 192949 694 1214 0 199899 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 804468

[startup+522.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/447 12357
/proc/meminfo: memFree=30028924/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=804468 CPUtime=522.3 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 204340 0 0 0 52176 54 0 0 25 0 1 0 823183692 823775232 192951 33554432000 4194304 9163163 140737166416656 18446744073709551615 6973991 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12314/statm: 201117 192951 694 1214 0 199899 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 804468

[startup+582.301 s]
/proc/loadavg: 2.05 2.05 2.01 3/447 12358
/proc/meminfo: memFree=30021080/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=804468 CPUtime=582.3 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 204340 0 0 0 58173 57 0 0 25 0 1 0 823183692 823775232 192951 33554432000 4194304 9163163 140737166416656 18446744073709551615 7348633 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12314/statm: 201117 192951 694 1214 0 199899 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 804468

[startup+642.3 s]

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

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 12368
/proc/meminfo: memFree=29988880/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=822788 CPUtime=942.31 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 212408 0 0 0 94153 78 0 0 25 0 1 0 823183692 842534912 200957 33554432000 4194304 9163163 140737166416656 18446744073709551615 7114432 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12314/statm: 205697 200957 696 1214 0 204479 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 822788

[startup+1002.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/447 12370
/proc/meminfo: memFree=29985228/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=822788 CPUtime=1002.31 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 212413 0 0 0 100151 80 0 0 25 0 1 0 823183692 842534912 200962 33554432000 4194304 9163163 140737166416656 18446744073709551615 7390328 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12314/statm: 205697 200962 696 1214 0 204479 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 822788

[startup+1062.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/447 12380
/proc/meminfo: memFree=29984488/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=831864 CPUtime=1062.31 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 212426 0 0 0 106148 83 0 0 25 0 1 0 823183692 851828736 200975 33554432000 4194304 9163163 140737166416656 18446744073709551615 8041864 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12314/statm: 207966 200975 696 1214 0 206748 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 831864

[startup+1122.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/447 12382
/proc/meminfo: memFree=29984316/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=831864 CPUtime=1122.31 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 212436 0 0 0 112145 86 0 0 25 0 1 0 823183692 851828736 200985 33554432000 4194304 9163163 140737166416656 18446744073709551615 7317967 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12314/statm: 207966 200985 696 1214 0 206748 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 831864

[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/447 12383
/proc/meminfo: memFree=29984260/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=831864 CPUtime=1182.32 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 212445 0 0 0 118142 90 0 0 25 0 1 0 823183692 851828736 200994 33554432000 4194304 9163163 140737166416656 18446744073709551615 7277691 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12314/statm: 207966 200994 696 1214 0 206748 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 831864

[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 12388
/proc/meminfo: memFree=29983420/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=831864 CPUtime=1242.32 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 212453 0 0 0 124140 92 0 0 25 0 1 0 823183692 851828736 201002 33554432000 4194304 9163163 140737166416656 18446744073709551615 7346722 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12314/statm: 207966 201002 696 1214 0 206748 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 831864

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 12390
/proc/meminfo: memFree=29982976/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=831864 CPUtime=1302.33 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 212463 0 0 0 130138 95 0 0 25 0 1 0 823183692 851828736 201012 33554432000 4194304 9163163 140737166416656 18446744073709551615 7360932 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12314/statm: 207966 201012 696 1214 0 206748 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 831864

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 12391
/proc/meminfo: memFree=29983788/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=831864 CPUtime=1362.32 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 212475 0 0 0 136135 97 0 0 25 0 1 0 823183692 851828736 201024 33554432000 4194304 9163163 140737166416656 18446744073709551615 7348530 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12314/statm: 207966 201024 696 1214 0 206748 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 831864

[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 12393
/proc/meminfo: memFree=29983724/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=831864 CPUtime=1422.33 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 212483 0 0 0 142132 101 0 0 25 0 1 0 823183692 851828736 201032 33554432000 4194304 9163163 140737166416656 18446744073709551615 7348188 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12314/statm: 207966 201032 696 1214 0 206748 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 831864

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 12394
/proc/meminfo: memFree=29983072/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=831864 CPUtime=1482.32 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 212491 0 0 0 148126 106 0 0 25 0 1 0 823183692 851828736 201040 33554432000 4194304 9163163 140737166416656 18446744073709551615 7054487 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12314/statm: 207966 201040 696 1214 0 206748 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 831864

[startup+1542.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/447 12396
/proc/meminfo: memFree=29983392/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=831864 CPUtime=1542.32 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 212491 0 0 0 154121 111 0 0 25 0 1 0 823183692 851828736 201040 33554432000 4194304 9163163 140737166416656 18446744073709551615 7054424 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12314/statm: 207966 201040 696 1214 0 206748 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 831864

[startup+1602.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/447 12398
/proc/meminfo: memFree=29983468/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=831864 CPUtime=1602.33 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 212491 0 0 0 160114 119 0 0 25 0 1 0 823183692 851828736 201040 33554432000 4194304 9163163 140737166416656 18446744073709551615 7054517 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12314/statm: 207966 201040 696 1214 0 206748 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 831864

[startup+1662.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/447 12399
/proc/meminfo: memFree=29983304/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=831864 CPUtime=1662.33 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 212491 0 0 0 166108 125 0 0 25 0 1 0 823183692 851828736 201040 33554432000 4194304 9163163 140737166416656 18446744073709551615 7051385 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12314/statm: 207966 201040 696 1214 0 206748 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 831864

[startup+1722.3 s]
/proc/loadavg: 2.04 2.04 2.01 3/447 12401
/proc/meminfo: memFree=29983484/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=831864 CPUtime=1722.33 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 212491 0 0 0 172101 132 0 0 25 0 1 0 823183692 851828736 201040 33554432000 4194304 9163163 140737166416656 18446744073709551615 7054517 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12314/statm: 207966 201040 696 1214 0 206748 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 831864

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/447 12402
/proc/meminfo: memFree=29986016/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=820688 CPUtime=1782.33 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 217233 0 0 0 178098 135 0 0 25 0 1 0 823183692 840384512 200192 33554432000 4194304 9163163 140737166416656 18446744073709551615 7348176 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12314/statm: 205172 200192 696 1214 0 203954 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 820688



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.03 2.00 3/447 12403
/proc/meminfo: memFree=29986124/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=820688 CPUtime=1800.04 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 217385 0 0 0 179868 136 0 0 25 0 1 0 823183692 840384512 200344 33554432000 4194304 9163163 140737166416656 18446744073709551615 7318975 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12314/statm: 205172 200344 696 1214 0 203954 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 820688

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

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

[startup+1800.2 s]
/proc/loadavg: 2.01 2.03 2.00 3/447 12403
/proc/meminfo: memFree=29986124/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=819644 CPUtime=1800.23 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 217396 0 0 0 179887 136 0 0 25 0 1 0 823183692 839315456 200094 33554432000 4194304 9163163 140737166416656 18446744073709551615 6923056 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12314/statm: 204911 200094 707 1214 0 203693 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 819644

[startup+1800.4 s]
/proc/loadavg: 2.01 2.03 2.00 3/447 12403
/proc/meminfo: memFree=29986124/32950928 swapFree=34365992/67111528
[pid=12314] ppid=12312 vsize=608500 CPUtime=1800.43 cores=0,2,4,6
/proc/12314/stat : 12314 (scip-2.0.1.4b.l) R 12312 12314 10081 0 -1 4202496 217398 0 0 0 179906 137 0 0 25 0 1 0 823183692 623104000 148007 33554432000 4194304 9163163 140737166416656 18446744073709551615 6918290 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12314/statm: 152125 148007 709 1214 0 150907 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (KiB) 608500

Child status: 0
Real time (s): 1800.46
CPU time (s): 1800.5
CPU user time (s): 1799.1
CPU system time (s): 1.40279
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 831864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.1
system time used= 1.40279
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217403
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 3037

runsolver used 7.9148 second user time and 18.3202 second system time

The end

Launcher Data 

Begin job on node120 at 2011-06-03 17:44:09
IDJOB=3451666
IDBENCH=73562
IDSOLVER=1948
FILE ID=node120/3451666-1307115849
RUNJOBID= node120-1307110430-11754
PBS_JOBID= 13498002
Free space on /tmp= 73796 MiB

SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12016_4-sat.opb
COMMAND LINE= HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3451666-1307115849/watcher-3451666-1307115849 -o /tmp/evaluation-result-3451666-1307115849/solver-3451666-1307115849 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451666-1307115849.opb -t 1800 -m 15500

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

MD5SUM BENCH= 142eb7aa6e3fc22a3161df6b33ced1a2
RANDOM SEED=746823621

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31128372 kB
Buffers:        268732 kB
Cached:         982344 kB
SwapCached:      12852 kB
Active:         601448 kB
Inactive:       928264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31128372 kB
SwapTotal:    67111528 kB
SwapFree:     34365992 kB
Dirty:           17220 kB
Writeback:           0 kB
AnonPages:      275620 kB
Mapped:          12028 kB
Slab:           132660 kB
PageTables:      91956 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 105655068 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= 73780 MiB
End job on node120 at 2011-06-03 18:14:11