Trace number 3742446

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? 1792.64 1792.93

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K180.opb
MD5SUMf1881d1e83243719865906bde58f94f2
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 variables21420
Total number of constraints21782
Number of constraints which are clauses21602
Number of constraints which are cardinality constraints (but not clauses)180
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint180
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 181
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-3742446-1338771557.opb>
0.19/0.23	c original problem has 21420 variables (21420 bin, 0 int, 0 impl, 0 cont) and 21782 constraints
0.19/0.23	c problem read
0.19/0.23	c No objective function, only one solution is needed.
0.19/0.23	c presolving settings loaded
0.28/0.34	c presolving:
0.39/0.42	c (round 1) 2 del vars, 2 del conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20760 impls, 180 clqs
0.39/0.44	c (round 2) 238 del vars, 13 del conss, 238 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20760 impls, 178 clqs
0.39/0.46	c (round 3) 367 del vars, 260 del conss, 367 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20868 impls, 178 clqs
0.39/0.48	c (round 4) 475 del vars, 368 del conss, 475 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21066 impls, 178 clqs
0.49/0.50	c (round 5) 562 del vars, 455 del conss, 562 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21288 impls, 178 clqs
0.49/0.52	c (round 6) 626 del vars, 519 del conss, 626 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21514 impls, 178 clqs
0.49/0.53	c (round 7) 669 del vars, 562 del conss, 669 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21674 impls, 178 clqs
0.49/0.55	c (round 8) 696 del vars, 589 del conss, 696 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21800 impls, 178 clqs
0.49/0.57	c (round 9) 714 del vars, 607 del conss, 714 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21842 impls, 178 clqs
0.49/0.59	c (round 10) 728 del vars, 621 del conss, 728 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21888 impls, 178 clqs
0.59/0.60	c (round 11) 737 del vars, 630 del conss, 737 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21944 impls, 178 clqs
0.59/0.62	c (round 12) 742 del vars, 635 del conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21974 impls, 178 clqs
0.69/0.78	c (round 13) 742 del vars, 813 del conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 20791 upgd conss, 21990 impls, 178 clqs
0.78/0.83	c (round 14) 742 del vars, 813 del conss, 742 chg bounds, 0 chg sides, 0 chg coeffs, 20969 upgd conss, 21990 impls, 178 clqs
0.78/0.86	c presolving (15 rounds):
0.78/0.86	c  742 deleted vars, 813 deleted constraints, 742 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.78/0.86	c  21990 implications, 178 cliques
0.78/0.86	c presolved problem has 20678 variables (20678 bin, 0 int, 0 impl, 0 cont) and 20969 constraints
0.78/0.86	c    2561 constraints of type <setppc>
0.78/0.86	c   18408 constraints of type <logicor>
0.78/0.86	c transformed objective value is always integral (scale: 1)
0.78/0.86	c Presolving Time: 0.57
0.78/0.86	c - non default parameters ----------------------------------------------------------------------
0.78/0.86	c # SCIP version 1.2.1.3
0.78/0.86	c 
0.78/0.86	c # frequency for displaying node information lines
0.78/0.86	c # [type: int, range: [-1,2147483647], default: 100]
0.78/0.86	c display/freq = 10000
0.78/0.86	c 
0.78/0.86	c # maximal time in seconds to run
0.78/0.86	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.78/0.86	c limits/time = 1789.78
0.78/0.86	c 
0.78/0.86	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.78/0.86	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.78/0.86	c limits/memory = 13950
0.78/0.86	c 
0.78/0.86	c # solving stops, if the given number of solutions were found (-1: no limit)
0.78/0.86	c # [type: int, range: [-1,2147483647], default: -1]
0.78/0.86	c limits/solutions = 1
0.78/0.86	c 
0.78/0.86	c # maximal number of separation rounds per node (-1: unlimited)
0.78/0.86	c # [type: int, range: [-1,2147483647], default: 5]
0.78/0.86	c separating/maxrounds = 1
0.78/0.86	c 
0.78/0.86	c # maximal number of separation rounds in the root node (-1: unlimited)
0.78/0.86	c # [type: int, range: [-1,2147483647], default: -1]
0.78/0.86	c separating/maxroundsroot = 5
0.78/0.86	c 
0.78/0.86	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.78/0.86	c # [type: int, range: [1,2], default: 1]
0.78/0.86	c timing/clocktype = 2
0.78/0.86	c 
0.78/0.86	c # should presolving try to simplify inequalities
0.78/0.86	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.78/0.86	c constraints/linear/simplifyinequalities = TRUE
0.78/0.86	c 
0.78/0.86	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.78/0.86	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.78/0.86	c constraints/indicator/addCouplingCons = TRUE
0.78/0.86	c 
0.78/0.86	c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.78/0.86	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.78/0.86	c constraints/knapsack/disaggregation = FALSE
0.78/0.86	c 
0.78/0.86	c # should presolving try to simplify knapsacks
0.78/0.86	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.78/0.86	c constraints/knapsack/simplifyinequalities = TRUE
0.78/0.86	c 
0.78/0.86	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.78/0.86	c # [type: int, range: [-1,2147483647], default: -1]
0.78/0.86	c presolving/probing/maxrounds = 0
0.78/0.86	c 
0.78/0.86	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.78/0.86	c # [type: int, range: [-1,2147483647], default: 10]
0.78/0.86	c heuristics/coefdiving/freq = -1
0.78/0.86	c 
0.78/0.86	c # maximal fraction of diving LP iterations compared to node LP iterations
0.78/0.86	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.78/0.86	c heuristics/coefdiving/maxlpiterquot = 0.075
0.78/0.86	c 
0.78/0.86	c # additional number of allowed LP iterations
0.78/0.87	c # [type: int, range: [0,2147483647], default: 1000]
0.78/0.87	c heuristics/coefdiving/maxlpiterofs = 1500
0.78/0.87	c 
0.78/0.87	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.78/0.87	c # [type: int, range: [-1,2147483647], default: 30]
0.78/0.87	c heuristics/crossover/freq = -1
0.78/0.87	c 
0.78/0.87	c # number of nodes added to the contingent of the total nodes
0.78/0.87	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.78/0.87	c heuristics/crossover/nodesofs = 750
0.78/0.87	c 
0.78/0.87	c # number of nodes without incumbent change that heuristic should wait
0.78/0.87	c # [type: longint, range: [0,9223372036854775807], default: 200]
0.78/0.87	c heuristics/crossover/nwaitingnodes = 100
0.78/0.87	c 
0.78/0.87	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.78/0.87	c # [type: real, range: [0,1], default: 0.1]
0.78/0.87	c heuristics/crossover/nodesquot = 0.15
0.78/0.87	c 
0.78/0.87	c # minimum percentage of integer variables that have to be fixed 
0.78/0.87	c # [type: real, range: [0,1], default: 0.666]
0.78/0.87	c heuristics/crossover/minfixingrate = 0.5
0.78/0.87	c 
0.78/0.87	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.78/0.87	c # [type: int, range: [-1,2147483647], default: 20]
0.78/0.87	c heuristics/feaspump/freq = -1
0.78/0.87	c 
0.78/0.87	c # additional number of allowed LP iterations
0.78/0.87	c # [type: int, range: [0,2147483647], default: 1000]
0.78/0.87	c heuristics/feaspump/maxlpiterofs = 2000
0.78/0.87	c 
0.78/0.87	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.78/0.87	c # [type: int, range: [-1,2147483647], default: 10]
0.78/0.87	c heuristics/fracdiving/freq = -1
0.78/0.87	c 
0.78/0.87	c # maximal fraction of diving LP iterations compared to node LP iterations
0.78/0.87	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.78/0.87	c heuristics/fracdiving/maxlpiterquot = 0.075
0.78/0.87	c 
0.78/0.87	c # additional number of allowed LP iterations
0.78/0.87	c # [type: int, range: [0,2147483647], default: 1000]
0.78/0.87	c heuristics/fracdiving/maxlpiterofs = 1500
0.78/0.87	c 
0.78/0.87	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.78/0.87	c # [type: int, range: [-1,2147483647], default: 10]
0.78/0.87	c heuristics/guideddiving/freq = -1
0.78/0.87	c 
0.78/0.87	c # maximal fraction of diving LP iterations compared to node LP iterations
0.78/0.87	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.78/0.87	c heuristics/guideddiving/maxlpiterquot = 0.075
0.78/0.87	c 
0.78/0.87	c # additional number of allowed LP iterations
0.78/0.87	c # [type: int, range: [0,2147483647], default: 1000]
0.78/0.87	c heuristics/guideddiving/maxlpiterofs = 1500
0.78/0.87	c 
0.78/0.87	c # maximal fraction of diving LP iterations compared to node LP iterations
0.78/0.87	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.78/0.87	c heuristics/intdiving/maxlpiterquot = 0.075
0.78/0.87	c 
0.78/0.87	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.78/0.87	c # [type: int, range: [-1,2147483647], default: 10]
0.78/0.87	c heuristics/intshifting/freq = -1
0.78/0.87	c 
0.78/0.87	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.78/0.87	c # [type: int, range: [-1,2147483647], default: 10]
0.78/0.87	c heuristics/linesearchdiving/freq = -1
0.78/0.87	c 
0.78/0.87	c # maximal fraction of diving LP iterations compared to node LP iterations
0.78/0.87	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.78/0.87	c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.78/0.87	c 
0.78/0.87	c # additional number of allowed LP iterations
0.78/0.87	c # [type: int, range: [0,2147483647], default: 1000]
0.78/0.87	c heuristics/linesearchdiving/maxlpiterofs = 1500
0.78/0.87	c 
0.78/0.87	c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.78/0.87	c # [type: int, range: [-1,2147483647], default: 1]
0.78/0.87	c heuristics/nlp/freq = -1
0.78/0.87	c 
0.78/0.87	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.78/0.87	c # [type: int, range: [-1,2147483647], default: 20]
0.78/0.87	c heuristics/objpscostdiving/freq = -1
0.78/0.87	c 
0.78/0.87	c # maximal fraction of diving LP iterations compared to total iteration number
0.78/0.87	c # [type: real, range: [0,1], default: 0.01]
0.78/0.87	c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.78/0.87	c 
0.78/0.87	c # additional number of allowed LP iterations
0.78/0.87	c # [type: int, range: [0,2147483647], default: 1000]
0.78/0.87	c heuristics/objpscostdiving/maxlpiterofs = 1500
0.78/0.87	c 
0.78/0.87	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.78/0.87	c # [type: int, range: [-1,2147483647], default: 1]
0.78/0.87	c heuristics/oneopt/freq = -1
0.78/0.87	c 
0.78/0.87	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.78/0.87	c # [type: int, range: [-1,2147483647], default: 10]
0.78/0.87	c heuristics/pscostdiving/freq = -1
0.78/0.87	c 
0.78/0.87	c # maximal fraction of diving LP iterations compared to node LP iterations
0.78/0.87	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.78/0.87	c heuristics/pscostdiving/maxlpiterquot = 0.075
0.78/0.87	c 
0.78/0.87	c # additional number of allowed LP iterations
0.78/0.87	c # [type: int, range: [0,2147483647], default: 1000]
0.78/0.87	c heuristics/pscostdiving/maxlpiterofs = 1500
0.78/0.87	c 
0.78/0.87	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.78/0.87	c # [type: int, range: [-1,2147483647], default: 0]
0.78/0.87	c heuristics/rens/freq = -1
0.78/0.87	c 
0.78/0.87	c # minimum percentage of integer variables that have to be fixable 
0.78/0.87	c # [type: real, range: [0,1], default: 0.5]
0.78/0.87	c heuristics/rens/minfixingrate = 0.3
0.78/0.87	c 
0.78/0.87	c # number of nodes added to the contingent of the total nodes
0.78/0.87	c # [type: longint, range: [0,9223372036854775807], default: 500]
0.78/0.87	c heuristics/rens/nodesofs = 2000
0.78/0.87	c 
0.78/0.87	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.78/0.87	c # [type: int, range: [-1,2147483647], default: 20]
0.78/0.87	c heuristics/rootsoldiving/freq = -1
0.78/0.87	c 
0.78/0.87	c # maximal fraction of diving LP iterations compared to node LP iterations
0.78/0.87	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.78/0.87	c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.78/0.87	c 
0.78/0.87	c # additional number of allowed LP iterations
0.78/0.87	c # [type: int, range: [0,2147483647], default: 1000]
0.78/0.87	c heuristics/rootsoldiving/maxlpiterofs = 1500
0.78/0.87	c 
0.78/0.87	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.78/0.87	c # [type: int, range: [-1,2147483647], default: 1]
0.78/0.87	c heuristics/rounding/freq = -1
0.78/0.87	c 
0.78/0.87	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.78/0.87	c # [type: int, range: [-1,2147483647], default: 10]
0.78/0.87	c heuristics/shifting/freq = -1
0.78/0.87	c 
0.78/0.87	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.78/0.87	c # [type: int, range: [-1,2147483647], default: 1]
0.78/0.87	c heuristics/simplerounding/freq = -1
0.78/0.87	c 
0.78/0.87	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.78/0.87	c # [type: int, range: [-1,2147483647], default: 0]
0.78/0.87	c heuristics/trivial/freq = -1
0.78/0.87	c 
0.78/0.87	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.78/0.87	c # [type: int, range: [-1,2147483647], default: 1]
0.78/0.87	c heuristics/trysol/freq = -1
0.78/0.87	c 
0.78/0.87	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.78/0.87	c # [type: int, range: [-1,2147483647], default: 10]
0.78/0.87	c heuristics/veclendiving/freq = -1
0.78/0.87	c 
0.78/0.87	c # maximal fraction of diving LP iterations compared to node LP iterations
0.78/0.87	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.78/0.87	c heuristics/veclendiving/maxlpiterquot = 0.075
0.78/0.87	c 
0.78/0.87	c # additional number of allowed LP iterations
0.78/0.87	c # [type: int, range: [0,2147483647], default: 1000]
0.78/0.87	c heuristics/veclendiving/maxlpiterofs = 1500
0.78/0.87	c 
0.78/0.87	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.78/0.87	c # [type: int, range: [-1,2147483647], default: 1]
0.78/0.87	c heuristics/zirounding/freq = -1
0.78/0.87	c 
0.78/0.87	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.78/0.87	c # [type: int, range: [-1,2147483647], default: 0]
0.78/0.87	c separating/cmir/freq = -1
0.78/0.87	c 
0.78/0.87	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.78/0.87	c # [type: int, range: [-1,2147483647], default: 0]
0.78/0.87	c separating/flowcover/freq = -1
0.78/0.87	c 
0.78/0.87	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.78/0.87	c # [type: int, range: [-1,2147483647], default: -1]
0.78/0.87	c separating/rapidlearning/freq = 0
0.78/0.87	c 
0.78/0.87	c -----------------------------------------------------------------------------------------------
0.78/0.87	c start solving
0.78/0.87	c 
21.68/21.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
21.68/21.77	c  21.5s|     1 |     0 | 10146 |     - |  83M|   0 |3773 |  20k|  20k|  20k|  20k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
41.78/41.83	c  41.6s|     1 |     0 | 15789 |     - |  83M|   0 |4001 |  20k|  20k|  20k|  20k|   6 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
71.08/71.14	c  70.9s|     1 |     0 | 23600 |     - |  83M|   0 |4328 |  20k|  20k|  20k|  20k|  12 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
102.37/102.42	c   102s|     1 |     0 | 31684 |     - |  83M|   0 |4404 |  20k|  20k|  20k|  20k|  19 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
143.65/143.73	c   144s|     1 |     0 | 42107 |     - |  83M|   0 |4567 |  20k|  20k|  20k|  20k|  26 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
191.25/191.38	c   191s|     1 |     0 | 53889 |     - |  83M|   0 |4919 |  20k|  20k|  20k|  21k|  32 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
332.92/333.07	c   333s|     1 |     2 | 53889 |     - |  83M|   0 |4919 |  20k|  20k|  20k|  21k|  32 |   0 |  37 | 0.000000e+00 |      --      |    Inf 
1792.50/1792.83	c 
1792.50/1792.83	c SCIP Status        : solving was interrupted [time limit reached]
1792.50/1792.83	c Solving Time (sec) : 1792.60
1792.50/1792.83	c Solving Nodes      : 8
1792.50/1792.83	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1792.50/1792.83	c Dual Bound         : +0.00000000000000e+00
1792.50/1792.83	c Gap                : infinite
1792.50/1792.83	s UNKNOWN
1792.50/1792.83	c SCIP Status        : solving was interrupted [time limit reached]
1792.50/1792.83	c Solving Time       :    1792.60
1792.50/1792.83	c Original Problem   :
1792.50/1792.83	c   Problem name     : HOME/instance-3742446-1338771557.opb
1792.50/1792.83	c   Variables        : 21420 (21420 binary, 0 integer, 0 implicit integer, 0 continuous)
1792.50/1792.83	c   Constraints      : 21782 initial, 21782 maximal
1792.50/1792.83	c Presolved Problem  :
1792.50/1792.83	c   Problem name     : t_HOME/instance-3742446-1338771557.opb
1792.50/1792.83	c   Variables        : 20678 (20678 binary, 0 integer, 0 implicit integer, 0 continuous)
1792.50/1792.83	c   Constraints      : 20969 initial, 20969 maximal
1792.50/1792.83	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1792.50/1792.83	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1792.50/1792.83	c   dualfix          :       0.01          0          0          0          0          0          0          0          0
1792.50/1792.83	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1792.50/1792.83	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1792.50/1792.83	c   implics          :       0.01          0          0          0          0          0          0          0          0
1792.50/1792.83	c   probing          :       0.00          0          0          0          0          0          0          0          0
1792.50/1792.83	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1792.50/1792.83	c   linear           :       0.36        742          0          0        742          0        813          0          0
1792.50/1792.83	c   logicor          :       0.07          0          0          0          0          0          0          0          0
1792.50/1792.83	c   root node        :          -          0          -          -          0          -          -          -          -
1792.50/1792.83	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1792.50/1792.83	c   integral         :          0          0          0          7          0          0          0          0          0         14
1792.50/1792.83	c   setppc           :       2561          5         70          0          0          0       9208          0          0          0
1792.50/1792.83	c   logicor          :      18408          5         56          0          0          0        738          0          0          0
1792.50/1792.83	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1792.50/1792.83	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1792.50/1792.83	c   integral         :     795.95       0.00       0.00     795.95       0.00
1792.50/1792.83	c   setppc           :       0.01       0.00       0.01       0.00       0.00
1792.50/1792.83	c   logicor          :       0.02       0.00       0.02       0.00       0.00
1792.50/1792.83	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1792.50/1792.83	c Propagators        :       Time      Calls    Cutoffs    DomReds
1792.50/1792.83	c   vbounds          :       0.00          1          0          0
1792.50/1792.83	c   rootredcost      :       0.00          0          0          0
1792.50/1792.83	c   pseudoobj        :       0.00          0          0          0
1792.50/1792.83	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1792.50/1792.83	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1792.50/1792.83	c   infeasible LP    :       0.03          1          0          0        0.0          0        0.0          0
1792.50/1792.83	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1792.50/1792.83	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1792.50/1792.83	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1792.50/1792.83	c   applied globally :          -          -          -          0        0.0          -          -          -
1792.50/1792.83	c   applied locally  :          -          -          -          0        0.0          -          -          -
1792.50/1792.83	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1792.50/1792.83	c   cut pool         :       0.00          4          -          -         10          -    (maximal pool size: 60)
1792.50/1792.83	c   redcost          :       0.01         11          0          0          0          0
1792.50/1792.83	c   impliedbounds    :       0.01          5          0          0          0          0
1792.50/1792.83	c   intobj           :       0.00          0          0          0          0          0
1792.50/1792.83	c   cgmip            :       0.00          0          0          0          0          0
1792.50/1792.83	c   gomory           :       6.87          5          0          0         26          0
1792.50/1792.83	c   strongcg         :       6.58          5          0          0         26          0
1792.50/1792.83	c   cmir             :       0.00          0          0          0          0          0
1792.50/1792.83	c   flowcover        :       0.00          0          0          0          0          0
1792.50/1792.83	c   clique           :       0.94          5          0          0         30          0
1792.50/1792.83	c   zerohalf         :       0.00          0          0          0          0          0
1792.50/1792.83	c   mcf              :       0.02          1          0          0          0          0
1792.50/1792.83	c   rapidlearning    :       0.00          0          0          0          0          0
1792.50/1792.83	c Pricers            :       Time      Calls       Vars
1792.50/1792.83	c   problem variables:       0.00          0          0
1792.50/1792.83	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1792.50/1792.83	c   relpscost        :     795.95          7          0          0          0          0         14
1792.50/1792.83	c   pscost           :       0.00          0          0          0          0          0          0
1792.50/1792.83	c   inference        :       0.00          0          0          0          0          0          0
1792.50/1792.83	c   mostinf          :       0.00          0          0          0          0          0          0
1792.50/1792.83	c   leastinf         :       0.00          0          0          0          0          0          0
1792.50/1792.83	c   fullstrong       :       0.00          0          0          0          0          0          0
1792.50/1792.83	c   allfullstrong    :       0.00          0          0          0          0          0          0
1792.50/1792.83	c   random           :       0.00          0          0          0          0          0          0
1792.50/1792.83	c Primal Heuristics  :       Time      Calls      Found
1792.50/1792.83	c   LP solutions     :       0.00          -          0
1792.50/1792.83	c   pseudo solutions :       0.00          -          0
1792.50/1792.83	c   trivial          :       0.03          1          0
1792.50/1792.83	c   simplerounding   :       0.00          0          0
1792.50/1792.83	c   zirounding       :       0.00          0          0
1792.50/1792.83	c   rounding         :       0.00          0          0
1792.50/1792.83	c   shifting         :       0.00          0          0
1792.50/1792.83	c   intshifting      :       0.00          0          0
1792.50/1792.83	c   oneopt           :       0.00          0          0
1792.50/1792.83	c   twoopt           :       0.00          0          0
1792.50/1792.83	c   fixandinfer      :       0.00          0          0
1792.50/1792.83	c   feaspump         :       0.00          0          0
1792.50/1792.83	c   coefdiving       :       0.00          0          0
1792.50/1792.83	c   pscostdiving     :       0.00          0          0
1792.50/1792.83	c   fracdiving       :       0.00          0          0
1792.50/1792.83	c   veclendiving     :       0.00          0          0
1792.50/1792.83	c   intdiving        :       0.00          0          0
1792.50/1792.83	c   actconsdiving    :       0.00          0          0
1792.50/1792.83	c   objpscostdiving  :       0.00          0          0
1792.50/1792.83	c   rootsoldiving    :       0.00          0          0
1792.50/1792.83	c   linesearchdiving :       0.00          0          0
1792.50/1792.83	c   guideddiving     :       0.00          0          0
1792.50/1792.83	c   octane           :       0.00          0          0
1792.50/1792.83	c   rens             :       0.00          0          0
1792.50/1792.83	c   rins             :       0.00          0          0
1792.50/1792.83	c   localbranching   :       0.00          0          0
1792.50/1792.83	c   mutation         :       0.00          0          0
1792.50/1792.83	c   crossover        :       0.00          0          0
1792.50/1792.83	c   dins             :       0.00          0          0
1792.50/1792.83	c   undercover       :       0.00          0          0
1792.50/1792.83	c   nlp              :       0.00          0          0
1792.50/1792.83	c   trysol           :       0.00          0          0
1792.50/1792.83	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1792.50/1792.83	c   primal LP        :       0.04          0          0       0.00       0.00
1792.50/1792.83	c   dual LP          :     981.31         13     277469   21343.77     282.75
1792.50/1792.83	c   lex dual LP      :       0.00          0          0       0.00          -
1792.50/1792.83	c   barrier LP       :       0.00          0          0       0.00          -
1792.50/1792.83	c   diving/probing LP:       0.00          0          0       0.00          -
1792.50/1792.83	c   strong branching :     795.94        211     206128     976.91     258.97
1792.50/1792.83	c     (at root node) :          -         37      37000    1000.00          -
1792.50/1792.83	c   conflict analysis:       0.00          0          0       0.00          -
1792.50/1792.83	c B&B Tree           :
1792.50/1792.83	c   number of runs   :          1
1792.50/1792.83	c   nodes            :          8
1792.50/1792.83	c   nodes (total)    :          8
1792.50/1792.83	c   nodes left       :          7
1792.50/1792.83	c   max depth        :          4
1792.50/1792.83	c   max depth (total):          4
1792.50/1792.83	c   backtracks       :          1 (12.5%)
1792.50/1792.83	c   delayed cutoffs  :          0
1792.50/1792.83	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1792.50/1792.83	c   avg switch length:       1.62
1792.50/1792.83	c   switching time   :       0.06
1792.50/1792.83	c Solution           :
1792.50/1792.83	c   Solutions found  :          0 (0 improvements)
1792.50/1792.83	c   Primal Bound     :          -
1792.50/1792.83	c   Dual Bound       : +0.00000000000000e+00
1792.50/1792.83	c   Gap              :   infinite
1792.50/1792.83	c   Root Dual Bound  : +0.00000000000000e+00
1792.50/1792.83	c   Root Iterations  :      53889
1792.61/1792.92	c Time complete: 1792.63.

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12610
/proc/meminfo: memFree=27486636/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=10212 CPUtime=0 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 1798 0 0 0 0 0 0 0 20 0 1 0 343222690 10457088 1745 33554432000 4194304 8395647 140737262255808 140733232866184 5759045 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 2553 1749 386 1026 0 1523 0

