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-2664511-1276326411.opb>
0.00/0.02 c original problem has 1860 variables (1860 bin, 0 int, 0 impl, 0 cont) and 122 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.03 c presolving:
0.00/0.04 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 62 upgd conss, 0 impls, 60 clqs
0.00/0.05 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 122 upgd conss, 0 impls, 60 clqs
0.00/0.05 c presolving (3 rounds):
0.00/0.05 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 0 implications, 60 cliques
0.00/0.05 c presolved problem has 1860 variables (1860 bin, 0 int, 0 impl, 0 cont) and 122 constraints
0.00/0.05 c 60 constraints of type <setppc>
0.00/0.05 c 62 constraints of type <logicor>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.02
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 1.2.1.2
0.00/0.05 c
0.00/0.05 c # frequency for displaying node information lines
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05 c display/freq = 10000
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1799.99
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 1620
0.00/0.05 c
0.00/0.05 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c limits/solutions = 1
0.00/0.05 c
0.00/0.05 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05 c lp/solvefreq = -1
0.00/0.05 c
0.00/0.05 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.05 c separating/maxrounds = 1
0.00/0.05 c
0.00/0.05 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/maxroundsroot = 5
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.05 c constraints/knapsack/disaggregation = FALSE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c presolving/probing/maxrounds = 0
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/coefdiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.05 c heuristics/crossover/freq = -1
0.00/0.05 c
0.00/0.05 c # number of nodes added to the contingent of the total nodes
0.00/0.05 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.05 c heuristics/crossover/nodesofs = 750
0.00/0.05 c
0.00/0.05 c # number of nodes without incumbent change that heuristic should wait
0.00/0.05 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.05 c heuristics/crossover/nwaitingnodes = 100
0.00/0.05 c
0.00/0.05 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.05 c # [type: real, range: [0,1], default: 0.1]
0.00/0.05 c heuristics/crossover/nodesquot = 0.15
0.00/0.05 c
0.00/0.05 c # minimum percentage of integer variables that have to be fixed
0.00/0.05 c # [type: real, range: [0,1], default: 0.666]
0.00/0.05 c heuristics/crossover/minfixingrate = 0.5
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.05 c heuristics/feaspump/freq = -1
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/fracdiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/guideddiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/intshifting/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/linesearchdiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05 c heuristics/nlp/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.05 c heuristics/objpscostdiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.05 c # [type: real, range: [0,1], default: 0.01]
0.00/0.05 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05 c heuristics/oneopt/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/pscostdiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.05 c heuristics/rens/freq = -1
0.00/0.05 c
0.00/0.05 c # minimum percentage of integer variables that have to be fixable
0.00/0.05 c # [type: real, range: [0,1], default: 0.5]
0.00/0.05 c heuristics/rens/minfixingrate = 0.3
0.00/0.05 c
0.00/0.05 c # number of nodes added to the contingent of the total nodes
0.00/0.05 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.05 c heuristics/rens/nodesofs = 2000
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.05 c heuristics/rootsoldiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.05 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05 c heuristics/rounding/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/shifting/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05 c heuristics/simplerounding/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.05 c heuristics/trivial/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05 c heuristics/trysol/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/veclendiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05 c heuristics/zirounding/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.05 c separating/cmir/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.05 c separating/flowcover/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.06 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.06 c 0.0s| 1 | 2 | 0 | - |3312k| 0 | - |1860 | 122 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
4.40/4.41 c 4.3s| 10000 | 9939 | 0 | 0.0 |7141k|1130 | - |1860 | 328 | 0 | 0 | 0 | 316 | 0 | 0.000000e+00 | -- | Inf
8.89/8.96 c 8.7s| 20000 | 19876 | 0 | 0.0 |9865k|1130 | - |1860 | 219 | 0 | 0 | 0 | 432 | 0 | 0.000000e+00 | -- | Inf
13.49/13.55 c 13.2s| 30000 | 29803 | 0 | 0.0 | 12M|1130 | - |1860 | 230 | 0 | 0 | 0 | 553 | 0 | 0.000000e+00 | -- | Inf
17.99/18.06 c 17.6s| 40000 | 39728 | 0 | 0.0 | 15M|1130 | - |1860 | 302 | 0 | 0 | 0 | 772 | 0 | 0.000000e+00 | -- | Inf
22.48/22.51 c 21.9s| 50000 | 49631 | 0 | 0.0 | 18M|1130 | - |1860 | 355 | 0 | 0 | 0 | 984 | 0 | 0.000000e+00 | -- | Inf
26.78/26.89 c 26.1s| 60000 | 59547 | 0 | 0.0 | 21M|1130 | - |1860 | 409 | 0 | 0 | 0 |1221 | 0 | 0.000000e+00 | -- | Inf
31.18/31.22 c 30.4s| 70000 | 69451 | 0 | 0.0 | 24M|1130 | - |1860 | 470 | 0 | 0 | 0 |1624 | 0 | 0.000000e+00 | -- | Inf
35.37/35.45 c 34.4s| 80000 | 79352 | 0 | 0.0 | 27M|1130 | - |1860 | 579 | 0 | 0 | 0 |2035 | 0 | 0.000000e+00 | -- | Inf
39.58/39.63 c 38.5s| 90000 | 89264 | 0 | 0.0 | 30M|1130 | - |1860 | 591 | 0 | 0 | 0 |2408 | 0 | 0.000000e+00 | -- | Inf
43.67/43.75 c 42.5s|100000 | 99159 | 0 | 0.0 | 33M|1130 | - |1860 | 788 | 0 | 0 | 0 |2920 | 0 | 0.000000e+00 | -- | Inf
47.66/47.79 c 46.4s|110000 |109035 | 0 | 0.0 | 36M|1130 | - |1860 |1020 | 0 | 0 | 0 |3552 | 0 | 0.000000e+00 | -- | Inf
51.68/51.74 c 50.2s|120000 |118916 | 0 | 0.0 | 39M|1130 | - |1860 |1120 | 0 | 0 | 0 |4138 | 0 | 0.000000e+00 | -- | Inf
55.56/55.63 c 54.0s|130000 |128806 | 0 | 0.0 | 42M|1130 | - |1860 |1104 | 0 | 0 | 0 |4695 | 0 | 0.000000e+00 | -- | Inf
59.27/59.38 c 57.6s|140000 |138674 | 0 | 0.0 | 44M|1130 | - |1860 |1110 | 0 | 0 | 0 |5380 | 0 | 0.000000e+00 | -- | Inf
62.96/63.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.96/63.02 c 61.1s|150000 |148520 | 0 | 0.0 | 48M|1130 | - |1860 |1500 | 0 | 0 | 0 |6210 | 0 | 0.000000e+00 | -- | Inf
66.46/66.54 c 64.5s|160000 |158364 | 0 | 0.0 | 51M|1130 | - |1860 |1739 | 0 | 0 | 0 |7061 | 0 | 0.000000e+00 | -- | Inf
69.86/69.97 c 67.8s|170000 |168179 | 0 | 0.0 | 54M|1130 | - |1860 |1752 | 0 | 0 | 0 |7891 | 0 | 0.000000e+00 | -- | Inf
73.16/73.22 c 71.0s|180000 |177990 | 0 | 0.0 | 57M|1130 | - |1860 |1831 | 0 | 0 | 0 |8717 | 0 | 0.000000e+00 | -- | Inf
76.26/76.37 c 74.0s|190000 |187773 | 0 | 0.0 | 61M|1130 | - |1860 |2275 | 0 | 0 | 0 |9655 | 0 | 0.000000e+00 | -- | Inf
79.26/79.32 c 76.8s|200000 |197522 | 0 | 0.0 | 64M|1130 | - |1860 |2558 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
82.05/82.13 c 79.4s|210000 |207215 | 0 | 0.0 | 67M|1130 | - |1860 |2883 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
84.66/84.71 c 81.9s|220000 |216871 | 0 | 0.0 | 71M|1130 | - |1860 |3088 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
87.15/87.22 c 84.2s|230000 |226320 | 0 | 0.0 | 75M|1130 | - |1860 |3721 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
91.15/91.28 c 88.1s|240000 |235388 | 0 | 0.0 | 79M|1130 | - |1860 |3991 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
95.85/95.94 c 92.7s|250000 |245299 | 0 | 0.0 | 79M|1130 | - |1860 | 653 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
100.55/100.60 c 97.2s|260000 |255217 | 0 | 0.0 | 81M|1130 | - |1860 | 266 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
105.15/105.29 c 102s|270000 |265129 | 0 | 0.0 | 84M|1130 | - |1860 | 281 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
109.85/109.98 c 106s|280000 |275053 | 0 | 0.0 | 87M|1130 | - |1860 | 309 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
114.54/114.66 c 111s|290000 |284984 | 0 | 0.0 | 90M|1130 | - |1860 | 238 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
119.24/119.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
119.24/119.31 c 115s|300000 |294908 | 0 | 0.0 | 93M|1130 | - |1860 | 304 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
123.84/123.93 c 120s|310000 |304829 | 0 | 0.0 | 95M|1130 | - |1860 | 313 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
128.44/128.58 c 124s|320000 |314745 | 0 | 0.0 | 98M|1130 | - |1860 | 311 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
133.14/133.24 c 129s|330000 |324666 | 0 | 0.0 | 101M|1130 | - |1860 | 292 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
137.74/137.87 c 133s|340000 |334598 | 0 | 0.0 | 104M|1130 | - |1860 | 266 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
142.43/142.50 c 138s|350000 |344525 | 0 | 0.0 | 107M|1130 | - |1860 | 220 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
147.04/147.12 c 142s|360000 |354441 | 0 | 0.0 | 109M|1130 | - |1860 | 325 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
151.64/151.70 c 147s|370000 |364362 | 0 | 0.0 | 112M|1130 | - |1860 | 387 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
156.23/156.35 c 151s|380000 |374283 | 0 | 0.0 | 115M|1130 | - |1860 | 251 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
160.83/160.95 c 156s|390000 |384197 | 0 | 0.0 | 118M|1130 | - |1860 | 340 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
165.43/165.54 c 160s|400000 |394108 | 0 | 0.0 | 121M|1130 | - |1860 | 269 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
170.03/170.12 c 165s|410000 |404030 | 0 | 0.0 | 124M|1130 | - |1860 | 299 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
174.62/174.74 c 169s|420000 |413935 | 0 | 0.0 | 126M|1130 | - |1860 | 364 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
179.23/179.39 c 174s|430000 |423847 | 0 | 0.0 | 129M|1130 | - |1860 | 264 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
183.83/183.96 c 178s|440000 |433782 | 0 | 0.0 | 132M|1130 | - |1860 | 322 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
188.43/188.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
188.43/188.59 c 183s|450000 |443683 | 0 | 0.0 | 135M|1130 | - |1860 | 299 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
193.12/193.20 c 187s|460000 |453615 | 0 | 0.0 | 138M|1130 | - |1860 | 303 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
197.62/197.79 c 192s|470000 |463539 | 0 | 0.0 | 141M|1130 | - |1860 | 375 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
202.33/202.43 c 196s|480000 |473454 | 0 | 0.0 | 143M|1130 | - |1860 | 309 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
206.91/207.07 c 201s|490000 |483378 | 0 | 0.0 | 146M|1130 | - |1860 | 308 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
211.51/211.68 c 205s|500000 |493303 | 0 | 0.0 | 149M|1130 | - |1860 | 327 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
216.11/216.26 c 210s|510000 |503241 | 0 | 0.0 | 152M|1130 | - |1860 | 322 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
220.71/220.85 c 214s|520000 |513168 | 0 | 0.0 | 155M|1130 | - |1860 | 372 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
225.31/225.45 c 219s|530000 |523094 | 0 | 0.0 | 158M|1130 | - |1860 | 368 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
230.01/230.12 c 223s|540000 |533011 | 0 | 0.0 | 160M|1130 | - |1860 | 334 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
234.61/234.77 c 228s|550000 |542928 | 0 | 0.0 | 163M|1130 | - |1860 | 403 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
239.30/239.43 c 232s|560000 |552850 | 0 | 0.0 | 166M|1130 | - |1860 | 334 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
243.91/244.09 c 237s|570000 |562761 | 0 | 0.0 | 169M|1130 | - |1860 | 286 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
248.61/248.77 c 241s|580000 |572685 | 0 | 0.0 | 172M|1130 | - |1860 | 343 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
253.30/253.41 c 246s|590000 |582614 | 0 | 0.0 | 174M|1130 | - |1860 | 323 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
257.90/258.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
257.90/258.05 c 250s|600000 |592539 | 0 | 0.0 | 177M|1130 | - |1860 | 378 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
262.59/262.70 c 255s|610000 |602463 | 0 | 0.0 | 180M|1130 | - |1860 | 339 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
267.30/267.40 c 260s|620000 |612391 | 0 | 0.0 | 183M|1130 | - |1860 | 326 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
271.89/272.07 c 264s|630000 |622313 | 0 | 0.0 | 186M|1130 | - |1860 | 315 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
276.60/276.78 c 269s|640000 |632232 | 0 | 0.0 | 188M|1130 | - |1860 | 358 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
281.30/281.43 c 273s|650000 |642168 | 0 | 0.0 | 191M|1130 | - |1860 | 354 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
285.90/286.08 c 278s|660000 |652097 | 0 | 0.0 | 194M|1130 | - |1860 | 318 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
290.59/290.76 c 282s|670000 |662010 | 0 | 0.0 | 197M|1130 | - |1860 | 400 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
295.29/295.40 c 287s|680000 |671929 | 0 | 0.0 | 200M|1130 | - |1860 | 314 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
299.89/300.05 c 291s|690000 |681866 | 0 | 0.0 | 203M|1130 | - |1860 | 387 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
304.50/304.70 c 296s|700000 |691782 | 0 | 0.0 | 205M|1130 | - |1860 | 379 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
309.19/309.36 c 300s|710000 |701709 | 0 | 0.0 | 208M|1130 | - |1860 | 346 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
313.88/314.02 c 305s|720000 |711638 | 0 | 0.0 | 211M|1130 | - |1860 | 347 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
318.48/318.68 c 309s|730000 |721563 | 0 | 0.0 | 214M|1130 | - |1860 | 316 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
323.19/323.36 c 314s|740000 |731471 | 0 | 0.0 | 216M|1130 | - |1860 | 311 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
327.88/328.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
327.88/328.05 c 319s|750000 |741382 | 0 | 0.0 | 219M|1130 | - |1860 | 278 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
332.58/332.73 c 323s|760000 |751310 | 0 | 0.0 | 222M|1130 | - |1860 | 314 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
337.18/337.38 c 328s|770000 |761234 | 0 | 0.0 | 225M|1130 | - |1860 | 219 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
341.88/342.04 c 332s|780000 |771165 | 0 | 0.0 | 228M|1130 | - |1860 | 301 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
346.47/346.67 c 337s|790000 |781087 | 0 | 0.0 | 230M|1130 | - |1860 | 322 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
351.17/351.35 c 341s|800000 |791001 | 0 | 0.0 | 233M|1130 | - |1860 | 308 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
355.77/355.98 c 346s|810000 |800915 | 0 | 0.0 | 236M|1130 | - |1860 | 372 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
360.37/360.59 c 350s|820000 |810837 | 0 | 0.0 | 239M|1130 | - |1860 | 307 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
365.07/365.29 c 355s|830000 |820747 | 0 | 0.0 | 242M|1130 | - |1860 | 284 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
369.77/369.94 c 359s|840000 |830667 | 0 | 0.0 | 244M|1130 | - |1860 | 322 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
374.36/374.59 c 364s|850000 |840581 | 0 | 0.0 | 247M|1130 | - |1860 | 375 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
379.07/379.24 c 368s|860000 |850483 | 0 | 0.0 | 250M|1130 | - |1860 | 359 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
383.67/383.87 c 373s|870000 |860408 | 0 | 0.0 | 253M|1130 | - |1860 | 345 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
388.36/388.50 c 377s|880000 |870332 | 0 | 0.0 | 256M|1130 | - |1860 | 321 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
392.96/393.13 c 382s|890000 |880248 | 0 | 0.0 | 258M|1130 | - |1860 | 382 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
397.56/397.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
397.56/397.73 c 386s|900000 |890169 | 0 | 0.0 | 261M|1130 | - |1860 | 363 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
402.16/402.37 c 391s|910000 |900094 | 0 | 0.0 | 264M|1130 | - |1860 | 328 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
406.86/407.02 c 395s|920000 |910001 | 0 | 0.0 | 267M|1130 | - |1860 | 382 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
411.45/411.62 c 400s|930000 |919926 | 0 | 0.0 | 270M|1130 | - |1860 | 384 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
416.06/416.23 c 404s|940000 |929854 | 0 | 0.0 | 272M|1130 | - |1860 | 298 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
420.65/420.82 c 409s|950000 |939771 | 0 | 0.0 | 275M|1130 | - |1860 | 403 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
425.25/425.44 c 413s|960000 |949688 | 0 | 0.0 | 278M|1130 | - |1860 | 411 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
429.86/430.08 c 418s|970000 |959599 | 0 | 0.0 | 281M|1130 | - |1860 | 408 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
434.55/434.75 c 422s|980000 |969506 | 0 | 0.0 | 284M|1130 | - |1860 | 353 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
439.24/439.42 c 427s|990000 |979421 | 0 | 0.0 | 287M|1130 | - |1860 | 324 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
443.84/444.09 c 431s| 1000k|989333 | 0 | 0.0 | 289M|1130 | - |1860 | 361 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
448.55/448.73 c 436s| 1010k|999244 | 0 | 0.0 | 292M|1130 | - |1860 | 391 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
453.14/453.39 c 441s| 1020k| 1009k| 0 | 0.0 | 295M|1130 | - |1860 | 416 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
457.84/458.01 c 445s| 1030k| 1019k| 0 | 0.0 | 298M|1130 | - |1860 | 343 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
462.44/462.68 c 450s| 1040k| 1028k| 0 | 0.0 | 300M|1130 | - |1860 | 331 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
467.04/467.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
467.04/467.27 c 454s| 1050k| 1038k| 0 | 0.0 | 303M|1130 | - |1860 | 410 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
471.75/471.94 c 459s| 1060k| 1048k| 0 | 0.0 | 306M|1130 | - |1860 | 445 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
476.33/476.58 c 463s| 1070k| 1058k| 0 | 0.0 | 309M|1130 | - |1860 | 377 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
481.03/481.21 c 468s| 1080k| 1068k| 0 | 0.0 | 312M|1130 | - |1860 | 333 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
485.64/485.85 c 472s| 1090k| 1078k| 0 | 0.0 | 315M|1130 | - |1860 | 413 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
490.23/490.49 c 477s| 1100k| 1088k| 0 | 0.0 | 318M|1130 | - |1860 | 400 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
494.93/495.16 c 481s| 1110k| 1098k| 0 | 0.0 | 320M|1130 | - |1860 | 367 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
499.62/499.82 c 486s| 1120k| 1108k| 0 | 0.0 | 323M|1130 | - |1860 | 306 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
504.23/504.48 c 490s| 1130k| 1118k| 0 | 0.0 | 326M|1130 | - |1860 | 309 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
508.92/509.12 c 495s| 1140k| 1128k| 0 | 0.0 | 329M|1130 | - |1860 | 378 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
513.53/513.78 c 499s| 1150k| 1138k| 0 | 0.0 | 332M|1130 | - |1860 | 409 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
518.23/518.46 c 504s| 1160k| 1148k| 0 | 0.0 | 334M|1130 | - |1860 | 365 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
522.92/523.12 c 508s| 1170k| 1157k| 0 | 0.0 | 337M|1130 | - |1860 | 313 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
527.52/527.75 c 513s| 1180k| 1167k| 0 | 0.0 | 340M|1130 | - |1860 | 305 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
532.13/532.37 c 518s| 1190k| 1177k| 0 | 0.0 | 343M|1130 | - |1860 | 372 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
536.82/537.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
536.82/537.03 c 522s| 1200k| 1187k| 0 | 0.0 | 346M|1130 | - |1860 | 406 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
541.52/541.73 c 527s| 1210k| 1197k| 0 | 0.0 | 348M|1130 | - |1860 | 364 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
546.12/546.39 c 531s| 1220k| 1207k| 0 | 0.0 | 351M|1130 | - |1860 | 318 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
550.82/551.08 c 536s| 1230k| 1217k| 0 | 0.0 | 354M|1130 | - |1860 | 335 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
555.51/555.73 c 540s| 1240k| 1227k| 0 | 0.0 | 357M|1130 | - |1860 | 363 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
560.11/560.35 c 545s| 1250k| 1237k| 0 | 0.0 | 360M|1130 | - |1860 | 383 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
564.70/564.99 c 549s| 1260k| 1247k| 0 | 0.0 | 362M|1130 | - |1860 | 369 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
569.40/569.63 c 554s| 1270k| 1257k| 0 | 0.0 | 365M|1130 | - |1860 | 340 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
574.01/574.27 c 558s| 1280k| 1267k| 0 | 0.0 | 368M|1130 | - |1860 | 301 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
578.70/578.95 c 563s| 1290k| 1276k| 0 | 0.0 | 371M|1130 | - |1860 | 297 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
583.40/583.60 c 567s| 1300k| 1286k| 0 | 0.0 | 373M|1130 | - |1860 | 272 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
587.99/588.21 c 572s| 1310k| 1296k| 0 | 0.0 | 376M|1130 | - |1860 | 378 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
592.61/592.85 c 576s| 1320k| 1306k| 0 | 0.0 | 379M|1130 | - |1860 | 261 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
597.20/597.45 c 581s| 1330k| 1316k| 0 | 0.0 | 382M|1130 | - |1860 | 326 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
601.80/602.08 c 585s| 1340k| 1326k| 0 | 0.0 | 385M|1130 | - |1860 | 339 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
606.39/606.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
606.39/606.65 c 590s| 1350k| 1336k| 0 | 0.0 | 387M|1130 | - |1860 | 347 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
611.09/611.30 c 594s| 1360k| 1346k| 0 | 0.0 | 390M|1130 | - |1860 | 397 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
615.69/615.99 c 599s| 1370k| 1356k| 0 | 0.0 | 393M|1130 | - |1860 | 336 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
620.39/620.62 c 603s| 1380k| 1366k| 0 | 0.0 | 396M|1130 | - |1860 | 298 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
624.99/625.20 c 608s| 1390k| 1376k| 0 | 0.0 | 399M|1130 | - |1860 | 365 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
629.59/629.81 c 612s| 1400k| 1386k| 0 | 0.0 | 402M|1130 | - |1860 | 345 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
634.19/634.42 c 617s| 1410k| 1395k| 0 | 0.0 | 404M|1130 | - |1860 | 379 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
638.79/639.00 c 621s| 1420k| 1405k| 0 | 0.0 | 407M|1130 | - |1860 | 369 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
643.38/643.69 c 626s| 1430k| 1415k| 0 | 0.0 | 410M|1130 | - |1860 | 361 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
647.98/648.28 c 630s| 1440k| 1425k| 0 | 0.0 | 413M|1130 | - |1860 | 402 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
652.58/652.86 c 635s| 1450k| 1435k| 0 | 0.0 | 416M|1130 | - |1860 | 361 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
657.18/657.44 c 639s| 1460k| 1445k| 0 | 0.0 | 418M|1130 | - |1860 | 426 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
661.77/662.05 c 644s| 1470k| 1455k| 0 | 0.0 | 421M|1130 | - |1860 | 360 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
666.38/666.64 c 648s| 1480k| 1465k| 0 | 0.0 | 424M|1130 | - |1860 | 413 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
670.87/671.17 c 653s| 1490k| 1475k| 0 | 0.0 | 427M|1130 | - |1860 | 402 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
675.57/675.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
675.57/675.81 c 657s| 1500k| 1485k| 0 | 0.0 | 430M|1130 | - |1860 | 407 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
680.07/680.39 c 662s| 1510k| 1495k| 0 | 0.0 | 433M|1130 | - |1860 | 321 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
684.67/684.94 c 666s| 1520k| 1505k| 0 | 0.0 | 435M|1130 | - |1860 | 391 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
689.26/689.54 c 670s| 1530k| 1514k| 0 | 0.0 | 438M|1130 | - |1860 | 310 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
693.88/694.12 c 675s| 1540k| 1524k| 0 | 0.0 | 441M|1130 | - |1860 | 329 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
698.47/698.75 c 679s| 1550k| 1534k| 0 | 0.0 | 444M|1130 | - |1860 | 392 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
703.07/703.32 c 684s| 1560k| 1544k| 0 | 0.0 | 447M|1130 | - |1860 | 354 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
707.56/707.89 c 688s| 1570k| 1554k| 0 | 0.0 | 450M|1130 | - |1860 | 343 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
712.27/712.52 c 693s| 1580k| 1564k| 0 | 0.0 | 452M|1130 | - |1860 | 345 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
716.87/717.10 c 697s| 1590k| 1574k| 0 | 0.0 | 455M|1130 | - |1860 | 385 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
721.37/721.65 c 702s| 1600k| 1584k| 0 | 0.0 | 458M|1130 | - |1860 | 453 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
726.05/726.33 c 706s| 1610k| 1594k| 0 | 0.0 | 461M|1130 | - |1860 | 328 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
730.65/730.97 c 711s| 1620k| 1604k| 0 | 0.0 | 464M|1130 | - |1860 | 333 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
735.26/735.55 c 715s| 1630k| 1614k| 0 | 0.0 | 466M|1130 | - |1860 | 381 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
739.75/740.07 c 720s| 1640k| 1623k| 0 | 0.0 | 469M|1130 | - |1860 | 458 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
744.46/744.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
744.46/744.71 c 724s| 1650k| 1633k| 0 | 0.0 | 472M|1130 | - |1860 | 300 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
749.05/749.32 c 729s| 1660k| 1643k| 0 | 0.0 | 475M|1130 | - |1860 | 407 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
753.55/753.87 c 733s| 1670k| 1653k| 0 | 0.0 | 478M|1130 | - |1860 | 416 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
758.14/758.43 c 738s| 1680k| 1663k| 0 | 0.0 | 481M|1130 | - |1860 | 431 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
762.84/763.12 c 742s| 1690k| 1673k| 0 | 0.0 | 483M|1130 | - |1860 | 398 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
767.45/767.72 c 747s| 1700k| 1683k| 0 | 0.0 | 486M|1130 | - |1860 | 414 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
772.04/772.30 c 751s| 1710k| 1693k| 0 | 0.0 | 489M|1130 | - |1860 | 405 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
776.64/776.91 c 756s| 1720k| 1703k| 0 | 0.0 | 492M|1130 | - |1860 | 367 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
781.24/781.54 c 760s| 1730k| 1713k| 0 | 0.0 | 495M|1130 | - |1860 | 385 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
785.84/786.16 c 764s| 1740k| 1723k| 0 | 0.0 | 497M|1130 | - |1860 | 348 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
790.34/790.68 c 769s| 1750k| 1733k| 0 | 0.0 | 500M|1130 | - |1860 | 386 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
794.95/795.26 c 773s| 1760k| 1742k| 0 | 0.0 | 503M|1130 | - |1860 | 343 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
799.53/799.88 c 778s| 1770k| 1752k| 0 | 0.0 | 506M|1130 | - |1860 | 437 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
804.14/804.45 c 782s| 1780k| 1762k| 0 | 0.0 | 509M|1130 | - |1860 | 444 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
808.73/809.00 c 787s| 1790k| 1772k| 0 | 0.0 | 512M|1130 | - |1860 | 493 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
813.23/813.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
813.23/813.57 c 791s| 1800k| 1782k| 0 | 0.0 | 514M|1130 | - |1860 | 377 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
817.83/818.17 c 796s| 1810k| 1792k| 0 | 0.0 | 517M|1130 | - |1860 | 398 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
822.43/822.74 c 800s| 1820k| 1802k| 0 | 0.0 | 520M|1130 | - |1860 | 459 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
827.03/827.33 c 805s| 1830k| 1812k| 0 | 0.0 | 523M|1130 | - |1860 | 538 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
831.73/832.01 c 809s| 1840k| 1822k| 0 | 0.0 | 526M|1130 | - |1860 | 338 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
836.32/836.66 c 814s| 1850k| 1832k| 0 | 0.0 | 528M|1130 | - |1860 | 380 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
840.92/841.29 c 818s| 1860k| 1842k| 0 | 0.0 | 531M|1130 | - |1860 | 406 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
845.53/845.90 c 823s| 1870k| 1851k| 0 | 0.0 | 534M|1130 | - |1860 | 425 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
850.12/850.47 c 827s| 1880k| 1861k| 0 | 0.0 | 537M|1130 | - |1860 | 395 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
854.82/855.12 c 832s| 1890k| 1871k| 0 | 0.0 | 540M|1130 | - |1860 | 354 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
859.42/859.71 c 836s| 1900k| 1881k| 0 | 0.0 | 542M|1130 | - |1860 | 389 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
863.91/864.25 c 841s| 1910k| 1891k| 0 | 0.0 | 545M|1130 | - |1860 | 455 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
868.51/868.84 c 845s| 1920k| 1901k| 0 | 0.0 | 548M|1130 | - |1860 | 487 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
873.12/873.48 c 850s| 1930k| 1911k| 0 | 0.0 | 551M|1130 | - |1860 | 367 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
877.82/878.18 c 854s| 1940k| 1921k| 0 | 0.0 | 554M|1130 | - |1860 | 353 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
882.41/882.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
882.41/882.75 c 859s| 1950k| 1931k| 0 | 0.0 | 556M|1130 | - |1860 | 400 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
887.01/887.32 c 863s| 1960k| 1941k| 0 | 0.0 | 559M|1130 | - |1860 | 506 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
891.61/891.96 c 868s| 1970k| 1951k| 0 | 0.0 | 562M|1130 | - |1860 | 320 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
896.21/896.57 c 872s| 1980k| 1961k| 0 | 0.0 | 565M|1130 | - |1860 | 358 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
900.81/901.13 c 876s| 1990k| 1970k| 0 | 0.0 | 568M|1130 | - |1860 | 404 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
905.40/905.74 c 881s| 2000k| 1980k| 0 | 0.0 | 571M|1130 | - |1860 | 458 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
910.11/910.43 c 886s| 2010k| 1990k| 0 | 0.0 | 573M|1130 | - |1860 | 354 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
914.70/915.02 c 890s| 2020k| 2000k| 0 | 0.0 | 576M|1130 | - |1860 | 331 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
919.31/919.61 c 894s| 2030k| 2010k| 0 | 0.0 | 579M|1130 | - |1860 | 439 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
923.80/924.19 c 899s| 2040k| 2020k| 0 | 0.0 | 582M|1130 | - |1860 | 450 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
928.40/928.76 c 903s| 2050k| 2030k| 0 | 0.0 | 585M|1130 | - |1860 | 378 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
933.00/933.37 c 908s| 2060k| 2040k| 0 | 0.0 | 587M|1130 | - |1860 | 426 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
937.60/937.96 c 912s| 2070k| 2050k| 0 | 0.0 | 590M|1130 | - |1860 | 410 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
942.20/942.53 c 917s| 2080k| 2060k| 0 | 0.0 | 593M|1130 | - |1860 | 436 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
946.70/947.10 c 921s| 2090k| 2070k| 0 | 0.0 | 596M|1130 | - |1860 | 366 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
951.39/951.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
951.39/951.72 c 926s| 2100k| 2080k| 0 | 0.0 | 599M|1130 | - |1860 | 411 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
955.99/956.31 c 930s| 2110k| 2089k| 0 | 0.0 | 601M|1130 | - |1860 | 356 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
960.59/960.91 c 935s| 2120k| 2099k| 0 | 0.0 | 604M|1130 | - |1860 | 461 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
965.09/965.49 c 939s| 2130k| 2109k| 0 | 0.0 | 607M|1130 | - |1860 | 375 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
969.79/970.13 c 944s| 2140k| 2119k| 0 | 0.0 | 610M|1130 | - |1860 | 394 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
974.38/974.74 c 948s| 2150k| 2129k| 0 | 0.0 | 613M|1130 | - |1860 | 446 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
978.99/979.31 c 953s| 2160k| 2139k| 0 | 0.0 | 616M|1130 | - |1860 | 354 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
983.59/983.93 c 957s| 2170k| 2149k| 0 | 0.0 | 618M|1130 | - |1860 | 392 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
988.18/988.53 c 962s| 2180k| 2159k| 0 | 0.0 | 621M|1130 | - |1860 | 368 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
992.78/993.17 c 966s| 2190k| 2169k| 0 | 0.0 | 624M|1130 | - |1860 | 349 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
997.48/997.80 c 971s| 2200k| 2179k| 0 | 0.0 | 627M|1130 | - |1860 | 330 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
1002.08/1002.41 c 975s| 2210k| 2189k| 0 | 0.0 | 630M|1130 | - |1860 | 398 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
1006.68/1007.00 c 980s| 2220k| 2198k| 0 | 0.0 | 632M|1130 | - |1860 | 357 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
1011.28/1011.61 c 984s| 2230k| 2208k| 0 | 0.0 | 635M|1130 | - |1860 | 344 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
1015.87/1016.24 c 989s| 2240k| 2218k| 0 | 0.0 | 638M|1130 | - |1860 | 325 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
1020.38/1020.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1020.38/1020.78 c 993s| 2250k| 2228k| 0 | 0.0 | 641M|1130 | - |1860 | 390 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
1024.97/1025.37 c 997s| 2260k| 2238k| 0 | 0.0 | 644M|1130 | - |1860 | 425 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
1029.67/1030.00 c 1002s| 2270k| 2248k| 0 | 0.0 | 646M|1130 | - |1860 | 423 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
1034.27/1034.60 c 1006s| 2280k| 2258k| 0 | 0.0 | 649M|1130 | - |1860 | 397 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
1038.87/1039.21 c 1011s| 2290k| 2268k| 0 | 0.0 | 652M|1130 | - |1860 | 375 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
1043.36/1043.77 c 1015s| 2300k| 2278k| 0 | 0.0 | 655M|1130 | - |1860 | 380 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
1047.97/1048.37 c 1020s| 2310k| 2288k| 0 | 0.0 | 658M|1130 | - |1860 | 424 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
1052.56/1052.94 c 1024s| 2320k| 2298k| 0 | 0.0 | 660M|1130 | - |1860 | 409 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
1057.17/1057.50 c 1029s| 2330k| 2308k| 0 | 0.0 | 663M|1130 | - |1860 | 417 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
1061.66/1062.06 c 1033s| 2340k| 2317k| 0 | 0.0 | 666M|1130 | - |1860 | 428 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
1066.16/1066.59 c 1037s| 2350k| 2327k| 0 | 0.0 | 669M|1130 | - |1860 | 469 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
1070.86/1071.23 c 1042s| 2360k| 2337k| 0 | 0.0 | 672M|1130 | - |1860 | 435 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
1075.46/1075.87 c 1046s| 2370k| 2347k| 0 | 0.0 | 674M|1130 | - |1860 | 368 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
1080.16/1080.52 c 1051s| 2380k| 2357k| 0 | 0.0 | 677M|1130 | - |1860 | 327 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
1084.66/1085.03 c 1055s| 2390k| 2367k| 0 | 0.0 | 680M|1130 | - |1860 | 468 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
1089.26/1089.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1089.26/1089.65 c 1060s| 2400k| 2377k| 0 | 0.0 | 683M|1130 | - |1860 | 379 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
1093.85/1094.20 c 1064s| 2410k| 2387k| 0 | 0.0 | 686M|1130 | - |1860 | 358 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
1098.46/1098.83 c 1069s| 2420k| 2397k| 0 | 0.0 | 688M|1130 | - |1860 | 328 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
1102.95/1103.36 c 1073s| 2430k| 2407k| 0 | 0.0 | 691M|1130 | - |1860 | 392 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
1107.55/1107.91 c 1078s| 2440k| 2417k| 0 | 0.0 | 694M|1130 | - |1860 | 423 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
1112.05/1112.46 c 1082s| 2450k| 2426k| 0 | 0.0 | 697M|1130 | - |1860 | 398 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1116.65/1117.02 c 1086s| 2460k| 2436k| 0 | 0.0 | 700M|1130 | - |1860 | 360 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1121.24/1121.63 c 1091s| 2470k| 2446k| 0 | 0.0 | 702M|1130 | - |1860 | 371 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1125.74/1126.16 c 1095s| 2480k| 2456k| 0 | 0.0 | 705M|1130 | - |1860 | 461 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1130.24/1130.66 c 1100s| 2490k| 2466k| 0 | 0.0 | 708M|1130 | - |1860 | 461 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1134.84/1135.21 c 1104s| 2500k| 2476k| 0 | 0.0 | 711M|1130 | - |1860 | 368 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1139.44/1139.80 c 1109s| 2510k| 2486k| 0 | 0.0 | 714M|1130 | - |1860 | 466 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1144.04/1144.40 c 1113s| 2520k| 2496k| 0 | 0.0 | 717M|1130 | - |1860 | 506 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1148.54/1148.93 c 1118s| 2530k| 2506k| 0 | 0.0 | 719M|1130 | - |1860 | 456 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1153.13/1153.52 c 1122s| 2540k| 2516k| 0 | 0.0 | 722M|1130 | - |1860 | 450 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1157.63/1158.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1157.63/1158.08 c 1126s| 2550k| 2526k| 0 | 0.0 | 725M|1130 | - |1860 | 419 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1162.24/1162.68 c 1131s| 2560k| 2535k| 0 | 0.0 | 728M|1130 | - |1860 | 377 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1166.83/1167.24 c 1135s| 2570k| 2545k| 0 | 0.0 | 731M|1130 | - |1860 | 510 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1171.43/1171.86 c 1140s| 2580k| 2555k| 0 | 0.0 | 733M|1130 | - |1860 | 525 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1176.03/1176.42 c 1144s| 2590k| 2565k| 0 | 0.0 | 736M|1130 | - |1860 | 363 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1180.52/1180.99 c 1149s| 2600k| 2575k| 0 | 0.0 | 739M|1130 | - |1860 | 351 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1185.13/1185.56 c 1153s| 2610k| 2585k| 0 | 0.0 | 742M|1130 | - |1860 | 370 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1189.62/1190.07 c 1158s| 2620k| 2595k| 0 | 0.0 | 745M|1130 | - |1860 | 427 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1194.24/1194.61 c 1162s| 2630k| 2605k| 0 | 0.0 | 747M|1130 | - |1860 | 506 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1198.82/1199.20 c 1166s| 2640k| 2615k| 0 | 0.0 | 750M|1130 | - |1860 | 497 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1203.33/1203.77 c 1171s| 2650k| 2625k| 0 | 0.0 | 753M|1130 | - |1860 | 370 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1207.93/1208.36 c 1175s| 2660k| 2635k| 0 | 0.0 | 756M|1130 | - |1860 | 499 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1212.52/1212.92 c 1180s| 2670k| 2644k| 0 | 0.0 | 759M|1130 | - |1860 | 450 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1217.02/1217.49 c 1184s| 2680k| 2654k| 0 | 0.0 | 761M|1130 | - |1860 | 394 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1221.62/1222.06 c 1189s| 2690k| 2664k| 0 | 0.0 | 764M|1130 | - |1860 | 397 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1226.32/1226.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1226.32/1226.72 c 1193s| 2700k| 2674k| 0 | 0.0 | 767M|1130 | - |1860 | 341 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1230.92/1231.31 c 1198s| 2710k| 2684k| 0 | 0.0 | 770M|1130 | - |1860 | 381 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1235.41/1235.86 c 1202s| 2720k| 2694k| 0 | 0.0 | 772M|1130 | - |1860 | 363 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1240.01/1240.42 c 1207s| 2730k| 2704k| 0 | 0.0 | 775M|1130 | - |1860 | 389 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1244.61/1245.02 c 1211s| 2740k| 2714k| 0 | 0.0 | 778M|1130 | - |1860 | 334 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1249.21/1249.60 c 1216s| 2750k| 2724k| 0 | 0.0 | 781M|1130 | - |1860 | 370 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1253.71/1254.18 c 1220s| 2760k| 2734k| 0 | 0.0 | 784M|1130 | - |1860 | 384 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1258.30/1258.70 c 1224s| 2770k| 2744k| 0 | 0.0 | 786M|1130 | - |1860 | 402 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1262.80/1263.28 c 1229s| 2780k| 2754k| 0 | 0.0 | 789M|1130 | - |1860 | 349 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1267.40/1267.81 c 1233s| 2790k| 2763k| 0 | 0.0 | 792M|1130 | - |1860 | 428 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1271.90/1272.35 c 1238s| 2800k| 2773k| 0 | 0.0 | 795M|1130 | - |1860 | 448 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1276.50/1276.91 c 1242s| 2810k| 2783k| 0 | 0.0 | 798M|1130 | - |1860 | 347 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1281.01/1281.45 c 1247s| 2820k| 2793k| 0 | 0.0 | 801M|1130 | - |1860 | 469 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1285.50/1285.93 c 1251s| 2830k| 2803k| 0 | 0.0 | 803M|1130 | - |1860 | 469 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1290.00/1290.44 c 1255s| 2840k| 2813k| 0 | 0.0 | 806M|1130 | - |1860 | 442 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1294.50/1294.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1294.50/1294.96 c 1260s| 2850k| 2823k| 0 | 0.0 | 809M|1130 | - |1860 | 445 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1299.00/1299.49 c 1264s| 2860k| 2833k| 0 | 0.0 | 812M|1130 | - |1860 | 550 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1303.59/1304.04 c 1268s| 2870k| 2843k| 0 | 0.0 | 815M|1130 | - |1860 | 523 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1308.19/1308.60 c 1273s| 2880k| 2853k| 0 | 0.0 | 817M|1130 | - |1860 | 437 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1312.59/1313.10 c 1277s| 2890k| 2863k| 0 | 0.0 | 820M|1130 | - |1860 | 498 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1317.19/1317.69 c 1282s| 2900k| 2872k| 0 | 0.0 | 823M|1130 | - |1860 | 528 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1321.79/1322.25 c 1286s| 2910k| 2882k| 0 | 0.0 | 826M|1130 | - |1860 | 362 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1326.28/1326.78 c 1291s| 2920k| 2892k| 0 | 0.0 | 829M|1130 | - |1860 | 373 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1330.87/1331.32 c 1295s| 2930k| 2902k| 0 | 0.0 | 832M|1130 | - |1860 | 412 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1335.38/1335.81 c 1299s| 2940k| 2912k| 0 | 0.0 | 834M|1130 | - |1860 | 444 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1339.98/1340.43 c 1304s| 2950k| 2922k| 0 | 0.0 | 837M|1130 | - |1860 | 356 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1344.58/1345.00 c 1308s| 2960k| 2932k| 0 | 0.0 | 840M|1130 | - |1860 | 357 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1349.08/1349.53 c 1313s| 2970k| 2942k| 0 | 0.0 | 843M|1130 | - |1860 | 410 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1353.58/1354.07 c 1317s| 2980k| 2952k| 0 | 0.0 | 846M|1130 | - |1860 | 425 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1358.08/1358.59 c 1322s| 2990k| 2962k| 0 | 0.0 | 848M|1130 | - |1860 | 452 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1362.57/1363.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1362.57/1363.09 c 1326s| 3000k| 2972k| 0 | 0.0 | 851M|1130 | - |1860 | 407 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1367.17/1367.66 c 1330s| 3010k| 2981k| 0 | 0.0 | 854M|1130 | - |1860 | 391 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1371.67/1372.15 c 1335s| 3020k| 2991k| 0 | 0.0 | 857M|1130 | - |1860 | 486 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1376.17/1376.67 c 1339s| 3030k| 3001k| 0 | 0.0 | 860M|1130 | - |1860 | 502 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1380.76/1381.20 c 1343s| 3040k| 3011k| 0 | 0.0 | 862M|1130 | - |1860 | 454 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1385.26/1385.74 c 1348s| 3050k| 3021k| 0 | 0.0 | 865M|1130 | - |1860 | 542 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1389.87/1390.33 c 1352s| 3060k| 3031k| 0 | 0.0 | 868M|1130 | - |1860 | 401 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1394.46/1394.93 c 1357s| 3070k| 3041k| 0 | 0.0 | 871M|1130 | - |1860 | 417 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1398.96/1399.46 c 1361s| 3080k| 3051k| 0 | 0.0 | 874M|1130 | - |1860 | 412 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1403.45/1403.99 c 1366s| 3090k| 3061k| 0 | 0.0 | 877M|1130 | - |1860 | 453 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1408.06/1408.54 c 1370s| 3100k| 3071k| 0 | 0.0 | 879M|1130 | - |1860 | 491 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1412.65/1413.19 c 1375s| 3110k| 3081k| 0 | 0.0 | 882M|1130 | - |1860 | 384 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1417.26/1417.71 c 1379s| 3120k| 3091k| 0 | 0.0 | 885M|1130 | - |1860 | 486 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1421.76/1422.24 c 1383s| 3130k| 3100k| 0 | 0.0 | 888M|1130 | - |1860 | 452 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1426.26/1426.79 c 1388s| 3140k| 3110k| 0 | 0.0 | 890M|1130 | - |1860 | 364 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1430.76/1431.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1430.76/1431.27 c 1392s| 3150k| 3120k| 0 | 0.0 | 893M|1130 | - |1860 | 358 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1435.35/1435.84 c 1397s| 3160k| 3130k| 0 | 0.0 | 896M|1130 | - |1860 | 445 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1439.85/1440.38 c 1401s| 3170k| 3140k| 0 | 0.0 | 899M|1130 | - |1860 | 439 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1444.35/1444.88 c 1405s| 3180k| 3150k| 0 | 0.0 | 902M|1130 | - |1860 | 450 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1448.94/1449.43 c 1410s| 3190k| 3160k| 0 | 0.0 | 904M|1130 | - |1860 | 356 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1453.44/1453.98 c 1414s| 3200k| 3170k| 0 | 0.0 | 907M|1130 | - |1860 | 408 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1458.04/1458.55 c 1419s| 3210k| 3180k| 0 | 0.0 | 910M|1130 | - |1860 | 425 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1462.64/1463.12 c 1423s| 3220k| 3190k| 0 | 0.0 | 913M|1130 | - |1860 | 426 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1467.13/1467.65 c 1428s| 3230k| 3200k| 0 | 0.0 | 916M|1130 | - |1860 | 428 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1471.63/1472.19 c 1432s| 3240k| 3209k| 0 | 0.0 | 918M|1130 | - |1860 | 428 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1476.23/1476.75 c 1436s| 3250k| 3219k| 0 | 0.0 | 921M|1130 | - |1860 | 420 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1480.83/1481.34 c 1441s| 3260k| 3229k| 0 | 0.0 | 924M|1130 | - |1860 | 409 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1485.43/1485.90 c 1445s| 3270k| 3239k| 0 | 0.0 | 927M|1130 | - |1860 | 406 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1489.93/1490.46 c 1450s| 3280k| 3249k| 0 | 0.0 | 930M|1130 | - |1860 | 378 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1494.53/1495.09 c 1454s| 3290k| 3259k| 0 | 0.0 | 932M|1130 | - |1860 | 456 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1499.12/1499.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1499.12/1499.60 c 1459s| 3300k| 3269k| 0 | 0.0 | 935M|1130 | - |1860 | 465 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1503.62/1504.19 c 1463s| 3310k| 3279k| 0 | 0.0 | 938M|1130 | - |1860 | 417 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1508.23/1508.75 c 1467s| 3320k| 3289k| 0 | 0.0 | 941M|1130 | - |1860 | 361 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1512.83/1513.31 c 1472s| 3330k| 3299k| 0 | 0.0 | 944M|1130 | - |1860 | 491 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1517.32/1517.83 c 1476s| 3340k| 3308k| 0 | 0.0 | 946M|1130 | - |1860 | 406 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1521.92/1522.41 c 1481s| 3350k| 3318k| 0 | 0.0 | 949M|1130 | - |1860 | 442 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1526.42/1526.95 c 1485s| 3360k| 3328k| 0 | 0.0 | 952M|1130 | - |1860 | 365 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1530.92/1531.41 c 1490s| 3370k| 3338k| 0 | 0.0 | 955M|1130 | - |1860 | 482 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1535.41/1535.93 c 1494s| 3380k| 3348k| 0 | 0.0 | 958M|1130 | - |1860 | 379 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1539.91/1540.48 c 1498s| 3390k| 3358k| 0 | 0.0 | 960M|1130 | - |1860 | 359 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1544.41/1544.96 c 1503s| 3400k| 3368k| 0 | 0.0 | 963M|1130 | - |1860 | 396 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1548.91/1549.49 c 1507s| 3410k| 3378k| 0 | 0.0 | 966M|1130 | - |1860 | 409 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1553.41/1553.92 c 1511s| 3420k| 3388k| 0 | 0.0 | 969M|1130 | - |1860 | 435 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1557.91/1558.49 c 1516s| 3430k| 3398k| 0 | 0.0 | 972M|1130 | - |1860 | 414 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1562.40/1562.92 c 1520s| 3440k| 3408k| 0 | 0.0 | 974M|1130 | - |1860 | 348 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1566.80/1567.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1566.80/1567.38 c 1525s| 3450k| 3417k| 0 | 0.0 | 977M|1130 | - |1860 | 438 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1571.31/1571.89 c 1529s| 3460k| 3427k| 0 | 0.0 | 980M|1130 | - |1860 | 411 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1575.90/1576.42 c 1533s| 3470k| 3437k| 0 | 0.0 | 983M|1130 | - |1860 | 407 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1580.30/1580.87 c 1538s| 3480k| 3447k| 0 | 0.0 | 986M|1130 | - |1860 | 437 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1584.80/1585.37 c 1542s| 3490k| 3457k| 0 | 0.0 | 989M|1130 | - |1860 | 432 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1589.29/1589.83 c 1546s| 3500k| 3467k| 0 | 0.0 | 991M|1130 | - |1860 | 450 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1593.79/1594.30 c 1551s| 3510k| 3477k| 0 | 0.0 | 994M|1130 | - |1860 | 419 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1598.19/1598.77 c 1555s| 3520k| 3487k| 0 | 0.0 | 997M|1130 | - |1860 | 484 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
1602.69/1603.27 c 1559s| 3530k| 3497k| 0 | 0.0 |1000M|1130 | - |1860 | 535 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1607.19/1607.79 c 1564s| 3540k| 3507k| 0 | 0.0 |1003M|1130 | - |1860 | 404 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1611.69/1612.28 c 1568s| 3550k| 3517k| 0 | 0.0 |1005M|1130 | - |1860 | 385 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1616.19/1616.78 c 1573s| 3560k| 3526k| 0 | 0.0 |1008M|1130 | - |1860 | 481 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1620.68/1621.25 c 1577s| 3570k| 3536k| 0 | 0.0 |1011M|1130 | - |1860 | 558 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1625.19/1625.75 c 1581s| 3580k| 3546k| 0 | 0.0 |1014M|1130 | - |1860 | 467 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1629.58/1630.17 c 1586s| 3590k| 3556k| 0 | 0.0 |1017M|1130 | - |1860 | 393 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
1634.18/1634.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1634.18/1634.74 c 1590s| 3600k| 3566k| 0 | 0.0 |1020M|1130 | - |1860 | 469 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1638.78/1639.35 c 1595s| 3610k| 3576k| 0 | 0.0 |1022M|1130 | - |1860 | 521 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1643.38/1643.90 c 1599s| 3620k| 3586k| 0 | 0.0 |1025M|1130 | - |1860 | 367 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1647.88/1648.46 c 1603s| 3630k| 3596k| 0 | 0.0 |1028M|1130 | - |1860 | 411 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
1652.37/1652.94 c 1608s| 3640k| 3606k| 0 | 0.0 |1031M|1130 | - |1860 | 412 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1656.88/1657.50 c 1612s| 3650k| 3616k| 0 | 0.0 |1034M|1130 | - |1860 | 391 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1661.49/1662.02 c 1617s| 3660k| 3625k| 0 | 0.0 |1036M|1130 | - |1860 | 361 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1665.98/1666.56 c 1621s| 3670k| 3635k| 0 | 0.0 |1039M|1130 | - |1860 | 362 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1670.57/1671.13 c 1625s| 3680k| 3645k| 0 | 0.0 |1042M|1130 | - |1860 | 420 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1675.07/1675.69 c 1630s| 3690k| 3655k| 0 | 0.0 |1045M|1130 | - |1860 | 367 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
1679.46/1680.09 c 1634s| 3700k| 3665k| 0 | 0.0 |1048M|1130 | - |1860 | 480 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1683.96/1684.54 c 1639s| 3710k| 3675k| 0 | 0.0 |1051M|1130 | - |1860 | 539 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1688.56/1689.17 c 1643s| 3720k| 3685k| 0 | 0.0 |1053M|1130 | - |1860 | 400 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1693.06/1693.68 c 1647s| 3730k| 3695k| 0 | 0.0 |1056M|1130 | - |1860 | 417 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
1697.56/1698.15 c 1652s| 3740k| 3705k| 0 | 0.0 |1059M|1130 | - |1860 | 423 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1702.16/1702.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1702.16/1702.73 c 1656s| 3750k| 3715k| 0 | 0.0 |1062M|1130 | - |1860 | 425 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1706.66/1707.25 c 1661s| 3760k| 3724k| 0 | 0.0 |1064M|1130 | - |1860 | 467 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1711.15/1711.75 c 1665s| 3770k| 3734k| 0 | 0.0 |1067M|1130 | - |1860 | 509 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1715.65/1716.23 c 1669s| 3780k| 3744k| 0 | 0.0 |1070M|1130 | - |1860 | 540 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1720.25/1720.83 c 1674s| 3790k| 3754k| 0 | 0.0 |1073M|1130 | - |1860 | 453 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
1724.65/1725.30 c 1678s| 3800k| 3764k| 0 | 0.0 |1076M|1130 | - |1860 | 449 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1729.25/1729.88 c 1683s| 3810k| 3774k| 0 | 0.0 |1079M|1130 | - |1860 | 508 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
1733.75/1734.36 c 1687s| 3820k| 3784k| 0 | 0.0 |1082M|1130 | - |1860 | 447 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1738.34/1738.94 c 1691s| 3830k| 3794k| 0 | 0.0 |1084M|1130 | - |1860 | 456 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1742.85/1743.43 c 1696s| 3840k| 3804k| 0 | 0.0 |1087M|1130 | - |1860 | 503 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1747.35/1747.96 c 1700s| 3850k| 3814k| 0 | 0.0 |1090M|1130 | - |1860 | 390 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1751.95/1752.50 c 1705s| 3860k| 3824k| 0 | 0.0 |1093M|1130 | - |1860 | 443 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1756.35/1756.91 c 1709s| 3870k| 3833k| 0 | 0.0 |1096M|1130 | - |1860 | 473 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
1760.84/1761.47 c 1713s| 3880k| 3843k| 0 | 0.0 |1099M|1130 | - |1860 | 522 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1765.44/1766.05 c 1718s| 3890k| 3853k| 0 | 0.0 |1101M|1130 | - |1860 | 433 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1769.93/1770.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1769.93/1770.58 c 1722s| 3900k| 3863k| 0 | 0.0 |1104M|1130 | - |1860 | 405 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
1774.43/1775.06 c 1727s| 3910k| 3873k| 0 | 0.0 |1107M|1130 | - |1860 | 461 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1778.94/1779.52 c 1731s| 3920k| 3883k| 0 | 0.0 |1110M|1130 | - |1860 | 498 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1783.34/1783.96 c 1735s| 3930k| 3893k| 0 | 0.0 |1113M|1130 | - |1860 | 457 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
1787.83/1788.44 c 1740s| 3940k| 3903k| 0 | 0.0 |1115M|1130 | - |1860 | 414 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1792.44/1793.03 c 1744s| 3950k| 3913k| 0 | 0.0 |1118M|1130 | - |1860 | 528 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1797.03/1797.61 c 1748s| 3960k| 3923k| 0 | 0.0 |1121M|1130 | - |1860 | 439 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1800.04/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.61 c
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time (sec) : 1751.40
1800.04/1800.61 c Solving Nodes : 3966725
1800.04/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.61 c Dual Bound : +0.00000000000000e+00
1800.04/1800.61 c Gap : infinite
1800.04/1800.61 s UNKNOWN
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time : 1751.40
1800.04/1800.61 c Original Problem :
1800.04/1800.61 c Problem name : HOME/instance-2664511-1276326411.opb
1800.04/1800.61 c Variables : 1860 (1860 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.61 c Constraints : 122 initial, 122 maximal
1800.04/1800.61 c Presolved Problem :
1800.04/1800.61 c Problem name : t_HOME/instance-2664511-1276326411.opb
1800.04/1800.61 c Variables : 1860 (1860 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.61 c Constraints : 122 initial, 4682 maximal
1800.04/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c root node : - 0 - - 0 - - - -
1800.04/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.61 c setppc : 60 0 4377048 0 3953025 20212 2060101 0 0 0
1800.04/1800.61 c logicor : 62+ 0 951959 0 3953025 2824 295009 0 0 0
1800.04/1800.61 c countsols : 0 0 0 0 3953025 0 0 0 0 0
1800.04/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.61 c setppc : 279.73 0.00 45.73 0.00 234.00
1800.04/1800.61 c logicor : 166.78 0.00 10.89 0.00 155.89
1800.04/1800.61 c countsols : 1.96 0.00 0.00 0.00 1.96
1800.04/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.61 c vbounds : 2.30 1 0 0
1800.04/1800.61 c rootredcost : 2.22 0 0 0
1800.04/1800.61 c pseudoobj : 2.02 0 0 0
1800.04/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.61 c propagation : 38.01 23036 23036 432906 182.7 107 99.8 -
1800.04/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.61 c applied globally : - - - 135539 121.3 - - -
1800.04/1800.61 c applied locally : - - - 1309 218.1 - - -
1800.04/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.61 c redcost : 0.00 0 0 0 0 0
1800.04/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.61 c intobj : 0.00 0 0 0 0 0
1800.04/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.61 c gomory : 0.00 0 0 0 0 0
1800.04/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.61 c cmir : 0.00 0 0 0 0 0
1800.04/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.61 c clique : 0.00 0 0 0 0 0
1800.04/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.61 c mcf : 0.00 0 0 0 0 0
1800.04/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.61 c Pricers : Time Calls Vars
1800.04/1800.61 c problem variables: 0.00 0 0
1800.04/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.61 c inference : 1173.43 3953025 0 0 0 0 7906050
1800.04/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.61 c random : 0.00 0 0 0 0 0 0
1800.04/1800.61 c Primal Heuristics : Time Calls Found
1800.04/1800.61 c LP solutions : 0.00 - 0
1800.04/1800.61 c pseudo solutions : 0.00 - 0
1800.04/1800.61 c trivial : 0.01 1 0
1800.04/1800.61 c simplerounding : 0.00 0 0
1800.04/1800.61 c zirounding : 0.00 0 0
1800.04/1800.61 c rounding : 0.00 0 0
1800.04/1800.61 c shifting : 0.00 0 0
1800.04/1800.61 c intshifting : 0.00 0 0
1800.04/1800.61 c oneopt : 0.00 0 0
1800.04/1800.61 c twoopt : 0.00 0 0
1800.04/1800.61 c fixandinfer : 0.00 0 0
1800.04/1800.61 c feaspump : 0.00 0 0
1800.04/1800.61 c coefdiving : 0.00 0 0
1800.04/1800.61 c pscostdiving : 0.00 0 0
1800.04/1800.61 c fracdiving : 0.00 0 0
1800.04/1800.61 c veclendiving : 0.00 0 0
1800.04/1800.61 c intdiving : 0.00 0 0
1800.04/1800.61 c actconsdiving : 0.00 0 0
1800.04/1800.61 c objpscostdiving : 0.00 0 0
1800.04/1800.61 c rootsoldiving : 0.00 0 0
1800.04/1800.61 c linesearchdiving : 0.00 0 0
1800.04/1800.61 c guideddiving : 0.00 0 0
1800.04/1800.61 c octane : 0.00 0 0
1800.04/1800.61 c rens : 0.00 0 0
1800.04/1800.61 c rins : 0.00 0 0
1800.04/1800.61 c localbranching : 0.00 0 0
1800.04/1800.61 c mutation : 0.00 0 0
1800.04/1800.61 c crossover : 0.00 0 0
1800.04/1800.61 c dins : 0.00 0 0
1800.04/1800.61 c undercover : 0.00 0 0
1800.04/1800.61 c nlp : 0.00 0 0
1800.04/1800.61 c trysol : 0.00 0 0
1800.04/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.61 c (at root node) : - 0 0 0.00 -
1800.04/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.61 c B&B Tree :
1800.04/1800.61 c number of runs : 1
1800.04/1800.61 c nodes : 3966725
1800.04/1800.61 c nodes (total) : 3966725
1800.04/1800.61 c nodes left : 3929747
1800.04/1800.61 c max depth : 1130
1800.04/1800.61 c max depth (total): 1130
1800.04/1800.61 c backtracks : 9456 (0.2%)
1800.04/1800.61 c delayed cutoffs : 9579
1800.04/1800.61 c repropagations : 24400 (168621 domain reductions, 9336 cutoffs)
1800.04/1800.61 c avg switch length: 2.45
1800.04/1800.61 c switching time : 45.63
1800.04/1800.61 c Solution :
1800.04/1800.61 c Solutions found : 0 (0 improvements)
1800.04/1800.61 c Primal Bound : -
1800.04/1800.61 c Dual Bound : +0.00000000000000e+00
1800.04/1800.61 c Gap : infinite
1800.04/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.61 c Root Iterations : 0