Trace number 3740975

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
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? 1794.66 1794.95

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-47.opb
MD5SUM17efc5fe25abdce41d8265867254d297
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 variables10052
Total number of constraints226117
Number of constraints which are clauses203168
Number of constraints which are cardinality constraints (but not clauses)731
Number of constraints which are nor clauses,nor cardinality constraints22218
Minimum length of a constraint1
Maximum length of a constraint231
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 232
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 

1.59/1.62	c SCIP version 1.1.0.7
1.59/1.62	c LP-Solver SoPlex 1.4.1
1.59/1.62	c user parameter file <scip.set> not found - using default parameters
1.59/1.62	c read problem <HOME/instance-3740975-1338767324.opb>
1.59/1.62	c original problem has 10052 variables (10052 bin, 0 int, 0 impl, 0 cont) and 226117 constraints
1.89/1.90	c No objective function, only one solution is needed.
1.89/1.90	c start presolving problem
1.89/1.90	c presolving:
2.29/2.38	c (round 1) 100 del vars, 3180 del conss, 100 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 110454 impls, 365 clqs
2.39/2.43	c (round 2) 100 del vars, 4236 del conss, 100 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 110454 impls, 365 clqs
3.19/3.25	c (round 3) 100 del vars, 4275 del conss, 100 chg bounds, 9 chg sides, 0 chg coeffs, 221870 upgd conss, 110454 impls, 365 clqs
3.99/4.07	c presolving (4 rounds):
3.99/4.07	c  100 deleted vars, 4275 deleted constraints, 100 tightened bounds, 0 added holes, 9 changed sides, 0 changed coefficients
3.99/4.07	c  110454 implications, 365 cliques
3.99/4.07	c presolved problem has 9952 variables (9952 bin, 0 int, 0 impl, 0 cont) and 221842 constraints
3.99/4.07	c   22570 constraints of type <knapsack>
3.99/4.07	c     365 constraints of type <setppc>
3.99/4.07	c       2 constraints of type <linear>
3.99/4.07	c  198905 constraints of type <logicor>
3.99/4.07	c transformed objective value is always integral (scale: 1)
3.99/4.07	c Presolving Time: 1.88
3.99/4.07	c SATUNSAT-LIN
3.99/4.07	c -----------------------------------------------------------------------------------------------
3.99/4.07	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
3.99/4.07	c # [type: int, range: [-1,2147483647], default: 0]
3.99/4.07	c separating/flowcover/freq = c -1
3.99/4.07	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
3.99/4.07	c # [type: int, range: [-1,2147483647], default: 0]
3.99/4.07	c separating/cmir/freq = c -1
3.99/4.07	c # additional number of allowed LP iterations
3.99/4.07	c # [type: int, range: [0,2147483647], default: 1000]
3.99/4.07	c heuristics/veclendiving/maxlpiterofs = c 1500
3.99/4.07	c # maximal fraction of diving LP iterations compared to node LP iterations
3.99/4.07	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.99/4.07	c heuristics/veclendiving/maxlpiterquot = c 0.075
3.99/4.07	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
3.99/4.07	c # [type: int, range: [-1,2147483647], default: 10]
3.99/4.07	c heuristics/veclendiving/freq = c -1
3.99/4.07	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
3.99/4.07	c # [type: int, range: [-1,2147483647], default: 1]
3.99/4.07	c heuristics/simplerounding/freq = c -1
3.99/4.07	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
3.99/4.07	c # [type: int, range: [-1,2147483647], default: 10]
3.99/4.07	c heuristics/shifting/freq = c -1
3.99/4.07	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
3.99/4.07	c # [type: int, range: [-1,2147483647], default: 1]
3.99/4.07	c heuristics/rounding/freq = c -1
3.99/4.07	c # additional number of allowed LP iterations
3.99/4.07	c # [type: int, range: [0,2147483647], default: 1000]
3.99/4.07	c heuristics/rootsoldiving/maxlpiterofs = c 1500
3.99/4.07	c # maximal fraction of diving LP iterations compared to node LP iterations
3.99/4.07	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
3.99/4.07	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
3.99/4.07	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
3.99/4.07	c # [type: int, range: [-1,2147483647], default: 20]
3.99/4.07	c heuristics/rootsoldiving/freq = c -1
3.99/4.07	c # number of nodes added to the contingent of the total nodes
3.99/4.07	c # [type: longint, range: [0,9223372036854775807], default: 500]
3.99/4.07	c heuristics/rens/nodesofs = c 2000
3.99/4.07	c # minimum percentage of integer variables that have to be fixable 
3.99/4.07	c # [type: real, range: [0,1], default: 0.5]
3.99/4.07	c heuristics/rens/minfixingrate = c 0.3
3.99/4.07	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
3.99/4.07	c # [type: int, range: [-1,2147483647], default: 0]
3.99/4.07	c heuristics/rens/freq = c -1
3.99/4.07	c # additional number of allowed LP iterations
3.99/4.07	c # [type: int, range: [0,2147483647], default: 1000]
3.99/4.07	c heuristics/pscostdiving/maxlpiterofs = c 1500
3.99/4.07	c # maximal fraction of diving LP iterations compared to node LP iterations
3.99/4.07	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.99/4.07	c heuristics/pscostdiving/maxlpiterquot = c 0.075
3.99/4.07	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
3.99/4.07	c # [type: int, range: [-1,2147483647], default: 10]
3.99/4.07	c heuristics/pscostdiving/freq = c -1
3.99/4.07	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
3.99/4.07	c # [type: int, range: [-1,2147483647], default: 1]
3.99/4.07	c heuristics/oneopt/freq = c -1
3.99/4.07	c # additional number of allowed LP iterations
3.99/4.07	c # [type: int, range: [0,2147483647], default: 1000]
3.99/4.07	c heuristics/objpscostdiving/maxlpiterofs = c 1500
3.99/4.07	c # maximal fraction of diving LP iterations compared to total iteration number
3.99/4.07	c # [type: real, range: [0,1], default: 0.01]
3.99/4.07	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
3.99/4.07	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
3.99/4.07	c # [type: int, range: [-1,2147483647], default: 20]
3.99/4.07	c heuristics/objpscostdiving/freq = c -1
3.99/4.07	c # additional number of allowed LP iterations
3.99/4.07	c # [type: int, range: [0,2147483647], default: 1000]
3.99/4.07	c heuristics/linesearchdiving/maxlpiterofs = c 1500
3.99/4.07	c # maximal fraction of diving LP iterations compared to node LP iterations
3.99/4.07	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.99/4.07	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
3.99/4.07	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
3.99/4.07	c # [type: int, range: [-1,2147483647], default: 10]
3.99/4.07	c heuristics/linesearchdiving/freq = c -1
3.99/4.07	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
3.99/4.07	c # [type: int, range: [-1,2147483647], default: 10]
3.99/4.07	c heuristics/intshifting/freq = c -1
3.99/4.07	c # maximal fraction of diving LP iterations compared to node LP iterations
3.99/4.07	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.99/4.07	c heuristics/intdiving/maxlpiterquot = c 0.075
3.99/4.07	c # additional number of allowed LP iterations
3.99/4.07	c # [type: int, range: [0,2147483647], default: 1000]
3.99/4.07	c heuristics/guideddiving/maxlpiterofs = c 1500
3.99/4.07	c # maximal fraction of diving LP iterations compared to node LP iterations
3.99/4.07	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.99/4.07	c heuristics/guideddiving/maxlpiterquot = c 0.075
3.99/4.07	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
3.99/4.07	c # [type: int, range: [-1,2147483647], default: 10]
3.99/4.07	c heuristics/guideddiving/freq = c -1
3.99/4.07	c # additional number of allowed LP iterations
3.99/4.07	c # [type: int, range: [0,2147483647], default: 1000]
3.99/4.07	c heuristics/fracdiving/maxlpiterofs = c 1500
3.99/4.07	c # maximal fraction of diving LP iterations compared to node LP iterations
3.99/4.07	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.99/4.07	c heuristics/fracdiving/maxlpiterquot = c 0.075
3.99/4.07	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
3.99/4.07	c # [type: int, range: [-1,2147483647], default: 10]
3.99/4.07	c heuristics/fracdiving/freq = c -1
3.99/4.07	c # additional number of allowed LP iterations
3.99/4.07	c # [type: int, range: [0,2147483647], default: 1000]
3.99/4.07	c heuristics/feaspump/maxlpiterofs = c 2000
3.99/4.07	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
3.99/4.07	c # [type: int, range: [-1,2147483647], default: 20]
3.99/4.07	c heuristics/feaspump/freq = c -1
3.99/4.07	c # minimum percentage of integer variables that have to be fixed 
3.99/4.07	c # [type: real, range: [0,1], default: 0.666]
3.99/4.07	c heuristics/crossover/minfixingrate = c 0.5
3.99/4.07	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
3.99/4.07	c # [type: real, range: [0,1], default: 0.1]
3.99/4.07	c heuristics/crossover/nodesquot = c 0.15
3.99/4.07	c # number of nodes without incumbent change that heuristic should wait
3.99/4.07	c # [type: longint, range: [0,9223372036854775807], default: 200]
3.99/4.07	c heuristics/crossover/nwaitingnodes = c 100
3.99/4.07	c # number of nodes added to the contingent of the total nodes
3.99/4.07	c # [type: longint, range: [0,9223372036854775807], default: 500]
3.99/4.07	c heuristics/crossover/nodesofs = c 750
3.99/4.07	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
3.99/4.07	c # [type: int, range: [-1,2147483647], default: 30]
3.99/4.07	c heuristics/crossover/freq = c -1
3.99/4.07	c # additional number of allowed LP iterations
3.99/4.07	c # [type: int, range: [0,2147483647], default: 1000]
3.99/4.07	c heuristics/coefdiving/maxlpiterofs = c 1500
3.99/4.07	c # maximal fraction of diving LP iterations compared to node LP iterations
3.99/4.07	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.99/4.07	c heuristics/coefdiving/maxlpiterquot = c 0.075
3.99/4.07	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
3.99/4.07	c # [type: int, range: [-1,2147483647], default: 10]
3.99/4.07	c heuristics/coefdiving/freq = c -1
3.99/4.07	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
3.99/4.07	c # [type: int, range: [-1,2147483647], default: -1]
3.99/4.07	c presolving/probing/maxrounds = c 0
3.99/4.07	c # should presolving try to simplify knapsacks
3.99/4.07	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.99/4.07	c constraints/knapsack/simplifyinequalities = c TRUE
3.99/4.07	c # should disaggregation of knapsack constraints be allowed in preprocessing?
3.99/4.07	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
3.99/4.07	c constraints/knapsack/disaggregation = c FALSE
3.99/4.07	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
3.99/4.07	c # [type: int, range: [-1,2147483647], default: -1]
3.99/4.07	c constraints/knapsack/maxnumcardlift = c 0
3.99/4.07	c # should presolving try to simplify inequalities
3.99/4.08	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.99/4.08	c constraints/linear/simplifyinequalities = c TRUE
3.99/4.08	c # maximal number of separation rounds in the root node (-1: unlimited)
3.99/4.08	c # [type: int, range: [-1,2147483647], default: -1]
3.99/4.08	c separating/maxroundsroot = c 5
3.99/4.08	c # maximal number of separation rounds per node (-1: unlimited)
3.99/4.08	c # [type: int, range: [-1,2147483647], default: 5]
3.99/4.08	c separating/maxrounds = c 1
3.99/4.08	c # solving stops, if the given number of solutions were found (-1: no limit)
3.99/4.08	c # [type: int, range: [-1,2147483647], default: -1]
3.99/4.08	c limits/solutions = c 1
3.99/4.08	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.99/4.08	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.99/4.08	c limits/memory = c 13950
3.99/4.08	c # maximal time in seconds to run
3.99/4.08	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.99/4.08	c limits/time = c 1791
3.99/4.08	c # frequency for displaying node information lines
3.99/4.08	c # [type: int, range: [-1,2147483647], default: 100]
3.99/4.08	c display/freq = c 10000
3.99/4.08	c -----------------------------------------------------------------------------------------------
3.99/4.08	c start solving problem
3.99/4.08	c 
6.99/7.01	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
6.99/7.01	c   5.0s|     1 |     0 |  1112 | 300M|   0 | 228 |9952 | 221k| 221k|9952 | 221k|   0 |   0 |   0 | 4.350000e+02 |      --      |    Inf 
9.99/10.01	c   7.9s|     1 |     0 |  1171 | 300M|   0 | 378 |9952 | 221k| 221k|9952 | 221k|  17 |   0 |   0 | 4.380000e+02 |      --      |    Inf 
13.20/13.28	c  11.2s|     1 |     0 |  1308 | 300M|   0 | 426 |9952 | 221k| 221k|9952 | 221k|  31 |   0 |   0 | 4.405000e+02 |      --      |    Inf 
16.59/16.65	c  14.6s|     1 |     0 |  1438 | 300M|   0 | 442 |9952 | 221k| 221k|9952 | 221k|  41 |   0 |   0 | 4.405000e+02 |      --      |    Inf 
21.08/21.10	c  19.0s|     1 |     0 |  1674 | 300M|   0 | 532 |9952 | 221k| 221k|9952 | 221k|  52 |   0 |   0 | 4.405000e+02 |      --      |    Inf 
28.98/29.07	c  26.9s|     1 |     0 |  2305 | 301M|   0 | 316 |9952 | 221k| 221k|9952 | 221k|  65 |   0 |   0 | 4.415000e+02 |      --      |    Inf 
91.48/91.53	c  89.4s|     1 |     2 |  2305 | 301M|   0 | 316 |9952 | 221k| 221k|9952 | 221k|  65 |   0 |  23 | 4.415000e+02 |      --      |    Inf 
1794.20/1794.58	c 
1794.20/1794.58	c SCIP Status        : solving was interrupted [time limit reached]
1794.20/1794.58	c Solving Time (sec) : 1791.04
1794.20/1794.58	c Solving Nodes      : 243
1794.20/1794.58	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1794.20/1794.58	c Dual Bound         : +4.47700000000000e+02
1794.20/1794.58	c Gap                : infinite
1794.20/1794.58	c NODE         243
1794.20/1794.58	c DUAL BOUND   447.7
1794.20/1794.58	c PRIMAL BOUND 1e+20
1794.20/1794.58	c GAP          1e+20
1794.20/1794.58	s UNKNOWN
1794.20/1794.58	c SCIP Status        : solving was interrupted [time limit reached]
1794.20/1794.58	c Solving Time       :    1791.04
1794.20/1794.58	c Original Problem   :
1794.20/1794.58	c   Problem name     : HOME/instance-3740975-1338767324.opb
1794.20/1794.58	c   Variables        : 10052 (10052 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.20/1794.58	c   Constraints      : 226117 initial, 226117 maximal
1794.20/1794.58	c Presolved Problem  :
1794.20/1794.58	c   Problem name     : t_HOME/instance-3740975-1338767324.opb
1794.20/1794.58	c   Variables        : 9952 (9952 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.20/1794.58	c   Constraints      : 221842 initial, 221845 maximal
1794.20/1794.58	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1794.20/1794.58	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1794.20/1794.58	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1794.20/1794.58	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1794.20/1794.58	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1794.20/1794.58	c   implics          :       0.02          0          0          0          0          0          0          0          0
1794.20/1794.58	c   probing          :       0.00          0          0          0          0          0          0          0          0
1794.20/1794.58	c   knapsack         :       0.69          0          0          0          0          0          0          0          0
1794.20/1794.58	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1794.20/1794.58	c   linear           :       0.83        100          0          0        100          0       4245          9          0
1794.20/1794.58	c   logicor          :       0.19          0          0          0          0          0         30          0          0
1794.20/1794.58	c   root node        :          -          0          -          -          0          -          -          -          -
1794.20/1794.58	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1794.20/1794.58	c   integral         :          0          0          0        272          0          0        150          0          0        482
1794.20/1794.58	c   knapsack         :      22570          5        571          0          1          0          2          6          0          0
1794.20/1794.58	c   setppc           :        365          5        571          0          1          0        212          0          0          0
1794.20/1794.58	c   linear           :          2          5        571          0          0          0          0          0          0          0
1794.20/1794.58	c   logicor          :     198905+         5        453          0          1          0      18936          0          0          0
1794.20/1794.58	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1794.20/1794.58	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1794.20/1794.58	c   integral         :    1171.07       0.00       0.00    1171.07       0.00
1794.20/1794.58	c   knapsack         :       0.39       0.05       0.34       0.00       0.00
1794.20/1794.58	c   setppc           :       0.00       0.00       0.00       0.00       0.00
1794.20/1794.58	c   linear           :       0.00       0.00       0.00       0.00       0.00
1794.20/1794.58	c   logicor          :       0.29       0.04       0.22       0.00       0.03
1794.20/1794.58	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1794.20/1794.58	c Propagators        :       Time      Calls    Cutoffs    DomReds
1794.20/1794.58	c   rootredcost      :       0.00          0          0          0
1794.20/1794.58	c   pseudoobj        :       0.17        580          0          0
1794.20/1794.58	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1794.20/1794.58	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1794.20/1794.58	c   infeasible LP    :       0.01          1          1          3       11.3          0        0.0          0
1794.20/1794.58	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1794.20/1794.58	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1794.20/1794.58	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1794.20/1794.58	c   applied globally :          -          -          -          3       11.3          -          -          -
1794.20/1794.58	c   applied locally  :          -          -          -          0        0.0          -          -          -
1794.20/1794.58	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1794.20/1794.58	c   cut pool         :       0.00          4          -          -         31          -    (maximal pool size: 377)
1794.20/1794.58	c   redcost          :       0.04        246          0          0          0          0
1794.20/1794.58	c   impliedbounds    :       0.00          5          0          0          0          0
1794.20/1794.58	c   intobj           :       0.00          0          0          0          0          0
1794.20/1794.58	c   gomory           :       6.67          5          0          0       2500          0
1794.20/1794.58	c   strongcg         :       5.94          5          0          0       2500          0
1794.20/1794.58	c   cmir             :       0.00          0          0          0          0          0
1794.20/1794.58	c   flowcover        :       0.00          0          0          0          0          0
1794.20/1794.58	c   clique           :       0.07          5          0          0         42          0
1794.20/1794.58	c   zerohalf         :       0.00          0          0          0          0          0
1794.20/1794.58	c   mcf              :       0.23          1          0          0          0          0
1794.20/1794.58	c Pricers            :       Time      Calls       Vars
1794.20/1794.58	c   problem variables:       0.00          0          0
1794.20/1794.58	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1794.20/1794.58	c   relpscost        :    1171.07        272          0        150          0          0        482
1794.20/1794.58	c   pscost           :       0.00          0          0          0          0          0          0
1794.20/1794.58	c   inference        :       0.00          1          0          0          0          0          2
1794.20/1794.58	c   mostinf          :       0.00          0          0          0          0          0          0
1794.20/1794.58	c   leastinf         :       0.00          0          0          0          0          0          0
1794.20/1794.58	c   fullstrong       :       0.00          0          0          0          0          0          0
1794.20/1794.58	c   allfullstrong    :       0.00          0          0          0          0          0          0
1794.20/1794.58	c   random           :       0.00          0          0          0          0          0          0
1794.20/1794.58	c Primal Heuristics  :       Time      Calls      Found
1794.20/1794.58	c   LP solutions     :       0.00          -          0
1794.20/1794.58	c   pseudo solutions :       0.00          -          0
1794.20/1794.58	c   simplerounding   :       0.00          0          0
1794.20/1794.58	c   rounding         :       0.00          0          0
1794.20/1794.58	c   shifting         :       0.00          0          0
1794.20/1794.58	c   intshifting      :       0.00          0          0
1794.20/1794.58	c   oneopt           :       0.00          0          0
1794.20/1794.58	c   fixandinfer      :       0.00          0          0
1794.20/1794.58	c   feaspump         :       0.00          0          0
1794.20/1794.58	c   coefdiving       :       0.00          0          0
1794.20/1794.58	c   pscostdiving     :       0.00          0          0
1794.20/1794.58	c   fracdiving       :       0.00          0          0
1794.20/1794.58	c   veclendiving     :       0.00          0          0
1794.20/1794.58	c   intdiving        :       0.00          0          0
1794.20/1794.58	c   actconsdiving    :       0.00          0          0
1794.20/1794.58	c   objpscostdiving  :       0.00          0          0
1794.20/1794.58	c   rootsoldiving    :       0.00          0          0
1794.20/1794.58	c   linesearchdiving :       0.00          0          0
1794.20/1794.58	c   guideddiving     :       0.00          0          0
1794.20/1794.58	c   octane           :       0.00          0          0
1794.20/1794.58	c   rens             :       0.00          0          0
1794.20/1794.58	c   rins             :       0.00          0          0
1794.20/1794.58	c   localbranching   :       0.00          0          0
1794.20/1794.58	c   mutation         :       0.00          0          0
1794.20/1794.58	c   crossover        :       0.00          0          0
1794.20/1794.58	c   dins             :       0.00          0          0
1794.20/1794.58	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1794.20/1794.58	c   primal LP        :       0.10          0          0       0.00       0.00
1794.20/1794.58	c   dual LP          :     595.32        279     110604     396.43     185.79
1794.20/1794.58	c   barrier LP       :       0.00          0          0       0.00          -
1794.20/1794.58	c   diving/probing LP:       0.00          0          0       0.00          -
1794.20/1794.58	c   strong branching :    1170.84       1118     176473     157.85     150.72
1794.20/1794.58	c     (at root node) :          -         23      13705     595.87          -
1794.20/1794.58	c   conflict analysis:       0.00          0          0       0.00          -
1794.20/1794.58	c B&B Tree           :
1794.20/1794.58	c   number of runs   :          1
1794.20/1794.58	c   nodes            :        243
1794.20/1794.58	c   nodes (total)    :        243
1794.20/1794.58	c   nodes left       :        242
1794.20/1794.58	c   max depth        :         24
1794.20/1794.58	c   max depth (total):         24
1794.20/1794.58	c   backtracks       :         21 (8.6%)
1794.20/1794.58	c   delayed cutoffs  :          0
1794.20/1794.58	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1794.20/1794.58	c   avg switch length:       2.38
1794.20/1794.58	c   switching time   :       0.78
1794.20/1794.58	c Solution           :
1794.20/1794.58	c   Solutions found  :          0 (0 improvements)
1794.20/1794.58	c   Primal Bound     :          -
1794.20/1794.58	c   Dual Bound       : +4.47700000000000e+02
1794.20/1794.58	c   Gap              :   infinite
1794.20/1794.58	c   Root Dual Bound  : +4.41500000000000e+02
1794.60/1794.94	c Time complete: 1794.66.

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

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 29373
/proc/meminfo: memFree=27522856/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=8552 CPUtime=0 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 1488 0 0 0 0 0 0 0 20 0 1 0 342857030 8757248 1440 33554432000 4194304 7823515 140736187796624 140734156236776 5878822 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29373/statm: 2138 1440 351 887 0 1248 0

[startup+0.092151 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29373
/proc/meminfo: memFree=27522856/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=15272 CPUtime=0.08 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 3152 0 0 0 8 0 0 0 20 0 1 0 342857030 15638528 3104 33554432000 4194304 7823515 140736187796624 140734156236776 6908062 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29373/statm: 3818 3104 351 887 0 2928 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15272

[startup+0.100253 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29373
/proc/meminfo: memFree=27522856/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=15596 CPUtime=0.09 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 3259 0 0 0 9 0 0 0 20 0 1 0 342857030 15970304 3211 33554432000 4194304 7823515 140736187796624 140734156236776 6881876 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29373/statm: 3899 3211 351 887 0 3009 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15596

[startup+0.300212 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29373
/proc/meminfo: memFree=27522856/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=26480 CPUtime=0.29 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 5961 0 0 0 28 1 0 0 20 0 1 0 342857030 27115520 5913 33554432000 4194304 7823515 140736187796624 140734156236776 6908057 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29373/statm: 6620 5914 351 887 0 5730 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26480

[startup+0.700211 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29373
/proc/meminfo: memFree=27522856/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=49696 CPUtime=0.69 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 11744 0 0 0 68 1 0 0 20 0 1 0 342857030 50888704 11696 33554432000 4194304 7823515 140736187796624 140736187662728 4529889 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29373/statm: 12424 11696 351 887 0 11534 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49696

[startup+1.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29374
/proc/meminfo: memFree=27461924/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=93900 CPUtime=1.49 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 22793 0 0 0 146 3 0 0 20 0 1 0 342857030 96153600 22745 33554432000 4194304 7823515 140736187796624 140736187662728 6908057 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29373/statm: 23475 22745 351 887 0 22585 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 93900

[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29374
/proc/meminfo: memFree=27261308/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=353936 CPUtime=3.08 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 87451 0 0 0 276 32 0 0 20 0 1 0 342857030 362430464 86499 33554432000 4194304 7823515 140736187796624 140736187793560 5875119 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/29373/statm: 88484 86499 437 887 0 87594 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 353936

[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29374
/proc/meminfo: memFree=26985780/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=595784 CPUtime=6.28 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 111807 0 0 0 583 45 0 0 20 0 1 0 342857030 610082816 138304 33554432000 4194304 7823515 140736187796624 140736187792040 6211001 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29373/statm: 148946 138304 523 887 0 148056 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 595784

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29374
/proc/meminfo: memFree=26911580/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=647040 CPUtime=12.68 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 120331 0 0 0 1219 49 0 0 20 0 1 0 342857030 662568960 153351 33554432000 4194304 7823515 140736187796624 140736187791960 6109354 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29373/statm: 161760 153351 554 887 0 160870 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 647040

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29374
/proc/meminfo: memFree=26867396/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=663300 CPUtime=25.49 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 122429 0 0 0 2496 53 0 0 20 0 1 0 342857030 679219200 159026 33554432000 4194304 7823515 140736187796624 140736187791960 6212353 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29373/statm: 165825 159026 554 887 0 164935 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 663300

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29375
/proc/meminfo: memFree=26863564/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=670236 CPUtime=51.08 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 122899 0 0 0 5054 54 0 0 20 0 1 0 342857030 686321664 160007 33554432000 4194304 7823515 140736187796624 140736187791736 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29373/statm: 167559 160007 557 887 0 166669 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 670236

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29378
/proc/meminfo: memFree=26860252/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=670236 CPUtime=102.28 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 123104 0 0 0 10170 58 0 0 20 0 1 0 342857030 686321664 160009 33554432000 4194304 7823515 140736187796624 140736187791320 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29373/statm: 167559 160009 558 887 0 166669 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 670236

[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 29378
/proc/meminfo: memFree=26851076/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=670236 CPUtime=162.27 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 123106 0 0 0 16164 63 0 0 20 0 1 0 342857030 686321664 160011 33554432000 4194304 7823515 140736187796624 140736187791320 6211638 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29373/statm: 167559 160011 558 887 0 166669 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 670236

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 29378
/proc/meminfo: memFree=26846024/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=670236 CPUtime=222.25 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 123106 0 0 0 22157 68 0 0 20 0 1 0 342857030 686321664 160011 33554432000 4194304 7823515 140736187796624 140736187791672 6212584 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29373/statm: 167559 160011 558 887 0 166669 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 670236

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29378
/proc/meminfo: memFree=26844664/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=670236 CPUtime=282.24 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 123106 0 0 0 28151 73 0 0 20 0 1 0 342857030 686321664 160011 33554432000 4194304 7823515 140736187796624 140736187791320 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29373/statm: 167559 160011 558 887 0 166669 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 670236

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29378
/proc/meminfo: memFree=26816624/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=695136 CPUtime=342.24 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 124734 0 0 0 34146 78 0 0 20 0 1 0 342857030 711819264 164705 33554432000 4194304 7823515 140736187796624 140736187791320 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29373/statm: 173784 164705 558 887 0 172894 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 695136

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29379
/proc/meminfo: memFree=26807532/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=695136 CPUtime=402.22 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 124854 0 0 0 40140 82 0 0 20 0 1 0 342857030 711819264 166866 33554432000 4194304 7823515 140736187796624 140736187791960 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29373/statm: 173784 166866 558 887 0 172894 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 695136

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29379
/proc/meminfo: memFree=26794036/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=707220 CPUtime=462.21 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 125714 0 0 0 46135 86 0 0 20 0 1 0 342857030 724193280 169718 33554432000 4194304 7823515 140736187796624 140736187791672 6211274 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29373/statm: 176805 169718 558 887 0 175915 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 707220

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29379
/proc/meminfo: memFree=26793100/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=707220 CPUtime=522.21 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 125714 0 0 0 52133 88 0 0 20 0 1 0 342857030 724193280 170077 33554432000 4194304 7823515 140736187796624 140736187791784 6234850 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29373/statm: 176805 170077 558 887 0 175915 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 707220

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29379
/proc/meminfo: memFree=26782708/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=710900 CPUtime=582.2 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 125886 0 0 0 58129 91 0 0 20 0 1 0 342857030 727961600 172121 33554432000 4194304 7823515 140736187796624 140736187791320 6212552 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29373/statm: 177725 172121 558 887 0 176835 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 710900

[startup+642.3 s]

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

/proc/meminfo: memFree=26759788/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=711092 CPUtime=1062.12 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 126389 0 0 0 106091 121 0 0 20 0 1 0 342857030 728158208 174325 33554432000 4194304 7823515 140736187796624 140736187791320 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29373/statm: 177773 174325 564 887 0 176883 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 711092

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29407
/proc/meminfo: memFree=26754068/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=711092 CPUtime=1122.11 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 126390 0 0 0 112086 125 0 0 20 0 1 0 342857030 728158208 174326 33554432000 4194304 7823515 140736187796624 140736187791320 6211142 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29373/statm: 177773 174326 564 887 0 176883 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 711092

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29407
/proc/meminfo: memFree=26754192/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=711092 CPUtime=1182.1 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 126390 0 0 0 118081 129 0 0 20 0 1 0 342857030 728158208 174326 33554432000 4194304 7823515 140736187796624 140736187791960 6234850 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29373/statm: 177773 174326 564 887 0 176883 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 711092

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29407
/proc/meminfo: memFree=26751896/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=711092 CPUtime=1242.09 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 126391 0 0 0 124076 133 0 0 20 0 1 0 342857030 728158208 174327 33554432000 4194304 7823515 140736187796624 140736187791288 6212327 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29373/statm: 177773 174327 564 887 0 176883 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 711092

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29411
/proc/meminfo: memFree=26750648/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=711852 CPUtime=1302.08 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 126551 0 0 0 130072 136 0 0 20 0 1 0 342857030 728936448 174487 33554432000 4194304 7823515 140736187796624 140736187790952 6237120 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29373/statm: 177963 174487 564 887 0 177073 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 711852

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29411
/proc/meminfo: memFree=26750904/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=711852 CPUtime=1362.07 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 126551 0 0 0 136067 140 0 0 20 0 1 0 342857030 728936448 174487 33554432000 4194304 7823515 140736187796624 140736187791960 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29373/statm: 177963 174487 564 887 0 177073 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 711852

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29411
/proc/meminfo: memFree=26750904/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=711852 CPUtime=1422.07 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 126551 0 0 0 142064 143 0 0 20 0 1 0 342857030 728936448 174487 33554432000 4194304 7823515 140736187796624 140736187791672 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29373/statm: 177963 174487 564 887 0 177073 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 711852

[startup+1482.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 29411
/proc/meminfo: memFree=26750780/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=711852 CPUtime=1482.05 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 126553 0 0 0 148059 146 0 0 20 0 1 0 342857030 728936448 174489 33554432000 4194304 7823515 140736187796624 140736187791672 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29373/statm: 177963 174489 564 887 0 177073 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 711852

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 29411
/proc/meminfo: memFree=26750840/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=711852 CPUtime=1542.04 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 126555 0 0 0 154054 150 0 0 20 0 1 0 342857030 728936448 174491 33554432000 4194304 7823515 140736187796624 140736187791672 6158101 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29373/statm: 177963 174491 564 887 0 177073 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 711852

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29412
/proc/meminfo: memFree=26750964/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=711852 CPUtime=1602.03 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 126555 0 0 0 160050 153 0 0 20 0 1 0 342857030 728936448 174491 33554432000 4194304 7823515 140736187796624 140736187791320 6211011 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29373/statm: 177963 174491 564 887 0 177073 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 711852

[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 29412
/proc/meminfo: memFree=26750840/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=711852 CPUtime=1662.02 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 126555 0 0 0 166044 158 0 0 20 0 1 0 342857030 728936448 174491 33554432000 4194304 7823515 140736187796624 140736187792312 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29373/statm: 177963 174491 564 887 0 177073 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 711852

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 29412
/proc/meminfo: memFree=26751212/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=711852 CPUtime=1722.01 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 126555 0 0 0 172040 161 0 0 20 0 1 0 342857030 728936448 174491 33554432000 4194304 7823515 140736187796624 140736187792312 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29373/statm: 177963 174491 564 887 0 177073 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 711852

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29450
/proc/meminfo: memFree=26862988/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=711852 CPUtime=1782.01 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 126555 0 0 0 178035 166 0 0 20 0 1 0 342857030 728936448 174491 33554432000 4194304 7823515 140736187796624 140736187791672 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29373/statm: 177963 174491 564 887 0 177073 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 711852

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29450
/proc/meminfo: memFree=26832964/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=711852 CPUtime=1785.2 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 126555 0 0 0 178354 166 0 0 20 0 1 0 342857030 728936448 174491 33554432000 4194304 7823515 140736187796624 140736187791784 6212552 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29373/statm: 177963 174491 564 887 0 177073 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 711852

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29450
/proc/meminfo: memFree=26814116/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=711852 CPUtime=1791.61 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 126555 0 0 0 178994 167 0 0 20 0 1 0 342857030 728936448 174491 33554432000 4194304 7823515 140736187796624 140736187791320 6110801 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29373/statm: 177963 174491 564 887 0 177073 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 711852

[startup+1793.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29450
/proc/meminfo: memFree=26814116/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=711852 CPUtime=1793.2 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 126555 0 0 0 179153 167 0 0 20 0 1 0 342857030 728936448 174491 33554432000 4194304 7823515 140736187796624 140736187791784 6212422 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29373/statm: 177963 174491 564 887 0 177073 0
Current children cumulated CPU time (s) 1793.2
Current children cumulated vsize (KiB) 711852

[startup+1794.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29450
/proc/meminfo: memFree=26814240/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=711852 CPUtime=1794 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 126555 0 0 0 179233 167 0 0 20 0 1 0 342857030 728936448 174491 33554432000 4194304 7823515 140736187796624 140736187791784 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/29373/statm: 177963 174491 564 887 0 177073 0
Current children cumulated CPU time (s) 1794
Current children cumulated vsize (KiB) 711852

[startup+1794.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29450
/proc/meminfo: memFree=26814240/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=711852 CPUtime=1794.4 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 126559 0 0 0 179273 167 0 0 20 0 1 0 342857030 728936448 174495 33554432000 4194304 7823515 140736187796624 140736187792376 4302021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29373/statm: 177963 174495 568 887 0 177073 0
Current children cumulated CPU time (s) 1794.4
Current children cumulated vsize (KiB) 711852

[startup+1794.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29450
/proc/meminfo: memFree=26814240/32873844 swapFree=7108/7108
[pid=29373] ppid=29371 vsize=559584 CPUtime=1794.6 cores=0,2,4,6
/proc/29373/stat : 29373 (pbscip.linux.x8) R 29371 29373 26990 0 -1 4202496 126560 0 0 0 179293 167 0 0 20 0 1 0 342857030 573014016 136749 33554432000 4194304 7823515 140736187796624 140736187792376 5875083 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29373/statm: 139896 136749 569 887 0 139006 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (KiB) 559584

Child status: 0
Real time (s): 1794.95
CPU time (s): 1794.66
CPU user time (s): 1792.98
CPU system time (s): 1.68074
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 711852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.98
system time used= 1.68074
maximum resident set size= 697984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126564
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= 19
involuntary context switches= 2064

runsolver used 3.03054 second user time and 8.5257 second system time

The end

Launcher Data 

Begin job on node139 at 2012-06-04 01:48:45
IDJOB=3740975
IDBENCH=89714
IDSOLVER=2321
FILE ID=node139/3740975-1338767324
RUNJOBID= node139-1338748983-27006
PBS_JOBID= 14636794
Free space on /tmp= 71072 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-47.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3740975-1338767324/watcher-3740975-1338767324 -o /tmp/evaluation-result-3740975-1338767324/solver-3740975-1338767324 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740975-1338767324.opb

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

MD5SUM BENCH= 17efc5fe25abdce41d8265867254d297
RANDOM SEED=1325642673

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27522856 kB
Buffers:          514588 kB
Cached:          3402160 kB
SwapCached:          828 kB
Active:          2315388 kB
Inactive:        2157772 kB
Active(anon):     550064 kB
Inactive(anon):     7952 kB
Active(file):    1765324 kB
Inactive(file):  2149820 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67104688 kB
Dirty:             37152 kB
Writeback:             0 kB
AnonPages:        616916 kB
Mapped:            13676 kB
Shmem:                 8 kB
Slab:             734912 kB
SReclaimable:     176992 kB
SUnreclaim:       557920 kB
KernelStack:        1472 kB
PageTables:         5368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     702612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 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= 71064 MiB
End job on node139 at 2012-06-04 02:18:40