| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP spx E_2 2011-06-10 (fixed) | UNSAT | 63.4004 | 63.3998 |
| Name | /DEC-SMALLINT-LIN/oliveras/j120/ normalized-j12038_8-unsat.opb |
| MD5SUM | a4c61139e0eb75a13e9da4d40232e606 |
| 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 | 58.4571 |
| 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 | 29040 |
| Total number of constraints | 96434 |
| Number of constraints which are clauses | 95958 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 476 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 120 |
| 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 | 40 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 740 |
| Number of bits of the biggest sum of numbers | 10 |
| 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.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3489600-1307790990.opb>
0.49/0.53 c original problem has 29040 variables (29040 bin, 0 int, 0 impl, 0 cont) and 96434 constraints
0.49/0.53 c problem read
0.49/0.54 c No objective function, only one solution is needed.
0.49/0.54 c presolving settings loaded
0.69/0.72 c presolving:
2.99/3.02 c (round 1) 6687 del vars, 19660 del conss, 0 add conss, 4985 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5359024 impls, 0 clqs
3.99/4.04 c (round 2) 14159 del vars, 48261 del conss, 0 add conss, 11986 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5402729 impls, 0 clqs
4.09/4.19 c (round 3) 16664 del vars, 60179 del conss, 0 add conss, 13462 chg bounds, 16 chg sides, 25 chg coeffs, 0 upgd conss, 5416545 impls, 0 clqs
4.19/4.26 c (round 4) 17592 del vars, 63891 del conss, 0 add conss, 14105 chg bounds, 40 chg sides, 60 chg coeffs, 0 upgd conss, 5426135 impls, 0 clqs
4.29/4.31 c (round 5) 18275 del vars, 66177 del conss, 0 add conss, 14529 chg bounds, 42 chg sides, 67 chg coeffs, 0 upgd conss, 5434363 impls, 0 clqs
4.29/4.34 c (round 6) 18664 del vars, 67612 del conss, 0 add conss, 14750 chg bounds, 42 chg sides, 67 chg coeffs, 0 upgd conss, 5438491 impls, 0 clqs
4.29/4.36 c (round 7) 18912 del vars, 68445 del conss, 0 add conss, 14901 chg bounds, 42 chg sides, 67 chg coeffs, 0 upgd conss, 5441206 impls, 0 clqs
4.29/4.38 c (round 8) 19066 del vars, 69049 del conss, 0 add conss, 14975 chg bounds, 42 chg sides, 67 chg coeffs, 0 upgd conss, 5443218 impls, 0 clqs
4.29/4.39 c (round 9) 19184 del vars, 69434 del conss, 0 add conss, 15033 chg bounds, 42 chg sides, 67 chg coeffs, 0 upgd conss, 5445104 impls, 0 clqs
4.39/4.41 c (round 10) 19266 del vars, 69712 del conss, 0 add conss, 15078 chg bounds, 42 chg sides, 67 chg coeffs, 0 upgd conss, 5446164 impls, 0 clqs
4.39/4.42 c (round 11) 19309 del vars, 69889 del conss, 0 add conss, 15101 chg bounds, 42 chg sides, 67 chg coeffs, 0 upgd conss, 5446546 impls, 0 clqs
4.39/4.43 c (round 12) 19341 del vars, 70026 del conss, 0 add conss, 15110 chg bounds, 42 chg sides, 67 chg coeffs, 0 upgd conss, 5447066 impls, 0 clqs
4.39/4.44 c (round 13) 19346 del vars, 70056 del conss, 0 add conss, 15111 chg bounds, 42 chg sides, 67 chg coeffs, 0 upgd conss, 5447170 impls, 0 clqs
4.49/4.54 c (round 14) 19346 del vars, 70058 del conss, 0 add conss, 15111 chg bounds, 42 chg sides, 67 chg coeffs, 26376 upgd conss, 5447170 impls, 0 clqs
4.69/4.71 c (round 15) 19346 del vars, 70058 del conss, 0 add conss, 15111 chg bounds, 105 chg sides, 253 chg coeffs, 26376 upgd conss, 5447170 impls, 0 clqs
4.69/4.75 c (round 16) 19346 del vars, 70058 del conss, 0 add conss, 15111 chg bounds, 109 chg sides, 330 chg coeffs, 26376 upgd conss, 5447170 impls, 3 clqs
4.69/4.78 c presolving (17 rounds):
4.69/4.78 c 19346 deleted vars, 70058 deleted constraints, 0 added constraints, 15111 tightened bounds, 0 added holes, 111 changed sides, 364 changed coefficients
4.69/4.78 c 5447170 implications, 10 cliques
4.69/4.78 c presolved problem has 9694 variables (9694 bin, 0 int, 0 impl, 0 cont) and 26376 constraints
4.69/4.78 c 444 constraints of type <knapsack>
4.69/4.78 c 21414 constraints of type <setppc>
4.69/4.78 c 4518 constraints of type <logicor>
4.69/4.78 c transformed objective value is always integral (scale: 1)
4.69/4.78 c Presolving Time: 4.11
4.69/4.78 c - non default parameters ----------------------------------------------------------------------
4.69/4.78 c # SCIP version 2.0.1.5
4.69/4.78 c
4.69/4.78 c # frequency for displaying node information lines
4.69/4.78 c # [type: int, range: [-1,2147483647], default: 100]
4.69/4.78 c display/freq = 10000
4.69/4.78 c
4.69/4.78 c # maximal time in seconds to run
4.69/4.78 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.69/4.78 c limits/time = 1797
4.69/4.78 c
4.69/4.78 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.69/4.78 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.69/4.78 c limits/memory = 13950
4.69/4.78 c
4.69/4.78 c # solving stops, if the given number of solutions were found (-1: no limit)
4.69/4.78 c # [type: int, range: [-1,2147483647], default: -1]
4.69/4.78 c limits/solutions = 1
4.69/4.78 c
4.69/4.78 c # maximal number of separation rounds per node (-1: unlimited)
4.69/4.78 c # [type: int, range: [-1,2147483647], default: 5]
4.69/4.78 c separating/maxrounds = 1
4.69/4.78 c
4.69/4.78 c # maximal number of separation rounds in the root node (-1: unlimited)
4.69/4.78 c # [type: int, range: [-1,2147483647], default: -1]
4.69/4.78 c separating/maxroundsroot = 5
4.69/4.78 c
4.69/4.78 c # default clock type (1: CPU user seconds, 2: wall clock time)
4.69/4.78 c # [type: int, range: [1,2], default: 1]
4.69/4.78 c timing/clocktype = 2
4.69/4.78 c
4.69/4.78 c # belongs reading time to solving time?
4.69/4.78 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.69/4.78 c timing/reading = TRUE
4.69/4.78 c
4.69/4.78 c # should presolving try to simplify inequalities
4.69/4.78 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.69/4.78 c constraints/linear/simplifyinequalities = TRUE
4.69/4.78 c
4.69/4.78 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
4.69/4.78 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.69/4.78 c constraints/indicator/addCouplingCons = TRUE
4.69/4.78 c
4.69/4.78 c # should disaggregation of knapsack constraints be allowed in preprocessing?
4.69/4.78 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
4.69/4.78 c constraints/knapsack/disaggregation = FALSE
4.69/4.78 c
4.69/4.78 c # should presolving try to simplify knapsacks
4.69/4.78 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.69/4.78 c constraints/knapsack/simplifyinequalities = TRUE
4.69/4.78 c
4.69/4.78 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
4.69/4.78 c # [type: int, range: [-1,2147483647], default: -1]
4.69/4.78 c presolving/probing/maxrounds = 0
4.69/4.78 c
4.69/4.78 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
4.69/4.78 c # [type: int, range: [-1,2147483647], default: 10]
4.69/4.78 c heuristics/coefdiving/freq = -1
4.69/4.78 c
4.69/4.78 c # maximal fraction of diving LP iterations compared to node LP iterations
4.69/4.78 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
4.69/4.78 c heuristics/coefdiving/maxlpiterquot = 0.075
4.69/4.78 c
4.69/4.78 c # additional number of allowed LP iterations
4.69/4.78 c # [type: int, range: [0,2147483647], default: 1000]
4.69/4.78 c heuristics/coefdiving/maxlpiterofs = 1500
4.69/4.78 c
4.69/4.78 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
4.69/4.78 c # [type: int, range: [-1,2147483647], default: 30]
4.69/4.78 c heuristics/crossover/freq = -1
4.69/4.78 c
4.69/4.78 c # number of nodes added to the contingent of the total nodes
4.69/4.78 c # [type: longint, range: [0,9223372036854775807], default: 500]
4.69/4.78 c heuristics/crossover/nodesofs = 750
4.69/4.78 c
4.69/4.78 c # number of nodes without incumbent change that heuristic should wait
4.69/4.78 c # [type: longint, range: [0,9223372036854775807], default: 200]
4.69/4.78 c heuristics/crossover/nwaitingnodes = 100
4.69/4.78 c
4.69/4.78 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
4.69/4.78 c # [type: real, range: [0,1], default: 0.1]
4.69/4.78 c heuristics/crossover/nodesquot = 0.15
4.69/4.78 c
4.69/4.78 c # minimum percentage of integer variables that have to be fixed
4.69/4.78 c # [type: real, range: [0,1], default: 0.666]
4.69/4.78 c heuristics/crossover/minfixingrate = 0.5
4.69/4.78 c
4.69/4.78 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
4.69/4.78 c # [type: int, range: [-1,2147483647], default: 20]
4.69/4.78 c heuristics/feaspump/freq = -1
4.69/4.78 c
4.69/4.78 c # additional number of allowed LP iterations
4.69/4.78 c # [type: int, range: [0,2147483647], default: 1000]
4.69/4.78 c heuristics/feaspump/maxlpiterofs = 2000
4.69/4.78 c
4.69/4.78 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
4.69/4.78 c # [type: int, range: [-1,2147483647], default: 10]
4.69/4.78 c heuristics/fracdiving/freq = -1
4.69/4.78 c
4.69/4.78 c # maximal fraction of diving LP iterations compared to node LP iterations
4.69/4.78 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
4.69/4.78 c heuristics/fracdiving/maxlpiterquot = 0.075
4.69/4.78 c
4.69/4.78 c # additional number of allowed LP iterations
4.69/4.78 c # [type: int, range: [0,2147483647], default: 1000]
4.69/4.78 c heuristics/fracdiving/maxlpiterofs = 1500
4.69/4.78 c
4.69/4.78 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
4.69/4.78 c # [type: int, range: [-1,2147483647], default: 10]
4.69/4.78 c heuristics/guideddiving/freq = -1
4.69/4.78 c
4.69/4.78 c # maximal fraction of diving LP iterations compared to node LP iterations
4.69/4.78 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
4.69/4.78 c heuristics/guideddiving/maxlpiterquot = 0.075
4.69/4.78 c
4.69/4.78 c # additional number of allowed LP iterations
4.69/4.78 c # [type: int, range: [0,2147483647], default: 1000]
4.69/4.78 c heuristics/guideddiving/maxlpiterofs = 1500
4.69/4.78 c
4.69/4.78 c # maximal fraction of diving LP iterations compared to node LP iterations
4.69/4.78 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
4.69/4.78 c heuristics/intdiving/maxlpiterquot = 0.075
4.69/4.78 c
4.69/4.78 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
4.69/4.78 c # [type: int, range: [-1,2147483647], default: 10]
4.69/4.78 c heuristics/intshifting/freq = -1
4.69/4.78 c
4.69/4.78 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
4.69/4.78 c # [type: int, range: [-1,2147483647], default: 10]
4.69/4.78 c heuristics/linesearchdiving/freq = -1
4.69/4.78 c
4.69/4.78 c # maximal fraction of diving LP iterations compared to node LP iterations
4.69/4.78 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
4.69/4.78 c heuristics/linesearchdiving/maxlpiterquot = 0.075
4.69/4.78 c
4.69/4.78 c # additional number of allowed LP iterations
4.69/4.78 c # [type: int, range: [0,2147483647], default: 1000]
4.69/4.78 c heuristics/linesearchdiving/maxlpiterofs = 1500
4.69/4.78 c
4.69/4.78 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
4.69/4.78 c # [type: int, range: [-1,2147483647], default: 20]
4.69/4.78 c heuristics/objpscostdiving/freq = -1
4.69/4.78 c
4.69/4.78 c # maximal fraction of diving LP iterations compared to total iteration number
4.69/4.78 c # [type: real, range: [0,1], default: 0.01]
4.69/4.78 c heuristics/objpscostdiving/maxlpiterquot = 0.015
4.69/4.78 c
4.69/4.78 c # additional number of allowed LP iterations
4.69/4.78 c # [type: int, range: [0,2147483647], default: 1000]
4.69/4.78 c heuristics/objpscostdiving/maxlpiterofs = 1500
4.69/4.78 c
4.69/4.78 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
4.69/4.78 c # [type: int, range: [-1,2147483647], default: 1]
4.69/4.78 c heuristics/oneopt/freq = -1
4.69/4.78 c
4.69/4.78 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
4.69/4.78 c # [type: int, range: [-1,2147483647], default: 10]
4.69/4.78 c heuristics/pscostdiving/freq = -1
4.69/4.78 c
4.69/4.78 c # maximal fraction of diving LP iterations compared to node LP iterations
4.69/4.78 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
4.69/4.78 c heuristics/pscostdiving/maxlpiterquot = 0.075
4.69/4.78 c
4.69/4.78 c # additional number of allowed LP iterations
4.69/4.78 c # [type: int, range: [0,2147483647], default: 1000]
4.69/4.78 c heuristics/pscostdiving/maxlpiterofs = 1500
4.69/4.78 c
4.69/4.78 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
4.69/4.78 c # [type: int, range: [-1,2147483647], default: 0]
4.69/4.78 c heuristics/rens/freq = -1
4.69/4.78 c
4.69/4.78 c # minimum percentage of integer variables that have to be fixable
4.69/4.78 c # [type: real, range: [0,1], default: 0.5]
4.69/4.78 c heuristics/rens/minfixingrate = 0.3
4.69/4.78 c
4.69/4.78 c # number of nodes added to the contingent of the total nodes
4.69/4.78 c # [type: longint, range: [0,9223372036854775807], default: 500]
4.69/4.78 c heuristics/rens/nodesofs = 2000
4.69/4.78 c
4.69/4.78 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
4.69/4.78 c # [type: int, range: [-1,2147483647], default: 20]
4.69/4.78 c heuristics/rootsoldiving/freq = -1
4.69/4.78 c
4.69/4.78 c # maximal fraction of diving LP iterations compared to node LP iterations
4.69/4.78 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
4.69/4.78 c heuristics/rootsoldiving/maxlpiterquot = 0.015
4.69/4.78 c
4.69/4.78 c # additional number of allowed LP iterations
4.69/4.78 c # [type: int, range: [0,2147483647], default: 1000]
4.69/4.78 c heuristics/rootsoldiving/maxlpiterofs = 1500
4.69/4.78 c
4.69/4.78 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
4.69/4.78 c # [type: int, range: [-1,2147483647], default: 1]
4.69/4.78 c heuristics/rounding/freq = -1
4.69/4.78 c
4.69/4.78 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
4.69/4.78 c # [type: int, range: [-1,2147483647], default: 0]
4.69/4.78 c heuristics/shiftandpropagate/freq = -1
4.69/4.78 c
4.69/4.78 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
4.69/4.78 c # [type: int, range: [-1,2147483647], default: 10]
4.69/4.78 c heuristics/shifting/freq = -1
4.69/4.78 c
4.69/4.78 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
4.69/4.78 c # [type: int, range: [-1,2147483647], default: 1]
4.69/4.78 c heuristics/simplerounding/freq = -1
4.69/4.78 c
4.69/4.78 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
4.69/4.78 c # [type: int, range: [-1,2147483647], default: 1]
4.69/4.78 c heuristics/subnlp/freq = -1
4.69/4.78 c
4.69/4.78 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
4.69/4.78 c # [type: int, range: [-1,2147483647], default: 0]
4.69/4.78 c heuristics/trivial/freq = -1
4.69/4.78 c
4.69/4.78 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
4.69/4.78 c # [type: int, range: [-1,2147483647], default: 1]
4.69/4.78 c heuristics/trysol/freq = -1
4.69/4.78 c
4.69/4.78 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
4.69/4.78 c # [type: int, range: [-1,2147483647], default: 0]
4.69/4.78 c heuristics/undercover/freq = -1
4.69/4.78 c
4.69/4.78 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
4.69/4.78 c # [type: int, range: [-1,2147483647], default: 10]
4.69/4.78 c heuristics/veclendiving/freq = -1
4.69/4.78 c
4.69/4.78 c # maximal fraction of diving LP iterations compared to node LP iterations
4.69/4.78 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
4.69/4.78 c heuristics/veclendiving/maxlpiterquot = 0.075
4.69/4.78 c
4.69/4.78 c # additional number of allowed LP iterations
4.69/4.78 c # [type: int, range: [0,2147483647], default: 1000]
4.69/4.78 c heuristics/veclendiving/maxlpiterofs = 1500
4.69/4.78 c
4.69/4.78 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
4.69/4.78 c # [type: int, range: [-1,2147483647], default: 1]
4.69/4.78 c heuristics/zirounding/freq = -1
4.69/4.78 c
4.69/4.78 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
4.69/4.78 c # [type: int, range: [-1,2147483647], default: 0]
4.69/4.78 c separating/cmir/freq = -1
4.69/4.78 c
4.69/4.78 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
4.69/4.78 c # [type: int, range: [-1,2147483647], default: 0]
4.69/4.78 c separating/flowcover/freq = -1
4.69/4.78 c
4.69/4.78 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.69/4.78 c # [type: int, range: [-1,2147483647], default: -1]
4.69/4.78 c separating/rapidlearning/freq = 0
4.69/4.78 c
4.69/4.78 c -----------------------------------------------------------------------------------------------
4.69/4.78 c start solving
4.69/4.78 c
63.19/63.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.19/63.25 c 63.2s| 1 | 0 | 30304 | - | 165M| 0 | - |9694 | 26k|9694 | 26k| 0 | 0 | 0 | cutoff | -- | 0.00%
63.19/63.25 c 63.2s| 1 | 0 | 30304 | - | 165M| 0 | - |9694 | 26k|9694 | 26k| 0 | 0 | 0 | cutoff | -- | 0.00%
63.19/63.25 c
63.19/63.25 c SCIP Status : problem is solved [infeasible]
63.19/63.25 c Solving Time (sec) : 63.24
63.19/63.25 c Solving Nodes : 1
63.19/63.25 c Primal Bound : +1.00000000000000e+20 (0 solutions)
63.19/63.25 c Dual Bound : +1.00000000000000e+20
63.19/63.25 c Gap : 0.00 %
63.19/63.25 s UNSATISFIABLE
63.19/63.25 c SCIP Status : problem is solved [infeasible]
63.19/63.25 c Total Time : 63.24
63.19/63.25 c solving : 63.24
63.19/63.25 c presolving : 4.11 (included in solving)
63.19/63.25 c reading : 0.54 (included in solving)
63.19/63.25 c Original Problem :
63.19/63.25 c Problem name : HOME/instance-3489600-1307790990.opb
63.19/63.25 c Variables : 29040 (29040 binary, 0 integer, 0 implicit integer, 0 continuous)
63.19/63.25 c Constraints : 96434 initial, 96434 maximal
63.19/63.25 c Presolved Problem :
63.19/63.25 c Problem name : t_HOME/instance-3489600-1307790990.opb
63.19/63.25 c Variables : 9694 (9694 binary, 0 integer, 0 implicit integer, 0 continuous)
63.19/63.25 c Constraints : 26376 initial, 26376 maximal
63.19/63.25 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
63.19/63.25 c trivial : 0.01 864 0 0 0 0 0 0 0 0
63.19/63.25 c dualfix : 0.02 111 0 0 0 0 0 0 0 0
63.19/63.25 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
63.19/63.25 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
63.19/63.25 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
63.19/63.25 c implics : 0.06 0 0 0 0 0 0 0 0 0
63.19/63.25 c probing : 0.00 0 0 0 0 0 0 0 0 0
63.19/63.25 c knapsack : 0.14 0 0 0 0 0 0 0 69 297
63.19/63.25 c setppc : 0.06 0 0 0 0 0 0 0 0 0
63.19/63.25 c linear : 3.67 14253 4118 0 15111 0 70058 0 42 67
63.19/63.25 c logicor : 0.03 0 0 0 0 0 0 0 0 0
63.19/63.25 c root node : - 0 - - 0 - - - - -
63.19/63.25 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
63.19/63.25 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
63.19/63.25 c knapsack : 444 0 1 0 0 0 0 0 0 0 0 0
63.19/63.25 c setppc : 21414 0 1 0 0 0 0 0 0 0 0 0
63.19/63.25 c logicor : 4518 0 1 0 0 0 0 0 0 0 0 0
63.19/63.25 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
63.19/63.25 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
63.19/63.25 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
63.19/63.25 c knapsack : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
63.19/63.25 c setppc : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
63.19/63.25 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
63.19/63.25 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
63.19/63.25 c Propagators : #Propagate #Resprop Cutoffs DomReds
63.19/63.25 c vbounds : 0 0 0 0
63.19/63.25 c rootredcost : 0 0 0 0
63.19/63.25 c pseudoobj : 0 0 0 0
63.19/63.25 c Propagator Timings : TotalTime Propagate Resprop
63.19/63.25 c vbounds : 0.00 0.00 0.00
63.19/63.25 c rootredcost : 0.00 0.00 0.00
63.19/63.25 c pseudoobj : 0.00 0.00 0.00
63.19/63.25 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
63.19/63.25 c propagation : 0.00 0 0 0 0.0 0 0.0 -
63.19/63.25 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
63.19/63.25 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
63.19/63.25 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
63.19/63.25 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
63.19/63.25 c applied globally : - - - 0 0.0 - - -
63.19/63.25 c applied locally : - - - 0 0.0 - - -
63.19/63.25 c Separators : Time Calls Cutoffs DomReds Cuts Conss
63.19/63.25 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
63.19/63.25 c redcost : 0.00 0 0 0 0 0
63.19/63.25 c impliedbounds : 0.00 0 0 0 0 0
63.19/63.25 c intobj : 0.00 0 0 0 0 0
63.19/63.25 c gomory : 0.00 0 0 0 0 0
63.19/63.25 c cgmip : 0.00 0 0 0 0 0
63.19/63.25 c closecuts : 0.00 0 0 0 0 0
63.19/63.25 c strongcg : 0.00 0 0 0 0 0
63.19/63.25 c cmir : 0.00 0 0 0 0 0
63.19/63.25 c flowcover : 0.00 0 0 0 0 0
63.19/63.25 c clique : 0.00 0 0 0 0 0
63.19/63.25 c zerohalf : 0.00 0 0 0 0 0
63.19/63.25 c mcf : 0.00 0 0 0 0 0
63.19/63.25 c oddcycle : 0.00 0 0 0 0 0
63.19/63.25 c rapidlearning : 0.00 0 0 0 0 0
63.19/63.25 c Pricers : Time Calls Vars
63.19/63.25 c problem variables: 0.00 0 0
63.19/63.25 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
63.19/63.25 c pscost : 0.00 0 0 0 0 0 0
63.19/63.25 c inference : 0.00 0 0 0 0 0 0
63.19/63.25 c mostinf : 0.00 0 0 0 0 0 0
63.19/63.25 c leastinf : 0.00 0 0 0 0 0 0
63.19/63.25 c fullstrong : 0.00 0 0 0 0 0 0
63.19/63.25 c allfullstrong : 0.00 0 0 0 0 0 0
63.19/63.25 c random : 0.00 0 0 0 0 0 0
63.19/63.25 c relpscost : 0.00 0 0 0 0 0 0
63.19/63.25 c Primal Heuristics : Time Calls Found
63.19/63.25 c LP solutions : 0.00 - 0
63.19/63.25 c pseudo solutions : 0.00 - 0
63.19/63.25 c trivial : 0.02 1 0
63.19/63.25 c shiftandpropagate: 0.00 0 0
63.19/63.25 c simplerounding : 0.00 0 0
63.19/63.25 c zirounding : 0.00 0 0
63.19/63.25 c rounding : 0.00 0 0
63.19/63.25 c shifting : 0.00 0 0
63.19/63.25 c intshifting : 0.00 0 0
63.19/63.25 c oneopt : 0.00 0 0
63.19/63.25 c twoopt : 0.00 0 0
63.19/63.25 c fixandinfer : 0.00 0 0
63.19/63.25 c feaspump : 0.00 0 0
63.19/63.25 c clique : 0.00 0 0
63.19/63.25 c coefdiving : 0.00 0 0
63.19/63.25 c pscostdiving : 0.00 0 0
63.19/63.25 c fracdiving : 0.00 0 0
63.19/63.25 c veclendiving : 0.00 0 0
63.19/63.25 c intdiving : 0.00 0 0
63.19/63.25 c actconsdiving : 0.00 0 0
63.19/63.25 c objpscostdiving : 0.00 0 0
63.19/63.25 c rootsoldiving : 0.00 0 0
63.19/63.25 c linesearchdiving : 0.00 0 0
63.19/63.25 c guideddiving : 0.00 0 0
63.19/63.25 c octane : 0.00 0 0
63.19/63.25 c rens : 0.00 0 0
63.19/63.25 c rins : 0.00 0 0
63.19/63.25 c localbranching : 0.00 0 0
63.19/63.25 c mutation : 0.00 0 0
63.19/63.25 c crossover : 0.00 0 0
63.19/63.25 c dins : 0.00 0 0
63.19/63.25 c vbounds : 0.00 0 0
63.19/63.25 c undercover : 0.00 0 0
63.19/63.25 c subnlp : 0.00 0 0
63.19/63.25 c trysol : 0.00 0 0
63.19/63.25 c LP : Time Calls Iterations Iter/call Iter/sec
63.19/63.25 c primal LP : 0.00 0 0 0.00 -
63.19/63.25 c dual LP : 58.40 1 30304 30304.00 518.92
63.19/63.25 c lex dual LP : 0.00 0 0 0.00 -
63.19/63.25 c barrier LP : 0.00 0 0 0.00 -
63.19/63.25 c diving/probing LP: 0.00 0 0 0.00 -
63.19/63.25 c strong branching : 0.00 0 0 0.00 -
63.19/63.25 c (at root node) : - 0 0 0.00 -
63.19/63.25 c conflict analysis: 0.00 0 0 0.00 -
63.19/63.25 c B&B Tree :
63.19/63.25 c number of runs : 1
63.19/63.25 c nodes : 1
63.19/63.25 c nodes (total) : 1
63.19/63.25 c nodes left : 0
63.19/63.25 c max depth : 0
63.19/63.25 c max depth (total): 0
63.19/63.25 c backtracks : 0 (0.0%)
63.19/63.25 c delayed cutoffs : 0
63.19/63.25 c repropagations : 0 (0 domain reductions, 0 cutoffs)
63.19/63.25 c avg switch length: 2.00
63.19/63.25 c switching time : 0.00
63.19/63.25 c Solution :
63.19/63.25 c Solutions found : 0 (0 improvements)
63.19/63.25 c Primal Bound : infeasible
63.19/63.25 c Dual Bound : -
63.19/63.25 c Gap : 0.00 %
63.19/63.25 c Root Dual Bound : -
63.19/63.25 c Root Iterations : 30304
63.29/63.39 c Time complete: 63.39.
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) 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-3489600-1307790990/watcher-3489600-1307790990 -o /tmp/evaluation-result-3489600-1307790990/solver-3489600-1307790990 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489600-1307790990.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: 1.92 1.98 1.99 2/177 22164 /proc/meminfo: memFree=31483800/32950928 swapFree=67052112/67111528 [pid=22164] ppid=22162 vsize=12692 CPUtime=0 cores=1,3,5,7 /proc/22164/stat : 22164 (scip-2.0.1.4b_2) R 22162 22164 18976 0 -1 4202496 2144 0 0 0 0 0 0 0 25 0 1 0 890697833 12996608 2098 33554432000 4194304 9016284 140736008048016 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/22164/statm: 3173 2098 357 1178 0 1991 0 [startup+0.0495409 s] /proc/loadavg: 1.92 1.98 1.99 2/177 22164 /proc/meminfo: memFree=31483800/32950928 swapFree=67052112/67111528 [pid=22164] ppid=22162 vsize=23028 CPUtime=0.04 cores=1,3,5,7 /proc/22164/stat : 22164 (scip-2.0.1.4b_2) R 22162 22164 18976 0 -1 4202496 4740 0 0 0 4 0 0 0 25 0 1 0 890697833 23580672 4694 33554432000 4194304 9016284 140736008048016 18446744073709551615 6151322 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/22164/statm: 5757 4694 357 1178 0 4575 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 23028 [startup+0.100531 s] /proc/loadavg: 1.92 1.98 1.99 2/177 22164 /proc/meminfo: memFree=31483800/32950928 swapFree=67052112/67111528 [pid=22164] ppid=22162 vsize=31212 CPUtime=0.09 cores=1,3,5,7 /proc/22164/stat : 22164 (scip-2.0.1.4b_2) R 22162 22164 18976 0 -1 4202496 6796 0 0 0 9 0 0 0 25 0 1 0 890697833 31961088 6750 33554432000 4194304 9016284 140736008048016 18446744073709551615 7870498 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/22164/statm: 7803 6750 357 1178 0 6621 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 31212 [startup+0.300496 s] /proc/loadavg: 1.92 1.98 1.99 2/177 22164 /proc/meminfo: memFree=31483800/32950928 swapFree=67052112/67111528 [pid=22164] ppid=22162 vsize=46500 CPUtime=0.29 cores=1,3,5,7 /proc/22164/stat : 22164 (scip-2.0.1.4b_2) R 22162 22164 18976 0 -1 4202496 10604 0 0 0 28 1 0 0 25 0 1 0 890697833 47616000 10558 33554432000 4194304 9016284 140736008048016 18446744073709551615 4447104 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/22164/statm: 11625 10558 357 1178 0 10443 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 46500 [startup+0.70043 s] /proc/loadavg: 1.92 1.98 1.99 2/177 22164 /proc/meminfo: memFree=31483800/32950928 swapFree=67052112/67111528 [pid=22164] ppid=22162 vsize=155500 CPUtime=0.69 cores=1,3,5,7 /proc/22164/stat : 22164 (scip-2.0.1.4b_2) R 22162 22164 18976 0 -1 4202496 37610 0 0 0 65 4 0 0 25 0 1 0 890697833 159232000 37545 33554432000 4194304 9016284 140736008048016 18446744073709551615 4786469 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22164/statm: 38875 37545 427 1178 0 37693 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 155500 [startup+1.50029 s] /proc/loadavg: 1.92 1.98 1.99 3/178 22165 /proc/meminfo: memFree=31230728/32950928 swapFree=67052112/67111528 [pid=22164] ppid=22162 vsize=239144 CPUtime=1.49 cores=1,3,5,7 /proc/22164/stat : 22164 (scip-2.0.1.4b_2) R 22162 22164 18976 0 -1 4202496 57910 0 0 0 143 6 0 0 25 0 1 0 890697833 244883456 57845 33554432000 4194304 9016284 140736008048016 18446744073709551615 6480720 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22164/statm: 59786 57845 484 1178 0 58604 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 239144 [startup+3.10101 s] /proc/loadavg: 1.93 1.98 1.99 3/178 22165 /proc/meminfo: memFree=31097180/32950928 swapFree=67052112/67111528 [pid=22164] ppid=22162 vsize=311840 CPUtime=3.09 cores=1,3,5,7 /proc/22164/stat : 22164 (scip-2.0.1.4b_2) R 22162 22164 18976 0 -1 4202496 75429 0 0 0 301 8 0 0 25 0 1 0 890697833 319324160 75107 33554432000 4194304 9016284 140736008048016 18446744073709551615 6481206 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22164/statm: 77960 75107 494 1178 0 76778 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 311840 [startup+6.30044 s] /proc/loadavg: 1.93 1.98 1.99 3/178 22165 /proc/meminfo: memFree=30961084/32950928 swapFree=67052112/67111528 [pid=22164] ppid=22162 vsize=359872 CPUtime=6.29 cores=1,3,5,7 /proc/22164/stat : 22164 (scip-2.0.1.4b_2) R 22162 22164 18976 0 -1 4202496 91737 0 0 0 617 12 0 0 25 0 1 0 890697833 368508928 86529 33554432000 4194304 9016284 140736008048016 18446744073709551615 7191176 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22164/statm: 89968 86529 692 1178 0 88786 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 359872 [startup+12.7003 s] /proc/loadavg: 1.94 1.98 1.99 3/178 22165 /proc/meminfo: memFree=30923328/32950928 swapFree=67052112/67111528 [pid=22164] ppid=22162 vsize=364644 CPUtime=12.69 cores=1,3,5,7 /proc/22164/stat : 22164 (scip-2.0.1.4b_2) R 22162 22164 18976 0 -1 4202496 93155 0 0 0 1255 14 0 0 25 0 1 0 890697833 373395456 87910 33554432000 4194304 9016284 140736008048016 18446744073709551615 7157158 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22164/statm: 91161 87910 680 1178 0 89979 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 364644 [startup+25.5011 s] /proc/loadavg: 1.95 1.98 1.99 3/178 22165 /proc/meminfo: memFree=30763020/32950928 swapFree=67052112/67111528 [pid=22164] ppid=22162 vsize=367840 CPUtime=25.5 cores=1,3,5,7 /proc/22164/stat : 22164 (scip-2.0.1.4b_2) R 22162 22164 18976 0 -1 4202496 93985 0 0 0 2532 18 0 0 25 0 1 0 890697833 376668160 88734 33554432000 4194304 9016284 140736008048016 18446744073709551615 7157146 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22164/statm: 91960 88734 674 1178 0 90778 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 367840 [startup+51.1006 s] /proc/loadavg: 1.96 1.98 1.99 3/178 22166 /proc/meminfo: memFree=30758268/32950928 swapFree=67052112/67111528 [pid=22164] ppid=22162 vsize=367840 CPUtime=51.09 cores=1,3,5,7 /proc/22164/stat : 22164 (scip-2.0.1.4b_2) R 22162 22164 18976 0 -1 4202496 93988 0 0 0 5088 21 0 0 25 0 1 0 890697833 376668160 88737 33554432000 4194304 9016284 140736008048016 18446744073709551615 7181447 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22164/statm: 91960 88737 674 1178 0 90778 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 367840 Solver just ended. Dumping a history of the last processes samples [startup+57.5005 s] /proc/loadavg: 1.97 1.98 1.99 3/178 22166 /proc/meminfo: memFree=30757888/32950928 swapFree=67052112/67111528 [pid=22164] ppid=22162 vsize=367840 CPUtime=57.49 cores=1,3,5,7 /proc/22164/stat : 22164 (scip-2.0.1.4b_2) R 22162 22164 18976 0 -1 4202496 93988 0 0 0 5727 22 0 0 25 0 1 0 890697833 376668160 88737 33554432000 4194304 9016284 140736008048016 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22164/statm: 91960 88737 674 1178 0 90778 0 Current children cumulated CPU time (s) 57.49 Current children cumulated vsize (KiB) 367840 [startup+60.7009 s] /proc/loadavg: 1.97 1.98 1.99 3/178 22166 /proc/meminfo: memFree=30757888/32950928 swapFree=67052112/67111528 [pid=22164] ppid=22162 vsize=367840 CPUtime=60.7 cores=1,3,5,7 /proc/22164/stat : 22164 (scip-2.0.1.4b_2) R 22162 22164 18976 0 -1 4202496 93988 0 0 0 6047 23 0 0 25 0 1 0 890697833 376668160 88737 33554432000 4194304 9016284 140736008048016 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22164/statm: 91960 88737 674 1178 0 90778 0 Current children cumulated CPU time (s) 60.7 Current children cumulated vsize (KiB) 367840 [startup+62.3006 s] /proc/loadavg: 1.97 1.98 1.99 3/178 22166 /proc/meminfo: memFree=30757888/32950928 swapFree=67052112/67111528 [pid=22164] ppid=22162 vsize=367840 CPUtime=62.3 cores=1,3,5,7 /proc/22164/stat : 22164 (scip-2.0.1.4b_2) R 22162 22164 18976 0 -1 4202496 93988 0 0 0 6207 23 0 0 25 0 1 0 890697833 376668160 88737 33554432000 4194304 9016284 140736008048016 18446744073709551615 7181472 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22164/statm: 91960 88737 674 1178 0 90778 0 Current children cumulated CPU time (s) 62.3 Current children cumulated vsize (KiB) 367840 [startup+63.1004 s] /proc/loadavg: 1.97 1.98 1.99 3/178 22166 /proc/meminfo: memFree=30767312/32950928 swapFree=67052112/67111528 [pid=22164] ppid=22162 vsize=364884 CPUtime=63.09 cores=1,3,5,7 /proc/22164/stat : 22164 (scip-2.0.1.4b_2) R 22162 22164 18976 0 -1 4202496 95871 0 0 0 6286 23 0 0 25 0 1 0 890697833 373641216 88119 33554432000 4194304 9016284 140736008048016 18446744073709551615 7158087 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/22164/statm: 91221 88119 674 1178 0 90039 0 Current children cumulated CPU time (s) 63.09 Current children cumulated vsize (KiB) 364884 [startup+63.3004 s] /proc/loadavg: 1.97 1.98 1.99 3/178 22166 /proc/meminfo: memFree=30767312/32950928 swapFree=67052112/67111528 [pid=22164] ppid=22162 vsize=365800 CPUtime=63.29 cores=1,3,5,7 /proc/22164/stat : 22164 (scip-2.0.1.4b_2) R 22162 22164 18976 0 -1 4202496 96496 0 0 0 6306 23 0 0 25 0 1 0 890697833 374579200 88363 33554432000 4194304 9016284 140736008048016 18446744073709551615 6812833 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/22164/statm: 91450 88363 688 1178 0 90268 0 Current children cumulated CPU time (s) 63.29 Current children cumulated vsize (KiB) 365800 Child status: 0 Real time (s): 63.3998 CPU time (s): 63.4004 CPU user time (s): 63.1504 CPU system time (s): 0.249962 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 367840 getrusage(RUSAGE_CHILDREN,...) data: user time used= 63.1504 system time used= 0.249962 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 96504 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= 5 involuntary context switches= 86 runsolver used 0.118981 second user time and 0.220966 second system time The end
Begin job on node120 at 2011-06-11 13:16:31 IDJOB=3489600 IDBENCH=73572 IDSOLVER=1979 FILE ID=node120/3489600-1307790990 RUNJOBID= node120-1307790988-22098 PBS_JOBID= 13550863 Free space on /tmp= 73908 MiB SOLVER NAME= SCIP spx E_2 2011-06-10 (fixed) BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12038_8-unsat.opb COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3489600-1307790990/watcher-3489600-1307790990 -o /tmp/evaluation-result-3489600-1307790990/solver-3489600-1307790990 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489600-1307790990.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a4c61139e0eb75a13e9da4d40232e606 RANDOM SEED=838960553 node120.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.809 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.61 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.809 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.07 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.809 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.809 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.809 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.78 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.809 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.809 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.809 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: 31484352 kB Buffers: 141956 kB Cached: 773288 kB SwapCached: 11492 kB Active: 739340 kB Inactive: 568172 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31484352 kB SwapTotal: 67111528 kB SwapFree: 67052112 kB Dirty: 42180 kB Writeback: 0 kB AnonPages: 389456 kB Mapped: 11208 kB Slab: 93428 kB PageTables: 5484 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 590972 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= 73892 MiB End job on node120 at 2011-06-11 13:17:34