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-2664743-1276581808.opb>
0.00/0.01 c original problem has 1050 variables (1050 bin, 0 int, 0 impl, 0 cont) and 65 constraints
0.00/0.01 c problem read
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving settings loaded
0.00/0.01 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.01/0.02 c presolving:
0.01/0.03 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 35 upgd conss, 0 impls, 30 clqs
0.01/0.03 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 65 upgd conss, 0 impls, 30 clqs
0.01/0.04 c presolving (3 rounds):
0.01/0.04 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.04 c 0 implications, 30 cliques
0.01/0.04 c presolved problem has 1050 variables (1050 bin, 0 int, 0 impl, 0 cont) and 65 constraints
0.01/0.04 c 30 constraints of type <setppc>
0.01/0.04 c 35 constraints of type <logicor>
0.01/0.04 c transformed objective value is always integral (scale: 1)
0.01/0.04 c Presolving Time: 0.01
0.01/0.04 c - non default parameters ----------------------------------------------------------------------
0.01/0.04 c # SCIP version 1.2.1.2
0.01/0.04 c
0.01/0.04 c # frequency for displaying node information lines
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.04 c display/freq = 10000
0.01/0.04 c
0.01/0.04 c # maximal time in seconds to run
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.04 c limits/time = 1799.99
0.01/0.04 c
0.01/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.04 c limits/memory = 1620
0.01/0.04 c
0.01/0.04 c # solving stops, if the given number of solutions were found (-1: no limit)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.04 c limits/solutions = 1
0.01/0.04 c
0.01/0.04 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.04 c lp/solvefreq = -1
0.01/0.04 c
0.01/0.04 c # maximal number of separation rounds per node (-1: unlimited)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 5]
0.01/0.04 c separating/maxrounds = 1
0.01/0.04 c
0.01/0.04 c # maximal number of separation rounds in the root node (-1: unlimited)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.04 c separating/maxroundsroot = 5
0.01/0.04 c
0.01/0.04 c # should presolving try to simplify inequalities
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.04 c constraints/linear/simplifyinequalities = TRUE
0.01/0.04 c
0.01/0.04 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.01/0.04 c constraints/knapsack/disaggregation = FALSE
0.01/0.04 c
0.01/0.04 c # should presolving try to simplify knapsacks
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.04 c
0.01/0.04 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.04 c presolving/probing/maxrounds = 0
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.04 c heuristics/coefdiving/freq = -1
0.01/0.04 c
0.01/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.04 c heuristics/coefdiving/maxlpiterquot = 0.075
0.01/0.04 c
0.01/0.04 c # additional number of allowed LP iterations
0.01/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.04 c heuristics/coefdiving/maxlpiterofs = 1500
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 30]
0.01/0.04 c heuristics/crossover/freq = -1
0.01/0.04 c
0.01/0.04 c # number of nodes added to the contingent of the total nodes
0.01/0.04 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.01/0.04 c heuristics/crossover/nodesofs = 750
0.01/0.04 c
0.01/0.04 c # number of nodes without incumbent change that heuristic should wait
0.01/0.04 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.01/0.04 c heuristics/crossover/nwaitingnodes = 100
0.01/0.04 c
0.01/0.04 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.01/0.04 c # [type: real, range: [0,1], default: 0.1]
0.01/0.04 c heuristics/crossover/nodesquot = 0.15
0.01/0.04 c
0.01/0.04 c # minimum percentage of integer variables that have to be fixed
0.01/0.04 c # [type: real, range: [0,1], default: 0.666]
0.01/0.04 c heuristics/crossover/minfixingrate = 0.5
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.04 c heuristics/feaspump/freq = -1
0.01/0.04 c
0.01/0.04 c # additional number of allowed LP iterations
0.01/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.04 c heuristics/feaspump/maxlpiterofs = 2000
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.04 c heuristics/fracdiving/freq = -1
0.01/0.04 c
0.01/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.04 c heuristics/fracdiving/maxlpiterquot = 0.075
0.01/0.04 c
0.01/0.04 c # additional number of allowed LP iterations
0.01/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.04 c heuristics/fracdiving/maxlpiterofs = 1500
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.04 c heuristics/guideddiving/freq = -1
0.01/0.04 c
0.01/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.04 c heuristics/guideddiving/maxlpiterquot = 0.075
0.01/0.04 c
0.01/0.04 c # additional number of allowed LP iterations
0.01/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.04 c heuristics/guideddiving/maxlpiterofs = 1500
0.01/0.04 c
0.01/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.04 c heuristics/intdiving/maxlpiterquot = 0.075
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.04 c heuristics/intshifting/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.04 c heuristics/linesearchdiving/freq = -1
0.01/0.04 c
0.01/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.04 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.01/0.04 c
0.01/0.04 c # additional number of allowed LP iterations
0.01/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.04 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.04 c heuristics/nlp/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.04 c heuristics/objpscostdiving/freq = -1
0.01/0.04 c
0.01/0.04 c # maximal fraction of diving LP iterations compared to total iteration number
0.01/0.04 c # [type: real, range: [0,1], default: 0.01]
0.01/0.04 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.01/0.04 c
0.01/0.04 c # additional number of allowed LP iterations
0.01/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.04 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.04 c heuristics/oneopt/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.04 c heuristics/pscostdiving/freq = -1
0.01/0.04 c
0.01/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.04 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.01/0.04 c
0.01/0.04 c # additional number of allowed LP iterations
0.01/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.04 c heuristics/pscostdiving/maxlpiterofs = 1500
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.04 c heuristics/rens/freq = -1
0.01/0.04 c
0.01/0.04 c # minimum percentage of integer variables that have to be fixable
0.01/0.04 c # [type: real, range: [0,1], default: 0.5]
0.01/0.04 c heuristics/rens/minfixingrate = 0.3
0.01/0.04 c
0.01/0.04 c # number of nodes added to the contingent of the total nodes
0.01/0.04 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.01/0.04 c heuristics/rens/nodesofs = 2000
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.04 c heuristics/rootsoldiving/freq = -1
0.01/0.04 c
0.01/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.01/0.04 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.01/0.04 c
0.01/0.04 c # additional number of allowed LP iterations
0.01/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.04 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.04 c heuristics/rounding/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.04 c heuristics/shifting/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.04 c heuristics/simplerounding/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.04 c heuristics/trivial/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.04 c heuristics/trysol/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.04 c heuristics/veclendiving/freq = -1
0.01/0.04 c
0.01/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.04 c heuristics/veclendiving/maxlpiterquot = 0.075
0.01/0.04 c
0.01/0.04 c # additional number of allowed LP iterations
0.01/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.04 c heuristics/veclendiving/maxlpiterofs = 1500
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.04 c heuristics/zirounding/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.04 c separating/cmir/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.04 c separating/flowcover/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.04 c separating/rapidlearning/freq = 0
0.01/0.04 c
0.01/0.04 c -----------------------------------------------------------------------------------------------
0.01/0.04 c start solving
0.01/0.04 c
0.01/0.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.01/0.04 c 0.0s| 1 | 2 | 0 | - |1911k| 0 | - |1050 | 65 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.20/2.26 c 2.1s| 10000 | 9931 | 0 | 0.0 |5435k| 725 | - |1050 | 166 | 0 | 0 | 0 | 139 | 0 | 0.000000e+00 | -- | Inf
4.49/4.51 c 4.2s| 20000 | 19869 | 0 | 0.0 |8275k| 771 | - |1050 | 85 | 0 | 0 | 0 | 190 | 0 | 0.000000e+00 | -- | Inf
6.68/6.77 c 6.4s| 30000 | 29778 | 0 | 0.0 | 11M| 771 | - |1050 | 123 | 0 | 0 | 0 | 279 | 0 | 0.000000e+00 | -- | Inf
8.89/8.97 c 8.4s| 40000 | 39712 | 0 | 0.0 | 14M| 771 | - |1050 | 130 | 0 | 0 | 0 | 365 | 0 | 0.000000e+00 | -- | Inf
11.08/11.14 c 10.5s| 50000 | 49628 | 0 | 0.0 | 17M| 771 | - |1050 | 166 | 0 | 0 | 0 | 498 | 0 | 0.000000e+00 | -- | Inf
13.10/13.20 c 12.4s| 60000 | 59551 | 0 | 0.0 | 20M| 771 | - |1050 | 179 | 0 | 0 | 0 | 632 | 0 | 0.000000e+00 | -- | Inf
15.09/15.19 c 14.3s| 70000 | 69470 | 0 | 0.0 | 23M| 771 | - |1050 | 259 | 0 | 0 | 0 | 824 | 0 | 0.000000e+00 | -- | Inf
17.08/17.12 c 16.1s| 80000 | 79381 | 0 | 0.0 | 26M| 771 | - |1050 | 269 | 0 | 0 | 0 |1053 | 0 | 0.000000e+00 | -- | Inf
18.99/19.00 c 17.9s| 90000 | 89282 | 0 | 0.0 | 29M| 771 | - |1050 | 337 | 0 | 0 | 0 |1304 | 0 | 0.000000e+00 | -- | Inf
20.69/20.79 c 19.6s|100000 | 99172 | 0 | 0.0 | 32M| 771 | - |1050 | 417 | 0 | 0 | 0 |1624 | 0 | 0.000000e+00 | -- | Inf
22.48/22.55 c 21.2s|110000 |109033 | 0 | 0.0 | 35M| 771 | - |1050 | 507 | 0 | 0 | 0 |1940 | 0 | 0.000000e+00 | -- | Inf
24.09/24.19 c 22.7s|120000 |118897 | 0 | 0.0 | 38M| 771 | - |1050 | 775 | 0 | 0 | 0 |2433 | 0 | 0.000000e+00 | -- | Inf
25.69/25.78 c 24.2s|130000 |128729 | 0 | 0.0 | 41M| 771 | - |1050 | 952 | 0 | 0 | 0 |2969 | 0 | 0.000000e+00 | -- | Inf
27.18/27.27 c 25.6s|140000 |138509 | 0 | 0.0 | 45M| 771 | - |1050 |1339 | 0 | 0 | 0 |3831 | 0 | 0.000000e+00 | -- | Inf
28.79/28.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.79/28.89 c 27.1s|150000 |148071 | 0 | 0.0 | 49M| 771 | - |1050 |2372 | 0 | 0 | 0 |5408 | 0 | 0.000000e+00 | -- | Inf
31.38/31.46 c 29.5s|160000 |157378 | 0 | 0.0 | 54M| 771 | - |1050 |3129 | 0 | 0 | 0 |7183 | 0 | 0.000000e+00 | -- | Inf
33.57/33.69 c 31.6s|170000 |167256 | 0 | 0.0 | 54M| 771 | - |1050 | 238 | 0 | 0 | 0 |7282 | 0 | 0.000000e+00 | -- | Inf
35.97/36.02 c 33.8s|180000 |177164 | 0 | 0.0 | 57M| 771 | - |1050 | 124 | 0 | 0 | 0 |7392 | 0 | 0.000000e+00 | -- | Inf
38.27/38.34 c 36.0s|190000 |187078 | 0 | 0.0 | 60M| 771 | - |1050 | 138 | 0 | 0 | 0 |7507 | 0 | 0.000000e+00 | -- | Inf
40.68/40.71 c 38.3s|200000 |196990 | 0 | 0.0 | 63M| 771 | - |1050 | 113 | 0 | 0 | 0 |7591 | 0 | 0.000000e+00 | -- | Inf
42.98/43.05 c 40.5s|210000 |206916 | 0 | 0.0 | 66M| 771 | - |1050 | 116 | 0 | 0 | 0 |7673 | 0 | 0.000000e+00 | -- | Inf
45.27/45.38 c 42.7s|220000 |216852 | 0 | 0.0 | 69M| 771 | - |1050 | 101 | 0 | 0 | 0 |7735 | 0 | 0.000000e+00 | -- | Inf
47.67/47.70 c 44.9s|230000 |226772 | 0 | 0.0 | 71M| 771 | - |1050 | 101 | 0 | 0 | 0 |7817 | 0 | 0.000000e+00 | -- | Inf
49.98/50.03 c 47.1s|240000 |236698 | 0 | 0.0 | 74M| 771 | - |1050 | 120 | 0 | 0 | 0 |7896 | 0 | 0.000000e+00 | -- | Inf
52.27/52.36 c 49.3s|250000 |246617 | 0 | 0.0 | 77M| 771 | - |1050 | 127 | 0 | 0 | 0 |7993 | 0 | 0.000000e+00 | -- | Inf
54.57/54.69 c 51.5s|260000 |256547 | 0 | 0.0 | 80M| 771 | - |1050 | 122 | 0 | 0 | 0 |8079 | 0 | 0.000000e+00 | -- | Inf
56.97/57.01 c 53.7s|270000 |266469 | 0 | 0.0 | 83M| 771 | - |1050 | 126 | 0 | 0 | 0 |8174 | 0 | 0.000000e+00 | -- | Inf
59.17/59.28 c 55.9s|280000 |276406 | 0 | 0.0 | 86M| 771 | - |1050 | 139 | 0 | 0 | 0 |8276 | 0 | 0.000000e+00 | -- | Inf
61.47/61.54 c 58.0s|290000 |286326 | 0 | 0.0 | 89M| 771 | - |1050 | 138 | 0 | 0 | 0 |8399 | 0 | 0.000000e+00 | -- | Inf
63.77/63.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.77/63.84 c 60.2s|300000 |296256 | 0 | 0.0 | 92M| 771 | - |1050 | 134 | 0 | 0 | 0 |8505 | 0 | 0.000000e+00 | -- | Inf
66.07/66.14 c 62.4s|310000 |306179 | 0 | 0.0 | 95M| 771 | - |1050 | 159 | 0 | 0 | 0 |8634 | 0 | 0.000000e+00 | -- | Inf
68.37/68.43 c 64.6s|320000 |316104 | 0 | 0.0 | 98M| 771 | - |1050 | 144 | 0 | 0 | 0 |8747 | 0 | 0.000000e+00 | -- | Inf
70.67/70.72 c 66.7s|330000 |326022 | 0 | 0.0 | 100M| 771 | - |1050 | 177 | 0 | 0 | 0 |8907 | 0 | 0.000000e+00 | -- | Inf
72.97/73.01 c 68.9s|340000 |335950 | 0 | 0.0 | 103M| 771 | - |1050 | 155 | 0 | 0 | 0 |9020 | 0 | 0.000000e+00 | -- | Inf
75.17/75.29 c 71.0s|350000 |345883 | 0 | 0.0 | 106M| 771 | - |1050 | 123 | 0 | 0 | 0 |9105 | 0 | 0.000000e+00 | -- | Inf
77.47/77.55 c 73.2s|360000 |355803 | 0 | 0.0 | 109M| 771 | - |1050 | 184 | 0 | 0 | 0 |9253 | 0 | 0.000000e+00 | -- | Inf
79.77/79.87 c 75.4s|370000 |365714 | 0 | 0.0 | 112M| 771 | - |1050 | 128 | 0 | 0 | 0 |9362 | 0 | 0.000000e+00 | -- | Inf
82.06/82.19 c 77.6s|380000 |375636 | 0 | 0.0 | 115M| 771 | - |1050 | 135 | 0 | 0 | 0 |9466 | 0 | 0.000000e+00 | -- | Inf
84.36/84.48 c 79.8s|390000 |385561 | 0 | 0.0 | 118M| 771 | - |1050 | 170 | 0 | 0 | 0 |9604 | 0 | 0.000000e+00 | -- | Inf
86.66/86.79 c 81.9s|400000 |395483 | 0 | 0.0 | 121M| 771 | - |1050 | 163 | 0 | 0 | 0 |9729 | 0 | 0.000000e+00 | -- | Inf
88.97/89.08 c 84.1s|410000 |405409 | 0 | 0.0 | 124M| 771 | - |1050 | 138 | 0 | 0 | 0 |9831 | 0 | 0.000000e+00 | -- | Inf
91.27/91.37 c 86.3s|420000 |415332 | 0 | 0.0 | 126M| 771 | - |1050 | 106 | 0 | 0 | 0 |9905 | 0 | 0.000000e+00 | -- | Inf
93.56/93.62 c 88.4s|430000 |425267 | 0 | 0.0 | 129M| 771 | - |1050 | 138 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
95.76/95.85 c 90.5s|440000 |435207 | 0 | 0.0 | 132M| 771 | - |1050 | 139 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
98.06/98.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.06/98.13 c 92.7s|450000 |445123 | 0 | 0.0 | 135M| 771 | - |1050 | 124 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
100.35/100.44 c 94.9s|460000 |455023 | 0 | 0.0 | 138M| 771 | - |1050 | 156 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
102.66/102.70 c 97.0s|470000 |464951 | 0 | 0.0 | 141M| 771 | - |1050 | 169 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
104.86/104.96 c 99.2s|480000 |474885 | 0 | 0.0 | 144M| 771 | - |1050 | 139 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
107.16/107.24 c 101s|490000 |484815 | 0 | 0.0 | 147M| 771 | - |1050 | 122 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
109.46/109.50 c 103s|500000 |494736 | 0 | 0.0 | 150M| 771 | - |1050 | 150 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
111.66/111.79 c 106s|510000 |504664 | 0 | 0.0 | 153M| 771 | - |1050 | 103 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
113.96/114.05 c 108s|520000 |514597 | 0 | 0.0 | 156M| 771 | - |1050 | 173 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
116.25/116.32 c 110s|530000 |524527 | 0 | 0.0 | 159M| 771 | - |1050 | 159 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
118.46/118.58 c 112s|540000 |534464 | 0 | 0.0 | 161M| 771 | - |1050 | 127 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
120.76/120.86 c 114s|550000 |544386 | 0 | 0.0 | 164M| 771 | - |1050 | 157 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
123.06/123.15 c 116s|560000 |554309 | 0 | 0.0 | 167M| 771 | - |1050 | 171 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
125.25/125.39 c 119s|570000 |564234 | 0 | 0.0 | 170M| 771 | - |1050 | 158 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
127.56/127.66 c 121s|580000 |574165 | 0 | 0.0 | 173M| 771 | - |1050 | 141 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
129.85/129.94 c 123s|590000 |584087 | 0 | 0.0 | 176M| 771 | - |1050 | 183 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
132.05/132.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.05/132.19 c 125s|600000 |594012 | 0 | 0.0 | 179M| 771 | - |1050 | 155 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
134.35/134.43 c 127s|610000 |603942 | 0 | 0.0 | 182M| 771 | - |1050 | 176 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
136.55/136.66 c 129s|620000 |613872 | 0 | 0.0 | 185M| 771 | - |1050 | 167 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
138.85/138.93 c 131s|630000 |623797 | 0 | 0.0 | 188M| 771 | - |1050 | 169 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
141.04/141.15 c 134s|640000 |633730 | 0 | 0.0 | 190M| 771 | - |1050 | 163 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
143.35/143.44 c 136s|650000 |643651 | 0 | 0.0 | 193M| 771 | - |1050 | 131 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
145.65/145.70 c 138s|660000 |653577 | 0 | 0.0 | 196M| 771 | - |1050 | 142 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
147.94/148.00 c 140s|670000 |663493 | 0 | 0.0 | 199M| 771 | - |1050 | 128 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
150.15/150.27 c 142s|680000 |673418 | 0 | 0.0 | 202M| 771 | - |1050 | 181 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
152.44/152.51 c 144s|690000 |683345 | 0 | 0.0 | 205M| 771 | - |1050 | 166 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
154.65/154.77 c 146s|700000 |693276 | 0 | 0.0 | 208M| 771 | - |1050 | 146 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
156.95/157.03 c 149s|710000 |703193 | 0 | 0.0 | 211M| 771 | - |1050 | 146 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
159.14/159.25 c 151s|720000 |713123 | 0 | 0.0 | 214M| 771 | - |1050 | 148 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
161.34/161.49 c 153s|730000 |723052 | 0 | 0.0 | 217M| 771 | - |1050 | 177 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
163.64/163.74 c 155s|740000 |732967 | 0 | 0.0 | 220M| 771 | - |1050 | 145 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
165.85/165.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
165.85/165.99 c 157s|750000 |742895 | 0 | 0.0 | 223M| 771 | - |1050 | 157 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
168.15/168.22 c 159s|760000 |752827 | 0 | 0.0 | 225M| 771 | - |1050 | 163 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
170.35/170.45 c 161s|770000 |762743 | 0 | 0.0 | 228M| 771 | - |1050 | 205 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
172.64/172.71 c 163s|780000 |772654 | 0 | 0.0 | 231M| 771 | - |1050 | 140 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
174.84/174.97 c 166s|790000 |782573 | 0 | 0.0 | 234M| 771 | - |1050 | 153 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
177.13/177.24 c 168s|800000 |792496 | 0 | 0.0 | 237M| 771 | - |1050 | 103 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
179.43/179.50 c 170s|810000 |802412 | 0 | 0.0 | 240M| 771 | - |1050 | 130 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
181.64/181.73 c 172s|820000 |812335 | 0 | 0.0 | 243M| 771 | - |1050 | 126 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
183.83/183.96 c 174s|830000 |822250 | 0 | 0.0 | 246M| 771 | - |1050 | 183 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
186.13/186.21 c 176s|840000 |832161 | 0 | 0.0 | 249M| 771 | - |1050 | 152 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
188.33/188.44 c 178s|850000 |842077 | 0 | 0.0 | 252M| 771 | - |1050 | 203 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
190.53/190.68 c 180s|860000 |851994 | 0 | 0.0 | 254M| 771 | - |1050 | 187 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
192.83/192.98 c 183s|870000 |861885 | 0 | 0.0 | 257M| 771 | - |1050 | 161 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
195.13/195.24 c 185s|880000 |871810 | 0 | 0.0 | 260M| 771 | - |1050 | 121 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
197.33/197.47 c 187s|890000 |881726 | 0 | 0.0 | 263M| 771 | - |1050 | 159 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
199.53/199.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
199.53/199.69 c 189s|900000 |891649 | 0 | 0.0 | 266M| 771 | - |1050 | 161 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
201.83/201.94 c 191s|910000 |901570 | 0 | 0.0 | 269M| 771 | - |1050 | 187 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
204.03/204.15 c 193s|920000 |911491 | 0 | 0.0 | 272M| 771 | - |1050 | 184 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
206.33/206.40 c 195s|930000 |921406 | 0 | 0.0 | 275M| 771 | - |1050 | 160 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
208.53/208.60 c 197s|940000 |931339 | 0 | 0.0 | 278M| 771 | - |1050 | 179 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
210.73/210.83 c 199s|950000 |941250 | 0 | 0.0 | 281M| 771 | - |1050 | 206 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
212.93/213.07 c 202s|960000 |951161 | 0 | 0.0 | 284M| 771 | - |1050 | 149 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
215.22/215.32 c 204s|970000 |961079 | 0 | 0.0 | 286M| 771 | - |1050 | 164 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
217.43/217.56 c 206s|980000 |970994 | 0 | 0.0 | 289M| 771 | - |1050 | 157 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
219.63/219.77 c 208s|990000 |980918 | 0 | 0.0 | 292M| 771 | - |1050 | 183 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
221.93/222.00 c 210s| 1000k|990826 | 0 | 0.0 | 295M| 771 | - |1050 | 180 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
224.12/224.25 c 212s| 1010k| 1000k| 0 | 0.0 | 298M| 771 | - |1050 | 139 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
226.33/226.48 c 214s| 1020k| 1010k| 0 | 0.0 | 301M| 771 | - |1050 | 184 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
228.63/228.75 c 216s| 1030k| 1020k| 0 | 0.0 | 304M| 771 | - |1050 | 149 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
230.93/231.02 c 218s| 1040k| 1030k| 0 | 0.0 | 307M| 771 | - |1050 | 165 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
233.13/233.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
233.13/233.26 c 221s| 1050k| 1040k| 0 | 0.0 | 310M| 771 | - |1050 | 146 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
235.34/235.49 c 223s| 1060k| 1050k| 0 | 0.0 | 313M| 771 | - |1050 | 205 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
237.62/237.73 c 225s| 1070k| 1060k| 0 | 0.0 | 316M| 771 | - |1050 | 168 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
239.82/239.96 c 227s| 1080k| 1070k| 0 | 0.0 | 318M| 771 | - |1050 | 127 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
242.02/242.13 c 229s| 1090k| 1080k| 0 | 0.0 | 321M| 771 | - |1050 | 151 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
244.22/244.35 c 231s| 1100k| 1090k| 0 | 0.0 | 324M| 771 | - |1050 | 128 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
246.41/246.53 c 233s| 1110k| 1099k| 0 | 0.0 | 327M| 771 | - |1050 | 154 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
248.62/248.71 c 235s| 1120k| 1109k| 0 | 0.0 | 330M| 771 | - |1050 | 146 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
250.82/250.91 c 237s| 1130k| 1119k| 0 | 0.0 | 333M| 771 | - |1050 | 125 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
253.01/253.12 c 239s| 1140k| 1129k| 0 | 0.0 | 336M| 771 | - |1050 | 177 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
255.22/255.33 c 241s| 1150k| 1139k| 0 | 0.0 | 339M| 771 | - |1050 | 177 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
257.41/257.51 c 244s| 1160k| 1149k| 0 | 0.0 | 342M| 771 | - |1050 | 177 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
259.62/259.71 c 246s| 1170k| 1159k| 0 | 0.0 | 345M| 771 | - |1050 | 162 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
261.72/261.85 c 248s| 1180k| 1169k| 0 | 0.0 | 348M| 771 | - |1050 | 184 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
263.93/264.04 c 250s| 1190k| 1179k| 0 | 0.0 | 351M| 771 | - |1050 | 195 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
266.02/266.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
266.02/266.20 c 252s| 1200k| 1189k| 0 | 0.0 | 354M| 771 | - |1050 | 213 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
268.22/268.33 c 254s| 1210k| 1199k| 0 | 0.0 | 356M| 771 | - |1050 | 181 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
270.31/270.49 c 256s| 1220k| 1209k| 0 | 0.0 | 359M| 771 | - |1050 | 194 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
272.52/272.69 c 258s| 1230k| 1218k| 0 | 0.0 | 362M| 771 | - |1050 | 172 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
274.71/274.85 c 260s| 1240k| 1228k| 0 | 0.0 | 365M| 771 | - |1050 | 174 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
276.91/277.04 c 262s| 1250k| 1238k| 0 | 0.0 | 368M| 771 | - |1050 | 220 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
279.11/279.21 c 264s| 1260k| 1248k| 0 | 0.0 | 371M| 771 | - |1050 | 187 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
281.21/281.39 c 266s| 1270k| 1258k| 0 | 0.0 | 374M| 771 | - |1050 | 229 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
283.41/283.56 c 268s| 1280k| 1268k| 0 | 0.0 | 377M| 771 | - |1050 | 212 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
285.60/285.72 c 270s| 1290k| 1278k| 0 | 0.0 | 380M| 771 | - |1050 | 182 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
287.80/287.90 c 272s| 1300k| 1288k| 0 | 0.0 | 383M| 771 | - |1050 | 185 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
289.91/290.02 c 274s| 1310k| 1298k| 0 | 0.0 | 386M| 771 | - |1050 | 234 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
292.01/292.19 c 276s| 1320k| 1308k| 0 | 0.0 | 389M| 771 | - |1050 | 243 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
294.30/294.43 c 278s| 1330k| 1318k| 0 | 0.0 | 392M| 771 | - |1050 | 167 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
296.60/296.70 c 281s| 1340k| 1328k| 0 | 0.0 | 395M| 771 | - |1050 | 207 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
298.81/298.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
298.81/298.97 c 283s| 1350k| 1337k| 0 | 0.0 | 398M| 771 | - |1050 | 133 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
301.01/301.18 c 285s| 1360k| 1347k| 0 | 0.0 | 401M| 771 | - |1050 | 186 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
303.21/303.38 c 287s| 1370k| 1357k| 0 | 0.0 | 403M| 771 | - |1050 | 199 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
305.40/305.59 c 289s| 1380k| 1367k| 0 | 0.0 | 406M| 771 | - |1050 | 144 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
307.60/307.75 c 291s| 1390k| 1377k| 0 | 0.0 | 409M| 771 | - |1050 | 169 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
309.80/309.95 c 293s| 1400k| 1387k| 0 | 0.0 | 412M| 771 | - |1050 | 173 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
312.00/312.13 c 295s| 1410k| 1397k| 0 | 0.0 | 415M| 771 | - |1050 | 185 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
314.20/314.32 c 297s| 1420k| 1407k| 0 | 0.0 | 418M| 771 | - |1050 | 186 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
316.40/316.54 c 299s| 1430k| 1417k| 0 | 0.0 | 421M| 771 | - |1050 | 175 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
318.60/318.70 c 301s| 1440k| 1427k| 0 | 0.0 | 424M| 771 | - |1050 | 172 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
320.69/320.88 c 303s| 1450k| 1437k| 0 | 0.0 | 427M| 771 | - |1050 | 177 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
322.90/323.04 c 305s| 1460k| 1447k| 0 | 0.0 | 430M| 771 | - |1050 | 163 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
325.09/325.21 c 308s| 1470k| 1457k| 0 | 0.0 | 433M| 771 | - |1050 | 187 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
327.29/327.41 c 310s| 1480k| 1466k| 0 | 0.0 | 436M| 771 | - |1050 | 169 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
329.50/329.60 c 312s| 1490k| 1476k| 0 | 0.0 | 439M| 771 | - |1050 | 162 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
331.59/331.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
331.59/331.76 c 314s| 1500k| 1486k| 0 | 0.0 | 441M| 771 | - |1050 | 185 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
333.79/333.97 c 316s| 1510k| 1496k| 0 | 0.0 | 444M| 771 | - |1050 | 158 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
336.00/336.15 c 318s| 1520k| 1506k| 0 | 0.0 | 447M| 771 | - |1050 | 104 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
338.20/338.34 c 320s| 1530k| 1516k| 0 | 0.0 | 450M| 771 | - |1050 | 156 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
340.39/340.51 c 322s| 1540k| 1526k| 0 | 0.0 | 453M| 771 | - |1050 | 163 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
342.60/342.76 c 324s| 1550k| 1536k| 0 | 0.0 | 456M| 771 | - |1050 | 175 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
344.79/344.93 c 326s| 1560k| 1546k| 0 | 0.0 | 459M| 771 | - |1050 | 178 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
346.99/347.16 c 328s| 1570k| 1556k| 0 | 0.0 | 462M| 771 | - |1050 | 160 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
349.19/349.36 c 330s| 1580k| 1566k| 0 | 0.0 | 465M| 771 | - |1050 | 173 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
351.39/351.58 c 332s| 1590k| 1576k| 0 | 0.0 | 468M| 771 | - |1050 | 231 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
353.69/353.80 c 335s| 1600k| 1585k| 0 | 0.0 | 471M| 771 | - |1050 | 218 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
355.79/355.97 c 337s| 1610k| 1595k| 0 | 0.0 | 474M| 771 | - |1050 | 156 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
357.99/358.16 c 339s| 1620k| 1605k| 0 | 0.0 | 477M| 771 | - |1050 | 210 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
360.19/360.35 c 341s| 1630k| 1615k| 0 | 0.0 | 480M| 771 | - |1050 | 219 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
362.38/362.55 c 343s| 1640k| 1625k| 0 | 0.0 | 483M| 771 | - |1050 | 208 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
364.58/364.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
364.58/364.79 c 345s| 1650k| 1635k| 0 | 0.0 | 485M| 771 | - |1050 | 176 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
366.78/366.97 c 347s| 1660k| 1645k| 0 | 0.0 | 488M| 771 | - |1050 | 192 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
368.98/369.17 c 349s| 1670k| 1655k| 0 | 0.0 | 491M| 771 | - |1050 | 163 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
371.29/371.42 c 351s| 1680k| 1665k| 0 | 0.0 | 494M| 771 | - |1050 | 183 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
373.48/373.60 c 353s| 1690k| 1675k| 0 | 0.0 | 497M| 771 | - |1050 | 195 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
375.59/375.80 c 355s| 1700k| 1685k| 0 | 0.0 | 500M| 771 | - |1050 | 184 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
377.88/378.04 c 357s| 1710k| 1695k| 0 | 0.0 | 503M| 771 | - |1050 | 159 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
380.09/380.29 c 360s| 1720k| 1704k| 0 | 0.0 | 506M| 771 | - |1050 | 144 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
382.28/382.49 c 362s| 1730k| 1714k| 0 | 0.0 | 509M| 771 | - |1050 | 162 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
384.48/384.67 c 364s| 1740k| 1724k| 0 | 0.0 | 512M| 771 | - |1050 | 214 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
386.78/386.92 c 366s| 1750k| 1734k| 0 | 0.0 | 515M| 771 | - |1050 | 194 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
388.98/389.14 c 368s| 1760k| 1744k| 0 | 0.0 | 517M| 771 | - |1050 | 161 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
391.18/391.30 c 370s| 1770k| 1754k| 0 | 0.0 | 520M| 771 | - |1050 | 150 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
393.38/393.58 c 372s| 1780k| 1764k| 0 | 0.0 | 523M| 771 | - |1050 | 168 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
395.67/395.81 c 374s| 1790k| 1774k| 0 | 0.0 | 526M| 771 | - |1050 | 180 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
397.77/397.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
397.77/397.99 c 376s| 1800k| 1784k| 0 | 0.0 | 529M| 771 | - |1050 | 158 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
399.98/400.16 c 378s| 1810k| 1794k| 0 | 0.0 | 532M| 771 | - |1050 | 179 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
402.17/402.32 c 380s| 1820k| 1804k| 0 | 0.0 | 535M| 771 | - |1050 | 127 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
404.38/404.52 c 383s| 1830k| 1813k| 0 | 0.0 | 538M| 771 | - |1050 | 202 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
406.47/406.69 c 385s| 1840k| 1823k| 0 | 0.0 | 541M| 771 | - |1050 | 189 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
408.67/408.87 c 387s| 1850k| 1833k| 0 | 0.0 | 544M| 771 | - |1050 | 164 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
410.78/410.97 c 389s| 1860k| 1843k| 0 | 0.0 | 547M| 771 | - |1050 | 180 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
412.97/413.12 c 391s| 1870k| 1853k| 0 | 0.0 | 550M| 771 | - |1050 | 212 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
415.17/415.37 c 393s| 1880k| 1863k| 0 | 0.0 | 552M| 771 | - |1050 | 223 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
417.37/417.53 c 395s| 1890k| 1873k| 0 | 0.0 | 555M| 771 | - |1050 | 169 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
419.47/419.67 c 397s| 1900k| 1883k| 0 | 0.0 | 558M| 771 | - |1050 | 212 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
421.67/421.87 c 399s| 1910k| 1893k| 0 | 0.0 | 561M| 771 | - |1050 | 185 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
423.77/423.97 c 401s| 1920k| 1903k| 0 | 0.0 | 564M| 771 | - |1050 | 200 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
425.97/426.12 c 403s| 1930k| 1913k| 0 | 0.0 | 567M| 771 | - |1050 | 191 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
428.07/428.24 c 405s| 1940k| 1923k| 0 | 0.0 | 570M| 771 | - |1050 | 203 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
430.27/430.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
430.27/430.40 c 407s| 1950k| 1932k| 0 | 0.0 | 573M| 771 | - |1050 | 228 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
432.47/432.64 c 409s| 1960k| 1942k| 0 | 0.0 | 576M| 771 | - |1050 | 160 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
434.56/434.79 c 411s| 1970k| 1952k| 0 | 0.0 | 579M| 771 | - |1050 | 121 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
436.77/436.93 c 413s| 1980k| 1962k| 0 | 0.0 | 582M| 771 | - |1050 | 192 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
438.96/439.11 c 415s| 1990k| 1972k| 0 | 0.0 | 585M| 771 | - |1050 | 190 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
441.07/441.25 c 417s| 2000k| 1982k| 0 | 0.0 | 588M| 771 | - |1050 | 171 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
443.26/443.44 c 419s| 2010k| 1992k| 0 | 0.0 | 591M| 771 | - |1050 | 180 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
445.37/445.59 c 421s| 2020k| 2002k| 0 | 0.0 | 593M| 771 | - |1050 | 151 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
447.57/447.71 c 423s| 2030k| 2012k| 0 | 0.0 | 596M| 771 | - |1050 | 190 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
449.77/449.91 c 425s| 2040k| 2022k| 0 | 0.0 | 599M| 771 | - |1050 | 203 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
451.86/452.07 c 427s| 2050k| 2032k| 0 | 0.0 | 602M| 771 | - |1050 | 175 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
454.07/454.20 c 429s| 2060k| 2042k| 0 | 0.0 | 605M| 771 | - |1050 | 208 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
456.16/456.37 c 431s| 2070k| 2051k| 0 | 0.0 | 608M| 771 | - |1050 | 194 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
458.36/458.55 c 433s| 2080k| 2061k| 0 | 0.0 | 611M| 771 | - |1050 | 211 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
460.55/460.75 c 436s| 2090k| 2071k| 0 | 0.0 | 614M| 771 | - |1050 | 199 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
462.66/462.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
462.66/462.89 c 438s| 2100k| 2081k| 0 | 0.0 | 617M| 771 | - |1050 | 195 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
464.86/465.06 c 440s| 2110k| 2091k| 0 | 0.0 | 620M| 771 | - |1050 | 191 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
467.06/467.26 c 442s| 2120k| 2101k| 0 | 0.0 | 623M| 771 | - |1050 | 141 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
469.26/469.44 c 444s| 2130k| 2111k| 0 | 0.0 | 626M| 771 | - |1050 | 139 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
471.45/471.66 c 446s| 2140k| 2121k| 0 | 0.0 | 629M| 771 | - |1050 | 138 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
473.66/473.84 c 448s| 2150k| 2131k| 0 | 0.0 | 632M| 771 | - |1050 | 172 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
475.75/475.98 c 450s| 2160k| 2141k| 0 | 0.0 | 634M| 771 | - |1050 | 191 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
478.06/478.20 c 452s| 2170k| 2151k| 0 | 0.0 | 637M| 771 | - |1050 | 232 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
480.15/480.36 c 454s| 2180k| 2160k| 0 | 0.0 | 640M| 771 | - |1050 | 138 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
482.35/482.52 c 456s| 2190k| 2170k| 0 | 0.0 | 643M| 771 | - |1050 | 173 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
484.45/484.69 c 458s| 2200k| 2180k| 0 | 0.0 | 646M| 771 | - |1050 | 178 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
486.75/486.96 c 460s| 2210k| 2190k| 0 | 0.0 | 649M| 771 | - |1050 | 138 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
489.05/489.27 c 463s| 2220k| 2200k| 0 | 0.0 | 652M| 771 | - |1050 | 194 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
491.25/491.49 c 465s| 2230k| 2210k| 0 | 0.0 | 655M| 771 | - |1050 | 130 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
493.45/493.68 c 467s| 2240k| 2220k| 0 | 0.0 | 658M| 771 | - |1050 | 159 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
495.65/495.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
495.65/495.83 c 469s| 2250k| 2230k| 0 | 0.0 | 660M| 771 | - |1050 | 129 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
497.74/497.96 c 471s| 2260k| 2240k| 0 | 0.0 | 663M| 771 | - |1050 | 177 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
499.94/500.12 c 473s| 2270k| 2250k| 0 | 0.0 | 666M| 771 | - |1050 | 158 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
502.04/502.27 c 475s| 2280k| 2260k| 0 | 0.0 | 669M| 771 | - |1050 | 157 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
504.25/504.45 c 477s| 2290k| 2270k| 0 | 0.0 | 672M| 771 | - |1050 | 173 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
506.44/506.61 c 479s| 2300k| 2279k| 0 | 0.0 | 675M| 771 | - |1050 | 165 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
508.64/508.83 c 481s| 2310k| 2289k| 0 | 0.0 | 678M| 771 | - |1050 | 138 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
510.74/510.99 c 483s| 2320k| 2299k| 0 | 0.0 | 681M| 771 | - |1050 | 163 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
512.94/513.13 c 485s| 2330k| 2309k| 0 | 0.0 | 684M| 771 | - |1050 | 180 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
515.04/515.28 c 487s| 2340k| 2319k| 0 | 0.0 | 687M| 771 | - |1050 | 169 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
517.24/517.41 c 489s| 2350k| 2329k| 0 | 0.0 | 690M| 771 | - |1050 | 157 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
519.34/519.56 c 491s| 2360k| 2339k| 0 | 0.0 | 692M| 771 | - |1050 | 193 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
521.54/521.75 c 493s| 2370k| 2349k| 0 | 0.0 | 695M| 771 | - |1050 | 165 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
523.74/523.91 c 495s| 2380k| 2359k| 0 | 0.0 | 698M| 771 | - |1050 | 195 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
525.84/526.03 c 497s| 2390k| 2369k| 0 | 0.0 | 701M| 771 | - |1050 | 257 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
528.04/528.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
528.04/528.20 c 499s| 2400k| 2379k| 0 | 0.0 | 704M| 771 | - |1050 | 184 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
530.23/530.42 c 502s| 2410k| 2389k| 0 | 0.0 | 707M| 771 | - |1050 | 143 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
532.44/532.62 c 504s| 2420k| 2398k| 0 | 0.0 | 710M| 771 | - |1050 | 184 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
534.53/534.79 c 506s| 2430k| 2408k| 0 | 0.0 | 713M| 771 | - |1050 | 164 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
536.64/536.88 c 508s| 2440k| 2418k| 0 | 0.0 | 716M| 771 | - |1050 | 171 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
538.84/539.05 c 510s| 2450k| 2428k| 0 | 0.0 | 719M| 771 | - |1050 | 230 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
541.05/541.22 c 512s| 2460k| 2438k| 0 | 0.0 | 722M| 771 | - |1050 | 174 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
543.14/543.39 c 514s| 2470k| 2448k| 0 | 0.0 | 725M| 771 | - |1050 | 138 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
545.34/545.50 c 516s| 2480k| 2458k| 0 | 0.0 | 728M| 771 | - |1050 | 203 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
547.43/547.63 c 518s| 2490k| 2468k| 0 | 0.0 | 731M| 771 | - |1050 | 202 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
549.64/549.87 c 520s| 2500k| 2478k| 0 | 0.0 | 734M| 771 | - |1050 | 233 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
551.83/552.07 c 522s| 2510k| 2488k| 0 | 0.0 | 737M| 771 | - |1050 | 181 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
554.04/554.20 c 524s| 2520k| 2498k| 0 | 0.0 | 739M| 771 | - |1050 | 180 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
556.13/556.35 c 526s| 2530k| 2508k| 0 | 0.0 | 742M| 771 | - |1050 | 211 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
558.23/558.47 c 528s| 2540k| 2517k| 0 | 0.0 | 745M| 771 | - |1050 | 165 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
560.43/560.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
560.43/560.62 c 530s| 2550k| 2527k| 0 | 0.0 | 748M| 771 | - |1050 | 216 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
562.62/562.80 c 532s| 2560k| 2537k| 0 | 0.0 | 751M| 771 | - |1050 | 177 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
564.73/564.95 c 534s| 2570k| 2547k| 0 | 0.0 | 754M| 771 | - |1050 | 163 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
566.82/567.09 c 536s| 2580k| 2557k| 0 | 0.0 | 757M| 771 | - |1050 | 208 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
569.03/569.25 c 538s| 2590k| 2567k| 0 | 0.0 | 760M| 771 | - |1050 | 195 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
571.22/571.41 c 540s| 2600k| 2577k| 0 | 0.0 | 763M| 771 | - |1050 | 180 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
573.43/573.61 c 542s| 2610k| 2587k| 0 | 0.0 | 766M| 771 | - |1050 | 217 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
575.53/575.73 c 544s| 2620k| 2597k| 0 | 0.0 | 769M| 771 | - |1050 | 209 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
577.62/577.83 c 546s| 2630k| 2607k| 0 | 0.0 | 771M| 771 | - |1050 | 171 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
579.72/579.97 c 548s| 2640k| 2617k| 0 | 0.0 | 774M| 771 | - |1050 | 141 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
581.92/582.11 c 550s| 2650k| 2627k| 0 | 0.0 | 777M| 771 | - |1050 | 173 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
584.03/584.23 c 552s| 2660k| 2636k| 0 | 0.0 | 780M| 771 | - |1050 | 143 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
586.22/586.40 c 554s| 2670k| 2646k| 0 | 0.0 | 783M| 771 | - |1050 | 166 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
588.33/588.54 c 556s| 2680k| 2656k| 0 | 0.0 | 786M| 771 | - |1050 | 175 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
590.43/590.69 c 558s| 2690k| 2666k| 0 | 0.0 | 789M| 771 | - |1050 | 170 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
592.63/592.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
592.63/592.85 c 560s| 2700k| 2676k| 0 | 0.0 | 792M| 771 | - |1050 | 165 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
594.83/595.01 c 563s| 2710k| 2686k| 0 | 0.0 | 795M| 771 | - |1050 | 199 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
596.92/597.14 c 565s| 2720k| 2696k| 0 | 0.0 | 798M| 771 | - |1050 | 193 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
599.02/599.22 c 566s| 2730k| 2706k| 0 | 0.0 | 801M| 771 | - |1050 | 237 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
601.12/601.37 c 569s| 2740k| 2716k| 0 | 0.0 | 804M| 771 | - |1050 | 249 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
603.32/603.53 c 571s| 2750k| 2726k| 0 | 0.0 | 807M| 771 | - |1050 | 170 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
605.52/605.71 c 573s| 2760k| 2736k| 0 | 0.0 | 809M| 771 | - |1050 | 134 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
607.72/607.92 c 575s| 2770k| 2746k| 0 | 0.0 | 812M| 771 | - |1050 | 179 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
609.81/610.08 c 577s| 2780k| 2755k| 0 | 0.0 | 815M| 771 | - |1050 | 176 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
612.01/612.28 c 579s| 2790k| 2765k| 0 | 0.0 | 818M| 771 | - |1050 | 143 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
614.22/614.47 c 581s| 2800k| 2775k| 0 | 0.0 | 821M| 771 | - |1050 | 150 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
616.41/616.61 c 583s| 2810k| 2785k| 0 | 0.0 | 824M| 771 | - |1050 | 135 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
618.51/618.75 c 585s| 2820k| 2795k| 0 | 0.0 | 827M| 771 | - |1050 | 163 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
620.61/620.86 c 587s| 2830k| 2805k| 0 | 0.0 | 830M| 771 | - |1050 | 180 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
622.81/623.01 c 589s| 2840k| 2815k| 0 | 0.0 | 833M| 771 | - |1050 | 146 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
625.01/625.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
625.01/625.23 c 591s| 2850k| 2825k| 0 | 0.0 | 835M| 771 | - |1050 | 149 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
627.10/627.40 c 593s| 2860k| 2835k| 0 | 0.0 | 838M| 771 | - |1050 | 164 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
629.31/629.51 c 595s| 2870k| 2845k| 0 | 0.0 | 841M| 771 | - |1050 | 160 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
631.31/631.58 c 597s| 2880k| 2855k| 0 | 0.0 | 844M| 771 | - |1050 | 174 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
633.41/633.67 c 599s| 2890k| 2864k| 0 | 0.0 | 847M| 771 | - |1050 | 253 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
635.61/635.82 c 601s| 2900k| 2874k| 0 | 0.0 | 850M| 771 | - |1050 | 186 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
637.72/637.96 c 603s| 2910k| 2884k| 0 | 0.0 | 853M| 771 | - |1050 | 199 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
639.92/640.19 c 605s| 2920k| 2894k| 0 | 0.0 | 856M| 771 | - |1050 | 181 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
642.11/642.31 c 607s| 2930k| 2904k| 0 | 0.0 | 859M| 771 | - |1050 | 184 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
644.11/644.37 c 609s| 2940k| 2914k| 0 | 0.0 | 862M| 771 | - |1050 | 173 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
646.30/646.54 c 611s| 2950k| 2924k| 0 | 0.0 | 865M| 771 | - |1050 | 169 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
648.50/648.71 c 613s| 2960k| 2934k| 0 | 0.0 | 868M| 771 | - |1050 | 182 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
650.60/650.82 c 615s| 2970k| 2944k| 0 | 0.0 | 871M| 771 | - |1050 | 191 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
652.70/652.97 c 617s| 2980k| 2954k| 0 | 0.0 | 874M| 771 | - |1050 | 213 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
654.80/655.06 c 619s| 2990k| 2964k| 0 | 0.0 | 876M| 771 | - |1050 | 234 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
657.00/657.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
657.00/657.22 c 621s| 3000k| 2973k| 0 | 0.0 | 879M| 771 | - |1050 | 191 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
659.10/659.35 c 623s| 3010k| 2983k| 0 | 0.0 | 882M| 771 | - |1050 | 183 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
661.20/661.48 c 625s| 3020k| 2993k| 0 | 0.0 | 885M| 771 | - |1050 | 177 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
663.30/663.56 c 627s| 3030k| 3003k| 0 | 0.0 | 888M| 771 | - |1050 | 175 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
665.40/665.69 c 629s| 3040k| 3013k| 0 | 0.0 | 891M| 771 | - |1050 | 212 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
667.50/667.80 c 631s| 3050k| 3023k| 0 | 0.0 | 894M| 771 | - |1050 | 204 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
669.70/669.92 c 633s| 3060k| 3033k| 0 | 0.0 | 897M| 771 | - |1050 | 179 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
671.81/672.07 c 635s| 3070k| 3043k| 0 | 0.0 | 900M| 771 | - |1050 | 245 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
673.90/674.17 c 637s| 3080k| 3053k| 0 | 0.0 | 903M| 771 | - |1050 | 232 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
676.10/676.30 c 639s| 3090k| 3063k| 0 | 0.0 | 905M| 771 | - |1050 | 196 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
678.19/678.42 c 641s| 3100k| 3073k| 0 | 0.0 | 908M| 771 | - |1050 | 219 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
680.30/680.54 c 643s| 3110k| 3082k| 0 | 0.0 | 911M| 771 | - |1050 | 193 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
682.50/682.74 c 645s| 3120k| 3092k| 0 | 0.0 | 914M| 771 | - |1050 | 204 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
684.59/684.85 c 647s| 3130k| 3102k| 0 | 0.0 | 917M| 771 | - |1050 | 176 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
686.69/686.91 c 649s| 3140k| 3112k| 0 | 0.0 | 920M| 771 | - |1050 | 216 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
688.69/688.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
688.69/688.95 c 651s| 3150k| 3122k| 0 | 0.0 | 923M| 771 | - |1050 | 191 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
690.79/691.04 c 653s| 3160k| 3132k| 0 | 0.0 | 926M| 771 | - |1050 | 231 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
692.89/693.12 c 655s| 3170k| 3142k| 0 | 0.0 | 929M| 771 | - |1050 | 169 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
695.00/695.26 c 657s| 3180k| 3152k| 0 | 0.0 | 932M| 771 | - |1050 | 197 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
697.20/697.41 c 659s| 3190k| 3162k| 0 | 0.0 | 935M| 771 | - |1050 | 200 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
699.29/699.53 c 661s| 3200k| 3172k| 0 | 0.0 | 938M| 771 | - |1050 | 215 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
701.38/701.64 c 663s| 3210k| 3182k| 0 | 0.0 | 940M| 771 | - |1050 | 230 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
703.59/703.81 c 665s| 3220k| 3191k| 0 | 0.0 | 943M| 771 | - |1050 | 201 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
705.78/706.01 c 667s| 3230k| 3201k| 0 | 0.0 | 946M| 771 | - |1050 | 187 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
707.88/708.10 c 669s| 3240k| 3211k| 0 | 0.0 | 949M| 771 | - |1050 | 143 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
709.88/710.18 c 671s| 3250k| 3221k| 0 | 0.0 | 952M| 771 | - |1050 | 180 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
711.98/712.28 c 673s| 3260k| 3231k| 0 | 0.0 | 955M| 771 | - |1050 | 208 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
714.19/714.45 c 675s| 3270k| 3241k| 0 | 0.0 | 958M| 771 | - |1050 | 199 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
716.28/716.58 c 677s| 3280k| 3251k| 0 | 0.0 | 961M| 771 | - |1050 | 205 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
718.48/718.71 c 679s| 3290k| 3261k| 0 | 0.0 | 964M| 771 | - |1050 | 213 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
720.58/720.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
720.58/720.83 c 681s| 3300k| 3271k| 0 | 0.0 | 967M| 771 | - |1050 | 182 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
722.68/722.92 c 683s| 3310k| 3281k| 0 | 0.0 | 970M| 771 | - |1050 | 203 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
724.87/725.15 c 685s| 3320k| 3291k| 0 | 0.0 | 972M| 771 | - |1050 | 178 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
727.07/727.32 c 687s| 3330k| 3300k| 0 | 0.0 | 975M| 771 | - |1050 | 202 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
729.27/729.50 c 690s| 3340k| 3310k| 0 | 0.0 | 978M| 771 | - |1050 | 174 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
731.38/731.64 c 692s| 3350k| 3320k| 0 | 0.0 | 981M| 771 | - |1050 | 194 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
733.38/733.70 c 693s| 3360k| 3330k| 0 | 0.0 | 984M| 771 | - |1050 | 259 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
735.48/735.77 c 695s| 3370k| 3340k| 0 | 0.0 | 987M| 771 | - |1050 | 227 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
737.57/737.88 c 697s| 3380k| 3350k| 0 | 0.0 | 990M| 771 | - |1050 | 205 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
739.68/739.97 c 699s| 3390k| 3360k| 0 | 0.0 | 993M| 771 | - |1050 | 237 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
741.77/742.02 c 701s| 3400k| 3370k| 0 | 0.0 | 996M| 771 | - |1050 | 222 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
743.87/744.13 c 703s| 3410k| 3380k| 0 | 0.0 | 999M| 771 | - |1050 | 158 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
745.97/746.22 c 705s| 3420k| 3390k| 0 | 0.0 |1001M| 771 | - |1050 | 185 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
747.97/748.28 c 707s| 3430k| 3400k| 0 | 0.0 |1004M| 771 | - |1050 | 155 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
750.08/750.39 c 709s| 3440k| 3409k| 0 | 0.0 |1007M| 771 | - |1050 | 206 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
752.27/752.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
752.27/752.50 c 711s| 3450k| 3419k| 0 | 0.0 |1010M| 771 | - |1050 | 164 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
754.28/754.55 c 713s| 3460k| 3429k| 0 | 0.0 |1013M| 771 | - |1050 | 228 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
756.27/756.59 c 715s| 3470k| 3439k| 0 | 0.0 |1016M| 771 | - |1050 | 182 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
758.57/758.80 c 717s| 3480k| 3449k| 0 | 0.0 |1019M| 771 | - |1050 | 192 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
760.67/760.93 c 719s| 3490k| 3459k| 0 | 0.0 |1022M| 771 | - |1050 | 193 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
762.77/763.04 c 721s| 3500k| 3469k| 0 | 0.0 |1025M| 771 | - |1050 | 208 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
764.86/765.11 c 723s| 3510k| 3479k| 0 | 0.0 |1028M| 771 | - |1050 | 229 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
766.87/767.18 c 725s| 3520k| 3489k| 0 | 0.0 |1031M| 771 | - |1050 | 227 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
768.96/769.20 c 727s| 3530k| 3499k| 0 | 0.0 |1034M| 771 | - |1050 | 281 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
771.16/771.40 c 729s| 3540k| 3509k| 0 | 0.0 |1037M| 771 | - |1050 | 257 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
773.17/773.49 c 731s| 3550k| 3518k| 0 | 0.0 |1040M| 771 | - |1050 | 169 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
775.37/775.63 c 733s| 3560k| 3528k| 0 | 0.0 |1042M| 771 | - |1050 | 155 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
777.37/777.69 c 735s| 3570k| 3538k| 0 | 0.0 |1045M| 771 | - |1050 | 206 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
779.57/779.80 c 737s| 3580k| 3548k| 0 | 0.0 |1048M| 771 | - |1050 | 182 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
781.56/781.88 c 739s| 3590k| 3558k| 0 | 0.0 |1051M| 771 | - |1050 | 177 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
783.77/784.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
783.77/784.03 c 741s| 3600k| 3568k| 0 | 0.0 |1054M| 771 | - |1050 | 155 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
785.86/786.11 c 743s| 3610k| 3578k| 0 | 0.0 |1057M| 771 | - |1050 | 169 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
787.96/788.24 c 745s| 3620k| 3588k| 0 | 0.0 |1060M| 771 | - |1050 | 177 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
790.06/790.31 c 747s| 3630k| 3598k| 0 | 0.0 |1063M| 771 | - |1050 | 214 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
792.06/792.39 c 749s| 3640k| 3608k| 0 | 0.0 |1066M| 771 | - |1050 | 182 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
794.16/794.47 c 751s| 3650k| 3618k| 0 | 0.0 |1069M| 771 | - |1050 | 177 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
796.26/796.56 c 753s| 3660k| 3627k| 0 | 0.0 |1072M| 771 | - |1050 | 203 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
798.46/798.70 c 755s| 3670k| 3637k| 0 | 0.0 |1075M| 771 | - |1050 | 244 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
800.46/800.79 c 757s| 3680k| 3647k| 0 | 0.0 |1078M| 771 | - |1050 | 232 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
802.66/802.95 c 759s| 3690k| 3657k| 0 | 0.0 |1080M| 771 | - |1050 | 200 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
804.76/805.02 c 761s| 3700k| 3667k| 0 | 0.0 |1083M| 771 | - |1050 | 195 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
806.85/807.15 c 763s| 3710k| 3677k| 0 | 0.0 |1086M| 771 | - |1050 | 189 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
808.96/809.28 c 765s| 3720k| 3687k| 0 | 0.0 |1089M| 771 | - |1050 | 178 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
811.16/811.45 c 767s| 3730k| 3697k| 0 | 0.0 |1092M| 771 | - |1050 | 163 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
813.16/813.50 c 769s| 3740k| 3707k| 0 | 0.0 |1095M| 771 | - |1050 | 211 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
815.26/815.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
815.26/815.58 c 771s| 3750k| 3717k| 0 | 0.0 |1098M| 771 | - |1050 | 257 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
817.35/817.65 c 773s| 3760k| 3727k| 0 | 0.0 |1101M| 771 | - |1050 | 207 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
819.36/819.69 c 775s| 3770k| 3736k| 0 | 0.0 |1104M| 771 | - |1050 | 201 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
821.46/821.74 c 777s| 3780k| 3746k| 0 | 0.0 |1107M| 771 | - |1050 | 234 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
823.56/823.84 c 779s| 3790k| 3756k| 0 | 0.0 |1109M| 771 | - |1050 | 243 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
825.65/825.97 c 781s| 3800k| 3766k| 0 | 0.0 |1112M| 771 | - |1050 | 220 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
827.75/828.07 c 783s| 3810k| 3776k| 0 | 0.0 |1115M| 771 | - |1050 | 297 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
829.75/830.09 c 784s| 3820k| 3786k| 0 | 0.0 |1118M| 771 | - |1050 | 249 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
831.95/832.21 c 786s| 3830k| 3796k| 0 | 0.0 |1121M| 771 | - |1050 | 203 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
833.94/834.26 c 788s| 3840k| 3806k| 0 | 0.0 |1124M| 771 | - |1050 | 225 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
835.94/836.28 c 790s| 3850k| 3816k| 0 | 0.0 |1127M| 771 | - |1050 | 219 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
838.05/838.33 c 792s| 3860k| 3826k| 0 | 0.0 |1130M| 771 | - |1050 | 276 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
840.15/840.45 c 794s| 3870k| 3836k| 0 | 0.0 |1133M| 771 | - |1050 | 248 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
842.25/842.50 c 796s| 3880k| 3845k| 0 | 0.0 |1136M| 771 | - |1050 | 237 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
844.34/844.64 c 798s| 3890k| 3855k| 0 | 0.0 |1139M| 771 | - |1050 | 231 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
846.35/846.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
846.35/846.69 c 800s| 3900k| 3865k| 0 | 0.0 |1142M| 771 | - |1050 | 240 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
848.54/848.81 c 802s| 3910k| 3875k| 0 | 0.0 |1145M| 771 | - |1050 | 225 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
850.64/850.94 c 804s| 3920k| 3885k| 0 | 0.0 |1148M| 771 | - |1050 | 242 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
852.74/853.03 c 806s| 3930k| 3895k| 0 | 0.0 |1150M| 771 | - |1050 | 198 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
854.84/855.14 c 808s| 3940k| 3905k| 0 | 0.0 |1153M| 771 | - |1050 | 225 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
856.94/857.22 c 810s| 3950k| 3915k| 0 | 0.0 |1156M| 771 | - |1050 | 198 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
859.04/859.34 c 812s| 3960k| 3925k| 0 | 0.0 |1159M| 771 | - |1050 | 193 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
861.04/861.37 c 814s| 3970k| 3935k| 0 | 0.0 |1162M| 771 | - |1050 | 250 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
863.14/863.41 c 816s| 3980k| 3945k| 0 | 0.0 |1165M| 771 | - |1050 | 206 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
865.14/865.47 c 818s| 3990k| 3954k| 0 | 0.0 |1168M| 771 | - |1050 | 241 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
867.33/867.63 c 820s| 4000k| 3964k| 0 | 0.0 |1171M| 771 | - |1050 | 274 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
869.34/869.69 c 822s| 4010k| 3974k| 0 | 0.0 |1174M| 771 | - |1050 | 235 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
871.44/871.77 c 824s| 4020k| 3984k| 0 | 0.0 |1177M| 771 | - |1050 | 236 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
873.64/873.98 c 826s| 4030k| 3994k| 0 | 0.0 |1180M| 771 | - |1050 | 203 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
875.73/876.04 c 828s| 4040k| 4004k| 0 | 0.0 |1183M| 771 | - |1050 | 194 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
877.74/878.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
877.74/878.04 c 830s| 4050k| 4014k| 0 | 0.0 |1186M| 771 | - |1050 | 233 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
879.84/880.16 c 832s| 4060k| 4024k| 0 | 0.0 |1189M| 771 | - |1050 | 227 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
881.94/882.29 c 834s| 4070k| 4034k| 0 | 0.0 |1191M| 771 | - |1050 | 195 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
884.14/884.44 c 836s| 4080k| 4044k| 0 | 0.0 |1194M| 771 | - |1050 | 151 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
886.13/886.47 c 838s| 4090k| 4054k| 0 | 0.0 |1197M| 771 | - |1050 | 147 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
888.23/888.55 c 840s| 4100k| 4063k| 0 | 0.0 |1200M| 771 | - |1050 | 234 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
890.23/890.58 c 841s| 4110k| 4073k| 0 | 0.0 |1203M| 771 | - |1050 | 209 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
892.33/892.66 c 843s| 4120k| 4083k| 0 | 0.0 |1206M| 771 | - |1050 | 198 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
894.42/894.75 c 845s| 4130k| 4093k| 0 | 0.0 |1209M| 771 | - |1050 | 198 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
896.63/896.92 c 847s| 4140k| 4103k| 0 | 0.0 |1212M| 771 | - |1050 | 242 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
898.73/899.08 c 849s| 4150k| 4113k| 0 | 0.0 |1215M| 771 | - |1050 | 196 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
900.93/901.23 c 852s| 4160k| 4123k| 0 | 0.0 |1218M| 771 | - |1050 | 201 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
902.93/903.28 c 853s| 4170k| 4133k| 0 | 0.0 |1220M| 771 | - |1050 | 193 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
905.03/905.33 c 855s| 4180k| 4143k| 0 | 0.0 |1223M| 771 | - |1050 | 211 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
907.02/907.39 c 857s| 4190k| 4153k| 0 | 0.0 |1226M| 771 | - |1050 | 187 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
909.13/909.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
909.13/909.47 c 859s| 4200k| 4163k| 0 | 0.0 |1229M| 771 | - |1050 | 182 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
911.32/911.64 c 861s| 4210k| 4172k| 0 | 0.0 |1232M| 771 | - |1050 | 230 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
913.42/913.79 c 863s| 4220k| 4182k| 0 | 0.0 |1235M| 771 | - |1050 | 237 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
915.52/915.86 c 865s| 4230k| 4192k| 0 | 0.0 |1238M| 771 | - |1050 | 189 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
917.62/917.92 c 867s| 4240k| 4202k| 0 | 0.0 |1241M| 771 | - |1050 | 223 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
919.72/920.04 c 869s| 4250k| 4212k| 0 | 0.0 |1244M| 771 | - |1050 | 225 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
921.82/922.13 c 871s| 4260k| 4222k| 0 | 0.0 |1247M| 771 | - |1050 | 220 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
923.92/924.25 c 873s| 4270k| 4232k| 0 | 0.0 |1250M| 771 | - |1050 | 222 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
926.02/926.34 c 875s| 4280k| 4242k| 0 | 0.0 |1252M| 771 | - |1050 | 205 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
928.13/928.47 c 877s| 4290k| 4252k| 0 | 0.0 |1255M| 771 | - |1050 | 196 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
930.12/930.50 c 879s| 4300k| 4262k| 0 | 0.0 |1258M| 771 | - |1050 | 206 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
932.22/932.53 c 881s| 4310k| 4271k| 0 | 0.0 |1261M| 771 | - |1050 | 205 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
934.42/934.76 c 883s| 4320k| 4281k| 0 | 0.0 |1264M| 771 | - |1050 | 182 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
936.42/936.73 c 885s| 4330k| 4291k| 0 | 0.0 |1267M| 771 | - |1050 | 220 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
938.42/938.74 c 887s| 4340k| 4301k| 0 | 0.0 |1270M| 771 | - |1050 | 260 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
940.41/940.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
940.41/940.75 c 889s| 4350k| 4311k| 0 | 0.0 |1273M| 771 | - |1050 | 218 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
942.51/942.89 c 891s| 4360k| 4321k| 0 | 0.0 |1276M| 771 | - |1050 | 260 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
944.72/945.06 c 893s| 4370k| 4331k| 0 | 0.0 |1279M| 771 | - |1050 | 282 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
946.91/947.26 c 895s| 4380k| 4341k| 0 | 0.0 |1282M| 771 | - |1050 | 212 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
949.02/949.33 c 897s| 4390k| 4351k| 0 | 0.0 |1285M| 771 | - |1050 | 235 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
951.02/951.37 c 899s| 4400k| 4361k| 0 | 0.0 |1287M| 771 | - |1050 | 244 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
953.11/953.43 c 901s| 4410k| 4370k| 0 | 0.0 |1290M| 771 | - |1050 | 224 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
955.11/955.46 c 903s| 4420k| 4380k| 0 | 0.0 |1293M| 771 | - |1050 | 251 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
957.21/957.56 c 905s| 4430k| 4390k| 0 | 0.0 |1296M| 771 | - |1050 | 201 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
959.42/959.76 c 907s| 4440k| 4400k| 0 | 0.0 |1299M| 771 | - |1050 | 193 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
961.61/961.95 c 909s| 4450k| 4410k| 0 | 0.0 |1302M| 771 | - |1050 | 176 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
963.71/964.03 c 911s| 4460k| 4420k| 0 | 0.0 |1305M| 771 | - |1050 | 170 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
965.81/966.10 c 913s| 4470k| 4430k| 0 | 0.0 |1308M| 771 | - |1050 | 176 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
968.00/968.30 c 915s| 4480k| 4440k| 0 | 0.0 |1311M| 771 | - |1050 | 152 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
970.01/970.38 c 917s| 4490k| 4450k| 0 | 0.0 |1314M| 771 | - |1050 | 227 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
972.21/972.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
972.21/972.52 c 919s| 4500k| 4460k| 0 | 0.0 |1317M| 771 | - |1050 | 184 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
974.31/974.61 c 921s| 4510k| 4469k| 0 | 0.0 |1320M| 771 | - |1050 | 181 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
976.31/976.67 c 923s| 4520k| 4479k| 0 | 0.0 |1322M| 771 | - |1050 | 166 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
978.40/978.75 c 925s| 4530k| 4489k| 0 | 0.0 |1325M| 771 | - |1050 | 220 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
980.50/980.82 c 927s| 4540k| 4499k| 0 | 0.0 |1328M| 771 | - |1050 | 259 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
982.60/982.94 c 929s| 4550k| 4509k| 0 | 0.0 |1331M| 771 | - |1050 | 219 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
984.71/985.06 c 931s| 4560k| 4519k| 0 | 0.0 |1334M| 771 | - |1050 | 190 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
986.81/987.17 c 933s| 4570k| 4529k| 0 | 0.0 |1337M| 771 | - |1050 | 172 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
988.90/989.23 c 935s| 4580k| 4539k| 0 | 0.0 |1340M| 771 | - |1050 | 179 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
991.01/991.33 c 937s| 4590k| 4549k| 0 | 0.0 |1343M| 771 | - |1050 | 204 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
993.10/993.41 c 939s| 4600k| 4559k| 0 | 0.0 |1346M| 771 | - |1050 | 194 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
995.10/995.48 c 940s| 4610k| 4569k| 0 | 0.0 |1349M| 771 | - |1050 | 197 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
997.20/997.57 c 942s| 4620k| 4578k| 0 | 0.0 |1352M| 771 | - |1050 | 238 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
999.40/999.70 c 944s| 4630k| 4588k| 0 | 0.0 |1354M| 771 | - |1050 | 232 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
1001.50/1001.84 c 946s| 4640k| 4598k| 0 | 0.0 |1357M| 771 | - |1050 | 190 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
1002.30/1002.60 c (node 4643764) switching to memory saving mode (mem: 1296.0M/1620.0M)
1018.69/1019.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1018.69/1019.04 c 963s| 4650k| 4602k| 0 | 0.0 |1359M| 785 | - |1050 | 325 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
1045.18/1045.52 c 989s| 4660k| 4602k| 0 | 0.0 |1359M| 785 | - |1050 | 352 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
1073.08/1073.44 c 1017s| 4670k| 4602k| 0 | 0.0 |1359M| 785 | - |1050 | 396 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
1098.67/1099.07 c 1042s| 4680k| 4602k| 0 | 0.0 |1359M| 795 | - |1050 | 357 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1122.16/1122.56 c 1065s| 4690k| 4602k| 0 | 0.0 |1359M| 795 | - |1050 | 419 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1148.86/1149.22 c 1091s| 4700k| 4602k| 0 | 0.0 |1359M| 795 | - |1050 | 430 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1178.04/1178.40 c 1120s| 4710k| 4602k| 0 | 0.0 |1359M| 795 | - |1050 | 450 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1208.14/1208.51 c 1150s| 4720k| 4602k| 0 | 0.0 |1359M| 795 | - |1050 | 406 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1237.13/1237.59 c 1179s| 4730k| 4602k| 0 | 0.0 |1359M| 795 | - |1050 | 444 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
1266.73/1267.14 c 1208s| 4740k| 4602k| 0 | 0.0 |1359M| 810 | - |1050 | 441 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
1295.31/1295.74 c 1236s| 4750k| 4602k| 0 | 0.0 |1359M| 810 | - |1050 | 457 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
1323.91/1324.34 c 1264s| 4760k| 4602k| 0 | 0.0 |1359M| 810 | - |1050 | 468 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
1353.80/1354.29 c 1294s| 4770k| 4602k| 0 | 0.0 |1359M| 810 | - |1050 | 474 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
1380.69/1381.13 c 1320s| 4780k| 4602k| 0 | 0.0 |1359M| 810 | - |1050 | 502 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
1405.78/1406.28 c 1345s| 4790k| 4602k| 0 | 0.0 |1359M| 810 | - |1050 | 489 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
1433.47/1433.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1433.47/1433.96 c 1372s| 4800k| 4602k| 0 | 0.0 |1359M| 810 | - |1050 | 507 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
1464.06/1464.52 c 1402s| 4810k| 4602k| 0 | 0.0 |1359M| 810 | - |1050 | 482 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1487.66/1488.11 c 1425s| 4820k| 4602k| 0 | 0.0 |1359M| 810 | - |1050 | 440 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
1510.24/1510.75 c 1448s| 4830k| 4602k| 0 | 0.0 |1359M| 810 | - |1050 | 454 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
1536.25/1536.75 c 1473s| 4840k| 4602k| 0 | 0.0 |1359M| 810 | - |1050 | 430 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
1557.74/1558.23 c 1494s| 4850k| 4602k| 0 | 0.0 |1359M| 810 | - |1050 | 425 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
1583.63/1584.18 c 1520s| 4860k| 4602k| 0 | 0.0 |1359M| 810 | - |1050 | 430 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
1613.23/1613.71 c 1549s| 4870k| 4602k| 0 | 0.0 |1359M| 810 | - |1050 | 452 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
1641.82/1642.35 c 1577s| 4880k| 4602k| 0 | 0.0 |1359M| 810 | - |1050 | 461 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
1672.31/1672.88 c 1607s| 4890k| 4602k| 0 | 0.0 |1359M| 810 | - |1050 | 454 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
1701.00/1701.56 c 1635s| 4900k| 4602k| 0 | 0.0 |1359M| 810 | - |1050 | 437 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
1728.69/1729.25 c 1663s| 4910k| 4602k| 0 | 0.0 |1359M| 810 | - |1050 | 417 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
1755.79/1756.37 c 1689s| 4920k| 4602k| 0 | 0.0 |1359M| 810 | - |1050 | 427 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
1786.37/1786.99 c 1720s| 4930k| 4602k| 0 | 0.0 |1359M| 810 | - |1050 | 433 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
1800.08/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.61 c
1800.08/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.61 c Solving Time (sec) : 1733.02
1800.08/1800.61 c Solving Nodes : 4935329
1800.08/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.08/1800.61 c Dual Bound : +0.00000000000000e+00
1800.08/1800.61 c Gap : infinite
1800.08/1800.61 s UNKNOWN
1800.08/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.61 c Solving Time : 1733.02
1800.08/1800.61 c Original Problem :
1800.08/1800.61 c Problem name : HOME/instance-2664743-1276581808.opb
1800.08/1800.61 c Variables : 1050 (1050 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.61 c Constraints : 65 initial, 65 maximal
1800.08/1800.61 c Presolved Problem :
1800.08/1800.61 c Problem name : t_HOME/instance-2664743-1276581808.opb
1800.08/1800.61 c Variables : 1050 (1050 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.61 c Constraints : 65 initial, 3375 maximal
1800.08/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.08/1800.61 c root node : - 0 - - 0 - - - -
1800.08/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.61 c setppc : 30 0 6859563 0 4829745 112036 12758102 0 0 0
1800.08/1800.61 c logicor : 35+ 0 2413669 0 4829743 96511 2328279 0 0 0
1800.08/1800.61 c countsols : 0 0 0 0 4829742 0 0 0 0 0
1800.08/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.61 c setppc : 535.69 0.00 406.97 0.00 128.72
1800.08/1800.61 c logicor : 485.96 0.00 386.68 0.00 99.28
1800.08/1800.61 c countsols : 1.97 0.00 0.00 0.00 1.97
1800.08/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.61 c vbounds : 3.01 1 0 0
1800.08/1800.61 c rootredcost : 3.58 0 0 0
1800.08/1800.61 c pseudoobj : 2.97 0 0 0
1800.08/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.61 c propagation : 750.54 208547 208547 2599136 385.7 6325 226.1 -
1800.08/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.08/1800.61 c applied globally : - - - 85925 74.3 - - -
1800.08/1800.61 c applied locally : - - - 173172 247.6 - - -
1800.08/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.08/1800.61 c redcost : 0.00 0 0 0 0 0
1800.08/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.08/1800.61 c intobj : 0.00 0 0 0 0 0
1800.08/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.61 c gomory : 0.00 0 0 0 0 0
1800.08/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.08/1800.61 c cmir : 0.00 0 0 0 0 0
1800.08/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.08/1800.61 c clique : 0.00 0 0 0 0 0
1800.08/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.61 c mcf : 0.00 0 0 0 0 0
1800.08/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.61 c Pricers : Time Calls Vars
1800.08/1800.61 c problem variables: 0.00 0 0
1800.08/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.08/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.61 c inference : 532.50 4829742 0 0 0 0 9659484
1800.08/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.61 c random : 0.00 0 0 0 0 0 0
1800.08/1800.61 c Primal Heuristics : Time Calls Found
1800.08/1800.61 c LP solutions : 0.00 - 0
1800.08/1800.61 c pseudo solutions : 0.00 - 0
1800.08/1800.61 c trivial : 0.00 1 0
1800.08/1800.61 c simplerounding : 0.00 0 0
1800.08/1800.61 c zirounding : 0.00 0 0
1800.08/1800.61 c rounding : 0.00 0 0
1800.08/1800.61 c shifting : 0.00 0 0
1800.08/1800.61 c intshifting : 0.00 0 0
1800.08/1800.61 c oneopt : 0.00 0 0
1800.08/1800.61 c twoopt : 0.00 0 0
1800.08/1800.61 c fixandinfer : 0.00 0 0
1800.08/1800.61 c feaspump : 0.00 0 0
1800.08/1800.61 c coefdiving : 0.00 0 0
1800.08/1800.61 c pscostdiving : 0.00 0 0
1800.08/1800.61 c fracdiving : 0.00 0 0
1800.08/1800.61 c veclendiving : 0.00 0 0
1800.08/1800.61 c intdiving : 0.00 0 0
1800.08/1800.61 c actconsdiving : 0.00 0 0
1800.08/1800.61 c objpscostdiving : 0.00 0 0
1800.08/1800.61 c rootsoldiving : 0.00 0 0
1800.08/1800.61 c linesearchdiving : 0.00 0 0
1800.08/1800.61 c guideddiving : 0.00 0 0
1800.08/1800.61 c octane : 0.00 0 0
1800.08/1800.61 c rens : 0.00 0 0
1800.08/1800.61 c rins : 0.00 0 0
1800.08/1800.61 c localbranching : 0.00 0 0
1800.08/1800.61 c mutation : 0.00 0 0
1800.08/1800.61 c crossover : 0.00 0 0
1800.08/1800.61 c dins : 0.00 0 0
1800.08/1800.61 c undercover : 0.00 0 0
1800.08/1800.61 c nlp : 0.00 0 0
1800.08/1800.61 c trysol : 0.00 0 0
1800.08/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.08/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.08/1800.61 c (at root node) : - 0 0 0.00 -
1800.08/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.61 c B&B Tree :
1800.08/1800.61 c number of runs : 1
1800.08/1800.61 c nodes : 4935329
1800.08/1800.61 c nodes (total) : 4935329
1800.08/1800.61 c nodes left : 4602388
1800.08/1800.61 c max depth : 810
1800.08/1800.61 c max depth (total): 810
1800.08/1800.61 c backtracks : 108811 (2.2%)
1800.08/1800.61 c delayed cutoffs : 121768
1800.08/1800.61 c repropagations : 265805 (6155759 domain reductions, 102960 cutoffs)
1800.08/1800.61 c avg switch length: 2.52
1800.08/1800.61 c switching time : 68.31
1800.08/1800.61 c Solution :
1800.08/1800.61 c Solutions found : 0 (0 improvements)
1800.08/1800.61 c Primal Bound : -
1800.08/1800.61 c Dual Bound : +0.00000000000000e+00
1800.08/1800.61 c Gap : infinite
1800.08/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.08/1800.61 c Root Iterations : 0