Trace number 3690616

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
SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed? (TO) 1802.05 1802.34

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-123.opb
MD5SUMe6dc64843ebe4c9cb8812bfa08aa0858
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 variables36611
Total number of constraints853935
Number of constraints which are clauses766797
Number of constraints which are cardinality constraints (but not clauses)2865
Number of constraints which are nor clauses,nor cardinality constraints84273
Minimum length of a constraint1
Maximum length of a constraint756
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 757
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00	c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3690616-1338024265.opb>
2.20/2.29	c original problem has 36611 variables (36611 bin, 0 int, 0 impl, 0 cont) and 853935 constraints
2.20/2.29	c problem read in 2.29
2.29/2.33	c No objective function, only one solution is needed.
2.29/2.33	c presolving settings loaded
5.39/5.45	c presolving:
9.49/9.51	c (round 1) 7530 del vars, 136260 del conss, 0 add conss, 7530 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 452674 impls, 1192 clqs
10.59/10.67	c (round 2) 9468 del vars, 236968 del conss, 0 add conss, 7530 chg bounds, 4074 chg sides, 5544 chg coeffs, 0 upgd conss, 478276 impls, 1192 clqs
11.38/11.45	c (round 3) 9532 del vars, 241435 del conss, 0 add conss, 7530 chg bounds, 4753 chg sides, 6468 chg coeffs, 0 upgd conss, 478294 impls, 1192 clqs
16.88/16.90	c (round 4) 9532 del vars, 241476 del conss, 0 add conss, 7530 chg bounds, 4760 chg sides, 6468 chg coeffs, 612746 upgd conss, 478294 impls, 1192 clqs
18.78/18.89	c (round 5) 9532 del vars, 241731 del conss, 0 add conss, 7530 chg bounds, 4809 chg sides, 6566 chg coeffs, 612746 upgd conss, 478294 impls, 1192 clqs
25.28/25.36	c presolving (6 rounds):
25.28/25.36	c  9532 deleted vars, 241731 deleted constraints, 0 added constraints, 7530 tightened bounds, 0 added holes, 4809 changed sides, 6566 changed coefficients
25.28/25.36	c  478294 implications, 1192 cliques
25.28/25.36	c presolved problem has 27079 variables (27079 bin, 0 int, 0 impl, 0 cont) and 612204 constraints
25.28/25.36	c   82250 constraints of type <knapsack>
25.28/25.36	c   97627 constraints of type <setppc>
25.28/25.36	c       2 constraints of type <linear>
25.28/25.36	c  432325 constraints of type <logicor>
25.28/25.36	c transformed objective value is always integral (scale: 1)
25.28/25.36	c Presolving Time: 22.41
25.28/25.36	c - non default parameters ----------------------------------------------------------------------
25.28/25.36	c # SCIP version 2.1.1.4
25.28/25.36	c 
25.28/25.36	c # maximal time in seconds to run
25.28/25.36	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
25.28/25.36	c limits/time = 1797
25.28/25.36	c 
25.28/25.36	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
25.28/25.36	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
25.28/25.36	c limits/memory = 13950
25.28/25.36	c 
25.28/25.36	c # solving stops, if the given number of solutions were found (-1: no limit)
25.28/25.36	c # [type: int, range: [-1,2147483647], default: -1]
25.28/25.36	c limits/solutions = 1
25.28/25.36	c 
25.28/25.36	c # maximal number of separation rounds per node (-1: unlimited)
25.28/25.36	c # [type: int, range: [-1,2147483647], default: 5]
25.28/25.36	c separating/maxrounds = 1
25.28/25.36	c 
25.28/25.36	c # maximal number of separation rounds in the root node (-1: unlimited)
25.28/25.36	c # [type: int, range: [-1,2147483647], default: -1]
25.28/25.36	c separating/maxroundsroot = 5
25.28/25.36	c 
25.28/25.36	c # default clock type (1: CPU user seconds, 2: wall clock time)
25.28/25.36	c # [type: int, range: [1,2], default: 1]
25.28/25.36	c timing/clocktype = 2
25.28/25.36	c 
25.28/25.36	c # belongs reading time to solving time?
25.28/25.36	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
25.28/25.36	c timing/reading = TRUE
25.28/25.36	c 
25.28/25.36	c # should disaggregation of knapsack constraints be allowed in preprocessing?
25.28/25.36	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
25.28/25.36	c constraints/knapsack/disaggregation = FALSE
25.28/25.36	c 
25.28/25.36	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
25.28/25.36	c # [type: int, range: [-1,2147483647], default: 10]
25.28/25.36	c heuristics/coefdiving/freq = -1
25.28/25.36	c 
25.28/25.36	c # maximal fraction of diving LP iterations compared to node LP iterations
25.28/25.36	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
25.28/25.36	c heuristics/coefdiving/maxlpiterquot = 0.075
25.28/25.36	c 
25.28/25.36	c # additional number of allowed LP iterations
25.28/25.36	c # [type: int, range: [0,2147483647], default: 1000]
25.28/25.36	c heuristics/coefdiving/maxlpiterofs = 1500
25.28/25.36	c 
25.28/25.36	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
25.28/25.36	c # [type: int, range: [-1,2147483647], default: 30]
25.28/25.36	c heuristics/crossover/freq = -1
25.28/25.36	c 
25.28/25.36	c # number of nodes added to the contingent of the total nodes
25.28/25.36	c # [type: longint, range: [0,9223372036854775807], default: 500]
25.28/25.36	c heuristics/crossover/nodesofs = 750
25.28/25.36	c 
25.28/25.36	c # number of nodes without incumbent change that heuristic should wait
25.28/25.36	c # [type: longint, range: [0,9223372036854775807], default: 200]
25.28/25.36	c heuristics/crossover/nwaitingnodes = 100
25.28/25.36	c 
25.28/25.36	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
25.28/25.36	c # [type: real, range: [0,1], default: 0.1]
25.28/25.36	c heuristics/crossover/nodesquot = 0.15
25.28/25.36	c 
25.28/25.36	c # minimum percentage of integer variables that have to be fixed 
25.28/25.36	c # [type: real, range: [0,1], default: 0.666]
25.28/25.36	c heuristics/crossover/minfixingrate = 0.5
25.28/25.36	c 
25.28/25.36	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
25.28/25.36	c # [type: int, range: [-1,2147483647], default: 20]
25.28/25.36	c heuristics/feaspump/freq = -1
25.28/25.36	c 
25.28/25.36	c # additional number of allowed LP iterations
25.28/25.36	c # [type: int, range: [0,2147483647], default: 1000]
25.28/25.36	c heuristics/feaspump/maxlpiterofs = 2000
25.28/25.36	c 
25.28/25.36	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
25.28/25.36	c # [type: int, range: [-1,2147483647], default: 10]
25.28/25.36	c heuristics/fracdiving/freq = -1
25.28/25.36	c 
25.28/25.36	c # maximal fraction of diving LP iterations compared to node LP iterations
25.28/25.36	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
25.28/25.36	c heuristics/fracdiving/maxlpiterquot = 0.075
25.28/25.36	c 
25.28/25.36	c # additional number of allowed LP iterations
25.28/25.36	c # [type: int, range: [0,2147483647], default: 1000]
25.28/25.36	c heuristics/fracdiving/maxlpiterofs = 1500
25.28/25.36	c 
25.28/25.36	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
25.28/25.36	c # [type: int, range: [-1,2147483647], default: 10]
25.28/25.36	c heuristics/guideddiving/freq = -1
25.28/25.36	c 
25.28/25.36	c # maximal fraction of diving LP iterations compared to node LP iterations
25.28/25.36	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
25.28/25.36	c heuristics/guideddiving/maxlpiterquot = 0.075
25.28/25.36	c 
25.28/25.36	c # additional number of allowed LP iterations
25.28/25.36	c # [type: int, range: [0,2147483647], default: 1000]
25.28/25.36	c heuristics/guideddiving/maxlpiterofs = 1500
25.28/25.36	c 
25.28/25.36	c # maximal fraction of diving LP iterations compared to node LP iterations
25.28/25.36	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
25.28/25.36	c heuristics/intdiving/maxlpiterquot = 0.075
25.28/25.36	c 
25.28/25.36	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
25.28/25.36	c # [type: int, range: [-1,2147483647], default: 10]
25.28/25.36	c heuristics/intshifting/freq = -1
25.28/25.36	c 
25.28/25.36	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
25.28/25.36	c # [type: int, range: [-1,2147483647], default: 10]
25.28/25.36	c heuristics/linesearchdiving/freq = -1
25.28/25.36	c 
25.28/25.36	c # maximal fraction of diving LP iterations compared to node LP iterations
25.28/25.36	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
25.28/25.36	c heuristics/linesearchdiving/maxlpiterquot = 0.075
25.28/25.36	c 
25.28/25.36	c # additional number of allowed LP iterations
25.28/25.36	c # [type: int, range: [0,2147483647], default: 1000]
25.28/25.36	c heuristics/linesearchdiving/maxlpiterofs = 1500
25.28/25.36	c 
25.28/25.36	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
25.28/25.36	c # [type: int, range: [-1,2147483647], default: 20]
25.28/25.36	c heuristics/objpscostdiving/freq = -1
25.28/25.36	c 
25.28/25.36	c # maximal fraction of diving LP iterations compared to total iteration number
25.28/25.36	c # [type: real, range: [0,1], default: 0.01]
25.28/25.36	c heuristics/objpscostdiving/maxlpiterquot = 0.015
25.28/25.36	c 
25.28/25.36	c # additional number of allowed LP iterations
25.28/25.36	c # [type: int, range: [0,2147483647], default: 1000]
25.28/25.36	c heuristics/objpscostdiving/maxlpiterofs = 1500
25.28/25.36	c 
25.28/25.36	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
25.28/25.36	c # [type: int, range: [-1,2147483647], default: 1]
25.28/25.36	c heuristics/oneopt/freq = -1
25.28/25.36	c 
25.28/25.36	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
25.28/25.36	c # [type: int, range: [-1,2147483647], default: 10]
25.28/25.36	c heuristics/pscostdiving/freq = -1
25.28/25.36	c 
25.28/25.36	c # maximal fraction of diving LP iterations compared to node LP iterations
25.28/25.36	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
25.28/25.36	c heuristics/pscostdiving/maxlpiterquot = 0.075
25.28/25.36	c 
25.28/25.36	c # additional number of allowed LP iterations
25.28/25.36	c # [type: int, range: [0,2147483647], default: 1000]
25.28/25.36	c heuristics/pscostdiving/maxlpiterofs = 1500
25.28/25.36	c 
25.28/25.36	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
25.28/25.36	c # [type: int, range: [-1,2147483647], default: 0]
25.28/25.36	c heuristics/rens/freq = -1
25.28/25.36	c 
25.28/25.36	c # minimum percentage of integer variables that have to be fixable 
25.28/25.36	c # [type: real, range: [0,1], default: 0.5]
25.28/25.36	c heuristics/rens/minfixingrate = 0.3
25.28/25.36	c 
25.28/25.36	c # number of nodes added to the contingent of the total nodes
25.28/25.36	c # [type: longint, range: [0,9223372036854775807], default: 500]
25.28/25.36	c heuristics/rens/nodesofs = 2000
25.28/25.36	c 
25.28/25.36	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
25.28/25.36	c # [type: int, range: [-1,2147483647], default: 20]
25.28/25.36	c heuristics/rootsoldiving/freq = -1
25.28/25.36	c 
25.28/25.36	c # maximal fraction of diving LP iterations compared to node LP iterations
25.28/25.36	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
25.28/25.36	c heuristics/rootsoldiving/maxlpiterquot = 0.015
25.28/25.36	c 
25.28/25.36	c # additional number of allowed LP iterations
25.28/25.36	c # [type: int, range: [0,2147483647], default: 1000]
25.28/25.36	c heuristics/rootsoldiving/maxlpiterofs = 1500
25.28/25.36	c 
25.28/25.36	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
25.28/25.36	c # [type: int, range: [-1,2147483647], default: 1]
25.28/25.36	c heuristics/rounding/freq = -1
25.28/25.36	c 
25.28/25.36	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
25.28/25.36	c # [type: int, range: [-1,2147483647], default: 0]
25.28/25.36	c heuristics/shiftandpropagate/freq = -1
25.28/25.36	c 
25.28/25.36	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
25.28/25.36	c # [type: int, range: [-1,2147483647], default: 10]
25.28/25.36	c heuristics/shifting/freq = -1
25.28/25.36	c 
25.28/25.36	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
25.28/25.36	c # [type: int, range: [-1,2147483647], default: 1]
25.28/25.36	c heuristics/simplerounding/freq = -1
25.28/25.36	c 
25.28/25.36	c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
25.28/25.36	c # [type: int, range: [-1,2147483647], default: 1]
25.28/25.36	c heuristics/subnlp/freq = -1
25.28/25.36	c 
25.28/25.36	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
25.28/25.36	c # [type: int, range: [-1,2147483647], default: 0]
25.28/25.36	c heuristics/trivial/freq = -1
25.28/25.36	c 
25.28/25.36	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
25.28/25.36	c # [type: int, range: [-1,2147483647], default: 1]
25.28/25.36	c heuristics/trysol/freq = -1
25.28/25.36	c 
25.28/25.36	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
25.28/25.36	c # [type: int, range: [-1,2147483647], default: 0]
25.28/25.36	c heuristics/undercover/freq = -1
25.28/25.36	c 
25.28/25.36	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
25.28/25.36	c # [type: int, range: [-1,2147483647], default: 10]
25.28/25.36	c heuristics/veclendiving/freq = -1
25.28/25.36	c 
25.28/25.36	c # maximal fraction of diving LP iterations compared to node LP iterations
25.28/25.36	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
25.28/25.36	c heuristics/veclendiving/maxlpiterquot = 0.075
25.28/25.36	c 
25.28/25.36	c # additional number of allowed LP iterations
25.28/25.36	c # [type: int, range: [0,2147483647], default: 1000]
25.28/25.36	c heuristics/veclendiving/maxlpiterofs = 1500
25.28/25.36	c 
25.28/25.36	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
25.28/25.36	c # [type: int, range: [-1,2147483647], default: 1]
25.28/25.36	c heuristics/zirounding/freq = -1
25.28/25.36	c 
25.28/25.36	c # maximal number of presolving rounds the propagator participates in (-1: no limit)
25.28/25.36	c # [type: int, range: [-1,2147483647], default: -1]
25.28/25.36	c propagating/probing/maxprerounds = 0
25.28/25.36	c 
25.28/25.36	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
25.28/25.36	c # [type: int, range: [-1,2147483647], default: 0]
25.28/25.36	c separating/cmir/freq = -1
25.28/25.36	c 
25.28/25.36	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
25.28/25.36	c # [type: int, range: [-1,2147483647], default: 0]
25.28/25.36	c separating/flowcover/freq = -1
25.28/25.36	c 
25.28/25.36	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
25.28/25.36	c # [type: int, range: [-1,2147483647], default: -1]
25.28/25.36	c separating/rapidlearning/freq = 0
25.28/25.36	c 
25.28/25.36	c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
25.28/25.36	c # [type: int, range: [-1,2147483647], default: 1]
25.28/25.36	c heuristics/indoneopt/freq = -1
25.28/25.36	c 
25.28/25.36	c -----------------------------------------------------------------------------------------------
25.28/25.36	c start solving
25.28/25.39	c 
44.78/44.89	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
44.78/44.89	c  44.8s|     1 |     0 |  5942 |     - |1053M|   0 | 650 |  27k| 612k|  27k| 612k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
52.18/52.20	c  52.2s|     1 |     0 |  6038 |     - |1053M|   0 | 526 |  27k| 612k|  27k| 612k|  18 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
67.47/67.54	c  67.5s|     1 |     0 |  7677 |     - |1053M|   0 |1617 |  27k| 612k|  27k| 612k|  25 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
87.37/87.45	c  87.4s|     1 |     0 |  9549 |     - |1054M|   0 |3063 |  27k| 612k|  27k| 612k|  40 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
125.76/125.82	c   126s|     1 |     0 | 11941 |     - |1054M|   0 |2716 |  27k| 612k|  27k| 612k|  56 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
150.26/150.32	c   150s|     1 |     0 | 12791 |     - |1055M|   0 |3325 |  27k| 612k|  27k| 612k|  67 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
225.14/225.25	c   225s|     1 |     2 | 12791 |     - |1055M|   0 |3325 |  27k| 612k|  27k| 612k|  67 |   0 |  19 | 0.000000e+00 |      --      |    Inf 
1800.50/1800.86	c 
1800.50/1800.86	c SCIP Status        : solving was interrupted [user interrupt]
1800.50/1800.86	c Solving Time (sec) : 1800.81
1800.50/1800.86	c Solving Nodes      : 8
1800.50/1800.86	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.50/1800.86	c Dual Bound         : +0.00000000000000e+00
1800.50/1800.86	c Gap                : infinite
1800.50/1800.86	s UNKNOWN
1800.50/1800.86	c SCIP Status        : solving was interrupted [user interrupt]
1800.50/1800.86	c Total Time         :    1800.81
1800.50/1800.86	c   solving          :    1800.81
1800.50/1800.86	c   presolving       :      22.41 (included in solving)
1800.50/1800.86	c   reading          :       2.29 (included in solving)
1800.50/1800.86	c   copying          :       0.00 (0 times copied the problem)
1800.50/1800.86	c Original Problem   :
1800.50/1800.86	c   Problem name     : HOME/instance-3690616-1338024265.opb
1800.50/1800.86	c   Variables        : 36611 (36611 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.50/1800.86	c   Constraints      : 853935 initial, 853935 maximal
1800.50/1800.86	c   Objective sense  : minimize
1800.50/1800.86	c Presolved Problem  :
1800.50/1800.86	c   Problem name     : t_HOME/instance-3690616-1338024265.opb
1800.50/1800.86	c   Variables        : 27079 (27079 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.50/1800.86	c   Constraints      : 612204 initial, 612204 maximal
1800.50/1800.86	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1800.50/1800.86	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1800.50/1800.86	c   trivial          :       0.01       0.00         64          0          0          0          0          0          0          0          0
1800.50/1800.86	c   dualfix          :       0.01       0.00          0          0          0          0          0          0          0          0          0
1800.50/1800.86	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1800.50/1800.86	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1800.50/1800.86	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1800.50/1800.86	c   gateextraction   :       0.19       0.00          0          0          0          0          0          0          0          0          0
1800.50/1800.86	c   implics          :       0.03       0.00          0       1232          0          0          0          0          0          0          0
1800.50/1800.86	c   components       :       0.34       0.00          0          0          0          0          0          0          0          0          0
1800.50/1800.86	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1800.50/1800.86	c   probing          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1800.50/1800.86	c   knapsack         :       0.54       0.00          0          0          0          0          0          0          0         49         98
1800.50/1800.86	c   setppc           :       0.43       0.00          0          0          0          0          0        255          0          0          0
1800.50/1800.86	c   linear           :       8.90       0.00       8082        154          0       7530          0     241442          0       4760       6468
1800.50/1800.86	c   logicor          :       4.00       4.39          0          0          0          0          0         34          0          0          0
1800.50/1800.86	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1800.50/1800.86	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1800.50/1800.86	c   integral         :          0          0          0          0         11          0          1          0          0         15          0          0         16
1800.50/1800.86	c   knapsack         :      82250      82250          5         20          0          0          0          0          0         24         51          0          0
1800.50/1800.86	c   setppc           :      97627      97627          5         20          0          0          0          0          0       3648          0          0          0
1800.50/1800.86	c   linear           :          2          2          5         20          0          0          0          0          0          0          0          0          0
1800.50/1800.86	c   logicor          :     432325     432325          5         12          0          0          0          0          0        358          0          0          0
1800.50/1800.86	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0
1800.50/1800.86	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1800.50/1800.86	c   integral         :    1552.65       0.00       0.00       0.00    1552.65       0.00       0.00       0.00
1800.50/1800.86	c   knapsack         :       0.64       0.00       0.56       0.08       0.00       0.00       0.00       0.00
1800.50/1800.86	c   setppc           :       0.13       0.00       0.03       0.10       0.00       0.00       0.00       0.00
1800.50/1800.86	c   linear           :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.50/1800.86	c   logicor          :       4.66       4.39       0.11       0.17       0.00       0.00       0.00       0.00
1800.50/1800.86	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.50/1800.86	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1800.50/1800.86	c   rootredcost      :          0          0          0          0
1800.50/1800.86	c   pseudoobj        :          0          0          0          0
1800.50/1800.86	c   vbounds          :          0          0          0          0
1800.50/1800.86	c   redcost          :         16          0          0          0
1800.50/1800.86	c   probing          :          0          0          0          0
1800.50/1800.86	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1800.50/1800.86	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00
1800.50/1800.86	c   pseudoobj        :       0.00       0.00       0.00       0.00       0.00
1800.50/1800.86	c   vbounds          :       0.00       0.00       0.00       0.00       0.00
1800.50/1800.86	c   redcost          :       0.02       0.00       0.00       0.02       0.00
1800.50/1800.86	c   probing          :       0.00       0.00       0.00       0.00       0.00
1800.50/1800.86	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.50/1800.86	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.50/1800.86	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.50/1800.86	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.50/1800.86	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.50/1800.86	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.50/1800.86	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.50/1800.86	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.50/1800.86	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1800.50/1800.86	c   cut pool         :       0.00                     4          -          -         23          -    (maximal pool size: 281)
1800.50/1800.86	c   closecuts        :       0.00       0.00          0          0          0          0          0
1800.50/1800.86	c   impliedbounds    :       0.01       0.00          5          0          0          0          0
1800.50/1800.86	c   intobj           :       0.00       0.00          0          0          0          0          0
1800.50/1800.86	c   gomory           :       3.74       0.00          5          0          0        250          0
1800.50/1800.86	c   cgmip            :       0.00       0.00          0          0          0          0          0
1800.50/1800.86	c   strongcg         :      38.10       0.00          5          0          0       2500          0
1800.50/1800.86	c   cmir             :       0.00       0.00          0          0          0          0          0
1800.50/1800.86	c   flowcover        :       0.00       0.00          0          0          0          0          0
1800.50/1800.86	c   clique           :       3.52       0.00          5          0          0         33          0
1800.50/1800.86	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1800.50/1800.86	c   mcf              :       0.60       0.00          1          0          0          0          0
1800.50/1800.86	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1800.50/1800.86	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
1800.50/1800.86	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1800.50/1800.86	c   problem variables:       0.00          -          0          0
1800.50/1800.86	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.50/1800.86	c   relpscost        :    1552.65       0.00         11          0         15          0          0         16
1800.50/1800.86	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1800.50/1800.86	c   inference        :       0.00       0.00          0          0          0          0          0          0
1800.50/1800.86	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1800.50/1800.86	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1800.50/1800.86	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1800.50/1800.86	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1800.50/1800.86	c   random           :       0.00       0.00          0          0          0          0          0          0
1800.50/1800.86	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1800.50/1800.86	c   LP solutions     :       0.00          -          -          0
1800.50/1800.86	c   pseudo solutions :       0.00          -          -          0
1800.50/1800.86	c   smallcard        :       0.00       0.00          0          0
1800.50/1800.86	c   trivial          :       0.02       0.00          1          0
1800.50/1800.86	c   shiftandpropagate:       0.00       0.00          0          0
1800.50/1800.86	c   simplerounding   :       0.00       0.00          0          0
1800.50/1800.86	c   zirounding       :       0.00       0.00          0          0
1800.50/1800.86	c   rounding         :       0.00       0.00          0          0
1800.50/1800.86	c   shifting         :       0.00       0.00          0          0
1800.50/1800.86	c   intshifting      :       0.00       0.00          0          0
1800.50/1800.86	c   oneopt           :       0.00       0.00          0          0
1800.50/1800.86	c   twoopt           :       0.00       0.00          0          0
1800.50/1800.86	c   indtwoopt        :       0.00       0.00          0          0
1800.50/1800.86	c   indoneopt        :       0.00       0.00          0          0
1800.50/1800.86	c   fixandinfer      :       0.00       0.00          0          0
1800.50/1800.86	c   feaspump         :       0.00       0.00          0          0
1800.50/1800.86	c   clique           :       0.00       0.00          0          0
1800.50/1800.86	c   indrounding      :       0.00       0.00          0          0
1800.50/1800.86	c   indcoefdiving    :       0.00       0.00          0          0
1800.50/1800.86	c   coefdiving       :       0.00       0.00          0          0
1800.50/1800.86	c   pscostdiving     :       0.00       0.00          0          0
1800.50/1800.86	c   nlpdiving        :       0.00       0.00          0          0
1800.50/1800.86	c   fracdiving       :       0.00       0.00          0          0
1800.50/1800.86	c   veclendiving     :       0.00       0.00          0          0
1800.50/1800.86	c   intdiving        :       0.00       0.00          0          0
1800.50/1800.86	c   actconsdiving    :       0.00       0.00          0          0
1800.50/1800.86	c   objpscostdiving  :       0.00       0.00          0          0
1800.50/1800.86	c   rootsoldiving    :       0.00       0.00          0          0
1800.50/1800.86	c   linesearchdiving :       0.00       0.00          0          0
1800.50/1800.86	c   guideddiving     :       0.00       0.00          0          0
1800.50/1800.86	c   octane           :       0.00       0.00          0          0
1800.50/1800.86	c   rens             :       0.00       0.00          0          0
1800.50/1800.86	c   rins             :       0.00       0.00          0          0
1800.50/1800.86	c   localbranching   :       0.00       0.00          0          0
1800.50/1800.86	c   mutation         :       0.00       0.00          0          0
1800.50/1800.86	c   crossover        :       0.00       0.00          0          0
1800.50/1800.86	c   dins             :       0.00       0.00          0          0
1800.50/1800.86	c   vbounds          :       0.00       0.00          0          0
1800.50/1800.86	c   undercover       :       0.00       0.00          0          0
1800.50/1800.86	c   subnlp           :       0.00       0.00          0          0
1800.50/1800.86	c   trysol           :       0.00       0.00          0          0
1800.50/1800.86	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1800.50/1800.86	c   primal LP        :       0.93          1          0       0.00       0.00       0.93          1
1800.50/1800.86	c   dual LP          :     171.71         16      21868    1366.75     127.36       0.00          0
1800.50/1800.86	c   lex dual LP      :       0.00          0          0       0.00          -
1800.50/1800.86	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1800.50/1800.86	c   diving/probing LP:       0.00          0          0       0.00          -
1800.50/1800.86	c   strong branching :    1552.38        223      96319     431.92      62.05
1800.50/1800.86	c     (at root node) :          -         19       4755     250.26          -
1800.50/1800.86	c   conflict analysis:       0.00          0          0       0.00          -
1800.50/1800.86	c B&B Tree           :
1800.50/1800.86	c   number of runs   :          1
1800.50/1800.86	c   nodes            :          8
1800.50/1800.86	c   nodes (total)    :          8
1800.50/1800.86	c   nodes left       :          9
1800.50/1800.86	c   max depth        :          7
1800.50/1800.86	c   max depth (total):          7
1800.50/1800.86	c   backtracks       :          0 (0.0%)
1800.50/1800.86	c   delayed cutoffs  :          0
1800.50/1800.86	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.50/1800.86	c   avg switch length:       1.00
1800.50/1800.86	c   switching time   :       1.08
1800.50/1800.86	c Solution           :
1800.50/1800.86	c   Solutions found  :          0 (0 improvements)
1800.50/1800.86	c   Primal Bound     :          -
1800.50/1800.86	c   Dual Bound       : +0.00000000000000e+00
1800.50/1800.86	c   Gap              :   infinite
1800.50/1800.86	c   Root Dual Bound  : +0.00000000000000e+00
1800.50/1800.86	c   Root Iterations  :      12791

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6763
/proc/meminfo: memFree=29806444/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=10452 CPUtime=0 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 1337 0 0 0 0 0 0 0 20 0 1 0 268550970 10702848 1292 33554432000 4194304 10173063 140733353644992 140735725826600 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 2613 1302 413 1460 0 1144 0

[startup+0.076602 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6763
/proc/meminfo: memFree=29806444/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=21012 CPUtime=0.07 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 4006 0 0 0 7 0 0 0 20 0 1 0 268550970 21516288 3961 33554432000 4194304 10173063 140733353644992 140735725826600 8985008 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 5253 3961 413 1460 0 3784 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 21012

[startup+0.100333 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6763
/proc/meminfo: memFree=29806444/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=23840 CPUtime=0.09 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 4687 0 0 0 9 0 0 0 20 0 1 0 268550970 24412160 4642 33554432000 4194304 10173063 140733353644992 140735725826600 5479875 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 5960 4642 413 1460 0 4491 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23840

[startup+0.300302 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6763
/proc/meminfo: memFree=29806444/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=50040 CPUtime=0.29 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 11271 0 0 0 27 2 0 0 20 0 1 0 268550970 51240960 11226 33554432000 4194304 10173063 140733353644992 140735725826600 5285022 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 12510 11227 413 1460 0 11041 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50040

[startup+0.700313 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6763
/proc/meminfo: memFree=29806444/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=99736 CPUtime=0.69 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 23659 0 0 0 65 4 0 0 20 0 1 0 268550970 102129664 23614 33554432000 4194304 10173063 140733353644992 140735725826600 8985008 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 24934 23614 413 1460 0 23465 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 99736

[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6764
/proc/meminfo: memFree=29675244/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=199804 CPUtime=1.49 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 48667 0 0 0 139 10 0 0 20 0 1 0 268550970 204599296 48622 33554432000 4194304 10173063 140733353644992 140733353510168 8867721 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 49951 48622 413 1460 0 48482 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 199804

[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6764
/proc/meminfo: memFree=29537108/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=672868 CPUtime=3.09 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 164283 0 0 0 282 27 0 0 20 0 1 0 268550970 689016832 164146 33554432000 4194304 10173063 140733353644992 140733353642440 4936513 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 168217 164146 509 1460 0 166748 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 672868

[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6764
/proc/meminfo: memFree=28752560/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=1063476 CPUtime=6.29 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 312092 0 0 0 542 87 0 0 20 0 1 0 268550970 1088999424 257491 33554432000 4194304 10173063 140733353644992 140733353641992 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 265869 257491 560 1460 0 264400 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1063476

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6764
/proc/meminfo: memFree=28699828/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=1111336 CPUtime=12.69 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 325719 0 0 0 857 412 0 0 20 0 1 0 268550970 1138008064 269564 33554432000 4194304 10173063 140733353644992 140733353641832 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 277834 269564 579 1460 0 276365 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1111336

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6764
/proc/meminfo: memFree=28712668/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=1132956 CPUtime=25.47 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 383496 0 0 0 1877 670 0 0 20 0 1 0 268550970 1160146944 273327 33554432000 4194304 10173063 140733353644992 140733353642600 5654552 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 283239 273327 646 1460 0 281770 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1132956

[startup+51.1004 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 6764
/proc/meminfo: memFree=27866052/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=2048428 CPUtime=51.07 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 563127 0 0 0 4370 737 0 0 20 0 1 0 268550970 2097590272 483460 33554432000 4194304 10173063 140733353644992 140733353638632 7911485 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 512107 483460 796 1460 0 510638 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 2048428

[startup+102.307 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 6802
/proc/meminfo: memFree=27845836/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=2226068 CPUtime=102.28 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 573309 0 0 0 9458 770 0 0 20 0 1 0 268550970 2279493632 512846 33554432000 4194304 10173063 140733353644992 140733353639880 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 556517 512846 796 1460 0 555048 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2226068

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 6803
/proc/meminfo: memFree=27798700/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=2247156 CPUtime=162.25 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 580266 0 0 0 15434 791 0 0 20 0 1 0 268550970 2301087744 519490 33554432000 4194304 10173063 140733353644992 140733353638824 7595756 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 561789 519490 800 1460 0 560320 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 2247156

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6803
/proc/meminfo: memFree=27849376/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=2161704 CPUtime=222.24 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 592947 0 0 0 21396 828 0 0 20 0 1 0 268550970 2213584896 502998 33554432000 4194304 10173063 140733353644992 140733353638120 8047517 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 540426 502998 800 1460 0 538957 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 2161704

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6803
/proc/meminfo: memFree=27844392/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=2163560 CPUtime=282.24 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 605533 0 0 0 27367 857 0 0 20 0 1 0 268550970 2215485440 502997 33554432000 4194304 10173063 140733353644992 140733353637704 7650004 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 540890 502997 806 1460 0 539421 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 2163560

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6806
/proc/meminfo: memFree=27795212/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=2209708 CPUtime=342.22 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 623384 0 0 0 33337 885 0 0 20 0 1 0 268550970 2262740992 514480 33554432000 4194304 10173063 140733353644992 140733353637272 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 552427 514480 806 1460 0 550958 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 2209708

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 6844
/proc/meminfo: memFree=26690444/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=2209760 CPUtime=402.21 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 641978 0 0 0 39307 914 0 0 20 0 1 0 268550970 2262794240 515092 33554432000 4194304 10173063 140733353644992 140733353638440 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 552440 515092 806 1460 0 550971 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 2209760

[startup+462.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 6845
/proc/meminfo: memFree=26734480/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=2163556 CPUtime=462.2 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 660205 0 0 0 45276 944 0 0 20 0 1 0 268550970 2215481344 513219 33554432000 4194304 10173063 140733353644992 140733353638440 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 540889 513219 806 1460 0 539420 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 2163556

[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6845
/proc/meminfo: memFree=26756648/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=2163560 CPUtime=522.2 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 675628 0 0 0 51248 972 0 0 20 0 1 0 268550970 2215485440 504796 33554432000 4194304 10173063 140733353644992 140733353637736 7911706 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 540890 504796 806 1460 0 539421 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 2163560

[startup+582.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 6845
/proc/meminfo: memFree=26768240/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=2163560 CPUtime=582.19 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 691330 0 0 0 57219 1000 0 0 20 0 1 0 268550970 2215485440 504796 33554432000 4194304 10173063 140733353644992 140733353638824 8012547 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 540890 504796 806 1460 0 539421 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 2163560

[startup+642.3 s]

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

/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 815648 0 0 0 104949 1263 0 0 20 0 1 0 268550970 2267045888 510271 33554432000 4194304 10173063 140733353644992 140733353638824 7911872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 553478 510271 806 1460 0 552009 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 2213912

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6851
/proc/meminfo: memFree=26697736/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=2213908 CPUtime=1122.1 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 832486 0 0 0 110914 1296 0 0 20 0 1 0 268550970 2267041792 518374 33554432000 4194304 10173063 140733353644992 140733353637704 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 553477 518374 806 1460 0 552008 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 2213908

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6851
/proc/meminfo: memFree=26752496/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=2326248 CPUtime=1182.09 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 852599 0 0 0 116878 1331 0 0 20 0 1 0 268550970 2382077952 530010 33554432000 4194304 10173063 140733353644992 140733353637272 8039655 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 581562 530010 806 1460 0 580093 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 2326248

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6851
/proc/meminfo: memFree=26691616/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=2240060 CPUtime=1242.09 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 873893 0 0 0 122843 1366 0 0 20 0 1 0 268550970 2293821440 521257 33554432000 4194304 10173063 140733353644992 140733353637272 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 560015 521257 806 1460 0 558546 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 2240060

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6851
/proc/meminfo: memFree=26685116/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=2240460 CPUtime=1302.08 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 894062 0 0 0 128815 1393 0 0 20 0 1 0 268550970 2294231040 516878 33554432000 4194304 10173063 140733353644992 140733353637272 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 560115 516878 806 1460 0 558646 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 2240460

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6852
/proc/meminfo: memFree=26678284/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=2252236 CPUtime=1362.06 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 912467 0 0 0 134782 1424 0 0 20 0 1 0 268550970 2306289664 522919 33554432000 4194304 10173063 140733353644992 140733353637736 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 563059 522919 806 1460 0 561590 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 2252236

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6852
/proc/meminfo: memFree=26691280/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=2252056 CPUtime=1422.07 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 933754 0 0 0 140750 1457 0 0 20 0 1 0 268550970 2306105344 527124 33554432000 4194304 10173063 140733353644992 140733353638904 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 563014 527124 806 1460 0 561545 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 2252056

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6852
/proc/meminfo: memFree=26679960/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=2246100 CPUtime=1482.04 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 958900 0 0 0 146709 1495 0 0 20 0 1 0 268550970 2300006400 517444 33554432000 4194304 10173063 140733353644992 140733353637976 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 561525 517444 806 1460 0 560056 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 2246100

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6855
/proc/meminfo: memFree=26731744/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=2220084 CPUtime=1542.03 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 979090 0 0 0 152675 1528 0 0 20 0 1 0 268550970 2273366016 518993 33554432000 4194304 10173063 140733353644992 140733353638824 8007111 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 555021 518993 806 1460 0 553552 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 2220084

[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 6855
/proc/meminfo: memFree=26698528/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=2233796 CPUtime=1602.03 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 1003606 0 0 0 158639 1564 0 0 20 0 1 0 268550970 2287407104 518977 33554432000 4194304 10173063 140733353644992 140733353638120 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 558449 518977 806 1460 0 556980 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 2233796

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 6856
/proc/meminfo: memFree=26697280/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=2250632 CPUtime=1662.02 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 1022324 0 0 0 164605 1597 0 0 20 0 1 0 268550970 2304647168 528620 33554432000 4194304 10173063 140733353644992 140733353638488 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 562658 528620 806 1460 0 561189 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 2250632

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6856
/proc/meminfo: memFree=26635800/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=2227412 CPUtime=1722.01 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 1040337 0 0 0 170566 1635 0 0 20 0 1 0 268550970 2280869888 515943 33554432000 4194304 10173063 140733353644992 140733353637736 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 556853 515943 806 1460 0 555384 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 2227412

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6856
/proc/meminfo: memFree=26679784/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=2222528 CPUtime=1782 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 1058702 0 0 0 176524 1676 0 0 20 0 1 0 268550970 2275868672 511027 33554432000 4194304 10173063 140733353644992 140733353638824 7706032 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 555632 511027 806 1460 0 554163 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 2222528



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6856
/proc/meminfo: memFree=26640160/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=2253736 CPUtime=1800.01 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 1063876 0 0 0 178314 1687 0 0 20 0 1 0 268550970 2307825664 527577 33554432000 4194304 10173063 140733353644992 140733353638120 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 563434 527577 806 1460 0 561965 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2253736

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -6763

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6857
/proc/meminfo: memFree=26640160/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=2170016 CPUtime=1801.1 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 1064002 0 0 0 178423 1687 0 0 20 0 1 0 268550970 2222096384 507937 33554432000 4194304 10173063 140733353644992 140733353644104 5061511 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 542504 507937 816 1460 0 541035 0
Current children cumulated CPU time (s) 1801.1
Current children cumulated vsize (KiB) 2170016

[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6857
/proc/meminfo: memFree=26783868/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=2168184 CPUtime=1801.51 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 1064004 0 0 0 178464 1687 0 0 20 0 1 0 268550970 2220220416 507481 33554432000 4194304 10173063 140733353644992 140733353644104 4953292 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 542046 507481 818 1460 0 540577 0
Current children cumulated CPU time (s) 1801.51
Current children cumulated vsize (KiB) 2168184

[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6857
/proc/meminfo: memFree=26783868/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=2166812 CPUtime=1801.9 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 1064004 0 0 0 178503 1687 0 0 20 0 1 0 268550970 2218815488 507138 33554432000 4194304 10173063 140733353644992 140733353644312 4953292 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 541703 507138 818 1460 0 540234 0
Current children cumulated CPU time (s) 1801.9
Current children cumulated vsize (KiB) 2166812

[startup+1802.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6857
/proc/meminfo: memFree=26783868/32873844 swapFree=7388/7388
[pid=6763] ppid=6761 vsize=2160412 CPUtime=1802 cores=1,3,5,7
/proc/6763/stat : 6763 (scip-2.1.1.4fix) R 6761 6763 6041 0 -1 4202496 1064004 0 0 0 178513 1687 0 0 20 0 1 0 268550970 2212261888 505538 33554432000 4194304 10173063 140733353644992 140733353644312 5284596 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6763/statm: 540103 505538 818 1460 0 538634 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 2160412

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.34
CPU time (s): 1802.05
CPU user time (s): 1785.14
CPU system time (s): 16.9094
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 2335920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.14
system time used= 16.9094
maximum resident set size= 2175856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1064004
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= 30
involuntary context switches= 1869

runsolver used 2.97555 second user time and 7.93279 second system time

The end

Launcher Data

Begin job on node147 at 2012-05-26 11:24:26
IDJOB=3690616
IDBENCH=89740
IDSOLVER=2270
FILE ID=node147/3690616-1338024265
RUNJOBID= node147-1338016919-6058
PBS_JOBID= 14624328
Free space on /tmp= 71636 MiB

SOLVER NAME= SCIP spx SCIP 2.1.1.4. with SoPlex 1.6.0.3 fixed
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-123.opb
COMMAND LINE= HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3690616-1338024265/watcher-3690616-1338024265 -o /tmp/evaluation-result-3690616-1338024265/solver-3690616-1338024265 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690616-1338024265.opb -t 1800 -m 15500

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

MD5SUM BENCH= e6dc64843ebe4c9cb8812bfa08aa0858
RANDOM SEED=650943815

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
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.951
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.951
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:        29806980 kB
Buffers:          257864 kB
Cached:          1821160 kB
SwapCached:         6180 kB
Active:           678000 kB
Inactive:        1614308 kB
Active(anon):     208860 kB
Inactive(anon):     6780 kB
Active(file):     469140 kB
Inactive(file):  1607528 kB
Unevictable:        7388 kB
Mlocked:            7388 kB
SwapTotal:      67108856 kB
SwapFree:       67097572 kB
Dirty:             50836 kB
Writeback:            12 kB
AnonPages:        215404 kB
Mapped:            13080 kB
Shmem:                 0 kB
Slab:             634156 kB
SReclaimable:      75564 kB
SUnreclaim:       558592 kB
KernelStack:        1448 kB
PageTables:         4284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     330580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    192512 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= 71592 MiB
End job on node147 at 2012-05-26 11:54:28