Trace number 3742514

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)? 1798.38 1798.67

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K140.opb
MD5SUM59945e7fb6f70b0a7aeb9a0267c89f72
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables16660
Total number of constraints16942
Number of constraints which are clauses16802
Number of constraints which are cardinality constraints (but not clauses)140
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint140
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 141
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-3742514-1338787418.opb>
0.08/0.14	c original problem has 16660 variables (16660 bin, 0 int, 0 impl, 0 cont) and 16942 constraints
0.08/0.14	c problem read
0.08/0.14	c No objective function, only one solution is needed.
0.08/0.14	c presolving settings loaded
0.19/0.23	c presolving:
0.19/0.27	c (round 1) 2 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15120 impls, 140 clqs
0.19/0.28	c (round 2) 238 del vars, 13 del conss, 0 add conss, 238 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15120 impls, 138 clqs
0.19/0.29	c (round 3) 367 del vars, 260 del conss, 0 add conss, 367 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15228 impls, 138 clqs
0.19/0.29	c (round 4) 475 del vars, 368 del conss, 0 add conss, 475 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15426 impls, 138 clqs
0.29/0.30	c (round 5) 562 del vars, 455 del conss, 0 add conss, 562 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15648 impls, 138 clqs
0.29/0.30	c (round 6) 626 del vars, 519 del conss, 0 add conss, 626 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15874 impls, 138 clqs
0.29/0.31	c (round 7) 669 del vars, 562 del conss, 0 add conss, 669 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16034 impls, 138 clqs
0.29/0.31	c (round 8) 696 del vars, 589 del conss, 0 add conss, 696 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16160 impls, 138 clqs
0.29/0.32	c (round 9) 714 del vars, 607 del conss, 0 add conss, 714 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16202 impls, 138 clqs
0.29/0.32	c (round 10) 728 del vars, 621 del conss, 0 add conss, 728 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16248 impls, 138 clqs
0.29/0.33	c (round 11) 737 del vars, 630 del conss, 0 add conss, 737 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16304 impls, 138 clqs
0.29/0.33	c (round 12) 742 del vars, 635 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16334 impls, 138 clqs
0.39/0.43	c (round 13) 742 del vars, 773 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16031 upgd conss, 16350 impls, 138 clqs
0.39/0.46	c (round 14) 742 del vars, 773 del conss, 0 add conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 16169 upgd conss, 16350 impls, 138 clqs
0.39/0.48	c presolving (15 rounds):
0.39/0.48	c  742 deleted vars, 773 deleted constraints, 0 added constraints, 742 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.48	c  16350 implications, 138 cliques
0.39/0.48	c presolved problem has 15918 variables (15918 bin, 0 int, 0 impl, 0 cont) and 16169 constraints
0.39/0.48	c    2001 constraints of type <setppc>
0.39/0.48	c   14168 constraints of type <logicor>
0.39/0.48	c transformed objective value is always integral (scale: 1)
0.39/0.48	c Presolving Time: 0.28
0.39/0.48	c - non default parameters ----------------------------------------------------------------------
0.39/0.48	c # SCIP version 2.0.1.5
0.39/0.48	c 
0.39/0.48	c # frequency for displaying node information lines
0.39/0.48	c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.48	c display/freq = 10000
0.39/0.48	c 
0.39/0.48	c # maximal time in seconds to run
0.39/0.48	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.48	c limits/time = 1797
0.39/0.48	c 
0.39/0.48	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.48	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.48	c limits/memory = 13950
0.39/0.48	c 
0.39/0.48	c # solving stops, if the given number of solutions were found (-1: no limit)
0.39/0.48	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.48	c limits/solutions = 1
0.39/0.48	c 
0.39/0.48	c # maximal number of separation rounds per node (-1: unlimited)
0.39/0.48	c # [type: int, range: [-1,2147483647], default: 5]
0.39/0.48	c separating/maxrounds = 1
0.39/0.48	c 
0.39/0.48	c # maximal number of separation rounds in the root node (-1: unlimited)
0.39/0.48	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.48	c separating/maxroundsroot = 5
0.39/0.48	c 
0.39/0.48	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.48	c # [type: int, range: [1,2], default: 1]
0.39/0.48	c timing/clocktype = 2
0.39/0.48	c 
0.39/0.48	c # belongs reading time to solving time?
0.39/0.48	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.48	c timing/reading = TRUE
0.39/0.48	c 
0.39/0.48	c # should presolving try to simplify inequalities
0.39/0.48	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.48	c constraints/linear/simplifyinequalities = TRUE
0.39/0.48	c 
0.39/0.48	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.48	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.48	c constraints/indicator/addCouplingCons = TRUE
0.39/0.48	c 
0.39/0.48	c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.39/0.48	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.39/0.48	c constraints/knapsack/disaggregation = FALSE
0.39/0.48	c 
0.39/0.48	c # should presolving try to simplify knapsacks
0.39/0.48	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.48	c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.48	c 
0.39/0.48	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.39/0.48	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.48	c presolving/probing/maxrounds = 0
0.39/0.48	c 
0.39/0.48	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.39/0.48	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.48	c heuristics/coefdiving/freq = -1
0.39/0.48	c 
0.39/0.48	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.48	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.48	c heuristics/coefdiving/maxlpiterquot = 0.075
0.39/0.48	c 
0.39/0.48	c # additional number of allowed LP iterations
0.39/0.48	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.48	c heuristics/coefdiving/maxlpiterofs = 1500
0.39/0.48	c 
0.39/0.48	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.39/0.48	c # [type: int, range: [-1,2147483647], default: 30]
0.39/0.48	c heuristics/crossover/freq = -1
0.39/0.48	c 
0.39/0.48	c # number of nodes added to the contingent of the total nodes
0.39/0.48	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.48	c heuristics/crossover/nodesofs = 750
0.39/0.48	c 
0.39/0.48	c # number of nodes without incumbent change that heuristic should wait
0.39/0.48	c # [type: longint, range: [0,9223372036854775807], default: 200]
0.39/0.48	c heuristics/crossover/nwaitingnodes = 100
0.39/0.48	c 
0.39/0.48	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.39/0.48	c # [type: real, range: [0,1], default: 0.1]
0.39/0.48	c heuristics/crossover/nodesquot = 0.15
0.39/0.48	c 
0.39/0.48	c # minimum percentage of integer variables that have to be fixed 
0.39/0.48	c # [type: real, range: [0,1], default: 0.666]
0.39/0.48	c heuristics/crossover/minfixingrate = 0.5
0.39/0.48	c 
0.39/0.48	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.39/0.48	c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.48	c heuristics/feaspump/freq = -1
0.39/0.48	c 
0.39/0.48	c # additional number of allowed LP iterations
0.39/0.48	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.48	c heuristics/feaspump/maxlpiterofs = 2000
0.39/0.48	c 
0.39/0.48	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.39/0.48	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.48	c heuristics/fracdiving/freq = -1
0.39/0.48	c 
0.39/0.48	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.48	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.48	c heuristics/fracdiving/maxlpiterquot = 0.075
0.39/0.48	c 
0.39/0.48	c # additional number of allowed LP iterations
0.39/0.48	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.48	c heuristics/fracdiving/maxlpiterofs = 1500
0.39/0.48	c 
0.39/0.48	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.39/0.48	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.48	c heuristics/guideddiving/freq = -1
0.39/0.48	c 
0.39/0.48	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.48	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.48	c heuristics/guideddiving/maxlpiterquot = 0.075
0.39/0.48	c 
0.39/0.48	c # additional number of allowed LP iterations
0.39/0.48	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.48	c heuristics/guideddiving/maxlpiterofs = 1500
0.39/0.48	c 
0.39/0.48	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.48	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.48	c heuristics/intdiving/maxlpiterquot = 0.075
0.39/0.48	c 
0.39/0.48	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.39/0.48	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.48	c heuristics/intshifting/freq = -1
0.39/0.48	c 
0.39/0.48	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.39/0.48	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.48	c heuristics/linesearchdiving/freq = -1
0.39/0.48	c 
0.39/0.48	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.48	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.48	c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.39/0.48	c 
0.39/0.48	c # additional number of allowed LP iterations
0.39/0.48	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.48	c heuristics/linesearchdiving/maxlpiterofs = 1500
0.39/0.48	c 
0.39/0.48	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.48	c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.48	c heuristics/objpscostdiving/freq = -1
0.39/0.48	c 
0.39/0.48	c # maximal fraction of diving LP iterations compared to total iteration number
0.39/0.48	c # [type: real, range: [0,1], default: 0.01]
0.39/0.48	c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.39/0.48	c 
0.39/0.48	c # additional number of allowed LP iterations
0.39/0.48	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.48	c heuristics/objpscostdiving/maxlpiterofs = 1500
0.39/0.48	c 
0.39/0.48	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.39/0.48	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.48	c heuristics/oneopt/freq = -1
0.39/0.48	c 
0.39/0.48	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.48	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.48	c heuristics/pscostdiving/freq = -1
0.39/0.48	c 
0.39/0.48	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.48	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.48	c heuristics/pscostdiving/maxlpiterquot = 0.075
0.39/0.48	c 
0.39/0.48	c # additional number of allowed LP iterations
0.39/0.48	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.48	c heuristics/pscostdiving/maxlpiterofs = 1500
0.39/0.48	c 
0.39/0.48	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.39/0.48	c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.48	c heuristics/rens/freq = -1
0.39/0.48	c 
0.39/0.48	c # minimum percentage of integer variables that have to be fixable 
0.39/0.48	c # [type: real, range: [0,1], default: 0.5]
0.39/0.48	c heuristics/rens/minfixingrate = 0.3
0.39/0.48	c 
0.39/0.48	c # number of nodes added to the contingent of the total nodes
0.39/0.48	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.48	c heuristics/rens/nodesofs = 2000
0.39/0.48	c 
0.39/0.48	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.39/0.48	c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.48	c heuristics/rootsoldiving/freq = -1
0.39/0.48	c 
0.39/0.48	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.48	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.39/0.48	c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.39/0.48	c 
0.39/0.48	c # additional number of allowed LP iterations
0.39/0.48	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.48	c heuristics/rootsoldiving/maxlpiterofs = 1500
0.39/0.48	c 
0.39/0.48	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.39/0.48	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.48	c heuristics/rounding/freq = -1
0.39/0.48	c 
0.39/0.48	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.39/0.48	c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.48	c heuristics/shiftandpropagate/freq = -1
0.39/0.48	c 
0.39/0.48	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.39/0.48	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.48	c heuristics/shifting/freq = -1
0.39/0.48	c 
0.39/0.48	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.39/0.48	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.48	c heuristics/simplerounding/freq = -1
0.39/0.48	c 
0.39/0.48	c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.39/0.48	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.48	c heuristics/subnlp/freq = -1
0.39/0.48	c 
0.39/0.48	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.39/0.48	c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.48	c heuristics/trivial/freq = -1
0.39/0.48	c 
0.39/0.48	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.39/0.48	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.48	c heuristics/trysol/freq = -1
0.39/0.48	c 
0.39/0.48	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.39/0.48	c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.48	c heuristics/undercover/freq = -1
0.39/0.48	c 
0.39/0.48	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.39/0.48	c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.48	c heuristics/veclendiving/freq = -1
0.39/0.48	c 
0.39/0.48	c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.48	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.48	c heuristics/veclendiving/maxlpiterquot = 0.075
0.39/0.48	c 
0.39/0.48	c # additional number of allowed LP iterations
0.39/0.48	c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.48	c heuristics/veclendiving/maxlpiterofs = 1500
0.39/0.48	c 
0.39/0.48	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.39/0.48	c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.48	c heuristics/zirounding/freq = -1
0.39/0.48	c 
0.39/0.48	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.39/0.48	c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.48	c separating/cmir/freq = -1
0.39/0.48	c 
0.39/0.48	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.39/0.48	c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.48	c separating/flowcover/freq = -1
0.39/0.48	c 
0.39/0.48	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.48	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.48	c separating/rapidlearning/freq = 0
0.39/0.48	c 
0.39/0.48	c -----------------------------------------------------------------------------------------------
0.39/0.48	c start solving
0.39/0.48	c 
23.19/23.21	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
23.19/23.21	c  23.2s|     1 |     0 | 17012 |     - |  66M|   0 |3398 |  15k|  16k|  15k|  16k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
54.47/54.58	c  54.6s|     1 |     0 | 31754 |     - |  66M|   0 |3733 |  15k|  16k|  15k|  16k|   8 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
71.47/71.51	c  71.5s|     1 |     0 | 40316 |     - |  66M|   0 |3723 |  15k|  16k|  15k|  16k|  15 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
83.07/83.10	c  83.1s|     1 |     0 | 45757 |     - |  66M|   0 |3927 |  15k|  16k|  15k|  16k|  22 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
93.66/93.75	c  93.7s|     1 |     0 | 50582 |     - |  66M|   0 |4086 |  15k|  16k|  15k|  16k|  26 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
107.56/107.60	c   108s|     1 |     0 | 56971 |     - |  66M|   0 |4136 |  15k|  16k|  15k|  16k|  32 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
186.15/186.22	c   186s|     1 |     2 | 56971 |     - |  66M|   0 |4136 |  15k|  16k|  15k|  16k|  32 |   0 |  38 | 0.000000e+00 |      --      |    Inf 
1798.21/1798.57	c 
1798.21/1798.57	c SCIP Status        : solving was interrupted [time limit reached]
1798.21/1798.57	c Solving Time (sec) : 1798.57
1798.21/1798.57	c Solving Nodes      : 32
1798.21/1798.57	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1798.21/1798.57	c Dual Bound         : +0.00000000000000e+00
1798.21/1798.57	c Gap                : infinite
1798.21/1798.57	s UNKNOWN
1798.21/1798.57	c SCIP Status        : solving was interrupted [time limit reached]
1798.21/1798.57	c Total Time         :    1798.57
1798.21/1798.57	c   solving          :    1798.57
1798.21/1798.57	c   presolving       :       0.28 (included in solving)
1798.21/1798.57	c   reading          :       0.14 (included in solving)
1798.21/1798.57	c Original Problem   :
1798.21/1798.57	c   Problem name     : HOME/instance-3742514-1338787418.opb
1798.21/1798.57	c   Variables        : 16660 (16660 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.21/1798.57	c   Constraints      : 16942 initial, 16942 maximal
1798.21/1798.57	c Presolved Problem  :
1798.21/1798.57	c   Problem name     : t_HOME/instance-3742514-1338787418.opb
1798.21/1798.57	c   Variables        : 15918 (15918 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.21/1798.57	c   Constraints      : 16169 initial, 16170 maximal
1798.21/1798.57	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1798.21/1798.57	c   trivial          :       0.01          0          0          0          0          0          0          0          0          0
1798.21/1798.57	c   dualfix          :       0.01          0          0          0          0          0          0          0          0          0
1798.21/1798.57	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1798.21/1798.57	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1798.21/1798.57	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
1798.21/1798.57	c   implics          :       0.01          0          0          0          0          0          0          0          0          0
1798.21/1798.57	c   probing          :       0.00          0          0          0          0          0          0          0          0          0
1798.21/1798.57	c   setppc           :       0.01          0          0          0          0          0          0          0          0          0
1798.21/1798.57	c   linear           :       0.14        742          0          0        742          0        773          0          0          0
1798.21/1798.57	c   logicor          :       0.04          0          0          0          0          0          0          0          0          0
1798.21/1798.57	c   root node        :          -          0          -          -          0          -          -          -          -          -
1798.21/1798.57	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1798.21/1798.57	c   integral         :          0          0          0         33          0          1          0          0          4          0          0         62
1798.21/1798.57	c   setppc           :       2001          5        240          0          0          0        243          0       3455          0          0          0
1798.21/1798.57	c   logicor          :      14168+         5        215          0          0          0        658          1       6476          0          0          0
1798.21/1798.57	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0
1798.21/1798.57	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1798.21/1798.57	c   integral         :     764.34       0.00       0.00     764.34       0.00       0.00       0.00
1798.21/1798.57	c   setppc           :       0.01       0.00       0.01       0.00       0.00       0.00       0.00
1798.21/1798.57	c   logicor          :       0.02       0.00       0.02       0.00       0.00       0.00       0.00
1798.21/1798.57	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1798.21/1798.57	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1798.21/1798.57	c   vbounds          :          0          0          0          0
1798.21/1798.57	c   rootredcost      :          0          0          0          0
1798.21/1798.57	c   pseudoobj        :          0          0          0          0
1798.21/1798.57	c Propagator Timings :  TotalTime  Propagate    Resprop
1798.21/1798.57	c   vbounds          :       0.00       0.00       0.00
1798.21/1798.57	c   rootredcost      :       0.00       0.00       0.00
1798.21/1798.57	c   pseudoobj        :       0.00       0.00       0.00
1798.21/1798.57	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1798.21/1798.57	c   propagation      :       0.00          1          1          2        9.5          0        0.0          -
1798.21/1798.57	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1798.21/1798.57	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1798.21/1798.57	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1798.21/1798.57	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1798.21/1798.57	c   applied globally :          -          -          -          1        4.0          -          -          -
1798.21/1798.57	c   applied locally  :          -          -          -          0        0.0          -          -          -
1798.21/1798.57	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1798.21/1798.57	c   cut pool         :       0.00          4          -          -          2          -    (maximal pool size: 43)
1798.21/1798.57	c   redcost          :       0.02         35          0          0          0          0
1798.21/1798.57	c   impliedbounds    :       0.00          5          0          0          0          0
1798.21/1798.57	c   intobj           :       0.00          0          0          0          0          0
1798.21/1798.57	c   gomory           :       3.73          5          0          0         17          0
1798.21/1798.57	c   cgmip            :       0.00          0          0          0          0          0
1798.21/1798.57	c   closecuts        :       0.00          0          0          0          0          0
1798.21/1798.57	c   strongcg         :       3.69          5          0          0         17          0
1798.21/1798.57	c   cmir             :       0.00          0          0          0          0          0
1798.21/1798.57	c   flowcover        :       0.00          0          0          0          0          0
1798.21/1798.57	c   clique           :       0.76          5          0          0         31          0
1798.21/1798.57	c   zerohalf         :       0.00          0          0          0          0          0
1798.21/1798.57	c   mcf              :       0.01          1          0          0          0          0
1798.21/1798.57	c   oddcycle         :       0.00          0          0          0          0          0
1798.21/1798.57	c   rapidlearning    :       0.00          0          0          0          0          0
1798.21/1798.57	c Pricers            :       Time      Calls       Vars
1798.21/1798.57	c   problem variables:       0.00          0          0
1798.21/1798.57	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1798.21/1798.57	c   relpscost        :     764.34         33          0          4          0          0         62
1798.21/1798.57	c   pscost           :       0.00          0          0          0          0          0          0
1798.21/1798.57	c   inference        :       0.00          0          0          0          0          0          0
1798.21/1798.57	c   mostinf          :       0.00          0          0          0          0          0          0
1798.21/1798.57	c   leastinf         :       0.00          0          0          0          0          0          0
1798.21/1798.57	c   fullstrong       :       0.00          0          0          0          0          0          0
1798.21/1798.57	c   allfullstrong    :       0.00          0          0          0          0          0          0
1798.21/1798.57	c   random           :       0.00          0          0          0          0          0          0
1798.21/1798.57	c Primal Heuristics  :       Time      Calls      Found
1798.21/1798.57	c   LP solutions     :       0.00          -          0
1798.21/1798.57	c   pseudo solutions :       0.00          -          0
1798.21/1798.57	c   trivial          :       0.02          1          0
1798.21/1798.57	c   shiftandpropagate:       0.00          0          0
1798.21/1798.57	c   simplerounding   :       0.00          0          0
1798.21/1798.57	c   zirounding       :       0.00          0          0
1798.21/1798.57	c   rounding         :       0.00          0          0
1798.21/1798.57	c   shifting         :       0.00          0          0
1798.21/1798.57	c   intshifting      :       0.00          0          0
1798.21/1798.57	c   oneopt           :       0.00          0          0
1798.21/1798.57	c   twoopt           :       0.00          0          0
1798.21/1798.57	c   fixandinfer      :       0.00          0          0
1798.21/1798.57	c   feaspump         :       0.00          0          0
1798.21/1798.57	c   clique           :       0.00          0          0
1798.21/1798.57	c   coefdiving       :       0.00          0          0
1798.21/1798.57	c   pscostdiving     :       0.00          0          0
1798.21/1798.57	c   fracdiving       :       0.00          0          0
1798.21/1798.57	c   veclendiving     :       0.00          0          0
1798.21/1798.57	c   intdiving        :       0.00          0          0
1798.21/1798.57	c   actconsdiving    :       0.00          0          0
1798.21/1798.57	c   objpscostdiving  :       0.00          0          0
1798.21/1798.57	c   rootsoldiving    :       0.00          0          0
1798.21/1798.57	c   linesearchdiving :       0.00          0          0
1798.21/1798.57	c   guideddiving     :       0.00          0          0
1798.21/1798.57	c   octane           :       0.00          0          0
1798.21/1798.57	c   rens             :       0.00          0          0
1798.21/1798.57	c   rins             :       0.00          0          0
1798.21/1798.57	c   localbranching   :       0.00          0          0
1798.21/1798.57	c   mutation         :       0.00          0          0
1798.21/1798.57	c   crossover        :       0.00          0          0
1798.21/1798.57	c   dins             :       0.00          0          0
1798.21/1798.57	c   vbounds          :       0.00          0          0
1798.21/1798.57	c   undercover       :       0.00          0          0
1798.21/1798.57	c   subnlp           :       0.00          0          0
1798.21/1798.57	c   trysol           :       0.00          0          0
1798.21/1798.57	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1798.21/1798.57	c   primal LP        :       0.03          0          0       0.00       0.00
1798.21/1798.57	c   dual LP          :    1025.20         38     463032   12185.05     451.65
1798.21/1798.57	c   lex dual LP      :       0.00          0          0       0.00          -
1798.21/1798.57	c   barrier LP       :       0.00          0          0       0.00          -
1798.21/1798.57	c   diving/probing LP:       0.00          0          0       0.00          -
1798.21/1798.57	c   strong branching :     764.28        387     371964     961.15     486.69
1798.21/1798.57	c     (at root node) :          -         38      38000    1000.00          -
1798.21/1798.57	c   conflict analysis:       0.00          0          0       0.00          -
1798.21/1798.57	c B&B Tree           :
1798.21/1798.57	c   number of runs   :          1
1798.21/1798.57	c   nodes            :         32
1798.21/1798.57	c   nodes (total)    :         32
1798.21/1798.57	c   nodes left       :         31
1798.21/1798.57	c   max depth        :         15
1798.21/1798.57	c   max depth (total):         15
1798.21/1798.57	c   backtracks       :          7 (21.9%)
1798.21/1798.57	c   delayed cutoffs  :          0
1798.21/1798.57	c   repropagations   :          1 (1 domain reductions, 0 cutoffs)
1798.21/1798.57	c   avg switch length:       2.19
1798.21/1798.57	c   switching time   :       0.06
1798.21/1798.57	c Solution           :
1798.21/1798.57	c   Solutions found  :          0 (0 improvements)
1798.21/1798.57	c   Primal Bound     :          -
1798.21/1798.57	c   Dual Bound       : +0.00000000000000e+00
1798.21/1798.57	c   Gap              :   infinite
1798.21/1798.57	c   Root Dual Bound  : +0.00000000000000e+00
1798.21/1798.57	c   Root Iterations  :      56971
1798.30/1798.66	c Time complete: 1798.38.

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-3742514-1338787418/watcher-3742514-1338787418 -o /tmp/evaluation-result-3742514-1338787418/solver-3742514-1338787418 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3742514-1338787418.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.94 2/176 12722
/proc/meminfo: memFree=30303660/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=9588 CPUtime=0 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 1508 0 0 0 0 0 0 0 20 0 1 0 344866320 9818112 1463 33554432000 4194304 9016284 140736561743856 140736262440344 7824814 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 2397 1464 311 1178 0 1215 0

[startup+0.066872 s]
/proc/loadavg: 2.00 2.00 1.94 2/176 12722
/proc/meminfo: memFree=30303660/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=29192 CPUtime=0.05 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 6260 0 0 0 5 0 0 0 20 0 1 0 344866320 29892608 6215 33554432000 4194304 9016284 140736561743856 140736262440344 7870498 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 7298 6215 357 1178 0 6116 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 29192

[startup+0.100267 s]
/proc/loadavg: 2.00 2.00 1.94 2/176 12722
/proc/meminfo: memFree=30303660/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=31740 CPUtime=0.08 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 6927 0 0 0 8 0 0 0 20 0 1 0 344866320 32501760 6882 33554432000 4194304 9016284 140736561743856 140736262440344 7870493 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 7935 6882 357 1178 0 6753 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 31740

[startup+0.300215 s]
/proc/loadavg: 2.00 2.00 1.94 2/176 12722
/proc/meminfo: memFree=30303660/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=75560 CPUtime=0.29 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 17627 0 0 0 27 2 0 0 20 0 1 0 344866320 77373440 17315 33554432000 4194304 9016284 140736561743856 140736262440344 5236597 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 18890 17315 486 1178 0 17708 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 75560

[startup+0.700212 s]
/proc/loadavg: 2.00 2.00 1.94 2/176 12722
/proc/meminfo: memFree=30303660/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=129096 CPUtime=0.69 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 31229 0 0 0 64 5 0 0 20 0 1 0 344866320 132194304 29889 33554432000 4194304 9016284 140736561743856 140736561739944 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 32274 29889 613 1178 0 31092 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 129096

[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 1.94 4/177 12723
/proc/meminfo: memFree=30184604/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=130100 CPUtime=1.49 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 31780 0 0 0 144 5 0 0 20 0 1 0 344866320 133222400 30440 33554432000 4194304 9016284 140736561743856 140736561739944 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 32525 30440 613 1178 0 31343 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 130100

[startup+3.1002 s]
/proc/loadavg: 2.00 2.00 1.94 4/177 12723
/proc/meminfo: memFree=30182876/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=131680 CPUtime=3.09 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 32184 0 0 0 303 6 0 0 20 0 1 0 344866320 134840320 30844 33554432000 4194304 9016284 140736561743856 140736561737720 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 32920 30844 613 1178 0 31738 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 131680

[startup+6.3002 s]
/proc/loadavg: 2.00 2.00 1.94 3/174 12751
/proc/meminfo: memFree=30331400/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=131816 CPUtime=6.29 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 32223 0 0 0 623 6 0 0 20 0 1 0 344866320 134979584 30883 33554432000 4194304 9016284 140736561743856 140736561737816 7153305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 32954 30883 613 1178 0 31772 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 131816

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 12761
/proc/meminfo: memFree=30186180/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=136068 CPUtime=12.68 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 33295 0 0 0 1261 7 0 0 20 0 1 0 344866320 139333632 32113 33554432000 4194304 9016284 140736561743856 140736561738136 7219239 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 34017 32113 616 1178 0 32835 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 136068

[startup+25.5002 s]
/proc/loadavg: 2.08 2.02 1.94 3/177 12761
/proc/meminfo: memFree=30180252/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=136068 CPUtime=25.48 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 34030 0 0 0 2539 9 0 0 20 0 1 0 344866320 139333632 32779 33554432000 4194304 9016284 140736561743856 140736561739016 6863440 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 34017 32779 642 1178 0 32835 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 136068

[startup+51.1002 s]
/proc/loadavg: 2.05 2.01 1.94 3/177 12762
/proc/meminfo: memFree=30176608/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=136068 CPUtime=51.07 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 34160 0 0 0 5096 11 0 0 20 0 1 0 344866320 139333632 33262 33554432000 4194304 9016284 140736561743856 140736561736776 7181476 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 34017 33262 642 1178 0 32835 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 136068

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 1.94 3/177 12762
/proc/meminfo: memFree=30169460/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=140432 CPUtime=102.27 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 36922 0 0 0 10209 18 0 0 20 0 1 0 344866320 143802368 34221 33554432000 4194304 9016284 140736561743856 140736561737720 7180996 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 35108 34221 642 1178 0 33926 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 140432

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 12762
/proc/meminfo: memFree=30169140/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=139736 CPUtime=162.26 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 38548 0 0 0 16201 25 0 0 20 0 1 0 344866320 143089664 34129 33554432000 4194304 9016284 140736561743856 140736561737112 7216372 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 34934 34129 643 1178 0 33752 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 139736

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 12762
/proc/meminfo: memFree=30168328/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=139880 CPUtime=222.24 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 38631 0 0 0 22193 31 0 0 20 0 1 0 344866320 143237120 34209 33554432000 4194304 9016284 140736561743856 140736561738136 7181488 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 34970 34209 648 1178 0 33788 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 139880

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 12762
/proc/meminfo: memFree=30172108/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=139760 CPUtime=282.24 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 43908 0 0 0 28188 36 0 0 20 0 1 0 344866320 143114240 34168 33554432000 4194304 9016284 140736561743856 140736561737656 7191713 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 34940 34168 648 1178 0 33758 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 139760

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 12763
/proc/meminfo: memFree=30165724/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=139700 CPUtime=342.23 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 45676 0 0 0 34181 42 0 0 20 0 1 0 344866320 143052800 34171 33554432000 4194304 9016284 140736561743856 140736561737640 7180877 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 34925 34171 648 1178 0 33743 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 139700

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 12766
/proc/meminfo: memFree=30170240/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=139484 CPUtime=402.22 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 52670 0 0 0 40172 50 0 0 20 0 1 0 344866320 142831616 34089 33554432000 4194304 9016284 140736561743856 140736561737704 7153328 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 34871 34089 648 1178 0 33689 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 139484

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 12766
/proc/meminfo: memFree=30170928/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=140716 CPUtime=462.21 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 61418 0 0 0 46165 56 0 0 20 0 1 0 344866320 144093184 34360 33554432000 4194304 9016284 140736561743856 140736561737640 7152964 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 35179 34360 648 1178 0 33997 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 140716

[startup+522.3 s]
/proc/loadavg: 2.06 2.02 1.95 3/177 12766
/proc/meminfo: memFree=30171548/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=138840 CPUtime=522.2 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 62809 0 0 0 52158 62 0 0 20 0 1 0 344866320 142172160 33856 33554432000 4194304 9016284 140736561743856 140736561736664 7180413 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 34710 33856 648 1178 0 33528 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 138840

[startup+582.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/177 12766
/proc/meminfo: memFree=30169500/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=138836 CPUtime=582.18 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 64962 0 0 0 58151 67 0 0 20 0 1 0 344866320 142168064 33938 33554432000 4194304 9016284 140736561743856 140736561737608 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 34709 33938 648 1178 0 33527 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 138836

[startup+642.3 s]

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

/proc/meminfo: memFree=30164576/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=140056 CPUtime=1122.11 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 87207 0 0 0 112085 126 0 0 20 0 1 0 344866320 143417344 34242 33554432000 4194304 9016284 140736561743856 140736561737656 7191725 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 35014 34242 648 1178 0 33832 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 140056

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/177 12771
/proc/meminfo: memFree=30163776/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=141152 CPUtime=1182.1 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 90727 0 0 0 118078 132 0 0 20 0 1 0 344866320 144539648 34455 33554432000 4194304 9016284 140736561743856 140736561736776 7180891 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 35288 34455 648 1178 0 34106 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 141152

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 12771
/proc/meminfo: memFree=30168116/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=140128 CPUtime=1242.09 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 95167 0 0 0 124069 140 0 0 20 0 1 0 344866320 143491072 34141 33554432000 4194304 9016284 140736561743856 140736561737720 7219022 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 35032 34141 648 1178 0 33850 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 140128

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 12772
/proc/meminfo: memFree=30163152/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=144368 CPUtime=1302.09 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 96195 0 0 0 130063 146 0 0 20 0 1 0 344866320 147832832 35169 33554432000 4194304 9016284 140736561743856 140736561737720 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 36092 35169 652 1178 0 34910 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 144368

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 12772
/proc/meminfo: memFree=30156700/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=141752 CPUtime=1362.07 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 135891 0 0 0 136048 159 0 0 20 0 1 0 344866320 145154048 34465 33554432000 4194304 9016284 140736561743856 140736561737608 7191725 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 35438 34465 652 1178 0 34256 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 141752

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 12772
/proc/meminfo: memFree=30166804/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=143800 CPUtime=1422.07 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 140140 0 0 0 142042 165 0 0 20 0 1 0 344866320 147251200 35082 33554432000 4194304 9016284 140736561743856 140736561737720 7153308 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 35950 35082 652 1178 0 34768 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 143800

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 12772
/proc/meminfo: memFree=30163452/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=143908 CPUtime=1482.05 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 142924 0 0 0 148035 170 0 0 20 0 1 0 344866320 147361792 35178 33554432000 4194304 9016284 140736561743856 140736561737640 7189343 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 35977 35178 652 1178 0 34795 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 143908

[startup+1542.3 s]
/proc/loadavg: 2.06 2.02 1.96 3/177 12772
/proc/meminfo: memFree=30159548/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=143700 CPUtime=1542.04 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 144705 0 0 0 154030 174 0 0 20 0 1 0 344866320 147148800 35072 33554432000 4194304 9016284 140736561743856 140736561737640 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 35925 35072 652 1178 0 34743 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 143700

[startup+1602.3 s]
/proc/loadavg: 2.08 2.03 1.96 3/178 12776
/proc/meminfo: memFree=30163688/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=140232 CPUtime=1602.03 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 174962 0 0 0 160014 189 0 0 20 0 1 0 344866320 143597568 34296 33554432000 4194304 9016284 140736561743856 140736561737640 7230776 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 35058 34296 652 1178 0 33876 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 140232

[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 1.96 3/177 12776
/proc/meminfo: memFree=30161148/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=143044 CPUtime=1662.02 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 175575 0 0 0 166008 194 0 0 20 0 1 0 344866320 146477056 34941 33554432000 4194304 9016284 140736561743856 140736561738024 7191729 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 35761 34941 652 1178 0 34579 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 143044

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/177 12776
/proc/meminfo: memFree=30165308/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=140452 CPUtime=1722.01 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 176631 0 0 0 172000 201 0 0 20 0 1 0 344866320 143822848 34346 33554432000 4194304 9016284 140736561743856 140736561737912 7158192 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 35113 34346 652 1178 0 33931 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 140452

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/177 12776
/proc/meminfo: memFree=30161824/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=140708 CPUtime=1782.01 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 176702 0 0 0 177994 207 0 0 20 0 1 0 344866320 144084992 34417 33554432000 4194304 9016284 140736561743856 140736561737768 7153308 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 35177 34417 652 1178 0 33995 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 140708

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 1.96 3/177 12776
/proc/meminfo: memFree=30162196/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=140708 CPUtime=1791.61 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 176702 0 0 0 178952 209 0 0 20 0 1 0 344866320 144084992 34417 33554432000 4194304 9016284 140736561743856 140736561737704 7191653 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 35177 34417 652 1178 0 33995 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 140708

[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 1.96 3/177 12776
/proc/meminfo: memFree=30169024/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=140708 CPUtime=1794.81 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 176702 0 0 0 179272 209 0 0 20 0 1 0 344866320 144084992 34417 33554432000 4194304 9016284 140736561743856 140736561737608 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 35177 34417 652 1178 0 33995 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 140708

[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 1.96 3/177 12776
/proc/meminfo: memFree=30165924/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=140708 CPUtime=1796.41 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 176702 0 0 0 179431 210 0 0 20 0 1 0 344866320 144084992 34417 33554432000 4194304 9016284 140736561743856 140736561737704 7180592 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 35177 34417 652 1178 0 33995 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 140708

[startup+1797.5 s]
/proc/loadavg: 2.00 2.01 1.96 3/177 12776
/proc/meminfo: memFree=30166668/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=140708 CPUtime=1797.2 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 176702 0 0 0 179510 210 0 0 20 0 1 0 344866320 144084992 34417 33554432000 4194304 9016284 140736561743856 140736561737704 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 35177 34417 652 1178 0 33995 0
Current children cumulated CPU time (s) 1797.2
Current children cumulated vsize (KiB) 140708

[startup+1798.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/177 12776
/proc/meminfo: memFree=30166668/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=140708 CPUtime=1798 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 176702 0 0 0 179590 210 0 0 20 0 1 0 344866320 144084992 34417 33554432000 4194304 9016284 140736561743856 140736561737608 7180612 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 35177 34417 652 1178 0 33995 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 140708

[startup+1798.51 s]
/proc/loadavg: 2.00 2.01 1.96 3/177 12776
/proc/meminfo: memFree=30164312/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=140708 CPUtime=1798.21 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 176702 0 0 0 179611 210 0 0 20 0 1 0 344866320 144084992 34417 33554432000 4194304 9016284 140736561743856 140736561737704 7153343 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 35177 34417 652 1178 0 33995 0
Current children cumulated CPU time (s) 1798.21
Current children cumulated vsize (KiB) 140708

[startup+1798.6 s]
/proc/loadavg: 2.00 2.01 1.96 3/177 12776
/proc/meminfo: memFree=30164312/32873844 swapFree=7900/7900
[pid=12722] ppid=12720 vsize=140708 CPUtime=1798.3 cores=0,2,4,6
/proc/12722/stat : 12722 (scip-2.0.1.4b_2) R 12720 12722 12511 0 -1 4202496 176707 0 0 0 179620 210 0 0 20 0 1 0 344866320 144084992 34422 33554432000 4194304 9016284 140736561743856 140736561737704 6548938 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12722/statm: 35177 34422 657 1178 0 33995 0
Current children cumulated CPU time (s) 1798.3
Current children cumulated vsize (KiB) 140708

Child status: 0
Real time (s): 1798.67
CPU time (s): 1798.38
CPU user time (s): 1796.27
CPU system time (s): 2.11068
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 146380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.27
system time used= 2.11068
maximum resident set size= 143168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 176716
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= 34
involuntary context switches= 1913

runsolver used 3.14952 second user time and 7.66284 second system time

The end

Launcher Data 

Begin job on node137 at 2012-06-04 07:23:38
IDJOB=3742514
IDBENCH=90196
IDSOLVER=2329
FILE ID=node137/3742514-1338787418
RUNJOBID= node137-1338783823-12527
PBS_JOBID= 14636842
Free space on /tmp= 70308 MiB

SOLVER NAME= PB11: SCIP spx E_2 2011-06-10 (fixed)
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K140.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-3742514-1338787418/watcher-3742514-1338787418 -o /tmp/evaluation-result-3742514-1338787418/solver-3742514-1338787418 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3742514-1338787418.opb -t 1800 -m 15500

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

MD5SUM BENCH= 59945e7fb6f70b0a7aeb9a0267c89f72
RANDOM SEED=259036893

node137.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.600
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	: 5333.20
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.600
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.600
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	: 5331.92
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.600
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.600
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.600
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.90
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.600
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.600
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:       32873844 kB
MemFree:        30304048 kB
Buffers:          288696 kB
Cached:          1313856 kB
SwapCached:         5796 kB
Active:          1003896 kB
Inactive:         741696 kB
Active(anon):     138356 kB
Inactive(anon):     7168 kB
Active(file):     865540 kB
Inactive(file):   734528 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67097500 kB
Dirty:             17864 kB
Writeback:             0 kB
AnonPages:        107880 kB
Mapped:            11952 kB
Shmem:                 0 kB
Slab:             685092 kB
SReclaimable:     126348 kB
SUnreclaim:       558744 kB
KernelStack:        1472 kB
PageTables:         3908 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     261588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     86016 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= 70292 MiB
End job on node137 at 2012-06-04 07:53:37