| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 | UNSAT | 28.3507 | 28.3552 |
| Name | /DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12027_7-unsat.opb |
| MD5SUM | 9cb7abe340995f692b6fcedb078085dd |
| 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 | 0.442932 |
| 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 | 27588 |
| Total number of constraints | 91561 |
| Number of constraints which are clauses | 91109 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 452 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 66 |
| 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 | 21 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 415 |
| 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.01 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3451671-1307116214.opb>
0.49/0.60 c original problem has 27588 variables (27588 bin, 0 int, 0 impl, 0 cont) and 91561 constraints
0.49/0.60 c problem read
0.49/0.60 c No objective function, only one solution is needed.
0.59/0.60 c presolving settings loaded
0.69/0.76 c presolving:
2.48/2.60 c (round 1) 6141 del vars, 17746 del conss, 0 add conss, 4615 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5219916 impls, 0 clqs
3.08/3.18 c (round 2) 13070 del vars, 45342 del conss, 0 add conss, 11138 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5257338 impls, 0 clqs
3.19/3.29 c (round 3) 15543 del vars, 56491 del conss, 0 add conss, 12547 chg bounds, 65 chg sides, 57 chg coeffs, 0 upgd conss, 5277181 impls, 0 clqs
3.30/3.34 c (round 4) 16597 del vars, 60278 del conss, 0 add conss, 13317 chg bounds, 87 chg sides, 81 chg coeffs, 0 upgd conss, 5285769 impls, 0 clqs
3.30/3.39 c (round 5) 17662 del vars, 63443 del conss, 0 add conss, 14012 chg bounds, 87 chg sides, 81 chg coeffs, 0 upgd conss, 5299079 impls, 0 clqs
3.39/3.43 c (round 6) 18568 del vars, 66373 del conss, 0 add conss, 14601 chg bounds, 87 chg sides, 81 chg coeffs, 0 upgd conss, 5310271 impls, 0 clqs
3.39/3.45 c (round 7) 19170 del vars, 68460 del conss, 0 add conss, 15007 chg bounds, 87 chg sides, 81 chg coeffs, 0 upgd conss, 5316042 impls, 0 clqs
3.39/3.47 c (round 8) 19504 del vars, 69656 del conss, 0 add conss, 15212 chg bounds, 87 chg sides, 81 chg coeffs, 0 upgd conss, 5319678 impls, 0 clqs
3.39/3.48 c (round 9) 19718 del vars, 70430 del conss, 0 add conss, 15333 chg bounds, 87 chg sides, 81 chg coeffs, 0 upgd conss, 5322374 impls, 0 clqs
3.39/3.49 c (round 10) 19827 del vars, 70885 del conss, 0 add conss, 15393 chg bounds, 87 chg sides, 81 chg coeffs, 0 upgd conss, 5323568 impls, 0 clqs
3.48/3.50 c (round 11) 19911 del vars, 71201 del conss, 0 add conss, 15451 chg bounds, 87 chg sides, 81 chg coeffs, 0 upgd conss, 5324245 impls, 0 clqs
3.48/3.51 c (round 12) 19933 del vars, 71313 del conss, 0 add conss, 15451 chg bounds, 87 chg sides, 81 chg coeffs, 0 upgd conss, 5324685 impls, 0 clqs
3.48/3.51 c (round 13) 19933 del vars, 71332 del conss, 0 add conss, 15451 chg bounds, 87 chg sides, 81 chg coeffs, 0 upgd conss, 5324685 impls, 0 clqs
3.58/3.60 c (round 14) 19933 del vars, 71332 del conss, 0 add conss, 15451 chg bounds, 87 chg sides, 81 chg coeffs, 20229 upgd conss, 5324685 impls, 0 clqs
3.58/3.67 c (round 15) 19933 del vars, 71332 del conss, 0 add conss, 15451 chg bounds, 98 chg sides, 141 chg coeffs, 20229 upgd conss, 5325493 impls, 338 clqs
3.69/3.71 c presolving (16 rounds):
3.69/3.71 c 19933 deleted vars, 71332 deleted constraints, 0 added constraints, 15451 tightened bounds, 0 added holes, 98 changed sides, 142 changed coefficients
3.69/3.71 c 5325493 implications, 341 cliques
3.69/3.71 c presolved problem has 7655 variables (7655 bin, 0 int, 0 impl, 0 cont) and 20229 constraints
3.69/3.71 c 393 constraints of type <knapsack>
3.69/3.71 c 16328 constraints of type <setppc>
3.69/3.71 c 3508 constraints of type <logicor>
3.69/3.71 c transformed objective value is always integral (scale: 1)
3.69/3.71 c Presolving Time: 2.99
3.69/3.71 c - non default parameters ----------------------------------------------------------------------
3.69/3.71 c # SCIP version 2.0.1.5
3.69/3.71 c
3.69/3.71 c # frequency for displaying node information lines
3.69/3.71 c # [type: int, range: [-1,2147483647], default: 100]
3.69/3.71 c display/freq = 10000
3.69/3.71 c
3.69/3.71 c # maximal time in seconds to run
3.69/3.71 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.69/3.71 c limits/time = 1800
3.69/3.71 c
3.69/3.71 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.69/3.71 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.69/3.71 c limits/memory = 13950
3.69/3.71 c
3.69/3.71 c # solving stops, if the given number of solutions were found (-1: no limit)
3.69/3.71 c # [type: int, range: [-1,2147483647], default: -1]
3.69/3.71 c limits/solutions = 1
3.69/3.71 c
3.69/3.71 c # maximal number of separation rounds per node (-1: unlimited)
3.69/3.71 c # [type: int, range: [-1,2147483647], default: 5]
3.69/3.71 c separating/maxrounds = 1
3.69/3.71 c
3.69/3.71 c # maximal number of separation rounds in the root node (-1: unlimited)
3.69/3.71 c # [type: int, range: [-1,2147483647], default: -1]
3.69/3.71 c separating/maxroundsroot = 5
3.69/3.71 c
3.69/3.71 c # default clock type (1: CPU user seconds, 2: wall clock time)
3.69/3.71 c # [type: int, range: [1,2], default: 1]
3.69/3.71 c timing/clocktype = 2
3.69/3.71 c
3.69/3.71 c # belongs reading time to solving time?
3.69/3.71 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.69/3.71 c timing/reading = TRUE
3.69/3.71 c
3.69/3.71 c # should presolving try to simplify inequalities
3.69/3.71 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.69/3.71 c constraints/linear/simplifyinequalities = TRUE
3.69/3.71 c
3.69/3.71 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
3.69/3.71 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.69/3.71 c constraints/indicator/addCouplingCons = TRUE
3.69/3.71 c
3.69/3.71 c # should disaggregation of knapsack constraints be allowed in preprocessing?
3.69/3.71 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
3.69/3.71 c constraints/knapsack/disaggregation = FALSE
3.69/3.71 c
3.69/3.71 c # should presolving try to simplify knapsacks
3.69/3.71 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.69/3.71 c constraints/knapsack/simplifyinequalities = TRUE
3.69/3.71 c
3.69/3.71 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
3.69/3.71 c # [type: int, range: [-1,2147483647], default: -1]
3.69/3.71 c presolving/probing/maxrounds = 0
3.69/3.71 c
3.69/3.71 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
3.69/3.71 c # [type: int, range: [-1,2147483647], default: 10]
3.69/3.71 c heuristics/coefdiving/freq = -1
3.69/3.71 c
3.69/3.71 c # maximal fraction of diving LP iterations compared to node LP iterations
3.69/3.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.69/3.71 c heuristics/coefdiving/maxlpiterquot = 0.075
3.69/3.71 c
3.69/3.71 c # additional number of allowed LP iterations
3.69/3.71 c # [type: int, range: [0,2147483647], default: 1000]
3.69/3.71 c heuristics/coefdiving/maxlpiterofs = 1500
3.69/3.71 c
3.69/3.71 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
3.69/3.71 c # [type: int, range: [-1,2147483647], default: 30]
3.69/3.71 c heuristics/crossover/freq = -1
3.69/3.71 c
3.69/3.71 c # number of nodes added to the contingent of the total nodes
3.69/3.71 c # [type: longint, range: [0,9223372036854775807], default: 500]
3.69/3.71 c heuristics/crossover/nodesofs = 750
3.69/3.71 c
3.69/3.71 c # number of nodes without incumbent change that heuristic should wait
3.69/3.71 c # [type: longint, range: [0,9223372036854775807], default: 200]
3.69/3.71 c heuristics/crossover/nwaitingnodes = 100
3.69/3.71 c
3.69/3.71 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
3.69/3.71 c # [type: real, range: [0,1], default: 0.1]
3.69/3.71 c heuristics/crossover/nodesquot = 0.15
3.69/3.71 c
3.69/3.71 c # minimum percentage of integer variables that have to be fixed
3.69/3.71 c # [type: real, range: [0,1], default: 0.666]
3.69/3.71 c heuristics/crossover/minfixingrate = 0.5
3.69/3.71 c
3.69/3.71 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
3.69/3.71 c # [type: int, range: [-1,2147483647], default: 20]
3.69/3.71 c heuristics/feaspump/freq = -1
3.69/3.71 c
3.69/3.71 c # additional number of allowed LP iterations
3.69/3.71 c # [type: int, range: [0,2147483647], default: 1000]
3.69/3.71 c heuristics/feaspump/maxlpiterofs = 2000
3.69/3.71 c
3.69/3.71 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
3.69/3.71 c # [type: int, range: [-1,2147483647], default: 10]
3.69/3.71 c heuristics/fracdiving/freq = -1
3.69/3.71 c
3.69/3.71 c # maximal fraction of diving LP iterations compared to node LP iterations
3.69/3.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.69/3.71 c heuristics/fracdiving/maxlpiterquot = 0.075
3.69/3.71 c
3.69/3.71 c # additional number of allowed LP iterations
3.69/3.71 c # [type: int, range: [0,2147483647], default: 1000]
3.69/3.71 c heuristics/fracdiving/maxlpiterofs = 1500
3.69/3.71 c
3.69/3.71 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
3.69/3.71 c # [type: int, range: [-1,2147483647], default: 10]
3.69/3.71 c heuristics/guideddiving/freq = -1
3.69/3.71 c
3.69/3.71 c # maximal fraction of diving LP iterations compared to node LP iterations
3.69/3.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.69/3.71 c heuristics/guideddiving/maxlpiterquot = 0.075
3.69/3.71 c
3.69/3.71 c # additional number of allowed LP iterations
3.69/3.71 c # [type: int, range: [0,2147483647], default: 1000]
3.69/3.71 c heuristics/guideddiving/maxlpiterofs = 1500
3.69/3.71 c
3.69/3.71 c # maximal fraction of diving LP iterations compared to node LP iterations
3.69/3.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.69/3.71 c heuristics/intdiving/maxlpiterquot = 0.075
3.69/3.71 c
3.69/3.71 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
3.69/3.71 c # [type: int, range: [-1,2147483647], default: 10]
3.69/3.71 c heuristics/intshifting/freq = -1
3.69/3.71 c
3.69/3.71 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
3.69/3.71 c # [type: int, range: [-1,2147483647], default: 10]
3.69/3.71 c heuristics/linesearchdiving/freq = -1
3.69/3.71 c
3.69/3.71 c # maximal fraction of diving LP iterations compared to node LP iterations
3.69/3.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.69/3.71 c heuristics/linesearchdiving/maxlpiterquot = 0.075
3.69/3.71 c
3.69/3.71 c # additional number of allowed LP iterations
3.69/3.71 c # [type: int, range: [0,2147483647], default: 1000]
3.69/3.71 c heuristics/linesearchdiving/maxlpiterofs = 1500
3.69/3.71 c
3.69/3.71 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
3.69/3.71 c # [type: int, range: [-1,2147483647], default: 20]
3.69/3.71 c heuristics/objpscostdiving/freq = -1
3.69/3.71 c
3.69/3.71 c # maximal fraction of diving LP iterations compared to total iteration number
3.69/3.71 c # [type: real, range: [0,1], default: 0.01]
3.69/3.71 c heuristics/objpscostdiving/maxlpiterquot = 0.015
3.69/3.71 c
3.69/3.71 c # additional number of allowed LP iterations
3.69/3.71 c # [type: int, range: [0,2147483647], default: 1000]
3.69/3.71 c heuristics/objpscostdiving/maxlpiterofs = 1500
3.69/3.71 c
3.69/3.71 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
3.69/3.71 c # [type: int, range: [-1,2147483647], default: 1]
3.69/3.71 c heuristics/oneopt/freq = -1
3.69/3.71 c
3.69/3.71 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
3.69/3.71 c # [type: int, range: [-1,2147483647], default: 10]
3.69/3.71 c heuristics/pscostdiving/freq = -1
3.69/3.71 c
3.69/3.71 c # maximal fraction of diving LP iterations compared to node LP iterations
3.69/3.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.69/3.71 c heuristics/pscostdiving/maxlpiterquot = 0.075
3.69/3.71 c
3.69/3.71 c # additional number of allowed LP iterations
3.69/3.71 c # [type: int, range: [0,2147483647], default: 1000]
3.69/3.71 c heuristics/pscostdiving/maxlpiterofs = 1500
3.69/3.71 c
3.69/3.71 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
3.69/3.71 c # [type: int, range: [-1,2147483647], default: 0]
3.69/3.71 c heuristics/rens/freq = -1
3.69/3.71 c
3.69/3.71 c # minimum percentage of integer variables that have to be fixable
3.69/3.71 c # [type: real, range: [0,1], default: 0.5]
3.69/3.71 c heuristics/rens/minfixingrate = 0.3
3.69/3.71 c
3.69/3.71 c # number of nodes added to the contingent of the total nodes
3.69/3.71 c # [type: longint, range: [0,9223372036854775807], default: 500]
3.69/3.71 c heuristics/rens/nodesofs = 2000
3.69/3.71 c
3.69/3.71 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
3.69/3.71 c # [type: int, range: [-1,2147483647], default: 20]
3.69/3.71 c heuristics/rootsoldiving/freq = -1
3.69/3.71 c
3.69/3.71 c # maximal fraction of diving LP iterations compared to node LP iterations
3.69/3.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
3.69/3.71 c heuristics/rootsoldiving/maxlpiterquot = 0.015
3.69/3.71 c
3.69/3.71 c # additional number of allowed LP iterations
3.69/3.71 c # [type: int, range: [0,2147483647], default: 1000]
3.69/3.71 c heuristics/rootsoldiving/maxlpiterofs = 1500
3.69/3.71 c
3.69/3.71 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
3.69/3.71 c # [type: int, range: [-1,2147483647], default: 1]
3.69/3.71 c heuristics/rounding/freq = -1
3.69/3.71 c
3.69/3.71 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
3.69/3.71 c # [type: int, range: [-1,2147483647], default: 0]
3.69/3.71 c heuristics/shiftandpropagate/freq = -1
3.69/3.71 c
3.69/3.71 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
3.69/3.71 c # [type: int, range: [-1,2147483647], default: 10]
3.69/3.71 c heuristics/shifting/freq = -1
3.69/3.71 c
3.69/3.71 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
3.69/3.71 c # [type: int, range: [-1,2147483647], default: 1]
3.69/3.71 c heuristics/simplerounding/freq = -1
3.69/3.71 c
3.69/3.71 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
3.69/3.71 c # [type: int, range: [-1,2147483647], default: 1]
3.69/3.71 c heuristics/subnlp/freq = -1
3.69/3.71 c
3.69/3.71 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
3.69/3.71 c # [type: int, range: [-1,2147483647], default: 0]
3.69/3.71 c heuristics/trivial/freq = -1
3.69/3.71 c
3.69/3.71 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
3.69/3.71 c # [type: int, range: [-1,2147483647], default: 1]
3.69/3.71 c heuristics/trysol/freq = -1
3.69/3.71 c
3.69/3.71 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
3.69/3.71 c # [type: int, range: [-1,2147483647], default: 0]
3.69/3.71 c heuristics/undercover/freq = -1
3.69/3.71 c
3.69/3.71 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
3.69/3.71 c # [type: int, range: [-1,2147483647], default: 10]
3.69/3.71 c heuristics/veclendiving/freq = -1
3.69/3.71 c
3.69/3.71 c # maximal fraction of diving LP iterations compared to node LP iterations
3.69/3.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.69/3.71 c heuristics/veclendiving/maxlpiterquot = 0.075
3.69/3.71 c
3.69/3.71 c # additional number of allowed LP iterations
3.69/3.71 c # [type: int, range: [0,2147483647], default: 1000]
3.69/3.71 c heuristics/veclendiving/maxlpiterofs = 1500
3.69/3.71 c
3.69/3.71 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
3.69/3.71 c # [type: int, range: [-1,2147483647], default: 1]
3.69/3.71 c heuristics/zirounding/freq = -1
3.69/3.71 c
3.69/3.71 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
3.69/3.71 c # [type: int, range: [-1,2147483647], default: 0]
3.69/3.71 c separating/cmir/freq = -1
3.69/3.71 c
3.69/3.71 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
3.69/3.71 c # [type: int, range: [-1,2147483647], default: 0]
3.69/3.71 c separating/flowcover/freq = -1
3.69/3.71 c
3.69/3.71 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.69/3.71 c # [type: int, range: [-1,2147483647], default: -1]
3.69/3.71 c separating/rapidlearning/freq = 0
3.69/3.71 c
3.69/3.71 c -----------------------------------------------------------------------------------------------
3.69/3.71 c start solving
3.69/3.71 c
28.18/28.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.18/28.22 c 28.2s| 1 | 0 | 21563 | - | 141M| 0 | - |7655 | 20k|7655 | 20k| 0 | 0 | 0 | cutoff | -- | 0.00%
28.18/28.22 c 28.2s| 1 | 0 | 21563 | - | 141M| 0 | - |7655 | 20k|7655 | 20k| 0 | 0 | 0 | cutoff | -- | 0.00%
28.18/28.22 c
28.18/28.22 c SCIP Status : problem is solved [infeasible]
28.18/28.22 c Solving Time (sec) : 28.22
28.18/28.22 c Solving Nodes : 1
28.18/28.22 c Primal Bound : +1.00000000000000e+20 (0 solutions)
28.18/28.22 c Dual Bound : +1.00000000000000e+20
28.18/28.22 c Gap : 0.00 %
28.18/28.22 s UNSATISFIABLE
28.18/28.22 c SCIP Status : problem is solved [infeasible]
28.18/28.22 c Total Time : 28.22
28.18/28.22 c solving : 28.22
28.18/28.22 c presolving : 2.99 (included in solving)
28.18/28.22 c reading : 0.59 (included in solving)
28.18/28.22 c Original Problem :
28.18/28.22 c Problem name : HOME/instance-3451671-1307116214.opb
28.18/28.22 c Variables : 27588 (27588 binary, 0 integer, 0 implicit integer, 0 continuous)
28.18/28.22 c Constraints : 91561 initial, 91561 maximal
28.18/28.22 c Presolved Problem :
28.18/28.22 c Problem name : t_HOME/instance-3451671-1307116214.opb
28.18/28.22 c Variables : 7655 (7655 binary, 0 integer, 0 implicit integer, 0 continuous)
28.18/28.22 c Constraints : 20229 initial, 20229 maximal
28.18/28.22 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
28.18/28.22 c trivial : 0.01 878 0 0 0 0 0 0 0 0
28.18/28.22 c dualfix : 0.01 105 0 0 0 0 0 0 0 0
28.18/28.22 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
28.18/28.22 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
28.18/28.22 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
28.18/28.22 c implics : 0.05 0 0 0 0 0 0 0 0 0
28.18/28.22 c probing : 0.00 0 0 0 0 0 0 0 0 0
28.18/28.22 c knapsack : 0.06 0 0 0 0 0 0 0 11 61
28.18/28.22 c setppc : 0.03 0 0 0 0 0 0 0 0 0
28.18/28.22 c linear : 2.69 14573 4377 0 15451 0 71332 0 87 81
28.18/28.22 c logicor : 0.03 0 0 0 0 0 0 0 0 0
28.18/28.22 c root node : - 0 - - 0 - - - - -
28.18/28.22 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
28.18/28.22 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
28.18/28.22 c knapsack : 393 0 1 0 0 0 0 0 0 0 0 0
28.18/28.22 c setppc : 16328 0 1 0 0 0 0 0 0 0 0 0
28.18/28.22 c logicor : 3508 0 1 0 0 0 0 0 0 0 0 0
28.18/28.22 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
28.18/28.22 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
28.18/28.22 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
28.18/28.22 c knapsack : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
28.18/28.22 c setppc : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
28.18/28.22 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
28.18/28.22 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
28.18/28.22 c Propagators : #Propagate #Resprop Cutoffs DomReds
28.18/28.22 c vbounds : 0 0 0 0
28.18/28.22 c rootredcost : 0 0 0 0
28.18/28.22 c pseudoobj : 0 0 0 0
28.18/28.22 c Propagator Timings : TotalTime Propagate Resprop
28.18/28.22 c vbounds : 0.00 0.00 0.00
28.18/28.22 c rootredcost : 0.00 0.00 0.00
28.18/28.22 c pseudoobj : 0.00 0.00 0.00
28.18/28.22 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
28.18/28.22 c propagation : 0.00 0 0 0 0.0 0 0.0 -
28.18/28.22 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
28.18/28.22 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
28.18/28.22 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
28.18/28.22 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
28.18/28.22 c applied globally : - - - 0 0.0 - - -
28.18/28.22 c applied locally : - - - 0 0.0 - - -
28.18/28.22 c Separators : Time Calls Cutoffs DomReds Cuts Conss
28.18/28.22 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
28.18/28.22 c redcost : 0.00 0 0 0 0 0
28.18/28.22 c impliedbounds : 0.00 0 0 0 0 0
28.18/28.22 c intobj : 0.00 0 0 0 0 0
28.18/28.22 c gomory : 0.00 0 0 0 0 0
28.18/28.22 c cgmip : 0.00 0 0 0 0 0
28.18/28.22 c closecuts : 0.00 0 0 0 0 0
28.18/28.22 c strongcg : 0.00 0 0 0 0 0
28.18/28.22 c cmir : 0.00 0 0 0 0 0
28.18/28.22 c flowcover : 0.00 0 0 0 0 0
28.18/28.22 c clique : 0.00 0 0 0 0 0
28.18/28.22 c zerohalf : 0.00 0 0 0 0 0
28.18/28.22 c mcf : 0.00 0 0 0 0 0
28.18/28.22 c oddcycle : 0.00 0 0 0 0 0
28.18/28.22 c rapidlearning : 0.00 0 0 0 0 0
28.18/28.22 c Pricers : Time Calls Vars
28.18/28.22 c problem variables: 0.00 0 0
28.18/28.22 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
28.18/28.22 c pscost : 0.00 0 0 0 0 0 0
28.18/28.22 c inference : 0.00 0 0 0 0 0 0
28.18/28.22 c mostinf : 0.00 0 0 0 0 0 0
28.18/28.22 c leastinf : 0.00 0 0 0 0 0 0
28.18/28.22 c fullstrong : 0.00 0 0 0 0 0 0
28.18/28.22 c allfullstrong : 0.00 0 0 0 0 0 0
28.18/28.22 c random : 0.00 0 0 0 0 0 0
28.18/28.22 c relpscost : 0.00 0 0 0 0 0 0
28.18/28.22 c Primal Heuristics : Time Calls Found
28.18/28.22 c LP solutions : 0.00 - 0
28.18/28.22 c pseudo solutions : 0.00 - 0
28.18/28.22 c trivial : 0.02 1 0
28.18/28.22 c shiftandpropagate: 0.00 0 0
28.18/28.22 c simplerounding : 0.00 0 0
28.18/28.22 c zirounding : 0.00 0 0
28.18/28.22 c rounding : 0.00 0 0
28.18/28.22 c shifting : 0.00 0 0
28.18/28.22 c intshifting : 0.00 0 0
28.18/28.22 c oneopt : 0.00 0 0
28.18/28.22 c twoopt : 0.00 0 0
28.18/28.22 c fixandinfer : 0.00 0 0
28.18/28.22 c feaspump : 0.00 0 0
28.18/28.22 c clique : 0.00 0 0
28.18/28.22 c coefdiving : 0.00 0 0
28.18/28.22 c pscostdiving : 0.00 0 0
28.18/28.22 c fracdiving : 0.00 0 0
28.18/28.22 c veclendiving : 0.00 0 0
28.18/28.22 c intdiving : 0.00 0 0
28.18/28.22 c actconsdiving : 0.00 0 0
28.18/28.22 c objpscostdiving : 0.00 0 0
28.18/28.22 c rootsoldiving : 0.00 0 0
28.18/28.22 c linesearchdiving : 0.00 0 0
28.18/28.22 c guideddiving : 0.00 0 0
28.18/28.22 c octane : 0.00 0 0
28.18/28.22 c rens : 0.00 0 0
28.18/28.22 c rins : 0.00 0 0
28.18/28.22 c localbranching : 0.00 0 0
28.18/28.22 c mutation : 0.00 0 0
28.18/28.22 c crossover : 0.00 0 0
28.18/28.22 c dins : 0.00 0 0
28.18/28.22 c vbounds : 0.00 0 0
28.18/28.22 c undercover : 0.00 0 0
28.18/28.22 c subnlp : 0.00 0 0
28.18/28.22 c trysol : 0.00 0 0
28.18/28.22 c LP : Time Calls Iterations Iter/call Iter/sec
28.18/28.22 c primal LP : 0.00 0 0 0.00 -
28.18/28.22 c dual LP : 24.47 1 21563 21563.00 881.34
28.18/28.22 c lex dual LP : 0.00 0 0 0.00 -
28.18/28.22 c barrier LP : 0.00 0 0 0.00 -
28.18/28.22 c diving/probing LP: 0.00 0 0 0.00 -
28.18/28.22 c strong branching : 0.00 0 0 0.00 -
28.18/28.22 c (at root node) : - 0 0 0.00 -
28.18/28.22 c conflict analysis: 0.00 0 0 0.00 -
28.18/28.22 c B&B Tree :
28.18/28.22 c number of runs : 1
28.18/28.22 c nodes : 1
28.18/28.22 c nodes (total) : 1
28.18/28.22 c nodes left : 0
28.18/28.22 c max depth : 0
28.18/28.22 c max depth (total): 0
28.18/28.22 c backtracks : 0 (0.0%)
28.18/28.22 c delayed cutoffs : 0
28.18/28.22 c repropagations : 0 (0 domain reductions, 0 cutoffs)
28.18/28.22 c avg switch length: 2.00
28.18/28.22 c switching time : 0.00
28.18/28.22 c Solution :
28.18/28.22 c Solutions found : 0 (0 improvements)
28.18/28.22 c Primal Bound : infeasible
28.18/28.22 c Dual Bound : -
28.18/28.22 c Gap : 0.00 %
28.18/28.22 c Root Dual Bound : -
28.18/28.22 c Root Iterations : 21563
28.28/28.35 c Time complete: 28.34.
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-3451671-1307116214/watcher-3451671-1307116214 -o /tmp/evaluation-result-3451671-1307116214/solver-3451671-1307116214 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451671-1307116214.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.01 2.00 3/461 15294 /proc/meminfo: memFree=28251092/32951124 swapFree=41830676/67111528 [pid=15294] ppid=15292 vsize=13008 CPUtime=0 cores=1,3,5,7 /proc/15294/stat : 15294 (scip-2.0.1.4b.l) R 15292 15294 12829 0 -1 4202496 2231 0 0 0 0 0 0 0 25 0 1 0 823219375 13320192 2184 33554432000 4194304 9163163 140734543138080 18446744073709551615 8013931 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15294/statm: 3252 2184 392 1214 0 2034 0 [startup+0.0628981 s] /proc/loadavg: 2.00 2.01 2.00 3/461 15294 /proc/meminfo: memFree=28251092/32951124 swapFree=41830676/67111528 [pid=15294] ppid=15292 vsize=23308 CPUtime=0.05 cores=1,3,5,7 /proc/15294/stat : 15294 (scip-2.0.1.4b.l) R 15292 15294 12829 0 -1 4202496 4825 0 0 0 5 0 0 0 25 0 1 0 823219375 23867392 4778 33554432000 4194304 9163163 140734543138080 18446744073709551615 8041824 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15294/statm: 5827 4778 392 1214 0 4609 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 23308 [startup+0.100902 s] /proc/loadavg: 2.00 2.01 2.00 3/461 15294 /proc/meminfo: memFree=28251092/32951124 swapFree=41830676/67111528 [pid=15294] ppid=15292 vsize=29032 CPUtime=0.08 cores=1,3,5,7 /proc/15294/stat : 15294 (scip-2.0.1.4b.l) R 15292 15294 12829 0 -1 4202496 6250 0 0 0 8 0 0 0 25 0 1 0 823219375 29728768 6203 33554432000 4194304 9163163 140734543138080 18446744073709551615 6560880 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15294/statm: 7258 6203 392 1214 0 6040 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 29032 [startup+0.300864 s] /proc/loadavg: 2.00 2.01 2.00 3/461 15294 /proc/meminfo: memFree=28251092/32951124 swapFree=41830676/67111528 [pid=15294] ppid=15292 vsize=41084 CPUtime=0.29 cores=1,3,5,7 /proc/15294/stat : 15294 (scip-2.0.1.4b.l) R 15292 15294 12829 0 -1 4202496 9255 0 0 0 28 1 0 0 25 0 1 0 823219375 42070016 9208 33554432000 4194304 9163163 140734543138080 18446744073709551615 8041849 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15294/statm: 10271 9208 392 1214 0 9053 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 41084 [startup+0.700784 s] /proc/loadavg: 2.00 2.01 2.00 3/461 15294 /proc/meminfo: memFree=28251092/32951124 swapFree=41830676/67111528 [pid=15294] ppid=15292 vsize=137124 CPUtime=0.69 cores=1,3,5,7 /proc/15294/stat : 15294 (scip-2.0.1.4b.l) R 15292 15294 12829 0 -1 4202496 33219 0 0 0 66 3 0 0 25 0 1 0 823219375 140414976 33104 33554432000 4194304 9163163 140734543138080 18446744073709551615 8045040 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15294/statm: 34281 33104 437 1214 0 33063 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 137124 [startup+1.50065 s] /proc/loadavg: 2.00 2.01 2.00 3/462 15295 /proc/meminfo: memFree=28071656/32951124 swapFree=41830676/67111528 [pid=15294] ppid=15292 vsize=241156 CPUtime=1.49 cores=1,3,5,7 /proc/15294/stat : 15294 (scip-2.0.1.4b.l) R 15292 15294 12829 0 -1 4202496 58589 0 0 0 144 5 0 0 25 0 1 0 823219375 246943744 58474 33554432000 4194304 9163163 140734543138080 18446744073709551615 6567488 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15294/statm: 60289 58474 505 1214 0 59071 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 241156 [startup+3.10035 s] /proc/loadavg: 2.00 2.01 2.00 3/462 15295 /proc/meminfo: memFree=27978292/32951124 swapFree=41830676/67111528 [pid=15294] ppid=15292 vsize=299680 CPUtime=3.08 cores=1,3,5,7 /proc/15294/stat : 15294 (scip-2.0.1.4b.l) R 15292 15294 12829 0 -1 4202496 72827 0 0 0 302 6 0 0 25 0 1 0 823219375 306872320 72455 33554432000 4194304 9163163 140734543138080 18446744073709551615 6563475 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15294/statm: 74920 72455 517 1214 0 73702 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 299680 [startup+6.30077 s] /proc/loadavg: 2.00 2.01 2.00 3/462 15295 /proc/meminfo: memFree=27928292/32951124 swapFree=41830676/67111528 [pid=15294] ppid=15292 vsize=333660 CPUtime=6.29 cores=1,3,5,7 /proc/15294/stat : 15294 (scip-2.0.1.4b.l) R 15292 15294 12829 0 -1 4202496 84838 0 0 0 619 10 0 0 22 0 1 0 823219375 341667840 80675 33554432000 4194304 9163163 140734543138080 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15294/statm: 83415 80675 666 1214 0 82197 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 333660 [startup+12.7006 s] /proc/loadavg: 2.00 2.01 2.00 3/462 15295 /proc/meminfo: memFree=27923728/32951124 swapFree=41830676/67111528 [pid=15294] ppid=15292 vsize=337844 CPUtime=12.69 cores=1,3,5,7 /proc/15294/stat : 15294 (scip-2.0.1.4b.l) R 15292 15294 12829 0 -1 4202496 85910 0 0 0 1255 14 0 0 25 0 1 0 823219375 345952256 81726 33554432000 4194304 9163163 140734543138080 18446744073709551615 7317967 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15294/statm: 84461 81726 655 1214 0 83243 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 337844 [startup+25.5003 s] /proc/loadavg: 2.00 2.01 2.00 3/462 15295 /proc/meminfo: memFree=27923384/32951124 swapFree=41830676/67111528 [pid=15294] ppid=15292 vsize=337844 CPUtime=25.49 cores=1,3,5,7 /proc/15294/stat : 15294 (scip-2.0.1.4b.l) R 15292 15294 12829 0 -1 4202496 85927 0 0 0 2532 17 0 0 25 0 1 0 823219375 345952256 81743 33554432000 4194304 9163163 140734543138080 18446744073709551615 7394659 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15294/statm: 84461 81743 655 1214 0 83243 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 337844 Solver just ended. Dumping a history of the last processes samples [startup+27.101 s] /proc/loadavg: 2.16 2.04 2.01 3/462 15295 /proc/meminfo: memFree=27923516/32951124 swapFree=41830676/67111528 [pid=15294] ppid=15292 vsize=337844 CPUtime=27.08 cores=1,3,5,7 /proc/15294/stat : 15294 (scip-2.0.1.4b.l) R 15292 15294 12829 0 -1 4202496 85927 0 0 0 2691 17 0 0 25 0 1 0 823219375 345952256 81743 33554432000 4194304 9163163 140734543138080 18446744073709551615 7349027 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15294/statm: 84461 81743 655 1214 0 83243 0 Current children cumulated CPU time (s) 27.08 Current children cumulated vsize (KiB) 337844 [startup+27.9008 s] /proc/loadavg: 2.16 2.04 2.01 3/462 15295 /proc/meminfo: memFree=27923264/32951124 swapFree=41830676/67111528 [pid=15294] ppid=15292 vsize=337844 CPUtime=27.88 cores=1,3,5,7 /proc/15294/stat : 15294 (scip-2.0.1.4b.l) R 15292 15294 12829 0 -1 4202496 85927 0 0 0 2771 17 0 0 25 0 1 0 823219375 345952256 81743 33554432000 4194304 9163163 140734543138080 18446744073709551615 7317919 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/15294/statm: 84461 81743 655 1214 0 83243 0 Current children cumulated CPU time (s) 27.88 Current children cumulated vsize (KiB) 337844 [startup+28.3008 s] /proc/loadavg: 2.16 2.04 2.01 3/462 15295 /proc/meminfo: memFree=27923264/32951124 swapFree=41830676/67111528 [pid=15294] ppid=15292 vsize=314084 CPUtime=28.28 cores=1,3,5,7 /proc/15294/stat : 15294 (scip-2.0.1.4b.l) R 15292 15294 12829 0 -1 4202496 85995 0 0 0 2811 17 0 0 18 0 1 0 823219375 321622016 75888 33554432000 4194304 9163163 140734543138080 18446744073709551615 6918256 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15294/statm: 78521 75888 667 1214 0 77303 0 Current children cumulated CPU time (s) 28.28 Current children cumulated vsize (KiB) 314084 Child status: 0 Real time (s): 28.3552 CPU time (s): 28.3507 CPU user time (s): 28.1557 CPU system time (s): 0.19497 CPU usage (%): 99.984 Max. virtual memory (cumulated for all children) (KiB): 337844 getrusage(RUSAGE_CHILDREN,...) data: user time used= 28.1557 system time used= 0.19497 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 86002 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= 60 runsolver used 0.106983 second user time and 0.311952 second system time The end
Begin job on node138 at 2011-06-03 17:50:14 IDJOB=3451671 IDBENCH=74228 IDSOLVER=1948 FILE ID=node138/3451671-1307116214 RUNJOBID= node138-1307106520-13794 PBS_JOBID= 13497998 Free space on /tmp= 73640 MiB SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12027_7-unsat.opb COMMAND LINE= HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3451671-1307116214/watcher-3451671-1307116214 -o /tmp/evaluation-result-3451671-1307116214/solver-3451671-1307116214 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451671-1307116214.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9cb7abe340995f692b6fcedb078085dd RANDOM SEED=1285227817 node138.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.854 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.70 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.854 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 : 5332.75 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.854 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.82 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.854 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.854 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.80 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.854 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.854 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.82 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.854 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: 32951124 kB MemFree: 28251372 kB Buffers: 297632 kB Cached: 1095308 kB SwapCached: 44568 kB Active: 2615864 kB Inactive: 1794032 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28251372 kB SwapTotal: 67111528 kB SwapFree: 41830676 kB Dirty: 30248 kB Writeback: 0 kB AnonPages: 2983420 kB Mapped: 19252 kB Slab: 128524 kB PageTables: 93516 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 131063548 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= 73628 MiB End job on node138 at 2011-06-03 17:50:42