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-2664740-1276580222.opb>
0.00/0.02 c original problem has 2550 variables (2550 bin, 0 int, 0 impl, 0 cont) and 101 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, 51 upgd conss, 0 impls, 50 clqs
0.00/0.06 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 101 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 2550 variables (2550 bin, 0 int, 0 impl, 0 cont) and 101 constraints
0.00/0.07 c 50 constraints of type <setppc>
0.00/0.07 c 51 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.07 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.07 c heuristics/trysol/freq = -1
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <veclendiving> (-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/veclendiving/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/veclendiving/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/veclendiving/maxlpiterofs = 1500
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <zirounding> (-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/zirounding/freq = -1
0.00/0.07 c
0.00/0.07 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.07 c separating/cmir/freq = -1
0.00/0.07 c
0.00/0.07 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.07 c separating/flowcover/freq = -1
0.00/0.07 c
0.00/0.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.07 c separating/rapidlearning/freq = 0
0.00/0.07 c
0.00/0.07 c -----------------------------------------------------------------------------------------------
0.00/0.07 c start solving
0.00/0.07 c
0.00/0.07 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.07 c 0.0s| 1 | 2 | 0 | - |4472k| 0 | - |2550 | 101 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
5.99/6.01 c 5.9s| 10000 | 9970 | 0 | 0.0 |8217k|1967 | - |2550 | 192 | 0 | 0 | 0 | 95 | 0 | 0.000000e+00 | -- | Inf
12.68/12.75 c 12.5s| 20000 | 19944 | 0 | 0.0 | 11M|1967 | - |2550 | 235 | 0 | 0 | 0 | 219 | 0 | 0.000000e+00 | -- | Inf
19.39/19.41 c 19.0s| 30000 | 29917 | 0 | 0.0 | 14M|1967 | - |2550 | 209 | 0 | 0 | 0 | 322 | 0 | 0.000000e+00 | -- | Inf
25.98/26.09 c 25.6s| 40000 | 39898 | 0 | 0.0 | 17M|2016 | - |2550 | 236 | 0 | 0 | 0 | 433 | 0 | 0.000000e+00 | -- | Inf
32.68/32.71 c 32.0s| 50000 | 49875 | 0 | 0.0 | 19M|2112 | - |2550 | 202 | 0 | 0 | 0 | 467 | 0 | 0.000000e+00 | -- | Inf
39.49/39.51 c 38.8s| 60000 | 59852 | 0 | 0.0 | 22M|2112 | - |2550 | 167 | 0 | 0 | 0 | 502 | 0 | 0.000000e+00 | -- | Inf
46.08/46.18 c 45.3s| 70000 | 69837 | 0 | 0.0 | 25M|2112 | - |2550 | 178 | 0 | 0 | 0 | 552 | 0 | 0.000000e+00 | -- | Inf
52.87/52.98 c 52.0s| 80000 | 79812 | 0 | 0.0 | 28M|2123 | - |2550 | 150 | 0 | 0 | 0 | 579 | 0 | 0.000000e+00 | -- | Inf
59.67/59.76 c 58.6s| 90000 | 89788 | 0 | 0.0 | 30M|2188 | - |2550 | 159 | 0 | 0 | 0 | 614 | 0 | 0.000000e+00 | -- | Inf
66.27/66.32 c 65.1s|100000 | 99763 | 0 | 0.0 | 33M|2212 | - |2550 | 136 | 0 | 0 | 0 | 631 | 0 | 0.000000e+00 | -- | Inf
72.87/72.98 c 71.6s|110000 |109739 | 0 | 0.0 | 36M|2212 | - |2550 | 155 | 0 | 0 | 0 | 661 | 0 | 0.000000e+00 | -- | Inf
79.36/79.47 c 78.0s|120000 |119716 | 0 | 0.0 | 38M|2212 | - |2550 | 152 | 0 | 0 | 0 | 690 | 0 | 0.000000e+00 | -- | Inf
86.16/86.21 c 84.6s|130000 |129685 | 0 | 0.0 | 41M|2212 | - |2550 | 168 | 0 | 0 | 0 | 732 | 0 | 0.000000e+00 | -- | Inf
92.66/92.76 c 91.0s|140000 |139664 | 0 | 0.0 | 44M|2212 | - |2550 | 213 | 0 | 0 | 0 | 806 | 0 | 0.000000e+00 | -- | Inf
99.26/99.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
99.26/99.32 c 97.4s|150000 |149643 | 0 | 0.0 | 47M|2212 | - |2550 | 207 | 0 | 0 | 0 | 844 | 0 | 0.000000e+00 | -- | Inf
105.96/106.05 c 104s|160000 |159611 | 0 | 0.0 | 49M|2212 | - |2550 | 187 | 0 | 0 | 0 | 887 | 0 | 0.000000e+00 | -- | Inf
112.75/112.80 c 111s|170000 |169582 | 0 | 0.0 | 52M|2212 | - |2550 | 205 | 0 | 0 | 0 | 939 | 0 | 0.000000e+00 | -- | Inf
119.16/119.25 c 117s|180000 |179559 | 0 | 0.0 | 55M|2212 | - |2550 | 206 | 0 | 0 | 0 | 979 | 0 | 0.000000e+00 | -- | Inf
125.64/125.76 c 123s|190000 |189527 | 0 | 0.0 | 58M|2212 | - |2550 | 194 | 0 | 0 | 0 |1020 | 0 | 0.000000e+00 | -- | Inf
132.15/132.22 c 130s|200000 |199500 | 0 | 0.0 | 60M|2212 | - |2550 | 219 | 0 | 0 | 0 |1067 | 0 | 0.000000e+00 | -- | Inf
138.34/138.42 c 136s|210000 |209483 | 0 | 0.0 | 63M|2212 | - |2550 | 199 | 0 | 0 | 0 |1086 | 0 | 0.000000e+00 | -- | Inf
144.84/144.95 c 142s|220000 |219456 | 0 | 0.0 | 66M|2212 | - |2550 | 213 | 0 | 0 | 0 |1133 | 0 | 0.000000e+00 | -- | Inf
151.14/151.27 c 148s|230000 |229418 | 0 | 0.0 | 69M|2212 | - |2550 | 227 | 0 | 0 | 0 |1179 | 0 | 0.000000e+00 | -- | Inf
157.64/157.76 c 155s|240000 |239396 | 0 | 0.0 | 71M|2212 | - |2550 | 224 | 0 | 0 | 0 |1212 | 0 | 0.000000e+00 | -- | Inf
163.85/163.97 c 161s|250000 |249370 | 0 | 0.0 | 74M|2212 | - |2550 | 244 | 0 | 0 | 0 |1258 | 0 | 0.000000e+00 | -- | Inf
170.13/170.29 c 167s|260000 |259347 | 0 | 0.0 | 77M|2212 | - |2550 | 249 | 0 | 0 | 0 |1301 | 0 | 0.000000e+00 | -- | Inf
176.43/176.59 c 173s|270000 |269321 | 0 | 0.0 | 80M|2212 | - |2550 | 257 | 0 | 0 | 0 |1355 | 0 | 0.000000e+00 | -- | Inf
182.73/182.82 c 179s|280000 |279288 | 0 | 0.0 | 82M|2212 | - |2550 | 246 | 0 | 0 | 0 |1413 | 0 | 0.000000e+00 | -- | Inf
188.93/189.02 c 185s|290000 |289256 | 0 | 0.0 | 85M|2212 | - |2550 | 267 | 0 | 0 | 0 |1467 | 0 | 0.000000e+00 | -- | Inf
195.02/195.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
195.02/195.11 c 191s|300000 |299236 | 0 | 0.0 | 88M|2212 | - |2550 | 263 | 0 | 0 | 0 |1513 | 0 | 0.000000e+00 | -- | Inf
201.13/201.20 c 197s|310000 |309212 | 0 | 0.0 | 91M|2212 | - |2550 | 262 | 0 | 0 | 0 |1562 | 0 | 0.000000e+00 | -- | Inf
207.12/207.24 c 203s|320000 |319187 | 0 | 0.0 | 93M|2212 | - |2550 | 277 | 0 | 0 | 0 |1624 | 0 | 0.000000e+00 | -- | Inf
213.12/213.22 c 209s|330000 |329163 | 0 | 0.0 | 96M|2212 | - |2550 | 296 | 0 | 0 | 0 |1686 | 0 | 0.000000e+00 | -- | Inf
219.12/219.29 c 215s|340000 |339138 | 0 | 0.0 | 99M|2212 | - |2550 | 248 | 0 | 0 | 0 |1710 | 0 | 0.000000e+00 | -- | Inf
225.22/225.36 c 221s|350000 |349110 | 0 | 0.0 | 102M|2212 | - |2550 | 265 | 0 | 0 | 0 |1753 | 0 | 0.000000e+00 | -- | Inf
231.31/231.42 c 227s|360000 |359079 | 0 | 0.0 | 104M|2212 | - |2550 | 269 | 0 | 0 | 0 |1810 | 0 | 0.000000e+00 | -- | Inf
237.32/237.44 c 233s|370000 |369045 | 0 | 0.0 | 107M|2212 | - |2550 | 243 | 0 | 0 | 0 |1841 | 0 | 0.000000e+00 | -- | Inf
243.11/243.29 c 239s|380000 |379013 | 0 | 0.0 | 110M|2212 | - |2550 | 276 | 0 | 0 | 0 |1900 | 0 | 0.000000e+00 | -- | Inf
248.91/249.04 c 244s|390000 |388983 | 0 | 0.0 | 113M|2212 | - |2550 | 291 | 0 | 0 | 0 |1952 | 0 | 0.000000e+00 | -- | Inf
254.70/254.83 c 250s|400000 |398951 | 0 | 0.0 | 116M|2212 | - |2550 | 345 | 0 | 0 | 0 |2071 | 0 | 0.000000e+00 | -- | Inf
260.51/260.63 c 256s|410000 |408926 | 0 | 0.0 | 118M|2212 | - |2550 | 333 | 0 | 0 | 0 |2143 | 0 | 0.000000e+00 | -- | Inf
266.20/266.36 c 261s|420000 |418900 | 0 | 0.0 | 121M|2212 | - |2550 | 316 | 0 | 0 | 0 |2179 | 0 | 0.000000e+00 | -- | Inf
271.90/272.08 c 267s|430000 |428877 | 0 | 0.0 | 124M|2212 | - |2550 | 308 | 0 | 0 | 0 |2226 | 0 | 0.000000e+00 | -- | Inf
277.70/277.86 c 272s|440000 |438848 | 0 | 0.0 | 127M|2212 | - |2550 | 316 | 0 | 0 | 0 |2276 | 0 | 0.000000e+00 | -- | Inf
283.50/283.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
283.50/283.69 c 278s|450000 |448807 | 0 | 0.0 | 129M|2212 | - |2550 | 323 | 0 | 0 | 0 |2339 | 0 | 0.000000e+00 | -- | Inf
289.21/289.36 c 284s|460000 |458779 | 0 | 0.0 | 132M|2212 | - |2550 | 298 | 0 | 0 | 0 |2370 | 0 | 0.000000e+00 | -- | Inf
294.79/294.92 c 289s|470000 |468743 | 0 | 0.0 | 135M|2212 | - |2550 | 349 | 0 | 0 | 0 |2460 | 0 | 0.000000e+00 | -- | Inf
300.39/300.50 c 295s|480000 |478710 | 0 | 0.0 | 138M|2212 | - |2550 | 332 | 0 | 0 | 0 |2507 | 0 | 0.000000e+00 | -- | Inf
305.89/306.09 c 300s|490000 |488677 | 0 | 0.0 | 140M|2212 | - |2550 | 343 | 0 | 0 | 0 |2559 | 0 | 0.000000e+00 | -- | Inf
311.59/311.78 c 306s|500000 |498639 | 0 | 0.0 | 143M|2212 | - |2550 | 396 | 0 | 0 | 0 |2663 | 0 | 0.000000e+00 | -- | Inf
317.18/317.37 c 311s|510000 |508600 | 0 | 0.0 | 146M|2212 | - |2550 | 380 | 0 | 0 | 0 |2725 | 0 | 0.000000e+00 | -- | Inf
322.68/322.83 c 316s|520000 |518573 | 0 | 0.0 | 149M|2212 | - |2550 | 411 | 0 | 0 | 0 |2800 | 0 | 0.000000e+00 | -- | Inf
328.18/328.36 c 322s|530000 |528542 | 0 | 0.0 | 152M|2212 | - |2550 | 408 | 0 | 0 | 0 |2857 | 0 | 0.000000e+00 | -- | Inf
333.68/333.80 c 327s|540000 |538511 | 0 | 0.0 | 154M|2212 | - |2550 | 414 | 0 | 0 | 0 |2915 | 0 | 0.000000e+00 | -- | Inf
338.88/339.09 c 332s|550000 |548480 | 0 | 0.0 | 157M|2212 | - |2550 | 425 | 0 | 0 | 0 |2979 | 0 | 0.000000e+00 | -- | Inf
344.28/344.46 c 338s|560000 |558450 | 0 | 0.0 | 160M|2212 | - |2550 | 428 | 0 | 0 | 0 |3031 | 0 | 0.000000e+00 | -- | Inf
349.58/349.77 c 343s|570000 |568420 | 0 | 0.0 | 163M|2212 | - |2550 | 467 | 0 | 0 | 0 |3131 | 0 | 0.000000e+00 | -- | Inf
354.88/355.06 c 348s|580000 |578381 | 0 | 0.0 | 165M|2212 | - |2550 | 480 | 0 | 0 | 0 |3219 | 0 | 0.000000e+00 | -- | Inf
360.07/360.22 c 353s|590000 |588349 | 0 | 0.0 | 168M|2212 | - |2550 | 438 | 0 | 0 | 0 |3271 | 0 | 0.000000e+00 | -- | Inf
365.37/365.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
365.37/365.57 c 358s|600000 |598313 | 0 | 0.0 | 171M|2212 | - |2550 | 461 | 0 | 0 | 0 |3342 | 0 | 0.000000e+00 | -- | Inf
370.67/370.82 c 363s|610000 |608273 | 0 | 0.0 | 174M|2212 | - |2550 | 492 | 0 | 0 | 0 |3424 | 0 | 0.000000e+00 | -- | Inf
375.86/376.01 c 368s|620000 |618227 | 0 | 0.0 | 177M|2212 | - |2550 | 479 | 0 | 0 | 0 |3490 | 0 | 0.000000e+00 | -- | Inf
381.07/381.20 c 373s|630000 |628190 | 0 | 0.0 | 179M|2212 | - |2550 | 487 | 0 | 0 | 0 |3533 | 0 | 0.000000e+00 | -- | Inf
386.07/386.29 c 378s|640000 |638159 | 0 | 0.0 | 182M|2212 | - |2550 | 518 | 0 | 0 | 0 |3603 | 0 | 0.000000e+00 | -- | Inf
391.16/391.39 c 383s|650000 |648117 | 0 | 0.0 | 185M|2212 | - |2550 | 531 | 0 | 0 | 0 |3665 | 0 | 0.000000e+00 | -- | Inf
396.35/396.53 c 388s|660000 |658083 | 0 | 0.0 | 188M|2212 | - |2550 | 551 | 0 | 0 | 0 |3732 | 0 | 0.000000e+00 | -- | Inf
401.45/401.64 c 393s|670000 |668039 | 0 | 0.0 | 191M|2212 | - |2550 | 599 | 0 | 0 | 0 |3838 | 0 | 0.000000e+00 | -- | Inf
406.46/406.67 c 398s|680000 |678005 | 0 | 0.0 | 193M|2212 | - |2550 | 585 | 0 | 0 | 0 |3897 | 0 | 0.000000e+00 | -- | Inf
411.45/411.61 c 403s|690000 |687974 | 0 | 0.0 | 196M|2212 | - |2550 | 628 | 0 | 0 | 0 |3983 | 0 | 0.000000e+00 | -- | Inf
416.25/416.47 c 408s|700000 |697937 | 0 | 0.0 | 199M|2212 | - |2550 | 672 | 0 | 0 | 0 |4090 | 0 | 0.000000e+00 | -- | Inf
421.16/421.35 c 413s|710000 |707899 | 0 | 0.0 | 202M|2212 | - |2550 | 666 | 0 | 0 | 0 |4175 | 0 | 0.000000e+00 | -- | Inf
426.05/426.25 c 417s|720000 |717856 | 0 | 0.0 | 205M|2212 | - |2550 | 664 | 0 | 0 | 0 |4268 | 0 | 0.000000e+00 | -- | Inf
430.85/431.03 c 422s|730000 |727820 | 0 | 0.0 | 207M|2212 | - |2550 | 702 | 0 | 0 | 0 |4373 | 0 | 0.000000e+00 | -- | Inf
435.65/435.81 c 427s|740000 |737776 | 0 | 0.0 | 210M|2212 | - |2550 | 730 | 0 | 0 | 0 |4469 | 0 | 0.000000e+00 | -- | Inf
440.44/440.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
440.44/440.66 c 431s|750000 |747726 | 0 | 0.0 | 213M|2212 | - |2550 | 727 | 0 | 0 | 0 |4541 | 0 | 0.000000e+00 | -- | Inf
445.25/445.44 c 436s|760000 |757682 | 0 | 0.0 | 216M|2212 | - |2550 | 787 | 0 | 0 | 0 |4653 | 0 | 0.000000e+00 | -- | Inf
449.75/449.95 c 440s|770000 |767646 | 0 | 0.0 | 219M|2212 | - |2550 | 818 | 0 | 0 | 0 |4750 | 0 | 0.000000e+00 | -- | Inf
454.44/454.62 c 445s|780000 |777605 | 0 | 0.0 | 222M|2212 | - |2550 | 799 | 0 | 0 | 0 |4835 | 0 | 0.000000e+00 | -- | Inf
458.84/459.08 c 449s|790000 |787566 | 0 | 0.0 | 224M|2212 | - |2550 | 824 | 0 | 0 | 0 |4916 | 0 | 0.000000e+00 | -- | Inf
463.34/463.56 c 454s|800000 |797529 | 0 | 0.0 | 227M|2212 | - |2550 | 889 | 0 | 0 | 0 |5058 | 0 | 0.000000e+00 | -- | Inf
467.93/468.18 c 458s|810000 |807473 | 0 | 0.0 | 230M|2212 | - |2550 | 923 | 0 | 0 | 0 |5192 | 0 | 0.000000e+00 | -- | Inf
472.53/472.73 c 463s|820000 |817415 | 0 | 0.0 | 233M|2212 | - |2550 | 987 | 0 | 0 | 0 |5345 | 0 | 0.000000e+00 | -- | Inf
477.14/477.33 c 467s|830000 |827357 | 0 | 0.0 | 236M|2212 | - |2550 |1028 | 0 | 0 | 0 |5482 | 0 | 0.000000e+00 | -- | Inf
481.54/481.72 c 471s|840000 |837313 | 0 | 0.0 | 239M|2212 | - |2550 |1057 | 0 | 0 | 0 |5597 | 0 | 0.000000e+00 | -- | Inf
485.73/485.91 c 475s|850000 |847280 | 0 | 0.0 | 242M|2212 | - |2550 |1076 | 0 | 0 | 0 |5687 | 0 | 0.000000e+00 | -- | Inf
489.83/490.09 c 480s|860000 |857240 | 0 | 0.0 | 245M|2212 | - |2550 |1087 | 0 | 0 | 0 |5768 | 0 | 0.000000e+00 | -- | Inf
494.02/494.28 c 484s|870000 |867197 | 0 | 0.0 | 248M|2212 | - |2550 |1180 | 0 | 0 | 0 |5929 | 0 | 0.000000e+00 | -- | Inf
498.42/498.61 c 488s|880000 |877143 | 0 | 0.0 | 250M|2212 | - |2550 |1183 | 0 | 0 | 0 |6047 | 0 | 0.000000e+00 | -- | Inf
502.53/502.78 c 492s|890000 |887105 | 0 | 0.0 | 253M|2212 | - |2550 |1269 | 0 | 0 | 0 |6206 | 0 | 0.000000e+00 | -- | Inf
506.72/506.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
506.72/506.97 c 496s|900000 |897061 | 0 | 0.0 | 256M|2212 | - |2550 |1347 | 0 | 0 | 0 |6370 | 0 | 0.000000e+00 | -- | Inf
510.82/511.05 c 500s|910000 |907019 | 0 | 0.0 | 259M|2212 | - |2550 |1360 | 0 | 0 | 0 |6485 | 0 | 0.000000e+00 | -- | Inf
514.92/515.13 c 504s|920000 |916965 | 0 | 0.0 | 262M|2212 | - |2550 |1445 | 0 | 0 | 0 |6669 | 0 | 0.000000e+00 | -- | Inf
519.03/519.23 c 508s|930000 |926909 | 0 | 0.0 | 265M|2212 | - |2550 |1460 | 0 | 0 | 0 |6801 | 0 | 0.000000e+00 | -- | Inf
523.02/523.28 c 512s|940000 |936840 | 0 | 0.0 | 268M|2212 | - |2550 |1564 | 0 | 0 | 0 |7029 | 0 | 0.000000e+00 | -- | Inf
527.02/527.28 c 516s|950000 |946780 | 0 | 0.0 | 271M|2212 | - |2550 |1565 | 0 | 0 | 0 |7175 | 0 | 0.000000e+00 | -- | Inf
530.92/531.19 c 519s|960000 |956729 | 0 | 0.0 | 274M|2212 | - |2550 |1581 | 0 | 0 | 0 |7276 | 0 | 0.000000e+00 | -- | Inf
534.81/535.05 c 523s|970000 |966668 | 0 | 0.0 | 277M|2212 | - |2550 |1696 | 0 | 0 | 0 |7443 | 0 | 0.000000e+00 | -- | Inf
538.52/538.77 c 527s|980000 |976606 | 0 | 0.0 | 280M|2212 | - |2550 |1760 | 0 | 0 | 0 |7619 | 0 | 0.000000e+00 | -- | Inf
542.21/542.49 c 530s|990000 |986549 | 0 | 0.0 | 283M|2212 | - |2550 |1770 | 0 | 0 | 0 |7744 | 0 | 0.000000e+00 | -- | Inf
545.81/546.05 c 534s| 1000k|996495 | 0 | 0.0 | 286M|2212 | - |2550 |1874 | 0 | 0 | 0 |7916 | 0 | 0.000000e+00 | -- | Inf
549.31/549.52 c 537s| 1010k| 1006k| 0 | 0.0 | 289M|2212 | - |2550 |1912 | 0 | 0 | 0 |8047 | 0 | 0.000000e+00 | -- | Inf
552.81/553.06 c 540s| 1020k| 1016k| 0 | 0.0 | 292M|2212 | - |2550 |2038 | 0 | 0 | 0 |8257 | 0 | 0.000000e+00 | -- | Inf
556.11/556.38 c 544s| 1030k| 1026k| 0 | 0.0 | 295M|2212 | - |2550 |2171 | 0 | 0 | 0 |8511 | 0 | 0.000000e+00 | -- | Inf
559.41/559.66 c 547s| 1040k| 1036k| 0 | 0.0 | 298M|2212 | - |2550 |2306 | 0 | 0 | 0 |8748 | 0 | 0.000000e+00 | -- | Inf
562.70/562.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
562.70/562.91 c 550s| 1050k| 1046k| 0 | 0.0 | 301M|2212 | - |2550 |2444 | 0 | 0 | 0 |9003 | 0 | 0.000000e+00 | -- | Inf
566.11/566.30 c 553s| 1060k| 1056k| 0 | 0.0 | 304M|2212 | - |2550 |2574 | 0 | 0 | 0 |9271 | 0 | 0.000000e+00 | -- | Inf
569.20/569.46 c 556s| 1070k| 1066k| 0 | 0.0 | 307M|2212 | - |2550 |2744 | 0 | 0 | 0 |9495 | 0 | 0.000000e+00 | -- | Inf
572.40/572.64 c 559s| 1080k| 1075k| 0 | 0.0 | 311M|2212 | - |2550 |2942 | 0 | 0 | 0 |9806 | 0 | 0.000000e+00 | -- | Inf
575.50/575.70 c 562s| 1090k| 1085k| 0 | 0.0 | 314M|2212 | - |2550 |3134 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
578.60/578.82 c 565s| 1100k| 1095k| 0 | 0.0 | 317M|2212 | - |2550 |3290 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
581.61/581.89 c 568s| 1110k| 1105k| 0 | 0.0 | 320M|2212 | - |2550 |3463 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
584.60/584.81 c 571s| 1120k| 1115k| 0 | 0.0 | 324M|2212 | - |2550 |3653 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
587.39/587.60 c 574s| 1130k| 1125k| 0 | 0.0 | 327M|2212 | - |2550 |3849 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
590.30/590.52 c 576s| 1140k| 1135k| 0 | 0.0 | 330M|2212 | - |2550 |4093 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
593.30/593.57 c 579s| 1150k| 1145k| 0 | 0.0 | 334M|2212 | - |2550 |4297 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
596.19/596.47 c 582s| 1160k| 1155k| 0 | 0.0 | 337M|2212 | - |2550 |4551 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
598.99/599.27 c 585s| 1170k| 1165k| 0 | 0.0 | 341M|2212 | - |2550 |4897 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
601.79/602.03 c 587s| 1180k| 1175k| 0 | 0.0 | 344M|2212 | - |2550 |5118 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
604.49/604.76 c 590s| 1190k| 1184k| 0 | 0.0 | 348M|2212 | - |2550 |5532 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
607.19/607.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
607.19/607.44 c 593s| 1200k| 1194k| 0 | 0.0 | 352M|2212 | - |2550 |5814 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
609.79/610.02 c 595s| 1210k| 1204k| 0 | 0.0 | 356M|2212 | - |2550 |6154 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
612.40/612.62 c 598s| 1220k| 1214k| 0 | 0.0 | 359M|2212 | - |2550 |6538 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
614.98/615.25 c 600s| 1230k| 1224k| 0 | 0.0 | 364M|2212 | - |2550 |6995 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
617.78/618.04 c 603s| 1240k| 1234k| 0 | 0.0 | 368M|2212 | - |2550 |7531 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
620.69/620.92 c 606s| 1250k| 1244k| 0 | 0.0 | 372M|2212 | - |2550 |8047 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
623.49/623.77 c 608s| 1260k| 1253k| 0 | 0.0 | 377M|2212 | - |2550 |8813 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
626.58/626.88 c 611s| 1270k| 1263k| 0 | 0.0 | 382M|2212 | - |2550 |9599 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
630.28/630.58 c 615s| 1280k| 1272k| 0 | 0.0 | 388M|2212 | - |2550 | 11k| 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
637.28/637.58 c 622s| 1290k| 1282k| 0 | 0.0 | 392M|2212 | - |2550 | 11k| 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
643.38/643.67 c 628s| 1300k| 1292k| 0 | 0.0 | 380M|2212 | - |2550 |2649 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
649.48/649.73 c 634s| 1310k| 1302k| 0 | 0.0 | 381M|2212 | - |2550 | 497 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
655.47/655.74 c 639s| 1320k| 1312k| 0 | 0.0 | 383M|2212 | - |2550 | 193 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
661.47/661.75 c 645s| 1330k| 1322k| 0 | 0.0 | 386M|2212 | - |2550 | 233 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
667.48/667.78 c 651s| 1340k| 1332k| 0 | 0.0 | 389M|2212 | - |2550 | 197 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
673.77/674.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
673.77/674.02 c 657s| 1350k| 1342k| 0 | 0.0 | 392M|2212 | - |2550 | 176 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
680.37/680.64 c 664s| 1360k| 1352k| 0 | 0.0 | 394M|2212 | - |2550 | 200 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
686.86/687.18 c 670s| 1370k| 1362k| 0 | 0.0 | 397M|2212 | - |2550 | 188 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
693.26/693.53 c 676s| 1380k| 1372k| 0 | 0.0 | 400M|2212 | - |2550 | 178 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
699.56/699.87 c 683s| 1390k| 1382k| 0 | 0.0 | 403M|2212 | - |2550 | 187 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
706.16/706.41 c 689s| 1400k| 1392k| 0 | 0.0 | 405M|2212 | - |2550 | 190 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
712.56/712.85 c 695s| 1410k| 1402k| 0 | 0.0 | 408M|2212 | - |2550 | 165 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
718.85/719.16 c 702s| 1420k| 1412k| 0 | 0.0 | 411M|2212 | - |2550 | 181 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
725.35/725.65 c 708s| 1430k| 1422k| 0 | 0.0 | 414M|2212 | - |2550 | 155 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
731.85/732.15 c 714s| 1440k| 1432k| 0 | 0.0 | 417M|2212 | - |2550 | 193 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
738.24/738.55 c 721s| 1450k| 1442k| 0 | 0.0 | 419M|2212 | - |2550 | 180 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
744.65/744.97 c 727s| 1460k| 1452k| 0 | 0.0 | 422M|2212 | - |2550 | 172 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
751.15/751.46 c 733s| 1470k| 1461k| 0 | 0.0 | 425M|2212 | - |2550 | 170 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
757.55/757.90 c 740s| 1480k| 1471k| 0 | 0.0 | 428M|2212 | - |2550 | 156 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
764.03/764.33 c 746s| 1490k| 1481k| 0 | 0.0 | 430M|2212 | - |2550 | 169 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
770.54/770.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
770.54/770.83 c 752s| 1500k| 1491k| 0 | 0.0 | 433M|2212 | - |2550 | 166 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
776.83/777.19 c 758s| 1510k| 1501k| 0 | 0.0 | 436M|2212 | - |2550 | 170 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
783.33/783.66 c 765s| 1520k| 1511k| 0 | 0.0 | 439M|2212 | - |2550 | 155 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
789.63/789.99 c 771s| 1530k| 1521k| 0 | 0.0 | 441M|2212 | - |2550 | 168 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
796.13/796.46 c 777s| 1540k| 1531k| 0 | 0.0 | 444M|2212 | - |2550 | 170 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
802.63/802.94 c 784s| 1550k| 1541k| 0 | 0.0 | 447M|2212 | - |2550 | 173 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
808.92/809.23 c 790s| 1560k| 1551k| 0 | 0.0 | 450M|2212 | - |2550 | 154 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
815.32/815.67 c 796s| 1570k| 1561k| 0 | 0.0 | 452M|2212 | - |2550 | 147 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
821.62/821.95 c 802s| 1580k| 1571k| 0 | 0.0 | 455M|2212 | - |2550 | 200 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
828.12/828.41 c 809s| 1590k| 1581k| 0 | 0.0 | 458M|2212 | - |2550 | 165 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
834.53/834.87 c 815s| 1600k| 1591k| 0 | 0.0 | 460M|2212 | - |2550 | 155 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
840.81/841.16 c 821s| 1610k| 1601k| 0 | 0.0 | 463M|2212 | - |2550 | 160 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
847.21/847.54 c 827s| 1620k| 1611k| 0 | 0.0 | 466M|2212 | - |2550 | 167 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
853.51/853.84 c 834s| 1630k| 1621k| 0 | 0.0 | 469M|2212 | - |2550 | 147 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
860.00/860.37 c 840s| 1640k| 1631k| 0 | 0.0 | 471M|2212 | - |2550 | 138 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
866.41/866.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
866.41/866.76 c 846s| 1650k| 1641k| 0 | 0.0 | 474M|2212 | - |2550 | 134 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
872.80/873.16 c 853s| 1660k| 1651k| 0 | 0.0 | 477M|2212 | - |2550 | 147 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
879.10/879.42 c 859s| 1670k| 1661k| 0 | 0.0 | 479M|2212 | - |2550 | 150 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
885.50/885.85 c 865s| 1680k| 1671k| 0 | 0.0 | 482M|2212 | - |2550 | 149 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
891.99/892.36 c 871s| 1690k| 1681k| 0 | 0.0 | 485M|2212 | - |2550 | 154 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
898.49/898.82 c 878s| 1700k| 1691k| 0 | 0.0 | 488M|2212 | - |2550 | 137 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
904.79/905.14 c 884s| 1710k| 1701k| 0 | 0.0 | 490M|2212 | - |2550 | 173 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
911.09/911.40 c 890s| 1720k| 1711k| 0 | 0.0 | 493M|2212 | - |2550 | 176 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
917.39/917.78 c 896s| 1730k| 1721k| 0 | 0.0 | 496M|2212 | - |2550 | 156 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
923.69/924.04 c 903s| 1740k| 1731k| 0 | 0.0 | 499M|2212 | - |2550 | 161 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
930.08/930.47 c 909s| 1750k| 1741k| 0 | 0.0 | 501M|2212 | - |2550 | 162 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
936.58/936.92 c 915s| 1760k| 1751k| 0 | 0.0 | 504M|2212 | - |2550 | 139 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
942.98/943.32 c 921s| 1770k| 1761k| 0 | 0.0 | 507M|2212 | - |2550 | 144 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
949.17/949.52 c 928s| 1780k| 1771k| 0 | 0.0 | 509M|2212 | - |2550 | 151 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
955.48/955.86 c 934s| 1790k| 1781k| 0 | 0.0 | 512M|2212 | - |2550 | 165 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
961.87/962.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
961.87/962.20 c 940s| 1800k| 1791k| 0 | 0.0 | 515M|2212 | - |2550 | 133 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
968.27/968.65 c 946s| 1810k| 1801k| 0 | 0.0 | 518M|2212 | - |2550 | 137 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
974.37/974.79 c 952s| 1820k| 1811k| 0 | 0.0 | 520M|2212 | - |2550 | 167 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
980.87/981.22 c 959s| 1830k| 1821k| 0 | 0.0 | 523M|2212 | - |2550 | 185 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
987.17/987.51 c 965s| 1840k| 1830k| 0 | 0.0 | 526M|2212 | - |2550 | 178 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
993.36/993.71 c 971s| 1850k| 1840k| 0 | 0.0 | 529M|2212 | - |2550 | 174 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
999.66/1000.03 c 977s| 1860k| 1850k| 0 | 0.0 | 531M|2212 | - |2550 | 155 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1005.86/1006.24 c 983s| 1870k| 1860k| 0 | 0.0 | 534M|2212 | - |2550 | 152 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1012.25/1012.60 c 989s| 1880k| 1870k| 0 | 0.0 | 537M|2212 | - |2550 | 182 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1018.36/1018.77 c 995s| 1890k| 1880k| 0 | 0.0 | 540M|2212 | - |2550 | 189 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1024.96/1025.35 c 1002s| 1900k| 1890k| 0 | 0.0 | 542M|2212 | - |2550 | 176 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1031.15/1031.56 c 1008s| 1910k| 1900k| 0 | 0.0 | 545M|2212 | - |2550 | 183 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1037.54/1037.91 c 1014s| 1920k| 1910k| 0 | 0.0 | 548M|2212 | - |2550 | 164 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1043.75/1044.16 c 1020s| 1930k| 1920k| 0 | 0.0 | 550M|2212 | - |2550 | 180 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1050.15/1050.54 c 1027s| 1940k| 1930k| 0 | 0.0 | 553M|2212 | - |2550 | 157 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1056.34/1056.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1056.34/1056.78 c 1033s| 1950k| 1940k| 0 | 0.0 | 556M|2212 | - |2550 | 149 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1062.54/1062.91 c 1039s| 1960k| 1950k| 0 | 0.0 | 559M|2212 | - |2550 | 183 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1068.75/1069.13 c 1045s| 1970k| 1960k| 0 | 0.0 | 561M|2212 | - |2550 | 172 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1074.93/1075.36 c 1051s| 1980k| 1970k| 0 | 0.0 | 564M|2212 | - |2550 | 146 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1081.04/1081.43 c 1057s| 1990k| 1980k| 0 | 0.0 | 567M|2212 | - |2550 | 160 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1087.34/1087.73 c 1063s| 2000k| 1990k| 0 | 0.0 | 569M|2212 | - |2550 | 177 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1093.63/1094.04 c 1069s| 2010k| 2000k| 0 | 0.0 | 572M|2212 | - |2550 | 205 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1099.63/1100.06 c 1075s| 2020k| 2010k| 0 | 0.0 | 575M|2212 | - |2550 | 184 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1106.03/1106.42 c 1081s| 2030k| 2020k| 0 | 0.0 | 578M|2212 | - |2550 | 170 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1112.12/1112.51 c 1087s| 2040k| 2030k| 0 | 0.0 | 580M|2212 | - |2550 | 186 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1118.42/1118.87 c 1094s| 2050k| 2040k| 0 | 0.0 | 583M|2212 | - |2550 | 210 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1124.62/1125.04 c 1100s| 2060k| 2050k| 0 | 0.0 | 586M|2212 | - |2550 | 176 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1130.71/1131.15 c 1106s| 2070k| 2060k| 0 | 0.0 | 589M|2212 | - |2550 | 175 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1137.11/1137.56 c 1112s| 2080k| 2070k| 0 | 0.0 | 591M|2212 | - |2550 | 180 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1143.52/1143.90 c 1118s| 2090k| 2080k| 0 | 0.0 | 594M|2212 | - |2550 | 156 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1149.91/1150.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1149.91/1150.34 c 1124s| 2100k| 2090k| 0 | 0.0 | 597M|2212 | - |2550 | 155 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1156.11/1156.59 c 1131s| 2110k| 2100k| 0 | 0.0 | 600M|2212 | - |2550 | 181 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1162.41/1162.80 c 1137s| 2120k| 2110k| 0 | 0.0 | 602M|2212 | - |2550 | 169 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1168.50/1168.99 c 1143s| 2130k| 2120k| 0 | 0.0 | 605M|2212 | - |2550 | 180 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1174.90/1175.30 c 1149s| 2140k| 2130k| 0 | 0.0 | 608M|2212 | - |2550 | 167 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1181.30/1181.71 c 1155s| 2150k| 2140k| 0 | 0.0 | 611M|2212 | - |2550 | 152 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1187.51/1187.97 c 1161s| 2160k| 2150k| 0 | 0.0 | 613M|2212 | - |2550 | 161 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1193.80/1194.23 c 1167s| 2170k| 2160k| 0 | 0.0 | 616M|2212 | - |2550 | 169 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1200.09/1200.54 c 1174s| 2180k| 2170k| 0 | 0.0 | 619M|2212 | - |2550 | 145 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1206.30/1206.73 c 1180s| 2190k| 2180k| 0 | 0.0 | 622M|2212 | - |2550 | 168 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1212.49/1212.91 c 1186s| 2200k| 2190k| 0 | 0.0 | 624M|2212 | - |2550 | 151 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1218.79/1219.25 c 1192s| 2210k| 2199k| 0 | 0.0 | 627M|2212 | - |2550 | 186 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1225.08/1225.56 c 1198s| 2220k| 2209k| 0 | 0.0 | 630M|2212 | - |2550 | 144 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1231.28/1231.77 c 1204s| 2230k| 2219k| 0 | 0.0 | 633M|2212 | - |2550 | 165 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1237.78/1238.26 c 1211s| 2240k| 2229k| 0 | 0.0 | 635M|2212 | - |2550 | 170 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1244.17/1244.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1244.17/1244.65 c 1217s| 2250k| 2239k| 0 | 0.0 | 638M|2212 | - |2550 | 152 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1250.58/1251.04 c 1223s| 2260k| 2249k| 0 | 0.0 | 641M|2212 | - |2550 | 160 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1256.78/1257.21 c 1229s| 2270k| 2259k| 0 | 0.0 | 644M|2212 | - |2550 | 194 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1263.17/1263.60 c 1235s| 2280k| 2269k| 0 | 0.0 | 647M|2212 | - |2550 | 197 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1269.47/1269.97 c 1242s| 2290k| 2279k| 0 | 0.0 | 649M|2212 | - |2550 | 177 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1275.87/1276.30 c 1248s| 2300k| 2289k| 0 | 0.0 | 652M|2212 | - |2550 | 141 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1282.07/1282.53 c 1254s| 2310k| 2299k| 0 | 0.0 | 655M|2212 | - |2550 | 149 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1288.16/1288.64 c 1260s| 2320k| 2309k| 0 | 0.0 | 658M|2212 | - |2550 | 157 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1294.47/1294.91 c 1266s| 2330k| 2319k| 0 | 0.0 | 660M|2212 | - |2550 | 174 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1300.56/1301.04 c 1272s| 2340k| 2329k| 0 | 0.0 | 663M|2212 | - |2550 | 162 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1306.86/1307.34 c 1278s| 2350k| 2339k| 0 | 0.0 | 666M|2212 | - |2550 | 184 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1313.25/1313.75 c 1285s| 2360k| 2349k| 0 | 0.0 | 669M|2212 | - |2550 | 188 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1319.56/1320.04 c 1291s| 2370k| 2359k| 0 | 0.0 | 671M|2212 | - |2550 | 192 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1325.85/1326.32 c 1297s| 2380k| 2369k| 0 | 0.0 | 674M|2212 | - |2550 | 178 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1332.35/1332.81 c 1303s| 2390k| 2379k| 0 | 0.0 | 677M|2212 | - |2550 | 151 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1338.45/1338.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1338.45/1338.91 c 1309s| 2400k| 2389k| 0 | 0.0 | 679M|2212 | - |2550 | 174 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1344.75/1345.20 c 1316s| 2410k| 2399k| 0 | 0.0 | 682M|2212 | - |2550 | 165 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1350.95/1351.40 c 1322s| 2420k| 2409k| 0 | 0.0 | 685M|2212 | - |2550 | 163 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1357.14/1357.67 c 1328s| 2430k| 2419k| 0 | 0.0 | 688M|2212 | - |2550 | 149 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1363.44/1363.94 c 1334s| 2440k| 2429k| 0 | 0.0 | 690M|2212 | - |2550 | 164 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1369.44/1369.99 c 1340s| 2450k| 2439k| 0 | 0.0 | 693M|2212 | - |2550 | 166 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1375.83/1376.30 c 1346s| 2460k| 2449k| 0 | 0.0 | 696M|2212 | - |2550 | 152 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1381.93/1382.43 c 1352s| 2470k| 2459k| 0 | 0.0 | 699M|2212 | - |2550 | 140 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1388.23/1388.72 c 1358s| 2480k| 2469k| 0 | 0.0 | 701M|2212 | - |2550 | 134 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1394.43/1394.94 c 1364s| 2490k| 2479k| 0 | 0.0 | 704M|2212 | - |2550 | 163 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1400.53/1401.01 c 1370s| 2500k| 2489k| 0 | 0.0 | 707M|2212 | - |2550 | 164 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1407.02/1407.51 c 1377s| 2510k| 2499k| 0 | 0.0 | 710M|2212 | - |2550 | 167 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1413.22/1413.75 c 1383s| 2520k| 2509k| 0 | 0.0 | 712M|2212 | - |2550 | 176 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1419.53/1420.05 c 1389s| 2530k| 2519k| 0 | 0.0 | 715M|2212 | - |2550 | 193 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1425.82/1426.34 c 1395s| 2540k| 2529k| 0 | 0.0 | 718M|2212 | - |2550 | 181 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1432.02/1432.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1432.02/1432.52 c 1401s| 2550k| 2539k| 0 | 0.0 | 721M|2212 | - |2550 | 188 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1438.40/1438.96 c 1408s| 2560k| 2548k| 0 | 0.0 | 723M|2212 | - |2550 | 200 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1444.69/1445.26 c 1414s| 2570k| 2558k| 0 | 0.0 | 726M|2212 | - |2550 | 188 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1451.30/1451.80 c 1420s| 2580k| 2568k| 0 | 0.0 | 729M|2212 | - |2550 | 181 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1457.40/1457.91 c 1426s| 2590k| 2578k| 0 | 0.0 | 732M|2212 | - |2550 | 152 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1463.79/1464.34 c 1432s| 2600k| 2588k| 0 | 0.0 | 734M|2212 | - |2550 | 155 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1470.19/1470.76 c 1439s| 2610k| 2598k| 0 | 0.0 | 737M|2212 | - |2550 | 144 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1476.29/1476.81 c 1445s| 2620k| 2608k| 0 | 0.0 | 740M|2212 | - |2550 | 181 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1482.68/1483.20 c 1451s| 2630k| 2618k| 0 | 0.0 | 743M|2212 | - |2550 | 183 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1488.89/1489.44 c 1457s| 2640k| 2628k| 0 | 0.0 | 745M|2212 | - |2550 | 180 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1495.27/1495.89 c 1463s| 2650k| 2638k| 0 | 0.0 | 748M|2212 | - |2550 | 168 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1501.48/1502.02 c 1469s| 2660k| 2648k| 0 | 0.0 | 751M|2212 | - |2550 | 148 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1507.78/1508.37 c 1476s| 2670k| 2658k| 0 | 0.0 | 753M|2212 | - |2550 | 155 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1513.87/1514.49 c 1482s| 2680k| 2668k| 0 | 0.0 | 756M|2212 | - |2550 | 174 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1520.17/1520.77 c 1488s| 2690k| 2678k| 0 | 0.0 | 759M|2212 | - |2550 | 180 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1526.47/1527.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1526.47/1527.06 c 1494s| 2700k| 2688k| 0 | 0.0 | 762M|2212 | - |2550 | 178 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1532.77/1533.35 c 1500s| 2710k| 2698k| 0 | 0.0 | 764M|2212 | - |2550 | 171 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1538.97/1539.53 c 1506s| 2720k| 2708k| 0 | 0.0 | 767M|2212 | - |2550 | 184 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1545.26/1545.82 c 1512s| 2730k| 2718k| 0 | 0.0 | 770M|2212 | - |2550 | 192 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1551.57/1552.17 c 1519s| 2740k| 2728k| 0 | 0.0 | 773M|2212 | - |2550 | 203 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1557.86/1558.41 c 1525s| 2750k| 2738k| 0 | 0.0 | 775M|2212 | - |2550 | 195 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1564.16/1564.72 c 1531s| 2760k| 2748k| 0 | 0.0 | 778M|2212 | - |2550 | 163 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1570.35/1570.92 c 1537s| 2770k| 2758k| 0 | 0.0 | 781M|2212 | - |2550 | 170 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1576.65/1577.21 c 1543s| 2780k| 2768k| 0 | 0.0 | 784M|2212 | - |2550 | 157 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1582.85/1583.48 c 1549s| 2790k| 2778k| 0 | 0.0 | 786M|2212 | - |2550 | 177 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1589.25/1589.86 c 1555s| 2800k| 2788k| 0 | 0.0 | 789M|2212 | - |2550 | 243 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1595.45/1596.03 c 1562s| 2810k| 2798k| 0 | 0.0 | 792M|2212 | - |2550 | 210 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1601.74/1602.35 c 1568s| 2820k| 2808k| 0 | 0.0 | 795M|2212 | - |2550 | 164 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1607.94/1608.58 c 1574s| 2830k| 2818k| 0 | 0.0 | 797M|2212 | - |2550 | 195 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1614.44/1615.00 c 1580s| 2840k| 2828k| 0 | 0.0 | 800M|2212 | - |2550 | 188 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1620.53/1621.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1620.53/1621.16 c 1586s| 2850k| 2838k| 0 | 0.0 | 803M|2212 | - |2550 | 180 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1627.04/1627.63 c 1592s| 2860k| 2848k| 0 | 0.0 | 806M|2212 | - |2550 | 162 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1633.13/1633.77 c 1599s| 2870k| 2858k| 0 | 0.0 | 808M|2212 | - |2550 | 195 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1639.44/1640.02 c 1605s| 2880k| 2868k| 0 | 0.0 | 811M|2212 | - |2550 | 177 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1645.63/1646.22 c 1611s| 2890k| 2878k| 0 | 0.0 | 814M|2212 | - |2550 | 194 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1651.93/1652.51 c 1617s| 2900k| 2888k| 0 | 0.0 | 817M|2212 | - |2550 | 195 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1658.23/1658.83 c 1623s| 2910k| 2898k| 0 | 0.0 | 819M|2212 | - |2550 | 195 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1664.42/1665.08 c 1629s| 2920k| 2907k| 0 | 0.0 | 822M|2212 | - |2550 | 210 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1670.72/1671.34 c 1635s| 2930k| 2917k| 0 | 0.0 | 825M|2212 | - |2550 | 180 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1676.93/1677.53 c 1641s| 2940k| 2927k| 0 | 0.0 | 827M|2212 | - |2550 | 171 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1683.12/1683.75 c 1648s| 2950k| 2937k| 0 | 0.0 | 830M|2212 | - |2550 | 169 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1689.31/1689.98 c 1654s| 2960k| 2947k| 0 | 0.0 | 833M|2212 | - |2550 | 150 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1695.52/1696.18 c 1660s| 2970k| 2957k| 0 | 0.0 | 836M|2212 | - |2550 | 162 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1701.71/1702.37 c 1666s| 2980k| 2967k| 0 | 0.0 | 838M|2212 | - |2550 | 150 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1707.91/1708.59 c 1672s| 2990k| 2977k| 0 | 0.0 | 841M|2212 | - |2550 | 177 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1714.22/1714.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1714.22/1714.88 c 1678s| 3000k| 2987k| 0 | 0.0 | 844M|2212 | - |2550 | 153 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1720.40/1721.05 c 1684s| 3010k| 2997k| 0 | 0.0 | 847M|2212 | - |2550 | 159 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1726.80/1727.48 c 1690s| 3020k| 3007k| 0 | 0.0 | 849M|2212 | - |2550 | 167 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1733.01/1733.61 c 1696s| 3030k| 3017k| 0 | 0.0 | 852M|2212 | - |2550 | 166 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1739.29/1739.95 c 1703s| 3040k| 3027k| 0 | 0.0 | 855M|2212 | - |2550 | 162 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1745.49/1746.18 c 1709s| 3050k| 3037k| 0 | 0.0 | 858M|2212 | - |2550 | 155 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1751.80/1752.41 c 1715s| 3060k| 3047k| 0 | 0.0 | 860M|2212 | - |2550 | 177 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1758.20/1758.89 c 1721s| 3070k| 3057k| 0 | 0.0 | 863M|2212 | - |2550 | 139 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1764.49/1765.10 c 1727s| 3080k| 3067k| 0 | 0.0 | 866M|2212 | - |2550 | 145 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1770.79/1771.40 c 1733s| 3090k| 3077k| 0 | 0.0 | 869M|2212 | - |2550 | 162 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1777.00/1777.66 c 1740s| 3100k| 3087k| 0 | 0.0 | 871M|2212 | - |2550 | 163 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1783.28/1783.90 c 1746s| 3110k| 3097k| 0 | 0.0 | 874M|2212 | - |2550 | 151 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1789.48/1790.11 c 1752s| 3120k| 3107k| 0 | 0.0 | 877M|2212 | - |2550 | 178 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1795.58/1796.26 c 1758s| 3130k| 3117k| 0 | 0.0 | 879M|2212 | - |2550 | 162 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1800.09/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.71 c
1800.09/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.71 c Solving Time (sec) : 1762.15
1800.09/1800.71 c Solving Nodes : 3136997
1800.09/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.09/1800.71 c Dual Bound : +0.00000000000000e+00
1800.09/1800.71 c Gap : infinite
1800.09/1800.71 s UNKNOWN
1800.09/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.71 c Solving Time : 1762.15
1800.09/1800.71 c Original Problem :
1800.09/1800.71 c Problem name : HOME/instance-2664740-1276580222.opb
1800.09/1800.71 c Variables : 2550 (2550 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.71 c Constraints : 101 initial, 101 maximal
1800.09/1800.71 c Presolved Problem :
1800.09/1800.71 c Problem name : t_HOME/instance-2664740-1276580222.opb
1800.09/1800.71 c Variables : 2550 (2550 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.71 c Constraints : 101 initial, 12025 maximal
1800.09/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.71 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.09/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.71 c probing : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.71 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.71 c root node : - 0 - - 0 - - - -
1800.09/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.71 c integral : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.71 c setppc : 50 0 3330057 0 3132243 6556 1338887 0 0 0
1800.09/1800.71 c logicor : 51+ 0 490048 0 3132243 1173 130503 0 0 0
1800.09/1800.71 c countsols : 0 0 0 0 3132243 0 0 0 0 0
1800.09/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.71 c integral : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.71 c setppc : 407.08 0.00 77.24 0.00 329.84
1800.09/1800.71 c logicor : 190.22 0.00 16.16 0.00 174.06
1800.09/1800.71 c countsols : 1.74 0.00 0.00 0.00 1.74
1800.09/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.71 c vbounds : 1.76 1 0 0
1800.09/1800.71 c rootredcost : 1.75 0 0 0
1800.09/1800.71 c pseudoobj : 1.93 0 0 0
1800.09/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.71 c propagation : 77.59 7729 7729 252392 379.7 62 171.4 -
1800.09/1800.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.09/1800.71 c applied globally : - - - 34046 164.5 - - -
1800.09/1800.71 c applied locally : - - - 1299 348.9 - - -
1800.09/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.71 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.09/1800.71 c redcost : 0.00 0 0 0 0 0
1800.09/1800.71 c impliedbounds : 0.00 0 0 0 0 0
1800.09/1800.71 c intobj : 0.00 0 0 0 0 0
1800.09/1800.71 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.71 c gomory : 0.00 0 0 0 0 0
1800.09/1800.71 c strongcg : 0.00 0 0 0 0 0
1800.09/1800.71 c cmir : 0.00 0 0 0 0 0
1800.09/1800.71 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.71 c clique : 0.00 0 0 0 0 0
1800.09/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.71 c mcf : 0.00 0 0 0 0 0
1800.09/1800.71 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.71 c Pricers : Time Calls Vars
1800.09/1800.71 c problem variables: 0.00 0 0
1800.09/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.71 c relpscost : 0.00 0 0 0 0 0 0
1800.09/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.71 c inference : 1048.65 3132243 0 0 0 0 6264486
1800.09/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.71 c random : 0.00 0 0 0 0 0 0
1800.09/1800.71 c Primal Heuristics : Time Calls Found
1800.09/1800.71 c LP solutions : 0.00 - 0
1800.09/1800.71 c pseudo solutions : 0.00 - 0
1800.09/1800.71 c trivial : 0.00 1 0
1800.09/1800.71 c simplerounding : 0.00 0 0
1800.09/1800.71 c zirounding : 0.00 0 0
1800.09/1800.71 c rounding : 0.00 0 0
1800.09/1800.71 c shifting : 0.00 0 0
1800.09/1800.71 c intshifting : 0.00 0 0
1800.09/1800.71 c oneopt : 0.00 0 0
1800.09/1800.71 c twoopt : 0.00 0 0
1800.09/1800.71 c fixandinfer : 0.00 0 0
1800.09/1800.71 c feaspump : 0.00 0 0
1800.09/1800.71 c coefdiving : 0.00 0 0
1800.09/1800.71 c pscostdiving : 0.00 0 0
1800.09/1800.71 c fracdiving : 0.00 0 0
1800.09/1800.71 c veclendiving : 0.00 0 0
1800.09/1800.71 c intdiving : 0.00 0 0
1800.09/1800.71 c actconsdiving : 0.00 0 0
1800.09/1800.71 c objpscostdiving : 0.00 0 0
1800.09/1800.71 c rootsoldiving : 0.00 0 0
1800.09/1800.71 c linesearchdiving : 0.00 0 0
1800.09/1800.71 c guideddiving : 0.00 0 0
1800.09/1800.71 c octane : 0.00 0 0
1800.09/1800.71 c rens : 0.00 0 0
1800.09/1800.71 c rins : 0.00 0 0
1800.09/1800.71 c localbranching : 0.00 0 0
1800.09/1800.71 c mutation : 0.00 0 0
1800.09/1800.71 c crossover : 0.00 0 0
1800.09/1800.71 c dins : 0.00 0 0
1800.09/1800.71 c undercover : 0.00 0 0
1800.09/1800.71 c nlp : 0.00 0 0
1800.09/1800.71 c trysol : 0.00 0 0
1800.09/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.71 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.71 c dual LP : 0.00 0 0 0.00 -
1800.09/1800.71 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.71 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.71 c strong branching : 0.00 0 0 0.00 -
1800.09/1800.71 c (at root node) : - 0 0 0.00 -
1800.09/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.71 c B&B Tree :
1800.09/1800.71 c number of runs : 1
1800.09/1800.71 c nodes : 3136997
1800.09/1800.71 c nodes (total) : 3136997
1800.09/1800.71 c nodes left : 3124423
1800.09/1800.71 c max depth : 2212
1800.09/1800.71 c max depth (total): 2212
1800.09/1800.71 c backtracks : 3017 (0.1%)
1800.09/1800.71 c delayed cutoffs : 3067
1800.09/1800.71 c repropagations : 11638 (71822 domain reductions, 2975 cutoffs)
1800.09/1800.71 c avg switch length: 2.23
1800.09/1800.71 c switching time : 34.98
1800.09/1800.71 c Solution :
1800.09/1800.71 c Solutions found : 0 (0 improvements)
1800.09/1800.71 c Primal Bound : -
1800.09/1800.71 c Dual Bound : +0.00000000000000e+00
1800.09/1800.71 c Gap : infinite
1800.09/1800.71 c Root Dual Bound : +0.00000000000000e+00
1800.09/1800.71 c Root Iterations : 0