0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3691636-1338017292.opb>
0.00/0.00 c original problem has 316 variables (316 bin, 0 int, 0 impl, 0 cont) and 686 constraints
0.00/0.00 c problem read in 0.00
0.00/0.00 c No objective function, only one solution is needed.
0.00/0.00 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 3 del vars, 1 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 352 impls, 0 clqs
0.00/0.01 c (round 2) 15 del vars, 19 del conss, 0 add conss, 13 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 352 impls, 0 clqs
0.00/0.01 c (round 3) 15 del vars, 31 del conss, 0 add conss, 13 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 352 impls, 0 clqs
0.01/0.02 c (round 4) 15 del vars, 31 del conss, 0 add conss, 13 chg bounds, 0 chg sides, 0 chg coeffs, 655 upgd conss, 352 impls, 0 clqs
0.01/0.03 c (round 5) 21 del vars, 31 del conss, 0 add conss, 13 chg bounds, 0 chg sides, 0 chg coeffs, 655 upgd conss, 8648 impls, 6 clqs
0.01/0.03 c (round 6) 21 del vars, 37 del conss, 0 add conss, 13 chg bounds, 0 chg sides, 0 chg coeffs, 655 upgd conss, 8648 impls, 6 clqs
0.01/0.03 c (round 7) 21 del vars, 39 del conss, 0 add conss, 13 chg bounds, 0 chg sides, 0 chg coeffs, 655 upgd conss, 8648 impls, 6 clqs
0.01/0.03 c presolving (8 rounds):
0.01/0.03 c 21 deleted vars, 39 deleted constraints, 0 added constraints, 13 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.03 c 8648 implications, 6 cliques
0.01/0.03 c presolved problem has 295 variables (295 bin, 0 int, 0 impl, 0 cont) and 647 constraints
0.01/0.03 c 199 constraints of type <knapsack>
0.01/0.03 c 141 constraints of type <setppc>
0.01/0.03 c 307 constraints of type <logicor>
0.01/0.03 c transformed objective value is always integral (scale: 1)
0.01/0.03 c Presolving Time: 0.03
0.01/0.03 c - non default parameters ----------------------------------------------------------------------
0.01/0.03 c # SCIP version 2.1.1.4
0.01/0.03 c
0.01/0.03 c # maximal time in seconds to run
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/time = 1797
0.01/0.03 c
0.01/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/memory = 13950
0.01/0.03 c
0.01/0.03 c # solving stops, if the given number of solutions were found (-1: no limit)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.03 c limits/solutions = 1
0.01/0.03 c
0.01/0.03 c # maximal number of separation rounds per node (-1: unlimited)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 5]
0.01/0.03 c separating/maxrounds = 1
0.01/0.03 c
0.01/0.03 c # maximal number of separation rounds in the root node (-1: unlimited)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.03 c separating/maxroundsroot = 5
0.01/0.03 c
0.01/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.03 c # [type: int, range: [1,2], default: 1]
0.01/0.03 c timing/clocktype = 2
0.01/0.03 c
0.01/0.03 c # belongs reading time to solving time?
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c timing/reading = TRUE
0.01/0.03 c
0.01/0.03 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.01/0.03 c constraints/knapsack/disaggregation = FALSE
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.03 c heuristics/coefdiving/freq = -1
0.01/0.03 c
0.01/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.03 c heuristics/coefdiving/maxlpiterquot = 0.075
0.01/0.03 c
0.01/0.03 c # additional number of allowed LP iterations
0.01/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.03 c heuristics/coefdiving/maxlpiterofs = 1500
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 30]
0.01/0.03 c heuristics/crossover/freq = -1
0.01/0.03 c
0.01/0.03 c # number of nodes added to the contingent of the total nodes
0.01/0.03 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.01/0.03 c heuristics/crossover/nodesofs = 750
0.01/0.03 c
0.01/0.03 c # number of nodes without incumbent change that heuristic should wait
0.01/0.03 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.01/0.03 c heuristics/crossover/nwaitingnodes = 100
0.01/0.03 c
0.01/0.03 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.01/0.03 c # [type: real, range: [0,1], default: 0.1]
0.01/0.03 c heuristics/crossover/nodesquot = 0.15
0.01/0.03 c
0.01/0.03 c # minimum percentage of integer variables that have to be fixed
0.01/0.03 c # [type: real, range: [0,1], default: 0.666]
0.01/0.03 c heuristics/crossover/minfixingrate = 0.5
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.03 c heuristics/feaspump/freq = -1
0.01/0.03 c
0.01/0.03 c # additional number of allowed LP iterations
0.01/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.03 c heuristics/feaspump/maxlpiterofs = 2000
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.03 c heuristics/fracdiving/freq = -1
0.01/0.03 c
0.01/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.03 c heuristics/fracdiving/maxlpiterquot = 0.075
0.01/0.03 c
0.01/0.03 c # additional number of allowed LP iterations
0.01/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.03 c heuristics/fracdiving/maxlpiterofs = 1500
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.03 c heuristics/guideddiving/freq = -1
0.01/0.03 c
0.01/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.03 c heuristics/guideddiving/maxlpiterquot = 0.075
0.01/0.03 c
0.01/0.03 c # additional number of allowed LP iterations
0.01/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.03 c heuristics/guideddiving/maxlpiterofs = 1500
0.01/0.03 c
0.01/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.03 c heuristics/intdiving/maxlpiterquot = 0.075
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.03 c heuristics/intshifting/freq = -1
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.03 c heuristics/linesearchdiving/freq = -1
0.01/0.03 c
0.01/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.03 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.01/0.03 c
0.01/0.03 c # additional number of allowed LP iterations
0.01/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.03 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.03 c heuristics/objpscostdiving/freq = -1
0.01/0.03 c
0.01/0.03 c # maximal fraction of diving LP iterations compared to total iteration number
0.01/0.03 c # [type: real, range: [0,1], default: 0.01]
0.01/0.03 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.01/0.03 c
0.01/0.03 c # additional number of allowed LP iterations
0.01/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.03 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.03 c heuristics/oneopt/freq = -1
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.03 c heuristics/pscostdiving/freq = -1
0.01/0.03 c
0.01/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.03 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.01/0.03 c
0.01/0.03 c # additional number of allowed LP iterations
0.01/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.03 c heuristics/pscostdiving/maxlpiterofs = 1500
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.03 c heuristics/rens/freq = -1
0.01/0.03 c
0.01/0.03 c # minimum percentage of integer variables that have to be fixable
0.01/0.03 c # [type: real, range: [0,1], default: 0.5]
0.01/0.03 c heuristics/rens/minfixingrate = 0.3
0.01/0.03 c
0.01/0.03 c # number of nodes added to the contingent of the total nodes
0.01/0.03 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.01/0.03 c heuristics/rens/nodesofs = 2000
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.03 c heuristics/rootsoldiving/freq = -1
0.01/0.03 c
0.01/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.01/0.03 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.01/0.03 c
0.01/0.03 c # additional number of allowed LP iterations
0.01/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.03 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.03 c heuristics/rounding/freq = -1
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.03 c heuristics/shiftandpropagate/freq = -1
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.03 c heuristics/shifting/freq = -1
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.03 c heuristics/simplerounding/freq = -1
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.03 c heuristics/subnlp/freq = -1
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.03 c heuristics/trivial/freq = -1
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.03 c heuristics/trysol/freq = -1
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.03 c heuristics/undercover/freq = -1
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.03 c heuristics/veclendiving/freq = -1
0.01/0.03 c
0.01/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.03 c heuristics/veclendiving/maxlpiterquot = 0.075
0.01/0.03 c
0.01/0.03 c # additional number of allowed LP iterations
0.01/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.03 c heuristics/veclendiving/maxlpiterofs = 1500
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.03 c heuristics/zirounding/freq = -1
0.01/0.03 c
0.01/0.03 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.03 c propagating/probing/maxprerounds = 0
0.01/0.03 c
0.01/0.03 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.03 c separating/cmir/freq = -1
0.01/0.03 c
0.01/0.03 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.03 c separating/flowcover/freq = -1
0.01/0.03 c
0.01/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.03 c separating/rapidlearning/freq = 0
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.03 c heuristics/indoneopt/freq = -1
0.01/0.03 c
0.01/0.03 c -----------------------------------------------------------------------------------------------
0.01/0.03 c start solving
0.01/0.03 c
0.01/0.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.01/0.08 c 0.1s| 1 | 0 | 988 | - |2420k| 0 | 153 | 295 | 647 | 295 | 647 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.38/0.41 c 0.4s| 1 | 0 | 2103 | - |5761k| 0 | 197 | 295 | 664 | 295 | 901 | 254 | 0 | 0 | 0.000000e+00 | -- | Inf
0.58/0.62 c 0.6s| 1 | 0 | 2910 | - |8597k| 0 | 218 | 295 | 664 | 295 |1021 | 374 | 0 | 0 | 0.000000e+00 | -- | Inf
0.78/0.84 c 0.8s| 1 | 0 | 3545 | - | 11M| 0 | 221 | 295 | 664 | 295 |1094 | 447 | 0 | 0 | 0.000000e+00 | -- | Inf
1.00/1.04 c 1.0s| 1 | 0 | 3889 | - | 14M| 0 | 231 | 295 | 664 | 295 |1156 | 509 | 0 | 0 | 0.000000e+00 | -- | Inf
1.19/1.26 c 1.3s| 1 | 0 | 4426 | - | 16M| 0 | 237 | 295 | 664 | 295 |1202 | 555 | 0 | 0 | 0.000000e+00 | -- | Inf
1.69/1.72 c 1.7s| 1 | 2 | 4426 | - | 16M| 0 | 237 | 295 | 664 | 295 |1202 | 555 | 0 | 9 | 0.000000e+00 | -- | Inf
6.68/6.75 c 6.7s| 100 | 21 | 11226 | 68.7 | 16M| 15 | 49 | 295 | 671 | 295 | 832 | 555 | 7 |1065 | 0.000000e+00 | -- | Inf
7.19/7.25 c 7.2s| 200 | 21 | 12983 | 43.0 | 16M| 20 | 21 | 295 | 685 | 295 | 832 | 555 | 21 |1185 | 0.000000e+00 | -- | Inf
7.89/7.94 c 7.9s| 300 | 24 | 15280 | 36.3 | 16M| 20 | 154 | 295 | 715 | 295 | 832 | 555 | 51 |1280 | 0.000000e+00 | -- | Inf
8.49/8.54 c 8.5s| 400 | 33 | 17707 | 33.3 | 16M| 21 | 61 | 295 | 735 | 295 | 832 | 555 | 71 |1358 | 0.000000e+00 | -- | Inf
8.70/8.71 c 8.7s| 500 | 36 | 19731 | 30.7 | 16M| 22 | - | 295 | 760 | 0 | 0 | 555 | 96 |1372 | 0.000000e+00 | -- | Inf
8.89/8.93 c 8.9s| 600 | 36 | 21536 | 28.6 | 16M| 24 | - | 295 | 785 | 0 | 0 | 555 | 121 |1389 | 0.000000e+00 | -- | Inf
9.68/9.77 c 9.8s| 700 | 41 | 24505 | 28.7 | 16M| 24 | 62 | 295 | 822 | 295 | 832 | 555 | 158 |1460 | 0.000000e+00 | -- | Inf
9.80/9.89 c 9.9s| 800 | 39 | 26096 | 27.1 | 16M| 24 | 46 | 295 | 847 | 295 | 832 | 555 | 185 |1462 | 0.000000e+00 | -- | Inf
9.98/10.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.98/10.05 c 10.0s| 900 | 38 | 28370 | 26.6 | 17M| 24 | 37 | 295 | 870 | 295 | 832 | 555 | 208 |1463 | 0.000000e+00 | -- | Inf
10.19/10.25 c 10.3s| 1000 | 37 | 30416 | 26.0 | 17M| 24 | - | 295 | 905 | 295 | 832 | 555 | 244 |1472 | 0.000000e+00 | -- | Inf
10.29/10.37 c 10.4s| 1100 | 41 | 32067 | 25.2 | 17M| 24 | 44 | 295 | 925 | 295 | 832 | 555 | 264 |1472 | 0.000000e+00 | -- | Inf
10.69/10.75 c 10.8s| 1200 | 45 | 34635 | 25.2 | 17M| 24 | 38 | 295 | 955 | 295 | 832 | 555 | 294 |1495 | 0.000000e+00 | -- | Inf
10.78/10.85 c 10.9s| 1300 | 42 | 36173 | 24.4 | 17M| 24 | - | 295 | 965 | 0 | 0 | 555 | 306 |1495 | 0.000000e+00 | -- | Inf
10.90/10.98 c 11.0s| 1400 | 44 | 37828 | 23.9 | 17M| 24 | 54 | 295 | 986 | 295 | 832 | 555 | 327 |1497 | 0.000000e+00 | -- | Inf
10.99/11.08 c 11.1s| 1500 | 44 | 39435 | 23.4 | 17M| 24 | - | 295 |1006 | 0 | 0 | 555 | 347 |1497 | 0.000000e+00 | -- | Inf
11.19/11.20 c 11.2s| 1600 | 43 | 41300 | 23.1 | 17M| 27 | 41 | 295 |1027 | 295 | 832 | 555 | 369 |1497 | 0.000000e+00 | -- | Inf
11.29/11.36 c 11.4s| 1700 | 42 | 43337 | 22.9 | 17M| 27 | - | 295 |1041 | 0 | 0 | 555 | 384 |1502 | 0.000000e+00 | -- | Inf
11.49/11.50 c 11.5s| 1800 | 41 | 45041 | 22.6 | 17M| 27 | - | 295 |1051 | 0 | 0 | 555 | 398 |1507 | 0.000000e+00 | -- | Inf
11.59/11.66 c 11.7s| 1900 | 46 | 47253 | 22.6 | 17M| 27 | - | 295 |1064 | 0 | 0 | 555 | 415 |1510 | 0.000000e+00 | -- | Inf
12.00/12.04 c 12.0s| 2000 | 56 | 50105 | 22.9 | 17M| 27 | 34 | 295 |1088 | 295 | 832 | 555 | 445 |1537 | 0.000000e+00 | -- | Inf
12.10/12.15 c 12.2s| 2100 | 52 | 51681 | 22.5 | 17M| 27 | - | 295 |1112 | 0 | 0 | 555 | 469 |1537 | 0.000000e+00 | -- | Inf
12.29/12.30 c 12.3s| 2200 | 53 | 53616 | 22.4 | 17M| 27 | 44 | 295 |1132 | 295 | 832 | 555 | 489 |1541 | 0.000000e+00 | -- | Inf
12.38/12.44 c 12.4s| 2300 | 52 | 55485 | 22.2 | 17M| 27 | 19 | 295 |1147 | 295 | 832 | 555 | 504 |1549 | 0.000000e+00 | -- | Inf
12.48/12.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.48/12.57 c 12.6s| 2400 | 52 | 57120 | 22.0 | 17M| 27 | 47 | 295 |1159 | 295 | 832 | 555 | 517 |1551 | 0.000000e+00 | -- | Inf
12.69/12.70 c 12.7s| 2500 | 52 | 58975 | 21.8 | 17M| 27 | 60 | 295 |1169 | 295 | 832 | 555 | 528 |1554 | 0.000000e+00 | -- | Inf
12.79/12.89 c 12.9s| 2600 | 52 | 61859 | 22.1 | 17M| 27 | - | 295 |1166 | 0 | 0 | 555 | 536 |1554 | 0.000000e+00 | -- | Inf
12.99/13.01 c 13.0s| 2700 | 54 | 63638 | 21.9 | 17M| 27 | 36 | 295 |1178 | 295 | 832 | 555 | 549 |1554 | 0.000000e+00 | -- | Inf
13.09/13.13 c 13.1s| 2800 | 50 | 65434 | 21.8 | 17M| 27 | 31 | 295 |1213 | 295 | 832 | 555 | 590 |1555 | 0.000000e+00 | -- | Inf
13.20/13.27 c 13.3s| 2900 | 48 | 67237 | 21.7 | 17M| 27 | - | 295 |1231 | 295 | 832 | 555 | 617 |1555 | 0.000000e+00 | -- | Inf
13.39/13.42 c 13.4s| 3000 | 50 | 69498 | 21.7 | 17M| 27 | - | 295 |1245 | 0 | 0 | 555 | 637 |1555 | 0.000000e+00 | -- | Inf
13.48/13.58 c 13.6s| 3100 | 51 | 71877 | 21.8 | 17M| 27 | 44 | 295 |1270 | 295 | 832 | 555 | 668 |1555 | 0.000000e+00 | -- | Inf
13.69/13.72 c 13.7s| 3200 | 49 | 73985 | 21.7 | 17M| 27 | - | 295 |1294 | 0 | 0 | 555 | 694 |1555 | 0.000000e+00 | -- | Inf
13.89/13.91 c 13.9s| 3300 | 49 | 76301 | 21.8 | 17M| 27 | - | 295 |1313 | 0 | 0 | 555 | 716 |1564 | 0.000000e+00 | -- | Inf
13.98/14.08 c 14.1s| 3400 | 48 | 78494 | 21.8 | 17M| 27 | 46 | 295 |1325 | 295 | 832 | 555 | 732 |1570 | 0.000000e+00 | -- | Inf
14.30/14.34 c 14.3s| 3500 | 51 | 80936 | 21.9 | 17M| 27 | - | 295 |1343 | 0 | 0 | 555 | 755 |1585 | 0.000000e+00 | -- | Inf
14.48/14.50 c 14.5s| 3600 | 47 | 83243 | 21.9 | 17M| 27 | - | 295 |1357 | 295 | 832 | 555 | 772 |1585 | 0.000000e+00 | -- | Inf
14.58/14.69 c 14.7s| 3700 | 48 | 85389 | 21.9 | 17M| 27 | 97 | 295 |1377 | 295 | 832 | 555 | 794 |1596 | 0.000000e+00 | -- | Inf
14.88/14.90 c 14.9s| 3800 | 49 | 87194 | 21.8 | 17M| 27 | 66 | 295 |1404 | 295 | 832 | 555 | 822 |1606 | 0.000000e+00 | -- | Inf
14.98/15.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.98/15.06 c 15.1s| 3900 | 52 | 89214 | 21.7 | 17M| 27 | 46 | 295 |1429 | 295 | 832 | 555 | 849 |1612 | 0.000000e+00 | -- | Inf
15.09/15.14 c 15.1s| 4000 | 49 | 90317 | 21.5 | 17M| 29 | 51 | 295 |1458 | 295 | 832 | 555 | 885 |1612 | 0.000000e+00 | -- | Inf
15.29/15.30 c 15.3s| 4100 | 48 | 92476 | 21.5 | 17M| 29 | 93 | 295 |1473 | 295 | 832 | 555 | 904 |1613 | 0.000000e+00 | -- | Inf
15.39/15.45 c 15.4s| 4200 | 49 | 94613 | 21.5 | 17M| 29 | 48 | 295 |1485 | 295 | 832 | 555 | 922 |1613 | 0.000000e+00 | -- | Inf
15.59/15.61 c 15.6s| 4300 | 48 | 96911 | 21.5 | 17M| 29 | - | 295 |1515 | 0 | 0 | 555 | 954 |1613 | 0.000000e+00 | -- | Inf
15.69/15.74 c 15.7s| 4400 | 50 | 98797 | 21.5 | 17M| 29 | 59 | 295 |1523 | 295 | 832 | 555 | 972 |1613 | 0.000000e+00 | -- | Inf
15.89/15.93 c 15.9s| 4500 | 52 |101351 | 21.5 | 17M| 29 | 44 | 295 |1530 | 295 | 832 | 555 | 991 |1618 | 0.000000e+00 | -- | Inf
15.98/16.08 c 16.1s| 4600 | 49 |103539 | 21.6 | 17M| 29 | 48 | 295 |1532 | 295 | 832 | 555 |1005 |1618 | 0.000000e+00 | -- | Inf
16.19/16.24 c 16.2s| 4700 | 48 |105862 | 21.6 | 17M| 29 | - | 295 |1557 | 0 | 0 | 555 |1033 |1619 | 0.000000e+00 | -- | Inf
16.29/16.40 c 16.4s| 4800 | 48 |108270 | 21.6 | 17M| 29 | - | 295 |1573 | 0 | 0 | 555 |1054 |1619 | 0.000000e+00 | -- | Inf
16.59/16.63 c 16.6s| 4900 | 49 |111156 | 21.8 | 17M| 29 | 50 | 295 |1587 | 295 | 832 | 555 |1075 |1626 | 0.000000e+00 | -- | Inf
16.69/16.77 c 16.8s| 5000 | 51 |113219 | 21.8 | 17M| 29 | - | 295 |1594 | 0 | 0 | 555 |1091 |1626 | 0.000000e+00 | -- | Inf
16.89/16.90 c 16.9s| 5100 | 48 |115109 | 21.7 | 17M| 29 | - | 295 |1617 | 0 | 0 | 555 |1120 |1626 | 0.000000e+00 | -- | Inf
16.99/17.07 c 17.1s| 5200 | 48 |117412 | 21.7 | 17M| 29 | 80 | 295 |1624 | 295 | 832 | 555 |1136 |1627 | 0.000000e+00 | -- | Inf
17.18/17.27 c 17.3s| 5300 | 53 |119786 | 21.8 | 17M| 29 | 49 | 295 |1643 | 295 | 832 | 555 |1159 |1639 | 0.000000e+00 | -- | Inf
17.39/17.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.39/17.45 c 17.5s| 5400 | 51 |121904 | 21.8 | 17M| 29 | 34 | 295 |1647 | 295 | 832 | 555 |1176 |1651 | 0.000000e+00 | -- | Inf
17.59/17.64 c 17.6s| 5500 | 51 |124100 | 21.8 | 17M| 29 | 43 | 295 |1656 | 295 | 832 | 555 |1187 |1666 | 0.000000e+00 | -- | Inf
17.78/17.81 c 17.8s| 5600 | 53 |125901 | 21.7 | 17M| 29 | 41 | 295 |1675 | 295 | 832 | 555 |1208 |1676 | 0.000000e+00 | -- | Inf
17.88/17.96 c 18.0s| 5700 | 49 |127929 | 21.7 | 17M| 30 | 45 | 295 |1679 | 295 | 832 | 555 |1218 |1681 | 0.000000e+00 | -- | Inf
17.98/18.06 c 18.1s| 5800 | 51 |129386 | 21.5 | 17M| 34 | 20 | 295 |1691 | 295 | 832 | 555 |1232 |1681 | 0.000000e+00 | -- | Inf
18.19/18.25 c 18.3s| 5900 | 49 |131705 | 21.6 | 17M| 34 | 58 | 295 |1699 | 295 | 832 | 555 |1246 |1692 | 0.000000e+00 | -- | Inf
18.28/18.37 c 18.4s| 6000 | 49 |133453 | 21.5 | 17M| 34 | 46 | 295 |1716 | 295 | 832 | 555 |1267 |1692 | 0.000000e+00 | -- | Inf
18.48/18.58 c 18.6s| 6100 | 51 |136207 | 21.6 | 17M| 34 | 35 | 295 |1721 | 295 | 832 | 555 |1282 |1696 | 0.000000e+00 | -- | Inf
18.59/18.69 c 18.7s| 6200 | 50 |137932 | 21.5 | 17M| 34 | - | 295 |1742 | 0 | 0 | 555 |1305 |1696 | 0.000000e+00 | -- | Inf
18.79/18.81 c 18.8s| 6300 | 51 |139645 | 21.5 | 17M| 34 | - | 295 |1766 | 0 | 0 | 555 |1333 |1696 | 0.000000e+00 | -- | Inf
18.89/18.94 c 18.9s| 6400 | 49 |141600 | 21.4 | 17M| 34 | - | 295 |1776 | 295 | 832 | 555 |1349 |1696 | 0.000000e+00 | -- | Inf
18.99/19.06 c 19.1s| 6500 | 50 |143269 | 21.4 | 17M| 34 | 31 | 295 |1789 | 295 | 832 | 555 |1363 |1696 | 0.000000e+00 | -- | Inf
19.18/19.21 c 19.2s| 6600 | 52 |145468 | 21.4 | 17M| 34 | - | 295 |1801 | 0 | 0 | 555 |1378 |1697 | 0.000000e+00 | -- | Inf
19.29/19.34 c 19.3s| 6700 | 49 |147318 | 21.3 | 17M| 34 | - | 295 |1832 | 0 | 0 | 555 |1410 |1697 | 0.000000e+00 | -- | Inf
19.49/19.50 c 19.5s| 6800 | 52 |149492 | 21.3 | 17M| 34 | 42 | 295 |1843 | 295 | 832 | 555 |1424 |1698 | 0.000000e+00 | -- | Inf
19.59/19.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.59/19.62 c 19.6s| 6900 | 51 |151308 | 21.3 | 17M| 34 | 34 | 295 |1853 | 295 | 832 | 555 |1437 |1698 | 0.000000e+00 | -- | Inf
19.69/19.75 c 19.8s| 7000 | 51 |153120 | 21.2 | 17M| 34 | - | 295 |1868 | 0 | 0 | 555 |1455 |1698 | 0.000000e+00 | -- | Inf
19.89/19.91 c 19.9s| 7100 | 55 |155208 | 21.2 | 17M| 34 | 33 | 295 |1885 | 295 | 832 | 555 |1475 |1702 | 0.000000e+00 | -- | Inf
19.98/20.04 c 20.0s| 7200 | 51 |157096 | 21.2 | 17M| 34 | - | 295 |1905 | 0 | 0 | 555 |1498 |1702 | 0.000000e+00 | -- | Inf
20.19/20.21 c 20.2s| 7300 | 52 |159611 | 21.3 | 17M| 34 | 55 | 295 |1923 | 295 | 832 | 555 |1516 |1702 | 0.000000e+00 | -- | Inf
20.39/20.42 c 20.4s| 7400 | 53 |162236 | 21.3 | 17M| 34 | - | 295 |1936 | 0 | 0 | 555 |1531 |1714 | 0.000000e+00 | -- | Inf
20.59/20.62 c 20.6s| 7500 | 52 |164229 | 21.3 | 17M| 34 | 57 | 295 |1948 | 295 | 832 | 555 |1548 |1737 | 0.000000e+00 | -- | Inf
21.08/21.11 c 21.1s| 7600 | 56 |166463 | 21.3 | 17M| 34 | 48 | 295 |1960 | 295 | 832 | 555 |1580 |1774 | 0.000000e+00 | -- | Inf
21.19/21.23 c 21.2s| 7700 | 57 |168089 | 21.3 | 17M| 34 | - | 295 |1956 | 295 | 832 | 555 |1606 |1774 | 0.000000e+00 | -- | Inf
21.28/21.36 c 21.4s| 7800 | 54 |169920 | 21.2 | 17M| 34 | - | 295 |1959 | 0 | 0 | 555 |1623 |1774 | 0.000000e+00 | -- | Inf
21.49/21.52 c 21.5s| 7900 | 56 |172179 | 21.2 | 17M| 34 | 41 | 295 |1962 | 295 | 832 | 555 |1648 |1774 | 0.000000e+00 | -- | Inf
21.58/21.67 c 21.7s| 8000 | 54 |174406 | 21.3 | 17M| 34 | 48 | 295 |1972 | 295 | 832 | 555 |1672 |1774 | 0.000000e+00 | -- | Inf
21.78/21.80 c 21.8s| 8100 | 53 |176218 | 21.2 | 17M| 34 | - | 295 |1957 | 0 | 0 | 555 |1682 |1774 | 0.000000e+00 | -- | Inf
21.89/21.96 c 22.0s| 8200 | 55 |178133 | 21.2 | 17M| 34 | 37 | 295 |1941 | 295 | 832 | 555 |1692 |1783 | 0.000000e+00 | -- | Inf
22.09/22.14 c 22.1s| 8300 | 54 |180012 | 21.2 | 17M| 34 | 50 | 295 |1946 | 295 | 832 | 555 |1707 |1795 | 0.000000e+00 | -- | Inf
22.28/22.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.28/22.31 c 22.3s| 8400 | 52 |182124 | 21.2 | 17M| 34 | - | 295 |1947 | 0 | 0 | 555 |1725 |1804 | 0.000000e+00 | -- | Inf
22.49/22.54 c 22.5s| 8500 | 54 |184599 | 21.2 | 17M| 34 | 66 | 295 |1948 | 295 | 832 | 555 |1738 |1817 | 0.000000e+00 | -- | Inf
22.59/22.69 c 22.7s| 8600 | 59 |186113 | 21.1 | 17M| 34 | 33 | 295 |1971 | 295 | 832 | 555 |1767 |1827 | 0.000000e+00 | -- | Inf
22.78/22.82 c 22.8s| 8700 | 58 |187803 | 21.1 | 17M| 34 | - | 295 |1996 | 0 | 0 | 555 |1803 |1831 | 0.000000e+00 | -- | Inf
22.89/22.92 c 22.9s| 8800 | 54 |189385 | 21.0 | 17M| 34 | - | 295 |2021 | 295 | 832 | 555 |1829 |1832 | 0.000000e+00 | -- | Inf
22.99/23.08 c 23.1s| 8900 | 58 |191316 | 21.0 | 17M| 34 | 56 | 295 |2028 | 295 | 832 | 555 |1850 |1837 | 0.000000e+00 | -- | Inf
23.18/23.23 c 23.2s| 9000 | 54 |193394 | 21.0 | 17M| 34 | - | 295 |2025 | 295 | 832 | 555 |1867 |1837 | 0.000000e+00 | -- | Inf
23.39/23.42 c 23.4s| 9100 | 60 |196140 | 21.1 | 17M| 34 | 23 | 295 |2024 | 295 | 832 | 555 |1889 |1837 | 0.000000e+00 | -- | Inf
23.48/23.59 c 23.6s| 9200 | 53 |198480 | 21.1 | 17M| 34 | - | 295 |2024 | 295 | 832 | 555 |1911 |1838 | 0.000000e+00 | -- | Inf
23.69/23.78 c 23.8s| 9300 | 54 |201122 | 21.2 | 17M| 34 | 30 | 295 |2045 | 295 | 832 | 555 |1944 |1838 | 0.000000e+00 | -- | Inf
24.19/24.25 c 24.3s| 9400 | 54 |203790 | 21.2 | 17M| 34 | 37 | 295 |2047 | 295 | 832 | 555 |1959 |1875 | 0.000000e+00 | -- | Inf
24.79/24.89 c 24.9s| 9500 | 58 |207568 | 21.4 | 17M| 34 | 38 | 295 |2039 | 295 | 832 | 555 |1976 |1931 | 0.000000e+00 | -- | Inf
25.19/25.21 c 25.2s| 9600 | 57 |211189 | 21.5 | 17M| 34 | 35 | 295 |2029 | 295 | 832 | 555 |1991 |1945 | 0.000000e+00 | -- | Inf
25.30/25.39 c 25.4s| 9700 | 56 |213563 | 21.6 | 17M| 34 | - | 295 |2049 | 0 | 0 | 555 |2031 |1948 | 0.000000e+00 | -- | Inf
25.48/25.55 c 25.6s| 9800 | 56 |215767 | 21.6 | 17M| 34 | - | 295 |2058 | 0 | 0 | 555 |2057 |1951 | 0.000000e+00 | -- | Inf
25.69/25.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.69/25.71 c 25.7s| 9900 | 58 |217976 | 21.6 | 17M| 34 | - | 295 |2062 | 0 | 0 | 555 |2087 |1951 | 0.000000e+00 | -- | Inf
25.79/25.85 c 25.8s| 10000 | 64 |219539 | 21.5 | 17M| 34 | 35 | 295 |2077 | 295 | 832 | 555 |2114 |1961 | 0.000000e+00 | -- | Inf
25.88/25.94 c 25.9s| 10100 | 63 |220810 | 21.4 | 17M| 34 | 26 | 295 |2091 | 295 | 832 | 555 |2130 |1961 | 0.000000e+00 | -- | Inf
25.88/25.98 c *26.0s| 10165 | 0 |221441 | 21.4 | 17M| 34 | - | 295 |2112 | 295 | 832 | 555 |2151 |1961 | 0.000000e+00 | 0.000000e+00 | 0.00%
25.88/25.98 c
25.88/25.98 c SCIP Status : problem is solved [optimal solution found]
25.88/25.98 c Solving Time (sec) : 25.98
25.88/25.98 c Solving Nodes : 10165
25.88/25.98 c Primal Bound : +0.00000000000000e+00 (1 solutions)
25.88/25.98 c Dual Bound : +0.00000000000000e+00
25.88/25.98 c Gap : 0.00 %
25.88/25.98 s SATISFIABLE
25.88/25.98 v x315 -x316 -x313 x314 -x311 x312 -x309 x310 x307 -x308 x305 -x306 x303 -x304 -x301 -x302 -x299 -x300 -x297 -x298 x295 -x296 x293
25.88/25.98 v -x294 x291 -x292 x289 -x290 x287 -x288 -x285 -x286 x283 -x284 x281 -x282 x279 -x280 -x277 x278 -x275 -x276 -x273 x274 -x271
25.88/25.98 v x272 -x269 x270 -x267 x268 -x265 x266 -x263 -x264 -x261 x262 -x259 -x260 -x257 -x258 x255 -x256 x253 -x254 x251 -x252 -x249
25.88/25.98 v x250 -x247 x248 x245 -x246 x243 -x244 -x241 x242 x239 -x240 x237 -x238 x235 -x236 x233 -x234 -x231 x232 -x229 x230 -x227 x228
25.88/25.98 v x225 -x226 -x223 x224 -x221 x222 x219 -x220 x217 -x218 x215 -x216 x213 -x214 -x211 x212 -x209 x210 -x207 x208 x205 -x206 -x203
25.88/25.98 v x204 -x201 x202 -x200 x198 x196 -x194 -x192 -x190 -x188 x186 -x184 -x182 x180 -x178 x176 x174 -x172 -x170 -x168 x166 -x164
25.88/25.98 v -x162 -x160 x158 -x156 x154 -x152 -x150 -x148 x146 -x144 -x142 -x140 -x138 x136 -x134 -x132 -x130 -x128 -x126 -x124 -x122 -x120
25.88/25.98 v -x118 -x116 -x114 -x112 -x110 -x108 -x106 -x104 -x102 -x100 -x98 -x96 -x94 -x92 -x90 -x88 -x86 -x84 -x82 -x80 -x78 -x76 -x74
25.88/25.98 v -x72 -x70 -x68 -x66 -x64 -x62 x60 x58 x56 -x54 -x52 -x50 -x48 -x46 -x44 -x42 -x40 -x38 -x36 -x34 -x32 -x30 -x28 -x26 -x24
25.88/25.98 v -x22 -x20 -x18 -x16 -x14 -x12 -x10 -x8 -x6 -x4 -x2 -x199 -x197 -x195 -x193 -x191 -x189 -x187 -x185 -x183 -x181 -x179 -x177 -x175
25.88/25.98 v -x173 -x171 -x169 -x167 -x165 -x163 -x161 -x159 -x157 -x155 -x153 -x151 -x149 -x147 -x145 -x143 -x141 -x139 -x137 -x135
25.88/25.98 v -x133 -x131 -x129 -x127 -x125 -x123 -x121 -x119 -x117 -x115 -x113 -x111 -x109 -x107 -x105 x103 -x101 -x99 -x97 -x95 -x93 -x91
25.88/25.98 v x89 -x87 -x85 x83 x81 -x79 -x77 -x75 -x73 x71 -x69 x67 -x65 -x63 x61 -x59 -x57 -x55 -x53 -x51 -x49 -x47 -x45 -x43 -x41 -x39
25.88/25.98 v -x37 -x35 -x33 x31 x29 x27 -x25 x23 -x21 -x19 -x17 -x15 -x13 -x11 x9 x7 -x5 -x3 x1
25.88/25.98 c SCIP Status : problem is solved [optimal solution found]
25.88/25.98 c Total Time : 25.98
25.88/25.98 c solving : 25.98
25.88/25.98 c presolving : 0.03 (included in solving)
25.88/25.98 c reading : 0.00 (included in solving)
25.88/25.98 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
25.88/25.98 c Original Problem :
25.88/25.98 c Problem name : HOME/instance-3691636-1338017292.opb
25.88/25.98 c Variables : 316 (316 binary, 0 integer, 0 implicit integer, 0 continuous)
25.88/25.98 c Constraints : 686 initial, 686 maximal
25.88/25.98 c Objective sense : minimize
25.88/25.98 c Presolved Problem :
25.88/25.98 c Problem name : t_HOME/instance-3691636-1338017292.opb
25.88/25.98 c Variables : 295 (295 binary, 0 integer, 0 implicit integer, 0 continuous)
25.88/25.98 c Constraints : 647 initial, 2112 maximal
25.88/25.98 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
25.88/25.98 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
25.88/25.98 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
25.88/25.98 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
25.88/25.98 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
25.88/25.98 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
25.88/25.98 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
25.88/25.98 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
25.88/25.98 c implics : 0.00 0.00 0 8 0 0 0 0 0 0 0
25.88/25.98 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
25.88/25.98 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
25.88/25.98 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
25.88/25.98 c knapsack : 0.01 0.00 0 0 0 0 0 0 0 0 0
25.88/25.98 c setppc : 0.00 0.00 0 0 0 0 0 8 0 0 0
25.88/25.98 c linear : 0.01 0.00 13 0 0 13 0 31 0 0 0
25.88/25.98 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
25.88/25.98 c root node : - - 0 - - 0 - - - - -
25.88/25.98 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
25.88/25.98 c integral : 0 0 0 0 5360 0 3 0 14 271 0 0 10474
25.88/25.98 c knapsack : 199 199 5 34221 0 0 0 151258 2596 104815 660 0 0
25.88/25.98 c setppc : 141 141 5 31531 0 0 0 34333 194 31610 0 0 0
25.88/25.98 c linear : 0+ 17 5 16544 0 0 0 145 3 357 0 0 0
25.88/25.98 c logicor : 307+ 1755 5 26650 1 0 0 6233 771 32134 0 0 0
25.88/25.98 c countsols : 0 0 0 0 1 0 2 0 0 0 0 0 0
25.88/25.98 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
25.88/25.98 c integral : 9.57 0.00 0.00 0.00 9.57 0.00 0.00 0.00
25.88/25.98 c knapsack : 0.34 0.00 0.01 0.27 0.00 0.00 0.00 0.07
25.88/25.98 c setppc : 0.10 0.00 0.00 0.08 0.00 0.00 0.00 0.01
25.88/25.98 c linear : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00
25.88/25.98 c logicor : 0.27 0.00 0.00 0.26 0.00 0.00 0.00 0.00
25.88/25.98 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
25.88/25.98 c Propagators : #Propagate #ResProp Cutoffs DomReds
25.88/25.98 c rootredcost : 0 0 0 0
25.88/25.98 c pseudoobj : 0 0 0 0
25.88/25.98 c vbounds : 0 0 0 0
25.88/25.98 c redcost : 5365 0 0 0
25.88/25.98 c probing : 0 0 0 0
25.88/25.98 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
25.88/25.98 c rootredcost : 0.01 0.00 0.00 0.01 0.00
25.88/25.98 c pseudoobj : 0.01 0.00 0.00 0.01 0.00
25.88/25.98 c vbounds : 0.01 0.00 0.00 0.01 0.00
25.88/25.98 c redcost : 0.02 0.00 0.00 0.02 0.00
25.88/25.98 c probing : 0.00 0.00 0.00 0.00 0.00
25.88/25.98 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
25.88/25.98 c propagation : 0.21 1556 1471 11701 61.4 33 20.3 -
25.88/25.98 c infeasible LP : 0.10 1570 0 0 0.0 0 0.0 0
25.88/25.98 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
25.88/25.98 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
25.88/25.98 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
25.88/25.98 c applied globally : - - - 2134 14.6 - - -
25.88/25.98 c applied locally : - - - 17 73.4 - - -
25.88/25.98 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
25.88/25.98 c cut pool : 0.00 4 - - 36 - (maximal pool size: 2679)
25.88/25.98 c closecuts : 0.00 0.00 0 0 0 0 0
25.88/25.98 c impliedbounds : 0.00 0.00 5 0 0 977 0
25.88/25.98 c intobj : 0.00 0.00 0 0 0 0 0
25.88/25.98 c gomory : 0.37 0.00 5 0 0 105 0
25.88/25.98 c cgmip : 0.00 0.00 0 0 0 0 0
25.88/25.98 c strongcg : 0.29 0.00 5 0 0 2489 0
25.88/25.98 c cmir : 0.00 0.00 0 0 0 0 0
25.88/25.98 c flowcover : 0.00 0.00 0 0 0 0 0
25.88/25.98 c clique : 0.00 0.00 5 0 0 12 0
25.88/25.98 c zerohalf : 0.00 0.00 0 0 0 0 0
25.88/25.98 c mcf : 0.00 0.00 1 0 0 0 0
25.88/25.98 c oddcycle : 0.00 0.00 0 0 0 0 0
25.88/25.98 c rapidlearning : 0.12 0.00 1 0 0 0 17
25.88/25.98 c Pricers : ExecTime SetupTime Calls Vars
25.88/25.98 c problem variables: 0.00 - 0 0
25.88/25.98 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
25.88/25.98 c relpscost : 9.57 0.00 5359 14 271 0 0 10474
25.88/25.98 c pscost : 0.00 0.00 0 0 0 0 0 0
25.88/25.98 c inference : 0.00 0.00 0 0 0 0 0 0
25.88/25.98 c mostinf : 0.00 0.00 0 0 0 0 0 0
25.88/25.98 c leastinf : 0.00 0.00 0 0 0 0 0 0
25.88/25.98 c fullstrong : 0.00 0.00 0 0 0 0 0 0
25.88/25.98 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
25.88/25.98 c random : 0.00 0.00 0 0 0 0 0 0
25.88/25.98 c Primal Heuristics : ExecTime SetupTime Calls Found
25.88/25.98 c LP solutions : 0.00 - - 1
25.88/25.98 c pseudo solutions : 0.00 - - 0
25.88/25.98 c smallcard : 0.00 0.00 0 0
25.88/25.98 c trivial : 0.00 0.00 1 0
25.88/25.98 c shiftandpropagate: 0.00 0.00 0 0
25.88/25.98 c simplerounding : 0.00 0.00 0 0
25.88/25.98 c zirounding : 0.00 0.00 0 0
25.88/25.98 c rounding : 0.00 0.00 0 0
25.88/25.98 c shifting : 0.00 0.00 0 0
25.88/25.98 c intshifting : 0.00 0.00 0 0
25.88/25.98 c oneopt : 0.00 0.00 0 0
25.88/25.98 c twoopt : 0.00 0.00 0 0
25.88/25.98 c indtwoopt : 0.00 0.00 0 0
25.88/25.98 c indoneopt : 0.00 0.00 0 0
25.88/25.98 c fixandinfer : 0.00 0.00 0 0
25.88/25.98 c feaspump : 0.00 0.00 0 0
25.88/25.98 c clique : 0.00 0.00 0 0
25.88/25.98 c indrounding : 0.00 0.00 0 0
25.88/25.98 c indcoefdiving : 0.00 0.00 0 0
25.88/25.98 c coefdiving : 0.00 0.00 0 0
25.88/25.98 c pscostdiving : 0.00 0.00 0 0
25.88/25.98 c nlpdiving : 0.00 0.00 0 0
25.88/25.98 c fracdiving : 0.00 0.00 0 0
25.88/25.98 c veclendiving : 0.00 0.00 0 0
25.88/25.98 c intdiving : 0.00 0.00 0 0
25.88/25.98 c actconsdiving : 0.00 0.00 0 0
25.88/25.98 c objpscostdiving : 0.00 0.00 0 0
25.88/25.98 c rootsoldiving : 0.00 0.00 0 0
25.88/25.98 c linesearchdiving : 0.00 0.00 0 0
25.88/25.98 c guideddiving : 0.00 0.00 0 0
25.88/25.98 c octane : 0.00 0.00 0 0
25.88/25.98 c rens : 0.00 0.00 0 0
25.88/25.98 c rins : 0.00 0.00 0 0
25.88/25.98 c localbranching : 0.00 0.00 0 0
25.88/25.98 c mutation : 0.00 0.00 0 0
25.88/25.98 c crossover : 0.00 0.00 0 0
25.88/25.98 c dins : 0.00 0.00 0 0
25.88/25.98 c vbounds : 0.00 0.00 0 0
25.88/25.98 c undercover : 0.00 0.00 0 0
25.88/25.98 c subnlp : 0.00 0.00 0 0
25.88/25.98 c trysol : 0.00 0.00 0 0
25.88/25.98 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
25.88/25.98 c primal LP : 0.00 1 0 0.00 - 0.00 1
25.88/25.98 c dual LP : 13.53 6935 221441 31.94 16366.46 0.00 2
25.88/25.98 c lex dual LP : 0.00 0 0 0.00 -
25.88/25.98 c barrier LP : 0.00 0 0 0.00 - 0.00 0
25.88/25.98 c diving/probing LP: 0.00 0 0 0.00 -
25.88/25.98 c strong branching : 9.47 1961 124894 63.69 13183.50
25.88/25.98 c (at root node) : - 9 4296 477.33 -
25.88/25.98 c conflict analysis: 0.00 0 0 0.00 -
25.88/25.98 c B&B Tree :
25.88/25.98 c number of runs : 1
25.88/25.98 c nodes : 10165
25.88/25.98 c nodes (total) : 10165
25.88/25.98 c nodes left : 0
25.88/25.98 c max depth : 34
25.88/25.98 c max depth (total): 34
25.88/25.98 c backtracks : 1813 (17.8%)
25.88/25.98 c delayed cutoffs : 244
25.88/25.98 c repropagations : 1892 (11381 domain reductions, 221 cutoffs)
25.88/25.98 c avg switch length: 3.04
25.88/25.98 c switching time : 0.39
25.88/25.98 c Solution :
25.88/25.98 c Solutions found : 1 (1 improvements)
25.88/25.98 c First Solution : +0.00000000000000e+00 (in run 1, after 10165 nodes, 25.98 seconds, depth 27, found by <relaxation>)
25.88/25.98 c Primal Bound : +0.00000000000000e+00 (in run 1, after 10165 nodes, 25.98 seconds, depth 27, found by <relaxation>)
25.88/25.98 c Dual Bound : +0.00000000000000e+00
25.88/25.98 c Gap : 0.00 %
25.88/25.98 c Root Dual Bound : +0.00000000000000e+00
25.88/25.98 c Root Iterations : 4426
25.88/25.99 c Time complete: 25.98.