[startup+0.088931 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12610
/proc/meminfo: memFree=27486636/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=29720 CPUtime=0.07 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 6697 0 0 0 7 0 0 0 20 0 1 0 343222690 30433280 6644 33554432000 4194304 8395647 140737262255808 140733232866184 7382041 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 7430 6644 390 1026 0 6400 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 29720

[startup+0.100317 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12610
/proc/meminfo: memFree=27486636/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=29912 CPUtime=0.08 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 6714 0 0 0 8 0 0 0 20 0 1 0 343222690 30629888 6661 33554432000 4194304 8395647 140737262255808 140733232866184 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 7478 6661 390 1026 0 6448 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29912

[startup+0.300284 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12610
/proc/meminfo: memFree=27486636/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=76472 CPUtime=0.28 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 18667 0 0 0 26 2 0 0 20 0 1 0 343222690 78307328 18260 33554432000 4194304 8395647 140737262255808 140733232866184 4601776 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 19118 18260 429 1026 0 18088 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 76472

[startup+0.700292 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12610
/proc/meminfo: memFree=27486636/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=95740 CPUtime=0.69 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 23699 0 0 0 66 3 0 0 20 0 1 0 343222690 98037760 22538 33554432000 4194304 8395647 140737262255808 140733232866184 4219455 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 23935 22538 477 1026 0 22905 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 95740

[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12611
/proc/meminfo: memFree=27351252/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=148664 CPUtime=1.49 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 36059 0 0 0 144 5 0 0 20 0 1 0 343222690 152231936 35262 33554432000 4194304 8395647 140737262255808 140737262251608 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 37166 35262 565 1026 0 36136 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 148664

[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12611
/proc/meminfo: memFree=27346044/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=149760 CPUtime=3.09 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 36636 0 0 0 304 5 0 0 20 0 1 0 343222690 153354240 35830 33554432000 4194304 8395647 140737262255808 140737262251368 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 37440 35830 565 1026 0 36410 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 149760

[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12611
/proc/meminfo: memFree=27342076/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=151816 CPUtime=6.29 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 37207 0 0 0 623 6 0 0 20 0 1 0 343222690 155459584 36401 33554432000 4194304 8395647 140737262255808 140737262250936 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 37954 36401 565 1026 0 36924 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 151816

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12611
/proc/meminfo: memFree=27338744/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=152772 CPUtime=12.68 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 37490 0 0 0 1262 6 0 0 20 0 1 0 343222690 156438528 36684 33554432000 4194304 8395647 140737262255808 140737262250936 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 38193 36684 565 1026 0 37163 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 152772

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12611
/proc/meminfo: memFree=27334340/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=156688 CPUtime=25.49 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 38659 0 0 0 2541 8 0 0 20 0 1 0 343222690 160448512 37834 33554432000 4194304 8395647 140737262255808 140737262251368 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 39172 37834 585 1026 0 38142 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 156688

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12614
/proc/meminfo: memFree=27333548/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=161280 CPUtime=51.08 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 39730 0 0 0 5098 10 0 0 20 0 1 0 343222690 165150720 38914 33554432000 4194304 8395647 140737262255808 140737262250936 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 40320 38914 585 1026 0 39290 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 161280

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12615
/proc/meminfo: memFree=27329220/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=162432 CPUtime=102.28 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 40098 0 0 0 10213 15 0 0 20 0 1 0 343222690 166330368 39947 33554432000 4194304 8395647 140737262255808 140737262250936 6698034 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 40608 39947 591 1026 0 39578 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 162432

[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 12637
/proc/meminfo: memFree=27326008/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=165416 CPUtime=162.25 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 40834 0 0 0 16205 20 0 0 20 0 1 0 343222690 169385984 40692 33554432000 4194304 8395647 140737262255808 140737262250936 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 41354 40692 591 1026 0 40324 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 165416

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 12637
/proc/meminfo: memFree=27328676/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=160060 CPUtime=222.25 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 69126 0 0 0 22194 31 0 0 20 0 1 0 343222690 163901440 39137 33554432000 4194304 8395647 140737262255808 140737262250680 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 40015 39137 593 1026 0 38985 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 160060

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12637
/proc/meminfo: memFree=27336804/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=164592 CPUtime=282.23 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 125100 0 0 0 28175 48 0 0 20 0 1 0 343222690 168542208 40418 33554432000 4194304 8395647 140737262255808 140737262250680 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 41148 40418 593 1026 0 40118 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 164592

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12637
/proc/meminfo: memFree=27325080/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=166916 CPUtime=342.22 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 167602 0 0 0 34161 61 0 0 20 0 1 0 343222690 170921984 41213 33554432000 4194304 8395647 140737262255808 140737262251320 6723711 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 41729 41213 594 1026 0 40699 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 166916

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12638
/proc/meminfo: memFree=27333076/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=163084 CPUtime=402.21 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 173723 0 0 0 40153 68 0 0 20 0 1 0 343222690 166998016 40247 33554432000 4194304 8395647 140737262255808 140737262250680 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 40771 40247 594 1026 0 39741 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 163084

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12638
/proc/meminfo: memFree=27325700/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=165256 CPUtime=462.21 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 174202 0 0 0 46148 73 0 0 20 0 1 0 343222690 169222144 40726 33554432000 4194304 8395647 140737262255808 140737262250680 6723555 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 41314 40726 594 1026 0 40284 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 165256

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12638
/proc/meminfo: memFree=27323964/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=166008 CPUtime=522.19 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 185551 0 0 0 52140 79 0 0 20 0 1 0 343222690 169992192 40978 33554432000 4194304 8395647 140737262255808 140737262250680 7386035 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 41502 40978 594 1026 0 40472 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 166008

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12638
/proc/meminfo: memFree=27321420/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=166004 CPUtime=582.19 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 193965 0 0 0 58133 86 0 0 20 0 1 0 343222690 169988096 40977 33554432000 4194304 8395647 140737262255808 140737262251368 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 41501 40977 594 1026 0 40471 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 166004

[startup+642.3 s]

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

/proc/meminfo: memFree=27314640/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=169620 CPUtime=1062.11 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 204701 0 0 0 106085 126 0 0 20 0 1 0 343222690 173690880 41870 33554432000 4194304 8395647 140737262255808 140737262250936 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 42405 41870 594 1026 0 41375 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 169620

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12643
/proc/meminfo: memFree=27314636/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=169620 CPUtime=1122.1 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 204702 0 0 0 112078 132 0 0 20 0 1 0 343222690 173690880 41870 33554432000 4194304 8395647 140737262255808 140737262250936 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 42405 41870 594 1026 0 41375 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 169620

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12643
/proc/meminfo: memFree=27315000/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=169620 CPUtime=1182.1 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 204702 0 0 0 118072 138 0 0 20 0 1 0 343222690 173690880 41870 33554432000 4194304 8395647 140737262255808 140737262251368 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 42405 41870 594 1026 0 41375 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 169620

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12643
/proc/meminfo: memFree=27314688/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=169620 CPUtime=1242.08 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 204702 0 0 0 124065 143 0 0 20 0 1 0 343222690 173690880 41870 33554432000 4194304 8395647 140737262255808 140737262250936 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 42405 41870 594 1026 0 41375 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 169620

[startup+1302.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 12685
/proc/meminfo: memFree=27367684/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=169620 CPUtime=1302.08 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 204702 0 0 0 130060 148 0 0 20 0 1 0 343222690 173690880 41870 33554432000 4194304 8395647 140737262255808 140737262251368 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 42405 41870 594 1026 0 41375 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 169620

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 12685
/proc/meminfo: memFree=27361644/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=169620 CPUtime=1362.07 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 204702 0 0 0 136054 153 0 0 20 0 1 0 343222690 173690880 41870 33554432000 4194304 8395647 140737262255808 140737262251368 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 42405 41870 594 1026 0 41375 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 169620

[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 12685
/proc/meminfo: memFree=27362324/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=172428 CPUtime=1422.06 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 205346 0 0 0 142049 157 0 0 20 0 1 0 343222690 176566272 42514 33554432000 4194304 8395647 140737262255808 140737262251368 6697351 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 43107 42514 598 1026 0 42077 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 172428

[startup+1482.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/178 12685
/proc/meminfo: memFree=27356560/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=166232 CPUtime=1482.05 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 258305 0 0 0 148030 175 0 0 20 0 1 0 343222690 170221568 40937 33554432000 4194304 8395647 140737262255808 140737262251112 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 41558 40937 598 1026 0 40528 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 166232

[startup+1542.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 12685
/proc/meminfo: memFree=27362696/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=170576 CPUtime=1542.04 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 308360 0 0 0 154015 189 0 0 20 0 1 0 343222690 174669824 42150 33554432000 4194304 8395647 140737262255808 140737262250936 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 42644 42150 598 1026 0 41614 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 170576

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 12686
/proc/meminfo: memFree=27356308/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=168024 CPUtime=1602.03 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 334438 0 0 0 160002 201 0 0 20 0 1 0 343222690 172056576 41370 33554432000 4194304 8395647 140737262255808 140737262251112 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 42006 41370 598 1026 0 40976 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 168024

[startup+1662.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/178 12686
/proc/meminfo: memFree=27362384/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=170652 CPUtime=1662.02 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 403454 0 0 0 165982 220 0 0 20 0 1 0 343222690 174747648 42071 33554432000 4194304 8395647 140737262255808 140737262251112 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 42663 42071 598 1026 0 41633 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 170652

[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 12686
/proc/meminfo: memFree=27358352/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=173188 CPUtime=1722.01 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 431407 0 0 0 171971 230 0 0 20 0 1 0 343222690 177344512 42612 33554432000 4194304 8395647 140737262255808 140737262251272 6693397 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 43297 42612 598 1026 0 42267 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 173188

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 12686
/proc/meminfo: memFree=27372924/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=166228 CPUtime=1782.01 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 478329 0 0 0 177956 245 0 0 20 0 1 0 343222690 170217472 40869 33554432000 4194304 8395647 140737262255808 140737262251064 6692834 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 41557 40869 598 1026 0 40527 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 166228

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

[startup+1785.5 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 12686
/proc/meminfo: memFree=27364800/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=166228 CPUtime=1785.21 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 482684 0 0 0 178275 246 0 0 20 0 1 0 343222690 170217472 40609 33554432000 4194304 8395647 140737262255808 140737262251112 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 41557 40609 598 1026 0 40527 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 166228

[startup+1788.7 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 12686
/proc/meminfo: memFree=27366412/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=170720 CPUtime=1788.4 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 486070 0 0 0 178593 247 0 0 20 0 1 0 343222690 174817280 42091 33554432000 4194304 8395647 140737262255808 140737262251064 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 42680 42091 598 1026 0 41650 0
Current children cumulated CPU time (s) 1788.4
Current children cumulated vsize (KiB) 170720

[startup+1790.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 12686
/proc/meminfo: memFree=27368088/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=168036 CPUtime=1790.01 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 488062 0 0 0 178753 248 0 0 20 0 1 0 343222690 172068864 41351 33554432000 4194304 8395647 140737262255808 140737262251112 6670361 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 42009 41351 598 1026 0 40979 0
Current children cumulated CPU time (s) 1790.01
Current children cumulated vsize (KiB) 168036

[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 12686
/proc/meminfo: memFree=27365792/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=170744 CPUtime=1791.61 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 490532 0 0 0 178913 248 0 0 20 0 1 0 343222690 174841856 42084 33554432000 4194304 8395647 140737262255808 140737262251112 6693391 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 42686 42084 598 1026 0 41656 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 170744

[startup+1792.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 12686
/proc/meminfo: memFree=27365792/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=173228 CPUtime=1792.4 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 490953 0 0 0 178992 248 0 0 20 0 1 0 343222690 177385472 42505 33554432000 4194304 8395647 140737262255808 140737262251112 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 43307 42505 598 1026 0 42277 0
Current children cumulated CPU time (s) 1792.4
Current children cumulated vsize (KiB) 173228

[startup+1792.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 12686
/proc/meminfo: memFree=27374908/32873844 swapFree=7128/7128
[pid=12610] ppid=12608 vsize=161152 CPUtime=1792.61 cores=0,2,4,6
/proc/12610/stat : 12610 (pbscip.linux.x8) R 12608 12610 11206 0 -1 4202496 490960 0 0 0 179013 248 0 0 20 0 1 0 343222690 165019648 39808 33554432000 4194304 8395647 140737262255808 140737262251064 6345900 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12610/statm: 40288 39808 605 1026 0 39258 0
Current children cumulated CPU time (s) 1792.61
Current children cumulated vsize (KiB) 161152

Child status: 0
Real time (s): 1792.93
CPU time (s): 1792.64
CPU user time (s): 1790.15
CPU system time (s): 2.48962
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 173256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.15
system time used= 2.48962
maximum resident set size= 171088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 490967
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= 26
involuntary context switches= 1905

runsolver used 3.20051 second user time and 8.47871 second system time

The end

Launcher Data 

Begin job on node105 at 2012-06-04 02:59:17
IDJOB=3742446
IDBENCH=90186
IDSOLVER=2326
FILE ID=node105/3742446-1338771557
RUNJOBID= node105-1338749876-11222
PBS_JOBID= 14636807
Free space on /tmp= 71264 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_K180.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-3742446-1338771557/watcher-3742446-1338771557 -o /tmp/evaluation-result-3742446-1338771557/solver-3742446-1338771557 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3742446-1338771557.opb -t 1800 -m 15500

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

MD5SUM BENCH= f1881d1e83243719865906bde58f94f2
RANDOM SEED=972698931

node105.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.882
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.76
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.882
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.882
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.91
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.882
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.882
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	: 5438.54
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.882
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27487008 kB
Buffers:          570500 kB
Cached:          3761672 kB
SwapCached:         1700 kB
Active:          1260572 kB
Inactive:        3240144 kB
Active(anon):     164708 kB
Inactive(anon):     4800 kB
Active(file):    1095864 kB
Inactive(file):  3235344 kB
Unevictable:        7128 kB
Mlocked:            7128 kB
SwapTotal:      67108856 kB
SwapFree:       67100456 kB
Dirty:             11680 kB
Writeback:             0 kB
AnonPages:        174468 kB
Mapped:            11300 kB
Shmem:                 0 kB
Slab:             744076 kB
SReclaimable:     185900 kB
SUnreclaim:       558176 kB
KernelStack:        1464 kB
PageTables:         4556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     290228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    145408 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= 71252 MiB
End job on node105 at 2012-06-04 03:29:10