Trace number 3740884

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)? 1793.83 1794.1

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-117.opb
MD5SUM5a894dea8c34367412bae22ac1ac0598
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark4.80927
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10238
Total number of constraints224043
Number of constraints which are clauses200340
Number of constraints which are cardinality constraints (but not clauses)998
Number of constraints which are nor clauses,nor cardinality constraints22705
Minimum length of a constraint1
Maximum length of a constraint627
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 628
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 

1.49/1.50	c SCIP version 1.1.0.7
1.49/1.50	c LP-Solver SoPlex 1.4.1
1.49/1.50	c user parameter file <scip.set> not found - using default parameters
1.49/1.50	c read problem <HOME/instance-3740884-1338766139.opb>
1.49/1.50	c original problem has 10238 variables (10238 bin, 0 int, 0 impl, 0 cont) and 224043 constraints
1.69/1.76	c No objective function, only one solution is needed.
1.69/1.76	c start presolving problem
1.69/1.76	c presolving:
2.20/2.27	c (round 1) 2941 del vars, 45937 del conss, 2940 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 121746 impls, 325 clqs
2.38/2.42	c (round 2) 3798 del vars, 83188 del conss, 2940 chg bounds, 2427 chg sides, 3024 chg coeffs, 0 upgd conss, 129838 impls, 325 clqs
2.49/2.50	c (round 3) 3853 del vars, 85933 del conss, 2940 chg bounds, 3131 chg sides, 3902 chg coeffs, 0 upgd conss, 129882 impls, 325 clqs
2.98/3.08	c (round 4) 3853 del vars, 85984 del conss, 2940 chg bounds, 3148 chg sides, 3902 chg coeffs, 138092 upgd conss, 129882 impls, 325 clqs
3.49/3.53	c (round 5) 3853 del vars, 85984 del conss, 2940 chg bounds, 3164 chg sides, 3982 chg coeffs, 138092 upgd conss, 129882 impls, 325 clqs
3.59/3.61	c presolving (6 rounds):
3.59/3.61	c  3853 deleted vars, 85984 deleted constraints, 2940 tightened bounds, 0 added holes, 3164 changed sides, 3982 changed coefficients
3.59/3.61	c  129882 implications, 325 cliques
3.59/3.61	c presolved problem has 6385 variables (6385 bin, 0 int, 0 impl, 0 cont) and 138059 constraints
3.59/3.61	c   21012 constraints of type <knapsack>
3.59/3.61	c     325 constraints of type <setppc>
3.59/3.61	c       1 constraints of type <linear>
3.59/3.61	c  116721 constraints of type <logicor>
3.59/3.61	c transformed objective value is always integral (scale: 1)
3.59/3.61	c Presolving Time: 1.59
3.59/3.61	c SATUNSAT-LIN
3.59/3.61	c -----------------------------------------------------------------------------------------------
3.59/3.61	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
3.59/3.61	c # [type: int, range: [-1,2147483647], default: 0]
3.59/3.61	c separating/flowcover/freq = c -1
3.59/3.61	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
3.59/3.61	c # [type: int, range: [-1,2147483647], default: 0]
3.59/3.61	c separating/cmir/freq = c -1
3.59/3.61	c # additional number of allowed LP iterations
3.59/3.61	c # [type: int, range: [0,2147483647], default: 1000]
3.59/3.61	c heuristics/veclendiving/maxlpiterofs = c 1500
3.59/3.61	c # maximal fraction of diving LP iterations compared to node LP iterations
3.59/3.61	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.59/3.61	c heuristics/veclendiving/maxlpiterquot = c 0.075
3.59/3.61	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
3.59/3.61	c # [type: int, range: [-1,2147483647], default: 10]
3.59/3.61	c heuristics/veclendiving/freq = c -1
3.59/3.61	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
3.59/3.61	c # [type: int, range: [-1,2147483647], default: 1]
3.59/3.61	c heuristics/simplerounding/freq = c -1
3.59/3.61	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
3.59/3.61	c # [type: int, range: [-1,2147483647], default: 10]
3.59/3.61	c heuristics/shifting/freq = c -1
3.59/3.61	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
3.59/3.61	c # [type: int, range: [-1,2147483647], default: 1]
3.59/3.61	c heuristics/rounding/freq = c -1
3.59/3.61	c # additional number of allowed LP iterations
3.59/3.61	c # [type: int, range: [0,2147483647], default: 1000]
3.59/3.61	c heuristics/rootsoldiving/maxlpiterofs = c 1500
3.59/3.61	c # maximal fraction of diving LP iterations compared to node LP iterations
3.59/3.61	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
3.59/3.61	c heuristics/rootsoldiving/maxlpiterquot = c 0.015
3.59/3.61	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
3.59/3.61	c # [type: int, range: [-1,2147483647], default: 20]
3.59/3.61	c heuristics/rootsoldiving/freq = c -1
3.59/3.61	c # number of nodes added to the contingent of the total nodes
3.59/3.61	c # [type: longint, range: [0,9223372036854775807], default: 500]
3.59/3.61	c heuristics/rens/nodesofs = c 2000
3.59/3.61	c # minimum percentage of integer variables that have to be fixable 
3.59/3.61	c # [type: real, range: [0,1], default: 0.5]
3.59/3.61	c heuristics/rens/minfixingrate = c 0.3
3.59/3.61	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
3.59/3.61	c # [type: int, range: [-1,2147483647], default: 0]
3.59/3.61	c heuristics/rens/freq = c -1
3.59/3.61	c # additional number of allowed LP iterations
3.59/3.61	c # [type: int, range: [0,2147483647], default: 1000]
3.59/3.61	c heuristics/pscostdiving/maxlpiterofs = c 1500
3.59/3.61	c # maximal fraction of diving LP iterations compared to node LP iterations
3.59/3.61	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.59/3.61	c heuristics/pscostdiving/maxlpiterquot = c 0.075
3.59/3.61	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
3.59/3.61	c # [type: int, range: [-1,2147483647], default: 10]
3.59/3.61	c heuristics/pscostdiving/freq = c -1
3.59/3.61	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
3.59/3.61	c # [type: int, range: [-1,2147483647], default: 1]
3.59/3.61	c heuristics/oneopt/freq = c -1
3.59/3.61	c # additional number of allowed LP iterations
3.59/3.61	c # [type: int, range: [0,2147483647], default: 1000]
3.59/3.61	c heuristics/objpscostdiving/maxlpiterofs = c 1500
3.59/3.61	c # maximal fraction of diving LP iterations compared to total iteration number
3.59/3.61	c # [type: real, range: [0,1], default: 0.01]
3.59/3.61	c heuristics/objpscostdiving/maxlpiterquot = c 0.015
3.59/3.61	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
3.59/3.61	c # [type: int, range: [-1,2147483647], default: 20]
3.59/3.61	c heuristics/objpscostdiving/freq = c -1
3.59/3.61	c # additional number of allowed LP iterations
3.59/3.61	c # [type: int, range: [0,2147483647], default: 1000]
3.59/3.61	c heuristics/linesearchdiving/maxlpiterofs = c 1500
3.59/3.61	c # maximal fraction of diving LP iterations compared to node LP iterations
3.59/3.61	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.59/3.61	c heuristics/linesearchdiving/maxlpiterquot = c 0.075
3.59/3.61	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
3.59/3.61	c # [type: int, range: [-1,2147483647], default: 10]
3.59/3.61	c heuristics/linesearchdiving/freq = c -1
3.59/3.61	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
3.59/3.61	c # [type: int, range: [-1,2147483647], default: 10]
3.59/3.61	c heuristics/intshifting/freq = c -1
3.59/3.61	c # maximal fraction of diving LP iterations compared to node LP iterations
3.59/3.61	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.59/3.61	c heuristics/intdiving/maxlpiterquot = c 0.075
3.59/3.61	c # additional number of allowed LP iterations
3.59/3.61	c # [type: int, range: [0,2147483647], default: 1000]
3.59/3.61	c heuristics/guideddiving/maxlpiterofs = c 1500
3.59/3.61	c # maximal fraction of diving LP iterations compared to node LP iterations
3.59/3.61	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.59/3.61	c heuristics/guideddiving/maxlpiterquot = c 0.075
3.59/3.61	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
3.59/3.61	c # [type: int, range: [-1,2147483647], default: 10]
3.59/3.61	c heuristics/guideddiving/freq = c -1
3.59/3.61	c # additional number of allowed LP iterations
3.59/3.61	c # [type: int, range: [0,2147483647], default: 1000]
3.59/3.61	c heuristics/fracdiving/maxlpiterofs = c 1500
3.59/3.61	c # maximal fraction of diving LP iterations compared to node LP iterations
3.59/3.61	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.59/3.61	c heuristics/fracdiving/maxlpiterquot = c 0.075
3.59/3.61	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
3.59/3.61	c # [type: int, range: [-1,2147483647], default: 10]
3.59/3.61	c heuristics/fracdiving/freq = c -1
3.59/3.61	c # additional number of allowed LP iterations
3.59/3.61	c # [type: int, range: [0,2147483647], default: 1000]
3.59/3.61	c heuristics/feaspump/maxlpiterofs = c 2000
3.59/3.61	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
3.59/3.61	c # [type: int, range: [-1,2147483647], default: 20]
3.59/3.61	c heuristics/feaspump/freq = c -1
3.59/3.61	c # minimum percentage of integer variables that have to be fixed 
3.59/3.61	c # [type: real, range: [0,1], default: 0.666]
3.59/3.61	c heuristics/crossover/minfixingrate = c 0.5
3.59/3.61	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
3.59/3.61	c # [type: real, range: [0,1], default: 0.1]
3.59/3.61	c heuristics/crossover/nodesquot = c 0.15
3.59/3.61	c # number of nodes without incumbent change that heuristic should wait
3.59/3.61	c # [type: longint, range: [0,9223372036854775807], default: 200]
3.59/3.61	c heuristics/crossover/nwaitingnodes = c 100
3.59/3.61	c # number of nodes added to the contingent of the total nodes
3.59/3.61	c # [type: longint, range: [0,9223372036854775807], default: 500]
3.59/3.61	c heuristics/crossover/nodesofs = c 750
3.59/3.61	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
3.59/3.61	c # [type: int, range: [-1,2147483647], default: 30]
3.59/3.61	c heuristics/crossover/freq = c -1
3.59/3.61	c # additional number of allowed LP iterations
3.59/3.61	c # [type: int, range: [0,2147483647], default: 1000]
3.59/3.61	c heuristics/coefdiving/maxlpiterofs = c 1500
3.59/3.61	c # maximal fraction of diving LP iterations compared to node LP iterations
3.59/3.61	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.59/3.61	c heuristics/coefdiving/maxlpiterquot = c 0.075
3.59/3.61	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
3.59/3.61	c # [type: int, range: [-1,2147483647], default: 10]
3.59/3.61	c heuristics/coefdiving/freq = c -1
3.59/3.61	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
3.59/3.61	c # [type: int, range: [-1,2147483647], default: -1]
3.59/3.61	c presolving/probing/maxrounds = c 0
3.59/3.61	c # should presolving try to simplify knapsacks
3.59/3.61	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.59/3.61	c constraints/knapsack/simplifyinequalities = c TRUE
3.59/3.61	c # should disaggregation of knapsack constraints be allowed in preprocessing?
3.59/3.61	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
3.59/3.61	c constraints/knapsack/disaggregation = c FALSE
3.59/3.61	c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
3.59/3.61	c # [type: int, range: [-1,2147483647], default: -1]
3.59/3.61	c constraints/knapsack/maxnumcardlift = c 0
3.59/3.61	c # should presolving try to simplify inequalities
3.59/3.61	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.59/3.61	c constraints/linear/simplifyinequalities = c TRUE
3.59/3.61	c # maximal number of separation rounds in the root node (-1: unlimited)
3.59/3.61	c # [type: int, range: [-1,2147483647], default: -1]
3.59/3.61	c separating/maxroundsroot = c 5
3.59/3.61	c # maximal number of separation rounds per node (-1: unlimited)
3.59/3.61	c # [type: int, range: [-1,2147483647], default: 5]
3.59/3.61	c separating/maxrounds = c 1
3.59/3.61	c # solving stops, if the given number of solutions were found (-1: no limit)
3.59/3.61	c # [type: int, range: [-1,2147483647], default: -1]
3.59/3.61	c limits/solutions = c 1
3.59/3.61	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.59/3.61	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.59/3.61	c limits/memory = c 13950
3.59/3.61	c # maximal time in seconds to run
3.59/3.61	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.59/3.61	c limits/time = c 1791
3.59/3.61	c # frequency for displaying node information lines
3.59/3.61	c # [type: int, range: [-1,2147483647], default: 100]
3.59/3.61	c display/freq = c 10000
3.59/3.61	c -----------------------------------------------------------------------------------------------
3.59/3.61	c start solving problem
3.59/3.61	c 
10.19/10.24	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
10.19/10.24	c   8.4s|     1 |     0 |  5661 | 237M|   0 |4635 |6385 | 138k| 138k|6385 | 138k|   0 |   0 |   0 | 1.889656e+03 |      --      |    Inf 
12.38/12.45	c  10.6s|     1 |     0 |  5712 | 237M|   0 |4626 |6385 | 138k| 138k|6385 | 138k|  14 |   0 |   0 | 1.894750e+03 |      --      |    Inf 
14.59/14.60	c  12.7s|     1 |     0 |  5778 | 238M|   0 |4583 |6385 | 138k| 138k|6385 | 138k|  32 |   0 |   0 | 1.903859e+03 |      --      |    Inf 
16.59/16.68	c  14.8s|     1 |     0 |  5861 | 239M|   0 |4606 |6385 | 138k| 138k|6385 | 138k|  49 |   0 |   0 | 1.908303e+03 |      --      |    Inf 
18.79/18.87	c  17.0s|     1 |     0 |  5938 | 240M|   0 |4547 |6385 | 138k| 138k|6385 | 138k|  70 |   0 |   0 | 1.913819e+03 |      --      |    Inf 
21.08/21.18	c  19.3s|     1 |     0 |  6033 | 240M|   0 |4541 |6385 | 138k| 138k|6385 | 138k|  88 |   0 |   0 | 1.918233e+03 |      --      |    Inf 
47.48/47.54	c  45.6s|     1 |     0 |  6036 | 240M|   0 |4544 |6385 | 138k| 138k|6385 | 138k|  88 |   0 |  27 | 1.918566e+03 |      --      |    Inf 
55.68/55.76	c  53.8s|     1 |     2 |  6036 | 240M|   0 |4544 |6385 | 138k| 138k|6385 | 138k|  88 |   0 |  44 | 1.918566e+03 |      --      |    Inf 
1793.41/1793.74	c 
1793.41/1793.74	c SCIP Status        : solving was interrupted [time limit reached]
1793.41/1793.74	c Solving Time (sec) : 1791.09
1793.41/1793.74	c Solving Nodes      : 304
1793.41/1793.74	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1793.41/1793.74	c Dual Bound         : +1.91989920634923e+03
1793.41/1793.74	c Gap                : infinite
1793.41/1793.74	c NODE         304
1793.41/1793.74	c DUAL BOUND   1919.9
1793.41/1793.74	c PRIMAL BOUND 1e+20
1793.41/1793.74	c GAP          1e+20
1793.41/1793.74	s UNKNOWN
1793.41/1793.74	c SCIP Status        : solving was interrupted [time limit reached]
1793.41/1793.74	c Solving Time       :    1791.09
1793.41/1793.74	c Original Problem   :
1793.41/1793.74	c   Problem name     : HOME/instance-3740884-1338766139.opb
1793.41/1793.74	c   Variables        : 10238 (10238 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.41/1793.74	c   Constraints      : 224043 initial, 224043 maximal
1793.41/1793.74	c Presolved Problem  :
1793.41/1793.74	c   Problem name     : t_HOME/instance-3740884-1338766139.opb
1793.41/1793.74	c   Variables        : 6385 (6385 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.41/1793.74	c   Constraints      : 138059 initial, 138059 maximal
1793.41/1793.74	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1793.41/1793.74	c   trivial          :       0.00         55          0          0          0          0          0          0          0
1793.41/1793.74	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1793.41/1793.74	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1793.41/1793.74	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1793.41/1793.74	c   implics          :       0.01          0        420          0          0          0          0          0          0
1793.41/1793.74	c   probing          :       0.00          0          0          0          0          0          0          0          0
1793.41/1793.74	c   knapsack         :       0.37          0          0          0          0          0          0         16         80
1793.41/1793.74	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1793.41/1793.74	c   linear           :       0.84       3301         77          0       2940          0      85950       3148       3902
1793.41/1793.74	c   logicor          :       0.19          0          0          0          0          0         34          0          0
1793.41/1793.74	c   root node        :          -          2          -          -          2          -          -          -          -
1793.41/1793.74	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1793.41/1793.74	c   integral         :          0          0          0        354          0          0        131          0          0        608
1793.41/1793.74	c   knapsack         :      21012          5        739          0          0          0         52          1          0          0
1793.41/1793.74	c   setppc           :        325          5        739          0          0          0        495          0          0          0
1793.41/1793.74	c   linear           :          1          5        739          0          0          0          0          0          0          0
1793.41/1793.74	c   logicor          :     116721          5        612          0          0          0       2915          0          0          0
1793.41/1793.74	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1793.41/1793.74	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1793.41/1793.74	c   integral         :    1716.18       0.00       0.00    1716.18       0.00
1793.41/1793.74	c   knapsack         :       0.60       0.07       0.53       0.00       0.00
1793.41/1793.74	c   setppc           :       0.01       0.00       0.01       0.00       0.00
1793.41/1793.74	c   linear           :       0.00       0.00       0.00       0.00       0.00
1793.41/1793.74	c   logicor          :       0.08       0.02       0.06       0.00       0.00
1793.41/1793.74	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1793.41/1793.74	c Propagators        :       Time      Calls    Cutoffs    DomReds
1793.41/1793.74	c   rootredcost      :       0.00          0          0          0
1793.41/1793.74	c   pseudoobj        :       0.27        747          0          0
1793.41/1793.74	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1793.41/1793.74	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1793.41/1793.74	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1793.41/1793.74	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1793.41/1793.74	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1793.41/1793.74	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1793.41/1793.74	c   applied globally :          -          -          -          0        0.0          -          -          -
1793.41/1793.74	c   applied locally  :          -          -          -          0        0.0          -          -          -
1793.41/1793.74	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1793.41/1793.74	c   cut pool         :       0.00          4          -          -        131          -    (maximal pool size: 959)
1793.41/1793.74	c   redcost          :       0.02        308          0          0          0          0
1793.41/1793.74	c   impliedbounds    :       0.00          5          0          0          0          0
1793.41/1793.74	c   intobj           :       0.00          0          0          0          0          0
1793.41/1793.74	c   gomory           :       3.66          5          0          0       2500          0
1793.41/1793.74	c   strongcg         :       3.61          5          0          0       2500          0
1793.41/1793.74	c   cmir             :       0.00          0          0          0          0          0
1793.41/1793.74	c   flowcover        :       0.00          0          0          0          0          0
1793.41/1793.74	c   clique           :       1.45          5          0          0         35          0
1793.41/1793.74	c   zerohalf         :       0.00          0          0          0          0          0
1793.41/1793.74	c   mcf              :       0.13          1          0          0          0          0
1793.41/1793.74	c Pricers            :       Time      Calls       Vars
1793.41/1793.74	c   problem variables:       0.00          0          0
1793.41/1793.74	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1793.41/1793.74	c   relpscost        :    1716.18        354          0        131          0          0        608
1793.41/1793.74	c   pscost           :       0.00          0          0          0          0          0          0
1793.41/1793.74	c   inference        :       0.00          0          0          0          0          0          0
1793.41/1793.74	c   mostinf          :       0.00          0          0          0          0          0          0
1793.41/1793.74	c   leastinf         :       0.00          0          0          0          0          0          0
1793.41/1793.74	c   fullstrong       :       0.00          0          0          0          0          0          0
1793.41/1793.74	c   allfullstrong    :       0.00          0          0          0          0          0          0
1793.41/1793.74	c   random           :       0.00          0          0          0          0          0          0
1793.41/1793.74	c Primal Heuristics  :       Time      Calls      Found
1793.41/1793.74	c   LP solutions     :       0.00          -          0
1793.41/1793.74	c   pseudo solutions :       0.00          -          0
1793.41/1793.74	c   simplerounding   :       0.00          0          0
1793.41/1793.74	c   rounding         :       0.00          0          0
1793.41/1793.74	c   shifting         :       0.00          0          0
1793.41/1793.74	c   intshifting      :       0.00          0          0
1793.41/1793.74	c   oneopt           :       0.00          0          0
1793.41/1793.74	c   fixandinfer      :       0.00          0          0
1793.41/1793.74	c   feaspump         :       0.00          0          0
1793.41/1793.74	c   coefdiving       :       0.00          0          0
1793.41/1793.74	c   pscostdiving     :       0.00          0          0
1793.41/1793.74	c   fracdiving       :       0.00          0          0
1793.41/1793.74	c   veclendiving     :       0.00          0          0
1793.41/1793.74	c   intdiving        :       0.00          0          0
1793.41/1793.74	c   actconsdiving    :       0.00          0          0
1793.41/1793.74	c   objpscostdiving  :       0.00          0          0
1793.41/1793.74	c   rootsoldiving    :       0.00          0          0
1793.41/1793.74	c   linesearchdiving :       0.00          0          0
1793.41/1793.74	c   guideddiving     :       0.00          0          0
1793.41/1793.74	c   octane           :       0.00          0          0
1793.41/1793.74	c   rens             :       0.00          0          0
1793.41/1793.74	c   rins             :       0.00          0          0
1793.41/1793.74	c   localbranching   :       0.00          0          0
1793.41/1793.74	c   mutation         :       0.00          0          0
1793.41/1793.74	c   crossover        :       0.00          0          0
1793.41/1793.74	c   dins             :       0.00          0          0
1793.41/1793.74	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1793.41/1793.74	c   primal LP        :       0.09          0          0       0.00       0.00
1793.41/1793.74	c   dual LP          :      56.42        359       7794      21.71     138.14
1793.41/1793.74	c   barrier LP       :       0.00          0          0       0.00          -
1793.41/1793.74	c   diving/probing LP:       0.00          0          0       0.00          -
1793.41/1793.74	c   strong branching :    1715.96       6905      54343       7.87      31.67
1793.41/1793.74	c     (at root node) :          -         44       7217     164.02          -
1793.41/1793.74	c   conflict analysis:       0.00          0          0       0.00          -
1793.41/1793.74	c B&B Tree           :
1793.41/1793.74	c   number of runs   :          1
1793.41/1793.74	c   nodes            :        304
1793.41/1793.74	c   nodes (total)    :        304
1793.41/1793.74	c   nodes left       :        305
1793.41/1793.74	c   max depth        :        302
1793.41/1793.74	c   max depth (total):        302
1793.41/1793.74	c   backtracks       :          2 (0.7%)
1793.41/1793.74	c   delayed cutoffs  :          0
1793.41/1793.74	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1793.41/1793.74	c   avg switch length:       1.06
1793.41/1793.74	c   switching time   :       0.58
1793.41/1793.74	c Solution           :
1793.41/1793.74	c   Solutions found  :          0 (0 improvements)
1793.41/1793.74	c   Primal Bound     :          -
1793.41/1793.74	c   Dual Bound       : +1.91989920634923e+03
1793.41/1793.74	c   Gap              :   infinite
1793.41/1793.74	c   Root Dual Bound  : +1.91856587301589e+03
1793.72/1794.10	c Time complete: 1793.81.

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-3740884-1338766139/watcher-3740884-1338766139 -o /tmp/evaluation-result-3740884-1338766139/solver-3740884-1338766139 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740884-1338766139.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 14219
/proc/meminfo: memFree=23081392/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=8840 CPUtime=0 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 1547 0 0 0 0 0 0 0 20 0 1 0 342741178 9052160 1499 33554432000 4194304 7823515 140737285158640 140736065310632 6884213 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 2210 1500 351 887 0 1320 0

[startup+0.080612 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14219
/proc/meminfo: memFree=23081392/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=15224 CPUtime=0.07 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 3169 0 0 0 7 0 0 0 20 0 1 0 342741178 15589376 3121 33554432000 4194304 7823515 140737285158640 140736065310632 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 3806 3121 351 887 0 2916 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15224

[startup+0.100299 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14219
/proc/meminfo: memFree=23081392/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=16048 CPUtime=0.09 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 3345 0 0 0 9 0 0 0 20 0 1 0 342741178 16433152 3297 33554432000 4194304 7823515 140737285158640 140736065310632 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 4012 3297 351 887 0 3122 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16048

[startup+0.300259 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14219
/proc/meminfo: memFree=23081392/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=29548 CPUtime=0.29 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 6719 0 0 0 28 1 0 0 20 0 1 0 342741178 30257152 6671 33554432000 4194304 7823515 140737285158640 140737285024744 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 7387 6671 351 887 0 6497 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29548

[startup+0.700258 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14219
/proc/meminfo: memFree=23081392/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=53020 CPUtime=0.69 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 12606 0 0 0 67 2 0 0 20 0 1 0 342741178 54292480 12558 33554432000 4194304 7823515 140737285158640 140737285024744 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 13255 12558 351 887 0 12365 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53020

[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14220
/proc/meminfo: memFree=23014588/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=101084 CPUtime=1.49 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 24622 0 0 0 146 3 0 0 20 0 1 0 342741178 103510016 24573 33554432000 4194304 7823515 140737285158640 140737285024744 6962503 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 25271 24573 351 887 0 24381 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 101084

[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14220
/proc/meminfo: memFree=22815560/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=332784 CPUtime=3.08 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 79321 0 0 0 278 30 0 0 20 0 1 0 342741178 340770816 80624 33554432000 4194304 7823515 140737285158640 140737285156264 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 83196 80624 448 887 0 82306 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 332784

[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14220
/proc/meminfo: memFree=22625100/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=501456 CPUtime=6.29 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 103839 0 0 0 590 39 0 0 20 0 1 0 342741178 513490944 116066 33554432000 4194304 7823515 140737285158640 140737285153976 6243003 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 125364 116066 527 887 0 124474 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 501456

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14220
/proc/meminfo: memFree=22586012/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=533220 CPUtime=12.69 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 112570 0 0 0 1227 42 0 0 20 0 1 0 342741178 546017280 126109 33554432000 4194304 7823515 140737285158640 140737285154648 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 133305 126109 558 887 0 132415 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 533220

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14220
/proc/meminfo: memFree=22517532/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=588280 CPUtime=25.49 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 115935 0 0 0 2504 45 0 0 20 0 1 0 342741178 602398720 141274 33554432000 4194304 7823515 140737285158640 140737285153336 6236677 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 147070 141274 561 887 0 146180 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 588280

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14220
/proc/meminfo: memFree=22515400/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=588492 CPUtime=51.08 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 116121 0 0 0 5061 47 0 0 20 0 1 0 342741178 602615808 141460 33554432000 4194304 7823515 140737285158640 140737285152968 6109349 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 147123 141460 561 887 0 146233 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 588492

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14223
/proc/meminfo: memFree=22515188/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=588492 CPUtime=102.28 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 116138 0 0 0 10179 49 0 0 20 0 1 0 342741178 602615808 141477 33554432000 4194304 7823515 140737285158640 140737285152968 6157624 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 147123 141477 562 887 0 146233 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 588492

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14223
/proc/meminfo: memFree=22505304/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=588492 CPUtime=162.27 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 116139 0 0 0 16177 50 0 0 20 0 1 0 342741178 602615808 141478 33554432000 4194304 7823515 140737285158640 140737285152968 6099168 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 147123 141478 562 887 0 146233 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 588492

[startup+222.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 14223
/proc/meminfo: memFree=22505084/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=588492 CPUtime=222.25 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 116139 0 0 0 22174 51 0 0 20 0 1 0 342741178 602615808 141478 33554432000 4194304 7823515 140737285158640 140737285152968 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 147123 141478 562 887 0 146233 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 588492

[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 14224
/proc/meminfo: memFree=22498964/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=588492 CPUtime=282.24 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 116140 0 0 0 28172 52 0 0 20 0 1 0 342741178 602615808 141479 33554432000 4194304 7823515 140737285158640 140737285152968 6234850 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 147123 141479 562 887 0 146233 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 588492

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14225
/proc/meminfo: memFree=22496084/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=588492 CPUtime=342.24 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 116140 0 0 0 34170 54 0 0 20 0 1 0 342741178 602615808 141479 33554432000 4194304 7823515 140737285158640 140737285152968 6234848 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 147123 141479 562 887 0 146233 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 588492

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14225
/proc/meminfo: memFree=22495864/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=588492 CPUtime=402.23 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 116142 0 0 0 40168 55 0 0 20 0 1 0 342741178 602615808 141481 33554432000 4194304 7823515 140737285158640 140737285153848 6234850 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 147123 141481 562 887 0 146233 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 588492

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14225
/proc/meminfo: memFree=22490804/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=588492 CPUtime=462.22 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 116142 0 0 0 46166 56 0 0 20 0 1 0 342741178 602615808 141481 33554432000 4194304 7823515 140737285158640 140737285152968 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 147123 141481 562 887 0 146233 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 588492

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14225
/proc/meminfo: memFree=22501940/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=588492 CPUtime=522.21 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 116143 0 0 0 52162 59 0 0 20 0 1 0 342741178 602615808 141482 33554432000 4194304 7823515 140737285158640 140737285153800 6234850 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 147123 141482 562 887 0 146233 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 588492

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14225
/proc/meminfo: memFree=22500356/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=588492 CPUtime=582.2 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 116143 0 0 0 58160 60 0 0 20 0 1 0 342741178 602615808 141482 33554432000 4194304 7823515 140737285158640 140737285152968 6157766 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 147123 141482 562 887 0 146233 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 588492

[startup+642.3 s]

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

/proc/meminfo: memFree=14267256/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=588492 CPUtime=1122.11 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 116158 0 0 0 112136 75 0 0 20 0 1 0 342741178 602615808 143194 33554432000 4194304 7823515 140737285158640 140737285152968 6237120 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 147123 143194 562 887 0 146233 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 588492

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14269
/proc/meminfo: memFree=14267300/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=588492 CPUtime=1182.1 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 116158 0 0 0 118134 76 0 0 20 0 1 0 342741178 602615808 143194 33554432000 4194304 7823515 140737285158640 140737285153848 6234850 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 147123 143194 562 887 0 146233 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 588492

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14270
/proc/meminfo: memFree=14267064/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=588492 CPUtime=1242.1 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 116158 0 0 0 124133 77 0 0 20 0 1 0 342741178 602615808 143194 33554432000 4194304 7823515 140737285158640 140737285153016 6234680 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 147123 143194 562 887 0 146233 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 588492

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14273
/proc/meminfo: memFree=14266732/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=588492 CPUtime=1302.09 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 116158 0 0 0 130131 78 0 0 20 0 1 0 342741178 602615808 143194 33554432000 4194304 7823515 140737285158640 140737285153848 6234848 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 147123 143194 562 887 0 146233 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 588492

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14273
/proc/meminfo: memFree=14267264/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=588492 CPUtime=1362.08 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 116158 0 0 0 136128 80 0 0 20 0 1 0 342741178 602615808 143194 33554432000 4194304 7823515 140737285158640 140737285152968 6234848 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 147123 143194 562 887 0 146233 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 588492

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14273
/proc/meminfo: memFree=14267416/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=588492 CPUtime=1422.07 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 116158 0 0 0 142126 81 0 0 20 0 1 0 342741178 602615808 143194 33554432000 4194304 7823515 140737285158640 140737285152968 6099042 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 147123 143194 562 887 0 146233 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 588492

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14273
/proc/meminfo: memFree=14267584/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=588492 CPUtime=1482.06 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 116158 0 0 0 148124 82 0 0 20 0 1 0 342741178 602615808 143194 33554432000 4194304 7823515 140737285158640 140737285153800 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 147123 143194 562 887 0 146233 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 588492

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14274
/proc/meminfo: memFree=14267472/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=588492 CPUtime=1542.05 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 116168 0 0 0 154121 84 0 0 20 0 1 0 342741178 602615808 143204 33554432000 4194304 7823515 140737285158640 140737285153752 6234848 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 147123 143204 562 887 0 146233 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 588492

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14274
/proc/meminfo: memFree=14267640/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=588492 CPUtime=1602.04 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 116168 0 0 0 160118 86 0 0 20 0 1 0 342741178 602615808 143204 33554432000 4194304 7823515 140737285158640 140737285152968 6234848 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 147123 143204 562 887 0 146233 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 588492

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14274
/proc/meminfo: memFree=14267404/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=588492 CPUtime=1662.03 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 116168 0 0 0 166116 87 0 0 20 0 1 0 342741178 602615808 143204 33554432000 4194304 7823515 140737285158640 140737285153800 5994911 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 147123 143204 562 887 0 146233 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 588492

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14274
/proc/meminfo: memFree=14267448/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=588492 CPUtime=1722.03 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 116168 0 0 0 172114 89 0 0 20 0 1 0 342741178 602615808 143204 33554432000 4194304 7823515 140737285158640 140737285153848 6234850 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 147123 143204 562 887 0 146233 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 588492

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14274
/proc/meminfo: memFree=14267104/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=588492 CPUtime=1782.02 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 116168 0 0 0 178112 90 0 0 20 0 1 0 342741178 602615808 143204 33554432000 4194304 7823515 140737285158640 140737285152968 6911817 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 147123 143204 562 887 0 146233 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 588492

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 14274
/proc/meminfo: memFree=14267088/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=588492 CPUtime=1785.21 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 116168 0 0 0 178431 90 0 0 20 0 1 0 342741178 602615808 143204 33554432000 4194304 7823515 140737285158640 140737285152968 6234801 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 147123 143204 562 887 0 146233 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 588492

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14274
/proc/meminfo: memFree=14267460/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=588492 CPUtime=1788.41 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 116168 0 0 0 178751 90 0 0 20 0 1 0 342741178 602615808 143204 33554432000 4194304 7823515 140737285158640 140737285153800 6236722 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 147123 143204 562 887 0 146233 0
Current children cumulated CPU time (s) 1788.41
Current children cumulated vsize (KiB) 588492

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14274
/proc/meminfo: memFree=14267336/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=588492 CPUtime=1791.62 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 116168 0 0 0 179072 90 0 0 20 0 1 0 342741178 602615808 143204 33554432000 4194304 7823515 140737285158640 140737285152968 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 147123 143204 562 887 0 146233 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 588492

[startup+1792.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14274
/proc/meminfo: memFree=14267336/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=588492 CPUtime=1792.41 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 116168 0 0 0 179151 90 0 0 20 0 1 0 342741178 602615808 143204 33554432000 4194304 7823515 140737285158640 140737285153752 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 147123 143204 562 887 0 146233 0
Current children cumulated CPU time (s) 1792.41
Current children cumulated vsize (KiB) 588492

[startup+1793.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14274
/proc/meminfo: memFree=14267320/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=588492 CPUtime=1793.21 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 116168 0 0 0 179231 90 0 0 20 0 1 0 342741178 602615808 143204 33554432000 4194304 7823515 140737285158640 140737285152968 6110789 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 147123 143204 562 887 0 146233 0
Current children cumulated CPU time (s) 1793.21
Current children cumulated vsize (KiB) 588492

[startup+1793.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14274
/proc/meminfo: memFree=14267320/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=588492 CPUtime=1793.61 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 116172 0 0 0 179271 90 0 0 20 0 1 0 342741178 602615808 143208 33554432000 4194304 7823515 140737285158640 140737285152968 5875920 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 147123 143208 566 887 0 146233 0
Current children cumulated CPU time (s) 1793.61
Current children cumulated vsize (KiB) 588492

[startup+1794 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14274
/proc/meminfo: memFree=14267320/32873648 swapFree=6852/6852
[pid=14219] ppid=14217 vsize=588492 CPUtime=1793.72 cores=0,2,4,6
/proc/14219/stat : 14219 (pbscip.linux.x8) R 14217 14219 12217 0 -1 4202496 116173 0 0 0 179282 90 0 0 20 0 1 0 342741178 602615808 143209 33554432000 4194304 7823515 140737285158640 140737285154152 4802801 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14219/statm: 147123 143209 567 887 0 146233 0
Current children cumulated CPU time (s) 1793.72
Current children cumulated vsize (KiB) 588492

Child status: 0
Real time (s): 1794.1
CPU time (s): 1793.83
CPU user time (s): 1792.91
CPU system time (s): 0.91686
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 588492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.91
system time used= 0.91686
maximum resident set size= 572836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116178
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= 11
involuntary context switches= 2023

runsolver used 2.91256 second user time and 7.09892 second system time

The end

Launcher Data 

Begin job on node112 at 2012-06-04 01:28:59
IDJOB=3740884
IDBENCH=89669
IDSOLVER=2321
FILE ID=node112/3740884-1338766139
RUNJOBID= node112-1338748093-12233
PBS_JOBID= 14636784
Free space on /tmp= 71196 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-117.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-3740884-1338766139/watcher-3740884-1338766139 -o /tmp/evaluation-result-3740884-1338766139/solver-3740884-1338766139 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740884-1338766139.opb

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

MD5SUM BENCH= 5a894dea8c34367412bae22ac1ac0598
RANDOM SEED=811713849

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.763
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.763
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.763
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.92
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.763
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.763
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:        23081392 kB
Buffers:          555052 kB
Cached:          6012952 kB
SwapCached:            0 kB
Active:          4126500 kB
Inactive:        4792272 kB
Active(anon):    2339672 kB
Inactive(anon):    10924 kB
Active(file):    1786828 kB
Inactive(file):  4781348 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             18884 kB
Writeback:            28 kB
AnonPages:       2355140 kB
Mapped:            16652 kB
Shmem:               200 kB
Slab:             731864 kB
SReclaimable:     175420 kB
SUnreclaim:       556444 kB
KernelStack:        1448 kB
PageTables:         8636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    2492096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     81920 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= 70848 MiB
End job on node112 at 2012-06-04 01:58:53