0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 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-2665703-1276270661.opb>
0.01/0.02 c original problem has 370 variables (370 bin, 0 int, 0 impl, 0 cont) and 557 constraints
0.01/0.02 c problem read
0.01/0.02 c No objective function, only one solution is needed.
0.01/0.02 c presolving settings loaded
0.01/0.03 c presolving:
0.01/0.05 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 557 upgd conss, 402 impls, 0 clqs
0.01/0.06 c (round 2) 8 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 557 upgd conss, 12226 impls, 0 clqs
0.01/0.07 c presolving (3 rounds):
0.01/0.07 c 8 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.07 c 12226 implications, 0 cliques
0.01/0.07 c presolved problem has 362 variables (362 bin, 0 int, 0 impl, 0 cont) and 557 constraints
0.01/0.07 c 244 constraints of type <knapsack>
0.01/0.07 c 313 constraints of type <logicor>
0.01/0.07 c transformed objective value is always integral (scale: 1)
0.01/0.07 c Presolving Time: 0.04
0.01/0.07 c - non default parameters ----------------------------------------------------------------------
0.01/0.07 c # SCIP version 1.2.1.2
0.01/0.07 c
0.01/0.07 c # frequency for displaying node information lines
0.01/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.07 c display/freq = 10000
0.01/0.07 c
0.01/0.07 c # maximal time in seconds to run
0.01/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.07 c limits/time = 1799.99
0.01/0.07 c
0.01/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.07 c limits/memory = 1620
0.01/0.07 c
0.01/0.07 c # solving stops, if the given number of solutions were found (-1: no limit)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.07 c limits/solutions = 1
0.01/0.07 c
0.01/0.07 c # maximal number of separation rounds per node (-1: unlimited)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: 5]
0.01/0.07 c separating/maxrounds = 1
0.01/0.07 c
0.01/0.07 c # maximal number of separation rounds in the root node (-1: unlimited)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.07 c separating/maxroundsroot = 5
0.01/0.07 c
0.01/0.07 c # should presolving try to simplify inequalities
0.01/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.07 c constraints/linear/simplifyinequalities = TRUE
0.01/0.07 c
0.01/0.07 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.01/0.07 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.01/0.07 c constraints/knapsack/disaggregation = FALSE
0.01/0.07 c
0.01/0.07 c # should presolving try to simplify knapsacks
0.01/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.07 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.07 c
0.01/0.07 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.07 c presolving/probing/maxrounds = 0
0.01/0.07 c
0.01/0.07 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.07 c heuristics/coefdiving/freq = -1
0.01/0.07 c
0.01/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.07 c heuristics/coefdiving/maxlpiterquot = 0.075
0.01/0.07 c
0.01/0.07 c # additional number of allowed LP iterations
0.01/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.07 c heuristics/coefdiving/maxlpiterofs = 1500
0.01/0.07 c
0.01/0.07 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: 30]
0.01/0.07 c heuristics/crossover/freq = -1
0.01/0.07 c
0.01/0.07 c # number of nodes added to the contingent of the total nodes
0.01/0.07 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.01/0.07 c heuristics/crossover/nodesofs = 750
0.01/0.07 c
0.01/0.07 c # number of nodes without incumbent change that heuristic should wait
0.01/0.07 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.01/0.07 c heuristics/crossover/nwaitingnodes = 100
0.01/0.07 c
0.01/0.07 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.01/0.07 c # [type: real, range: [0,1], default: 0.1]
0.01/0.07 c heuristics/crossover/nodesquot = 0.15
0.01/0.07 c
0.01/0.07 c # minimum percentage of integer variables that have to be fixed
0.01/0.07 c # [type: real, range: [0,1], default: 0.666]
0.01/0.07 c heuristics/crossover/minfixingrate = 0.5
0.01/0.07 c
0.01/0.07 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.07 c heuristics/feaspump/freq = -1
0.01/0.07 c
0.01/0.07 c # additional number of allowed LP iterations
0.01/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.07 c heuristics/feaspump/maxlpiterofs = 2000
0.01/0.07 c
0.01/0.07 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.07 c heuristics/fracdiving/freq = -1
0.01/0.07 c
0.01/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.07 c heuristics/fracdiving/maxlpiterquot = 0.075
0.01/0.07 c
0.01/0.07 c # additional number of allowed LP iterations
0.01/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.07 c heuristics/fracdiving/maxlpiterofs = 1500
0.01/0.07 c
0.01/0.07 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.07 c heuristics/guideddiving/freq = -1
0.01/0.07 c
0.01/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.07 c heuristics/guideddiving/maxlpiterquot = 0.075
0.01/0.07 c
0.01/0.07 c # additional number of allowed LP iterations
0.01/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.07 c heuristics/guideddiving/maxlpiterofs = 1500
0.01/0.07 c
0.01/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.07 c heuristics/intdiving/maxlpiterquot = 0.075
0.01/0.07 c
0.01/0.07 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.07 c heuristics/intshifting/freq = -1
0.01/0.07 c
0.01/0.07 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.07 c heuristics/linesearchdiving/freq = -1
0.01/0.07 c
0.01/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.07 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.01/0.07 c
0.01/0.07 c # additional number of allowed LP iterations
0.01/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.07 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.01/0.07 c
0.01/0.07 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.07 c heuristics/nlp/freq = -1
0.01/0.07 c
0.01/0.07 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.07 c heuristics/objpscostdiving/freq = -1
0.01/0.07 c
0.01/0.07 c # maximal fraction of diving LP iterations compared to total iteration number
0.01/0.07 c # [type: real, range: [0,1], default: 0.01]
0.01/0.07 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.01/0.07 c
0.01/0.07 c # additional number of allowed LP iterations
0.01/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.07 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.01/0.07 c
0.01/0.07 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.07 c heuristics/oneopt/freq = -1
0.01/0.07 c
0.01/0.07 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.07 c heuristics/pscostdiving/freq = -1
0.01/0.07 c
0.01/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.07 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.01/0.07 c
0.01/0.07 c # additional number of allowed LP iterations
0.01/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.07 c heuristics/pscostdiving/maxlpiterofs = 1500
0.01/0.07 c
0.01/0.07 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.07 c heuristics/rens/freq = -1
0.01/0.07 c
0.01/0.07 c # minimum percentage of integer variables that have to be fixable
0.01/0.07 c # [type: real, range: [0,1], default: 0.5]
0.01/0.07 c heuristics/rens/minfixingrate = 0.3
0.01/0.07 c
0.01/0.07 c # number of nodes added to the contingent of the total nodes
0.01/0.07 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.01/0.07 c heuristics/rens/nodesofs = 2000
0.01/0.07 c
0.01/0.07 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.07 c heuristics/rootsoldiving/freq = -1
0.01/0.07 c
0.01/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.01/0.07 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.01/0.07 c
0.01/0.07 c # additional number of allowed LP iterations
0.01/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.07 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.01/0.07 c
0.01/0.07 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.07 c heuristics/rounding/freq = -1
0.01/0.07 c
0.01/0.07 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.07 c heuristics/shifting/freq = -1
0.01/0.07 c
0.01/0.07 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.07 c heuristics/simplerounding/freq = -1
0.01/0.07 c
0.01/0.07 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.07 c heuristics/trivial/freq = -1
0.01/0.07 c
0.01/0.07 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.07 c heuristics/trysol/freq = -1
0.01/0.07 c
0.01/0.07 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.07 c heuristics/veclendiving/freq = -1
0.01/0.07 c
0.01/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.07 c heuristics/veclendiving/maxlpiterquot = 0.075
0.01/0.07 c
0.01/0.07 c # additional number of allowed LP iterations
0.01/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.07 c heuristics/veclendiving/maxlpiterofs = 1500
0.01/0.07 c
0.01/0.07 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.07 c heuristics/zirounding/freq = -1
0.01/0.07 c
0.01/0.07 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.07 c separating/cmir/freq = -1
0.01/0.07 c
0.01/0.07 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.07 c separating/flowcover/freq = -1
0.01/0.07 c
0.01/0.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.07 c separating/rapidlearning/freq = 0
0.01/0.07 c
0.01/0.07 c -----------------------------------------------------------------------------------------------
0.01/0.07 c start solving
0.01/0.07 c
0.01/0.09 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.09 c 0.1s| 1 | 0 | 143 | - |2235k| 0 | 92 | 362 | 557 | 362 | 549 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.34 c 0.3s| 1 | 0 | 316 | - |3016k| 0 | 136 | 362 | 559 | 362 | 820 | 271 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.66 c 0.6s| 1 | 0 | 506 | - |5455k| 0 | 147 | 362 | 559 | 362 |1148 | 599 | 0 | 0 | 0.000000e+00 | -- | Inf
0.89/0.92 c 0.8s| 1 | 0 | 544 | - |7021k| 0 | 145 | 362 | 559 | 362 |1170 | 621 | 0 | 0 | 0.000000e+00 | -- | Inf
1.19/1.22 c 1.1s| 1 | 0 | 655 | - |8270k| 0 | 154 | 362 | 559 | 362 |1171 | 622 | 0 | 0 | 0.000000e+00 | -- | Inf
1.39/1.48 c 1.4s| 1 | 0 | 669 | - | 10M| 0 | 154 | 362 | 559 | 362 |1176 | 627 | 0 | 0 | 0.000000e+00 | -- | Inf
1.89/1.99 c 1.9s| 1 | 2 | 669 | - | 10M| 0 | 154 | 362 | 559 | 362 |1176 | 627 | 0 | 10 | 0.000000e+00 | -- | Inf
20.08/20.14 c 19.0s| 10000 | 143 | 51565 | 5.1 | 10M| 40 | 22 | 362 |1019 | 362 | 686 | 627 | 675 |1824 | 0.000000e+00 | -- | Inf
34.18/34.27 c 32.3s| 20000 | 197 |102811 | 5.1 | 11M| 42 | 29 | 362 |1188 | 362 | 686 | 627 |1302 |1975 | 0.000000e+00 | -- | Inf
49.97/50.07 c 47.1s| 30000 | 262 |153563 | 5.1 | 11M| 42 | 31 | 362 |1199 | 362 | 686 | 627 |1914 |2710 | 0.000000e+00 | -- | Inf
65.27/65.32 c 61.3s| 40000 | 310 |207933 | 5.2 | 11M| 42 | 25 | 362 |1273 | 362 | 686 | 627 |2494 |3070 | 0.000000e+00 | -- | Inf
81.06/81.12 c 75.8s| 50000 | 336 |263182 | 5.3 | 11M| 42 | 25 | 362 |1246 | 362 | 686 | 627 |3123 |3504 | 0.000000e+00 | -- | Inf
96.76/96.83 c 90.4s| 60000 | 374 |317472 | 5.3 | 11M| 43 | - | 362 |1436 | 362 | 686 | 627 |3735 |4057 | 0.000000e+00 | -- | Inf
112.55/112.69 c 105s| 70000 | 402 |375138 | 5.3 | 11M| 43 | 28 | 362 |1464 | 362 | 686 | 627 |4273 |4469 | 0.000000e+00 | -- | Inf
127.96/128.09 c 119s| 80000 | 442 |428262 | 5.3 | 11M| 43 | 34 | 362 |1500 | 362 | 686 | 627 |4903 |4778 | 0.000000e+00 | -- | Inf
143.25/143.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.25/143.36 c 133s| 90000 | 471 |481986 | 5.3 | 11M| 45 | 28 | 362 |1646 | 362 | 686 | 627 |5519 |5036 | 0.000000e+00 | -- | Inf
159.15/159.20 c 148s|100000 | 529 |542493 | 5.4 | 12M| 45 | 20 | 362 |1691 | 362 | 686 | 627 |6092 |5334 | 0.000000e+00 | -- | Inf
174.64/174.74 c 163s|110000 | 551 |597153 | 5.4 | 12M| 45 | 27 | 362 |1678 | 362 | 686 | 627 |6723 |5694 | 0.000000e+00 | -- | Inf
190.03/190.17 c 177s|120000 | 594 |653118 | 5.4 | 12M| 45 | - | 362 |1670 | 0 | 0 | 627 |7319 |5919 | 0.000000e+00 | -- | Inf
205.73/205.82 c 192s|130000 | 590 |708553 | 5.4 | 12M| 45 | 28 | 362 |1468 | 362 | 686 | 627 |7864 |6204 | 0.000000e+00 | -- | Inf
221.13/221.20 c 206s|140000 | 589 |764409 | 5.5 | 12M| 45 | 32 | 362 |1506 | 362 | 686 | 627 |8516 |6417 | 0.000000e+00 | -- | Inf
236.82/236.94 c 220s|150000 | 631 |823180 | 5.5 | 12M| 45 | - | 362 |1634 | 0 | 0 | 627 |9044 |6598 | 0.000000e+00 | -- | Inf
252.83/253.00 c 235s|160000 | 589 |881453 | 5.5 | 12M| 45 | - | 362 |1535 | 0 | 0 | 627 |9596 |6972 | 0.000000e+00 | -- | Inf
268.81/268.96 c 250s|170000 | 555 |941652 | 5.5 | 12M| 46 | - | 362 |1482 | 362 | 686 | 627 | 10k|7138 | 0.000000e+00 | -- | Inf
285.70/285.81 c 266s|180000 | 602 | 1008k| 5.6 | 12M| 46 | 21 | 362 |1607 | 362 | 686 | 627 | 10k|7409 | 0.000000e+00 | -- | Inf
300.81/300.91 c 280s|190000 | 589 | 1064k| 5.6 | 12M| 46 | 26 | 362 |1741 | 362 | 686 | 627 | 11k|7567 | 0.000000e+00 | -- | Inf
316.30/316.47 c 294s|200000 | 614 | 1120k| 5.6 | 12M| 49 | - | 362 |1702 | 362 | 686 | 627 | 11k|7782 | 0.000000e+00 | -- | Inf
332.00/332.11 c 309s|210000 | 621 | 1178k| 5.6 | 12M| 49 | - | 362 |1493 | 362 | 686 | 627 | 12k|7988 | 0.000000e+00 | -- | Inf
348.50/348.65 c 324s|220000 | 627 | 1235k| 5.6 | 12M| 49 | - | 362 |1645 | 0 | 0 | 627 | 12k|8429 | 0.000000e+00 | -- | Inf
364.69/364.84 c 339s|230000 | 682 | 1299k| 5.6 | 12M| 49 | - | 362 |1731 | 0 | 0 | 627 | 13k|8489 | 0.000000e+00 | -- | Inf
381.78/381.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
381.78/381.96 c 355s|240000 | 696 | 1367k| 5.7 | 12M| 49 | 8 | 362 |1792 | 362 | 686 | 627 | 13k|8686 | 0.000000e+00 | -- | Inf
397.57/397.73 c 370s|250000 | 683 | 1425k| 5.7 | 12M| 49 | - | 362 |1671 | 0 | 0 | 627 | 14k|8871 | 0.000000e+00 | -- | Inf
413.38/413.55 c 385s|260000 | 695 | 1481k| 5.7 | 12M| 49 | 24 | 362 |1742 | 362 | 686 | 627 | 14k|9175 | 0.000000e+00 | -- | Inf
428.17/428.38 c 399s|270000 | 721 | 1534k| 5.7 | 12M| 49 | 38 | 362 |1784 | 362 | 686 | 627 | 15k|9268 | 0.000000e+00 | -- | Inf
443.36/443.50 c 413s|280000 | 729 | 1588k| 5.7 | 12M| 55 | 25 | 362 |1792 | 362 | 686 | 627 | 16k|9424 | 0.000000e+00 | -- | Inf
459.26/459.45 c 427s|290000 | 720 | 1648k| 5.7 | 12M| 55 | - | 362 |1588 | 0 | 0 | 627 | 16k|9564 | 0.000000e+00 | -- | Inf
474.25/474.47 c 441s|300000 | 718 | 1702k| 5.7 | 12M| 55 | 32 | 362 |1596 | 362 | 686 | 627 | 17k|9704 | 0.000000e+00 | -- | Inf
491.25/491.45 c 457s|310000 | 743 | 1768k| 5.7 | 12M| 55 | 21 | 362 |1544 | 362 | 686 | 627 | 17k|9866 | 0.000000e+00 | -- | Inf
506.95/507.13 c 472s|320000 | 724 | 1826k| 5.7 | 12M| 55 | 22 | 362 |1561 | 362 | 686 | 627 | 18k| 10k| 0.000000e+00 | -- | Inf
522.94/523.14 c 487s|330000 | 753 | 1887k| 5.7 | 12M| 55 | 23 | 362 |1674 | 362 | 686 | 627 | 18k| 10k| 0.000000e+00 | -- | Inf
539.54/539.71 c 502s|340000 | 741 | 1946k| 5.7 | 13M| 55 | 30 | 362 |1743 | 362 | 686 | 627 | 19k| 10k| 0.000000e+00 | -- | Inf
554.43/554.68 c 516s|350000 | 783 | 2002k| 5.7 | 13M| 55 | 26 | 362 |1856 | 362 | 686 | 627 | 19k| 10k| 0.000000e+00 | -- | Inf
569.73/569.91 c 530s|360000 | 768 | 2055k| 5.7 | 13M| 55 | 22 | 362 |1681 | 362 | 686 | 627 | 20k| 10k| 0.000000e+00 | -- | Inf
584.93/585.10 c 544s|370000 | 745 | 2109k| 5.7 | 13M| 55 | - | 362 |1632 | 0 | 0 | 627 | 20k| 10k| 0.000000e+00 | -- | Inf
600.72/600.99 c 559s|380000 | 746 | 2170k| 5.7 | 12M| 57 | 31 | 362 |1557 | 362 | 686 | 627 | 21k| 11k| 0.000000e+00 | -- | Inf
616.72/616.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
616.72/616.98 c 574s|390000 | 722 | 2229k| 5.7 | 12M| 57 | - | 362 |1607 | 0 | 0 | 627 | 21k| 11k| 0.000000e+00 | -- | Inf
631.41/631.69 c 588s|400000 | 714 | 2281k| 5.7 | 12M| 57 | - | 362 |1720 | 0 | 0 | 627 | 22k| 11k| 0.000000e+00 | -- | Inf
646.41/646.61 c 601s|410000 | 713 | 2336k| 5.7 | 12M| 57 | 31 | 362 |1722 | 362 | 686 | 627 | 22k| 11k| 0.000000e+00 | -- | Inf
662.31/662.52 c 616s|420000 | 685 | 2396k| 5.7 | 12M| 57 | 24 | 362 |1695 | 362 | 686 | 627 | 23k| 11k| 0.000000e+00 | -- | Inf
678.90/679.19 c 632s|430000 | 673 | 2456k| 5.7 | 12M| 57 | 22 | 362 |1495 | 362 | 686 | 627 | 23k| 11k| 0.000000e+00 | -- | Inf
693.19/693.49 c 645s|440000 | 656 | 2507k| 5.7 | 12M| 57 | - | 362 |1571 | 362 | 686 | 627 | 24k| 11k| 0.000000e+00 | -- | Inf
709.49/709.72 c 660s|450000 | 633 | 2566k| 5.7 | 12M| 57 | - | 362 |1343 | 0 | 0 | 627 | 24k| 11k| 0.000000e+00 | -- | Inf
725.19/725.41 c 675s|460000 | 618 | 2626k| 5.7 | 12M| 57 | - | 362 |1538 | 0 | 0 | 627 | 25k| 12k| 0.000000e+00 | -- | Inf
742.08/742.39 c 691s|470000 | 615 | 2692k| 5.7 | 12M| 57 | - | 362 |1472 | 362 | 686 | 627 | 25k| 12k| 0.000000e+00 | -- | Inf
758.27/758.51 c 706s|480000 | 624 | 2755k| 5.7 | 12M| 57 | - | 362 |1653 | 362 | 686 | 627 | 26k| 12k| 0.000000e+00 | -- | Inf
773.97/774.27 c 721s|490000 | 640 | 2814k| 5.7 | 12M| 57 | - | 362 |1645 | 0 | 0 | 627 | 27k| 12k| 0.000000e+00 | -- | Inf
789.27/789.54 c 735s|500000 | 634 | 2870k| 5.7 | 12M| 57 | 22 | 362 |1789 | 362 | 686 | 627 | 27k| 12k| 0.000000e+00 | -- | Inf
805.56/805.89 c 750s|510000 | 605 | 2932k| 5.7 | 12M| 57 | 30 | 362 |1533 | 362 | 686 | 627 | 28k| 12k| 0.000000e+00 | -- | Inf
820.55/820.85 c 764s|520000 | 618 | 2988k| 5.7 | 12M| 57 | 13 | 362 |1791 | 362 | 686 | 627 | 28k| 12k| 0.000000e+00 | -- | Inf
836.16/836.49 c 778s|530000 | 624 | 3046k| 5.7 | 12M| 57 | - | 362 |1917 | 0 | 0 | 627 | 29k| 12k| 0.000000e+00 | -- | Inf
852.45/852.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
852.45/852.73 c 793s|540000 | 620 | 3100k| 5.7 | 12M| 57 | 19 | 362 |2063 | 362 | 686 | 627 | 30k| 13k| 0.000000e+00 | -- | Inf
868.95/869.25 c 809s|550000 | 632 | 3163k| 5.8 | 12M| 57 | - | 362 |1839 | 362 | 686 | 627 | 30k| 13k| 0.000000e+00 | -- | Inf
885.04/885.34 c 824s|560000 | 628 | 3225k| 5.8 | 12M| 57 | - | 362 |1866 | 0 | 0 | 627 | 31k| 13k| 0.000000e+00 | -- | Inf
900.84/901.13 c 839s|570000 | 637 | 3284k| 5.8 | 12M| 57 | - | 362 |1861 | 0 | 0 | 627 | 31k| 13k| 0.000000e+00 | -- | Inf
917.14/917.48 c 854s|580000 | 631 | 3347k| 5.8 | 12M| 57 | - | 362 |1769 | 0 | 0 | 627 | 32k| 13k| 0.000000e+00 | -- | Inf
932.63/932.94 c 868s|590000 | 628 | 3404k| 5.8 | 12M| 57 | - | 362 |1837 | 0 | 0 | 627 | 32k| 13k| 0.000000e+00 | -- | Inf
948.32/948.63 c 883s|600000 | 626 | 3463k| 5.8 | 12M| 57 | 25 | 362 |1897 | 362 | 686 | 627 | 33k| 13k| 0.000000e+00 | -- | Inf
964.72/965.09 c 898s|610000 | 650 | 3527k| 5.8 | 13M| 57 | 39 | 362 |2125 | 362 | 686 | 627 | 33k| 13k| 0.000000e+00 | -- | Inf
980.12/980.47 c 913s|620000 | 647 | 3584k| 5.8 | 13M| 57 | 17 | 362 |2262 | 362 | 686 | 627 | 34k| 13k| 0.000000e+00 | -- | Inf
997.32/997.65 c 929s|630000 | 664 | 3643k| 5.8 | 13M| 57 | - | 362 |2312 | 362 | 686 | 627 | 34k| 14k| 0.000000e+00 | -- | Inf
1013.51/1013.84 c 944s|640000 | 655 | 3698k| 5.8 | 13M| 57 | - | 362 |2433 | 362 | 686 | 627 | 35k| 14k| 0.000000e+00 | -- | Inf
1029.10/1029.43 c 958s|650000 | 659 | 3754k| 5.8 | 13M| 57 | 39 | 362 |2233 | 362 | 686 | 627 | 36k| 14k| 0.000000e+00 | -- | Inf
1044.49/1044.90 c 973s|660000 | 678 | 3810k| 5.8 | 13M| 57 | - | 362 |2401 | 362 | 686 | 627 | 36k| 14k| 0.000000e+00 | -- | Inf
1060.59/1060.94 c 988s|670000 | 643 | 3865k| 5.8 | 13M| 57 | - | 362 |2195 | 0 | 0 | 627 | 37k| 15k| 0.000000e+00 | -- | Inf
1076.99/1077.31 c 1003s|680000 | 663 | 3928k| 5.8 | 13M| 57 | - | 362 |2051 | 0 | 0 | 627 | 37k| 15k| 0.000000e+00 | -- | Inf
1093.18/1093.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1093.18/1093.59 c 1018s|690000 | 655 | 3991k| 5.8 | 13M| 57 | 25 | 362 |1953 | 362 | 686 | 627 | 38k| 15k| 0.000000e+00 | -- | Inf
1109.27/1109.70 c 1033s|700000 | 618 | 4051k| 5.8 | 12M| 57 | - | 362 |1817 | 0 | 0 | 627 | 38k| 15k| 0.000000e+00 | -- | Inf
1125.78/1126.14 c 1048s|710000 | 619 | 4115k| 5.8 | 12M| 57 | - | 362 |1811 | 0 | 0 | 627 | 39k| 15k| 0.000000e+00 | -- | Inf
1141.67/1142.04 c 1063s|720000 | 631 | 4176k| 5.8 | 13M| 57 | 20 | 362 |1769 | 362 | 686 | 627 | 39k| 15k| 0.000000e+00 | -- | Inf
1157.56/1157.93 c 1078s|730000 | 692 | 4237k| 5.8 | 13M| 57 | - | 362 |1957 | 0 | 0 | 627 | 40k| 15k| 0.000000e+00 | -- | Inf
1174.26/1174.62 c 1094s|740000 | 689 | 4302k| 5.8 | 13M| 57 | - | 362 |1870 | 362 | 686 | 627 | 40k| 15k| 0.000000e+00 | -- | Inf
1189.86/1190.26 c 1108s|750000 | 681 | 4361k| 5.8 | 13M| 57 | 32 | 362 |1968 | 362 | 686 | 627 | 41k| 15k| 0.000000e+00 | -- | Inf
1206.36/1206.75 c 1123s|760000 | 685 | 4424k| 5.8 | 13M| 57 | - | 362 |2012 | 362 | 686 | 627 | 41k| 15k| 0.000000e+00 | -- | Inf
1222.55/1222.99 c 1139s|770000 | 691 | 4485k| 5.8 | 13M| 57 | 23 | 362 |2040 | 362 | 686 | 627 | 42k| 15k| 0.000000e+00 | -- | Inf
1239.04/1239.46 c 1154s|780000 | 682 | 4548k| 5.8 | 13M| 57 | - | 362 |2073 | 362 | 686 | 627 | 42k| 15k| 0.000000e+00 | -- | Inf
1256.04/1256.41 c 1170s|790000 | 685 | 4614k| 5.8 | 13M| 57 | - | 362 |1914 | 0 | 0 | 627 | 42k| 16k| 0.000000e+00 | -- | Inf
1272.73/1273.12 c 1185s|800000 | 663 | 4675k| 5.8 | 13M| 57 | 22 | 362 |1787 | 362 | 686 | 627 | 43k| 16k| 0.000000e+00 | -- | Inf
1289.13/1289.50 c 1201s|810000 | 628 | 4737k| 5.8 | 13M| 57 | 19 | 362 |1517 | 362 | 686 | 627 | 43k| 16k| 0.000000e+00 | -- | Inf
1305.63/1306.03 c 1216s|820000 | 621 | 4804k| 5.9 | 13M| 57 | - | 362 |1566 | 0 | 0 | 627 | 44k| 16k| 0.000000e+00 | -- | Inf
1321.73/1322.10 c 1231s|830000 | 587 | 4865k| 5.9 | 12M| 57 | - | 362 |1593 | 0 | 0 | 627 | 44k| 16k| 0.000000e+00 | -- | Inf
1336.42/1336.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1336.42/1336.89 c 1245s|840000 | 581 | 4917k| 5.9 | 12M| 57 | - | 362 |1765 | 0 | 0 | 627 | 45k| 16k| 0.000000e+00 | -- | Inf
1353.81/1354.28 c 1261s|850000 | 583 | 4984k| 5.9 | 12M| 57 | 41 | 362 |1737 | 362 | 686 | 627 | 46k| 16k| 0.000000e+00 | -- | Inf
1369.31/1369.72 c 1275s|860000 | 642 | 5043k| 5.9 | 13M| 57 | - | 362 |1950 | 0 | 0 | 627 | 46k| 17k| 0.000000e+00 | -- | Inf
1384.91/1385.37 c 1289s|870000 | 643 | 5101k| 5.9 | 13M| 57 | - | 362 |2034 | 0 | 0 | 627 | 47k| 17k| 0.000000e+00 | -- | Inf
1400.38/1400.84 c 1304s|880000 | 680 | 5160k| 5.9 | 13M| 57 | - | 362 |2143 | 362 | 686 | 627 | 47k| 17k| 0.000000e+00 | -- | Inf
1416.98/1417.43 c 1319s|890000 | 693 | 5226k| 5.9 | 13M| 57 | 30 | 362 |2086 | 362 | 686 | 627 | 48k| 17k| 0.000000e+00 | -- | Inf
1433.28/1433.77 c 1334s|900000 | 672 | 5289k| 5.9 | 13M| 57 | - | 362 |1987 | 362 | 686 | 627 | 48k| 17k| 0.000000e+00 | -- | Inf
1449.28/1449.79 c 1349s|910000 | 684 | 5352k| 5.9 | 13M| 57 | - | 362 |2026 | 0 | 0 | 627 | 49k| 17k| 0.000000e+00 | -- | Inf
1465.96/1466.44 c 1365s|920000 | 693 | 5419k| 5.9 | 13M| 58 | - | 362 |2117 | 0 | 0 | 627 | 49k| 17k| 0.000000e+00 | -- | Inf
1482.27/1482.79 c 1380s|930000 | 696 | 5482k| 5.9 | 13M| 58 | - | 362 |2121 | 0 | 0 | 627 | 50k| 17k| 0.000000e+00 | -- | Inf
1498.16/1498.63 c 1395s|940000 | 686 | 5540k| 5.9 | 13M| 58 | - | 362 |2167 | 0 | 0 | 627 | 50k| 17k| 0.000000e+00 | -- | Inf
1514.45/1514.91 c 1410s|950000 | 697 | 5604k| 5.9 | 13M| 58 | 15 | 362 |2062 | 362 | 686 | 627 | 51k| 17k| 0.000000e+00 | -- | Inf
1530.05/1530.55 c 1424s|960000 | 682 | 5664k| 5.9 | 13M| 58 | 31 | 362 |2024 | 362 | 686 | 627 | 51k| 17k| 0.000000e+00 | -- | Inf
1545.84/1546.38 c 1439s|970000 | 676 | 5726k| 5.9 | 13M| 58 | - | 362 |2033 | 0 | 0 | 627 | 52k| 17k| 0.000000e+00 | -- | Inf
1563.75/1564.29 c 1455s|980000 | 654 | 5786k| 5.9 | 13M| 58 | 27 | 362 |1836 | 362 | 686 | 627 | 52k| 18k| 0.000000e+00 | -- | Inf
1580.24/1580.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1580.24/1580.76 c 1471s|990000 | 664 | 5847k| 5.9 | 13M| 58 | 23 | 362 |1822 | 362 | 686 | 627 | 53k| 18k| 0.000000e+00 | -- | Inf
1595.13/1595.62 c 1484s| 1000k| 657 | 5901k| 5.9 | 13M| 58 | 20 | 362 |2139 | 362 | 686 | 627 | 53k| 18k| 0.000000e+00 | -- | Inf
1609.33/1609.85 c 1498s| 1010k| 657 | 5950k| 5.9 | 13M| 58 | 31 | 362 |2445 | 362 | 686 | 627 | 54k| 18k| 0.000000e+00 | -- | Inf
1624.42/1624.96 c 1512s| 1020k| 658 | 6001k| 5.9 | 13M| 58 | - | 362 |2428 | 0 | 0 | 627 | 55k| 18k| 0.000000e+00 | -- | Inf
1638.72/1639.22 c 1525s| 1030k| 666 | 6048k| 5.9 | 13M| 58 | 24 | 362 |2636 | 362 | 686 | 627 | 55k| 18k| 0.000000e+00 | -- | Inf
1654.32/1654.85 c 1540s| 1040k| 669 | 6108k| 5.9 | 13M| 58 | 26 | 362 |2801 | 362 | 686 | 627 | 56k| 18k| 0.000000e+00 | -- | Inf
1670.21/1670.78 c 1554s| 1050k| 666 | 6167k| 5.9 | 13M| 58 | 21 | 362 |2875 | 362 | 686 | 627 | 56k| 18k| 0.000000e+00 | -- | Inf
1686.21/1686.75 c 1569s| 1060k| 644 | 6224k| 5.9 | 13M| 58 | - | 362 |2227 | 362 | 686 | 627 | 57k| 18k| 0.000000e+00 | -- | Inf
1702.70/1703.26 c 1585s| 1070k| 630 | 6288k| 5.9 | 13M| 58 | 27 | 362 |1908 | 362 | 686 | 627 | 57k| 19k| 0.000000e+00 | -- | Inf
1717.80/1718.35 c 1599s| 1080k| 625 | 6344k| 5.9 | 13M| 58 | - | 362 |1963 | 362 | 686 | 627 | 58k| 19k| 0.000000e+00 | -- | Inf
1733.00/1733.53 c 1613s| 1090k| 623 | 6399k| 5.9 | 13M| 58 | - | 362 |2051 | 0 | 0 | 627 | 59k| 19k| 0.000000e+00 | -- | Inf
1748.99/1749.54 c 1628s| 1100k| 620 | 6461k| 5.9 | 13M| 58 | - | 362 |2090 | 0 | 0 | 627 | 59k| 19k| 0.000000e+00 | -- | Inf
1765.19/1765.72 c 1643s| 1110k| 615 | 6524k| 5.9 | 13M| 58 | 30 | 362 |2181 | 362 | 686 | 627 | 60k| 19k| 0.000000e+00 | -- | Inf
1781.78/1782.35 c 1658s| 1120k| 624 | 6587k| 5.9 | 13M| 58 | - | 362 |2068 | 0 | 0 | 627 | 60k| 19k| 0.000000e+00 | -- | Inf
1797.77/1798.30 c 1673s| 1130k| 617 | 6646k| 5.9 | 13M| 58 | 40 | 362 |2114 | 362 | 686 | 627 | 61k| 19k| 0.000000e+00 | -- | Inf
1800.09/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.61 c
1800.09/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.61 c Solving Time (sec) : 1675.48
1800.09/1800.61 c Solving Nodes : 1131424
1800.09/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.09/1800.61 c Dual Bound : +0.00000000000000e+00
1800.09/1800.61 c Gap : infinite
1800.09/1800.61 s UNKNOWN
1800.09/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.61 c Solving Time : 1675.48
1800.09/1800.61 c Original Problem :
1800.09/1800.61 c Problem name : HOME/instance-2665703-1276270661.opb
1800.09/1800.61 c Variables : 370 (370 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.61 c Constraints : 557 initial, 557 maximal
1800.09/1800.61 c Presolved Problem :
1800.09/1800.61 c Problem name : t_HOME/instance-2665703-1276270661.opb
1800.09/1800.61 c Variables : 362 (362 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.61 c Constraints : 557 initial, 2972 maximal
1800.09/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c implics : 0.00 0 8 0 0 0 0 0 0
1800.09/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.61 c knapsack : 0.01 0 0 0 0 0 0 0 0
1800.09/1800.61 c linear : 0.01 0 0 0 0 0 0 0 0
1800.09/1800.61 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.09/1800.61 c root node : - 0 - - 0 - - - -
1800.09/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.61 c integral : 0 0 0 571448 0 461 2491 0 0 1138282
1800.09/1800.61 c knapsack : 244 5 2798569 0 0 421823 10045941 374 0 0
1800.09/1800.61 c linear : 0+ 5 87 0 0 0 0 0 0 0
1800.09/1800.61 c logicor : 313+ 5 1836665 0 0 9787 4279418 0 0 0
1800.09/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.61 c integral : 62.31 0.00 0.00 62.31 0.00
1800.09/1800.61 c knapsack : 121.38 0.05 121.33 0.00 0.00
1800.09/1800.61 c linear : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.61 c logicor : 56.89 0.00 56.89 0.00 0.00
1800.09/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.61 c vbounds : 1.63 1 0 0
1800.09/1800.61 c rootredcost : 1.50 0 0 0
1800.09/1800.61 c pseudoobj : 1.50 0 0 0
1800.09/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.61 c propagation : 24.62 68118 59321 401881 82.3 819 91.2 -
1800.09/1800.61 c infeasible LP : 31.06 136278 0 0 0.0 0 0.0 0
1800.09/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.09/1800.61 c applied globally : - - - 60165 18.5 - - -
1800.09/1800.61 c applied locally : - - - 996 44.3 - - -
1800.09/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.61 c cut pool : 0.00 4 - - 111 - (maximal pool size: 1954)
1800.09/1800.61 c redcost : 6.66 570512 0 0 0 0
1800.09/1800.61 c impliedbounds : 0.00 5 0 0 1065 0
1800.09/1800.61 c intobj : 0.00 0 0 0 0 0
1800.09/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.61 c gomory : 0.44 5 0 0 222 0
1800.09/1800.61 c strongcg : 0.51 5 0 0 2125 0
1800.09/1800.61 c cmir : 0.00 0 0 0 0 0
1800.09/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.61 c clique : 0.01 1 0 0 0 0
1800.09/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.61 c mcf : 0.00 1 0 0 0 0
1800.09/1800.61 c rapidlearning : 0.12 1 0 0 0 2
1800.09/1800.61 c Pricers : Time Calls Vars
1800.09/1800.61 c problem variables: 0.00 0 0
1800.09/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.61 c relpscost : 61.36 571448 461 2491 0 0 1138282
1800.09/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.09/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.61 c random : 0.00 0 0 0 0 0 0
1800.09/1800.61 c Primal Heuristics : Time Calls Found
1800.09/1800.61 c LP solutions : 0.00 - 0
1800.09/1800.61 c pseudo solutions : 0.00 - 0
1800.09/1800.61 c trivial : 0.00 1 0
1800.09/1800.61 c simplerounding : 0.00 0 0
1800.09/1800.61 c zirounding : 0.00 0 0
1800.09/1800.61 c rounding : 0.00 0 0
1800.09/1800.61 c shifting : 0.00 0 0
1800.09/1800.61 c intshifting : 0.00 0 0
1800.09/1800.61 c oneopt : 0.00 0 0
1800.09/1800.61 c twoopt : 0.00 0 0
1800.09/1800.61 c fixandinfer : 0.00 0 0
1800.09/1800.61 c feaspump : 0.00 0 0
1800.09/1800.61 c coefdiving : 0.00 0 0
1800.09/1800.61 c pscostdiving : 0.00 0 0
1800.09/1800.61 c fracdiving : 0.00 0 0
1800.09/1800.61 c veclendiving : 0.00 0 0
1800.09/1800.61 c intdiving : 0.00 0 0
1800.09/1800.61 c actconsdiving : 0.00 0 0
1800.09/1800.61 c objpscostdiving : 0.00 0 0
1800.09/1800.61 c rootsoldiving : 0.00 0 0
1800.09/1800.61 c linesearchdiving : 0.00 0 0
1800.09/1800.61 c guideddiving : 0.00 0 0
1800.09/1800.61 c octane : 0.00 0 0
1800.09/1800.61 c rens : 0.00 0 0
1800.09/1800.61 c rins : 0.00 0 0
1800.09/1800.61 c localbranching : 0.00 0 0
1800.09/1800.61 c mutation : 0.00 0 0
1800.09/1800.61 c crossover : 0.00 0 0
1800.09/1800.61 c dins : 0.00 0 0
1800.09/1800.61 c undercover : 0.00 0 0
1800.09/1800.61 c nlp : 0.00 0 0
1800.09/1800.61 c trysol : 0.00 0 0
1800.09/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.61 c dual LP : 1169.85 706069 6655456 9.43 5689.15
1800.09/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.61 c strong branching : 44.34 19538 217166 11.12 4897.74
1800.09/1800.61 c (at root node) : - 10 1744 174.40 -
1800.09/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.61 c B&B Tree :
1800.09/1800.61 c number of runs : 1
1800.09/1800.61 c nodes : 1131424
1800.09/1800.61 c nodes (total) : 1131424
1800.09/1800.61 c nodes left : 628
1800.09/1800.61 c max depth : 58
1800.09/1800.61 c max depth (total): 58
1800.09/1800.61 c backtracks : 143761 (12.7%)
1800.09/1800.61 c delayed cutoffs : 6231
1800.09/1800.61 c repropagations : 129337 (371543 domain reductions, 6066 cutoffs)
1800.09/1800.61 c avg switch length: 2.93
1800.09/1800.61 c switching time : 81.31
1800.09/1800.61 c Solution :
1800.09/1800.61 c Solutions found : 0 (0 improvements)
1800.09/1800.61 c Primal Bound : -
1800.09/1800.61 c Dual Bound : +0.00000000000000e+00
1800.09/1800.61 c Gap : infinite
1800.09/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.09/1800.61 c Root Iterations : 669
1800.09/1800.63 c Time complete: 1800.11.