| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 | UNSAT | 15.1597 | 15.16 |
| Name | /DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6013_2-unsat.opb |
| MD5SUM | c3eb9faf1d58b30f1971366448425ca3 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 15.1277 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 12322 |
| Total number of constraints | 38967 |
| Number of constraints which are clauses | 38567 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 400 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 60 |
| 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 | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 394 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3453368-1307117631.opb>
0.19/0.26 c original problem has 12322 variables (12322 bin, 0 int, 0 impl, 0 cont) and 38967 constraints
0.19/0.26 c problem read
0.19/0.26 c No objective function, only one solution is needed.
0.19/0.26 c presolving settings loaded
0.29/0.38 c presolving:
1.11/1.19 c (round 1) 1928 del vars, 5359 del conss, 0 add conss, 1269 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2408864 impls, 0 clqs
1.39/1.45 c (round 2) 4896 del vars, 15276 del conss, 0 add conss, 4027 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2423259 impls, 0 clqs
1.49/1.50 c (round 3) 5906 del vars, 20188 del conss, 0 add conss, 4614 chg bounds, 13 chg sides, 17 chg coeffs, 0 upgd conss, 2427306 impls, 0 clqs
1.49/1.52 c (round 4) 6135 del vars, 21424 del conss, 0 add conss, 4756 chg bounds, 19 chg sides, 23 chg coeffs, 0 upgd conss, 2429143 impls, 0 clqs
1.49/1.53 c (round 5) 6238 del vars, 21835 del conss, 0 add conss, 4809 chg bounds, 19 chg sides, 23 chg coeffs, 0 upgd conss, 2430144 impls, 0 clqs
1.49/1.54 c (round 6) 6315 del vars, 22114 del conss, 0 add conss, 4858 chg bounds, 19 chg sides, 23 chg coeffs, 0 upgd conss, 2430630 impls, 0 clqs
1.49/1.55 c (round 7) 6346 del vars, 22238 del conss, 0 add conss, 4872 chg bounds, 19 chg sides, 23 chg coeffs, 0 upgd conss, 2430921 impls, 0 clqs
1.49/1.56 c (round 8) 6353 del vars, 22278 del conss, 0 add conss, 4874 chg bounds, 19 chg sides, 23 chg coeffs, 0 upgd conss, 2431034 impls, 0 clqs
1.49/1.56 c (round 9) 6353 del vars, 22281 del conss, 0 add conss, 4874 chg bounds, 19 chg sides, 23 chg coeffs, 0 upgd conss, 2431034 impls, 0 clqs
1.59/1.63 c (round 10) 6353 del vars, 22283 del conss, 0 add conss, 4874 chg bounds, 19 chg sides, 23 chg coeffs, 16684 upgd conss, 2431034 impls, 0 clqs
1.69/1.72 c presolving (11 rounds):
1.69/1.72 c 6353 deleted vars, 22283 deleted constraints, 0 added constraints, 4874 tightened bounds, 0 added holes, 19 changed sides, 58 changed coefficients
1.69/1.72 c 2431120 implications, 105 cliques
1.69/1.72 c presolved problem has 5969 variables (5969 bin, 0 int, 0 impl, 0 cont) and 16684 constraints
1.69/1.72 c 368 constraints of type <knapsack>
1.69/1.72 c 13486 constraints of type <setppc>
1.69/1.72 c 2830 constraints of type <logicor>
1.69/1.72 c transformed objective value is always integral (scale: 1)
1.69/1.72 c Presolving Time: 1.42
1.69/1.72 c - non default parameters ----------------------------------------------------------------------
1.69/1.72 c # SCIP version 2.0.1.4
1.69/1.72 c
1.69/1.72 c # frequency for displaying node information lines
1.69/1.72 c # [type: int, range: [-1,2147483647], default: 100]
1.69/1.72 c display/freq = 10000
1.69/1.72 c
1.69/1.72 c # maximal time in seconds to run
1.69/1.72 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.69/1.72 c limits/time = 1800
1.69/1.72 c
1.69/1.72 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.69/1.72 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.69/1.72 c limits/memory = 13950
1.69/1.72 c
1.69/1.72 c # solving stops, if the given number of solutions were found (-1: no limit)
1.69/1.72 c # [type: int, range: [-1,2147483647], default: -1]
1.69/1.72 c limits/solutions = 1
1.69/1.72 c
1.69/1.72 c # maximal number of separation rounds per node (-1: unlimited)
1.69/1.72 c # [type: int, range: [-1,2147483647], default: 5]
1.69/1.72 c separating/maxrounds = 1
1.69/1.72 c
1.69/1.72 c # maximal number of separation rounds in the root node (-1: unlimited)
1.69/1.72 c # [type: int, range: [-1,2147483647], default: -1]
1.69/1.72 c separating/maxroundsroot = 5
1.69/1.72 c
1.69/1.72 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.69/1.72 c # [type: int, range: [1,2], default: 1]
1.69/1.72 c timing/clocktype = 2
1.69/1.72 c
1.69/1.72 c # belongs reading time to solving time?
1.69/1.72 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.72 c timing/reading = TRUE
1.69/1.72 c
1.69/1.72 c # should presolving try to simplify inequalities
1.69/1.72 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.72 c constraints/linear/simplifyinequalities = TRUE
1.69/1.72 c
1.69/1.72 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.69/1.72 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.72 c constraints/indicator/addCouplingCons = TRUE
1.69/1.72 c
1.69/1.72 c # should disaggregation of knapsack constraints be allowed in preprocessing?
1.69/1.72 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
1.69/1.72 c constraints/knapsack/disaggregation = FALSE
1.69/1.72 c
1.69/1.72 c # should presolving try to simplify knapsacks
1.69/1.72 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.72 c constraints/knapsack/simplifyinequalities = TRUE
1.69/1.72 c
1.69/1.72 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
1.69/1.72 c # [type: int, range: [-1,2147483647], default: -1]
1.69/1.72 c presolving/probing/maxrounds = 0
1.69/1.72 c
1.69/1.72 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
1.69/1.72 c # [type: int, range: [-1,2147483647], default: 10]
1.69/1.72 c heuristics/coefdiving/freq = -1
1.69/1.72 c
1.69/1.72 c # maximal fraction of diving LP iterations compared to node LP iterations
1.69/1.72 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.69/1.72 c heuristics/coefdiving/maxlpiterquot = 0.075
1.69/1.72 c
1.69/1.72 c # additional number of allowed LP iterations
1.69/1.72 c # [type: int, range: [0,2147483647], default: 1000]
1.69/1.72 c heuristics/coefdiving/maxlpiterofs = 1500
1.69/1.72 c
1.69/1.72 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
1.69/1.72 c # [type: int, range: [-1,2147483647], default: 30]
1.69/1.72 c heuristics/crossover/freq = -1
1.69/1.72 c
1.69/1.72 c # number of nodes added to the contingent of the total nodes
1.69/1.72 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.69/1.72 c heuristics/crossover/nodesofs = 750
1.69/1.72 c
1.69/1.72 c # number of nodes without incumbent change that heuristic should wait
1.69/1.72 c # [type: longint, range: [0,9223372036854775807], default: 200]
1.69/1.72 c heuristics/crossover/nwaitingnodes = 100
1.69/1.72 c
1.69/1.72 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
1.69/1.72 c # [type: real, range: [0,1], default: 0.1]
1.69/1.72 c heuristics/crossover/nodesquot = 0.15
1.69/1.72 c
1.69/1.72 c # minimum percentage of integer variables that have to be fixed
1.69/1.72 c # [type: real, range: [0,1], default: 0.666]
1.69/1.72 c heuristics/crossover/minfixingrate = 0.5
1.69/1.72 c
1.69/1.72 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
1.69/1.72 c # [type: int, range: [-1,2147483647], default: 20]
1.69/1.72 c heuristics/feaspump/freq = -1
1.69/1.72 c
1.69/1.72 c # additional number of allowed LP iterations
1.69/1.72 c # [type: int, range: [0,2147483647], default: 1000]
1.69/1.72 c heuristics/feaspump/maxlpiterofs = 2000
1.69/1.72 c
1.69/1.72 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
1.69/1.72 c # [type: int, range: [-1,2147483647], default: 10]
1.69/1.72 c heuristics/fracdiving/freq = -1
1.69/1.72 c
1.69/1.72 c # maximal fraction of diving LP iterations compared to node LP iterations
1.69/1.72 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.69/1.72 c heuristics/fracdiving/maxlpiterquot = 0.075
1.69/1.72 c
1.69/1.72 c # additional number of allowed LP iterations
1.69/1.72 c # [type: int, range: [0,2147483647], default: 1000]
1.69/1.72 c heuristics/fracdiving/maxlpiterofs = 1500
1.69/1.72 c
1.69/1.72 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
1.69/1.72 c # [type: int, range: [-1,2147483647], default: 10]
1.69/1.72 c heuristics/guideddiving/freq = -1
1.69/1.72 c
1.69/1.72 c # maximal fraction of diving LP iterations compared to node LP iterations
1.69/1.72 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.69/1.72 c heuristics/guideddiving/maxlpiterquot = 0.075
1.69/1.72 c
1.69/1.72 c # additional number of allowed LP iterations
1.69/1.72 c # [type: int, range: [0,2147483647], default: 1000]
1.69/1.72 c heuristics/guideddiving/maxlpiterofs = 1500
1.69/1.72 c
1.69/1.72 c # maximal fraction of diving LP iterations compared to node LP iterations
1.69/1.72 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.69/1.72 c heuristics/intdiving/maxlpiterquot = 0.075
1.69/1.72 c
1.69/1.72 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
1.69/1.72 c # [type: int, range: [-1,2147483647], default: 10]
1.69/1.72 c heuristics/intshifting/freq = -1
1.69/1.72 c
1.69/1.72 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
1.69/1.72 c # [type: int, range: [-1,2147483647], default: 10]
1.69/1.72 c heuristics/linesearchdiving/freq = -1
1.69/1.72 c
1.69/1.72 c # maximal fraction of diving LP iterations compared to node LP iterations
1.69/1.72 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.69/1.72 c heuristics/linesearchdiving/maxlpiterquot = 0.075
1.69/1.72 c
1.69/1.72 c # additional number of allowed LP iterations
1.69/1.72 c # [type: int, range: [0,2147483647], default: 1000]
1.69/1.72 c heuristics/linesearchdiving/maxlpiterofs = 1500
1.69/1.72 c
1.69/1.72 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
1.69/1.72 c # [type: int, range: [-1,2147483647], default: 20]
1.69/1.72 c heuristics/objpscostdiving/freq = -1
1.69/1.72 c
1.69/1.72 c # maximal fraction of diving LP iterations compared to total iteration number
1.69/1.72 c # [type: real, range: [0,1], default: 0.01]
1.69/1.72 c heuristics/objpscostdiving/maxlpiterquot = 0.015
1.69/1.72 c
1.69/1.72 c # additional number of allowed LP iterations
1.69/1.72 c # [type: int, range: [0,2147483647], default: 1000]
1.69/1.72 c heuristics/objpscostdiving/maxlpiterofs = 1500
1.69/1.72 c
1.69/1.72 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
1.69/1.72 c # [type: int, range: [-1,2147483647], default: 1]
1.69/1.72 c heuristics/oneopt/freq = -1
1.69/1.72 c
1.69/1.72 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
1.69/1.72 c # [type: int, range: [-1,2147483647], default: 10]
1.69/1.72 c heuristics/pscostdiving/freq = -1
1.69/1.72 c
1.69/1.72 c # maximal fraction of diving LP iterations compared to node LP iterations
1.69/1.72 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.69/1.72 c heuristics/pscostdiving/maxlpiterquot = 0.075
1.69/1.72 c
1.69/1.72 c # additional number of allowed LP iterations
1.69/1.72 c # [type: int, range: [0,2147483647], default: 1000]
1.69/1.72 c heuristics/pscostdiving/maxlpiterofs = 1500
1.69/1.72 c
1.69/1.72 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
1.69/1.72 c # [type: int, range: [-1,2147483647], default: 0]
1.69/1.72 c heuristics/rens/freq = -1
1.69/1.72 c
1.69/1.72 c # minimum percentage of integer variables that have to be fixable
1.69/1.72 c # [type: real, range: [0,1], default: 0.5]
1.69/1.72 c heuristics/rens/minfixingrate = 0.3
1.69/1.72 c
1.69/1.72 c # number of nodes added to the contingent of the total nodes
1.69/1.72 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.69/1.72 c heuristics/rens/nodesofs = 2000
1.69/1.72 c
1.69/1.72 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
1.69/1.72 c # [type: int, range: [-1,2147483647], default: 20]
1.69/1.72 c heuristics/rootsoldiving/freq = -1
1.69/1.72 c
1.69/1.72 c # maximal fraction of diving LP iterations compared to node LP iterations
1.69/1.72 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
1.69/1.72 c heuristics/rootsoldiving/maxlpiterquot = 0.015
1.69/1.72 c
1.69/1.72 c # additional number of allowed LP iterations
1.69/1.72 c # [type: int, range: [0,2147483647], default: 1000]
1.69/1.72 c heuristics/rootsoldiving/maxlpiterofs = 1500
1.69/1.72 c
1.69/1.72 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
1.69/1.72 c # [type: int, range: [-1,2147483647], default: 1]
1.69/1.72 c heuristics/rounding/freq = -1
1.69/1.72 c
1.69/1.72 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
1.69/1.72 c # [type: int, range: [-1,2147483647], default: 0]
1.69/1.72 c heuristics/shiftandpropagate/freq = -1
1.69/1.72 c
1.69/1.72 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
1.69/1.72 c # [type: int, range: [-1,2147483647], default: 10]
1.69/1.72 c heuristics/shifting/freq = -1
1.69/1.72 c
1.69/1.72 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
1.69/1.72 c # [type: int, range: [-1,2147483647], default: 1]
1.69/1.72 c heuristics/simplerounding/freq = -1
1.69/1.72 c
1.69/1.72 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
1.69/1.72 c # [type: int, range: [-1,2147483647], default: 1]
1.69/1.72 c heuristics/subnlp/freq = -1
1.69/1.72 c
1.69/1.72 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
1.69/1.72 c # [type: int, range: [-1,2147483647], default: 0]
1.69/1.72 c heuristics/trivial/freq = -1
1.69/1.72 c
1.69/1.72 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
1.69/1.72 c # [type: int, range: [-1,2147483647], default: 1]
1.69/1.72 c heuristics/trysol/freq = -1
1.69/1.72 c
1.69/1.72 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
1.69/1.72 c # [type: int, range: [-1,2147483647], default: 0]
1.69/1.72 c heuristics/undercover/freq = -1
1.69/1.72 c
1.69/1.72 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
1.69/1.72 c # [type: int, range: [-1,2147483647], default: 10]
1.69/1.72 c heuristics/veclendiving/freq = -1
1.69/1.72 c
1.69/1.72 c # maximal fraction of diving LP iterations compared to node LP iterations
1.69/1.72 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.69/1.72 c heuristics/veclendiving/maxlpiterquot = 0.075
1.69/1.72 c
1.69/1.72 c # additional number of allowed LP iterations
1.69/1.72 c # [type: int, range: [0,2147483647], default: 1000]
1.69/1.72 c heuristics/veclendiving/maxlpiterofs = 1500
1.69/1.72 c
1.69/1.72 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
1.69/1.72 c # [type: int, range: [-1,2147483647], default: 1]
1.69/1.72 c heuristics/zirounding/freq = -1
1.69/1.72 c
1.69/1.72 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
1.69/1.72 c # [type: int, range: [-1,2147483647], default: 0]
1.69/1.72 c separating/cmir/freq = -1
1.69/1.72 c
1.69/1.72 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
1.69/1.72 c # [type: int, range: [-1,2147483647], default: 0]
1.69/1.72 c separating/flowcover/freq = -1
1.69/1.72 c
1.69/1.72 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.69/1.72 c # [type: int, range: [-1,2147483647], default: -1]
1.69/1.72 c separating/rapidlearning/freq = 0
1.69/1.72 c
1.69/1.72 c -----------------------------------------------------------------------------------------------
1.69/1.72 c start solving
1.69/1.72 c
14.99/15.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.99/15.08 c 15.1s| 1 | 0 | 16372 | - | 81M| 0 | - |5969 | 16k|5969 | 16k| 0 | 0 | 0 | cutoff | -- | 0.00%
14.99/15.08 c 15.1s| 1 | 0 | 16372 | - | 81M| 0 | - |5969 | 16k|5969 | 16k| 0 | 0 | 0 | cutoff | -- | 0.00%
14.99/15.08 c
14.99/15.08 c SCIP Status : problem is solved [infeasible]
14.99/15.08 c Solving Time (sec) : 15.08
14.99/15.08 c Solving Nodes : 1
14.99/15.08 c Primal Bound : +1.00000000000000e+20 (0 solutions)
14.99/15.08 c Dual Bound : +1.00000000000000e+20
14.99/15.08 c Gap : 0.00 %
14.99/15.08 s UNSATISFIABLE
14.99/15.08 c SCIP Status : problem is solved [infeasible]
14.99/15.08 c Total Time : 15.08
14.99/15.08 c solving : 15.08
14.99/15.08 c presolving : 1.42 (included in solving)
14.99/15.08 c reading : 0.26 (included in solving)
14.99/15.08 c Original Problem :
14.99/15.08 c Problem name : HOME/instance-3453368-1307117631.opb
14.99/15.08 c Variables : 12322 (12322 binary, 0 integer, 0 implicit integer, 0 continuous)
14.99/15.08 c Constraints : 38967 initial, 38967 maximal
14.99/15.08 c Presolved Problem :
14.99/15.08 c Problem name : t_HOME/instance-3453368-1307117631.opb
14.99/15.08 c Variables : 5969 (5969 binary, 0 integer, 0 implicit integer, 0 continuous)
14.99/15.08 c Constraints : 16684 initial, 16684 maximal
14.99/15.08 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
14.99/15.08 c trivial : 0.00 324 0 0 0 0 0 0 0 0
14.99/15.08 c dualfix : 0.01 53 0 0 0 0 0 0 0 0
14.99/15.08 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
14.99/15.08 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
14.99/15.08 c implics : 0.02 0 0 0 0 0 0 0 0 0
14.99/15.08 c probing : 0.00 0 0 0 0 0 0 0 0 0
14.99/15.08 c knapsack : 0.06 0 0 0 0 0 0 0 0 35
14.99/15.08 c setppc : 0.02 0 0 0 0 0 0 0 0 0
14.99/15.08 c linear : 1.18 4550 1426 0 4874 0 22283 0 19 23
14.99/15.08 c logicor : 0.02 0 0 0 0 0 0 0 0 0
14.99/15.08 c root node : - 0 - - 0 - - - - -
14.99/15.08 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
14.99/15.08 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
14.99/15.08 c knapsack : 368 0 1 0 0 0 0 0 0 0 0 0
14.99/15.08 c setppc : 13486 0 1 0 0 0 0 0 0 0 0 0
14.99/15.08 c logicor : 2830 0 1 0 0 0 0 0 0 0 0 0
14.99/15.08 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
14.99/15.08 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
14.99/15.08 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
14.99/15.08 c knapsack : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
14.99/15.08 c setppc : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
14.99/15.08 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
14.99/15.08 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
14.99/15.08 c Propagators : #Propagate #Resprop Cutoffs DomReds
14.99/15.08 c vbounds : 0 0 0 0
14.99/15.08 c rootredcost : 0 0 0 0
14.99/15.08 c pseudoobj : 0 0 0 0
14.99/15.08 c Propagator Timings : TotalTime Propagate Resprop
14.99/15.08 c vbounds : 0.00 0.00 0.00
14.99/15.08 c rootredcost : 0.00 0.00 0.00
14.99/15.08 c pseudoobj : 0.00 0.00 0.00
14.99/15.08 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
14.99/15.08 c propagation : 0.00 0 0 0 0.0 0 0.0 -
14.99/15.08 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
14.99/15.08 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
14.99/15.08 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
14.99/15.08 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
14.99/15.08 c applied globally : - - - 0 0.0 - - -
14.99/15.08 c applied locally : - - - 0 0.0 - - -
14.99/15.08 c Separators : Time Calls Cutoffs DomReds Cuts Conss
14.99/15.08 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
14.99/15.08 c redcost : 0.00 0 0 0 0 0
14.99/15.08 c impliedbounds : 0.00 0 0 0 0 0
14.99/15.08 c intobj : 0.00 0 0 0 0 0
14.99/15.08 c gomory : 0.00 0 0 0 0 0
14.99/15.08 c cgmip : 0.00 0 0 0 0 0
14.99/15.08 c closecuts : 0.00 0 0 0 0 0
14.99/15.08 c strongcg : 0.00 0 0 0 0 0
14.99/15.08 c cmir : 0.00 0 0 0 0 0
14.99/15.08 c flowcover : 0.00 0 0 0 0 0
14.99/15.08 c clique : 0.00 0 0 0 0 0
14.99/15.08 c zerohalf : 0.00 0 0 0 0 0
14.99/15.08 c mcf : 0.00 0 0 0 0 0
14.99/15.08 c oddcycle : 0.00 0 0 0 0 0
14.99/15.08 c rapidlearning : 0.00 0 0 0 0 0
14.99/15.08 c Pricers : Time Calls Vars
14.99/15.08 c problem variables: 0.00 0 0
14.99/15.08 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
14.99/15.08 c pscost : 0.00 0 0 0 0 0 0
14.99/15.08 c inference : 0.00 0 0 0 0 0 0
14.99/15.08 c mostinf : 0.00 0 0 0 0 0 0
14.99/15.08 c leastinf : 0.00 0 0 0 0 0 0
14.99/15.08 c fullstrong : 0.00 0 0 0 0 0 0
14.99/15.08 c allfullstrong : 0.00 0 0 0 0 0 0
14.99/15.08 c random : 0.00 0 0 0 0 0 0
14.99/15.08 c relpscost : 0.00 0 0 0 0 0 0
14.99/15.08 c Primal Heuristics : Time Calls Found
14.99/15.08 c LP solutions : 0.00 - 0
14.99/15.08 c pseudo solutions : 0.00 - 0
14.99/15.08 c trivial : 0.01 1 0
14.99/15.08 c shiftandpropagate: 0.00 0 0
14.99/15.08 c simplerounding : 0.00 0 0
14.99/15.08 c zirounding : 0.00 0 0
14.99/15.08 c rounding : 0.00 0 0
14.99/15.08 c shifting : 0.00 0 0
14.99/15.08 c intshifting : 0.00 0 0
14.99/15.08 c oneopt : 0.00 0 0
14.99/15.08 c twoopt : 0.00 0 0
14.99/15.08 c fixandinfer : 0.00 0 0
14.99/15.08 c feaspump : 0.00 0 0
14.99/15.08 c clique : 0.00 0 0
14.99/15.08 c coefdiving : 0.00 0 0
14.99/15.08 c pscostdiving : 0.00 0 0
14.99/15.08 c fracdiving : 0.00 0 0
14.99/15.08 c veclendiving : 0.00 0 0
14.99/15.08 c intdiving : 0.00 0 0
14.99/15.08 c actconsdiving : 0.00 0 0
14.99/15.08 c objpscostdiving : 0.00 0 0
14.99/15.08 c rootsoldiving : 0.00 0 0
14.99/15.08 c linesearchdiving : 0.00 0 0
14.99/15.08 c guideddiving : 0.00 0 0
14.99/15.08 c octane : 0.00 0 0
14.99/15.08 c rens : 0.00 0 0
14.99/15.08 c rins : 0.00 0 0
14.99/15.08 c localbranching : 0.00 0 0
14.99/15.08 c mutation : 0.00 0 0
14.99/15.08 c crossover : 0.00 0 0
14.99/15.08 c dins : 0.00 0 0
14.99/15.08 c vbounds : 0.00 0 0
14.99/15.08 c undercover : 0.00 0 0
14.99/15.08 c subnlp : 0.00 0 0
14.99/15.08 c trysol : 0.00 0 0
14.99/15.08 c LP : Time Calls Iterations Iter/call Iter/sec
14.99/15.08 c primal LP : 0.00 0 0 0.00 -
14.99/15.08 c dual LP : 13.32 1 16372 16372.00 1229.00
14.99/15.08 c lex dual LP : 0.00 0 0 0.00 -
14.99/15.08 c barrier LP : 0.00 0 0 0.00 -
14.99/15.08 c diving/probing LP: 0.00 0 0 0.00 -
14.99/15.08 c strong branching : 0.00 0 0 0.00 -
14.99/15.08 c (at root node) : - 0 0 0.00 -
14.99/15.08 c conflict analysis: 0.00 0 0 0.00 -
14.99/15.08 c B&B Tree :
14.99/15.08 c number of runs : 1
14.99/15.08 c nodes : 1
14.99/15.08 c nodes (total) : 1
14.99/15.08 c nodes left : 0
14.99/15.08 c max depth : 0
14.99/15.08 c max depth (total): 0
14.99/15.08 c backtracks : 0 (0.0%)
14.99/15.08 c delayed cutoffs : 0
14.99/15.08 c repropagations : 0 (0 domain reductions, 0 cutoffs)
14.99/15.08 c avg switch length: 2.00
14.99/15.08 c switching time : 0.00
14.99/15.08 c Solution :
14.99/15.08 c Solutions found : 0 (0 improvements)
14.99/15.08 c Primal Bound : infeasible
14.99/15.08 c Dual Bound : -
14.99/15.08 c Gap : 0.00 %
14.99/15.08 c Root Dual Bound : -
14.99/15.08 c Root Iterations : 16372
15.09/15.15 c Time complete: 15.15.
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3453368-1307117631/watcher-3453368-1307117631 -o /tmp/evaluation-result-3453368-1307117631/solver-3453368-1307117631 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453368-1307117631.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.02 2.00 2/483 14043 /proc/meminfo: memFree=24400556/32950928 swapFree=61542356/67111528 [pid=14043] ppid=14041 vsize=10752 CPUtime=0 cores=0,2,4,6 /proc/14043/stat : 14043 (scip-2.0.1.4.li) R 14041 14043 12040 0 -1 4202496 1691 0 0 0 0 0 0 0 25 0 1 0 901993809 11010048 1645 33554432000 4194304 9128323 140736409604048 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/14043/statm: 2688 1645 397 1205 0 1479 0 [startup+0.0588479 s] /proc/loadavg: 2.00 2.02 2.00 2/483 14043 /proc/meminfo: memFree=24400556/32950928 swapFree=61542356/67111528 [pid=14043] ppid=14041 vsize=17524 CPUtime=0.05 cores=0,2,4,6 /proc/14043/stat : 14043 (scip-2.0.1.4.li) R 14041 14043 12040 0 -1 4202496 3390 0 0 0 5 0 0 0 25 0 1 0 901993809 17944576 3343 33554432000 4194304 9128323 140736409604048 18446744073709551615 4338627 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/14043/statm: 4381 3343 397 1205 0 3172 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 17524 [startup+0.100841 s] /proc/loadavg: 2.00 2.02 2.00 2/483 14043 /proc/meminfo: memFree=24400556/32950928 swapFree=61542356/67111528 [pid=14043] ppid=14041 vsize=20004 CPUtime=0.09 cores=0,2,4,6 /proc/14043/stat : 14043 (scip-2.0.1.4.li) R 14041 14043 12040 0 -1 4202496 4008 0 0 0 9 0 0 0 25 0 1 0 901993809 20484096 3960 33554432000 4194304 9128323 140736409604048 18446744073709551615 7998217 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/14043/statm: 5001 3960 397 1205 0 3792 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20004 [startup+0.300813 s] /proc/loadavg: 2.00 2.02 2.00 2/483 14043 /proc/meminfo: memFree=24400556/32950928 swapFree=61542356/67111528 [pid=14043] ppid=14041 vsize=59760 CPUtime=0.29 cores=0,2,4,6 /proc/14043/stat : 14043 (scip-2.0.1.4.li) R 14041 14043 12040 0 -1 4202496 13842 0 0 0 28 1 0 0 25 0 1 0 901993809 61194240 13758 33554432000 4194304 9128323 140736409604048 18446744073709551615 4692805 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14043/statm: 14940 13758 456 1205 0 13731 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 59760 [startup+0.70073 s] /proc/loadavg: 2.00 2.02 2.00 2/483 14043 /proc/meminfo: memFree=24400556/32950928 swapFree=61542356/67111528 [pid=14043] ppid=14041 vsize=129228 CPUtime=0.69 cores=0,2,4,6 /proc/14043/stat : 14043 (scip-2.0.1.4.li) R 14041 14043 12040 0 -1 4202496 31602 0 0 0 66 3 0 0 25 0 1 0 901993809 132329472 30746 33554432000 4194304 9128323 140736409604048 18446744073709551615 4832219 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14043/statm: 32307 30746 509 1205 0 31098 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 129228 [startup+1.50059 s] /proc/loadavg: 2.00 2.02 2.00 3/484 14044 /proc/meminfo: memFree=24255716/32950928 swapFree=61542356/67111528 [pid=14043] ppid=14041 vsize=159888 CPUtime=1.49 cores=0,2,4,6 /proc/14043/stat : 14043 (scip-2.0.1.4.li) R 14041 14043 12040 0 -1 4202496 40373 0 0 0 145 4 0 0 25 0 1 0 901993809 163725312 38179 33554432000 4194304 9128323 140736409604048 18446744073709551615 18446744073699066048 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14043/statm: 39972 38179 522 1205 0 38763 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 159888 [startup+3.1003 s] /proc/loadavg: 2.00 2.02 2.00 3/484 14044 /proc/meminfo: memFree=24218496/32950928 swapFree=61542356/67111528 [pid=14043] ppid=14041 vsize=192100 CPUtime=3.09 cores=0,2,4,6 /proc/14043/stat : 14043 (scip-2.0.1.4.li) R 14041 14043 12040 0 -1 4202496 50166 0 0 0 303 6 0 0 19 0 1 0 901993809 196710400 46026 33554432000 4194304 9128323 140736409604048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14043/statm: 48025 46026 653 1205 0 46816 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 192100 [startup+6.3007 s] /proc/loadavg: 2.00 2.02 2.00 3/484 14044 /proc/meminfo: memFree=24215016/32950928 swapFree=61542356/67111528 [pid=14043] ppid=14041 vsize=192956 CPUtime=6.29 cores=0,2,4,6 /proc/14043/stat : 14043 (scip-2.0.1.4.li) R 14041 14043 12040 0 -1 4202496 50533 0 0 0 623 6 0 0 25 0 1 0 901993809 197586944 46378 33554432000 4194304 9128323 140736409604048 18446744073709551615 7315719 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14043/statm: 48239 46378 656 1205 0 47030 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 192956 [startup+12.7005 s] /proc/loadavg: 2.00 2.02 2.00 3/484 14044 /proc/meminfo: memFree=24213920/32950928 swapFree=61542356/67111528 [pid=14043] ppid=14041 vsize=194696 CPUtime=12.69 cores=0,2,4,6 /proc/14043/stat : 14043 (scip-2.0.1.4.li) R 14041 14043 12040 0 -1 4202496 50798 0 0 0 1262 7 0 0 25 0 1 0 901993809 199368704 46643 33554432000 4194304 9128323 140736409604048 18446744073709551615 7315299 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14043/statm: 48674 46643 656 1205 0 47465 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 194696 Solver just ended. Dumping a history of the last processes samples [startup+14.3182 s] /proc/loadavg: 2.00 2.02 2.00 3/484 14044 /proc/meminfo: memFree=24212380/32950928 swapFree=61542356/67111528 [pid=14043] ppid=14041 vsize=196148 CPUtime=14.31 cores=0,2,4,6 /proc/14043/stat : 14043 (scip-2.0.1.4.li) R 14041 14043 12040 0 -1 4202496 51193 0 0 0 1423 8 0 0 25 0 1 0 901993809 200855552 47038 33554432000 4194304 9128323 140736409604048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14043/statm: 49037 47038 656 1205 0 47828 0 Current children cumulated CPU time (s) 14.31 Current children cumulated vsize (KiB) 196148 [startup+14.7012 s] /proc/loadavg: 2.00 2.02 2.00 3/484 14044 /proc/meminfo: memFree=24212380/32950928 swapFree=61542356/67111528 [pid=14043] ppid=14041 vsize=196148 CPUtime=14.69 cores=0,2,4,6 /proc/14043/stat : 14043 (scip-2.0.1.4.li) R 14041 14043 12040 0 -1 4202496 51194 0 0 0 1461 8 0 0 25 0 1 0 901993809 200855552 47039 33554432000 4194304 9128323 140736409604048 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/14043/statm: 49037 47039 656 1205 0 47828 0 Current children cumulated CPU time (s) 14.69 Current children cumulated vsize (KiB) 196148 [startup+15.1011 s] /proc/loadavg: 2.00 2.02 2.00 3/484 14044 /proc/meminfo: memFree=24212380/32950928 swapFree=61542356/67111528 [pid=14043] ppid=14041 vsize=193768 CPUtime=15.09 cores=0,2,4,6 /proc/14043/stat : 14043 (scip-2.0.1.4.li) R 14041 14043 12040 0 -1 4202496 51291 0 0 0 1501 8 0 0 18 0 1 0 901993809 198418432 46567 33554432000 4194304 9128323 140736409604048 18446744073709551615 4210720 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/14043/statm: 48442 46567 670 1205 0 47233 0 Current children cumulated CPU time (s) 15.09 Current children cumulated vsize (KiB) 193768 Child status: 0 Real time (s): 15.16 CPU time (s): 15.1597 CPU user time (s): 15.0677 CPU system time (s): 0.091986 CPU usage (%): 99.9977 Max. virtual memory (cumulated for all children) (KiB): 196148 getrusage(RUSAGE_CHILDREN,...) data: user time used= 15.0677 system time used= 0.091986 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51301 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= 7 involuntary context switches= 9 runsolver used 0.083987 second user time and 0.157975 second system time The end
Begin job on node116 at 2011-06-03 18:13:51 IDJOB=3453368 IDBENCH=75736 IDSOLVER=1949 FILE ID=node116/3453368-1307117631 RUNJOBID= node116-1307109962-13219 PBS_JOBID= 13498000 Free space on /tmp= 73824 MiB SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j60/normalized-j6013_2-unsat.opb COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3453368-1307117631/watcher-3453368-1307117631 -o /tmp/evaluation-result-3453368-1307117631/solver-3453368-1307117631 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453368-1307117631.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c3eb9faf1d58b30f1971366448425ca3 RANDOM SEED=853381389 node116.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.826 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.826 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.826 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.826 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.826 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.826 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.826 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.826 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 24400836 kB Buffers: 238960 kB Cached: 454224 kB SwapCached: 12572 kB Active: 7931964 kB Inactive: 348828 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 24400836 kB SwapTotal: 67111528 kB SwapFree: 61542356 kB Dirty: 13624 kB Writeback: 0 kB AnonPages: 7585616 kB Mapped: 25436 kB Slab: 139080 kB PageTables: 62776 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 140092084 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73812 MiB End job on node116 at 2011-06-03 18:14:07