0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2663444-1276678999.opb>
0.00/0.04 c original problem has 2888 variables (2888 bin, 0 int, 0 impl, 0 cont) and 3090 constraints
0.00/0.04 c problem read
0.00/0.04 c No objective function, only one solution is needed.
0.00/0.04 c presolving settings loaded
0.00/0.05 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.06/0.08 c presolving:
0.29/0.31 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 601 upgd conss, 20304 impls, 400 clqs
0.49/0.50 c presolving (2 rounds):
0.49/0.50 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.50 c 20304 implications, 400 cliques
0.49/0.50 c presolved problem has 2888 variables (2888 bin, 0 int, 0 impl, 0 cont) and 3090 constraints
0.49/0.50 c 1 constraints of type <knapsack>
0.49/0.50 c 400 constraints of type <setppc>
0.49/0.50 c 2488 constraints of type <and>
0.49/0.50 c 1 constraints of type <linear>
0.49/0.50 c 200 constraints of type <logicor>
0.49/0.50 c transformed objective value is always integral (scale: 1)
0.49/0.50 c Presolving Time: 0.23
0.49/0.50 c - non default parameters ----------------------------------------------------------------------
0.49/0.50 c # SCIP version 1.2.1.2
0.49/0.50 c
0.49/0.50 c # frequency for displaying node information lines
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.50 c display/freq = 10000
0.49/0.50 c
0.49/0.50 c # maximal time in seconds to run
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.50 c limits/time = 1799.96
0.49/0.50 c
0.49/0.50 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.50 c limits/memory = 1620
0.49/0.50 c
0.49/0.50 c # solving stops, if the given number of solutions were found (-1: no limit)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.50 c limits/solutions = 1
0.49/0.50 c
0.49/0.50 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50 c lp/solvefreq = -1
0.49/0.50 c
0.49/0.50 c # maximal number of separation rounds per node (-1: unlimited)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 5]
0.49/0.50 c separating/maxrounds = 1
0.49/0.50 c
0.49/0.50 c # maximal number of separation rounds in the root node (-1: unlimited)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.50 c separating/maxroundsroot = 5
0.49/0.50 c
0.49/0.50 c # should presolving try to simplify inequalities
0.49/0.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.50 c constraints/linear/simplifyinequalities = TRUE
0.49/0.50 c
0.49/0.50 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.49/0.50 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.49/0.50 c constraints/knapsack/disaggregation = FALSE
0.49/0.50 c
0.49/0.50 c # should presolving try to simplify knapsacks
0.49/0.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.50 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.50 c
0.49/0.50 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.50 c presolving/probing/maxrounds = 0
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/coefdiving/freq = -1
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/coefdiving/maxlpiterquot = 0.075
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/coefdiving/maxlpiterofs = 1500
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 30]
0.49/0.50 c heuristics/crossover/freq = -1
0.49/0.50 c
0.49/0.50 c # number of nodes added to the contingent of the total nodes
0.49/0.50 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.49/0.50 c heuristics/crossover/nodesofs = 750
0.49/0.50 c
0.49/0.50 c # number of nodes without incumbent change that heuristic should wait
0.49/0.50 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.49/0.50 c heuristics/crossover/nwaitingnodes = 100
0.49/0.50 c
0.49/0.50 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.49/0.50 c # [type: real, range: [0,1], default: 0.1]
0.49/0.50 c heuristics/crossover/nodesquot = 0.15
0.49/0.50 c
0.49/0.50 c # minimum percentage of integer variables that have to be fixed
0.49/0.50 c # [type: real, range: [0,1], default: 0.666]
0.49/0.50 c heuristics/crossover/minfixingrate = 0.5
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.50 c heuristics/feaspump/freq = -1
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/feaspump/maxlpiterofs = 2000
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/fracdiving/freq = -1
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/fracdiving/maxlpiterquot = 0.075
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/fracdiving/maxlpiterofs = 1500
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/guideddiving/freq = -1
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/guideddiving/maxlpiterquot = 0.075
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/guideddiving/maxlpiterofs = 1500
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/intdiving/maxlpiterquot = 0.075
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/intshifting/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/linesearchdiving/freq = -1
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50 c heuristics/nlp/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.50 c heuristics/objpscostdiving/freq = -1
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to total iteration number
0.49/0.50 c # [type: real, range: [0,1], default: 0.01]
0.49/0.50 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50 c heuristics/oneopt/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/pscostdiving/freq = -1
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/pscostdiving/maxlpiterofs = 1500
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.50 c heuristics/rens/freq = -1
0.49/0.50 c
0.49/0.50 c # minimum percentage of integer variables that have to be fixable
0.49/0.50 c # [type: real, range: [0,1], default: 0.5]
0.49/0.50 c heuristics/rens/minfixingrate = 0.3
0.49/0.50 c
0.49/0.50 c # number of nodes added to the contingent of the total nodes
0.49/0.50 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.49/0.50 c heuristics/rens/nodesofs = 2000
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.50 c heuristics/rootsoldiving/freq = -1
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.49/0.50 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50 c heuristics/rounding/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/shifting/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50 c heuristics/simplerounding/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.50 c heuristics/trivial/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50 c heuristics/trysol/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.50 c heuristics/veclendiving/freq = -1
0.49/0.50 c
0.49/0.50 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.50 c heuristics/veclendiving/maxlpiterquot = 0.075
0.49/0.50 c
0.49/0.50 c # additional number of allowed LP iterations
0.49/0.50 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.50 c heuristics/veclendiving/maxlpiterofs = 1500
0.49/0.50 c
0.49/0.50 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.50 c heuristics/zirounding/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.50 c separating/cmir/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.50 c separating/flowcover/freq = -1
0.49/0.50 c
0.49/0.50 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.50 c separating/rapidlearning/freq = 0
0.49/0.50 c
0.49/0.50 c -----------------------------------------------------------------------------------------------
0.49/0.50 c start solving
0.49/0.50 c
0.49/0.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.51 c 0.2s| 1 | 2 | 0 | - |7930k| 0 | - |2888 |3090 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
14.19/14.28 c 13.7s| 10000 | 9727 | 0 | 0.0 | 17M| 465 | - |2888 |3200 | 0 | 0 | 0 | 189 | 0 | 0.000000e+00 | -- | Inf
24.49/24.56 c 23.8s| 20000 | 19526 | 0 | 0.0 | 24M| 465 | - |2888 |3319 | 0 | 0 | 0 | 361 | 0 | 0.000000e+00 | -- | Inf
31.38/31.48 c 30.4s| 30000 | 29236 | 0 | 0.0 | 31M| 465 | - |2888 |3485 | 0 | 0 | 0 | 605 | 0 | 0.000000e+00 | -- | Inf
39.28/39.34 c 37.8s| 40000 | 35265 | 0 | 0.0 | 36M| 465 | - |2888 |4156 | 0 | 0 | 0 |2664 | 0 | 0.000000e+00 | -- | Inf
54.87/54.91 c 53.1s| 50000 | 44635 | 0 | 0.0 | 42M| 465 | - |2888 |3334 | 0 | 0 | 0 |3022 | 0 | 0.000000e+00 | -- | Inf
69.17/69.20 c 67.1s| 60000 | 54477 | 0 | 0.0 | 51M| 465 | - |2888 |3384 | 0 | 0 | 0 |3164 | 0 | 0.000000e+00 | -- | Inf
83.96/84.00 c 81.6s| 70000 | 64303 | 0 | 0.0 | 59M| 465 | - |2888 |3389 | 0 | 0 | 0 |3311 | 0 | 0.000000e+00 | -- | Inf
98.26/98.34 c 95.7s| 80000 | 74136 | 0 | 0.0 | 68M| 465 | - |2888 |3396 | 0 | 0 | 0 |3455 | 0 | 0.000000e+00 | -- | Inf
112.96/113.00 c 110s| 90000 | 83945 | 0 | 0.0 | 76M| 465 | - |2888 |3423 | 0 | 0 | 0 |3598 | 0 | 0.000000e+00 | -- | Inf
127.25/127.31 c 124s|100000 | 93758 | 0 | 0.0 | 85M| 465 | - |2888 |3439 | 0 | 0 | 0 |3759 | 0 | 0.000000e+00 | -- | Inf
141.14/141.28 c 138s|110000 |103571 | 0 | 0.0 | 93M| 465 | - |2888 |3458 | 0 | 0 | 0 |3923 | 0 | 0.000000e+00 | -- | Inf
155.04/155.18 c 151s|120000 |113398 | 0 | 0.0 | 102M| 465 | - |2888 |3483 | 0 | 0 | 0 |4070 | 0 | 0.000000e+00 | -- | Inf
168.83/168.96 c 165s|130000 |123199 | 0 | 0.0 | 110M| 465 | - |2888 |3515 | 0 | 0 | 0 |4240 | 0 | 0.000000e+00 | -- | Inf
182.33/182.41 c 178s|140000 |133019 | 0 | 0.0 | 118M| 465 | - |2888 |3540 | 0 | 0 | 0 |4403 | 0 | 0.000000e+00 | -- | Inf
196.22/196.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
196.22/196.35 c 192s|150000 |142816 | 0 | 0.0 | 127M| 465 | - |2888 |3551 | 0 | 0 | 0 |4568 | 0 | 0.000000e+00 | -- | Inf
209.72/209.86 c 205s|160000 |152641 | 0 | 0.0 | 135M| 465 | - |2888 |3568 | 0 | 0 | 0 |4715 | 0 | 0.000000e+00 | -- | Inf
223.32/223.43 c 218s|170000 |162422 | 0 | 0.0 | 143M| 465 | - |2888 |3597 | 0 | 0 | 0 |4883 | 0 | 0.000000e+00 | -- | Inf
237.32/237.44 c 232s|180000 |172173 | 0 | 0.0 | 152M| 465 | - |2888 |3608 | 0 | 0 | 0 |5059 | 0 | 0.000000e+00 | -- | Inf
250.62/250.77 c 245s|190000 |181960 | 0 | 0.0 | 160M| 465 | - |2888 |3601 | 0 | 0 | 0 |5241 | 0 | 0.000000e+00 | -- | Inf
263.51/263.60 c 258s|200000 |191785 | 0 | 0.0 | 169M| 465 | - |2888 |3624 | 0 | 0 | 0 |5391 | 0 | 0.000000e+00 | -- | Inf
276.90/277.06 c 271s|210000 |201529 | 0 | 0.0 | 177M| 465 | - |2888 |3656 | 0 | 0 | 0 |5593 | 0 | 0.000000e+00 | -- | Inf
290.00/290.15 c 284s|220000 |211302 | 0 | 0.0 | 185M| 465 | - |2888 |3664 | 0 | 0 | 0 |5774 | 0 | 0.000000e+00 | -- | Inf
302.80/302.97 c 296s|230000 |221100 | 0 | 0.0 | 194M| 465 | - |2888 |3695 | 0 | 0 | 0 |5936 | 0 | 0.000000e+00 | -- | Inf
315.49/315.68 c 309s|240000 |230901 | 0 | 0.0 | 202M| 465 | - |2888 |3711 | 0 | 0 | 0 |6094 | 0 | 0.000000e+00 | -- | Inf
328.18/328.33 c 321s|250000 |240692 | 0 | 0.0 | 210M| 465 | - |2888 |3724 | 0 | 0 | 0 |6267 | 0 | 0.000000e+00 | -- | Inf
340.58/340.77 c 333s|260000 |250453 | 0 | 0.0 | 218M| 465 | - |2888 |3743 | 0 | 0 | 0 |6459 | 0 | 0.000000e+00 | -- | Inf
352.88/353.01 c 345s|270000 |260239 | 0 | 0.0 | 226M| 465 | - |2888 |3769 | 0 | 0 | 0 |6636 | 0 | 0.000000e+00 | -- | Inf
365.18/365.34 c 357s|280000 |269996 | 0 | 0.0 | 235M| 465 | - |2888 |3801 | 0 | 0 | 0 |6820 | 0 | 0.000000e+00 | -- | Inf
377.27/377.48 c 369s|290000 |279779 | 0 | 0.0 | 243M| 465 | - |2888 |3806 | 0 | 0 | 0 |6999 | 0 | 0.000000e+00 | -- | Inf
389.67/389.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
389.67/389.87 c 381s|300000 |289552 | 0 | 0.0 | 251M| 465 | - |2888 |3835 | 0 | 0 | 0 |7182 | 0 | 0.000000e+00 | -- | Inf
401.86/402.00 c 393s|310000 |299349 | 0 | 0.0 | 259M| 465 | - |2888 |3845 | 0 | 0 | 0 |7341 | 0 | 0.000000e+00 | -- | Inf
413.86/414.06 c 405s|320000 |309145 | 0 | 0.0 | 267M| 465 | - |2888 |3852 | 0 | 0 | 0 |7500 | 0 | 0.000000e+00 | -- | Inf
425.47/425.69 c 416s|330000 |318954 | 0 | 0.0 | 275M| 465 | - |2888 |3872 | 0 | 0 | 0 |7664 | 0 | 0.000000e+00 | -- | Inf
437.35/437.54 c 428s|340000 |328746 | 0 | 0.0 | 284M| 465 | - |2888 |3918 | 0 | 0 | 0 |7849 | 0 | 0.000000e+00 | -- | Inf
449.25/449.42 c 439s|350000 |338513 | 0 | 0.0 | 292M| 465 | - |2888 |3948 | 0 | 0 | 0 |8044 | 0 | 0.000000e+00 | -- | Inf
461.15/461.34 c 451s|360000 |348277 | 0 | 0.0 | 300M| 465 | - |2888 |3968 | 0 | 0 | 0 |8236 | 0 | 0.000000e+00 | -- | Inf
472.65/472.81 c 462s|370000 |358076 | 0 | 0.0 | 308M| 465 | - |2888 |4004 | 0 | 0 | 0 |8421 | 0 | 0.000000e+00 | -- | Inf
484.44/484.68 c 474s|380000 |367852 | 0 | 0.0 | 316M| 465 | - |2888 |4037 | 0 | 0 | 0 |8616 | 0 | 0.000000e+00 | -- | Inf
496.44/496.63 c 485s|390000 |377609 | 0 | 0.0 | 324M| 465 | - |2888 |4067 | 0 | 0 | 0 |8810 | 0 | 0.000000e+00 | -- | Inf
507.94/508.17 c 497s|400000 |387383 | 0 | 0.0 | 333M| 465 | - |2888 |4077 | 0 | 0 | 0 |8997 | 0 | 0.000000e+00 | -- | Inf
519.43/519.60 c 508s|410000 |397154 | 0 | 0.0 | 341M| 465 | - |2888 |4104 | 0 | 0 | 0 |9212 | 0 | 0.000000e+00 | -- | Inf
531.14/531.34 c 519s|420000 |406897 | 0 | 0.0 | 349M| 465 | - |2888 |4121 | 0 | 0 | 0 |9418 | 0 | 0.000000e+00 | -- | Inf
542.83/543.08 c 531s|430000 |416674 | 0 | 0.0 | 357M| 465 | - |2888 |4134 | 0 | 0 | 0 |9601 | 0 | 0.000000e+00 | -- | Inf
554.72/554.92 c 542s|440000 |426397 | 0 | 0.0 | 366M| 465 | - |2888 |4155 | 0 | 0 | 0 |9822 | 0 | 0.000000e+00 | -- | Inf
566.02/566.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
566.02/566.27 c 553s|450000 |436158 | 0 | 0.0 | 374M| 465 | - |2888 |4191 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
577.52/577.73 c 565s|460000 |445926 | 0 | 0.0 | 382M| 465 | - |2888 |4193 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
589.01/589.22 c 576s|470000 |455676 | 0 | 0.0 | 390M| 465 | - |2888 |4224 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
600.71/600.94 c 587s|480000 |465392 | 0 | 0.0 | 398M| 465 | - |2888 |4245 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
611.70/611.97 c 598s|490000 |475145 | 0 | 0.0 | 407M| 465 | - |2888 |4294 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
623.00/623.21 c 609s|500000 |484884 | 0 | 0.0 | 415M| 465 | - |2888 |4309 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
634.10/634.31 c 620s|510000 |494638 | 0 | 0.0 | 423M| 465 | - |2888 |4323 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
645.09/645.31 c 631s|520000 |504408 | 0 | 0.0 | 431M| 465 | - |2888 |4340 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
656.09/656.39 c 641s|530000 |514148 | 0 | 0.0 | 439M| 465 | - |2888 |4355 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
667.40/667.61 c 652s|540000 |523868 | 0 | 0.0 | 448M| 465 | - |2888 |4383 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
678.58/678.81 c 663s|550000 |533592 | 0 | 0.0 | 456M| 465 | - |2888 |4398 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
689.68/689.93 c 674s|560000 |543321 | 0 | 0.0 | 464M| 465 | - |2888 |4402 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
700.48/700.76 c 685s|570000 |553043 | 0 | 0.0 | 473M| 465 | - |2888 |4407 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
711.48/711.75 c 695s|580000 |562753 | 0 | 0.0 | 481M| 465 | - |2888 |4453 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
722.27/722.58 c 706s|590000 |572461 | 0 | 0.0 | 489M| 465 | - |2888 |4464 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
733.06/733.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
733.06/733.38 c 716s|600000 |582184 | 0 | 0.0 | 497M| 465 | - |2888 |4496 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
743.87/744.18 c 727s|610000 |591911 | 0 | 0.0 | 505M| 465 | - |2888 |4520 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
754.66/754.92 c 737s|620000 |601630 | 0 | 0.0 | 514M| 465 | - |2888 |4545 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
765.06/765.39 c 748s|630000 |611377 | 0 | 0.0 | 522M| 465 | - |2888 |4562 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
775.65/775.91 c 758s|640000 |621123 | 0 | 0.0 | 530M| 465 | - |2888 |4599 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
786.45/786.74 c 768s|650000 |630818 | 0 | 0.0 | 538M| 465 | - |2888 |4628 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
796.95/797.24 c 779s|660000 |640532 | 0 | 0.0 | 547M| 465 | - |2888 |4661 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
807.35/807.65 c 789s|670000 |650242 | 0 | 0.0 | 555M| 465 | - |2888 |4661 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
817.84/818.14 c 799s|680000 |659971 | 0 | 0.0 | 563M| 465 | - |2888 |4656 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
828.34/828.66 c 809s|690000 |669653 | 0 | 0.0 | 571M| 465 | - |2888 |4679 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
838.84/839.14 c 819s|700000 |679350 | 0 | 0.0 | 579M| 465 | - |2888 |4720 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
849.13/849.42 c 829s|710000 |689048 | 0 | 0.0 | 588M| 465 | - |2888 |4740 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
859.03/859.38 c 839s|720000 |698771 | 0 | 0.0 | 596M| 465 | - |2888 |4775 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
869.02/869.30 c 849s|730000 |708501 | 0 | 0.0 | 604M| 465 | - |2888 |4806 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
878.92/879.28 c 858s|740000 |718215 | 0 | 0.0 | 612M| 465 | - |2888 |4837 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
889.22/889.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
889.22/889.58 c 869s|750000 |727874 | 0 | 0.0 | 620M| 465 | - |2888 |4868 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
899.32/899.66 c 878s|760000 |737553 | 0 | 0.0 | 628M| 465 | - |2888 |4880 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
909.22/909.50 c 888s|770000 |747285 | 0 | 0.0 | 637M| 465 | - |2888 |4900 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
918.91/919.27 c 897s|780000 |757019 | 0 | 0.0 | 645M| 465 | - |2888 |4941 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
929.01/929.33 c 907s|790000 |766713 | 0 | 0.0 | 653M| 465 | - |2888 |4952 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
938.91/939.29 c 917s|800000 |776425 | 0 | 0.0 | 661M| 465 | - |2888 |4951 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
948.81/949.10 c 926s|810000 |786111 | 0 | 0.0 | 669M| 465 | - |2888 |4969 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
958.70/959.08 c 936s|820000 |795776 | 0 | 0.0 | 678M| 465 | - |2888 |4998 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
968.90/969.21 c 946s|830000 |805441 | 0 | 0.0 | 686M| 465 | - |2888 |5014 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
978.70/979.07 c 956s|840000 |815124 | 0 | 0.0 | 694M| 465 | - |2888 |5036 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
988.60/988.91 c 965s|850000 |824802 | 0 | 0.0 | 702M| 465 | - |2888 |5054 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
998.50/998.83 c 975s|860000 |834455 | 0 | 0.0 | 710M| 465 | - |2888 |5068 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
1008.29/1008.60 c 984s|870000 |844097 | 0 | 0.0 | 718M| 465 | - |2888 |5086 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
1017.78/1018.12 c 994s|880000 |853797 | 0 | 0.0 | 727M| 465 | - |2888 |5110 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
1027.78/1028.10 c 1003s|890000 |863433 | 0 | 0.0 | 735M| 465 | - |2888 |5128 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
1037.28/1037.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1037.28/1037.60 c 1012s|900000 |873101 | 0 | 0.0 | 743M| 465 | - |2888 |5147 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
1046.88/1047.25 c 1022s|910000 |882740 | 0 | 0.0 | 751M| 465 | - |2888 |5173 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1056.37/1056.71 c 1031s|920000 |892401 | 0 | 0.0 | 759M| 465 | - |2888 |5202 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1065.87/1066.24 c 1040s|930000 |902049 | 0 | 0.0 | 768M| 465 | - |2888 |5251 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1075.38/1075.76 c 1050s|940000 |911664 | 0 | 0.0 | 776M| 465 | - |2888 |5296 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1084.86/1085.27 c 1059s|950000 |921273 | 0 | 0.0 | 784M| 465 | - |2888 |5301 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1094.56/1094.96 c 1068s|960000 |930870 | 0 | 0.0 | 792M| 465 | - |2888 |5312 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1103.96/1104.36 c 1077s|970000 |940486 | 0 | 0.0 | 800M| 465 | - |2888 |5345 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1113.46/1113.85 c 1087s|980000 |950077 | 0 | 0.0 | 809M| 465 | - |2888 |5385 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1122.95/1123.35 c 1096s|990000 |959664 | 0 | 0.0 | 817M| 465 | - |2888 |5402 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1132.35/1132.74 c 1105s| 1000k|969296 | 0 | 0.0 | 825M| 465 | - |2888 |5401 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1141.85/1142.24 c 1114s| 1010k|978870 | 0 | 0.0 | 833M| 465 | - |2888 |5410 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1151.14/1151.56 c 1123s| 1020k|988458 | 0 | 0.0 | 841M| 465 | - |2888 |5431 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1160.44/1160.81 c 1132s| 1030k|998060 | 0 | 0.0 | 850M| 465 | - |2888 |5443 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1169.83/1170.24 c 1141s| 1040k| 1007k| 0 | 0.0 | 858M| 465 | - |2888 |5500 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1179.33/1179.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1179.33/1179.75 c 1151s| 1050k| 1017k| 0 | 0.0 | 866M| 465 | - |2888 |5521 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1188.53/1188.98 c 1160s| 1060k| 1026k| 0 | 0.0 | 874M| 465 | - |2888 |5561 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1197.93/1198.39 c 1169s| 1070k| 1036k| 0 | 0.0 | 882M| 465 | - |2888 |5570 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1206.93/1207.37 c 1177s| 1080k| 1045k| 0 | 0.0 | 891M| 465 | - |2888 |5568 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1216.33/1216.76 c 1187s| 1090k| 1055k| 0 | 0.0 | 899M| 465 | - |2888 |5611 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1225.82/1226.29 c 1196s| 1100k| 1064k| 0 | 0.0 | 907M| 465 | - |2888 |5628 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1235.02/1235.41 c 1205s| 1110k| 1074k| 0 | 0.0 | 915M| 465 | - |2888 |5687 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1244.22/1244.61 c 1214s| 1120k| 1083k| 0 | 0.0 | 924M| 465 | - |2888 |5721 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1253.52/1253.90 c 1223s| 1130k| 1093k| 0 | 0.0 | 932M| 465 | - |2888 |5742 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1262.42/1262.89 c 1231s| 1140k| 1103k| 0 | 0.0 | 940M| 465 | - |2888 |5731 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1271.61/1272.05 c 1240s| 1150k| 1112k| 0 | 0.0 | 948M| 465 | - |2888 |5758 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1280.91/1281.39 c 1249s| 1160k| 1122k| 0 | 0.0 | 957M| 465 | - |2888 |5766 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1289.91/1290.33 c 1258s| 1170k| 1131k| 0 | 0.0 | 965M| 465 | - |2888 |5776 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1298.71/1299.19 c 1266s| 1180k| 1141k| 0 | 0.0 | 973M| 465 | - |2888 |5853 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1307.80/1308.26 c 1275s| 1190k| 1150k| 0 | 0.0 | 982M| 465 | - |2888 |5892 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1316.70/1317.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1316.70/1317.14 c 1284s| 1200k| 1160k| 0 | 0.0 | 990M| 465 | - |2888 |5890 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1325.59/1326.00 c 1292s| 1210k| 1169k| 0 | 0.0 | 998M| 465 | - |2888 |5912 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1334.79/1335.25 c 1301s| 1220k| 1178k| 0 | 0.0 |1007M| 465 | - |2888 |5972 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1343.80/1344.23 c 1310s| 1230k| 1188k| 0 | 0.0 |1015M| 465 | - |2888 |6003 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1352.69/1353.18 c 1319s| 1240k| 1197k| 0 | 0.0 |1023M| 465 | - |2888 |6021 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1361.58/1362.01 c 1327s| 1250k| 1207k| 0 | 0.0 |1032M| 465 | - |2888 |6068 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1370.48/1370.96 c 1336s| 1260k| 1216k| 0 | 0.0 |1040M| 465 | - |2888 |6121 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1379.27/1379.77 c 1344s| 1270k| 1226k| 0 | 0.0 |1049M| 465 | - |2888 |6147 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1388.17/1388.62 c 1353s| 1280k| 1235k| 0 | 0.0 |1057M| 465 | - |2888 |6194 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1397.17/1397.61 c 1362s| 1290k| 1245k| 0 | 0.0 |1065M| 465 | - |2888 |6211 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1406.27/1406.77 c 1371s| 1300k| 1254k| 0 | 0.0 |1074M| 465 | - |2888 |6221 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1415.06/1415.54 c 1379s| 1310k| 1263k| 0 | 0.0 |1082M| 465 | - |2888 |6267 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1423.76/1424.28 c 1388s| 1320k| 1273k| 0 | 0.0 |1091M| 465 | - |2888 |6327 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1432.66/1433.15 c 1396s| 1330k| 1282k| 0 | 0.0 |1099M| 465 | - |2888 |6314 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1441.46/1441.99 c 1405s| 1340k| 1292k| 0 | 0.0 |1108M| 465 | - |2888 |6380 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1450.47/1450.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1450.47/1450.96 c 1413s| 1350k| 1301k| 0 | 0.0 |1117M| 465 | - |2888 |6428 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1459.45/1459.91 c 1422s| 1360k| 1310k| 0 | 0.0 |1125M| 465 | - |2888 |6477 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1468.14/1468.68 c 1431s| 1370k| 1320k| 0 | 0.0 |1134M| 465 | - |2888 |6514 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1476.85/1477.36 c 1439s| 1380k| 1329k| 0 | 0.0 |1142M| 465 | - |2888 |6545 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1485.55/1486.06 c 1447s| 1390k| 1338k| 0 | 0.0 |1151M| 465 | - |2888 |6583 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1494.45/1494.94 c 1456s| 1400k| 1348k| 0 | 0.0 |1160M| 465 | - |2888 |6647 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1503.25/1503.79 c 1465s| 1410k| 1357k| 0 | 0.0 |1169M| 465 | - |2888 |6711 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1512.23/1512.75 c 1473s| 1420k| 1366k| 0 | 0.0 |1178M| 465 | - |2888 |6763 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1521.14/1521.62 c 1482s| 1430k| 1376k| 0 | 0.0 |1187M| 465 | - |2888 |6812 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1530.13/1530.68 c 1491s| 1440k| 1385k| 0 | 0.0 |1195M| 465 | - |2888 |6838 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1539.03/1539.55 c 1499s| 1450k| 1394k| 0 | 0.0 |1204M| 465 | - |2888 |6905 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1547.82/1548.39 c 1508s| 1460k| 1403k| 0 | 0.0 |1213M| 465 | - |2888 |6869 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1556.82/1557.36 c 1517s| 1470k| 1412k| 0 | 0.0 |1222M| 465 | - |2888 |6897 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1565.83/1566.35 c 1525s| 1480k| 1421k| 0 | 0.0 |1231M| 465 | - |2888 |6870 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1574.72/1575.28 c 1534s| 1490k| 1431k| 0 | 0.0 |1240M| 465 | - |2888 |6882 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1583.91/1584.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1583.91/1584.40 c 1543s| 1500k| 1440k| 0 | 0.0 |1248M| 465 | - |2888 |6896 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
1592.61/1593.18 c 1551s| 1510k| 1449k| 0 | 0.0 |1257M| 465 | - |2888 |6915 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
1601.51/1602.01 c 1560s| 1520k| 1458k| 0 | 0.0 |1266M| 465 | - |2888 |6980 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1610.21/1610.74 c 1568s| 1530k| 1467k| 0 | 0.0 |1276M| 465 | - |2888 |7055 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
1619.20/1619.75 c 1577s| 1540k| 1476k| 0 | 0.0 |1285M| 465 | - |2888 |7110 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1628.30/1628.86 c 1586s| 1550k| 1485k| 0 | 0.0 |1294M| 465 | - |2888 |7161 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1637.50/1638.05 c 1595s| 1560k| 1494k| 0 | 0.0 |1303M| 465 | - |2888 |7184 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1646.39/1646.95 c 1603s| 1570k| 1503k| 0 | 0.0 |1312M| 465 | - |2888 |7245 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1655.20/1655.74 c 1612s| 1580k| 1512k| 0 | 0.0 |1321M| 465 | - |2888 |7290 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1664.09/1664.66 c 1621s| 1590k| 1521k| 0 | 0.0 |1330M| 465 | - |2888 |7357 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
1673.19/1673.77 c 1629s| 1600k| 1530k| 0 | 0.0 |1340M| 465 | - |2888 |7354 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1682.18/1682.72 c 1638s| 1610k| 1539k| 0 | 0.0 |1349M| 465 | - |2888 |7425 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1691.19/1691.80 c 1647s| 1620k| 1547k| 0 | 0.0 |1358M| 465 | - |2888 |7458 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1691.78/1692.35 c (node 1620714) switching to memory saving mode (mem: 1296.0M/1620.0M)
1711.18/1711.78 c 1666s| 1630k| 1548k| 0 | 0.0 |1358M| 468 | - |2888 |7370 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
1734.27/1734.89 c 1689s| 1640k| 1548k| 0 | 0.0 |1359M| 468 | - |2888 |7421 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
1758.06/1758.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1758.06/1758.69 c 1713s| 1650k| 1548k| 0 | 0.0 |1359M| 468 | - |2888 |7451 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
1781.47/1782.02 c 1736s| 1660k| 1548k| 0 | 0.0 |1359M| 468 | - |2888 |7473 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
1800.06/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.61 c
1800.06/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.61 c Solving Time (sec) : 1754.10
1800.06/1800.61 c Solving Nodes : 1667529
1800.06/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.06/1800.61 c Dual Bound : +0.00000000000000e+00
1800.06/1800.61 c Gap : infinite
1800.06/1800.61 s UNKNOWN
1800.06/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.61 c Solving Time : 1754.10
1800.06/1800.61 c Original Problem :
1800.06/1800.61 c Problem name : HOME/instance-2663444-1276678999.opb
1800.06/1800.61 c Variables : 2888 (2888 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.61 c Constraints : 3090 initial, 3090 maximal
1800.06/1800.61 c Presolved Problem :
1800.06/1800.61 c Problem name : t_HOME/instance-2663444-1276678999.opb
1800.06/1800.61 c Variables : 2888 (2888 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.61 c Constraints : 3090 initial, 7649 maximal
1800.06/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c knapsack : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c and : 0.18 0 0 0 0 0 0 0 0
1800.06/1800.61 c linear : 0.03 0 0 0 0 0 0 0 0
1800.06/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c root node : - 0 - - 0 - - - -
1800.06/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.61 c knapsack : 1 0 2450299 0 1111524 5617 1561523 0 0 0
1800.06/1800.61 c setppc : 400 0 3619628 0 1592511 32872 178701 0 0 0
1800.06/1800.61 c and : 2488 0 3751249 0 1618697 183 15746354 0 0 0
1800.06/1800.61 c linear : 1 0 3732248 0 1618697 26755 860968 0 0 0
1800.06/1800.61 c logicor : 200+ 0 168880 0 1618659 4622 2010946 0 0 0
1800.06/1800.61 c countsols : 0 0 0 0 1618697 0 0 0 0 0
1800.06/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.61 c knapsack : 58.98 0.00 43.61 0.00 15.37
1800.06/1800.61 c setppc : 311.38 0.00 54.69 0.00 256.69
1800.06/1800.61 c and : 319.85 0.00 142.41 0.00 177.44
1800.06/1800.61 c linear : 234.99 0.00 233.86 0.00 1.13
1800.06/1800.61 c logicor : 86.40 0.00 49.63 0.00 36.77
1800.06/1800.61 c countsols : 0.88 0.00 0.00 0.00 0.88
1800.06/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.61 c vbounds : 1.99 1 0 0
1800.06/1800.61 c rootredcost : 2.00 0 0 0
1800.06/1800.61 c pseudoobj : 1.87 0 0 0
1800.06/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.61 c propagation : 119.78 70049 69737 313535 327.2 32 205.9 -
1800.06/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.61 c applied globally : - - - 59986 144.8 - - -
1800.06/1800.61 c applied locally : - - - 26555 338.4 - - -
1800.06/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.61 c redcost : 0.00 0 0 0 0 0
1800.06/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.61 c intobj : 0.00 0 0 0 0 0
1800.06/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.61 c gomory : 0.00 0 0 0 0 0
1800.06/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.61 c cmir : 0.00 0 0 0 0 0
1800.06/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.61 c clique : 0.00 0 0 0 0 0
1800.06/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.61 c mcf : 0.00 0 0 0 0 0
1800.06/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.61 c Pricers : Time Calls Vars
1800.06/1800.61 c problem variables: 0.00 0 0
1800.06/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.61 c inference : 521.97 1618697 0 0 0 0 3237394
1800.06/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.61 c random : 0.00 0 0 0 0 0 0
1800.06/1800.61 c Primal Heuristics : Time Calls Found
1800.06/1800.61 c LP solutions : 0.00 - 0
1800.06/1800.61 c pseudo solutions : 0.00 - 0
1800.06/1800.61 c trivial : 0.00 1 0
1800.06/1800.61 c simplerounding : 0.00 0 0
1800.06/1800.61 c zirounding : 0.00 0 0
1800.06/1800.61 c rounding : 0.00 0 0
1800.06/1800.61 c shifting : 0.00 0 0
1800.06/1800.61 c intshifting : 0.00 0 0
1800.06/1800.61 c oneopt : 0.00 0 0
1800.06/1800.61 c twoopt : 0.00 0 0
1800.06/1800.61 c fixandinfer : 0.00 0 0
1800.06/1800.61 c feaspump : 0.00 0 0
1800.06/1800.61 c coefdiving : 0.00 0 0
1800.06/1800.61 c pscostdiving : 0.00 0 0
1800.06/1800.62 c fracdiving : 0.00 0 0
1800.06/1800.62 c veclendiving : 0.00 0 0
1800.06/1800.62 c intdiving : 0.00 0 0
1800.06/1800.62 c actconsdiving : 0.00 0 0
1800.06/1800.62 c objpscostdiving : 0.00 0 0
1800.06/1800.62 c rootsoldiving : 0.00 0 0
1800.06/1800.62 c linesearchdiving : 0.00 0 0
1800.06/1800.62 c guideddiving : 0.00 0 0
1800.06/1800.62 c octane : 0.00 0 0
1800.06/1800.62 c rens : 0.00 0 0
1800.06/1800.62 c rins : 0.00 0 0
1800.06/1800.62 c localbranching : 0.00 0 0
1800.06/1800.62 c mutation : 0.00 0 0
1800.06/1800.62 c crossover : 0.00 0 0
1800.06/1800.62 c dins : 0.00 0 0
1800.06/1800.62 c undercover : 0.00 0 0
1800.06/1800.62 c nlp : 0.00 0 0
1800.06/1800.62 c trysol : 0.00 0 0
1800.06/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.62 c (at root node) : - 0 0 0.00 -
1800.06/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.62 c B&B Tree :
1800.06/1800.62 c number of runs : 1
1800.06/1800.62 c nodes : 1667529
1800.06/1800.62 c nodes (total) : 1667529
1800.06/1800.62 c nodes left : 1548619
1800.06/1800.62 c max depth : 468
1800.06/1800.62 c max depth (total): 468
1800.06/1800.62 c backtracks : 23047 (1.4%)
1800.06/1800.62 c delayed cutoffs : 21247
1800.06/1800.62 c repropagations : 416930 (1182458 domain reductions, 21217 cutoffs)
1800.06/1800.62 c avg switch length: 4.07
1800.06/1800.62 c switching time : 136.06
1800.06/1800.62 c Solution :
1800.06/1800.62 c Solutions found : 0 (0 improvements)
1800.06/1800.62 c Primal Bound : -
1800.06/1800.62 c Dual Bound : +0.00000000000000e+00
1800.06/1800.62 c Gap : infinite
1800.06/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.62 c Root Iterations : 0