Trace number 3730925

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
PB11: SCIP spx E_2 2011-06-10 (fixed)? 1797.17 1797.47

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb
MD5SUM631c705feb60dcd8a1b144825a73a754
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark2.68759
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables18069
Total number of constraints52475
Number of constraints which are clauses51555
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints920
Minimum length of a constraint1
Maximum length of a constraint11
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 39
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 132
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3730925-1338692166.opb>
0.19/0.29	c original problem has 18069 variables (18069 bin, 0 int, 0 impl, 0 cont) and 52475 constraints
0.19/0.29	c problem read
0.19/0.29	c No objective function, only one solution is needed.
0.19/0.29	c presolving settings loaded
0.39/0.41	c presolving:
0.79/0.88	c (round 1) 1245 del vars, 976 del conss, 0 add conss, 347 chg bounds, 460 chg sides, 1030 chg coeffs, 0 upgd conss, 1024988 impls, 0 clqs
0.88/0.91	c (round 2) 1290 del vars, 3093 del conss, 0 add conss, 372 chg bounds, 460 chg sides, 1030 chg coeffs, 0 upgd conss, 1025120 impls, 0 clqs
0.88/0.92	c (round 3) 1313 del vars, 3138 del conss, 0 add conss, 381 chg bounds, 460 chg sides, 1030 chg coeffs, 0 upgd conss, 1025384 impls, 0 clqs
0.88/0.92	c (round 4) 1314 del vars, 3172 del conss, 0 add conss, 381 chg bounds, 460 chg sides, 1030 chg coeffs, 0 upgd conss, 1025486 impls, 0 clqs
1.00/1.08	c (round 5) 1314 del vars, 3191 del conss, 0 add conss, 381 chg bounds, 460 chg sides, 1030 chg coeffs, 49284 upgd conss, 1025486 impls, 0 clqs
1.10/1.15	c presolving (6 rounds):
1.10/1.15	c  1314 deleted vars, 3191 deleted constraints, 0 added constraints, 381 tightened bounds, 0 added holes, 460 changed sides, 1030 changed coefficients
1.10/1.15	c  1025486 implications, 0 cliques
1.10/1.15	c presolved problem has 16755 variables (16755 bin, 0 int, 0 impl, 0 cont) and 49284 constraints
1.10/1.15	c     920 constraints of type <knapsack>
1.10/1.15	c   32261 constraints of type <setppc>
1.10/1.15	c   16103 constraints of type <logicor>
1.10/1.15	c transformed objective value is always integral (scale: 1)
1.10/1.15	c Presolving Time: 0.78
1.10/1.15	c - non default parameters ----------------------------------------------------------------------
1.10/1.15	c # SCIP version 2.0.1.5
1.10/1.15	c 
1.10/1.15	c # frequency for displaying node information lines
1.10/1.15	c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.15	c display/freq = 10000
1.10/1.15	c 
1.10/1.15	c # maximal time in seconds to run
1.10/1.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.15	c limits/time = 1797
1.10/1.15	c 
1.10/1.15	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.15	c limits/memory = 13950
1.10/1.15	c 
1.10/1.15	c # solving stops, if the given number of solutions were found (-1: no limit)
1.10/1.15	c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.15	c limits/solutions = 1
1.10/1.15	c 
1.10/1.15	c # maximal number of separation rounds per node (-1: unlimited)
1.10/1.15	c # [type: int, range: [-1,2147483647], default: 5]
1.10/1.15	c separating/maxrounds = 1
1.10/1.15	c 
1.10/1.15	c # maximal number of separation rounds in the root node (-1: unlimited)
1.10/1.15	c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.15	c separating/maxroundsroot = 5
1.10/1.15	c 
1.10/1.15	c # default clock type (1: CPU user seconds, 2: wall clock time)
1.10/1.15	c # [type: int, range: [1,2], default: 1]
1.10/1.15	c timing/clocktype = 2
1.10/1.15	c 
1.10/1.15	c # belongs reading time to solving time?
1.10/1.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15	c timing/reading = TRUE
1.10/1.15	c 
1.10/1.15	c # should presolving try to simplify inequalities
1.10/1.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15	c constraints/linear/simplifyinequalities = TRUE
1.10/1.15	c 
1.10/1.15	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.10/1.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15	c constraints/indicator/addCouplingCons = TRUE
1.10/1.15	c 
1.10/1.15	c # should disaggregation of knapsack constraints be allowed in preprocessing?
1.10/1.15	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
1.10/1.15	c constraints/knapsack/disaggregation = FALSE
1.10/1.15	c 
1.10/1.15	c # should presolving try to simplify knapsacks
1.10/1.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15	c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.15	c 
1.10/1.15	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
1.10/1.15	c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.15	c presolving/probing/maxrounds = 0
1.10/1.15	c 
1.10/1.15	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
1.10/1.15	c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.15	c heuristics/coefdiving/freq = -1
1.10/1.15	c 
1.10/1.15	c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.15	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.15	c heuristics/coefdiving/maxlpiterquot = 0.075
1.10/1.15	c 
1.10/1.15	c # additional number of allowed LP iterations
1.10/1.15	c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.15	c heuristics/coefdiving/maxlpiterofs = 1500
1.10/1.15	c 
1.10/1.15	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
1.10/1.15	c # [type: int, range: [-1,2147483647], default: 30]
1.10/1.15	c heuristics/crossover/freq = -1
1.10/1.15	c 
1.10/1.15	c # number of nodes added to the contingent of the total nodes
1.10/1.15	c # [type: longint, range: [0,9223372036854775807], default: 500]
1.10/1.15	c heuristics/crossover/nodesofs = 750
1.10/1.15	c 
1.10/1.15	c # number of nodes without incumbent change that heuristic should wait
1.10/1.15	c # [type: longint, range: [0,9223372036854775807], default: 200]
1.10/1.15	c heuristics/crossover/nwaitingnodes = 100
1.10/1.15	c 
1.10/1.15	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
1.10/1.15	c # [type: real, range: [0,1], default: 0.1]
1.10/1.15	c heuristics/crossover/nodesquot = 0.15
1.10/1.15	c 
1.10/1.15	c # minimum percentage of integer variables that have to be fixed 
1.10/1.15	c # [type: real, range: [0,1], default: 0.666]
1.10/1.15	c heuristics/crossover/minfixingrate = 0.5
1.10/1.15	c 
1.10/1.15	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
1.10/1.15	c # [type: int, range: [-1,2147483647], default: 20]
1.10/1.15	c heuristics/feaspump/freq = -1
1.10/1.15	c 
1.10/1.15	c # additional number of allowed LP iterations
1.10/1.15	c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.15	c heuristics/feaspump/maxlpiterofs = 2000
1.10/1.15	c 
1.10/1.15	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
1.10/1.15	c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.15	c heuristics/fracdiving/freq = -1
1.10/1.15	c 
1.10/1.15	c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.15	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.15	c heuristics/fracdiving/maxlpiterquot = 0.075
1.10/1.15	c 
1.10/1.15	c # additional number of allowed LP iterations
1.10/1.15	c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.15	c heuristics/fracdiving/maxlpiterofs = 1500
1.10/1.15	c 
1.10/1.15	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
1.10/1.15	c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.15	c heuristics/guideddiving/freq = -1
1.10/1.15	c 
1.10/1.15	c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.15	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.15	c heuristics/guideddiving/maxlpiterquot = 0.075
1.10/1.15	c 
1.10/1.15	c # additional number of allowed LP iterations
1.10/1.15	c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.15	c heuristics/guideddiving/maxlpiterofs = 1500
1.10/1.15	c 
1.10/1.15	c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.15	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.15	c heuristics/intdiving/maxlpiterquot = 0.075
1.10/1.15	c 
1.10/1.15	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
1.10/1.15	c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.15	c heuristics/intshifting/freq = -1
1.10/1.15	c 
1.10/1.15	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
1.10/1.15	c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.15	c heuristics/linesearchdiving/freq = -1
1.10/1.15	c 
1.10/1.15	c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.15	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.15	c heuristics/linesearchdiving/maxlpiterquot = 0.075
1.10/1.15	c 
1.10/1.15	c # additional number of allowed LP iterations
1.10/1.15	c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.15	c heuristics/linesearchdiving/maxlpiterofs = 1500
1.10/1.15	c 
1.10/1.15	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
1.10/1.15	c # [type: int, range: [-1,2147483647], default: 20]
1.10/1.15	c heuristics/objpscostdiving/freq = -1
1.10/1.15	c 
1.10/1.15	c # maximal fraction of diving LP iterations compared to total iteration number
1.10/1.15	c # [type: real, range: [0,1], default: 0.01]
1.10/1.15	c heuristics/objpscostdiving/maxlpiterquot = 0.015
1.10/1.15	c 
1.10/1.15	c # additional number of allowed LP iterations
1.10/1.15	c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.15	c heuristics/objpscostdiving/maxlpiterofs = 1500
1.10/1.15	c 
1.10/1.15	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
1.10/1.15	c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.15	c heuristics/oneopt/freq = -1
1.10/1.15	c 
1.10/1.15	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
1.10/1.15	c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.15	c heuristics/pscostdiving/freq = -1
1.10/1.15	c 
1.10/1.15	c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.15	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.15	c heuristics/pscostdiving/maxlpiterquot = 0.075
1.10/1.15	c 
1.10/1.15	c # additional number of allowed LP iterations
1.10/1.15	c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.15	c heuristics/pscostdiving/maxlpiterofs = 1500
1.10/1.15	c 
1.10/1.15	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
1.10/1.15	c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.15	c heuristics/rens/freq = -1
1.10/1.15	c 
1.10/1.15	c # minimum percentage of integer variables that have to be fixable 
1.10/1.15	c # [type: real, range: [0,1], default: 0.5]
1.10/1.15	c heuristics/rens/minfixingrate = 0.3
1.10/1.15	c 
1.10/1.15	c # number of nodes added to the contingent of the total nodes
1.10/1.15	c # [type: longint, range: [0,9223372036854775807], default: 500]
1.10/1.15	c heuristics/rens/nodesofs = 2000
1.10/1.15	c 
1.10/1.15	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
1.10/1.15	c # [type: int, range: [-1,2147483647], default: 20]
1.10/1.15	c heuristics/rootsoldiving/freq = -1
1.10/1.15	c 
1.10/1.15	c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.15	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
1.10/1.15	c heuristics/rootsoldiving/maxlpiterquot = 0.015
1.10/1.15	c 
1.10/1.15	c # additional number of allowed LP iterations
1.10/1.15	c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.15	c heuristics/rootsoldiving/maxlpiterofs = 1500
1.10/1.15	c 
1.10/1.15	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
1.10/1.15	c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.15	c heuristics/rounding/freq = -1
1.10/1.15	c 
1.10/1.15	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
1.10/1.15	c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.15	c heuristics/shiftandpropagate/freq = -1
1.10/1.15	c 
1.10/1.15	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
1.10/1.15	c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.15	c heuristics/shifting/freq = -1
1.10/1.15	c 
1.10/1.15	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
1.10/1.15	c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.15	c heuristics/simplerounding/freq = -1
1.10/1.15	c 
1.10/1.15	c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
1.10/1.15	c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.15	c heuristics/subnlp/freq = -1
1.10/1.15	c 
1.10/1.15	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
1.10/1.15	c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.15	c heuristics/trivial/freq = -1
1.10/1.15	c 
1.10/1.15	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
1.10/1.15	c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.15	c heuristics/trysol/freq = -1
1.10/1.15	c 
1.10/1.15	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
1.10/1.15	c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.15	c heuristics/undercover/freq = -1
1.10/1.15	c 
1.10/1.15	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
1.10/1.15	c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.15	c heuristics/veclendiving/freq = -1
1.10/1.15	c 
1.10/1.15	c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.15	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.15	c heuristics/veclendiving/maxlpiterquot = 0.075
1.10/1.15	c 
1.10/1.15	c # additional number of allowed LP iterations
1.10/1.15	c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.15	c heuristics/veclendiving/maxlpiterofs = 1500
1.10/1.15	c 
1.10/1.15	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
1.10/1.15	c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.15	c heuristics/zirounding/freq = -1
1.10/1.15	c 
1.10/1.15	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
1.10/1.15	c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.15	c separating/cmir/freq = -1
1.10/1.15	c 
1.10/1.15	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
1.10/1.15	c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.15	c separating/flowcover/freq = -1
1.10/1.15	c 
1.10/1.15	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.10/1.15	c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.15	c separating/rapidlearning/freq = 0
1.10/1.15	c 
1.10/1.15	c -----------------------------------------------------------------------------------------------
1.10/1.15	c start solving
1.10/1.15	c 
2.29/2.36	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
2.29/2.36	c   2.4s|     1 |     0 |  5290 |     - | 126M|   0 |2580 |  16k|  49k|  16k|  49k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
5.49/5.52	c   5.5s|     1 |     0 | 10073 |     - | 126M|   0 |3866 |  16k|  49k|  16k|  49k|  86 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
8.29/8.32	c   8.3s|     1 |     0 | 14245 |     - | 127M|   0 |3917 |  16k|  49k|  16k|  49k| 188 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
13.09/13.16	c  13.2s|     1 |     0 | 22183 |     - | 127M|   0 |4367 |  16k|  49k|  16k|  49k| 334 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
30.08/30.19	c  30.2s|     1 |     0 | 31246 |     - | 128M|   0 |4684 |  16k|  49k|  16k|  49k| 471 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
38.79/38.81	c  38.8s|     1 |     0 | 41364 |     - | 128M|   0 |4968 |  16k|  49k|  16k|  49k| 611 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
58.78/58.81	c  58.8s|     1 |     2 | 41364 |     - | 128M|   0 |4968 |  16k|  49k|  16k|  49k| 611 |   0 |  24 | 0.000000e+00 |      --      |    Inf 
1796.89/1797.30	c 
1796.89/1797.30	c SCIP Status        : solving was interrupted [time limit reached]
1796.89/1797.30	c Solving Time (sec) : 1797.30
1796.89/1797.30	c Solving Nodes      : 4114
1796.89/1797.30	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.89/1797.30	c Dual Bound         : +0.00000000000000e+00
1796.89/1797.30	c Gap                : infinite
1796.89/1797.30	s UNKNOWN
1796.89/1797.30	c SCIP Status        : solving was interrupted [time limit reached]
1796.89/1797.30	c Total Time         :    1797.30
1796.89/1797.30	c   solving          :    1797.30
1796.89/1797.30	c   presolving       :       0.78 (included in solving)
1796.89/1797.30	c   reading          :       0.29 (included in solving)
1796.89/1797.30	c Original Problem   :
1796.89/1797.30	c   Problem name     : HOME/instance-3730925-1338692166.opb
1796.89/1797.30	c   Variables        : 18069 (18069 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.89/1797.30	c   Constraints      : 52475 initial, 52475 maximal
1796.89/1797.30	c Presolved Problem  :
1796.89/1797.30	c   Problem name     : t_HOME/instance-3730925-1338692166.opb
1796.89/1797.30	c   Variables        : 16755 (16755 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.89/1797.30	c   Constraints      : 49284 initial, 52753 maximal
1796.89/1797.30	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.89/1797.30	c   trivial          :       0.01         18          0          0          0          0          0          0          0          0
1796.89/1797.30	c   dualfix          :       0.00          0          0          0          0          0          0          0          0          0
1796.89/1797.30	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1796.89/1797.30	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1796.89/1797.30	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
1796.89/1797.30	c   implics          :       0.10          0        911          0          0          0          0          0          0          0
1796.89/1797.30	c   probing          :       0.00          0          0          0          0          0          0          0          0          0
1796.89/1797.30	c   knapsack         :       0.01          0          0          0          0          0          0          0          0          0
1796.89/1797.30	c   setppc           :       0.04          0          0          0          0          0          0          0          0          0
1796.89/1797.30	c   linear           :       0.53        381          4          0        381          0       3191          0        460       1030
1796.89/1797.30	c   logicor          :       0.02          0          0          0          0          0          0          0          0          0
1796.89/1797.30	c   root node        :          -          0          -          -          0          -          -          -          -          -
1796.89/1797.30	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1796.89/1797.30	c   integral         :          0          0          0       2949          0          1          0         11        159          0          0       5774
1796.89/1797.30	c   knapsack         :        920          5     102247          0         44          0          0          0        127       1000          0          0
1796.89/1797.30	c   setppc           :      32261          5     102247          0         44          0    1477660        901    1353303          0          0          0
1796.89/1797.30	c   logicor          :      16103+         5      97042          0         13          0     674340       1401     997912          0          0          0
1796.89/1797.30	c   countsols        :          0          0          0          0          1          0          0          0          0          0          0          0
1796.89/1797.30	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1796.89/1797.30	c   integral         :     754.59       0.00       0.00     754.59       0.00       0.00       0.00
1796.89/1797.30	c   knapsack         :       1.19       0.01       1.18       0.00       0.00       0.00       0.00
1796.89/1797.30	c   setppc           :      10.50       0.01       9.99       0.00       0.03       0.00       0.48
1796.89/1797.30	c   logicor          :       3.63       0.01       3.23       0.00       0.01       0.00       0.39
1796.89/1797.30	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.89/1797.30	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1796.89/1797.30	c   vbounds          :          0          0          0          0
1796.89/1797.30	c   rootredcost      :          0          0          0          0
1796.89/1797.30	c   pseudoobj        :          0          0          0          0
1796.89/1797.30	c Propagator Timings :  TotalTime  Propagate    Resprop
1796.89/1797.30	c   vbounds          :       0.01       0.01       0.00
1796.89/1797.30	c   rootredcost      :       0.01       0.01       0.00
1796.89/1797.30	c   pseudoobj        :       0.01       0.01       0.00
1796.89/1797.30	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.89/1797.30	c   propagation      :       1.75       2302       2074      27927      110.3        366       21.4          -
1796.89/1797.30	c   infeasible LP    :       0.07         19         19         53       31.2         12       24.8          0
1796.89/1797.30	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.89/1797.30	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.89/1797.30	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.89/1797.30	c   applied globally :          -          -          -       8256       74.8          -          -          -
1796.89/1797.30	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.89/1797.30	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1796.89/1797.30	c   cut pool         :       0.00          4          -          -        161          -    (maximal pool size: 1460)
1796.89/1797.30	c   redcost          :       1.34       2913          0          0          0          0
1796.89/1797.30	c   impliedbounds    :       0.02          5          0          0          0          0
1796.89/1797.30	c   intobj           :       0.00          0          0          0          0          0
1796.89/1797.30	c   gomory           :       8.88          5          0          0       2500          0
1796.89/1797.30	c   cgmip            :       0.00          0          0          0          0          0
1796.89/1797.30	c   closecuts        :       0.00          0          0          0          0          0
1796.89/1797.30	c   strongcg         :       7.13          5          0          0       2500          0
1796.89/1797.30	c   cmir             :       0.00          0          0          0          0          0
1796.89/1797.30	c   flowcover        :       0.00          0          0          0          0          0
1796.89/1797.30	c   clique           :       1.38          5          0          0         34          0
1796.89/1797.30	c   zerohalf         :       0.00          0          0          0          0          0
1796.89/1797.30	c   mcf              :       0.33          1          0          0          0          0
1796.89/1797.30	c   oddcycle         :       0.00          0          0          0          0          0
1796.89/1797.30	c   rapidlearning    :       0.00          0          0          0          0          0
1796.89/1797.30	c Pricers            :       Time      Calls       Vars
1796.89/1797.30	c   problem variables:       0.00          0          0
1796.89/1797.30	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.89/1797.30	c   relpscost        :     754.59       2949         11        159          0          0       5774
1796.89/1797.30	c   pscost           :       0.00          0          0          0          0          0          0
1796.89/1797.30	c   inference        :       0.00          1          0          0          0          0          2
1796.89/1797.30	c   mostinf          :       0.00          0          0          0          0          0          0
1796.89/1797.30	c   leastinf         :       0.00          0          0          0          0          0          0
1796.89/1797.30	c   fullstrong       :       0.00          0          0          0          0          0          0
1796.89/1797.30	c   allfullstrong    :       0.00          0          0          0          0          0          0
1796.89/1797.30	c   random           :       0.00          0          0          0          0          0          0
1796.89/1797.30	c Primal Heuristics  :       Time      Calls      Found
1796.89/1797.30	c   LP solutions     :       0.00          -          0
1796.89/1797.30	c   pseudo solutions :       0.00          -          0
1796.89/1797.30	c   trivial          :       0.01          1          0
1796.89/1797.30	c   shiftandpropagate:       0.00          0          0
1796.89/1797.30	c   simplerounding   :       0.00          0          0
1796.89/1797.30	c   zirounding       :       0.00          0          0
1796.89/1797.30	c   rounding         :       0.00          0          0
1796.89/1797.30	c   shifting         :       0.00          0          0
1796.89/1797.30	c   intshifting      :       0.00          0          0
1796.89/1797.30	c   oneopt           :       0.00          0          0
1796.89/1797.30	c   twoopt           :       0.00          0          0
1796.89/1797.30	c   fixandinfer      :       0.00          0          0
1796.89/1797.30	c   feaspump         :       0.00          0          0
1796.89/1797.30	c   clique           :       0.00          0          0
1796.89/1797.30	c   coefdiving       :       0.00          0          0
1796.89/1797.30	c   pscostdiving     :       0.00          0          0
1796.89/1797.30	c   fracdiving       :       0.00          0          0
1796.89/1797.30	c   veclendiving     :       0.00          0          0
1796.89/1797.30	c   intdiving        :       0.00          0          0
1796.89/1797.30	c   actconsdiving    :       0.00          0          0
1796.89/1797.30	c   objpscostdiving  :       0.00          0          0
1796.89/1797.30	c   rootsoldiving    :       0.00          0          0
1796.89/1797.30	c   linesearchdiving :       0.00          0          0
1796.89/1797.30	c   guideddiving     :       0.00          0          0
1796.89/1797.30	c   octane           :       0.00          0          0
1796.89/1797.30	c   rens             :       0.00          0          0
1796.89/1797.30	c   rins             :       0.00          0          0
1796.89/1797.30	c   localbranching   :       0.00          0          0
1796.89/1797.30	c   mutation         :       0.00          0          0
1796.89/1797.30	c   crossover        :       0.00          0          0
1796.89/1797.30	c   dins             :       0.00          0          0
1796.89/1797.30	c   vbounds          :       0.00          0          0
1796.89/1797.30	c   undercover       :       0.00          0          0
1796.89/1797.30	c   subnlp           :       0.00          0          0
1796.89/1797.30	c   trysol           :       0.00          0          0
1796.89/1797.30	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1796.89/1797.30	c   primal LP        :       0.02          0          0       0.00       0.00
1796.89/1797.30	c   dual LP          :     976.47       2973    1829846     615.49    1873.94
1796.89/1797.30	c   lex dual LP      :       0.00          0          0       0.00          -
1796.89/1797.30	c   barrier LP       :       0.00          0          0       0.00          -
1796.89/1797.30	c   diving/probing LP:       0.00          0          0       0.00          -
1796.89/1797.30	c   strong branching :     752.36       1556    1041691     669.47    1384.56
1796.89/1797.30	c     (at root node) :          -         24      20926     871.92          -
1796.89/1797.30	c   conflict analysis:       0.00          0          0       0.00          -
1796.89/1797.30	c B&B Tree           :
1796.89/1797.30	c   number of runs   :          1
1796.89/1797.30	c   nodes            :       4114
1796.89/1797.30	c   nodes (total)    :       4114
1796.89/1797.30	c   nodes left       :         50
1796.89/1797.30	c   max depth        :         73
1796.89/1797.30	c   max depth (total):         73
1796.89/1797.30	c   backtracks       :       1200 (29.2%)
1796.89/1797.30	c   delayed cutoffs  :       1613
1796.89/1797.30	c   repropagations   :       3166 (783646 domain reductions, 1106 cutoffs)
1796.89/1797.30	c   avg switch length:       3.04
1796.89/1797.30	c   switching time   :       6.96
1796.89/1797.30	c Solution           :
1796.89/1797.30	c   Solutions found  :          0 (0 improvements)
1796.89/1797.30	c   Primal Bound     :          -
1796.89/1797.30	c   Dual Bound       : +0.00000000000000e+00
1796.89/1797.30	c   Gap              :   infinite
1796.89/1797.30	c   Root Dual Bound  : +0.00000000000000e+00
1796.89/1797.30	c   Root Iterations  :      41364
1797.10/1797.47	c Time complete: 1797.17.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3730925-1338692166/watcher-3730925-1338692166 -o /tmp/evaluation-result-3730925-1338692166/solver-3730925-1338692166 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3730925-1338692166.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.00 2.00 3/174 30968
/proc/meminfo: memFree=26682840/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=10952 CPUtime=0 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 1648 0 0 0 0 0 0 0 20 0 1 0 335342543 11214848 1603 33554432000 4194304 9016284 140734998964912 140735292751496 7870589 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 2738 1615 340 1178 0 1556 0

[startup+0.0754179 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 30968
/proc/meminfo: memFree=26682840/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=23220 CPUtime=0.06 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 4801 0 0 0 6 0 0 0 20 0 1 0 335342543 23777280 4755 33554432000 4194304 9016284 140734998964912 140735292751496 5207557 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 5805 4755 357 1178 0 4623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 23220

[startup+0.100369 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 30968
/proc/meminfo: memFree=26682840/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=24824 CPUtime=0.09 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 5186 0 0 0 9 0 0 0 20 0 1 0 335342543 25419776 5140 33554432000 4194304 9016284 140734998964912 140735292751496 7870473 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 6206 5140 357 1178 0 5024 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24824

[startup+0.300309 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 30968
/proc/meminfo: memFree=26682840/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=49244 CPUtime=0.29 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 11162 0 0 0 28 1 0 0 20 0 1 0 335342543 50425856 11116 33554432000 4194304 9016284 140734998964912 140734998828808 7870589 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 12311 11136 396 1178 0 11129 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49244

[startup+0.700321 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 30968
/proc/meminfo: memFree=26682840/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=134620 CPUtime=0.69 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 31960 0 0 0 65 4 0 0 20 0 1 0 335342543 137850880 31861 33554432000 4194304 9016284 140734998964912 140734998828808 4460361 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 33655 31861 490 1178 0 32473 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 134620

[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30969
/proc/meminfo: memFree=26538380/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=242004 CPUtime=1.48 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 57766 0 0 0 140 8 0 0 20 0 1 0 335342543 247812096 56882 33554432000 4194304 9016284 140734998964912 140734998960616 6971634 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 60501 56882 631 1178 0 59319 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 242004

[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30969
/proc/meminfo: memFree=26449836/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=246256 CPUtime=3.09 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 60256 0 0 0 300 9 0 0 20 0 1 0 335342543 252166144 59269 33554432000 4194304 9016284 140734998964912 140734998958872 18446744073699066186 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 61564 59269 656 1178 0 60382 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 246256

[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30969
/proc/meminfo: memFree=26443644/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=248096 CPUtime=6.29 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 61065 0 0 0 620 9 0 0 20 0 1 0 335342543 254050304 60044 33554432000 4194304 9016284 140734998964912 140734998960072 6227822 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 62024 60044 667 1178 0 60842 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 248096

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30969
/proc/meminfo: memFree=26436212/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=257044 CPUtime=12.69 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 63135 0 0 0 1257 12 0 0 20 0 1 0 335342543 263213056 62104 33554432000 4194304 9016284 140734998964912 140734998958872 7191297 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 64261 62104 667 1178 0 63079 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 257044

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30969
/proc/meminfo: memFree=26436096/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=257044 CPUtime=25.48 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 63181 0 0 0 2533 15 0 0 20 0 1 0 335342543 263213056 62150 33554432000 4194304 9016284 140734998964912 140734998958776 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 64261 62150 667 1178 0 63079 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 257044

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30969
/proc/meminfo: memFree=26427788/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=264808 CPUtime=51.08 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 65307 0 0 0 5085 23 0 0 20 0 1 0 335342543 271163392 64275 33554432000 4194304 9016284 140734998964912 140734998958168 7082012 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 66202 64275 670 1178 0 65020 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 264808

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30969
/proc/meminfo: memFree=26425308/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=266872 CPUtime=102.28 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 65832 0 0 0 10193 35 0 0 20 0 1 0 335342543 273276928 64800 33554432000 4194304 9016284 140734998964912 140734998958664 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 66718 64800 675 1178 0 65536 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 266872

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 30969
/proc/meminfo: memFree=26419856/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=266960 CPUtime=162.27 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 91479 0 0 0 16177 50 0 0 20 0 1 0 335342543 273367040 65087 33554432000 4194304 9016284 140734998964912 140734998958664 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 66740 65087 675 1178 0 65558 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 266960

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30970
/proc/meminfo: memFree=26422512/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=266960 CPUtime=222.26 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 102254 0 0 0 22163 63 0 0 20 0 1 0 335342543 273367040 64441 33554432000 4194304 9016284 140734998964912 140734998958168 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 66740 64441 675 1178 0 65558 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 266960

[startup+282.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 30973
/proc/meminfo: memFree=26409660/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=277244 CPUtime=282.25 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 125857 0 0 0 28145 80 0 0 20 0 1 0 335342543 283897856 67372 33554432000 4194304 9016284 140734998964912 140734998958664 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 69311 67372 678 1178 0 68129 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 277244

[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 31034
/proc/meminfo: memFree=27236836/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=279732 CPUtime=342.23 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 138253 0 0 0 34124 99 0 0 20 0 1 0 335342543 286445568 68246 33554432000 4194304 9016284 140734998964912 140734998959080 6971617 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 69933 68246 680 1178 0 68751 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 279732

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31034
/proc/meminfo: memFree=27231304/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=283872 CPUtime=402.21 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 168311 0 0 0 40102 119 0 0 20 0 1 0 335342543 290684928 69395 33554432000 4194304 9016284 140734998964912 140734998958776 7227408 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 70968 69395 680 1178 0 69786 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 283872

[startup+462.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 31034
/proc/meminfo: memFree=27222472/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=291808 CPUtime=462.2 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 197777 0 0 0 46079 141 0 0 20 0 1 0 335342543 298811392 70772 33554432000 4194304 9016284 140734998964912 140734998958168 7081886 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 72952 70772 680 1178 0 71770 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 291808

[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 31035
/proc/meminfo: memFree=27210672/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=301084 CPUtime=522.2 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 245254 0 0 0 52056 164 0 0 20 0 1 0 335342543 308310016 73963 33554432000 4194304 9016284 140734998964912 140734998958168 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 75271 73963 680 1178 0 74089 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 301084

[startup+582.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 31035
/proc/meminfo: memFree=27199984/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=308028 CPUtime=582.19 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 252458 0 0 0 58038 181 0 0 20 0 1 0 335342543 315420672 75541 33554432000 4194304 9016284 140734998964912 140734998959240 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 77007 75541 680 1178 0 75825 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 308028

[startup+642.3 s]

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

/proc/meminfo: memFree=27159360/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=338484 CPUtime=1122.1 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 467649 0 0 0 111868 342 0 0 20 0 1 0 335342543 346607616 82989 33554432000 4194304 9016284 140734998964912 140734998959080 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 84621 82989 680 1178 0 83439 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 338484

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 31040
/proc/meminfo: memFree=27161216/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=341480 CPUtime=1182.09 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 514342 0 0 0 117845 364 0 0 20 0 1 0 335342543 349675520 83653 33554432000 4194304 9016284 140734998964912 140734998958712 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 85370 83653 680 1178 0 84188 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 341480

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31040
/proc/meminfo: memFree=27147076/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=347712 CPUtime=1242.08 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 526974 0 0 0 123828 380 0 0 20 0 1 0 335342543 356057088 85934 33554432000 4194304 9016284 140734998964912 140734998958776 7214194 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 86928 85934 680 1178 0 85746 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 347712

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31040
/proc/meminfo: memFree=27148924/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=348256 CPUtime=1302.08 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 532873 0 0 0 129813 395 0 0 20 0 1 0 335342543 356614144 85385 33554432000 4194304 9016284 140734998964912 140734998958664 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 87064 85385 680 1178 0 85882 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 348256

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31040
/proc/meminfo: memFree=27148056/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=351808 CPUtime=1362.05 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 569728 0 0 0 135792 413 0 0 20 0 1 0 335342543 360251392 86034 33554432000 4194304 9016284 140734998964912 140734998958872 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 87952 86034 680 1178 0 86770 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 351808

[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 31041
/proc/meminfo: memFree=27137824/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=359396 CPUtime=1422.05 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 590663 0 0 0 141774 431 0 0 20 0 1 0 335342543 368021504 88234 33554432000 4194304 9016284 140734998964912 140734998958664 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 89849 88234 680 1178 0 88667 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 359396

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 31044
/proc/meminfo: memFree=27134156/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=361896 CPUtime=1482.04 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 617376 0 0 0 147755 449 0 0 20 0 1 0 335342543 370581504 89121 33554432000 4194304 9016284 140734998964912 140734998958824 6971592 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 90474 89121 680 1178 0 89292 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 361896

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31044
/proc/meminfo: memFree=27131808/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=363464 CPUtime=1542.03 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 617785 0 0 0 153735 468 0 0 20 0 1 0 335342543 372187136 89530 33554432000 4194304 9016284 140734998964912 140734998958968 7227746 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 90866 89530 680 1178 0 89684 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 363464

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31044
/proc/meminfo: memFree=27124736/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=369940 CPUtime=1602.02 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 627219 0 0 0 159716 486 0 0 20 0 1 0 335342543 378818560 90885 33554432000 4194304 9016284 140734998964912 140734998958712 7214028 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 92485 90885 680 1178 0 91303 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 369940

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31082
/proc/meminfo: memFree=27302036/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=368804 CPUtime=1662.01 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 635887 0 0 0 165700 501 0 0 20 0 1 0 335342543 377655296 90714 33554432000 4194304 9016284 140734998964912 140734998957832 6971607 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 92201 90714 680 1178 0 91019 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 368804

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31083
/proc/meminfo: memFree=27292208/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=370020 CPUtime=1722 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 645325 0 0 0 171684 516 0 0 20 0 1 0 335342543 378900480 90936 33554432000 4194304 9016284 140734998964912 140734998958760 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 92505 90936 680 1178 0 91323 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 370020

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31083
/proc/meminfo: memFree=27280116/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=373252 CPUtime=1781.99 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 651047 0 0 0 177669 530 0 0 20 0 1 0 335342543 382210048 91959 33554432000 4194304 9016284 140734998964912 140734998959080 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 93313 91959 680 1178 0 92131 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 373252

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31083
/proc/meminfo: memFree=27279744/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=373252 CPUtime=1785.19 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 651053 0 0 0 177988 531 0 0 20 0 1 0 335342543 382210048 91965 33554432000 4194304 9016284 140734998964912 140734998958776 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 93313 91965 680 1178 0 92131 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 373252

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31083
/proc/meminfo: memFree=27278380/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=374832 CPUtime=1791.59 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 651310 0 0 0 178626 533 0 0 20 0 1 0 335342543 383827968 92222 33554432000 4194304 9016284 140734998964912 140734998958776 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 93708 92222 680 1178 0 92526 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 374832

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31083
/proc/meminfo: memFree=27286316/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=370652 CPUtime=1794.79 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 651605 0 0 0 178945 534 0 0 20 0 1 0 335342543 379547648 90277 33554432000 4194304 9016284 140734998964912 140734998958664 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 92663 90277 680 1178 0 91481 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 370652

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31083
/proc/meminfo: memFree=27280736/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=373364 CPUtime=1796.39 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 652977 0 0 0 179104 535 0 0 20 0 1 0 335342543 382324736 91649 33554432000 4194304 9016284 140734998964912 140734998958968 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 93341 91649 680 1178 0 92159 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 373364

[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31083
/proc/meminfo: memFree=27280736/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=373364 CPUtime=1796.79 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 652980 0 0 0 179144 535 0 0 20 0 1 0 335342543 382324736 91652 33554432000 4194304 9016284 140734998964912 140734998958968 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 93341 91652 680 1178 0 92159 0
Current children cumulated CPU time (s) 1796.79
Current children cumulated vsize (KiB) 373364

[startup+1797.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31083
/proc/meminfo: memFree=27279372/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=374708 CPUtime=1797 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 653239 0 0 0 179165 535 0 0 20 0 1 0 335342543 383700992 91911 33554432000 4194304 9016284 140734998964912 140734998958664 4889380 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 93677 91911 682 1178 0 92495 0
Current children cumulated CPU time (s) 1797
Current children cumulated vsize (KiB) 374708

[startup+1797.41 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31083
/proc/meminfo: memFree=27279372/32873852 swapFree=6856/6856
[pid=30968] ppid=30966 vsize=374564 CPUtime=1797.1 cores=0,2,4,6
/proc/30968/stat : 30968 (scip-2.0.1.4b_2) R 30966 30968 20074 0 -1 4202496 653260 0 0 0 179175 535 0 0 20 0 1 0 335342543 383553536 91896 33554432000 4194304 9016284 140734998964912 140734998958664 4881085 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30968/statm: 93641 91896 687 1178 0 92459 0
Current children cumulated CPU time (s) 1797.1
Current children cumulated vsize (KiB) 374564

Child status: 0
Real time (s): 1797.47
CPU time (s): 1797.17
CPU user time (s): 1791.81
CPU system time (s): 5.36118
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 375524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.81
system time used= 5.36118
maximum resident set size= 370016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 653268
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= 55
involuntary context switches= 1854

runsolver used 5.65014 second user time and 13.205 second system time

The end

Launcher Data 

Begin job on node128 at 2012-06-03 04:56:06
IDJOB=3730925
IDBENCH=1493
IDSOLVER=2329
FILE ID=node128/3730925-1338692166
RUNJOBID= node128-1338679209-28499
PBS_JOBID= 14636685
Free space on /tmp= 70412 MiB

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

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

MD5SUM BENCH= 631c705feb60dcd8a1b144825a73a754
RANDOM SEED=2102831652

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.389
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.389
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.389
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.389
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.389
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.389
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.389
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.389
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        26683376 kB
Buffers:          538448 kB
Cached:          3736404 kB
SwapCached:          744 kB
Active:          2995096 kB
Inactive:        2300092 kB
Active(anon):    1011056 kB
Inactive(anon):    11420 kB
Active(file):    1984040 kB
Inactive(file):  2288672 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67106656 kB
Dirty:             18244 kB
Writeback:             8 kB
AnonPages:       1081268 kB
Mapped:            16788 kB
Shmem:               200 kB
Slab:             755804 kB
SReclaimable:     197980 kB
SUnreclaim:       557824 kB
KernelStack:        1456 kB
PageTables:         6224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:    1131640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    925696 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70404 MiB
End job on node128 at 2012-06-03 05:26:04