Trace number 3486167

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP spx 2 2011-06-10 (fixed)? 1797.18 1797.15

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j1209_4-sat.opb
MD5SUMc17285ecf4c0c17a63d3aa8966d3d2bd
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.05184
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21296
Total number of constraints66999
Number of constraints which are clauses66651
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints348
Minimum length of a constraint1
Maximum length of a constraint65
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 389
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3486167-1307791281.opb>
0.29/0.35	c original problem has 21296 variables (21296 bin, 0 int, 0 impl, 0 cont) and 66999 constraints
0.29/0.35	c problem read
0.29/0.35	c No objective function, only one solution is needed.
0.29/0.35	c presolving settings loaded
0.49/0.57	c presolving:
1.99/2.04	c (round 1) 4977 del vars, 14787 del conss, 0 add conss, 3362 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 3708054 impls, 0 clqs
2.59/2.66	c (round 2) 12346 del vars, 38435 del conss, 0 add conss, 10200 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 3748387 impls, 0 clqs
2.69/2.73	c (round 3) 14270 del vars, 47631 del conss, 0 add conss, 11242 chg bounds, 40 chg sides, 50 chg coeffs, 0 upgd conss, 3758245 impls, 0 clqs
2.69/2.78	c (round 4) 15429 del vars, 51116 del conss, 0 add conss, 12004 chg bounds, 61 chg sides, 77 chg coeffs, 0 upgd conss, 3769025 impls, 0 clqs
2.79/2.80	c (round 5) 16033 del vars, 53248 del conss, 0 add conss, 12375 chg bounds, 63 chg sides, 81 chg coeffs, 0 upgd conss, 3774725 impls, 0 clqs
2.79/2.81	c (round 6) 16346 del vars, 54427 del conss, 0 add conss, 12576 chg bounds, 63 chg sides, 81 chg coeffs, 0 upgd conss, 3776994 impls, 0 clqs
2.79/2.82	c (round 7) 16439 del vars, 54819 del conss, 0 add conss, 12623 chg bounds, 63 chg sides, 81 chg coeffs, 0 upgd conss, 3777945 impls, 0 clqs
2.79/2.82	c (round 8) 16511 del vars, 55083 del conss, 0 add conss, 12676 chg bounds, 63 chg sides, 81 chg coeffs, 0 upgd conss, 3778308 impls, 0 clqs
2.79/2.83	c (round 9) 16527 del vars, 55167 del conss, 0 add conss, 12684 chg bounds, 63 chg sides, 81 chg coeffs, 0 upgd conss, 3778500 impls, 0 clqs
2.79/2.83	c (round 10) 16535 del vars, 55190 del conss, 0 add conss, 12688 chg bounds, 63 chg sides, 81 chg coeffs, 0 upgd conss, 3778660 impls, 0 clqs
2.79/2.84	c (round 11) 16539 del vars, 55214 del conss, 0 add conss, 12688 chg bounds, 63 chg sides, 81 chg coeffs, 0 upgd conss, 3778696 impls, 0 clqs
2.79/2.89	c (round 12) 16539 del vars, 55214 del conss, 0 add conss, 12688 chg bounds, 63 chg sides, 81 chg coeffs, 11785 upgd conss, 3778696 impls, 0 clqs
2.89/2.93	c (round 13) 16539 del vars, 55214 del conss, 0 add conss, 12688 chg bounds, 79 chg sides, 122 chg coeffs, 11785 upgd conss, 3778712 impls, 4 clqs
2.89/2.95	c presolving (14 rounds):
2.89/2.95	c  16539 deleted vars, 55214 deleted constraints, 0 added constraints, 12688 tightened bounds, 0 added holes, 80 changed sides, 138 changed coefficients
2.89/2.95	c  3778712 implications, 4 cliques
2.89/2.95	c presolved problem has 4757 variables (4757 bin, 0 int, 0 impl, 0 cont) and 11785 constraints
2.89/2.95	c     282 constraints of type <knapsack>
2.89/2.95	c    9456 constraints of type <setppc>
2.89/2.95	c    2047 constraints of type <logicor>
2.89/2.95	c transformed objective value is always integral (scale: 1)
2.89/2.95	c Presolving Time: 2.53
2.89/2.95	c - non default parameters ----------------------------------------------------------------------
2.89/2.95	c # SCIP version 2.0.1.4
2.89/2.95	c 
2.89/2.95	c # frequency for displaying node information lines
2.89/2.95	c # [type: int, range: [-1,2147483647], default: 100]
2.89/2.95	c display/freq = 10000
2.89/2.95	c 
2.89/2.95	c # maximal time in seconds to run
2.89/2.95	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.89/2.95	c limits/time = 1797
2.89/2.95	c 
2.89/2.95	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.89/2.95	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.89/2.95	c limits/memory = 13950
2.89/2.95	c 
2.89/2.95	c # solving stops, if the given number of solutions were found (-1: no limit)
2.89/2.95	c # [type: int, range: [-1,2147483647], default: -1]
2.89/2.95	c limits/solutions = 1
2.89/2.95	c 
2.89/2.95	c # maximal number of separation rounds per node (-1: unlimited)
2.89/2.95	c # [type: int, range: [-1,2147483647], default: 5]
2.89/2.95	c separating/maxrounds = 1
2.89/2.95	c 
2.89/2.95	c # maximal number of separation rounds in the root node (-1: unlimited)
2.89/2.95	c # [type: int, range: [-1,2147483647], default: -1]
2.89/2.95	c separating/maxroundsroot = 5
2.89/2.95	c 
2.89/2.95	c # default clock type (1: CPU user seconds, 2: wall clock time)
2.89/2.95	c # [type: int, range: [1,2], default: 1]
2.89/2.95	c timing/clocktype = 2
2.89/2.95	c 
2.89/2.95	c # belongs reading time to solving time?
2.89/2.95	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.89/2.95	c timing/reading = TRUE
2.89/2.95	c 
2.89/2.95	c # should presolving try to simplify inequalities
2.89/2.95	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.89/2.95	c constraints/linear/simplifyinequalities = TRUE
2.89/2.95	c 
2.89/2.95	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
2.89/2.95	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.89/2.95	c constraints/indicator/addCouplingCons = TRUE
2.89/2.95	c 
2.89/2.95	c # should disaggregation of knapsack constraints be allowed in preprocessing?
2.89/2.95	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
2.89/2.95	c constraints/knapsack/disaggregation = FALSE
2.89/2.95	c 
2.89/2.95	c # should presolving try to simplify knapsacks
2.89/2.95	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.89/2.95	c constraints/knapsack/simplifyinequalities = TRUE
2.89/2.95	c 
2.89/2.95	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
2.89/2.95	c # [type: int, range: [-1,2147483647], default: -1]
2.89/2.95	c presolving/probing/maxrounds = 0
2.89/2.95	c 
2.89/2.95	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
2.89/2.95	c # [type: int, range: [-1,2147483647], default: 10]
2.89/2.95	c heuristics/coefdiving/freq = -1
2.89/2.95	c 
2.89/2.95	c # maximal fraction of diving LP iterations compared to node LP iterations
2.89/2.95	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.89/2.95	c heuristics/coefdiving/maxlpiterquot = 0.075
2.89/2.95	c 
2.89/2.95	c # additional number of allowed LP iterations
2.89/2.95	c # [type: int, range: [0,2147483647], default: 1000]
2.89/2.95	c heuristics/coefdiving/maxlpiterofs = 1500
2.89/2.95	c 
2.89/2.95	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
2.89/2.95	c # [type: int, range: [-1,2147483647], default: 30]
2.89/2.95	c heuristics/crossover/freq = -1
2.89/2.95	c 
2.89/2.95	c # number of nodes added to the contingent of the total nodes
2.89/2.95	c # [type: longint, range: [0,9223372036854775807], default: 500]
2.89/2.95	c heuristics/crossover/nodesofs = 750
2.89/2.95	c 
2.89/2.95	c # number of nodes without incumbent change that heuristic should wait
2.89/2.95	c # [type: longint, range: [0,9223372036854775807], default: 200]
2.89/2.95	c heuristics/crossover/nwaitingnodes = 100
2.89/2.95	c 
2.89/2.95	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
2.89/2.95	c # [type: real, range: [0,1], default: 0.1]
2.89/2.95	c heuristics/crossover/nodesquot = 0.15
2.89/2.95	c 
2.89/2.95	c # minimum percentage of integer variables that have to be fixed 
2.89/2.95	c # [type: real, range: [0,1], default: 0.666]
2.89/2.95	c heuristics/crossover/minfixingrate = 0.5
2.89/2.95	c 
2.89/2.95	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
2.89/2.95	c # [type: int, range: [-1,2147483647], default: 20]
2.89/2.95	c heuristics/feaspump/freq = -1
2.89/2.95	c 
2.89/2.95	c # additional number of allowed LP iterations
2.89/2.95	c # [type: int, range: [0,2147483647], default: 1000]
2.89/2.95	c heuristics/feaspump/maxlpiterofs = 2000
2.89/2.95	c 
2.89/2.95	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
2.89/2.95	c # [type: int, range: [-1,2147483647], default: 10]
2.89/2.95	c heuristics/fracdiving/freq = -1
2.89/2.95	c 
2.89/2.95	c # maximal fraction of diving LP iterations compared to node LP iterations
2.89/2.95	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.89/2.95	c heuristics/fracdiving/maxlpiterquot = 0.075
2.89/2.95	c 
2.89/2.95	c # additional number of allowed LP iterations
2.89/2.95	c # [type: int, range: [0,2147483647], default: 1000]
2.89/2.95	c heuristics/fracdiving/maxlpiterofs = 1500
2.89/2.95	c 
2.89/2.95	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
2.89/2.95	c # [type: int, range: [-1,2147483647], default: 10]
2.89/2.95	c heuristics/guideddiving/freq = -1
2.89/2.95	c 
2.89/2.95	c # maximal fraction of diving LP iterations compared to node LP iterations
2.89/2.95	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.89/2.95	c heuristics/guideddiving/maxlpiterquot = 0.075
2.89/2.95	c 
2.89/2.95	c # additional number of allowed LP iterations
2.89/2.95	c # [type: int, range: [0,2147483647], default: 1000]
2.89/2.95	c heuristics/guideddiving/maxlpiterofs = 1500
2.89/2.95	c 
2.89/2.95	c # maximal fraction of diving LP iterations compared to node LP iterations
2.89/2.95	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.89/2.95	c heuristics/intdiving/maxlpiterquot = 0.075
2.89/2.95	c 
2.89/2.95	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
2.89/2.95	c # [type: int, range: [-1,2147483647], default: 10]
2.89/2.95	c heuristics/intshifting/freq = -1
2.89/2.95	c 
2.89/2.95	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
2.89/2.95	c # [type: int, range: [-1,2147483647], default: 10]
2.89/2.95	c heuristics/linesearchdiving/freq = -1
2.89/2.95	c 
2.89/2.95	c # maximal fraction of diving LP iterations compared to node LP iterations
2.89/2.95	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.89/2.95	c heuristics/linesearchdiving/maxlpiterquot = 0.075
2.89/2.95	c 
2.89/2.95	c # additional number of allowed LP iterations
2.89/2.95	c # [type: int, range: [0,2147483647], default: 1000]
2.89/2.95	c heuristics/linesearchdiving/maxlpiterofs = 1500
2.89/2.95	c 
2.89/2.95	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
2.89/2.95	c # [type: int, range: [-1,2147483647], default: 20]
2.89/2.95	c heuristics/objpscostdiving/freq = -1
2.89/2.95	c 
2.89/2.95	c # maximal fraction of diving LP iterations compared to total iteration number
2.89/2.95	c # [type: real, range: [0,1], default: 0.01]
2.89/2.95	c heuristics/objpscostdiving/maxlpiterquot = 0.015
2.89/2.95	c 
2.89/2.95	c # additional number of allowed LP iterations
2.89/2.95	c # [type: int, range: [0,2147483647], default: 1000]
2.89/2.95	c heuristics/objpscostdiving/maxlpiterofs = 1500
2.89/2.95	c 
2.89/2.95	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
2.89/2.95	c # [type: int, range: [-1,2147483647], default: 1]
2.89/2.95	c heuristics/oneopt/freq = -1
2.89/2.95	c 
2.89/2.95	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
2.89/2.95	c # [type: int, range: [-1,2147483647], default: 10]
2.89/2.95	c heuristics/pscostdiving/freq = -1
2.89/2.95	c 
2.89/2.95	c # maximal fraction of diving LP iterations compared to node LP iterations
2.89/2.95	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.89/2.95	c heuristics/pscostdiving/maxlpiterquot = 0.075
2.89/2.95	c 
2.89/2.95	c # additional number of allowed LP iterations
2.89/2.95	c # [type: int, range: [0,2147483647], default: 1000]
2.89/2.95	c heuristics/pscostdiving/maxlpiterofs = 1500
2.89/2.95	c 
2.89/2.95	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
2.89/2.95	c # [type: int, range: [-1,2147483647], default: 0]
2.89/2.95	c heuristics/rens/freq = -1
2.89/2.95	c 
2.89/2.95	c # minimum percentage of integer variables that have to be fixable 
2.89/2.95	c # [type: real, range: [0,1], default: 0.5]
2.89/2.95	c heuristics/rens/minfixingrate = 0.3
2.89/2.95	c 
2.89/2.95	c # number of nodes added to the contingent of the total nodes
2.89/2.95	c # [type: longint, range: [0,9223372036854775807], default: 500]
2.89/2.95	c heuristics/rens/nodesofs = 2000
2.89/2.95	c 
2.89/2.95	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
2.89/2.95	c # [type: int, range: [-1,2147483647], default: 20]
2.89/2.95	c heuristics/rootsoldiving/freq = -1
2.89/2.95	c 
2.89/2.95	c # maximal fraction of diving LP iterations compared to node LP iterations
2.89/2.95	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
2.89/2.95	c heuristics/rootsoldiving/maxlpiterquot = 0.015
2.89/2.95	c 
2.89/2.95	c # additional number of allowed LP iterations
2.89/2.95	c # [type: int, range: [0,2147483647], default: 1000]
2.89/2.95	c heuristics/rootsoldiving/maxlpiterofs = 1500
2.89/2.95	c 
2.89/2.95	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
2.89/2.95	c # [type: int, range: [-1,2147483647], default: 1]
2.89/2.95	c heuristics/rounding/freq = -1
2.89/2.95	c 
2.89/2.95	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
2.89/2.95	c # [type: int, range: [-1,2147483647], default: 0]
2.89/2.95	c heuristics/shiftandpropagate/freq = -1
2.89/2.95	c 
2.89/2.95	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
2.89/2.95	c # [type: int, range: [-1,2147483647], default: 10]
2.89/2.95	c heuristics/shifting/freq = -1
2.89/2.95	c 
2.89/2.95	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
2.89/2.95	c # [type: int, range: [-1,2147483647], default: 1]
2.89/2.95	c heuristics/simplerounding/freq = -1
2.89/2.95	c 
2.89/2.95	c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
2.89/2.95	c # [type: int, range: [-1,2147483647], default: 1]
2.89/2.95	c heuristics/subnlp/freq = -1
2.89/2.95	c 
2.89/2.95	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
2.89/2.95	c # [type: int, range: [-1,2147483647], default: 0]
2.89/2.95	c heuristics/trivial/freq = -1
2.89/2.95	c 
2.89/2.95	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
2.89/2.95	c # [type: int, range: [-1,2147483647], default: 1]
2.89/2.95	c heuristics/trysol/freq = -1
2.89/2.95	c 
2.89/2.95	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
2.89/2.95	c # [type: int, range: [-1,2147483647], default: 0]
2.89/2.95	c heuristics/undercover/freq = -1
2.89/2.95	c 
2.89/2.95	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
2.89/2.95	c # [type: int, range: [-1,2147483647], default: 10]
2.89/2.95	c heuristics/veclendiving/freq = -1
2.89/2.95	c 
2.89/2.95	c # maximal fraction of diving LP iterations compared to node LP iterations
2.89/2.95	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
2.89/2.95	c heuristics/veclendiving/maxlpiterquot = 0.075
2.89/2.95	c 
2.89/2.95	c # additional number of allowed LP iterations
2.89/2.95	c # [type: int, range: [0,2147483647], default: 1000]
2.89/2.95	c heuristics/veclendiving/maxlpiterofs = 1500
2.89/2.95	c 
2.89/2.95	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
2.89/2.95	c # [type: int, range: [-1,2147483647], default: 1]
2.89/2.95	c heuristics/zirounding/freq = -1
2.89/2.95	c 
2.89/2.95	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
2.89/2.95	c # [type: int, range: [-1,2147483647], default: 0]
2.89/2.95	c separating/cmir/freq = -1
2.89/2.95	c 
2.89/2.95	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
2.89/2.95	c # [type: int, range: [-1,2147483647], default: 0]
2.89/2.95	c separating/flowcover/freq = -1
2.89/2.95	c 
2.89/2.95	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.89/2.95	c # [type: int, range: [-1,2147483647], default: -1]
2.89/2.95	c separating/rapidlearning/freq = 0
2.89/2.95	c 
2.89/2.95	c -----------------------------------------------------------------------------------------------
2.89/2.95	c start solving
2.89/2.95	c 
7.99/8.04	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
7.99/8.04	c   8.0s|     1 |     0 | 11354 |     - |  91M|   0 |1574 |4757 |  11k|4757 |  11k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
13.69/13.75	c  13.8s|     1 |     0 | 18253 |     - |  91M|   0 |2340 |4757 |  11k|4757 |  11k|  98 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
23.89/23.98	c  24.0s|     1 |     0 | 29258 |     - |  91M|   0 |2527 |4757 |  11k|4757 |  11k| 156 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
30.09/30.19	c  30.2s|     1 |     0 | 34445 |     - |  91M|   0 |2679 |4757 |  11k|4757 |  11k| 194 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
36.30/36.36	c  36.4s|     1 |     0 | 39114 |     - |  91M|   0 |2763 |4757 |  11k|4757 |  12k| 219 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
42.19/42.21	c  42.2s|     1 |     0 | 43191 |     - |  91M|   0 |2825 |4757 |  11k|4757 |  12k| 240 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
74.89/74.94	c  74.9s|     1 |     2 | 43191 |     - |  91M|   0 |2825 |4757 |  11k|4757 |  12k| 240 |   0 |  39 | 0.000000e+00 |      --      |    Inf 
1797.02/1797.06	c 
1797.02/1797.06	c SCIP Status        : solving was interrupted [time limit reached]
1797.02/1797.06	c Solving Time (sec) : 1797.06
1797.02/1797.06	c Solving Nodes      : 580
1797.02/1797.06	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1797.02/1797.06	c Dual Bound         : +0.00000000000000e+00
1797.02/1797.06	c Gap                : infinite
1797.02/1797.06	s UNKNOWN
1797.02/1797.06	c SCIP Status        : solving was interrupted [time limit reached]
1797.02/1797.06	c Total Time         :    1797.06
1797.02/1797.06	c   solving          :    1797.06
1797.02/1797.06	c   presolving       :       2.53 (included in solving)
1797.02/1797.06	c   reading          :       0.35 (included in solving)
1797.02/1797.06	c Original Problem   :
1797.02/1797.06	c   Problem name     : HOME/instance-3486167-1307791281.opb
1797.02/1797.06	c   Variables        : 21296 (21296 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.06	c   Constraints      : 66999 initial, 66999 maximal
1797.02/1797.06	c Presolved Problem  :
1797.02/1797.06	c   Problem name     : t_HOME/instance-3486167-1307791281.opb
1797.02/1797.06	c   Variables        : 4757 (4757 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.06	c   Constraints      : 11785 initial, 12236 maximal
1797.02/1797.06	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1797.02/1797.06	c   trivial          :       0.01        798          0          0          0          0          0          0          0          0
1797.02/1797.06	c   dualfix          :       0.02        114          0          0          0          0          0          0          0          0
1797.02/1797.06	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1797.02/1797.06	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1797.02/1797.06	c   implics          :       0.02          0          0          0          0          0          0          0          0          0
1797.02/1797.06	c   probing          :       0.00          0          0          0          0          0          0          0          0          0
1797.02/1797.06	c   knapsack         :       0.03          0          0          0          0          0          0          0         17         57
1797.02/1797.06	c   setppc           :       0.02          0          0          0          0          0          0          0          0          0
1797.02/1797.06	c   linear           :       2.22      11890       3737          0      12688          0      55214          0         63         81
1797.02/1797.06	c   logicor          :       0.02          0          0          0          0          0          0          0          0          0
1797.02/1797.06	c   root node        :          -          0          -          -          0          -          -          -          -          -
1797.02/1797.06	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1797.02/1797.06	c   integral         :          0          0          0        391          0          1          0          1          9          0          0        764
1797.02/1797.06	c   knapsack         :        282          5       6236          0          4          0       6807         22      11927        426          0          0
1797.02/1797.06	c   setppc           :       9456          5       6214          0          4          0     111806         29      55300          0          0          0
1797.02/1797.06	c   logicor          :       2047+         5       4842          0          2          0       6402         35       8859          0          0          0
1797.02/1797.06	c   countsols        :          0          0          0          0          1          0          0          0          0          0          0          0
1797.02/1797.06	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1797.02/1797.06	c   integral         :     707.08       0.00       0.00     707.08       0.00       0.00       0.00
1797.02/1797.06	c   knapsack         :       0.10       0.02       0.08       0.00       0.00       0.00       0.01
1797.02/1797.06	c   setppc           :       0.63       0.00       0.58       0.00       0.00       0.00       0.04
1797.02/1797.06	c   logicor          :       0.06       0.00       0.06       0.00       0.00       0.00       0.01
1797.02/1797.06	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.02/1797.06	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1797.02/1797.06	c   vbounds          :          0          0          0          0
1797.02/1797.06	c   rootredcost      :          0          0          0          0
1797.02/1797.06	c   pseudoobj        :          0          0          0          0
1797.02/1797.06	c Propagator Timings :  TotalTime  Propagate    Resprop
1797.02/1797.06	c   vbounds          :       0.00       0.00       0.00
1797.02/1797.06	c   rootredcost      :       0.00       0.00       0.00
1797.02/1797.06	c   pseudoobj        :       0.00       0.00       0.00
1797.02/1797.06	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.02/1797.06	c   propagation      :       0.02         86         86       1019       49.5          2       19.5          -
1797.02/1797.06	c   infeasible LP    :       0.32        162        162       2603      103.4          6       19.3          0
1797.02/1797.06	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.02/1797.06	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.02/1797.06	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.02/1797.06	c   applied globally :          -          -          -        948       98.8          -          -          -
1797.02/1797.06	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.02/1797.06	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1797.02/1797.06	c   cut pool         :       0.00          4          -          -          0          -    (maximal pool size: 42)
1797.02/1797.06	c   redcost          :       0.02        390          0          0          0          0
1797.02/1797.06	c   impliedbounds    :       0.01          5          0          0          0          0
1797.02/1797.06	c   intobj           :       0.00          0          0          0          0          0
1797.02/1797.06	c   gomory           :       4.95          5          0          0        725          0
1797.02/1797.06	c   cgmip            :       0.00          0          0          0          0          0
1797.02/1797.06	c   closecuts        :       0.00          0          0          0          0          0
1797.02/1797.06	c   strongcg         :       4.85          5          0          0        725          0
1797.02/1797.06	c   cmir             :       0.00          0          0          0          0          0
1797.02/1797.06	c   flowcover        :       0.00          0          0          0          0          0
1797.02/1797.06	c   clique           :       1.04          5          0          0         34          0
1797.02/1797.06	c   zerohalf         :       0.00          0          0          0          0          0
1797.02/1797.06	c   mcf              :       0.03          1          0          0          0          0
1797.02/1797.06	c   oddcycle         :       0.00          0          0          0          0          0
1797.02/1797.06	c   rapidlearning    :       0.00          0          0          0          0          0
1797.02/1797.06	c Pricers            :       Time      Calls       Vars
1797.02/1797.06	c   problem variables:       0.00          0          0
1797.02/1797.06	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1797.02/1797.06	c   relpscost        :     707.08        391          1          9          0          0        764
1797.02/1797.06	c   pscost           :       0.00          0          0          0          0          0          0
1797.02/1797.06	c   inference        :       0.00          1          0          0          0          0          2
1797.02/1797.06	c   mostinf          :       0.00          0          0          0          0          0          0
1797.02/1797.06	c   leastinf         :       0.00          0          0          0          0          0          0
1797.02/1797.06	c   fullstrong       :       0.00          0          0          0          0          0          0
1797.02/1797.06	c   allfullstrong    :       0.00          0          0          0          0          0          0
1797.02/1797.06	c   random           :       0.00          0          0          0          0          0          0
1797.02/1797.06	c Primal Heuristics  :       Time      Calls      Found
1797.02/1797.06	c   LP solutions     :       0.00          -          0
1797.02/1797.06	c   pseudo solutions :       0.00          -          0
1797.02/1797.06	c   trivial          :       0.01          1          0
1797.02/1797.06	c   shiftandpropagate:       0.00          0          0
1797.02/1797.06	c   simplerounding   :       0.00          0          0
1797.02/1797.06	c   zirounding       :       0.00          0          0
1797.02/1797.06	c   rounding         :       0.00          0          0
1797.02/1797.06	c   shifting         :       0.00          0          0
1797.02/1797.06	c   intshifting      :       0.00          0          0
1797.02/1797.06	c   oneopt           :       0.00          0          0
1797.02/1797.06	c   twoopt           :       0.00          0          0
1797.02/1797.06	c   fixandinfer      :       0.00          0          0
1797.02/1797.06	c   feaspump         :       0.00          0          0
1797.02/1797.06	c   clique           :       0.00          0          0
1797.02/1797.06	c   coefdiving       :       0.00          0          0
1797.02/1797.06	c   pscostdiving     :       0.00          0          0
1797.02/1797.06	c   fracdiving       :       0.00          0          0
1797.02/1797.06	c   veclendiving     :       0.00          0          0
1797.02/1797.06	c   intdiving        :       0.00          0          0
1797.02/1797.06	c   actconsdiving    :       0.00          0          0
1797.02/1797.06	c   objpscostdiving  :       0.00          0          0
1797.02/1797.06	c   rootsoldiving    :       0.00          0          0
1797.02/1797.06	c   linesearchdiving :       0.00          0          0
1797.02/1797.06	c   guideddiving     :       0.00          0          0
1797.02/1797.06	c   octane           :       0.00          0          0
1797.02/1797.06	c   rens             :       0.00          0          0
1797.02/1797.06	c   rins             :       0.00          0          0
1797.02/1797.06	c   localbranching   :       0.00          0          0
1797.02/1797.06	c   mutation         :       0.00          0          0
1797.02/1797.06	c   crossover        :       0.00          0          0
1797.02/1797.06	c   dins             :       0.00          0          0
1797.02/1797.06	c   vbounds          :       0.00          0          0
1797.02/1797.06	c   undercover       :       0.00          0          0
1797.02/1797.06	c   subnlp           :       0.00          0          0
1797.02/1797.06	c   trysol           :       0.00          0          0
1797.02/1797.06	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1797.02/1797.06	c   primal LP        :       0.02          0          0       0.00       0.00
1797.02/1797.06	c   dual LP          :    1073.92        558    1655946    2967.65    1541.96
1797.02/1797.06	c   lex dual LP      :       0.00          0          0       0.00          -
1797.02/1797.06	c   barrier LP       :       0.00          0          0       0.00          -
1797.02/1797.06	c   diving/probing LP:       0.00          0          0       0.00          -
1797.02/1797.06	c   strong branching :     706.86       1109     974536     878.75    1378.67
1797.02/1797.06	c     (at root node) :          -         39      39000    1000.00          -
1797.02/1797.06	c   conflict analysis:       0.00          0          0       0.00          -
1797.02/1797.06	c B&B Tree           :
1797.02/1797.06	c   number of runs   :          1
1797.02/1797.06	c   nodes            :        580
1797.02/1797.06	c   nodes (total)    :        580
1797.02/1797.06	c   nodes left       :         67
1797.02/1797.06	c   max depth        :         57
1797.02/1797.06	c   max depth (total):         57
1797.02/1797.06	c   backtracks       :        153 (26.4%)
1797.02/1797.06	c   delayed cutoffs  :        120
1797.02/1797.06	c   repropagations   :        608 (28743 domain reductions, 52 cutoffs)
1797.02/1797.06	c   avg switch length:       4.17
1797.02/1797.06	c   switching time   :       0.27
1797.02/1797.06	c Solution           :
1797.02/1797.06	c   Solutions found  :          0 (0 improvements)
1797.02/1797.06	c   Primal Bound     :          -
1797.02/1797.06	c   Dual Bound       : +0.00000000000000e+00
1797.02/1797.06	c   Gap              :   infinite
1797.02/1797.06	c   Root Dual Bound  : +0.00000000000000e+00
1797.02/1797.06	c   Root Iterations  :      43191
1797.12/1797.15	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: 988)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3486167-1307791281/watcher-3486167-1307791281 -o /tmp/evaluation-result-3486167-1307791281/solver-3486167-1307791281 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486167-1307791281.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 1.98 3/177 16131
/proc/meminfo: memFree=31381284/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=9832 CPUtime=0 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 1459 0 0 0 0 0 0 0 25 0 1 0 890726662 10067968 1413 33554432000 4194304 8979876 140734271196288 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/16131/statm: 2458 1413 363 1169 0 1285 0

[startup+0.042021 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 16131
/proc/meminfo: memFree=31381284/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=17356 CPUtime=0.03 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 3335 0 0 0 3 0 0 0 25 0 1 0 890726662 17772544 3289 33554432000 4194304 8979876 140734271196288 18446744073709551615 7836068 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/16131/statm: 4339 3289 363 1169 0 3166 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17356

[startup+0.10101 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 16131
/proc/meminfo: memFree=31381284/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=23768 CPUtime=0.09 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 4947 0 0 0 9 0 0 0 25 0 1 0 890726662 24338432 4901 33554432000 4194304 8979876 140734271196288 18446744073709551615 7836068 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/16131/statm: 5942 4901 363 1169 0 4769 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23768

[startup+0.300977 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 16131
/proc/meminfo: memFree=31381284/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=40888 CPUtime=0.29 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 9217 0 0 0 28 1 0 0 25 0 1 0 890726662 41869312 9171 33554432000 4194304 8979876 140734271196288 18446744073709551615 7836083 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/16131/statm: 10222 9171 363 1169 0 9049 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40888

[startup+0.70091 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 16131
/proc/meminfo: memFree=31381284/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=142772 CPUtime=0.69 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 36514 0 0 0 65 4 0 0 25 0 1 0 890726662 146198528 33905 33554432000 4194304 8979876 140734271196288 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16131/statm: 35693 33905 493 1169 0 34520 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 142772

[startup+1.50078 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 16132
/proc/meminfo: memFree=31218488/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=205580 CPUtime=1.49 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 52042 0 0 0 143 6 0 0 25 0 1 0 890726662 210513920 49433 33554432000 4194304 8979876 140734271196288 18446744073709551615 4460154 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16131/statm: 51395 49433 493 1169 0 50222 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 205580

[startup+3.10053 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 16132
/proc/meminfo: memFree=31160260/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=248604 CPUtime=3.09 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 64576 0 0 0 301 8 0 0 25 0 1 0 890726662 254570496 59640 33554432000 4194304 8979876 140734271196288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16131/statm: 62151 59640 657 1169 0 60978 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 248604

[startup+6.30099 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 16132
/proc/meminfo: memFree=31141412/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=250060 CPUtime=6.29 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 65298 0 0 0 619 10 0 0 25 0 1 0 890726662 256061440 60302 33554432000 4194304 8979876 140734271196288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16131/statm: 62515 60302 641 1169 0 61342 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 250060

[startup+12.7009 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 16132
/proc/meminfo: memFree=31137420/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=253712 CPUtime=12.69 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 66557 0 0 0 1257 12 0 0 25 0 1 0 890726662 259801088 61382 33554432000 4194304 8979876 140734271196288 18446744073709551615 7146192 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16131/statm: 63428 61382 676 1169 0 62255 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 253712

[startup+25.5008 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 16132
/proc/meminfo: memFree=31137656/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=253712 CPUtime=25.49 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 66667 0 0 0 2533 16 0 0 25 0 1 0 890726662 259801088 61483 33554432000 4194304 8979876 140734271196288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16131/statm: 63428 61483 677 1169 0 62255 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 253712

[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 16133
/proc/meminfo: memFree=31136104/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=255564 CPUtime=51.09 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 68865 0 0 0 5085 24 0 0 25 0 1 0 890726662 261697536 62038 33554432000 4194304 8979876 140734271196288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16131/statm: 63891 62038 679 1169 0 62718 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 255564

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 16134
/proc/meminfo: memFree=31135012/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=255568 CPUtime=102.29 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 78751 0 0 0 10192 37 0 0 25 0 1 0 890726662 261701632 62042 33554432000 4194304 8979876 140734271196288 18446744073709551615 7143762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16131/statm: 63892 62042 681 1169 0 62719 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 255568

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 16136
/proc/meminfo: memFree=31134932/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=255576 CPUtime=162.29 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 82020 0 0 0 16178 51 0 0 25 0 1 0 890726662 261709824 62041 33554432000 4194304 8979876 140734271196288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16131/statm: 63894 62041 681 1169 0 62721 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 255576

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 16137
/proc/meminfo: memFree=31135032/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=255576 CPUtime=222.29 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 82020 0 0 0 22164 65 0 0 25 0 1 0 890726662 261709824 62041 33554432000 4194304 8979876 140734271196288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16131/statm: 63894 62041 681 1169 0 62721 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 255576

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 16139
/proc/meminfo: memFree=31135616/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=255436 CPUtime=282.3 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 82610 0 0 0 28151 79 0 0 25 0 1 0 890726662 261566464 61969 33554432000 4194304 8979876 140734271196288 18446744073709551615 6820799 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16131/statm: 63859 61969 687 1169 0 62686 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 255436

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 16140
/proc/meminfo: memFree=31136076/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=255256 CPUtime=342.29 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 87610 0 0 0 34133 96 0 0 25 0 1 0 890726662 261382144 61822 33554432000 4194304 8979876 140734271196288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16131/statm: 63814 61822 687 1169 0 62641 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 255256

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 16142
/proc/meminfo: memFree=31135924/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=255256 CPUtime=402.29 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 87631 0 0 0 40117 112 0 0 25 0 1 0 890726662 261382144 61843 33554432000 4194304 8979876 140734271196288 18446744073709551615 7143688 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16131/statm: 63814 61843 687 1169 0 62641 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 255256

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 16144
/proc/meminfo: memFree=31134396/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=256092 CPUtime=462.29 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 87966 0 0 0 46101 128 0 0 25 0 1 0 890726662 262238208 62178 33554432000 4194304 8979876 140734271196288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16131/statm: 64023 62178 687 1169 0 62850 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 256092

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 16145
/proc/meminfo: memFree=31133988/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=256544 CPUtime=522.29 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 92593 0 0 0 52086 143 0 0 25 0 1 0 890726662 262701056 62290 33554432000 4194304 8979876 140734271196288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16131/statm: 64136 62290 687 1169 0 62963 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 256544

[startup+582.3 s]
/proc/loadavg: 2.05 2.01 1.99 3/178 16147
/proc/meminfo: memFree=31133952/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=256544 CPUtime=582.3 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 92593 0 0 0 58071 159 0 0 25 0 1 0 890726662 262701056 62290 33554432000 4194304 8979876 140734271196288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16131/statm: 64136 62290 687 1169 0 62963 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 256544

[startup+642.3 s]

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

/proc/meminfo: memFree=31130856/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=258192 CPUtime=1062.31 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 103523 0 0 0 105939 292 0 0 25 0 1 0 890726662 264388608 62596 33554432000 4194304 8979876 140734271196288 18446744073709551615 7166683 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16131/statm: 64548 62596 687 1169 0 63375 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 258192

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16161
/proc/meminfo: memFree=31131940/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=259192 CPUtime=1122.31 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 105024 0 0 0 111924 307 0 0 25 0 1 0 890726662 265412608 62843 33554432000 4194304 8979876 140734271196288 18446744073709551615 7146175 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16131/statm: 64798 62843 687 1169 0 63625 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 259192

[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 16163
/proc/meminfo: memFree=31130664/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=260184 CPUtime=1182.31 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 106676 0 0 0 117910 321 0 0 25 0 1 0 890726662 266428416 63200 33554432000 4194304 8979876 140734271196288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16131/statm: 65046 63200 687 1169 0 63873 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 260184

[startup+1242.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/178 16164
/proc/meminfo: memFree=31129012/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=261504 CPUtime=1242.31 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 108276 0 0 0 123893 338 0 0 25 0 1 0 890726662 267780096 63406 33554432000 4194304 8979876 140734271196288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16131/statm: 65376 63406 687 1169 0 64203 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 261504

[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 16166
/proc/meminfo: memFree=31130220/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=260208 CPUtime=1302.32 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 114274 0 0 0 129876 356 0 0 25 0 1 0 890726662 266452992 63105 33554432000 4194304 8979876 140734271196288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16131/statm: 65052 63105 687 1169 0 63879 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 260208

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 16168
/proc/meminfo: memFree=31131912/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=258192 CPUtime=1362.31 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 115375 0 0 0 135861 370 0 0 25 0 1 0 890726662 264388608 62582 33554432000 4194304 8979876 140734271196288 18446744073709551615 7146175 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16131/statm: 64548 62582 687 1169 0 63375 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 258192

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 16169
/proc/meminfo: memFree=31129400/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=260360 CPUtime=1422.31 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 118476 0 0 0 141843 388 0 0 25 0 1 0 890726662 266608640 63207 33554432000 4194304 8979876 140734271196288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16131/statm: 65090 63207 687 1169 0 63917 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 260360

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16171
/proc/meminfo: memFree=31129988/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=259332 CPUtime=1482.31 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 121890 0 0 0 147826 405 0 0 25 0 1 0 890726662 265555968 62899 33554432000 4194304 8979876 140734271196288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16131/statm: 64833 62899 687 1169 0 63660 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 259332

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16172
/proc/meminfo: memFree=31128840/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=260256 CPUtime=1542.31 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 122934 0 0 0 153810 421 0 0 25 0 1 0 890726662 266502144 63220 33554432000 4194304 8979876 140734271196288 18446744073709551615 7177819 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16131/statm: 65064 63220 687 1169 0 63891 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 260256

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16174
/proc/meminfo: memFree=31129528/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=259872 CPUtime=1602.32 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 125572 0 0 0 159793 439 0 0 25 0 1 0 890726662 266108928 63034 33554432000 4194304 8979876 140734271196288 18446744073709551615 7123831 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16131/statm: 64968 63034 687 1169 0 63795 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 259872

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16176
/proc/meminfo: memFree=31128236/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=260748 CPUtime=1662.32 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 127344 0 0 0 165777 455 0 0 25 0 1 0 890726662 267005952 63341 33554432000 4194304 8979876 140734271196288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16131/statm: 65187 63341 687 1169 0 64014 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 260748

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16177
/proc/meminfo: memFree=31127580/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=261556 CPUtime=1722.32 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 130370 0 0 0 171760 472 0 0 25 0 1 0 890726662 267833344 63543 33554432000 4194304 8979876 140734271196288 18446744073709551615 7146175 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16131/statm: 65389 63543 687 1169 0 64216 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 261556

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16179
/proc/meminfo: memFree=31128164/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=260628 CPUtime=1782.32 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 133662 0 0 0 177746 486 0 0 25 0 1 0 890726662 266883072 63311 33554432000 4194304 8979876 140734271196288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16131/statm: 65157 63311 687 1169 0 63984 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 260628

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16179
/proc/meminfo: memFree=31128284/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=260628 CPUtime=1785.52 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 133662 0 0 0 178065 487 0 0 25 0 1 0 890726662 266883072 63311 33554432000 4194304 8979876 140734271196288 18446744073709551615 7123808 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16131/statm: 65157 63311 687 1169 0 63984 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (KiB) 260628

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16217
/proc/meminfo: memFree=31243284/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=259808 CPUtime=1791.92 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 133912 0 0 0 178704 488 0 0 25 0 1 0 890726662 266043392 62927 33554432000 4194304 8979876 140734271196288 18446744073709551615 7155000 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16131/statm: 64952 62927 687 1169 0 63779 0
Current children cumulated CPU time (s) 1791.92
Current children cumulated vsize (KiB) 259808

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16217
/proc/meminfo: memFree=30746096/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=261076 CPUtime=1795.13 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 136284 0 0 0 179023 490 0 0 25 0 1 0 890726662 267341824 63423 33554432000 4194304 8979876 140734271196288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16131/statm: 65269 63423 687 1169 0 64096 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 261076

[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16217
/proc/meminfo: memFree=30746096/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=261624 CPUtime=1795.92 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 136288 0 0 0 179102 490 0 0 25 0 1 0 890726662 267902976 63427 33554432000 4194304 8979876 140734271196288 18446744073709551615 6914345 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16131/statm: 65406 63427 687 1169 0 64233 0
Current children cumulated CPU time (s) 1795.92
Current children cumulated vsize (KiB) 261624

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16217
/proc/meminfo: memFree=30668596/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=259808 CPUtime=1796.72 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 136444 0 0 0 179181 491 0 0 25 0 1 0 890726662 266043392 62926 33554432000 4194304 8979876 140734271196288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/16131/statm: 64952 62926 687 1169 0 63779 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 259808

[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16217
/proc/meminfo: memFree=30668596/32951124 swapFree=67054524/67111528
[pid=16131] ppid=16129 vsize=253784 CPUtime=1797.12 cores=0,2,4,6
/proc/16131/stat : 16131 (scip-2.0.1.4_2.) R 16129 16131 15205 0 -1 4202496 136465 0 0 0 179221 491 0 0 18 0 1 0 890726662 259874816 61207 33554432000 4194304 8979876 140734271196288 18446744073709551615 7898903 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/16131/statm: 62932 60950 698 1169 0 61759 0
Current children cumulated CPU time (s) 1797.12
Current children cumulated vsize (KiB) 253784

Child status: 0
Real time (s): 1797.15
CPU time (s): 1797.18
CPU user time (s): 1792.26
CPU system time (s): 4.92225
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 262884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.26
system time used= 4.92225
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136473
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= 2767

runsolver used 2.66359 second user time and 5.51016 second system time

The end

Launcher Data 

Begin job on node130 at 2011-06-11 13:21:22
IDJOB=3486167
IDBENCH=73476
IDSOLVER=1977
FILE ID=node130/3486167-1307791281
RUNJOBID= node130-1307783469-15223
PBS_JOBID= 13550893
Free space on /tmp= 73936 MiB

SOLVER NAME= SCIP spx 2 2011-06-10 (fixed)
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j1209_4-sat.opb
COMMAND LINE= HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3486167-1307791281/watcher-3486167-1307791281 -o /tmp/evaluation-result-3486167-1307791281/solver-3486167-1307791281 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486167-1307791281.opb -t 1800 -m 15500

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

MD5SUM BENCH= c17285ecf4c0c17a63d3aa8966d3d2bd
RANDOM SEED=997161817

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31381712 kB
Buffers:        266844 kB
Cached:         956748 kB
SwapCached:      10548 kB
Active:         658992 kB
Inactive:       716848 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31381712 kB
SwapTotal:    67111528 kB
SwapFree:     67054524 kB
Dirty:           36056 kB
Writeback:           0 kB
AnonPages:      149548 kB
Mapped:          15812 kB
Slab:           129400 kB
PageTables:       4852 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   345920 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73912 MiB
End job on node130 at 2011-06-11 13:51:19