Trace number 3741087

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB11: SCIP spx E_2 2011-06-10 (fixed)? (TO) 1800.09 1800.38

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-129.opb
MD5SUM67d021e5b92124566c71fb431934058c
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 variables48368
Total number of constraints1121286
Number of constraints which are clauses1007481
Number of constraints which are cardinality constraints (but not clauses)3534
Number of constraints which are nor clauses,nor cardinality constraints110271
Minimum length of a constraint1
Maximum length of a constraint690
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 691
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3741087-1338770895.opb>
6.49/6.57	c original problem has 48368 variables (48368 bin, 0 int, 0 impl, 0 cont) and 1121286 constraints
6.49/6.57	c problem read
6.49/6.57	c No objective function, only one solution is needed.
6.49/6.57	c presolving settings loaded
7.88/7.95	c presolving:
9.49/9.55	c (round 1) 132 del vars, 5772 del conss, 0 add conss, 132 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 498002 impls, 1771 clqs
9.59/9.64	c (round 2) 132 del vars, 7212 del conss, 0 add conss, 132 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 498002 impls, 1771 clqs
13.69/13.77	c (round 3) 132 del vars, 7249 del conss, 0 add conss, 132 chg bounds, 7 chg sides, 0 chg coeffs, 1114066 upgd conss, 498002 impls, 1771 clqs
14.69/14.74	c presolving (4 rounds):
14.69/14.74	c  132 deleted vars, 7253 deleted constraints, 0 added constraints, 132 tightened bounds, 0 added holes, 7 changed sides, 0 changed coefficients
14.69/14.74	c  498002 implications, 1771 cliques
14.69/14.74	c presolved problem has 48236 variables (48236 bin, 0 int, 0 impl, 0 cont) and 1114033 constraints
14.69/14.74	c  112021 constraints of type <knapsack>
14.69/14.74	c  236383 constraints of type <setppc>
14.69/14.74	c       1 constraints of type <linear>
14.69/14.74	c  765628 constraints of type <logicor>
14.69/14.74	c transformed objective value is always integral (scale: 1)
14.69/14.74	c Presolving Time: 6.86
14.69/14.74	c - non default parameters ----------------------------------------------------------------------
14.69/14.74	c # SCIP version 2.0.1.5
14.69/14.74	c 
14.69/14.74	c # frequency for displaying node information lines
14.69/14.74	c # [type: int, range: [-1,2147483647], default: 100]
14.69/14.74	c display/freq = 10000
14.69/14.74	c 
14.69/14.74	c # maximal time in seconds to run
14.69/14.74	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.69/14.74	c limits/time = 1797
14.69/14.74	c 
14.69/14.74	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
14.69/14.74	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.69/14.74	c limits/memory = 13950
14.69/14.74	c 
14.69/14.74	c # solving stops, if the given number of solutions were found (-1: no limit)
14.69/14.74	c # [type: int, range: [-1,2147483647], default: -1]
14.69/14.74	c limits/solutions = 1
14.69/14.74	c 
14.69/14.74	c # maximal number of separation rounds per node (-1: unlimited)
14.69/14.74	c # [type: int, range: [-1,2147483647], default: 5]
14.69/14.74	c separating/maxrounds = 1
14.69/14.74	c 
14.69/14.74	c # maximal number of separation rounds in the root node (-1: unlimited)
14.69/14.74	c # [type: int, range: [-1,2147483647], default: -1]
14.69/14.74	c separating/maxroundsroot = 5
14.69/14.74	c 
14.69/14.74	c # default clock type (1: CPU user seconds, 2: wall clock time)
14.69/14.74	c # [type: int, range: [1,2], default: 1]
14.69/14.74	c timing/clocktype = 2
14.69/14.74	c 
14.69/14.74	c # belongs reading time to solving time?
14.69/14.74	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.69/14.74	c timing/reading = TRUE
14.69/14.74	c 
14.69/14.74	c # should presolving try to simplify inequalities
14.69/14.74	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.69/14.74	c constraints/linear/simplifyinequalities = TRUE
14.69/14.74	c 
14.69/14.74	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
14.69/14.74	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.69/14.74	c constraints/indicator/addCouplingCons = TRUE
14.69/14.74	c 
14.69/14.74	c # should disaggregation of knapsack constraints be allowed in preprocessing?
14.69/14.74	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
14.69/14.74	c constraints/knapsack/disaggregation = FALSE
14.69/14.74	c 
14.69/14.74	c # should presolving try to simplify knapsacks
14.69/14.74	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.69/14.74	c constraints/knapsack/simplifyinequalities = TRUE
14.69/14.74	c 
14.69/14.74	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
14.69/14.74	c # [type: int, range: [-1,2147483647], default: -1]
14.69/14.74	c presolving/probing/maxrounds = 0
14.69/14.74	c 
14.69/14.74	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
14.69/14.74	c # [type: int, range: [-1,2147483647], default: 10]
14.69/14.74	c heuristics/coefdiving/freq = -1
14.69/14.74	c 
14.69/14.74	c # maximal fraction of diving LP iterations compared to node LP iterations
14.69/14.74	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.69/14.74	c heuristics/coefdiving/maxlpiterquot = 0.075
14.69/14.74	c 
14.69/14.74	c # additional number of allowed LP iterations
14.69/14.74	c # [type: int, range: [0,2147483647], default: 1000]
14.69/14.74	c heuristics/coefdiving/maxlpiterofs = 1500
14.69/14.74	c 
14.69/14.74	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
14.69/14.74	c # [type: int, range: [-1,2147483647], default: 30]
14.69/14.74	c heuristics/crossover/freq = -1
14.69/14.74	c 
14.69/14.74	c # number of nodes added to the contingent of the total nodes
14.69/14.74	c # [type: longint, range: [0,9223372036854775807], default: 500]
14.69/14.74	c heuristics/crossover/nodesofs = 750
14.69/14.74	c 
14.69/14.74	c # number of nodes without incumbent change that heuristic should wait
14.69/14.74	c # [type: longint, range: [0,9223372036854775807], default: 200]
14.69/14.74	c heuristics/crossover/nwaitingnodes = 100
14.69/14.74	c 
14.69/14.74	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
14.69/14.74	c # [type: real, range: [0,1], default: 0.1]
14.69/14.74	c heuristics/crossover/nodesquot = 0.15
14.69/14.74	c 
14.69/14.74	c # minimum percentage of integer variables that have to be fixed 
14.69/14.74	c # [type: real, range: [0,1], default: 0.666]
14.69/14.74	c heuristics/crossover/minfixingrate = 0.5
14.69/14.74	c 
14.69/14.74	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
14.69/14.74	c # [type: int, range: [-1,2147483647], default: 20]
14.69/14.74	c heuristics/feaspump/freq = -1
14.69/14.74	c 
14.69/14.74	c # additional number of allowed LP iterations
14.69/14.74	c # [type: int, range: [0,2147483647], default: 1000]
14.69/14.74	c heuristics/feaspump/maxlpiterofs = 2000
14.69/14.74	c 
14.69/14.74	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
14.69/14.74	c # [type: int, range: [-1,2147483647], default: 10]
14.69/14.74	c heuristics/fracdiving/freq = -1
14.69/14.74	c 
14.69/14.74	c # maximal fraction of diving LP iterations compared to node LP iterations
14.69/14.74	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.69/14.74	c heuristics/fracdiving/maxlpiterquot = 0.075
14.69/14.74	c 
14.69/14.74	c # additional number of allowed LP iterations
14.69/14.74	c # [type: int, range: [0,2147483647], default: 1000]
14.69/14.74	c heuristics/fracdiving/maxlpiterofs = 1500
14.69/14.74	c 
14.69/14.74	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
14.69/14.74	c # [type: int, range: [-1,2147483647], default: 10]
14.69/14.74	c heuristics/guideddiving/freq = -1
14.69/14.74	c 
14.69/14.74	c # maximal fraction of diving LP iterations compared to node LP iterations
14.69/14.74	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.69/14.74	c heuristics/guideddiving/maxlpiterquot = 0.075
14.69/14.74	c 
14.69/14.74	c # additional number of allowed LP iterations
14.69/14.74	c # [type: int, range: [0,2147483647], default: 1000]
14.69/14.74	c heuristics/guideddiving/maxlpiterofs = 1500
14.69/14.74	c 
14.69/14.74	c # maximal fraction of diving LP iterations compared to node LP iterations
14.69/14.74	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.69/14.74	c heuristics/intdiving/maxlpiterquot = 0.075
14.69/14.74	c 
14.69/14.74	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
14.69/14.74	c # [type: int, range: [-1,2147483647], default: 10]
14.69/14.74	c heuristics/intshifting/freq = -1
14.69/14.74	c 
14.69/14.74	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
14.69/14.74	c # [type: int, range: [-1,2147483647], default: 10]
14.69/14.74	c heuristics/linesearchdiving/freq = -1
14.69/14.74	c 
14.69/14.74	c # maximal fraction of diving LP iterations compared to node LP iterations
14.69/14.74	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.69/14.74	c heuristics/linesearchdiving/maxlpiterquot = 0.075
14.69/14.74	c 
14.69/14.74	c # additional number of allowed LP iterations
14.69/14.74	c # [type: int, range: [0,2147483647], default: 1000]
14.69/14.74	c heuristics/linesearchdiving/maxlpiterofs = 1500
14.69/14.74	c 
14.69/14.74	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
14.69/14.74	c # [type: int, range: [-1,2147483647], default: 20]
14.69/14.74	c heuristics/objpscostdiving/freq = -1
14.69/14.74	c 
14.69/14.74	c # maximal fraction of diving LP iterations compared to total iteration number
14.69/14.74	c # [type: real, range: [0,1], default: 0.01]
14.69/14.74	c heuristics/objpscostdiving/maxlpiterquot = 0.015
14.69/14.74	c 
14.69/14.74	c # additional number of allowed LP iterations
14.69/14.74	c # [type: int, range: [0,2147483647], default: 1000]
14.69/14.74	c heuristics/objpscostdiving/maxlpiterofs = 1500
14.69/14.74	c 
14.69/14.74	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
14.69/14.74	c # [type: int, range: [-1,2147483647], default: 1]
14.69/14.74	c heuristics/oneopt/freq = -1
14.69/14.74	c 
14.69/14.74	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
14.69/14.74	c # [type: int, range: [-1,2147483647], default: 10]
14.69/14.74	c heuristics/pscostdiving/freq = -1
14.69/14.74	c 
14.69/14.74	c # maximal fraction of diving LP iterations compared to node LP iterations
14.69/14.74	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.69/14.74	c heuristics/pscostdiving/maxlpiterquot = 0.075
14.69/14.74	c 
14.69/14.74	c # additional number of allowed LP iterations
14.69/14.74	c # [type: int, range: [0,2147483647], default: 1000]
14.69/14.74	c heuristics/pscostdiving/maxlpiterofs = 1500
14.69/14.74	c 
14.69/14.74	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
14.69/14.74	c # [type: int, range: [-1,2147483647], default: 0]
14.69/14.74	c heuristics/rens/freq = -1
14.69/14.74	c 
14.69/14.74	c # minimum percentage of integer variables that have to be fixable 
14.69/14.74	c # [type: real, range: [0,1], default: 0.5]
14.69/14.74	c heuristics/rens/minfixingrate = 0.3
14.69/14.74	c 
14.69/14.74	c # number of nodes added to the contingent of the total nodes
14.69/14.74	c # [type: longint, range: [0,9223372036854775807], default: 500]
14.69/14.74	c heuristics/rens/nodesofs = 2000
14.69/14.74	c 
14.69/14.74	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
14.69/14.74	c # [type: int, range: [-1,2147483647], default: 20]
14.69/14.74	c heuristics/rootsoldiving/freq = -1
14.69/14.74	c 
14.69/14.74	c # maximal fraction of diving LP iterations compared to node LP iterations
14.69/14.74	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
14.69/14.74	c heuristics/rootsoldiving/maxlpiterquot = 0.015
14.69/14.74	c 
14.69/14.74	c # additional number of allowed LP iterations
14.69/14.74	c # [type: int, range: [0,2147483647], default: 1000]
14.69/14.74	c heuristics/rootsoldiving/maxlpiterofs = 1500
14.69/14.74	c 
14.69/14.74	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
14.69/14.74	c # [type: int, range: [-1,2147483647], default: 1]
14.69/14.74	c heuristics/rounding/freq = -1
14.69/14.74	c 
14.69/14.74	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
14.69/14.74	c # [type: int, range: [-1,2147483647], default: 0]
14.69/14.74	c heuristics/shiftandpropagate/freq = -1
14.69/14.74	c 
14.69/14.74	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
14.69/14.74	c # [type: int, range: [-1,2147483647], default: 10]
14.69/14.74	c heuristics/shifting/freq = -1
14.69/14.74	c 
14.69/14.74	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
14.69/14.74	c # [type: int, range: [-1,2147483647], default: 1]
14.69/14.74	c heuristics/simplerounding/freq = -1
14.69/14.74	c 
14.69/14.74	c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
14.69/14.74	c # [type: int, range: [-1,2147483647], default: 1]
14.69/14.74	c heuristics/subnlp/freq = -1
14.69/14.74	c 
14.69/14.74	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
14.69/14.74	c # [type: int, range: [-1,2147483647], default: 0]
14.69/14.74	c heuristics/trivial/freq = -1
14.69/14.74	c 
14.69/14.74	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
14.69/14.74	c # [type: int, range: [-1,2147483647], default: 1]
14.69/14.74	c heuristics/trysol/freq = -1
14.69/14.74	c 
14.69/14.74	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
14.69/14.74	c # [type: int, range: [-1,2147483647], default: 0]
14.69/14.74	c heuristics/undercover/freq = -1
14.69/14.74	c 
14.69/14.74	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
14.69/14.74	c # [type: int, range: [-1,2147483647], default: 10]
14.69/14.74	c heuristics/veclendiving/freq = -1
14.69/14.74	c 
14.69/14.74	c # maximal fraction of diving LP iterations compared to node LP iterations
14.69/14.74	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.69/14.74	c heuristics/veclendiving/maxlpiterquot = 0.075
14.69/14.74	c 
14.69/14.74	c # additional number of allowed LP iterations
14.69/14.74	c # [type: int, range: [0,2147483647], default: 1000]
14.69/14.74	c heuristics/veclendiving/maxlpiterofs = 1500
14.69/14.74	c 
14.69/14.74	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
14.69/14.74	c # [type: int, range: [-1,2147483647], default: 1]
14.69/14.74	c heuristics/zirounding/freq = -1
14.69/14.74	c 
14.69/14.74	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
14.69/14.74	c # [type: int, range: [-1,2147483647], default: 0]
14.69/14.74	c separating/cmir/freq = -1
14.69/14.74	c 
14.69/14.74	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
14.69/14.74	c # [type: int, range: [-1,2147483647], default: 0]
14.69/14.74	c separating/flowcover/freq = -1
14.69/14.74	c 
14.69/14.74	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
14.69/14.74	c # [type: int, range: [-1,2147483647], default: -1]
14.69/14.74	c separating/rapidlearning/freq = 0
14.69/14.74	c 
14.69/14.74	c -----------------------------------------------------------------------------------------------
14.69/14.74	c start solving
14.69/14.77	c 
75.37/75.44	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
75.37/75.44	c  75.4s|     1 |     0 |  9911 |     - |1643M|   0 |2569 |  48k|1114k|  48k|1114k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
105.08/105.14	c   105s|     1 |     0 | 11132 |     - |1643M|   0 |2872 |  48k|1114k|  48k|1114k|  11 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
167.56/167.67	c   168s|     1 |     0 | 18517 |     - |1643M|   0 |5876 |  48k|1114k|  48k|1114k|  26 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
234.55/234.67	c   235s|     1 |     0 | 24847 |     - |1645M|   0 |6604 |  48k|1114k|  48k|1114k|  46 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1552.75/1553.01	c  1553s|     1 |     0 | 63420 |     - |1646M|   0 |  12k|  48k|1114k|  48k|1114k|  72 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1797.21/1797.54	c  1798s|     1 |     0 | 70477 |     - |1647M|   0 |   - |  48k|1114k|  48k|1114k| 180 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1797.31/1797.63	c  1798s|     1 |     2 | 70477 |     - |1647M|   0 |   - |  48k|1114k|  48k|1114k| 180 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1797.31/1797.63	c 
1797.31/1797.63	c SCIP Status        : solving was interrupted [time limit reached]
1797.31/1797.63	c Solving Time (sec) : 1797.63
1797.31/1797.63	c Solving Nodes      : 1
1797.31/1797.63	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1797.31/1797.63	c Dual Bound         : +0.00000000000000e+00
1797.31/1797.63	c Gap                : infinite
1797.31/1797.63	s UNKNOWN
1797.31/1797.63	c SCIP Status        : solving was interrupted [time limit reached]
1797.31/1797.63	c Total Time         :    1797.63
1797.31/1797.63	c   solving          :    1797.63
1797.31/1797.63	c   presolving       :       6.86 (included in solving)
1797.31/1797.63	c   reading          :       6.56 (included in solving)
1797.31/1797.63	c Original Problem   :
1797.31/1797.63	c   Problem name     : HOME/instance-3741087-1338770895.opb
1797.31/1797.63	c   Variables        : 48368 (48368 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.31/1797.63	c   Constraints      : 1121286 initial, 1121286 maximal
1797.31/1797.63	c Presolved Problem  :
1797.31/1797.63	c   Problem name     : t_HOME/instance-3741087-1338770895.opb
1797.31/1797.63	c   Variables        : 48236 (48236 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.31/1797.63	c   Constraints      : 1114033 initial, 1114033 maximal
1797.31/1797.63	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1797.31/1797.63	c   trivial          :       0.01          0          0          0          0          0          0          0          0          0
1797.31/1797.63	c   dualfix          :       0.01          0          0          0          0          0          0          0          0          0
1797.31/1797.63	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1797.31/1797.63	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1797.31/1797.63	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
1797.31/1797.63	c   implics          :       0.01          0          0          0          0          0          0          0          0          0
1797.31/1797.63	c   probing          :       0.00          0          0          0          0          0          0          0          0          0
1797.31/1797.63	c   knapsack         :       0.39          0          0          0          0          0          0          0          0          0
1797.31/1797.63	c   setppc           :       0.20          0          0          0          0          0          0          0          0          0
1797.31/1797.63	c   linear           :       4.35        132          0          0        132          0       7219          0          7          0
1797.31/1797.63	c   logicor          :       0.91          0          0          0          0          0         34          0          0          0
1797.31/1797.63	c   root node        :          -          0          -          -          0          -          -          -          -          -
1797.31/1797.63	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1797.31/1797.63	c   integral         :          0          0          0          0          0          1          0          0          0          0          0          0
1797.31/1797.63	c   knapsack         :     112021          5          1          0          1          0          0          0          0        264          0          0
1797.31/1797.63	c   setppc           :     236383          5          1          0          1          0          0          0          0          0          0          0
1797.31/1797.63	c   linear           :          1          5          1          0          1          0          0          0          0          0          0          0
1797.31/1797.63	c   logicor          :     765628          5          1          0          1          0          0          0          0          0          0          0
1797.31/1797.63	c   countsols        :          0          0          0          0          1          0          0          0          0          0          0          0
1797.31/1797.63	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1797.31/1797.63	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.31/1797.63	c   knapsack         :       0.27       0.25       0.00       0.00       0.02       0.00       0.00
1797.31/1797.63	c   setppc           :       0.07       0.05       0.01       0.00       0.02       0.00       0.00
1797.31/1797.63	c   linear           :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.31/1797.63	c   logicor          :       0.35       0.13       0.17       0.00       0.05       0.00       0.00
1797.31/1797.63	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.31/1797.63	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1797.31/1797.63	c   vbounds          :          0          0          0          0
1797.31/1797.63	c   rootredcost      :          0          0          0          0
1797.31/1797.63	c   pseudoobj        :          0          0          0          0
1797.31/1797.63	c Propagator Timings :  TotalTime  Propagate    Resprop
1797.31/1797.63	c   vbounds          :       0.00       0.00       0.00
1797.31/1797.63	c   rootredcost      :       0.00       0.00       0.00
1797.31/1797.63	c   pseudoobj        :       0.00       0.00       0.00
1797.31/1797.63	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.31/1797.63	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1797.31/1797.63	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1797.31/1797.63	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.31/1797.63	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.31/1797.63	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.31/1797.63	c   applied globally :          -          -          -          0        0.0          -          -          -
1797.31/1797.63	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.31/1797.63	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1797.31/1797.63	c   cut pool         :       0.00          4          -          -         61          -    (maximal pool size: 1017)
1797.31/1797.63	c   redcost          :       0.01          5          0          0          0          0
1797.31/1797.63	c   impliedbounds    :       0.02          5          0          0          0          0
1797.31/1797.63	c   intobj           :       0.00          0          0          0          0          0
1797.31/1797.63	c   gomory           :      98.85          5          0          0       2500          0
1797.31/1797.63	c   cgmip            :       0.00          0          0          0          0          0
1797.31/1797.63	c   closecuts        :       0.00          0          0          0          0          0
1797.31/1797.63	c   strongcg         :      49.03          5          0          0       2500          0
1797.31/1797.63	c   cmir             :       0.00          0          0          0          0          0
1797.31/1797.63	c   flowcover        :       0.00          0          0          0          0          0
1797.31/1797.63	c   clique           :       4.24          5          0          0         47          0
1797.31/1797.63	c   zerohalf         :       0.00          0          0          0          0          0
1797.31/1797.63	c   mcf              :       8.37          1          0          0          0          0
1797.31/1797.63	c   oddcycle         :       0.00          0          0          0          0          0
1797.31/1797.63	c   rapidlearning    :       0.00          0          0          0          0          0
1797.31/1797.63	c Pricers            :       Time      Calls       Vars
1797.31/1797.63	c   problem variables:       0.00          0          0
1797.31/1797.63	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1797.31/1797.63	c   relpscost        :       0.00          0          0          0          0          0          0
1797.31/1797.63	c   pscost           :       0.00          0          0          0          0          0          0
1797.31/1797.63	c   inference        :       0.00          1          0          0          0          0          2
1797.31/1797.63	c   mostinf          :       0.00          0          0          0          0          0          0
1797.31/1797.63	c   leastinf         :       0.00          0          0          0          0          0          0
1797.31/1797.63	c   fullstrong       :       0.00          0          0          0          0          0          0
1797.31/1797.63	c   allfullstrong    :       0.00          0          0          0          0          0          0
1797.31/1797.63	c   random           :       0.00          0          0          0          0          0          0
1797.31/1797.63	c Primal Heuristics  :       Time      Calls      Found
1797.31/1797.63	c   LP solutions     :       0.00          -          0
1797.31/1797.63	c   pseudo solutions :       0.00          -          0
1797.31/1797.63	c   trivial          :       0.03          1          0
1797.31/1797.63	c   shiftandpropagate:       0.00          0          0
1797.31/1797.63	c   simplerounding   :       0.00          0          0
1797.31/1797.63	c   zirounding       :       0.00          0          0
1797.31/1797.63	c   rounding         :       0.00          0          0
1797.31/1797.63	c   shifting         :       0.00          0          0
1797.31/1797.63	c   intshifting      :       0.00          0          0
1797.31/1797.63	c   oneopt           :       0.00          0          0
1797.31/1797.63	c   twoopt           :       0.00          0          0
1797.31/1797.63	c   fixandinfer      :       0.00          0          0
1797.31/1797.63	c   feaspump         :       0.00          0          0
1797.31/1797.63	c   clique           :       0.00          0          0
1797.31/1797.63	c   coefdiving       :       0.00          0          0
1797.31/1797.63	c   pscostdiving     :       0.00          0          0
1797.31/1797.63	c   fracdiving       :       0.00          0          0
1797.31/1797.63	c   veclendiving     :       0.00          0          0
1797.31/1797.63	c   intdiving        :       0.00          0          0
1797.31/1797.63	c   actconsdiving    :       0.00          0          0
1797.31/1797.63	c   objpscostdiving  :       0.00          0          0
1797.31/1797.63	c   rootsoldiving    :       0.00          0          0
1797.31/1797.63	c   linesearchdiving :       0.00          0          0
1797.31/1797.63	c   guideddiving     :       0.00          0          0
1797.31/1797.63	c   octane           :       0.00          0          0
1797.31/1797.63	c   rens             :       0.00          0          0
1797.31/1797.63	c   rins             :       0.00          0          0
1797.31/1797.63	c   localbranching   :       0.00          0          0
1797.31/1797.63	c   mutation         :       0.00          0          0
1797.31/1797.63	c   crossover        :       0.00          0          0
1797.31/1797.63	c   dins             :       0.00          0          0
1797.31/1797.63	c   vbounds          :       0.00          0          0
1797.31/1797.63	c   undercover       :       0.00          0          0
1797.31/1797.63	c   subnlp           :       0.00          0          0
1797.31/1797.63	c   trysol           :       0.00          0          0
1797.31/1797.63	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1797.31/1797.63	c   primal LP        :       0.00          0          0       0.00          -
1797.31/1797.63	c   dual LP          :    1618.69          6      70477   11746.17      43.54
1797.31/1797.63	c   lex dual LP      :       0.00          0          0       0.00          -
1797.31/1797.63	c   barrier LP       :       0.00          0          0       0.00          -
1797.31/1797.63	c   diving/probing LP:       0.00          0          0       0.00          -
1797.31/1797.63	c   strong branching :       0.00          0          0       0.00          -
1797.31/1797.63	c     (at root node) :          -          0          0       0.00          -
1797.31/1797.63	c   conflict analysis:       0.00          0          0       0.00          -
1797.31/1797.63	c B&B Tree           :
1797.31/1797.63	c   number of runs   :          1
1797.31/1797.63	c   nodes            :          1
1797.31/1797.63	c   nodes (total)    :          1
1797.31/1797.63	c   nodes left       :          2
1797.31/1797.63	c   max depth        :          0
1797.31/1797.63	c   max depth (total):          0
1797.31/1797.63	c   backtracks       :          0 (0.0%)
1797.31/1797.63	c   delayed cutoffs  :          0
1797.31/1797.63	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1797.31/1797.63	c   avg switch length:       1.00
1797.31/1797.63	c   switching time   :       0.00
1797.31/1797.63	c Solution           :
1797.31/1797.63	c   Solutions found  :          0 (0 improvements)
1797.31/1797.63	c   Primal Bound     :          -
1797.31/1797.63	c   Dual Bound       : +0.00000000000000e+00
1797.31/1797.63	c   Gap              :   infinite
1797.31/1797.63	c   Root Dual Bound  : +0.00000000000000e+00
1797.31/1797.63	c   Root Iterations  :      70477

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-3741087-1338770895/watcher-3741087-1338770895 -o /tmp/evaluation-result-3741087-1338770895/solver-3741087-1338770895 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3741087-1338770895.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.04 2.01 2.00 3/176 21660
/proc/meminfo: memFree=30126296/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=9588 CPUtime=0 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 1528 0 0 0 0 0 0 0 20 0 1 0 343215597 9818112 1482 33554432000 4194304 9016284 140734927266304 140736743366856 7875499 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 2397 1483 311 1178 0 1215 0

[startup+0.0164241 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 21660
/proc/meminfo: memFree=30126296/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=13740 CPUtime=0 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 2405 0 0 0 0 0 0 0 20 0 1 0 343215597 14069760 2359 33554432000 4194304 9016284 140734927266304 140736743366856 7870473 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 3435 2359 357 1178 0 2253 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13740

[startup+0.100264 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 21660
/proc/meminfo: memFree=30126296/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=21268 CPUtime=0.08 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 4307 0 0 0 8 0 0 0 20 0 1 0 343215597 21778432 4261 33554432000 4194304 9016284 140734927266304 140736743366856 7870473 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 5317 4261 357 1178 0 4135 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 21268

[startup+0.300296 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 21660
/proc/meminfo: memFree=30126296/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=36832 CPUtime=0.28 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 8196 0 0 0 27 1 0 0 20 0 1 0 343215597 37715968 8150 33554432000 4194304 9016284 140734927266304 140736743366856 7928096 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 9208 8150 357 1178 0 8026 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 36832

[startup+0.70028 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 21660
/proc/meminfo: memFree=30126296/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=66268 CPUtime=0.68 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 15311 0 0 0 66 2 0 0 20 0 1 0 343215597 67858432 15266 33554432000 4194304 9016284 140734927266304 140736743366856 6813403 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 16567 15305 357 1178 0 15385 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 66268

[startup+1.50024 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 21661
/proc/meminfo: memFree=30043960/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=124648 CPUtime=1.48 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 30112 0 0 0 144 4 0 0 20 0 1 0 343215597 127639552 30066 33554432000 4194304 9016284 140734927266304 140734927130200 4447104 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 31162 30067 357 1178 0 29980 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 124648

[startup+3.10024 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 21661
/proc/meminfo: memFree=29964624/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=239148 CPUtime=3.08 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 58680 0 0 0 299 9 0 0 20 0 1 0 343215597 244887552 58634 33554432000 4194304 9016284 140734927266304 140734927129720 7928096 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 59787 58634 357 1178 0 58605 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 239148

[startup+6.30027 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 21661
/proc/meminfo: memFree=29728512/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=468692 CPUtime=6.29 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 115902 0 0 0 610 19 0 0 20 0 1 0 343215597 479940608 115856 33554432000 4194304 9016284 140734927266304 140734927130200 7874926 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 117173 115856 357 1178 0 115991 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 468692

[startup+12.7003 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 21661
/proc/meminfo: memFree=28495416/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=1549736 CPUtime=12.69 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 422282 0 0 0 1204 65 0 0 20 0 1 0 343215597 1586929664 379937 33554432000 4194304 9016284 140734927266304 140734927261832 7854966 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 387385 379888 498 1178 0 386203 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1549736

[startup+25.5002 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 21661
/proc/meminfo: memFree=27354936/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=2974592 CPUtime=25.49 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 610139 0 0 0 2435 114 0 0 20 0 1 0 343215597 3045982208 694162 33554432000 4194304 9016284 140734927266304 140734927260472 7080792 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 743648 694162 623 1178 0 742466 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2974592

[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21661
/proc/meminfo: memFree=27205692/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=3141240 CPUtime=51.08 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 620962 0 0 0 4975 133 0 0 20 0 1 0 343215597 3216629760 738758 33554432000 4194304 9016284 140734927266304 140734927260472 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 785310 738758 625 1178 0 784128 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3141240

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21661
/proc/meminfo: memFree=27312684/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=3049404 CPUtime=102.28 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 637443 0 0 0 10057 171 0 0 20 0 1 0 343215597 3122589696 709480 33554432000 4194304 9016284 140734927266304 140734927260472 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 762351 709480 661 1178 0 761169 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 3049404

[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 21665
/proc/meminfo: memFree=27296484/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=3116428 CPUtime=162.27 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 652326 0 0 0 16012 215 0 0 20 0 1 0 343215597 3191222272 706315 33554432000 4194304 9016284 140734927266304 140734927258984 6971597 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 779107 706315 661 1178 0 777925 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 3116428

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21665
/proc/meminfo: memFree=27235428/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=3180436 CPUtime=222.25 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 664704 0 0 0 21965 260 0 0 20 0 1 0 343215597 3256766464 721907 33554432000 4194304 9016284 140734927266304 140734927259224 7152964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 795109 721907 661 1178 0 793927 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 3180436

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21665
/proc/meminfo: memFree=27225420/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=3187028 CPUtime=282.24 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 669901 0 0 0 27941 283 0 0 20 0 1 0 343215597 3263516672 724522 33554432000 4194304 9016284 140734927266304 140734927259672 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 796757 724522 661 1178 0 795575 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 3187028

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21665
/proc/meminfo: memFree=27231092/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=3206708 CPUtime=342.23 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 679962 0 0 0 33908 315 0 0 20 0 1 0 343215597 3283668992 726026 33554432000 4194304 9016284 140734927266304 140734927258968 6971638 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 801677 726026 661 1178 0 800495 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 3206708

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21665
/proc/meminfo: memFree=27224736/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=3219576 CPUtime=402.23 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 686714 0 0 0 39885 338 0 0 20 0 1 0 343215597 3296845824 727623 33554432000 4194304 9016284 140734927266304 140734927260536 7181472 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 804894 727623 663 1178 0 803712 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 3219576

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21666
/proc/meminfo: memFree=27218204/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=3227856 CPUtime=462.22 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 690449 0 0 0 45869 353 0 0 20 0 1 0 343215597 3305324544 729159 33554432000 4194304 9016284 140734927266304 140734927260088 7181476 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 806964 729159 663 1178 0 805782 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 3227856

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21666
/proc/meminfo: memFree=27212000/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=3230336 CPUtime=522.21 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 694664 0 0 0 51854 367 0 0 20 0 1 0 343215597 3307864064 728870 33554432000 4194304 9016284 140734927266304 140734927260088 7181481 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 807584 728870 663 1178 0 806402 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 3230336

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21666
/proc/meminfo: memFree=27210848/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=3232488 CPUtime=582.2 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 698151 0 0 0 57841 379 0 0 20 0 1 0 343215597 3310067712 729730 33554432000 4194304 9016284 140734927266304 140734927260088 7181501 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 808122 729730 663 1178 0 806940 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 3232488

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21692
/proc/meminfo: memFree=27160936/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=3239100 CPUtime=882.16 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 712601 0 0 0 87772 444 0 0 20 0 1 0 343215597 3316838400 730943 33554432000 4194304 9016284 140734927266304 140734927260088 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 809775 730943 663 1178 0 808593 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 3239100

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21692
/proc/meminfo: memFree=27199596/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=3239476 CPUtime=942.15 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 715553 0 0 0 93758 457 0 0 20 0 1 0 343215597 3317223424 731602 33554432000 4194304 9016284 140734927266304 140734927260088 7214490 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 809869 731602 663 1178 0 808687 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 3239476

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21692
/proc/meminfo: memFree=27196676/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=3241708 CPUtime=1002.13 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 719348 0 0 0 99744 469 0 0 20 0 1 0 343215597 3319508992 732971 33554432000 4194304 9016284 140734927266304 140734927260088 7181501 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 810427 732971 663 1178 0 809245 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 3241708

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21693
/proc/meminfo: memFree=27200248/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=3242188 CPUtime=1062.12 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 723081 0 0 0 105731 481 0 0 20 0 1 0 343215597 3320000512 732996 33554432000 4194304 9016284 140734927266304 140734927260472 7181505 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 810547 732996 663 1178 0 809365 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 3242188

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21693
/proc/meminfo: memFree=27204292/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=3242188 CPUtime=1122.12 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 726718 0 0 0 111718 494 0 0 20 0 1 0 343215597 3320000512 732487 33554432000 4194304 9016284 140734927266304 140734927260088 7181418 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 810547 732487 663 1178 0 809365 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 3242188

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21693
/proc/meminfo: memFree=27172380/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=3242188 CPUtime=1182.11 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 730218 0 0 0 117706 505 0 0 20 0 1 0 343215597 3320000512 732466 33554432000 4194304 9016284 140734927266304 140734927260088 7181505 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 810547 732466 663 1178 0 809365 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 3242188

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21693
/proc/meminfo: memFree=27139760/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=3242188 CPUtime=1242.1 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 734315 0 0 0 123691 519 0 0 20 0 1 0 343215597 3320000512 733015 33554432000 4194304 9016284 140734927266304 140734927260088 7181396 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 810547 733015 663 1178 0 809365 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 3242188

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21693
/proc/meminfo: memFree=27141240/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=3242188 CPUtime=1302.09 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 737476 0 0 0 129680 529 0 0 20 0 1 0 343215597 3320000512 733041 33554432000 4194304 9016284 140734927266304 140734927260088 7181501 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 810547 733041 663 1178 0 809365 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 3242188

[startup+1362.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 21697
/proc/meminfo: memFree=27193052/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=3242188 CPUtime=1362.07 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 740961 0 0 0 135666 541 0 0 20 0 1 0 343215597 3320000512 733673 33554432000 4194304 9016284 140734927266304 140734927260088 7181376 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 810547 733673 663 1178 0 809365 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 3242188

[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 21697
/proc/meminfo: memFree=27134400/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=3242188 CPUtime=1422.08 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 744061 0 0 0 141656 552 0 0 20 0 1 0 343215597 3320000512 734824 33554432000 4194304 9016284 140734927266304 140734927260088 7181376 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 810547 734824 663 1178 0 809365 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 3242188

[startup+1482.3 s]
/proc/loadavg: 1.97 1.99 1.99 3/178 21736
/proc/meminfo: memFree=25613832/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=3242188 CPUtime=1482.06 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 747272 0 0 0 147643 563 0 0 20 0 1 0 343215597 3320000512 734305 33554432000 4194304 9016284 140734927266304 140734927260088 7198975 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 810547 734305 663 1178 0 809365 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 3242188

[startup+1542.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 21736
/proc/meminfo: memFree=25684684/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=3242188 CPUtime=1542.05 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 751073 0 0 0 153629 576 0 0 20 0 1 0 343215597 3320000512 734449 33554432000 4194304 9016284 140734927266304 140734927260088 7180575 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 810547 734449 663 1178 0 809365 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 3242188

[startup+1602.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 21736
/proc/meminfo: memFree=25677836/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=3242188 CPUtime=1602.04 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 752193 0 0 0 159622 582 0 0 20 0 1 0 343215597 3320000512 734462 33554432000 4194304 9016284 140734927266304 140734927261368 6550332 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 810547 734462 663 1178 0 809365 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 3242188

[startup+1662.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 21737
/proc/meminfo: memFree=25585656/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=3320656 CPUtime=1662.03 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 756346 0 0 0 165611 592 0 0 20 0 1 0 343215597 3400351744 757134 33554432000 4194304 9016284 140734927266304 140734927259224 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 830164 757134 663 1178 0 828982 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 3320656

[startup+1722.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 21737
/proc/meminfo: memFree=25606200/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=3326696 CPUtime=1722.03 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 760852 0 0 0 171591 612 0 0 20 0 1 0 343215597 3406536704 757422 33554432000 4194304 9016284 140734927266304 140734927260168 7180872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 831674 757422 663 1178 0 830492 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 3326696

[startup+1782.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 21737
/proc/meminfo: memFree=25458636/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=3327688 CPUtime=1782.02 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 766053 0 0 0 177575 627 0 0 20 0 1 0 343215597 3407552512 758182 33554432000 4194304 9016284 140734927266304 140734927260168 7180732 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 831922 758182 663 1178 0 830740 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 3327688



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 21737
/proc/meminfo: memFree=25501836/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=3275428 CPUtime=1800.01 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 767546 0 0 0 179369 632 0 0 20 0 1 0 343215597 3354038272 745743 33554432000 4194304 9016284 140734927266304 140734927265512 7933303 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 818857 745743 674 1178 0 817675 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3275428

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 21737
/proc/meminfo: memFree=25501836/32873648 swapFree=7628/7628
[pid=21660] ppid=21658 vsize=3275428 CPUtime=1800.01 cores=1,3,5,7
/proc/21660/stat : 21660 (scip-2.0.1.4b_2) R 21658 21660 20052 0 -1 4202496 767546 0 0 0 179369 632 0 0 20 0 1 0 343215597 3354038272 745743 33554432000 4194304 9016284 140734927266304 140734927265512 7933303 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21660/statm: 818857 745743 674 1178 0 817675 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3275428

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.38
CPU time (s): 1800.09
CPU user time (s): 1793.7
CPU system time (s): 6.39403
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 3397328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.7
system time used= 6.39403
maximum resident set size= 3065972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 767546
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= 16
involuntary context switches= 1850

runsolver used 3.18152 second user time and 10.2034 second system time

The end

Launcher Data

Begin job on node122 at 2012-06-04 02:48:16
IDJOB=3741087
IDBENCH=89756
IDSOLVER=2329
FILE ID=node122/3741087-1338770895
RUNJOBID= node122-1338749400-20069
PBS_JOBID= 14636801
Free space on /tmp= 71096 MiB

SOLVER NAME= PB11: SCIP spx E_2 2011-06-10 (fixed)
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-129.opb
COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741087-1338770895/watcher-3741087-1338770895 -o /tmp/evaluation-result-3741087-1338770895/solver-3741087-1338770895 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3741087-1338770895.opb -t 1800 -m 15500

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

MD5SUM BENCH= 67d021e5b92124566c71fb431934058c
RANDOM SEED=588701018

node122.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.533
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.06
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.533
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.533
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	: 5332.04
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.533
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.533
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.533
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.54
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.533
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.533
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:        30126940 kB
Buffers:          235084 kB
Cached:           287160 kB
SwapCached:         1832 kB
Active:          1864496 kB
Inactive:          48100 kB
Active(anon):    1365304 kB
Inactive(anon):    27432 kB
Active(file):     499192 kB
Inactive(file):    20668 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67100168 kB
Dirty:             66256 kB
Writeback:             0 kB
AnonPages:       1396704 kB
Mapped:            11468 kB
Shmem:                 0 kB
Slab:             693356 kB
SReclaimable:     137004 kB
SUnreclaim:       556352 kB
KernelStack:        1448 kB
PageTables:         7024 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1588888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    303104 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= 71056 MiB
End job on node122 at 2012-06-04 03:18:18