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-2664730-1276575814.opb>
0.00/0.02 c original problem has 2750 variables (2750 bin, 0 int, 0 impl, 0 cont) and 105 constraints
0.00/0.02 c problem read
0.00/0.02 c No objective function, only one solution is needed.
0.00/0.02 c presolving settings loaded
0.00/0.02 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.00/0.05 c presolving:
0.00/0.06 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 55 upgd conss, 0 impls, 50 clqs
0.00/0.07 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 105 upgd conss, 0 impls, 50 clqs
0.00/0.07 c presolving (3 rounds):
0.00/0.07 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.07 c 0 implications, 50 cliques
0.00/0.07 c presolved problem has 2750 variables (2750 bin, 0 int, 0 impl, 0 cont) and 105 constraints
0.00/0.07 c 50 constraints of type <setppc>
0.00/0.07 c 55 constraints of type <logicor>
0.00/0.07 c transformed objective value is always integral (scale: 1)
0.00/0.07 c Presolving Time: 0.03
0.00/0.07 c - non default parameters ----------------------------------------------------------------------
0.00/0.07 c # SCIP version 1.2.1.2
0.00/0.07 c
0.00/0.07 c # frequency for displaying node information lines
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.07 c display/freq = 10000
0.00/0.07 c
0.00/0.07 c # maximal time in seconds to run
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.07 c limits/time = 1799.99
0.00/0.07 c
0.00/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.07 c limits/memory = 1620
0.00/0.07 c
0.00/0.07 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.07 c limits/solutions = 1
0.00/0.07 c
0.00/0.07 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.07 c lp/solvefreq = -1
0.00/0.07 c
0.00/0.07 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.07 c separating/maxrounds = 1
0.00/0.07 c
0.00/0.07 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.07 c separating/maxroundsroot = 5
0.00/0.07 c
0.00/0.07 c # should presolving try to simplify inequalities
0.00/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.07 c constraints/linear/simplifyinequalities = TRUE
0.00/0.07 c
0.00/0.07 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.07 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.07 c constraints/knapsack/disaggregation = FALSE
0.00/0.07 c
0.00/0.07 c # should presolving try to simplify knapsacks
0.00/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.07 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.07 c
0.00/0.07 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.07 c presolving/probing/maxrounds = 0
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.07 c heuristics/coefdiving/freq = -1
0.00/0.07 c
0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.07 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.07 c
0.00/0.07 c # additional number of allowed LP iterations
0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.07 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.07 c heuristics/crossover/freq = -1
0.00/0.07 c
0.00/0.07 c # number of nodes added to the contingent of the total nodes
0.00/0.07 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.07 c heuristics/crossover/nodesofs = 750
0.00/0.07 c
0.00/0.07 c # number of nodes without incumbent change that heuristic should wait
0.00/0.07 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.07 c heuristics/crossover/nwaitingnodes = 100
0.00/0.07 c
0.00/0.07 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.07 c # [type: real, range: [0,1], default: 0.1]
0.00/0.07 c heuristics/crossover/nodesquot = 0.15
0.00/0.07 c
0.00/0.07 c # minimum percentage of integer variables that have to be fixed
0.00/0.07 c # [type: real, range: [0,1], default: 0.666]
0.00/0.07 c heuristics/crossover/minfixingrate = 0.5
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.07 c heuristics/feaspump/freq = -1
0.00/0.07 c
0.00/0.07 c # additional number of allowed LP iterations
0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.07 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.07 c heuristics/fracdiving/freq = -1
0.00/0.07 c
0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.07 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.07 c
0.00/0.07 c # additional number of allowed LP iterations
0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.07 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.07 c heuristics/guideddiving/freq = -1
0.00/0.07 c
0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.07 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.07 c
0.00/0.07 c # additional number of allowed LP iterations
0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.07 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.07 c
0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.07 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.07 c heuristics/intshifting/freq = -1
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.07 c heuristics/linesearchdiving/freq = -1
0.00/0.07 c
0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.07 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.07 c
0.00/0.07 c # additional number of allowed LP iterations
0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.07 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.07 c heuristics/nlp/freq = -1
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.07 c heuristics/objpscostdiving/freq = -1
0.00/0.07 c
0.00/0.07 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.07 c # [type: real, range: [0,1], default: 0.01]
0.00/0.07 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.07 c
0.00/0.07 c # additional number of allowed LP iterations
0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.07 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.07 c heuristics/oneopt/freq = -1
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.07 c heuristics/pscostdiving/freq = -1
0.00/0.07 c
0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.07 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.07 c
0.00/0.07 c # additional number of allowed LP iterations
0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.07 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.07 c heuristics/rens/freq = -1
0.00/0.07 c
0.00/0.07 c # minimum percentage of integer variables that have to be fixable
0.00/0.07 c # [type: real, range: [0,1], default: 0.5]
0.00/0.07 c heuristics/rens/minfixingrate = 0.3
0.00/0.07 c
0.00/0.07 c # number of nodes added to the contingent of the total nodes
0.00/0.07 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.07 c heuristics/rens/nodesofs = 2000
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.07 c heuristics/rootsoldiving/freq = -1
0.00/0.07 c
0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.07 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.07 c
0.00/0.07 c # additional number of allowed LP iterations
0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.07 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.07 c heuristics/rounding/freq = -1
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.07 c heuristics/shifting/freq = -1
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.07 c heuristics/simplerounding/freq = -1
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.07 c heuristics/trivial/freq = -1
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.08 c heuristics/trysol/freq = -1
0.00/0.08 c
0.00/0.08 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.08 c heuristics/veclendiving/freq = -1
0.00/0.08 c
0.00/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.08 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.08 c
0.00/0.08 c # additional number of allowed LP iterations
0.00/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.08 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.08 c
0.00/0.08 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.08 c heuristics/zirounding/freq = -1
0.00/0.08 c
0.00/0.08 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.08 c separating/cmir/freq = -1
0.00/0.08 c
0.00/0.08 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.08 c separating/flowcover/freq = -1
0.00/0.08 c
0.00/0.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.08 c separating/rapidlearning/freq = 0
0.00/0.08 c
0.00/0.08 c -----------------------------------------------------------------------------------------------
0.00/0.08 c start solving
0.00/0.08 c
0.00/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.00/0.08 c 0.1s| 1 | 2 | 0 | - |4813k| 0 | - |2750 | 105 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
7.39/7.43 c 7.3s| 10000 | 9975 | 0 | 0.0 |8770k|1875 | - |2750 | 203 | 0 | 0 | 0 | 126 | 0 | 0.000000e+00 | -- | Inf
15.40/15.48 c 15.2s| 20000 | 19951 | 0 | 0.0 | 11M|1875 | - |2750 | 256 | 0 | 0 | 0 | 273 | 0 | 0.000000e+00 | -- | Inf
23.58/23.65 c 23.2s| 30000 | 29928 | 0 | 0.0 | 15M|1875 | - |2750 | 274 | 0 | 0 | 0 | 397 | 0 | 0.000000e+00 | -- | Inf
31.79/31.84 c 31.3s| 40000 | 39907 | 0 | 0.0 | 17M|2051 | - |2750 | 154 | 0 | 0 | 0 | 431 | 0 | 0.000000e+00 | -- | Inf
39.68/39.79 c 39.1s| 50000 | 49881 | 0 | 0.0 | 20M|2141 | - |2750 | 161 | 0 | 0 | 0 | 474 | 0 | 0.000000e+00 | -- | Inf
47.77/47.84 c 47.0s| 60000 | 59865 | 0 | 0.0 | 23M|2141 | - |2750 | 142 | 0 | 0 | 0 | 496 | 0 | 0.000000e+00 | -- | Inf
55.98/56.08 c 55.1s| 70000 | 69842 | 0 | 0.0 | 26M|2145 | - |2750 | 139 | 0 | 0 | 0 | 523 | 0 | 0.000000e+00 | -- | Inf
64.07/64.14 c 63.0s| 80000 | 79823 | 0 | 0.0 | 28M|2176 | - |2750 | 139 | 0 | 0 | 0 | 548 | 0 | 0.000000e+00 | -- | Inf
71.76/71.87 c 70.6s| 90000 | 89805 | 0 | 0.0 | 31M|2221 | - |2750 | 138 | 0 | 0 | 0 | 569 | 0 | 0.000000e+00 | -- | Inf
79.96/80.07 c 78.7s|100000 | 99784 | 0 | 0.0 | 34M|2257 | - |2750 | 135 | 0 | 0 | 0 | 588 | 0 | 0.000000e+00 | -- | Inf
87.87/87.98 c 86.4s|110000 |109763 | 0 | 0.0 | 37M|2257 | - |2750 | 153 | 0 | 0 | 0 | 619 | 0 | 0.000000e+00 | -- | Inf
95.85/95.97 c 94.3s|120000 |119738 | 0 | 0.0 | 39M|2257 | - |2750 | 152 | 0 | 0 | 0 | 650 | 0 | 0.000000e+00 | -- | Inf
103.95/104.03 c 102s|130000 |129709 | 0 | 0.0 | 42M|2257 | - |2750 | 170 | 0 | 0 | 0 | 698 | 0 | 0.000000e+00 | -- | Inf
112.06/112.10 c 110s|140000 |139690 | 0 | 0.0 | 45M|2257 | - |2750 | 159 | 0 | 0 | 0 | 717 | 0 | 0.000000e+00 | -- | Inf
119.86/119.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
119.86/119.99 c 118s|150000 |149662 | 0 | 0.0 | 48M|2257 | - |2750 | 173 | 0 | 0 | 0 | 766 | 0 | 0.000000e+00 | -- | Inf
128.04/128.10 c 126s|160000 |159632 | 0 | 0.0 | 51M|2257 | - |2750 | 202 | 0 | 0 | 0 | 828 | 0 | 0.000000e+00 | -- | Inf
135.85/135.90 c 134s|170000 |169608 | 0 | 0.0 | 53M|2257 | - |2750 | 200 | 0 | 0 | 0 | 888 | 0 | 0.000000e+00 | -- | Inf
143.44/143.59 c 141s|180000 |179585 | 0 | 0.0 | 56M|2257 | - |2750 | 193 | 0 | 0 | 0 | 937 | 0 | 0.000000e+00 | -- | Inf
151.54/151.68 c 149s|190000 |189556 | 0 | 0.0 | 59M|2257 | - |2750 | 180 | 0 | 0 | 0 | 977 | 0 | 0.000000e+00 | -- | Inf
159.53/159.61 c 157s|200000 |199530 | 0 | 0.0 | 62M|2257 | - |2750 | 186 | 0 | 0 | 0 |1012 | 0 | 0.000000e+00 | -- | Inf
167.04/167.10 c 164s|210000 |209511 | 0 | 0.0 | 64M|2257 | - |2750 | 191 | 0 | 0 | 0 |1060 | 0 | 0.000000e+00 | -- | Inf
174.63/174.78 c 172s|220000 |219487 | 0 | 0.0 | 67M|2257 | - |2750 | 199 | 0 | 0 | 0 |1111 | 0 | 0.000000e+00 | -- | Inf
182.23/182.30 c 179s|230000 |229460 | 0 | 0.0 | 70M|2257 | - |2750 | 227 | 0 | 0 | 0 |1187 | 0 | 0.000000e+00 | -- | Inf
189.83/189.95 c 187s|240000 |239431 | 0 | 0.0 | 73M|2257 | - |2750 | 218 | 0 | 0 | 0 |1243 | 0 | 0.000000e+00 | -- | Inf
197.42/197.52 c 194s|250000 |249401 | 0 | 0.0 | 76M|2257 | - |2750 | 237 | 0 | 0 | 0 |1326 | 0 | 0.000000e+00 | -- | Inf
204.92/205.05 c 202s|260000 |259368 | 0 | 0.0 | 78M|2257 | - |2750 | 215 | 0 | 0 | 0 |1376 | 0 | 0.000000e+00 | -- | Inf
212.42/212.59 c 209s|270000 |269340 | 0 | 0.0 | 81M|2257 | - |2750 | 226 | 0 | 0 | 0 |1436 | 0 | 0.000000e+00 | -- | Inf
219.82/219.95 c 216s|280000 |279320 | 0 | 0.0 | 84M|2257 | - |2750 | 200 | 0 | 0 | 0 |1478 | 0 | 0.000000e+00 | -- | Inf
227.02/227.17 c 223s|290000 |289290 | 0 | 0.0 | 87M|2257 | - |2750 | 229 | 0 | 0 | 0 |1543 | 0 | 0.000000e+00 | -- | Inf
234.01/234.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
234.01/234.19 c 230s|300000 |299266 | 0 | 0.0 | 90M|2257 | - |2750 | 271 | 0 | 0 | 0 |1611 | 0 | 0.000000e+00 | -- | Inf
241.21/241.39 c 237s|310000 |309243 | 0 | 0.0 | 92M|2257 | - |2750 | 236 | 0 | 0 | 0 |1634 | 0 | 0.000000e+00 | -- | Inf
248.41/248.56 c 244s|320000 |319223 | 0 | 0.0 | 95M|2257 | - |2750 | 249 | 0 | 0 | 0 |1676 | 0 | 0.000000e+00 | -- | Inf
255.80/255.90 c 251s|330000 |329181 | 0 | 0.0 | 98M|2257 | - |2750 | 251 | 0 | 0 | 0 |1734 | 0 | 0.000000e+00 | -- | Inf
262.90/263.06 c 259s|340000 |339151 | 0 | 0.0 | 101M|2257 | - |2750 | 299 | 0 | 0 | 0 |1818 | 0 | 0.000000e+00 | -- | Inf
270.10/270.22 c 266s|350000 |349121 | 0 | 0.0 | 104M|2257 | - |2750 | 283 | 0 | 0 | 0 |1877 | 0 | 0.000000e+00 | -- | Inf
277.00/277.19 c 272s|360000 |359101 | 0 | 0.0 | 107M|2257 | - |2750 | 312 | 0 | 0 | 0 |1949 | 0 | 0.000000e+00 | -- | Inf
283.90/284.03 c 279s|370000 |369061 | 0 | 0.0 | 110M|2257 | - |2750 | 336 | 0 | 0 | 0 |2044 | 0 | 0.000000e+00 | -- | Inf
290.89/291.07 c 286s|380000 |379030 | 0 | 0.0 | 112M|2257 | - |2750 | 334 | 0 | 0 | 0 |2098 | 0 | 0.000000e+00 | -- | Inf
297.78/297.91 c 293s|390000 |389008 | 0 | 0.0 | 115M|2257 | - |2750 | 341 | 0 | 0 | 0 |2157 | 0 | 0.000000e+00 | -- | Inf
304.69/304.80 c 299s|400000 |398976 | 0 | 0.0 | 118M|2257 | - |2750 | 339 | 0 | 0 | 0 |2210 | 0 | 0.000000e+00 | -- | Inf
311.58/311.78 c 306s|410000 |408934 | 0 | 0.0 | 121M|2257 | - |2750 | 353 | 0 | 0 | 0 |2278 | 0 | 0.000000e+00 | -- | Inf
318.58/318.75 c 313s|420000 |418888 | 0 | 0.0 | 124M|2257 | - |2750 | 398 | 0 | 0 | 0 |2374 | 0 | 0.000000e+00 | -- | Inf
325.48/325.69 c 320s|430000 |428855 | 0 | 0.0 | 126M|2257 | - |2750 | 358 | 0 | 0 | 0 |2446 | 0 | 0.000000e+00 | -- | Inf
332.17/332.38 c 327s|440000 |438829 | 0 | 0.0 | 129M|2257 | - |2750 | 369 | 0 | 0 | 0 |2502 | 0 | 0.000000e+00 | -- | Inf
338.97/339.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
338.97/339.20 c 333s|450000 |448797 | 0 | 0.0 | 132M|2257 | - |2750 | 387 | 0 | 0 | 0 |2568 | 0 | 0.000000e+00 | -- | Inf
345.67/345.81 c 340s|460000 |458775 | 0 | 0.0 | 135M|2257 | - |2750 | 347 | 0 | 0 | 0 |2588 | 0 | 0.000000e+00 | -- | Inf
352.37/352.51 c 346s|470000 |468744 | 0 | 0.0 | 138M|2257 | - |2750 | 398 | 0 | 0 | 0 |2679 | 0 | 0.000000e+00 | -- | Inf
358.96/359.10 c 353s|480000 |478715 | 0 | 0.0 | 140M|2257 | - |2750 | 377 | 0 | 0 | 0 |2742 | 0 | 0.000000e+00 | -- | Inf
365.66/365.87 c 359s|490000 |488675 | 0 | 0.0 | 143M|2257 | - |2750 | 402 | 0 | 0 | 0 |2806 | 0 | 0.000000e+00 | -- | Inf
372.27/372.47 c 366s|500000 |498628 | 0 | 0.0 | 146M|2257 | - |2750 | 416 | 0 | 0 | 0 |2879 | 0 | 0.000000e+00 | -- | Inf
378.66/378.89 c 372s|510000 |508595 | 0 | 0.0 | 149M|2257 | - |2750 | 426 | 0 | 0 | 0 |2937 | 0 | 0.000000e+00 | -- | Inf
385.16/385.37 c 379s|520000 |518556 | 0 | 0.0 | 152M|2257 | - |2750 | 424 | 0 | 0 | 0 |3011 | 0 | 0.000000e+00 | -- | Inf
391.76/391.92 c 385s|530000 |528513 | 0 | 0.0 | 155M|2257 | - |2750 | 432 | 0 | 0 | 0 |3089 | 0 | 0.000000e+00 | -- | Inf
398.06/398.28 c 391s|540000 |538478 | 0 | 0.0 | 157M|2257 | - |2750 | 440 | 0 | 0 | 0 |3172 | 0 | 0.000000e+00 | -- | Inf
404.35/404.51 c 397s|550000 |548451 | 0 | 0.0 | 160M|2257 | - |2750 | 463 | 0 | 0 | 0 |3253 | 0 | 0.000000e+00 | -- | Inf
410.55/410.74 c 403s|560000 |558424 | 0 | 0.0 | 163M|2257 | - |2750 | 477 | 0 | 0 | 0 |3328 | 0 | 0.000000e+00 | -- | Inf
416.85/417.04 c 410s|570000 |568399 | 0 | 0.0 | 166M|2257 | - |2750 | 453 | 0 | 0 | 0 |3368 | 0 | 0.000000e+00 | -- | Inf
423.04/423.21 c 416s|580000 |578371 | 0 | 0.0 | 169M|2257 | - |2750 | 445 | 0 | 0 | 0 |3397 | 0 | 0.000000e+00 | -- | Inf
429.14/429.37 c 422s|590000 |588338 | 0 | 0.0 | 172M|2257 | - |2750 | 465 | 0 | 0 | 0 |3437 | 0 | 0.000000e+00 | -- | Inf
435.24/435.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
435.24/435.45 c 428s|600000 |598306 | 0 | 0.0 | 175M|2257 | - |2750 | 493 | 0 | 0 | 0 |3519 | 0 | 0.000000e+00 | -- | Inf
441.34/441.54 c 434s|610000 |608272 | 0 | 0.0 | 177M|2257 | - |2750 | 509 | 0 | 0 | 0 |3599 | 0 | 0.000000e+00 | -- | Inf
447.44/447.67 c 440s|620000 |618230 | 0 | 0.0 | 180M|2257 | - |2750 | 531 | 0 | 0 | 0 |3684 | 0 | 0.000000e+00 | -- | Inf
453.44/453.66 c 445s|630000 |628198 | 0 | 0.0 | 183M|2257 | - |2750 | 570 | 0 | 0 | 0 |3779 | 0 | 0.000000e+00 | -- | Inf
459.43/459.62 c 451s|640000 |638164 | 0 | 0.0 | 186M|2257 | - |2750 | 591 | 0 | 0 | 0 |3874 | 0 | 0.000000e+00 | -- | Inf
465.23/465.46 c 457s|650000 |648125 | 0 | 0.0 | 189M|2257 | - |2750 | 633 | 0 | 0 | 0 |4002 | 0 | 0.000000e+00 | -- | Inf
471.03/471.26 c 463s|660000 |658098 | 0 | 0.0 | 192M|2257 | - |2750 | 584 | 0 | 0 | 0 |4041 | 0 | 0.000000e+00 | -- | Inf
476.83/477.04 c 468s|670000 |668064 | 0 | 0.0 | 195M|2257 | - |2750 | 637 | 0 | 0 | 0 |4120 | 0 | 0.000000e+00 | -- | Inf
482.42/482.68 c 474s|680000 |678030 | 0 | 0.0 | 198M|2257 | - |2750 | 705 | 0 | 0 | 0 |4242 | 0 | 0.000000e+00 | -- | Inf
488.13/488.40 c 479s|690000 |687998 | 0 | 0.0 | 200M|2257 | - |2750 | 683 | 0 | 0 | 0 |4314 | 0 | 0.000000e+00 | -- | Inf
493.92/494.10 c 485s|700000 |697972 | 0 | 0.0 | 203M|2257 | - |2750 | 711 | 0 | 0 | 0 |4430 | 0 | 0.000000e+00 | -- | Inf
499.52/499.77 c 490s|710000 |707938 | 0 | 0.0 | 206M|2257 | - |2750 | 746 | 0 | 0 | 0 |4525 | 0 | 0.000000e+00 | -- | Inf
505.12/505.38 c 496s|720000 |717894 | 0 | 0.0 | 209M|2257 | - |2750 | 808 | 0 | 0 | 0 |4675 | 0 | 0.000000e+00 | -- | Inf
510.72/510.94 c 501s|730000 |727864 | 0 | 0.0 | 212M|2257 | - |2750 | 747 | 0 | 0 | 0 |4732 | 0 | 0.000000e+00 | -- | Inf
516.21/516.48 c 507s|740000 |737827 | 0 | 0.0 | 215M|2257 | - |2750 | 796 | 0 | 0 | 0 |4848 | 0 | 0.000000e+00 | -- | Inf
521.91/522.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
521.91/522.12 c 512s|750000 |747779 | 0 | 0.0 | 218M|2257 | - |2750 | 807 | 0 | 0 | 0 |4920 | 0 | 0.000000e+00 | -- | Inf
527.41/527.64 c 518s|760000 |757740 | 0 | 0.0 | 221M|2257 | - |2750 | 862 | 0 | 0 | 0 |5030 | 0 | 0.000000e+00 | -- | Inf
532.91/533.17 c 523s|770000 |767699 | 0 | 0.0 | 223M|2257 | - |2750 | 858 | 0 | 0 | 0 |5108 | 0 | 0.000000e+00 | -- | Inf
538.50/538.73 c 528s|780000 |777652 | 0 | 0.0 | 226M|2257 | - |2750 | 851 | 0 | 0 | 0 |5192 | 0 | 0.000000e+00 | -- | Inf
543.91/544.12 c 534s|790000 |787612 | 0 | 0.0 | 229M|2257 | - |2750 | 907 | 0 | 0 | 0 |5296 | 0 | 0.000000e+00 | -- | Inf
549.10/549.39 c 539s|800000 |797567 | 0 | 0.0 | 232M|2257 | - |2750 | 959 | 0 | 0 | 0 |5428 | 0 | 0.000000e+00 | -- | Inf
554.50/554.73 c 544s|810000 |807527 | 0 | 0.0 | 235M|2257 | - |2750 | 981 | 0 | 0 | 0 |5539 | 0 | 0.000000e+00 | -- | Inf
559.80/560.04 c 549s|820000 |817490 | 0 | 0.0 | 238M|2257 | - |2750 | 989 | 0 | 0 | 0 |5611 | 0 | 0.000000e+00 | -- | Inf
565.00/565.23 c 554s|830000 |827450 | 0 | 0.0 | 241M|2257 | - |2750 |1058 | 0 | 0 | 0 |5727 | 0 | 0.000000e+00 | -- | Inf
570.19/570.45 c 559s|840000 |837403 | 0 | 0.0 | 244M|2257 | - |2750 |1079 | 0 | 0 | 0 |5854 | 0 | 0.000000e+00 | -- | Inf
575.29/575.56 c 564s|850000 |847365 | 0 | 0.0 | 246M|2257 | - |2750 |1084 | 0 | 0 | 0 |5980 | 0 | 0.000000e+00 | -- | Inf
580.28/580.52 c 569s|860000 |857334 | 0 | 0.0 | 249M|2257 | - |2750 |1116 | 0 | 0 | 0 |6068 | 0 | 0.000000e+00 | -- | Inf
585.29/585.53 c 574s|870000 |867295 | 0 | 0.0 | 252M|2257 | - |2750 |1135 | 0 | 0 | 0 |6150 | 0 | 0.000000e+00 | -- | Inf
590.19/590.49 c 579s|880000 |877258 | 0 | 0.0 | 255M|2257 | - |2750 |1136 | 0 | 0 | 0 |6242 | 0 | 0.000000e+00 | -- | Inf
595.09/595.34 c 584s|890000 |887217 | 0 | 0.0 | 258M|2257 | - |2750 |1210 | 0 | 0 | 0 |6375 | 0 | 0.000000e+00 | -- | Inf
599.98/600.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
599.98/600.28 c 588s|900000 |897173 | 0 | 0.0 | 261M|2257 | - |2750 |1212 | 0 | 0 | 0 |6467 | 0 | 0.000000e+00 | -- | Inf
604.98/605.28 c 593s|910000 |907129 | 0 | 0.0 | 264M|2257 | - |2750 |1252 | 0 | 0 | 0 |6587 | 0 | 0.000000e+00 | -- | Inf
609.88/610.11 c 598s|920000 |917090 | 0 | 0.0 | 267M|2257 | - |2750 |1282 | 0 | 0 | 0 |6729 | 0 | 0.000000e+00 | -- | Inf
614.59/614.86 c 603s|930000 |927045 | 0 | 0.0 | 270M|2257 | - |2750 |1340 | 0 | 0 | 0 |6907 | 0 | 0.000000e+00 | -- | Inf
619.38/619.64 c 607s|940000 |936997 | 0 | 0.0 | 273M|2257 | - |2750 |1336 | 0 | 0 | 0 |7031 | 0 | 0.000000e+00 | -- | Inf
624.07/624.35 c 612s|950000 |946955 | 0 | 0.0 | 275M|2257 | - |2750 |1376 | 0 | 0 | 0 |7144 | 0 | 0.000000e+00 | -- | Inf
628.88/629.15 c 616s|960000 |956885 | 0 | 0.0 | 278M|2257 | - |2750 |1472 | 0 | 0 | 0 |7346 | 0 | 0.000000e+00 | -- | Inf
633.57/633.82 c 621s|970000 |966845 | 0 | 0.0 | 281M|2257 | - |2750 |1471 | 0 | 0 | 0 |7447 | 0 | 0.000000e+00 | -- | Inf
637.96/638.20 c 625s|980000 |976795 | 0 | 0.0 | 285M|2257 | - |2750 |1663 | 0 | 0 | 0 |7695 | 0 | 0.000000e+00 | -- | Inf
642.27/642.58 c 630s|990000 |986750 | 0 | 0.0 | 288M|2257 | - |2750 |1740 | 0 | 0 | 0 |7887 | 0 | 0.000000e+00 | -- | Inf
646.67/646.93 c 634s| 1000k|996699 | 0 | 0.0 | 291M|2257 | - |2750 |1772 | 0 | 0 | 0 |8025 | 0 | 0.000000e+00 | -- | Inf
651.07/651.37 c 638s| 1010k| 1006k| 0 | 0.0 | 294M|2257 | - |2750 |1836 | 0 | 0 | 0 |8219 | 0 | 0.000000e+00 | -- | Inf
655.37/655.62 c 642s| 1020k| 1016k| 0 | 0.0 | 297M|2257 | - |2750 |2034 | 0 | 0 | 0 |8529 | 0 | 0.000000e+00 | -- | Inf
659.46/659.78 c 646s| 1030k| 1026k| 0 | 0.0 | 300M|2257 | - |2750 |2075 | 0 | 0 | 0 |8758 | 0 | 0.000000e+00 | -- | Inf
663.76/664.02 c 650s| 1040k| 1036k| 0 | 0.0 | 303M|2257 | - |2750 |2190 | 0 | 0 | 0 |8977 | 0 | 0.000000e+00 | -- | Inf
667.76/668.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
667.76/668.10 c 654s| 1050k| 1046k| 0 | 0.0 | 306M|2257 | - |2750 |2319 | 0 | 0 | 0 |9258 | 0 | 0.000000e+00 | -- | Inf
671.86/672.13 c 658s| 1060k| 1056k| 0 | 0.0 | 309M|2257 | - |2750 |2352 | 0 | 0 | 0 |9437 | 0 | 0.000000e+00 | -- | Inf
675.56/675.87 c 662s| 1070k| 1066k| 0 | 0.0 | 313M|2257 | - |2750 |2559 | 0 | 0 | 0 |9739 | 0 | 0.000000e+00 | -- | Inf
679.35/679.66 c 665s| 1080k| 1076k| 0 | 0.0 | 316M|2257 | - |2750 |2657 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
683.26/683.57 c 669s| 1090k| 1086k| 0 | 0.0 | 319M|2257 | - |2750 |2754 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
687.16/687.49 c 673s| 1100k| 1096k| 0 | 0.0 | 322M|2257 | - |2750 |2930 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
690.95/691.28 c 677s| 1110k| 1106k| 0 | 0.0 | 325M|2257 | - |2750 |3096 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
694.75/695.02 c 680s| 1120k| 1115k| 0 | 0.0 | 329M|2257 | - |2750 |3241 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
698.35/698.62 c 684s| 1130k| 1125k| 0 | 0.0 | 332M|2257 | - |2750 |3459 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
701.95/702.28 c 687s| 1140k| 1135k| 0 | 0.0 | 335M|2257 | - |2750 |3688 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
705.55/705.84 c 691s| 1150k| 1145k| 0 | 0.0 | 339M|2257 | - |2750 |3783 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
708.84/709.19 c 694s| 1160k| 1155k| 0 | 0.0 | 342M|2257 | - |2750 |4027 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
712.14/712.43 c 697s| 1170k| 1165k| 0 | 0.0 | 346M|2257 | - |2750 |4378 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
715.44/715.70 c 700s| 1180k| 1175k| 0 | 0.0 | 349M|2257 | - |2750 |4627 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
718.74/719.08 c 703s| 1190k| 1185k| 0 | 0.0 | 353M|2257 | - |2750 |4881 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
721.94/722.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
721.94/722.22 c 707s| 1200k| 1195k| 0 | 0.0 | 357M|2257 | - |2750 |5198 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
725.14/725.42 c 710s| 1210k| 1205k| 0 | 0.0 | 360M|2257 | - |2750 |5429 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
728.14/728.45 c 712s| 1220k| 1214k| 0 | 0.0 | 364M|2257 | - |2750 |5768 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
731.25/731.55 c 715s| 1230k| 1224k| 0 | 0.0 | 368M|2257 | - |2750 |6048 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
734.44/734.74 c 718s| 1240k| 1234k| 0 | 0.0 | 372M|2257 | - |2750 |6526 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
737.63/737.90 c 722s| 1250k| 1244k| 0 | 0.0 | 376M|2257 | - |2750 |6882 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
740.83/741.17 c 725s| 1260k| 1254k| 0 | 0.0 | 380M|2257 | - |2750 |7357 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
744.03/744.39 c 728s| 1270k| 1264k| 0 | 0.0 | 384M|2257 | - |2750 |7811 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
747.23/747.59 c 731s| 1280k| 1273k| 0 | 0.0 | 389M|2257 | - |2750 |8485 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
750.73/751.07 c 734s| 1290k| 1283k| 0 | 0.0 | 395M|2257 | - |2750 |9377 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
754.93/755.27 c 738s| 1300k| 1293k| 0 | 0.0 | 402M|2257 | - |2750 | 10k| 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
764.63/764.92 c 748s| 1310k| 1302k| 0 | 0.0 | 407M|2257 | - |2750 | 11k| 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
772.42/772.72 c 755s| 1320k| 1312k| 0 | 0.0 | 397M|2257 | - |2750 |3897 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
779.62/779.91 c 762s| 1330k| 1322k| 0 | 0.0 | 396M|2257 | - |2750 | 767 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
786.81/787.16 c 770s| 1340k| 1332k| 0 | 0.0 | 398M|2257 | - |2750 | 264 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
794.11/794.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
794.11/794.41 c 777s| 1350k| 1342k| 0 | 0.0 | 401M|2257 | - |2750 | 240 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
801.41/801.76 c 784s| 1360k| 1352k| 0 | 0.0 | 403M|2257 | - |2750 | 221 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
808.81/809.17 c 791s| 1370k| 1361k| 0 | 0.0 | 406M|2257 | - |2750 | 215 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
816.50/816.87 c 799s| 1380k| 1371k| 0 | 0.0 | 409M|2257 | - |2750 | 205 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
824.10/824.43 c 806s| 1390k| 1381k| 0 | 0.0 | 412M|2257 | - |2750 | 201 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
831.80/832.17 c 814s| 1400k| 1391k| 0 | 0.0 | 415M|2257 | - |2750 | 167 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
839.50/839.80 c 821s| 1410k| 1401k| 0 | 0.0 | 417M|2257 | - |2750 | 191 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
847.29/847.68 c 829s| 1420k| 1411k| 0 | 0.0 | 420M|2257 | - |2750 | 162 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
855.09/855.44 c 837s| 1430k| 1421k| 0 | 0.0 | 423M|2257 | - |2750 | 191 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
863.00/863.37 c 844s| 1440k| 1431k| 0 | 0.0 | 426M|2257 | - |2750 | 157 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
870.80/871.17 c 852s| 1450k| 1441k| 0 | 0.0 | 428M|2257 | - |2750 | 205 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
878.78/879.12 c 860s| 1460k| 1451k| 0 | 0.0 | 431M|2257 | - |2750 | 222 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
886.48/886.84 c 867s| 1470k| 1461k| 0 | 0.0 | 434M|2257 | - |2750 | 223 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
894.28/894.68 c 875s| 1480k| 1471k| 0 | 0.0 | 437M|2257 | - |2750 | 181 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
902.08/902.48 c 883s| 1490k| 1481k| 0 | 0.0 | 440M|2257 | - |2750 | 229 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
909.87/910.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
909.87/910.25 c 891s| 1500k| 1491k| 0 | 0.0 | 442M|2257 | - |2750 | 207 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
917.97/918.30 c 898s| 1510k| 1501k| 0 | 0.0 | 445M|2257 | - |2750 | 181 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
925.67/926.01 c 906s| 1520k| 1511k| 0 | 0.0 | 448M|2257 | - |2750 | 183 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
933.77/934.12 c 914s| 1530k| 1521k| 0 | 0.0 | 451M|2257 | - |2750 | 157 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
941.46/941.83 c 922s| 1540k| 1531k| 0 | 0.0 | 454M|2257 | - |2750 | 195 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
949.46/949.82 c 929s| 1550k| 1541k| 0 | 0.0 | 456M|2257 | - |2750 | 192 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
957.26/957.63 c 937s| 1560k| 1551k| 0 | 0.0 | 459M|2257 | - |2750 | 173 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
965.16/965.58 c 945s| 1570k| 1561k| 0 | 0.0 | 462M|2257 | - |2750 | 211 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
973.06/973.42 c 953s| 1580k| 1571k| 0 | 0.0 | 465M|2257 | - |2750 | 216 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
980.65/981.08 c 960s| 1590k| 1581k| 0 | 0.0 | 468M|2257 | - |2750 | 170 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
988.65/989.09 c 968s| 1600k| 1591k| 0 | 0.0 | 470M|2257 | - |2750 | 162 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
996.44/996.89 c 976s| 1610k| 1601k| 0 | 0.0 | 473M|2257 | - |2750 | 148 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1004.04/1004.49 c 983s| 1620k| 1611k| 0 | 0.0 | 476M|2257 | - |2750 | 196 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1011.74/1012.18 c 991s| 1630k| 1621k| 0 | 0.0 | 479M|2257 | - |2750 | 167 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1019.74/1020.11 c 999s| 1640k| 1631k| 0 | 0.0 | 481M|2257 | - |2750 | 160 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1027.43/1027.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1027.43/1027.87 c 1006s| 1650k| 1641k| 0 | 0.0 | 484M|2257 | - |2750 | 144 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1035.23/1035.68 c 1014s| 1660k| 1651k| 0 | 0.0 | 487M|2257 | - |2750 | 175 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1043.13/1043.56 c 1022s| 1670k| 1661k| 0 | 0.0 | 490M|2257 | - |2750 | 192 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1050.83/1051.22 c 1029s| 1680k| 1671k| 0 | 0.0 | 492M|2257 | - |2750 | 147 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1058.83/1059.22 c 1037s| 1690k| 1681k| 0 | 0.0 | 495M|2257 | - |2750 | 154 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1066.42/1066.87 c 1044s| 1700k| 1691k| 0 | 0.0 | 498M|2257 | - |2750 | 173 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1074.52/1074.90 c 1052s| 1710k| 1701k| 0 | 0.0 | 501M|2257 | - |2750 | 166 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1082.12/1082.58 c 1060s| 1720k| 1711k| 0 | 0.0 | 504M|2257 | - |2750 | 190 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1089.92/1090.39 c 1068s| 1730k| 1721k| 0 | 0.0 | 506M|2257 | - |2750 | 213 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1097.81/1098.23 c 1075s| 1740k| 1731k| 0 | 0.0 | 509M|2257 | - |2750 | 181 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1105.41/1105.88 c 1083s| 1750k| 1741k| 0 | 0.0 | 512M|2257 | - |2750 | 184 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1113.40/1113.88 c 1091s| 1760k| 1750k| 0 | 0.0 | 515M|2257 | - |2750 | 171 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1121.10/1121.52 c 1098s| 1770k| 1760k| 0 | 0.0 | 517M|2257 | - |2750 | 183 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1128.90/1129.31 c 1106s| 1780k| 1770k| 0 | 0.0 | 520M|2257 | - |2750 | 204 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1136.60/1137.08 c 1114s| 1790k| 1780k| 0 | 0.0 | 523M|2257 | - |2750 | 151 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1144.19/1144.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1144.19/1144.67 c 1121s| 1800k| 1790k| 0 | 0.0 | 526M|2257 | - |2750 | 159 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1152.19/1152.69 c 1129s| 1810k| 1800k| 0 | 0.0 | 529M|2257 | - |2750 | 186 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1159.99/1160.46 c 1137s| 1820k| 1810k| 0 | 0.0 | 531M|2257 | - |2750 | 166 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1167.69/1168.20 c 1144s| 1830k| 1820k| 0 | 0.0 | 534M|2257 | - |2750 | 154 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1175.78/1176.26 c 1152s| 1840k| 1830k| 0 | 0.0 | 537M|2257 | - |2750 | 182 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1183.38/1183.89 c 1160s| 1850k| 1840k| 0 | 0.0 | 540M|2257 | - |2750 | 180 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1190.98/1191.41 c 1167s| 1860k| 1850k| 0 | 0.0 | 542M|2257 | - |2750 | 154 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1198.77/1199.29 c 1175s| 1870k| 1860k| 0 | 0.0 | 545M|2257 | - |2750 | 159 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1206.38/1206.89 c 1182s| 1880k| 1870k| 0 | 0.0 | 548M|2257 | - |2750 | 182 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1214.17/1214.60 c 1190s| 1890k| 1880k| 0 | 0.0 | 551M|2257 | - |2750 | 162 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1222.07/1222.50 c 1197s| 1900k| 1890k| 0 | 0.0 | 553M|2257 | - |2750 | 173 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1229.57/1230.08 c 1205s| 1910k| 1900k| 0 | 0.0 | 556M|2257 | - |2750 | 180 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1237.56/1238.01 c 1213s| 1920k| 1910k| 0 | 0.0 | 559M|2257 | - |2750 | 149 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1245.26/1245.74 c 1220s| 1930k| 1920k| 0 | 0.0 | 562M|2257 | - |2750 | 150 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1252.96/1253.41 c 1228s| 1940k| 1930k| 0 | 0.0 | 565M|2257 | - |2750 | 174 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1260.86/1261.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1260.86/1261.35 c 1236s| 1950k| 1940k| 0 | 0.0 | 567M|2257 | - |2750 | 155 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1268.55/1269.07 c 1243s| 1960k| 1950k| 0 | 0.0 | 570M|2257 | - |2750 | 142 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1276.15/1276.63 c 1251s| 1970k| 1960k| 0 | 0.0 | 573M|2257 | - |2750 | 186 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1283.95/1284.45 c 1258s| 1980k| 1970k| 0 | 0.0 | 576M|2257 | - |2750 | 206 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1291.54/1292.02 c 1266s| 1990k| 1980k| 0 | 0.0 | 578M|2257 | - |2750 | 179 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1299.44/1299.94 c 1274s| 2000k| 1990k| 0 | 0.0 | 581M|2257 | - |2750 | 157 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1307.03/1307.59 c 1281s| 2010k| 2000k| 0 | 0.0 | 584M|2257 | - |2750 | 154 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1314.83/1315.33 c 1289s| 2020k| 2010k| 0 | 0.0 | 587M|2257 | - |2750 | 196 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1322.63/1323.19 c 1297s| 2030k| 2020k| 0 | 0.0 | 590M|2257 | - |2750 | 186 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1330.23/1330.78 c 1304s| 2040k| 2030k| 0 | 0.0 | 592M|2257 | - |2750 | 192 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1338.13/1338.69 c 1312s| 2050k| 2040k| 0 | 0.0 | 595M|2257 | - |2750 | 197 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1345.83/1346.37 c 1319s| 2060k| 2050k| 0 | 0.0 | 598M|2257 | - |2750 | 184 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1353.72/1354.23 c 1327s| 2070k| 2060k| 0 | 0.0 | 601M|2257 | - |2750 | 213 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1361.61/1362.12 c 1335s| 2080k| 2070k| 0 | 0.0 | 603M|2257 | - |2750 | 160 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1369.11/1369.64 c 1342s| 2090k| 2080k| 0 | 0.0 | 606M|2257 | - |2750 | 161 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1377.02/1377.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1377.02/1377.50 c 1350s| 2100k| 2090k| 0 | 0.0 | 609M|2257 | - |2750 | 150 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1384.71/1385.23 c 1357s| 2110k| 2100k| 0 | 0.0 | 612M|2257 | - |2750 | 161 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1392.21/1392.73 c 1365s| 2120k| 2110k| 0 | 0.0 | 614M|2257 | - |2750 | 173 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1399.91/1400.47 c 1372s| 2130k| 2120k| 0 | 0.0 | 617M|2257 | - |2750 | 214 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1407.80/1408.36 c 1380s| 2140k| 2130k| 0 | 0.0 | 620M|2257 | - |2750 | 187 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1415.39/1415.95 c 1388s| 2150k| 2139k| 0 | 0.0 | 623M|2257 | - |2750 | 182 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1423.20/1423.78 c 1395s| 2160k| 2149k| 0 | 0.0 | 626M|2257 | - |2750 | 163 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1430.79/1431.38 c 1403s| 2170k| 2159k| 0 | 0.0 | 628M|2257 | - |2750 | 157 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1438.49/1439.08 c 1410s| 2180k| 2169k| 0 | 0.0 | 631M|2257 | - |2750 | 176 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1446.19/1446.75 c 1418s| 2190k| 2179k| 0 | 0.0 | 634M|2257 | - |2750 | 163 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1453.79/1454.36 c 1425s| 2200k| 2189k| 0 | 0.0 | 637M|2257 | - |2750 | 177 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1461.58/1462.19 c 1433s| 2210k| 2199k| 0 | 0.0 | 640M|2257 | - |2750 | 197 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1469.28/1469.81 c 1441s| 2220k| 2209k| 0 | 0.0 | 642M|2257 | - |2750 | 171 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1477.07/1477.69 c 1448s| 2230k| 2219k| 0 | 0.0 | 645M|2257 | - |2750 | 161 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1484.78/1485.39 c 1456s| 2240k| 2229k| 0 | 0.0 | 648M|2257 | - |2750 | 174 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1492.57/1493.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1492.57/1493.13 c 1464s| 2250k| 2239k| 0 | 0.0 | 651M|2257 | - |2750 | 187 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1500.57/1501.11 c 1471s| 2260k| 2249k| 0 | 0.0 | 653M|2257 | - |2750 | 170 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1508.07/1508.68 c 1479s| 2270k| 2259k| 0 | 0.0 | 656M|2257 | - |2750 | 148 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1515.77/1516.33 c 1486s| 2280k| 2269k| 0 | 0.0 | 659M|2257 | - |2750 | 170 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1523.56/1524.11 c 1494s| 2290k| 2279k| 0 | 0.0 | 662M|2257 | - |2750 | 144 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1531.06/1531.62 c 1501s| 2300k| 2289k| 0 | 0.0 | 664M|2257 | - |2750 | 184 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1538.86/1539.44 c 1509s| 2310k| 2299k| 0 | 0.0 | 667M|2257 | - |2750 | 161 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1546.65/1547.27 c 1517s| 2320k| 2309k| 0 | 0.0 | 670M|2257 | - |2750 | 154 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1554.35/1554.92 c 1524s| 2330k| 2319k| 0 | 0.0 | 673M|2257 | - |2750 | 178 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1562.15/1562.73 c 1532s| 2340k| 2329k| 0 | 0.0 | 676M|2257 | - |2750 | 193 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1569.75/1570.31 c 1539s| 2350k| 2339k| 0 | 0.0 | 678M|2257 | - |2750 | 181 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1577.34/1577.94 c 1547s| 2360k| 2349k| 0 | 0.0 | 681M|2257 | - |2750 | 198 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1584.94/1585.51 c 1554s| 2370k| 2359k| 0 | 0.0 | 684M|2257 | - |2750 | 208 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1592.53/1593.11 c 1562s| 2380k| 2369k| 0 | 0.0 | 687M|2257 | - |2750 | 196 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1600.24/1600.83 c 1569s| 2390k| 2379k| 0 | 0.0 | 689M|2257 | - |2750 | 207 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1607.93/1608.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1607.93/1608.57 c 1577s| 2400k| 2389k| 0 | 0.0 | 692M|2257 | - |2750 | 182 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1615.63/1616.24 c 1585s| 2410k| 2399k| 0 | 0.0 | 695M|2257 | - |2750 | 204 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1623.23/1623.84 c 1592s| 2420k| 2409k| 0 | 0.0 | 698M|2257 | - |2750 | 189 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1630.92/1631.53 c 1600s| 2430k| 2419k| 0 | 0.0 | 701M|2257 | - |2750 | 206 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1638.43/1639.06 c 1607s| 2440k| 2429k| 0 | 0.0 | 703M|2257 | - |2750 | 156 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1646.03/1646.61 c 1614s| 2450k| 2439k| 0 | 0.0 | 706M|2257 | - |2750 | 161 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1653.82/1654.43 c 1622s| 2460k| 2449k| 0 | 0.0 | 709M|2257 | - |2750 | 168 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1661.42/1662.05 c 1630s| 2470k| 2459k| 0 | 0.0 | 712M|2257 | - |2750 | 172 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1669.31/1669.98 c 1637s| 2480k| 2469k| 0 | 0.0 | 714M|2257 | - |2750 | 181 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1677.00/1677.60 c 1645s| 2490k| 2479k| 0 | 0.0 | 717M|2257 | - |2750 | 192 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1684.52/1685.17 c 1652s| 2500k| 2489k| 0 | 0.0 | 720M|2257 | - |2750 | 170 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1692.31/1692.95 c 1660s| 2510k| 2499k| 0 | 0.0 | 723M|2257 | - |2750 | 161 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1700.01/1700.63 c 1667s| 2520k| 2509k| 0 | 0.0 | 725M|2257 | - |2750 | 154 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1707.71/1708.33 c 1675s| 2530k| 2518k| 0 | 0.0 | 728M|2257 | - |2750 | 187 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1715.30/1715.90 c 1682s| 2540k| 2528k| 0 | 0.0 | 731M|2257 | - |2750 | 161 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1723.00/1723.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1723.00/1723.68 c 1690s| 2550k| 2538k| 0 | 0.0 | 734M|2257 | - |2750 | 176 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1730.70/1731.33 c 1698s| 2560k| 2548k| 0 | 0.0 | 737M|2257 | - |2750 | 176 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1738.29/1738.97 c 1705s| 2570k| 2558k| 0 | 0.0 | 739M|2257 | - |2750 | 165 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1745.98/1746.67 c 1713s| 2580k| 2568k| 0 | 0.0 | 742M|2257 | - |2750 | 183 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1753.38/1754.09 c 1720s| 2590k| 2578k| 0 | 0.0 | 745M|2257 | - |2750 | 173 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1761.28/1761.99 c 1728s| 2600k| 2588k| 0 | 0.0 | 748M|2257 | - |2750 | 163 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1768.97/1769.63 c 1735s| 2610k| 2598k| 0 | 0.0 | 750M|2257 | - |2750 | 166 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1776.67/1777.31 c 1743s| 2620k| 2608k| 0 | 0.0 | 753M|2257 | - |2750 | 159 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1784.17/1784.83 c 1750s| 2630k| 2618k| 0 | 0.0 | 756M|2257 | - |2750 | 191 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1792.07/1792.72 c 1758s| 2640k| 2628k| 0 | 0.0 | 759M|2257 | - |2750 | 153 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1799.46/1800.14 c 1765s| 2650k| 2638k| 0 | 0.0 | 762M|2257 | - |2750 | 153 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1800.07/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.71 c
1800.07/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.71 c Solving Time (sec) : 1765.81
1800.07/1800.71 c Solving Nodes : 2650680
1800.07/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.07/1800.71 c Dual Bound : +0.00000000000000e+00
1800.07/1800.71 c Gap : infinite
1800.07/1800.71 s UNKNOWN
1800.07/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.71 c Solving Time : 1765.81
1800.07/1800.71 c Original Problem :
1800.07/1800.71 c Problem name : HOME/instance-2664730-1276575814.opb
1800.07/1800.71 c Variables : 2750 (2750 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.71 c Constraints : 105 initial, 105 maximal
1800.07/1800.71 c Presolved Problem :
1800.07/1800.71 c Problem name : t_HOME/instance-2664730-1276575814.opb
1800.07/1800.71 c Variables : 2750 (2750 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.71 c Constraints : 105 initial, 11698 maximal
1800.07/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.71 c trivial : 0.02 0 0 0 0 0 0 0 0
1800.07/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c probing : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c root node : - 0 - - 0 - - - -
1800.07/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.71 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.71 c setppc : 50 0 2820263 0 2646480 5901 1525953 0 0 0
1800.07/1800.71 c logicor : 55+ 0 414584 0 2646480 1026 125271 0 0 0
1800.07/1800.71 c countsols : 0 0 0 0 2646480 0 0 0 0 0
1800.07/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.71 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.71 c setppc : 392.12 0.00 64.68 0.00 327.44
1800.07/1800.71 c logicor : 182.92 0.00 14.59 0.00 168.33
1800.07/1800.71 c countsols : 1.32 0.00 0.00 0.00 1.32
1800.07/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.71 c vbounds : 1.51 1 0 0
1800.07/1800.71 c rootredcost : 1.80 0 0 0
1800.07/1800.71 c pseudoobj : 1.51 0 0 0
1800.07/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.71 c propagation : 65.47 6927 6927 229472 370.9 47 194.4 -
1800.07/1800.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.71 c applied globally : - - - 34297 174.4 - - -
1800.07/1800.71 c applied locally : - - - 911 350.1 - - -
1800.07/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.71 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.71 c redcost : 0.00 0 0 0 0 0
1800.07/1800.71 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.71 c intobj : 0.00 0 0 0 0 0
1800.07/1800.71 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.71 c gomory : 0.00 0 0 0 0 0
1800.07/1800.71 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.71 c cmir : 0.00 0 0 0 0 0
1800.07/1800.71 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.71 c clique : 0.00 0 0 0 0 0
1800.07/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.71 c mcf : 0.00 0 0 0 0 0
1800.07/1800.71 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.71 c Pricers : Time Calls Vars
1800.07/1800.71 c problem variables: 0.00 0 0
1800.07/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.71 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.71 c inference : 1085.00 2646480 0 0 0 0 5292960
1800.07/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.71 c random : 0.00 0 0 0 0 0 0
1800.07/1800.71 c Primal Heuristics : Time Calls Found
1800.07/1800.71 c LP solutions : 0.00 - 0
1800.07/1800.71 c pseudo solutions : 0.00 - 0
1800.07/1800.71 c trivial : 0.00 1 0
1800.07/1800.71 c simplerounding : 0.00 0 0
1800.07/1800.71 c zirounding : 0.00 0 0
1800.07/1800.71 c rounding : 0.00 0 0
1800.07/1800.71 c shifting : 0.00 0 0
1800.07/1800.71 c intshifting : 0.00 0 0
1800.07/1800.71 c oneopt : 0.00 0 0
1800.07/1800.71 c twoopt : 0.00 0 0
1800.07/1800.71 c fixandinfer : 0.00 0 0
1800.07/1800.71 c feaspump : 0.00 0 0
1800.07/1800.71 c coefdiving : 0.00 0 0
1800.07/1800.71 c pscostdiving : 0.00 0 0
1800.07/1800.71 c fracdiving : 0.00 0 0
1800.07/1800.71 c veclendiving : 0.00 0 0
1800.07/1800.71 c intdiving : 0.00 0 0
1800.07/1800.71 c actconsdiving : 0.00 0 0
1800.07/1800.71 c objpscostdiving : 0.00 0 0
1800.07/1800.71 c rootsoldiving : 0.00 0 0
1800.07/1800.71 c linesearchdiving : 0.00 0 0
1800.07/1800.71 c guideddiving : 0.00 0 0
1800.07/1800.71 c octane : 0.00 0 0
1800.07/1800.71 c rens : 0.00 0 0
1800.07/1800.71 c rins : 0.00 0 0
1800.07/1800.71 c localbranching : 0.00 0 0
1800.07/1800.71 c mutation : 0.00 0 0
1800.07/1800.71 c crossover : 0.00 0 0
1800.07/1800.71 c dins : 0.00 0 0
1800.07/1800.71 c undercover : 0.00 0 0
1800.07/1800.71 c nlp : 0.00 0 0
1800.07/1800.71 c trysol : 0.00 0 0
1800.07/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.71 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.71 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.71 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.71 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.71 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.71 c (at root node) : - 0 0 0.00 -
1800.07/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.71 c B&B Tree :
1800.07/1800.71 c number of runs : 1
1800.07/1800.71 c nodes : 2650680
1800.07/1800.71 c nodes (total) : 2650680
1800.07/1800.71 c nodes left : 2639347
1800.07/1800.71 c max depth : 2257
1800.07/1800.71 c max depth (total): 2257
1800.07/1800.71 c backtracks : 2777 (0.1%)
1800.07/1800.71 c delayed cutoffs : 2934
1800.07/1800.71 c repropagations : 9496 (101358 domain reductions, 2727 cutoffs)
1800.07/1800.71 c avg switch length: 2.23
1800.07/1800.71 c switching time : 33.59
1800.07/1800.71 c Solution :
1800.07/1800.71 c Solutions found : 0 (0 improvements)
1800.07/1800.71 c Primal Bound : -
1800.07/1800.71 c Dual Bound : +0.00000000000000e+00
1800.07/1800.71 c Gap : infinite
1800.07/1800.71 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.71 c Root Iterations : 0