Trace number 3742238

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
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? 1789.91 1790.2

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K200.opb
MD5SUM4ffc81aa318dee614e51a62344fd339d
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 variables23800
Total number of constraints24202
Number of constraints which are clauses24002
Number of constraints which are cardinality constraints (but not clauses)200
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint200
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 201
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 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00	c Copyright (c) 2002-2010 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-3742238-1338768903.opb>
0.19/0.25	c original problem has 23800 variables (23800 bin, 0 int, 0 impl, 0 cont) and 24202 constraints
0.19/0.25	c problem read
0.19/0.25	c No objective function, only one solution is needed.
0.19/0.25	c presolving settings loaded
0.29/0.38	c presolving:
0.39/0.44	c (round 1) 238 del vars, 13 del conss, 238 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 24780 impls, 198 clqs
0.39/0.45	c (round 2) 367 del vars, 260 del conss, 367 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 24888 impls, 198 clqs
0.39/0.45	c (round 3) 475 del vars, 368 del conss, 475 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 25086 impls, 198 clqs
0.39/0.46	c (round 4) 562 del vars, 455 del conss, 562 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 25308 impls, 198 clqs
0.39/0.47	c (round 5) 626 del vars, 519 del conss, 626 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 25534 impls, 198 clqs
0.39/0.47	c (round 6) 669 del vars, 562 del conss, 669 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 25694 impls, 198 clqs
0.39/0.48	c (round 7) 696 del vars, 589 del conss, 696 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 25820 impls, 198 clqs
0.39/0.49	c (round 8) 714 del vars, 607 del conss, 714 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 25862 impls, 198 clqs
0.39/0.49	c (round 9) 728 del vars, 621 del conss, 728 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 25908 impls, 198 clqs
0.49/0.50	c (round 10) 737 del vars, 630 del conss, 737 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 25964 impls, 198 clqs
0.49/0.50	c (round 11) 742 del vars, 635 del conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 25994 impls, 198 clqs
0.58/0.63	c (round 12) 742 del vars, 833 del conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 23171 upgd conss, 26010 impls, 198 clqs
0.58/0.67	c (round 13) 742 del vars, 833 del conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 23369 upgd conss, 26010 impls, 198 clqs
0.68/0.70	c presolving (14 rounds):
0.68/0.70	c  742 deleted vars, 833 deleted constraints, 742 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.68/0.70	c  26010 implications, 198 cliques
0.68/0.70	c presolved problem has 23058 variables (23058 bin, 0 int, 0 impl, 0 cont) and 23369 constraints
0.68/0.70	c    2841 constraints of type <setppc>
0.68/0.70	c   20528 constraints of type <logicor>
0.68/0.70	c transformed objective value is always integral (scale: 1)
0.68/0.70	c Presolving Time: 0.38
0.68/0.70	c - non default parameters ----------------------------------------------------------------------
0.68/0.70	c # SCIP version 1.2.1.3
0.68/0.70	c 
0.68/0.70	c # frequency for displaying node information lines
0.68/0.70	c # [type: int, range: [-1,2147483647], default: 100]
0.68/0.70	c display/freq = 10000
0.68/0.70	c 
0.68/0.70	c # maximal time in seconds to run
0.68/0.70	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.68/0.70	c limits/time = 1789.76
0.68/0.70	c 
0.68/0.70	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.68/0.70	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.68/0.70	c limits/memory = 13950
0.68/0.70	c 
0.68/0.70	c # solving stops, if the given number of solutions were found (-1: no limit)
0.68/0.70	c # [type: int, range: [-1,2147483647], default: -1]
0.68/0.70	c limits/solutions = 1
0.68/0.70	c 
0.68/0.70	c # maximal number of separation rounds per node (-1: unlimited)
0.68/0.70	c # [type: int, range: [-1,2147483647], default: 5]
0.68/0.70	c separating/maxrounds = 1
0.68/0.70	c 
0.68/0.70	c # maximal number of separation rounds in the root node (-1: unlimited)
0.68/0.70	c # [type: int, range: [-1,2147483647], default: -1]
0.68/0.70	c separating/maxroundsroot = 5
0.68/0.70	c 
0.68/0.70	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.68/0.70	c # [type: int, range: [1,2], default: 1]
0.68/0.70	c timing/clocktype = 2
0.68/0.70	c 
0.68/0.70	c # should presolving try to simplify inequalities
0.68/0.70	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.68/0.70	c constraints/linear/simplifyinequalities = TRUE
0.68/0.70	c 
0.68/0.70	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.68/0.70	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.68/0.70	c constraints/indicator/addCouplingCons = TRUE
0.68/0.70	c 
0.68/0.70	c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.68/0.70	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.68/0.70	c constraints/knapsack/disaggregation = FALSE
0.68/0.70	c 
0.68/0.70	c # should presolving try to simplify knapsacks
0.68/0.70	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.68/0.70	c constraints/knapsack/simplifyinequalities = TRUE
0.68/0.70	c 
0.68/0.70	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.68/0.70	c # [type: int, range: [-1,2147483647], default: -1]
0.68/0.70	c presolving/probing/maxrounds = 0
0.68/0.70	c 
0.68/0.70	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.68/0.70	c # [type: int, range: [-1,2147483647], default: 10]
0.68/0.70	c heuristics/coefdiving/freq = -1
0.68/0.70	c 
0.68/0.70	c # maximal fraction of diving LP iterations compared to node LP iterations
0.68/0.70	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.68/0.70	c heuristics/coefdiving/maxlpiterquot = 0.075
0.68/0.70	c 
0.68/0.70	c # additional number of allowed LP iterations
0.68/0.70	c # [type: int, range: [0,2147483647], default: 1000]
0.68/0.70	c heuristics/coefdiving/maxlpiterofs = 1500
0.68/0.70	c 
0.68/0.70	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.68/0.70	c # [type: int, range: [-1,2147483647], default: 30]
0.68/0.70	c heuristics/crossover/freq = -1
0.68/0.70	c 
0.68/0.70	c # number of nodes added to the contingent of the total nodes
0.68/0.70	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.68/0.70	c heuristics/crossover/nodesofs = 750
0.68/0.70	c 
0.68/0.70	c # number of nodes without incumbent change that heuristic should wait
0.68/0.70	c # [type: longint, range: [0,9223372036854775807], default: 200]
0.68/0.70	c heuristics/crossover/nwaitingnodes = 100
0.68/0.70	c 
0.68/0.70	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.68/0.70	c # [type: real, range: [0,1], default: 0.1]
0.68/0.70	c heuristics/crossover/nodesquot = 0.15
0.68/0.70	c 
0.68/0.70	c # minimum percentage of integer variables that have to be fixed 
0.68/0.70	c # [type: real, range: [0,1], default: 0.666]
0.68/0.70	c heuristics/crossover/minfixingrate = 0.5
0.68/0.70	c 
0.68/0.70	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.68/0.70	c # [type: int, range: [-1,2147483647], default: 20]
0.68/0.70	c heuristics/feaspump/freq = -1
0.68/0.70	c 
0.68/0.70	c # additional number of allowed LP iterations
0.68/0.70	c # [type: int, range: [0,2147483647], default: 1000]
0.68/0.70	c heuristics/feaspump/maxlpiterofs = 2000
0.68/0.70	c 
0.68/0.70	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.68/0.70	c # [type: int, range: [-1,2147483647], default: 10]
0.68/0.70	c heuristics/fracdiving/freq = -1
0.68/0.70	c 
0.68/0.70	c # maximal fraction of diving LP iterations compared to node LP iterations
0.68/0.70	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.68/0.70	c heuristics/fracdiving/maxlpiterquot = 0.075
0.68/0.70	c 
0.68/0.70	c # additional number of allowed LP iterations
0.68/0.70	c # [type: int, range: [0,2147483647], default: 1000]
0.68/0.70	c heuristics/fracdiving/maxlpiterofs = 1500
0.68/0.70	c 
0.68/0.70	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.68/0.70	c # [type: int, range: [-1,2147483647], default: 10]
0.68/0.70	c heuristics/guideddiving/freq = -1
0.68/0.70	c 
0.68/0.70	c # maximal fraction of diving LP iterations compared to node LP iterations
0.68/0.70	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.68/0.70	c heuristics/guideddiving/maxlpiterquot = 0.075
0.68/0.70	c 
0.68/0.70	c # additional number of allowed LP iterations
0.68/0.70	c # [type: int, range: [0,2147483647], default: 1000]
0.68/0.70	c heuristics/guideddiving/maxlpiterofs = 1500
0.68/0.70	c 
0.68/0.70	c # maximal fraction of diving LP iterations compared to node LP iterations
0.68/0.70	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.68/0.70	c heuristics/intdiving/maxlpiterquot = 0.075
0.68/0.70	c 
0.68/0.70	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.68/0.70	c # [type: int, range: [-1,2147483647], default: 10]
0.68/0.70	c heuristics/intshifting/freq = -1
0.68/0.70	c 
0.68/0.70	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.68/0.70	c # [type: int, range: [-1,2147483647], default: 10]
0.68/0.70	c heuristics/linesearchdiving/freq = -1
0.68/0.70	c 
0.68/0.70	c # maximal fraction of diving LP iterations compared to node LP iterations
0.68/0.70	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.68/0.70	c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.68/0.70	c 
0.68/0.70	c # additional number of allowed LP iterations
0.68/0.70	c # [type: int, range: [0,2147483647], default: 1000]
0.68/0.70	c heuristics/linesearchdiving/maxlpiterofs = 1500
0.68/0.70	c 
0.68/0.70	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.68/0.70	c # [type: int, range: [-1,2147483647], default: 1]
0.68/0.70	c heuristics/nlp/freq = -1
0.68/0.70	c 
0.68/0.70	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.68/0.70	c # [type: int, range: [-1,2147483647], default: 20]
0.68/0.70	c heuristics/objpscostdiving/freq = -1
0.68/0.70	c 
0.68/0.70	c # maximal fraction of diving LP iterations compared to total iteration number
0.68/0.70	c # [type: real, range: [0,1], default: 0.01]
0.68/0.70	c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.68/0.70	c 
0.68/0.70	c # additional number of allowed LP iterations
0.68/0.70	c # [type: int, range: [0,2147483647], default: 1000]
0.68/0.70	c heuristics/objpscostdiving/maxlpiterofs = 1500
0.68/0.70	c 
0.68/0.70	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.68/0.70	c # [type: int, range: [-1,2147483647], default: 1]
0.68/0.70	c heuristics/oneopt/freq = -1
0.68/0.70	c 
0.68/0.70	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.68/0.70	c # [type: int, range: [-1,2147483647], default: 10]
0.68/0.70	c heuristics/pscostdiving/freq = -1
0.68/0.70	c 
0.68/0.70	c # maximal fraction of diving LP iterations compared to node LP iterations
0.68/0.70	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.68/0.70	c heuristics/pscostdiving/maxlpiterquot = 0.075
0.68/0.70	c 
0.68/0.70	c # additional number of allowed LP iterations
0.68/0.70	c # [type: int, range: [0,2147483647], default: 1000]
0.68/0.70	c heuristics/pscostdiving/maxlpiterofs = 1500
0.68/0.70	c 
0.68/0.70	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.68/0.70	c # [type: int, range: [-1,2147483647], default: 0]
0.68/0.70	c heuristics/rens/freq = -1
0.68/0.70	c 
0.68/0.70	c # minimum percentage of integer variables that have to be fixable 
0.68/0.70	c # [type: real, range: [0,1], default: 0.5]
0.68/0.70	c heuristics/rens/minfixingrate = 0.3
0.68/0.70	c 
0.68/0.70	c # number of nodes added to the contingent of the total nodes
0.68/0.70	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.68/0.70	c heuristics/rens/nodesofs = 2000
0.68/0.70	c 
0.68/0.70	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.68/0.70	c # [type: int, range: [-1,2147483647], default: 20]
0.68/0.70	c heuristics/rootsoldiving/freq = -1
0.68/0.70	c 
0.68/0.70	c # maximal fraction of diving LP iterations compared to node LP iterations
0.68/0.70	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.68/0.70	c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.68/0.70	c 
0.68/0.70	c # additional number of allowed LP iterations
0.68/0.70	c # [type: int, range: [0,2147483647], default: 1000]
0.68/0.70	c heuristics/rootsoldiving/maxlpiterofs = 1500
0.68/0.70	c 
0.68/0.70	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.68/0.70	c # [type: int, range: [-1,2147483647], default: 1]
0.68/0.70	c heuristics/rounding/freq = -1
0.68/0.70	c 
0.68/0.70	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.68/0.70	c # [type: int, range: [-1,2147483647], default: 10]
0.68/0.70	c heuristics/shifting/freq = -1
0.68/0.70	c 
0.68/0.70	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.68/0.70	c # [type: int, range: [-1,2147483647], default: 1]
0.68/0.70	c heuristics/simplerounding/freq = -1
0.68/0.70	c 
0.68/0.70	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.68/0.70	c # [type: int, range: [-1,2147483647], default: 0]
0.68/0.70	c heuristics/trivial/freq = -1
0.68/0.70	c 
0.68/0.70	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.68/0.70	c # [type: int, range: [-1,2147483647], default: 1]
0.68/0.70	c heuristics/trysol/freq = -1
0.68/0.70	c 
0.68/0.70	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.68/0.70	c # [type: int, range: [-1,2147483647], default: 10]
0.68/0.70	c heuristics/veclendiving/freq = -1
0.68/0.70	c 
0.68/0.70	c # maximal fraction of diving LP iterations compared to node LP iterations
0.68/0.70	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.68/0.70	c heuristics/veclendiving/maxlpiterquot = 0.075
0.68/0.70	c 
0.68/0.70	c # additional number of allowed LP iterations
0.68/0.70	c # [type: int, range: [0,2147483647], default: 1000]
0.68/0.70	c heuristics/veclendiving/maxlpiterofs = 1500
0.68/0.70	c 
0.68/0.70	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.68/0.70	c # [type: int, range: [-1,2147483647], default: 1]
0.68/0.70	c heuristics/zirounding/freq = -1
0.68/0.70	c 
0.68/0.70	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.68/0.70	c # [type: int, range: [-1,2147483647], default: 0]
0.68/0.70	c separating/cmir/freq = -1
0.68/0.70	c 
0.68/0.70	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.68/0.70	c # [type: int, range: [-1,2147483647], default: 0]
0.68/0.70	c separating/flowcover/freq = -1
0.68/0.70	c 
0.68/0.70	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.68/0.70	c # [type: int, range: [-1,2147483647], default: -1]
0.68/0.70	c separating/rapidlearning/freq = 0
0.68/0.70	c 
0.68/0.70	c -----------------------------------------------------------------------------------------------
0.68/0.70	c start solving
0.68/0.70	c 
29.69/29.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
29.69/29.72	c  29.5s|     1 |     0 | 12113 |     - |  92M|   0 |4203 |  23k|  23k|  23k|  23k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
51.78/51.87	c  51.6s|     1 |     0 | 17595 |     - |  92M|   0 |4333 |  23k|  23k|  23k|  23k|   6 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
77.99/78.02	c  77.8s|     1 |     0 | 23873 |     - |  92M|   0 |4670 |  23k|  23k|  23k|  23k|  12 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
114.37/114.49	c   114s|     1 |     0 | 32374 |     - |  92M|   0 |4576 |  23k|  23k|  23k|  23k|  18 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
171.36/171.49	c   171s|     1 |     0 | 45467 |     - |  92M|   0 |4554 |  23k|  23k|  23k|  23k|  24 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
219.15/219.20	c   219s|     1 |     0 | 56129 |     - |  92M|   0 |5020 |  23k|  23k|  23k|  23k|  30 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
349.43/349.55	c   349s|     1 |     2 | 56129 |     - |  92M|   0 |5020 |  23k|  23k|  23k|  23k|  30 |   0 |  30 | 0.000000e+00 |      --      |    Inf 
1789.71/1790.09	c 
1789.71/1790.09	c SCIP Status        : solving was interrupted [time limit reached]
1789.71/1790.09	c Solving Time (sec) : 1789.84
1789.71/1790.09	c Solving Nodes      : 10
1789.71/1790.09	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1789.71/1790.09	c Dual Bound         : +0.00000000000000e+00
1789.71/1790.09	c Gap                : infinite
1789.71/1790.09	s UNKNOWN
1789.71/1790.09	c SCIP Status        : solving was interrupted [time limit reached]
1789.71/1790.09	c Solving Time       :    1789.84
1789.71/1790.09	c Original Problem   :
1789.71/1790.09	c   Problem name     : HOME/instance-3742238-1338768903.opb
1789.71/1790.09	c   Variables        : 23800 (23800 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.71/1790.09	c   Constraints      : 24202 initial, 24202 maximal
1789.71/1790.09	c Presolved Problem  :
1789.71/1790.09	c   Problem name     : t_HOME/instance-3742238-1338768903.opb
1789.71/1790.09	c   Variables        : 23058 (23058 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.71/1790.09	c   Constraints      : 23369 initial, 23371 maximal
1789.71/1790.09	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.71/1790.09	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1789.71/1790.09	c   dualfix          :       0.01          0          0          0          0          0          0          0          0
1789.71/1790.09	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.71/1790.09	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.71/1790.09	c   implics          :       0.01          0          0          0          0          0          0          0          0
1789.71/1790.09	c   probing          :       0.00          0          0          0          0          0          0          0          0
1789.71/1790.09	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1789.71/1790.09	c   linear           :       0.19        742          0          0        742          0        833          0          0
1789.71/1790.09	c   logicor          :       0.05          0          0          0          0          0          0          0          0
1789.71/1790.09	c   root node        :          -          0          -          -          0          -          -          -          -
1789.71/1790.09	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.71/1790.09	c   integral         :          0          0          0          7          0          0          0          0          0         14
1789.71/1790.09	c   setppc           :       2841          5         61          0          1          2        790          0          0          0
1789.71/1790.09	c   logicor          :      20528+         5         52          0          1          0       1460          0          0          0
1789.71/1790.09	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1789.71/1790.09	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.71/1790.09	c   integral         :     999.88       0.00       0.00     999.88       0.00
1789.71/1790.09	c   setppc           :       0.00       0.00       0.00       0.00       0.00
1789.71/1790.09	c   logicor          :       0.02       0.00       0.01       0.00       0.00
1789.71/1790.09	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.71/1790.09	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.71/1790.09	c   vbounds          :       0.00          1          0          0
1789.71/1790.09	c   rootredcost      :       0.00          0          0          0
1789.71/1790.09	c   pseudoobj        :       0.00          0          0          0
1789.71/1790.09	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.71/1790.09	c   propagation      :       0.00          2          1          2       13.0          0        0.0          -
1789.71/1790.09	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1789.71/1790.09	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.71/1790.09	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.71/1790.09	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.71/1790.09	c   applied globally :          -          -          -          2       13.0          -          -          -
1789.71/1790.09	c   applied locally  :          -          -          -          0        0.0          -          -          -
1789.71/1790.09	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1789.71/1790.09	c   cut pool         :       0.00          4          -          -          0          -    (maximal pool size: 32)
1789.71/1790.09	c   redcost          :       0.01         11          0          0          0          0
1789.71/1790.09	c   impliedbounds    :       0.01          5          0          0          0          0
1789.71/1790.09	c   intobj           :       0.00          0          0          0          0          0
1789.71/1790.09	c   cgmip            :       0.00          0          0          0          0          0
1789.71/1790.09	c   gomory           :       7.01          5          0          0          0          0
1789.71/1790.09	c   strongcg         :       6.73          5          0          0          0          0
1789.71/1790.09	c   cmir             :       0.00          0          0          0          0          0
1789.71/1790.09	c   flowcover        :       0.00          0          0          0          0          0
1789.71/1790.09	c   clique           :       0.97          5          0          0         32          0
1789.71/1790.09	c   zerohalf         :       0.00          0          0          0          0          0
1789.71/1790.09	c   mcf              :       0.02          1          0          0          0          0
1789.71/1790.09	c   rapidlearning    :       0.00          0          0          0          0          0
1789.71/1790.09	c Pricers            :       Time      Calls       Vars
1789.71/1790.09	c   problem variables:       0.00          0          0
1789.71/1790.09	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1789.71/1790.09	c   relpscost        :     999.88          7          0          0          0          0         14
1789.71/1790.09	c   pscost           :       0.00          0          0          0          0          0          0
1789.71/1790.09	c   inference        :       0.00          1          0          0          0          0          2
1789.71/1790.09	c   mostinf          :       0.00          0          0          0          0          0          0
1789.71/1790.09	c   leastinf         :       0.00          0          0          0          0          0          0
1789.71/1790.09	c   fullstrong       :       0.00          0          0          0          0          0          0
1789.71/1790.09	c   allfullstrong    :       0.00          0          0          0          0          0          0
1789.71/1790.09	c   random           :       0.00          0          0          0          0          0          0
1789.71/1790.09	c Primal Heuristics  :       Time      Calls      Found
1789.71/1790.09	c   LP solutions     :       0.00          -          0
1789.71/1790.09	c   pseudo solutions :       0.00          -          0
1789.71/1790.09	c   trivial          :       0.03          1          0
1789.71/1790.09	c   simplerounding   :       0.00          0          0
1789.71/1790.09	c   zirounding       :       0.00          0          0
1789.71/1790.09	c   rounding         :       0.00          0          0
1789.71/1790.09	c   shifting         :       0.00          0          0
1789.71/1790.09	c   intshifting      :       0.00          0          0
1789.71/1790.09	c   oneopt           :       0.00          0          0
1789.71/1790.09	c   twoopt           :       0.00          0          0
1789.71/1790.09	c   fixandinfer      :       0.00          0          0
1789.71/1790.09	c   feaspump         :       0.00          0          0
1789.71/1790.09	c   coefdiving       :       0.00          0          0
1789.71/1790.09	c   pscostdiving     :       0.00          0          0
1789.71/1790.09	c   fracdiving       :       0.00          0          0
1789.71/1790.09	c   veclendiving     :       0.00          0          0
1789.71/1790.09	c   intdiving        :       0.00          0          0
1789.71/1790.09	c   actconsdiving    :       0.00          0          0
1789.71/1790.09	c   objpscostdiving  :       0.00          0          0
1789.71/1790.09	c   rootsoldiving    :       0.00          0          0
1789.71/1790.09	c   linesearchdiving :       0.00          0          0
1789.71/1790.09	c   guideddiving     :       0.00          0          0
1789.71/1790.09	c   octane           :       0.00          0          0
1789.71/1790.09	c   rens             :       0.00          0          0
1789.71/1790.09	c   rins             :       0.00          0          0
1789.71/1790.09	c   localbranching   :       0.00          0          0
1789.71/1790.09	c   mutation         :       0.00          0          0
1789.71/1790.09	c   crossover        :       0.00          0          0
1789.71/1790.09	c   dins             :       0.00          0          0
1789.71/1790.09	c   undercover       :       0.00          0          0
1789.71/1790.09	c   nlp              :       0.00          0          0
1789.71/1790.09	c   trysol           :       0.00          0          0
1789.71/1790.09	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1789.71/1790.09	c   primal LP        :       0.06          0          0       0.00       0.00
1789.71/1790.09	c   dual LP          :     774.51         13     180590   13891.54     233.17
1789.71/1790.09	c   lex dual LP      :       0.00          0          0       0.00          -
1789.71/1790.09	c   barrier LP       :       0.00          0          0       0.00          -
1789.71/1790.09	c   diving/probing LP:       0.00          0          0       0.00          -
1789.71/1790.09	c   strong branching :     999.86        223     220986     990.97     221.02
1789.71/1790.09	c     (at root node) :          -         30      30000    1000.00          -
1789.71/1790.09	c   conflict analysis:       0.00          0          0       0.00          -
1789.71/1790.09	c B&B Tree           :
1789.71/1790.09	c   number of runs   :          1
1789.71/1790.09	c   nodes            :         10
1789.71/1790.09	c   nodes (total)    :         10
1789.71/1790.09	c   nodes left       :          7
1789.71/1790.09	c   max depth        :          5
1789.71/1790.09	c   max depth (total):          5
1789.71/1790.09	c   backtracks       :          3 (30.0%)
1789.71/1790.09	c   delayed cutoffs  :          0
1789.71/1790.09	c   repropagations   :          3 (1 domain reductions, 0 cutoffs)
1789.71/1790.09	c   avg switch length:       1.90
1789.71/1790.09	c   switching time   :       0.07
1789.71/1790.09	c Solution           :
1789.71/1790.09	c   Solutions found  :          0 (0 improvements)
1789.71/1790.09	c   Primal Bound     :          -
1789.71/1790.09	c   Dual Bound       : +0.00000000000000e+00
1789.71/1790.09	c   Gap              :   infinite
1789.71/1790.09	c   Root Dual Bound  : +0.00000000000000e+00
1789.71/1790.09	c   Root Iterations  :      56129
1789.81/1790.19	c Time complete: 1789.9.

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25192
/proc/meminfo: memFree=26935440/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=9972 CPUtime=0 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 1545 0 0 0 0 0 0 0 20 0 1 0 343014378 10211328 1492 33554432000 4194304 8395647 140733725494000 140736884109992 7382157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 2493 1501 374 1026 0 1463 0

[startup+0.0790659 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25192
/proc/meminfo: memFree=26935440/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=30768 CPUtime=0.07 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 6940 0 0 0 7 0 0 0 20 0 1 0 343014378 31506432 6887 33554432000 4194304 8395647 140733725494000 140736884109992 5753746 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 7692 6887 390 1026 0 6662 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 30768

[startup+0.100315 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25192
/proc/meminfo: memFree=26935440/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=32168 CPUtime=0.09 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 7272 0 0 0 9 0 0 0 20 0 1 0 343014378 32940032 7219 33554432000 4194304 8395647 140733725494000 140736884109992 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 8042 7219 390 1026 0 7012 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32168

[startup+0.300271 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25192
/proc/meminfo: memFree=26935440/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=72780 CPUtime=0.29 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 17626 0 0 0 28 1 0 0 20 0 1 0 343014378 74526720 17221 33554432000 4194304 8395647 140733725494000 140736884109992 6347101 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 18195 17260 410 1026 0 17165 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 72780

[startup+0.700295 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25192
/proc/meminfo: memFree=26935440/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=118188 CPUtime=0.68 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 28704 0 0 0 66 2 0 0 20 0 1 0 343014378 121024512 28054 33554432000 4194304 8395647 140733725494000 140736884109992 5093845 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 29547 28054 482 1026 0 28517 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 118188

[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25193
/proc/meminfo: memFree=26790356/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=160500 CPUtime=1.49 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 39017 0 0 0 145 4 0 0 20 0 1 0 343014378 164352000 37597 33554432000 4194304 8395647 140733725494000 140733725489304 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 40125 37597 565 1026 0 39095 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 160500

[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25193
/proc/meminfo: memFree=26785024/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=162116 CPUtime=3.09 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 39536 0 0 0 305 4 0 0 20 0 1 0 343014378 166006784 38116 33554432000 4194304 8395647 140733725494000 140733725489560 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 40529 38116 565 1026 0 39499 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 162116

[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25193
/proc/meminfo: memFree=26783728/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=162796 CPUtime=6.29 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 39788 0 0 0 624 5 0 0 20 0 1 0 343014378 166703104 38359 33554432000 4194304 8395647 140733725494000 140733725489128 6728539 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 40699 38359 565 1026 0 39669 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 162796

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25193
/proc/meminfo: memFree=26782028/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=163820 CPUtime=12.68 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 40125 0 0 0 1262 6 0 0 20 0 1 0 343014378 167751680 38693 33554432000 4194304 8395647 140733725494000 140733725489128 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 40955 38693 565 1026 0 39925 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 163820

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25193
/proc/meminfo: memFree=26778828/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=167248 CPUtime=25.49 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 40991 0 0 0 2541 8 0 0 20 0 1 0 343014378 171261952 39559 33554432000 4194304 8395647 140733725494000 140733725489128 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 41812 39559 565 1026 0 40782 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 167248

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25193
/proc/meminfo: memFree=26772380/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=173280 CPUtime=51.08 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 42677 0 0 0 5097 11 0 0 20 0 1 0 343014378 177438720 41203 33554432000 4194304 8395647 140733725494000 140733725489560 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 43320 41203 585 1026 0 42290 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 173280

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25193
/proc/meminfo: memFree=26767728/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=174284 CPUtime=102.28 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 43072 0 0 0 10210 18 0 0 20 0 1 0 343014378 178466816 42272 33554432000 4194304 8395647 140733725494000 140733725489560 6752903 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 43571 42272 585 1026 0 42541 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 174284

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25194
/proc/meminfo: memFree=26760692/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=178396 CPUtime=162.25 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 46196 0 0 0 16199 26 0 0 20 0 1 0 343014378 182677504 44113 33554432000 4194304 8395647 140733725494000 140733725489128 6697090 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 44599 44113 585 1026 0 43569 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 178396

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25194
/proc/meminfo: memFree=26768264/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=174280 CPUtime=222.25 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 50976 0 0 0 22191 34 0 0 20 0 1 0 343014378 178462720 42745 33554432000 4194304 8395647 140733725494000 140733725488872 7385997 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 43570 42769 588 1026 0 42540 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 174280

[startup+282.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 25232
/proc/meminfo: memFree=26704800/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=177540 CPUtime=282.24 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 52102 0 0 0 28183 41 0 0 20 0 1 0 343014378 181800960 43870 33554432000 4194304 8395647 140733725494000 140733725488872 6741190 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 44385 43870 588 1026 0 43355 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 177540

[startup+342.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 25235
/proc/meminfo: memFree=26695504/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=177540 CPUtime=342.24 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 52103 0 0 0 34175 49 0 0 20 0 1 0 343014378 181800960 43870 33554432000 4194304 8395647 140733725494000 140733725488872 6697060 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 44385 43870 588 1026 0 43355 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 177540

[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 25235
/proc/meminfo: memFree=26691448/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=180116 CPUtime=402.22 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 52778 0 0 0 40168 54 0 0 20 0 1 0 343014378 184438784 44545 33554432000 4194304 8395647 140733725494000 140733725489128 6696991 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 45029 44545 589 1026 0 43999 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 180116

[startup+462.3 s]
/proc/loadavg: 2.05 2.00 2.00 3/177 25236
/proc/meminfo: memFree=26682856/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=180116 CPUtime=462.21 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 52780 0 0 0 46161 60 0 0 20 0 1 0 343014378 184438784 44547 33554432000 4194304 8395647 140733725494000 140733725489128 6697351 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 45029 44547 589 1026 0 43999 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 180116

[startup+522.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 25236
/proc/meminfo: memFree=26686516/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=177356 CPUtime=522.21 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 81622 0 0 0 52148 73 0 0 20 0 1 0 343014378 181612544 43660 33554432000 4194304 8395647 140733725494000 140733725488152 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 44339 43660 589 1026 0 43309 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 177356

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25236
/proc/meminfo: memFree=26696256/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=177356 CPUtime=582.2 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 141625 0 0 0 58128 92 0 0 20 0 1 0 343014378 181612544 43681 33554432000 4194304 8395647 140733725494000 140733725489256 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 44339 43681 589 1026 0 43309 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 177356

[startup+642.3 s]

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

/proc/meminfo: memFree=26685764/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=177444 CPUtime=1002.13 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 320735 0 0 0 100043 170 0 0 20 0 1 0 343014378 181702656 43632 33554432000 4194304 8395647 140733725494000 140733725488872 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 44361 43632 589 1026 0 43331 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 177444

[startup+1062.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 25240
/proc/meminfo: memFree=26690236/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=177464 CPUtime=1062.12 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 386630 0 0 0 106024 188 0 0 20 0 1 0 343014378 181723136 43632 33554432000 4194304 8395647 140733725494000 140733725487720 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 44366 43632 589 1026 0 43336 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 177464

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 25241
/proc/meminfo: memFree=26690876/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=180300 CPUtime=1122.12 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 420485 0 0 0 112012 200 0 0 20 0 1 0 343014378 184627200 44318 33554432000 4194304 8395647 140733725494000 140733725489560 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 45075 44318 593 1026 0 44045 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 180300

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25241
/proc/meminfo: memFree=26697260/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=179340 CPUtime=1182.1 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 424836 0 0 0 118003 207 0 0 20 0 1 0 343014378 183644160 44265 33554432000 4194304 8395647 140733725494000 140733725489208 6696946 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 44835 44265 593 1026 0 43805 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 179340

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25241
/proc/meminfo: memFree=26690376/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=174088 CPUtime=1242.1 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 483947 0 0 0 123983 227 0 0 20 0 1 0 343014378 178266112 42666 33554432000 4194304 8395647 140733725494000 140733725488872 6692843 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 43522 42666 593 1026 0 42492 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 174088

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25241
/proc/meminfo: memFree=26692364/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=179788 CPUtime=1302.09 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 546001 0 0 0 129963 246 0 0 20 0 1 0 343014378 184102912 43912 33554432000 4194304 8395647 140733725494000 140733725489256 6667514 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 44947 43912 593 1026 0 43917 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 179788

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25241
/proc/meminfo: memFree=26697916/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=176572 CPUtime=1362.08 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 609074 0 0 0 135939 269 0 0 20 0 1 0 343014378 180809728 43496 33554432000 4194304 8395647 140733725494000 140733725488872 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 44143 43496 593 1026 0 43113 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 176572

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25242
/proc/meminfo: memFree=26686256/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=177380 CPUtime=1422.08 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 668033 0 0 0 141920 288 0 0 20 0 1 0 343014378 181637120 43731 33554432000 4194304 8395647 140733725494000 140733725489560 6670377 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 44345 43731 593 1026 0 43315 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 177380

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25242
/proc/meminfo: memFree=26681356/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=181708 CPUtime=1482.06 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 668677 0 0 0 147913 293 0 0 20 0 1 0 343014378 186068992 44886 33554432000 4194304 8395647 140733725494000 140733725489560 6696713 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 45427 44886 593 1026 0 44397 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 181708

[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 25245
/proc/meminfo: memFree=26690092/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=174032 CPUtime=1542.05 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 700940 0 0 0 153897 308 0 0 20 0 1 0 343014378 178208768 42688 33554432000 4194304 8395647 140733725494000 140733725489304 6693789 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 43508 42688 593 1026 0 42478 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 174032

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 25245
/proc/meminfo: memFree=26679928/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=182884 CPUtime=1602.03 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 743178 0 0 0 159880 323 0 0 20 0 1 0 343014378 187273216 45181 33554432000 4194304 8395647 140733725494000 140733725489128 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 45721 45181 593 1026 0 44691 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 182884

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25245
/proc/meminfo: memFree=26687804/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=182884 CPUtime=1662.03 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 743178 0 0 0 165875 328 0 0 20 0 1 0 343014378 187273216 45181 33554432000 4194304 8395647 140733725494000 140733725489128 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 45721 45181 593 1026 0 44691 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 182884

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25246
/proc/meminfo: memFree=26692972/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=174080 CPUtime=1722.02 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 812661 0 0 0 171855 347 0 0 20 0 1 0 343014378 178257920 42848 33554432000 4194304 8395647 140733725494000 140733725488872 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 43520 42848 593 1026 0 42490 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 174080

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25246
/proc/meminfo: memFree=26690120/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=180376 CPUtime=1782.01 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 828257 0 0 0 177845 356 0 0 20 0 1 0 343014378 184705024 44598 33554432000 4194304 8395647 140733725494000 140733725489128 6693761 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 45094 44598 593 1026 0 44064 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 180376

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25246
/proc/meminfo: memFree=26686080/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=180376 CPUtime=1785.21 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 828259 0 0 0 178164 357 0 0 20 0 1 0 343014378 184705024 44598 33554432000 4194304 8395647 140733725494000 140733725489560 6693742 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 45094 44598 593 1026 0 44064 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 180376

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25246
/proc/meminfo: memFree=26682420/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=180376 CPUtime=1788.41 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 828259 0 0 0 178484 357 0 0 20 0 1 0 343014378 184705024 44598 33554432000 4194304 8395647 140733725494000 140733725489560 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 45094 44598 593 1026 0 44064 0
Current children cumulated CPU time (s) 1788.41
Current children cumulated vsize (KiB) 180376

[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25246
/proc/meminfo: memFree=26682420/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=180376 CPUtime=1789.21 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 828259 0 0 0 178564 357 0 0 20 0 1 0 343014378 184705024 44598 33554432000 4194304 8395647 140733725494000 140733725489560 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 45094 44598 593 1026 0 44064 0
Current children cumulated CPU time (s) 1789.21
Current children cumulated vsize (KiB) 180376

[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25246
/proc/meminfo: memFree=26690172/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=180376 CPUtime=1789.61 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 828259 0 0 0 178604 357 0 0 20 0 1 0 343014378 184705024 44598 33554432000 4194304 8395647 140733725494000 140733725489560 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 45094 44598 593 1026 0 44064 0
Current children cumulated CPU time (s) 1789.61
Current children cumulated vsize (KiB) 180376

[startup+1790.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25246
/proc/meminfo: memFree=26690172/32873648 swapFree=7368/7368
[pid=25192] ppid=25190 vsize=180376 CPUtime=1789.81 cores=1,3,5,7
/proc/25192/stat : 25192 (pbscip.linux.x8) R 25190 25192 23880 0 -1 4202496 828265 0 0 0 178624 357 0 0 20 0 1 0 343014378 184705024 44604 33554432000 4194304 8395647 140733725494000 140733725489512 6170924 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25192/statm: 45094 44604 599 1026 0 44064 0
Current children cumulated CPU time (s) 1789.81
Current children cumulated vsize (KiB) 180376

Child status: 0
Real time (s): 1790.2
CPU time (s): 1789.91
CPU user time (s): 1786.33
CPU system time (s): 3.57946
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 182884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.33
system time used= 3.57945
maximum resident set size= 180724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 828273
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= 20
involuntary context switches= 1840

runsolver used 2.51462 second user time and 8.91564 second system time

The end

Launcher Data 

Begin job on node149 at 2012-06-04 02:15:03
IDJOB=3742238
IDBENCH=90143
IDSOLVER=2326
FILE ID=node149/3742238-1338768903
RUNJOBID= node149-1338749311-23897
PBS_JOBID= 14636798
Free space on /tmp= 71040 MiB

SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K200.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742238-1338768903/watcher-3742238-1338768903 -o /tmp/evaluation-result-3742238-1338768903/solver-3742238-1338768903 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3742238-1338768903.opb -t 1800 -m 15500

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

MD5SUM BENCH= 4ffc81aa318dee614e51a62344fd339d
RANDOM SEED=1140694893

node149.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.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.29
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.145
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.145
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
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.145
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.145
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.145
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	: 5438.55
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.145
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.145
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:       32873648 kB
MemFree:        26935984 kB
Buffers:          778392 kB
Cached:          4140120 kB
SwapCached:         2468 kB
Active:          2150492 kB
Inactive:        2890508 kB
Active(anon):     105580 kB
Inactive(anon):     9368 kB
Active(file):    2044912 kB
Inactive(file):  2881140 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104892 kB
Dirty:             11912 kB
Writeback:             0 kB
AnonPages:        220112 kB
Mapped:            17224 kB
Shmem:                96 kB
Slab:             759044 kB
SReclaimable:     202804 kB
SUnreclaim:       556240 kB
KernelStack:        1448 kB
PageTables:         4100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     227868 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    194560 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71028 MiB
End job on node149 at 2012-06-04 02:44:53