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-2664274-1276270661.opb>
0.00/0.01 c original problem has 266 variables (266 bin, 0 int, 0 impl, 0 cont) and 401 constraints
0.00/0.01 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.02 c presolving:
0.00/0.04 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 401 upgd conss, 298 impls, 0 clqs
0.00/0.05 c (round 2) 8 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 401 upgd conss, 7146 impls, 0 clqs
0.00/0.05 c presolving (3 rounds):
0.00/0.05 c 8 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 7146 implications, 0 cliques
0.00/0.05 c presolved problem has 258 variables (258 bin, 0 int, 0 impl, 0 cont) and 401 constraints
0.00/0.05 c 164 constraints of type <knapsack>
0.00/0.05 c 237 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.05 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.05 c 0.0s| 1 | 2 | 0 | - |1292k| 0 | - | 258 | 401 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.69/1.71 c 1.5s| 10000 | 6891 | 0 | 0.0 |5103k| 66 | - | 258 | 507 | 0 | 0 | 0 | 363 | 0 | 0.000000e+00 | -- | Inf
3.39/3.44 c 3.1s| 20000 | 13175 | 0 | 0.0 |8446k| 76 | - | 258 | 500 | 0 | 0 | 0 | 816 | 0 | 0.000000e+00 | -- | Inf
4.99/5.05 c 4.5s| 30000 | 20289 | 0 | 0.0 | 12M| 76 | - | 258 | 538 | 0 | 0 | 0 |1147 | 0 | 0.000000e+00 | -- | Inf
6.69/6.76 c 6.1s| 40000 | 26971 | 0 | 0.0 | 15M| 76 | - | 258 | 581 | 0 | 0 | 0 |1620 | 0 | 0.000000e+00 | -- | Inf
8.49/8.52 c 7.7s| 50000 | 33343 | 0 | 0.0 | 18M| 76 | - | 258 | 560 | 0 | 0 | 0 |2162 | 0 | 0.000000e+00 | -- | Inf
10.19/10.27 c 9.3s| 60000 | 39649 | 0 | 0.0 | 22M| 76 | - | 258 | 587 | 0 | 0 | 0 |2640 | 0 | 0.000000e+00 | -- | Inf
12.00/12.06 c 10.9s| 70000 | 45775 | 0 | 0.0 | 25M| 76 | - | 258 | 565 | 0 | 0 | 0 |3102 | 0 | 0.000000e+00 | -- | Inf
13.89/13.92 c 12.6s| 80000 | 51529 | 0 | 0.0 | 28M| 76 | - | 258 | 608 | 0 | 0 | 0 |3657 | 0 | 0.000000e+00 | -- | Inf
15.79/15.80 c 14.3s| 90000 | 57065 | 0 | 0.0 | 32M| 76 | - | 258 | 593 | 0 | 0 | 0 |4223 | 0 | 0.000000e+00 | -- | Inf
17.69/17.74 c 16.0s|100000 | 62487 | 0 | 0.0 | 35M| 76 | - | 258 | 573 | 0 | 0 | 0 |4821 | 0 | 0.000000e+00 | -- | Inf
19.70/19.75 c 17.8s|110000 | 67686 | 0 | 0.0 | 38M| 76 | - | 258 | 577 | 0 | 0 | 0 |5528 | 0 | 0.000000e+00 | -- | Inf
21.79/21.80 c 19.7s|120000 | 72538 | 0 | 0.0 | 41M| 76 | - | 258 | 565 | 0 | 0 | 0 |6241 | 0 | 0.000000e+00 | -- | Inf
23.88/23.94 c 21.6s|130000 | 76978 | 0 | 0.0 | 44M| 76 | - | 258 | 571 | 0 | 0 | 0 |6994 | 0 | 0.000000e+00 | -- | Inf
26.08/26.17 c 23.7s|140000 | 81073 | 0 | 0.0 | 47M| 88 | - | 258 | 499 | 0 | 0 | 0 |7656 | 0 | 0.000000e+00 | -- | Inf
28.08/28.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.08/28.13 c 25.5s|150000 | 86570 | 0 | 0.0 | 50M| 88 | - | 258 | 647 | 0 | 0 | 0 |8232 | 0 | 0.000000e+00 | -- | Inf
29.79/29.86 c 27.0s|160000 | 93282 | 0 | 0.0 | 53M| 88 | - | 258 | 671 | 0 | 0 | 0 |8676 | 0 | 0.000000e+00 | -- | Inf
31.58/31.63 c 28.6s|170000 | 99829 | 0 | 0.0 | 57M| 88 | - | 258 | 733 | 0 | 0 | 0 |9160 | 0 | 0.000000e+00 | -- | Inf
33.38/33.48 c 30.3s|180000 |106089 | 0 | 0.0 | 60M| 88 | - | 258 | 708 | 0 | 0 | 0 |9677 | 0 | 0.000000e+00 | -- | Inf
35.28/35.33 c 32.0s|190000 |112329 | 0 | 0.0 | 63M| 88 | - | 258 | 717 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
37.18/37.20 c 33.7s|200000 |118424 | 0 | 0.0 | 67M| 88 | - | 258 | 680 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
38.98/39.08 c 35.4s|210000 |124511 | 0 | 0.0 | 70M| 88 | - | 258 | 711 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
40.88/40.92 c 37.1s|220000 |130680 | 0 | 0.0 | 74M| 88 | - | 258 | 721 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
42.68/42.77 c 38.8s|230000 |136848 | 0 | 0.0 | 77M| 88 | - | 258 | 739 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
44.58/44.66 c 40.5s|240000 |142937 | 0 | 0.0 | 80M| 88 | - | 258 | 749 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
46.48/46.55 c 42.2s|250000 |149026 | 0 | 0.0 | 84M| 88 | - | 258 | 667 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
48.39/48.43 c 43.9s|260000 |155066 | 0 | 0.0 | 87M| 88 | - | 258 | 682 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
50.27/50.33 c 45.7s|270000 |160997 | 0 | 0.0 | 90M| 88 | - | 258 | 678 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
52.18/52.23 c 47.4s|280000 |166879 | 0 | 0.0 | 94M| 88 | - | 258 | 706 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
54.08/54.15 c 49.2s|290000 |172712 | 0 | 0.0 | 97M| 88 | - | 258 | 689 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
55.99/56.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.99/56.07 c 51.0s|300000 |178696 | 0 | 0.0 | 100M| 88 | - | 258 | 696 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
57.87/58.00 c 52.7s|310000 |184615 | 0 | 0.0 | 104M| 88 | - | 258 | 704 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
59.87/59.93 c 54.5s|320000 |190517 | 0 | 0.0 | 107M| 88 | - | 258 | 693 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
61.88/61.91 c 56.3s|330000 |196126 | 0 | 0.0 | 110M| 88 | - | 258 | 680 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
63.87/63.91 c 58.1s|340000 |201692 | 0 | 0.0 | 113M| 88 | - | 258 | 677 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
65.88/65.94 c 60.0s|350000 |207198 | 0 | 0.0 | 117M| 88 | - | 258 | 706 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
67.87/67.91 c 61.8s|360000 |212919 | 0 | 0.0 | 120M| 88 | - | 258 | 711 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
69.87/69.91 c 63.6s|370000 |218590 | 0 | 0.0 | 123M| 88 | - | 258 | 710 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
71.88/71.97 c 65.5s|380000 |224142 | 0 | 0.0 | 127M| 88 | - | 258 | 730 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
73.87/73.98 c 67.3s|390000 |229844 | 0 | 0.0 | 130M| 88 | - | 258 | 624 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
75.97/76.03 c 69.1s|400000 |235212 | 0 | 0.0 | 133M| 88 | - | 258 | 729 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
78.08/78.15 c 71.1s|410000 |240504 | 0 | 0.0 | 136M| 88 | - | 258 | 720 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
80.18/80.22 c 73.0s|420000 |246028 | 0 | 0.0 | 139M| 88 | - | 258 | 695 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
82.17/82.26 c 74.9s|430000 |251362 | 0 | 0.0 | 143M| 88 | - | 258 | 694 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
84.26/84.37 c 76.8s|440000 |256581 | 0 | 0.0 | 146M| 88 | - | 258 | 739 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
86.47/86.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.47/86.51 c 78.8s|450000 |261726 | 0 | 0.0 | 149M| 88 | - | 258 | 722 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
88.47/88.59 c 80.7s|460000 |267043 | 0 | 0.0 | 152M| 88 | - | 258 | 692 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
90.67/90.77 c 82.6s|470000 |272116 | 0 | 0.0 | 155M| 88 | - | 258 | 762 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
92.77/92.85 c 84.5s|480000 |277623 | 0 | 0.0 | 158M| 88 | - | 258 | 724 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
94.96/95.03 c 86.5s|490000 |282672 | 0 | 0.0 | 161M| 88 | - | 258 | 718 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
97.16/97.27 c 88.6s|500000 |287477 | 0 | 0.0 | 164M| 88 | - | 258 | 699 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
99.46/99.56 c 90.7s|510000 |292265 | 0 | 0.0 | 168M| 88 | - | 258 | 764 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
101.66/101.78 c 92.8s|520000 |297217 | 0 | 0.0 | 171M| 88 | - | 258 | 664 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
103.87/103.98 c 94.8s|530000 |302134 | 0 | 0.0 | 174M| 88 | - | 258 | 675 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
106.06/106.19 c 96.8s|540000 |307014 | 0 | 0.0 | 177M| 88 | - | 258 | 702 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
108.36/108.40 c 98.9s|550000 |311947 | 0 | 0.0 | 180M| 88 | - | 258 | 680 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
110.56/110.69 c 101s|560000 |316550 | 0 | 0.0 | 183M| 88 | - | 258 | 672 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
112.96/113.01 c 103s|570000 |321035 | 0 | 0.0 | 186M| 88 | - | 258 | 721 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
115.26/115.35 c 105s|580000 |325584 | 0 | 0.0 | 189M| 88 | - | 258 | 760 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
117.57/117.67 c 107s|590000 |330194 | 0 | 0.0 | 192M| 88 | - | 258 | 657 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
119.86/119.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
119.86/119.93 c 110s|600000 |334974 | 0 | 0.0 | 195M| 88 | - | 258 | 697 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
122.16/122.24 c 112s|610000 |339597 | 0 | 0.0 | 198M| 88 | - | 258 | 696 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
124.46/124.58 c 114s|620000 |344152 | 0 | 0.0 | 201M| 88 | - | 258 | 666 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
126.95/127.01 c 116s|630000 |348252 | 0 | 0.0 | 204M| 88 | - | 258 | 716 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
129.26/129.39 c 118s|640000 |352739 | 0 | 0.0 | 207M| 88 | - | 258 | 696 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
131.65/131.74 c 120s|650000 |357309 | 0 | 0.0 | 210M| 88 | - | 258 | 611 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
134.06/134.13 c 123s|660000 |361446 | 0 | 0.0 | 212M| 88 | - | 258 | 683 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
136.46/136.57 c 125s|670000 |365800 | 0 | 0.0 | 215M| 88 | - | 258 | 682 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
138.86/138.99 c 127s|680000 |370071 | 0 | 0.0 | 218M| 88 | - | 258 | 642 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
141.35/141.41 c 129s|690000 |374194 | 0 | 0.0 | 221M| 88 | - | 258 | 677 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
143.65/143.78 c 132s|700000 |378535 | 0 | 0.0 | 224M| 88 | - | 258 | 620 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
146.16/146.30 c 134s|710000 |382538 | 0 | 0.0 | 227M| 88 | - | 258 | 626 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
148.65/148.76 c 136s|720000 |386550 | 0 | 0.0 | 229M| 88 | - | 258 | 605 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
151.06/151.17 c 138s|730000 |390785 | 0 | 0.0 | 232M| 88 | - | 258 | 590 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
153.56/153.66 c 141s|740000 |394686 | 0 | 0.0 | 235M| 88 | - | 258 | 651 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
156.06/156.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
156.06/156.14 c 143s|750000 |398885 | 0 | 0.0 | 238M| 88 | - | 258 | 624 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
158.65/158.74 c 146s|760000 |402657 | 0 | 0.0 | 240M| 88 | - | 258 | 651 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
161.15/161.25 c 148s|770000 |406698 | 0 | 0.0 | 243M| 88 | - | 258 | 614 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
163.75/163.83 c 150s|780000 |410352 | 0 | 0.0 | 246M| 88 | - | 258 | 642 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
166.24/166.33 c 153s|790000 |414382 | 0 | 0.0 | 248M| 88 | - | 258 | 597 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
168.84/168.91 c 155s|800000 |418058 | 0 | 0.0 | 251M| 88 | - | 258 | 645 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
171.46/171.56 c 157s|810000 |421513 | 0 | 0.0 | 254M| 88 | - | 258 | 602 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
174.25/174.34 c 160s|820000 |424903 | 0 | 0.0 | 256M| 88 | - | 258 | 590 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
176.84/176.96 c 162s|830000 |428330 | 0 | 0.0 | 259M| 88 | - | 258 | 568 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
179.55/179.66 c 165s|840000 |431864 | 0 | 0.0 | 261M| 88 | - | 258 | 565 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
182.24/182.35 c 167s|850000 |435293 | 0 | 0.0 | 263M| 88 | - | 258 | 555 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
184.94/185.08 c 170s|860000 |438811 | 0 | 0.0 | 266M| 88 | - | 258 | 518 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
187.64/187.76 c 173s|870000 |442431 | 0 | 0.0 | 268M| 88 | - | 258 | 542 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
190.34/190.43 c 175s|880000 |446097 | 0 | 0.0 | 271M| 88 | - | 258 | 559 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
192.94/193.01 c 177s|890000 |450050 | 0 | 0.0 | 273M| 88 | - | 258 | 506 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
195.44/195.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
195.44/195.51 c 180s|900000 |454155 | 0 | 0.0 | 276M| 88 | - | 258 | 505 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
197.85/197.97 c 182s|910000 |458194 | 0 | 0.0 | 278M| 88 | - | 258 | 509 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
200.54/200.68 c 185s|920000 |461110 | 0 | 0.0 | 281M| 88 | - | 258 | 508 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
202.54/202.66 c 186s|930000 |466898 | 0 | 0.0 | 284M| 90 | - | 258 | 736 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
204.55/204.69 c 188s|940000 |472637 | 0 | 0.0 | 287M| 90 | - | 258 | 882 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
206.64/206.76 c 190s|950000 |478390 | 0 | 0.0 | 290M| 90 | - | 258 | 906 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
208.74/208.87 c 192s|960000 |483941 | 0 | 0.0 | 294M| 90 | - | 258 | 942 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
210.83/211.00 c 194s|970000 |489645 | 0 | 0.0 | 297M| 90 | - | 258 | 931 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
213.04/213.14 c 196s|980000 |495257 | 0 | 0.0 | 300M| 90 | - | 258 | 890 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
215.24/215.32 c 198s|990000 |500672 | 0 | 0.0 | 303M| 90 | - | 258 | 970 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
217.33/217.44 c 200s| 1000k|506302 | 0 | 0.0 | 306M| 90 | - | 258 | 990 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
219.43/219.59 c 202s| 1010k|511821 | 0 | 0.0 | 309M| 90 | - | 258 | 911 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
221.73/221.80 c 204s| 1020k|517243 | 0 | 0.0 | 313M| 90 | - | 258 |1074 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
223.94/224.01 c 206s| 1030k|522729 | 0 | 0.0 | 316M| 90 | - | 258 | 965 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
226.03/226.16 c 208s| 1040k|528251 | 0 | 0.0 | 319M| 90 | - | 258 | 863 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
228.23/228.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
228.23/228.34 c 210s| 1050k|533603 | 0 | 0.0 | 322M| 90 | - | 258 | 990 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
230.53/230.64 c 212s| 1060k|538790 | 0 | 0.0 | 325M| 90 | - | 258 | 962 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
232.73/232.88 c 214s| 1070k|544065 | 0 | 0.0 | 328M| 90 | - | 258 | 932 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
235.13/235.24 c 216s| 1080k|549085 | 0 | 0.0 | 331M| 90 | - | 258 |1097 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
237.54/237.67 c 219s| 1090k|554015 | 0 | 0.0 | 334M| 90 | - | 258 |1139 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
239.83/239.97 c 221s| 1100k|559369 | 0 | 0.0 | 338M| 90 | - | 258 |1005 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
242.23/242.30 c 223s| 1110k|564356 | 0 | 0.0 | 341M| 90 | - | 258 | 899 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
244.43/244.50 c 225s| 1120k|569772 | 0 | 0.0 | 344M| 90 | - | 258 | 919 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
246.72/246.82 c 227s| 1130k|574949 | 0 | 0.0 | 347M| 90 | - | 258 | 904 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
249.03/249.17 c 229s| 1140k|579934 | 0 | 0.0 | 350M| 90 | - | 258 |1063 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
251.43/251.52 c 231s| 1150k|585164 | 0 | 0.0 | 353M| 90 | - | 258 |1078 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
253.73/253.82 c 234s| 1160k|590355 | 0 | 0.0 | 356M| 90 | - | 258 | 972 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
256.02/256.11 c 236s| 1170k|595601 | 0 | 0.0 | 359M| 90 | - | 258 | 894 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
258.22/258.38 c 238s| 1180k|600881 | 0 | 0.0 | 363M| 90 | - | 258 | 868 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
260.53/260.68 c 240s| 1190k|605885 | 0 | 0.0 | 366M| 90 | - | 258 | 890 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
262.93/263.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
262.93/263.06 c 242s| 1200k|610796 | 0 | 0.0 | 369M| 90 | - | 258 |1082 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
265.32/265.46 c 244s| 1210k|615743 | 0 | 0.0 | 372M| 90 | - | 258 |1078 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
267.73/267.82 c 246s| 1220k|620863 | 0 | 0.0 | 375M| 90 | - | 258 | 975 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
270.02/270.14 c 249s| 1230k|625997 | 0 | 0.0 | 378M| 90 | - | 258 | 940 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
272.32/272.47 c 251s| 1240k|631101 | 0 | 0.0 | 381M| 90 | - | 258 | 900 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
274.72/274.84 c 253s| 1250k|636038 | 0 | 0.0 | 384M| 90 | - | 258 | 880 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
277.13/277.23 c 255s| 1260k|640908 | 0 | 0.0 | 387M| 90 | - | 258 | 818 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
279.52/279.65 c 257s| 1270k|645597 | 0 | 0.0 | 390M| 90 | - | 258 |1120 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
282.01/282.13 c 260s| 1280k|650581 | 0 | 0.0 | 393M| 90 | - | 258 |1106 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
284.42/284.58 c 262s| 1290k|655449 | 0 | 0.0 | 396M| 90 | - | 258 | 994 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
286.82/286.92 c 264s| 1300k|660519 | 0 | 0.0 | 399M| 90 | - | 258 |1017 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
289.32/289.41 c 266s| 1310k|665296 | 0 | 0.0 | 402M| 90 | - | 258 | 965 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
291.61/291.72 c 269s| 1320k|670402 | 0 | 0.0 | 406M| 90 | - | 258 | 914 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
293.91/294.08 c 271s| 1330k|675315 | 0 | 0.0 | 409M| 90 | - | 258 | 834 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
296.31/296.46 c 273s| 1340k|680194 | 0 | 0.0 | 412M| 90 | - | 258 | 855 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
298.82/298.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
298.82/298.90 c 275s| 1350k|684779 | 0 | 0.0 | 415M| 90 | - | 258 |1068 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
301.22/301.38 c 277s| 1360k|689544 | 0 | 0.0 | 418M| 90 | - | 258 |1093 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
303.71/303.83 c 280s| 1370k|694447 | 0 | 0.0 | 421M| 90 | - | 258 |1030 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
306.01/306.19 c 282s| 1380k|699526 | 0 | 0.0 | 424M| 90 | - | 258 | 981 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
308.51/308.60 c 284s| 1390k|704382 | 0 | 0.0 | 427M| 90 | - | 258 | 905 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
310.91/311.01 c 286s| 1400k|709234 | 0 | 0.0 | 430M| 90 | - | 258 | 888 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
313.21/313.38 c 289s| 1410k|714177 | 0 | 0.0 | 433M| 90 | - | 258 | 860 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
315.71/315.81 c 291s| 1420k|718903 | 0 | 0.0 | 436M| 90 | - | 258 | 879 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
318.11/318.27 c 293s| 1430k|723641 | 0 | 0.0 | 439M| 90 | - | 258 | 889 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
320.71/320.82 c 296s| 1440k|728095 | 0 | 0.0 | 442M| 90 | - | 258 |1035 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
323.31/323.40 c 298s| 1450k|732718 | 0 | 0.0 | 445M| 90 | - | 258 |1085 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
325.71/325.86 c 300s| 1460k|737581 | 0 | 0.0 | 448M| 90 | - | 258 |1007 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
328.20/328.38 c 303s| 1470k|742299 | 0 | 0.0 | 451M| 90 | - | 258 | 988 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
330.71/330.86 c 305s| 1480k|747136 | 0 | 0.0 | 454M| 90 | - | 258 |1025 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
333.21/333.32 c 307s| 1490k|751894 | 0 | 0.0 | 457M| 90 | - | 258 | 844 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
335.71/335.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
335.71/335.87 c 310s| 1500k|756558 | 0 | 0.0 | 460M| 90 | - | 258 | 893 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
338.20/338.33 c 312s| 1510k|761215 | 0 | 0.0 | 463M| 90 | - | 258 | 886 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
340.70/340.88 c 314s| 1520k|765776 | 0 | 0.0 | 466M| 90 | - | 258 | 921 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
343.20/343.36 c 316s| 1530k|770313 | 0 | 0.0 | 469M| 90 | - | 258 | 871 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
345.70/345.87 c 319s| 1540k|774870 | 0 | 0.0 | 472M| 90 | - | 258 | 910 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
348.30/348.46 c 321s| 1550k|779337 | 0 | 0.0 | 475M| 90 | - | 258 |1132 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
350.90/351.09 c 324s| 1560k|783858 | 0 | 0.0 | 478M| 90 | - | 258 |1117 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
353.50/353.68 c 326s| 1570k|788453 | 0 | 0.0 | 481M| 90 | - | 258 |1049 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
356.10/356.21 c 328s| 1580k|793033 | 0 | 0.0 | 484M| 90 | - | 258 | 965 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
358.60/358.79 c 331s| 1590k|797520 | 0 | 0.0 | 487M| 90 | - | 258 | 990 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
361.20/361.32 c 333s| 1600k|802155 | 0 | 0.0 | 490M| 90 | - | 258 | 950 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
363.70/363.86 c 336s| 1610k|806686 | 0 | 0.0 | 493M| 90 | - | 258 | 970 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
366.30/366.46 c 338s| 1620k|811150 | 0 | 0.0 | 496M| 90 | - | 258 | 880 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
368.79/368.95 c 340s| 1630k|815825 | 0 | 0.0 | 499M| 90 | - | 258 | 866 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
371.39/371.54 c 343s| 1640k|820302 | 0 | 0.0 | 502M| 90 | - | 258 | 858 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
373.99/374.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
373.99/374.10 c 345s| 1650k|824858 | 0 | 0.0 | 505M| 90 | - | 258 | 867 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
376.49/376.65 c 347s| 1660k|829298 | 0 | 0.0 | 508M| 90 | - | 258 |1027 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
379.20/379.34 c 350s| 1670k|833649 | 0 | 0.0 | 510M| 90 | - | 258 |1058 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
381.69/381.83 c 352s| 1680k|838414 | 0 | 0.0 | 513M| 90 | - | 258 |1004 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
384.19/384.37 c 355s| 1690k|843031 | 0 | 0.0 | 516M| 90 | - | 258 | 910 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
386.79/386.91 c 357s| 1700k|847607 | 0 | 0.0 | 519M| 90 | - | 258 | 972 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
389.39/389.50 c 359s| 1710k|852068 | 0 | 0.0 | 522M| 90 | - | 258 | 975 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
391.99/392.16 c 362s| 1720k|856534 | 0 | 0.0 | 525M| 90 | - | 258 | 912 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
394.59/394.73 c 364s| 1730k|861085 | 0 | 0.0 | 528M| 90 | - | 258 | 920 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
397.19/397.31 c 367s| 1740k|865550 | 0 | 0.0 | 531M| 90 | - | 258 | 838 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
399.69/399.80 c 369s| 1750k|870386 | 0 | 0.0 | 534M| 90 | - | 258 | 906 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
402.18/402.34 c 371s| 1760k|874920 | 0 | 0.0 | 537M| 90 | - | 258 | 847 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
404.78/404.91 c 374s| 1770k|879337 | 0 | 0.0 | 540M| 90 | - | 258 | 862 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
407.29/407.46 c 376s| 1780k|883736 | 0 | 0.0 | 543M| 90 | - | 258 | 965 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
409.99/410.19 c 379s| 1790k|887936 | 0 | 0.0 | 546M| 90 | - | 258 |1059 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
412.68/412.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
412.68/412.85 c 381s| 1800k|892283 | 0 | 0.0 | 549M| 90 | - | 258 | 995 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
415.38/415.55 c 384s| 1810k|896677 | 0 | 0.0 | 552M| 90 | - | 258 | 952 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
418.08/418.23 c 386s| 1820k|900967 | 0 | 0.0 | 555M| 90 | - | 258 | 921 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
420.78/420.97 c 389s| 1830k|905159 | 0 | 0.0 | 557M| 90 | - | 258 | 934 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
423.48/423.63 c 391s| 1840k|909638 | 0 | 0.0 | 560M| 90 | - | 258 | 885 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
426.18/426.31 c 394s| 1850k|913977 | 0 | 0.0 | 563M| 90 | - | 258 | 878 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
428.68/428.88 c 396s| 1860k|918485 | 0 | 0.0 | 566M| 90 | - | 258 | 910 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
431.38/431.53 c 399s| 1870k|922838 | 0 | 0.0 | 569M| 90 | - | 258 | 844 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
433.88/434.09 c 401s| 1880k|927409 | 0 | 0.0 | 572M| 90 | - | 258 | 921 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
436.59/436.74 c 403s| 1890k|931808 | 0 | 0.0 | 575M| 90 | - | 258 | 863 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
439.18/439.37 c 406s| 1900k|936127 | 0 | 0.0 | 578M| 90 | - | 258 | 960 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
441.88/442.06 c 408s| 1910k|940363 | 0 | 0.0 | 581M| 90 | - | 258 | 793 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
444.68/444.85 c 411s| 1920k|944441 | 0 | 0.0 | 584M| 90 | - | 258 |1053 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
447.48/447.62 c 414s| 1930k|948594 | 0 | 0.0 | 587M| 90 | - | 258 | 973 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
450.17/450.31 c 416s| 1940k|952862 | 0 | 0.0 | 590M| 90 | - | 258 | 946 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
452.87/453.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
452.87/453.00 c 419s| 1950k|957164 | 0 | 0.0 | 593M| 90 | - | 258 | 984 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
455.47/455.69 c 421s| 1960k|961422 | 0 | 0.0 | 595M| 90 | - | 258 | 949 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
458.17/458.37 c 424s| 1970k|965829 | 0 | 0.0 | 598M| 90 | - | 258 | 931 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
460.87/461.07 c 426s| 1980k|970086 | 0 | 0.0 | 601M| 90 | - | 258 | 900 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
463.47/463.64 c 428s| 1990k|974571 | 0 | 0.0 | 604M| 90 | - | 258 | 848 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
466.07/466.26 c 431s| 2000k|978955 | 0 | 0.0 | 607M| 90 | - | 258 | 932 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
468.77/468.90 c 433s| 2010k|983379 | 0 | 0.0 | 610M| 90 | - | 258 | 823 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
471.37/471.58 c 436s| 2020k|987679 | 0 | 0.0 | 613M| 90 | - | 258 | 839 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
474.17/474.38 c 438s| 2030k|991842 | 0 | 0.0 | 616M| 90 | - | 258 | 867 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
476.87/477.08 c 441s| 2040k|995958 | 0 | 0.0 | 619M| 90 | - | 258 | 907 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
479.76/479.94 c 444s| 2050k|999970 | 0 | 0.0 | 622M| 90 | - | 258 | 818 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
482.47/482.67 c 446s| 2060k| 1004k| 0 | 0.0 | 624M| 90 | - | 258 | 804 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
485.27/485.49 c 449s| 2070k| 1008k| 0 | 0.0 | 627M| 90 | - | 258 | 984 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
488.06/488.26 c 451s| 2080k| 1012k| 0 | 0.0 | 630M| 90 | - | 258 | 944 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
490.86/491.06 c 454s| 2090k| 1016k| 0 | 0.0 | 633M| 90 | - | 258 |1051 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
493.67/493.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
493.67/493.83 c 457s| 2100k| 1020k| 0 | 0.0 | 635M| 90 | - | 258 | 966 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
496.46/496.66 c 459s| 2110k| 1024k| 0 | 0.0 | 638M| 90 | - | 258 | 881 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
499.27/499.49 c 462s| 2120k| 1028k| 0 | 0.0 | 641M| 90 | - | 258 | 950 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
501.86/502.09 c 464s| 2130k| 1033k| 0 | 0.0 | 644M| 90 | - | 258 | 910 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
504.67/504.81 c 467s| 2140k| 1037k| 0 | 0.0 | 647M| 90 | - | 258 | 945 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
507.36/507.52 c 469s| 2150k| 1041k| 0 | 0.0 | 650M| 90 | - | 258 | 957 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
510.06/510.27 c 472s| 2160k| 1045k| 0 | 0.0 | 652M| 90 | - | 258 | 899 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
512.86/513.07 c 474s| 2170k| 1050k| 0 | 0.0 | 655M| 90 | - | 258 | 913 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
515.77/515.91 c 477s| 2180k| 1054k| 0 | 0.0 | 658M| 90 | - | 258 | 890 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
518.56/518.73 c 480s| 2190k| 1058k| 0 | 0.0 | 661M| 90 | - | 258 | 891 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
521.46/521.60 c 482s| 2200k| 1062k| 0 | 0.0 | 664M| 90 | - | 258 | 873 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
524.36/524.50 c 485s| 2210k| 1065k| 0 | 0.0 | 667M| 90 | - | 258 | 895 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
527.16/527.33 c 488s| 2220k| 1069k| 0 | 0.0 | 670M| 90 | - | 258 | 950 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
529.96/530.13 c 490s| 2230k| 1073k| 0 | 0.0 | 672M| 90 | - | 258 | 944 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
532.85/533.06 c 493s| 2240k| 1077k| 0 | 0.0 | 675M| 90 | - | 258 | 917 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
535.75/535.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
535.75/535.90 c 496s| 2250k| 1081k| 0 | 0.0 | 678M| 90 | - | 258 | 961 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
538.45/538.65 c 498s| 2260k| 1085k| 0 | 0.0 | 681M| 90 | - | 258 | 934 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
541.15/541.37 c 501s| 2270k| 1090k| 0 | 0.0 | 683M| 90 | - | 258 | 942 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
543.95/544.19 c 504s| 2280k| 1094k| 0 | 0.0 | 686M| 90 | - | 258 | 876 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
546.85/547.00 c 506s| 2290k| 1098k| 0 | 0.0 | 689M| 90 | - | 258 | 870 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
549.55/549.70 c 509s| 2300k| 1102k| 0 | 0.0 | 692M| 90 | - | 258 | 907 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
552.44/552.60 c 511s| 2310k| 1106k| 0 | 0.0 | 695M| 90 | - | 258 | 837 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
555.14/555.36 c 514s| 2320k| 1110k| 0 | 0.0 | 698M| 90 | - | 258 | 893 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
558.04/558.21 c 517s| 2330k| 1114k| 0 | 0.0 | 700M| 90 | - | 258 | 791 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
560.85/561.04 c 519s| 2340k| 1118k| 0 | 0.0 | 703M| 90 | - | 258 | 837 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
563.64/563.85 c 522s| 2350k| 1122k| 0 | 0.0 | 706M| 90 | - | 258 | 855 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
566.44/566.68 c 525s| 2360k| 1126k| 0 | 0.0 | 709M| 90 | - | 258 | 828 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
569.55/569.71 c 527s| 2370k| 1129k| 0 | 0.0 | 711M| 90 | - | 258 | 972 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
572.55/572.71 c 530s| 2380k| 1133k| 0 | 0.0 | 714M| 90 | - | 258 | 962 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
575.34/575.54 c 533s| 2390k| 1137k| 0 | 0.0 | 717M| 90 | - | 258 | 935 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
578.14/578.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
578.14/578.37 c 535s| 2400k| 1141k| 0 | 0.0 | 719M| 90 | - | 258 | 868 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
581.04/581.20 c 538s| 2410k| 1145k| 0 | 0.0 | 722M| 90 | - | 258 | 915 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
583.74/583.92 c 541s| 2420k| 1149k| 0 | 0.0 | 725M| 90 | - | 258 | 892 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
586.54/586.76 c 543s| 2430k| 1153k| 0 | 0.0 | 728M| 90 | - | 258 | 845 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
589.54/589.70 c 546s| 2440k| 1157k| 0 | 0.0 | 730M| 90 | - | 258 | 851 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
592.44/592.61 c 549s| 2450k| 1161k| 0 | 0.0 | 733M| 90 | - | 258 | 856 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
595.23/595.48 c 551s| 2460k| 1165k| 0 | 0.0 | 736M| 90 | - | 258 | 821 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
598.14/598.40 c 554s| 2470k| 1169k| 0 | 0.0 | 739M| 90 | - | 258 | 839 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
601.13/601.32 c 557s| 2480k| 1173k| 0 | 0.0 | 742M| 90 | - | 258 | 820 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
603.94/604.13 c 560s| 2490k| 1177k| 0 | 0.0 | 744M| 90 | - | 258 | 790 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
606.84/607.00 c 562s| 2500k| 1180k| 0 | 0.0 | 747M| 90 | - | 258 | 751 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
609.83/610.06 c 565s| 2510k| 1184k| 0 | 0.0 | 750M| 90 | - | 258 | 977 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
612.93/613.15 c 568s| 2520k| 1187k| 0 | 0.0 | 752M| 90 | - | 258 | 912 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
615.93/616.14 c 571s| 2530k| 1191k| 0 | 0.0 | 755M| 90 | - | 258 | 956 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
618.93/619.15 c 574s| 2540k| 1195k| 0 | 0.0 | 757M| 90 | - | 258 | 903 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
621.83/622.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
621.83/622.09 c 576s| 2550k| 1199k| 0 | 0.0 | 760M| 90 | - | 258 | 890 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
624.83/625.08 c 579s| 2560k| 1202k| 0 | 0.0 | 763M| 90 | - | 258 | 832 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
627.63/627.88 c 582s| 2570k| 1206k| 0 | 0.0 | 766M| 90 | - | 258 | 839 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
630.53/630.73 c 585s| 2580k| 1210k| 0 | 0.0 | 768M| 90 | - | 258 | 826 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
633.52/633.74 c 587s| 2590k| 1214k| 0 | 0.0 | 771M| 90 | - | 258 | 813 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
636.42/636.69 c 590s| 2600k| 1218k| 0 | 0.0 | 774M| 90 | - | 258 | 778 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
639.33/639.56 c 593s| 2610k| 1222k| 0 | 0.0 | 777M| 90 | - | 258 | 773 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
642.23/642.43 c 596s| 2620k| 1226k| 0 | 0.0 | 780M| 90 | - | 258 | 750 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
645.22/645.48 c 598s| 2630k| 1229k| 0 | 0.0 | 782M| 90 | - | 258 | 755 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
648.22/648.40 c 601s| 2640k| 1233k| 0 | 0.0 | 785M| 90 | - | 258 | 727 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
651.32/651.50 c 604s| 2650k| 1236k| 0 | 0.0 | 787M| 90 | - | 258 | 941 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
654.33/654.59 c 607s| 2660k| 1240k| 0 | 0.0 | 790M| 90 | - | 258 | 927 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
657.42/657.60 c 610s| 2670k| 1244k| 0 | 0.0 | 793M| 90 | - | 258 | 899 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
660.32/660.56 c 613s| 2680k| 1247k| 0 | 0.0 | 795M| 90 | - | 258 | 915 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
663.31/663.50 c 615s| 2690k| 1251k| 0 | 0.0 | 798M| 90 | - | 258 | 846 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
666.32/666.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
666.32/666.52 c 618s| 2700k| 1255k| 0 | 0.0 | 800M| 90 | - | 258 | 855 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
669.22/669.42 c 621s| 2710k| 1259k| 0 | 0.0 | 803M| 90 | - | 258 | 799 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
672.22/672.45 c 624s| 2720k| 1262k| 0 | 0.0 | 806M| 90 | - | 258 | 864 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
675.12/675.32 c 626s| 2730k| 1266k| 0 | 0.0 | 809M| 90 | - | 258 | 780 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
678.02/678.23 c 629s| 2740k| 1270k| 0 | 0.0 | 811M| 90 | - | 258 | 749 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
681.01/681.21 c 632s| 2750k| 1274k| 0 | 0.0 | 814M| 90 | - | 258 | 773 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
683.91/684.13 c 635s| 2760k| 1277k| 0 | 0.0 | 817M| 90 | - | 258 | 709 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
686.91/687.16 c 638s| 2770k| 1281k| 0 | 0.0 | 820M| 90 | - | 258 | 747 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
689.81/690.07 c 640s| 2780k| 1285k| 0 | 0.0 | 822M| 90 | - | 258 | 823 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
693.01/693.25 c 643s| 2790k| 1288k| 0 | 0.0 | 825M| 90 | - | 258 | 901 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
696.21/696.41 c 646s| 2800k| 1291k| 0 | 0.0 | 827M| 90 | - | 258 | 922 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
699.11/699.37 c 649s| 2810k| 1295k| 0 | 0.0 | 830M| 90 | - | 258 | 874 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
702.21/702.47 c 652s| 2820k| 1298k| 0 | 0.0 | 832M| 90 | - | 258 | 844 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
705.11/705.34 c 655s| 2830k| 1302k| 0 | 0.0 | 835M| 90 | - | 258 | 792 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
708.12/708.35 c 657s| 2840k| 1306k| 0 | 0.0 | 837M| 90 | - | 258 | 878 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
711.10/711.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
711.10/711.32 c 660s| 2850k| 1310k| 0 | 0.0 | 840M| 90 | - | 258 | 774 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
714.01/714.22 c 663s| 2860k| 1313k| 0 | 0.0 | 843M| 90 | - | 258 | 729 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
716.91/717.14 c 666s| 2870k| 1317k| 0 | 0.0 | 846M| 90 | - | 258 | 768 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
719.90/720.16 c 668s| 2880k| 1321k| 0 | 0.0 | 848M| 90 | - | 258 | 744 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
722.80/723.07 c 671s| 2890k| 1324k| 0 | 0.0 | 851M| 90 | - | 258 | 708 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
725.71/725.97 c 674s| 2900k| 1328k| 0 | 0.0 | 854M| 90 | - | 258 | 729 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
728.81/729.05 c 677s| 2910k| 1331k| 0 | 0.0 | 856M| 90 | - | 258 | 906 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | -- | Inf
732.00/732.28 c 680s| 2920k| 1335k| 0 | 0.0 | 859M| 90 | - | 258 | 857 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
735.10/735.38 c 683s| 2930k| 1338k| 0 | 0.0 | 861M| 90 | - | 258 | 877 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
738.30/738.53 c 686s| 2940k| 1341k| 0 | 0.0 | 863M| 90 | - | 258 | 798 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
741.30/741.54 c 689s| 2950k| 1345k| 0 | 0.0 | 866M| 90 | - | 258 | 796 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
744.41/744.63 c 691s| 2960k| 1348k| 0 | 0.0 | 869M| 90 | - | 258 | 778 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
747.39/747.67 c 694s| 2970k| 1352k| 0 | 0.0 | 871M| 90 | - | 258 | 745 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
750.49/750.70 c 697s| 2980k| 1355k| 0 | 0.0 | 874M| 90 | - | 258 | 757 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
753.39/753.64 c 700s| 2990k| 1359k| 0 | 0.0 | 877M| 90 | - | 258 | 720 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
756.29/756.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
756.29/756.57 c 703s| 3000k| 1363k| 0 | 0.0 | 879M| 90 | - | 258 | 721 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
759.39/759.64 c 706s| 3010k| 1366k| 0 | 0.0 | 882M| 90 | - | 258 | 706 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
762.39/762.62 c 708s| 3020k| 1369k| 0 | 0.0 | 885M| 90 | - | 258 | 678 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
765.49/765.72 c 711s| 3030k| 1373k| 0 | 0.0 | 887M| 90 | - | 258 | 819 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
768.70/768.94 c 714s| 3040k| 1376k| 0 | 0.0 | 889M| 90 | - | 258 | 834 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
771.90/772.11 c 717s| 3050k| 1379k| 0 | 0.0 | 892M| 90 | - | 258 | 833 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
774.99/775.21 c 720s| 3060k| 1382k| 0 | 0.0 | 894M| 90 | - | 258 | 814 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf
778.09/778.31 c 723s| 3070k| 1386k| 0 | 0.0 | 897M| 90 | - | 258 | 769 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
781.19/781.48 c 726s| 3080k| 1389k| 0 | 0.0 | 899M| 90 | - | 258 | 759 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
784.29/784.54 c 729s| 3090k| 1393k| 0 | 0.0 | 902M| 90 | - | 258 | 759 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | -- | Inf
787.39/787.68 c 732s| 3100k| 1396k| 0 | 0.0 | 905M| 90 | - | 258 | 703 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | -- | Inf
790.38/790.63 c 735s| 3110k| 1400k| 0 | 0.0 | 907M| 90 | - | 258 | 715 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
793.39/793.68 c 738s| 3120k| 1404k| 0 | 0.0 | 910M| 90 | - | 258 | 707 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | -- | Inf
796.58/796.88 c 741s| 3130k| 1407k| 0 | 0.0 | 913M| 90 | - | 258 | 694 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | -- | Inf
799.88/800.17 c 744s| 3140k| 1410k| 0 | 0.0 | 915M| 90 | - | 258 | 821 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | -- | Inf
803.18/803.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
803.18/803.43 c 747s| 3150k| 1413k| 0 | 0.0 | 917M| 90 | - | 258 | 860 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf
806.48/806.78 c 750s| 3160k| 1416k| 0 | 0.0 | 920M| 90 | - | 258 | 845 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | -- | Inf
809.58/809.89 c 753s| 3170k| 1419k| 0 | 0.0 | 922M| 90 | - | 258 | 797 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | -- | Inf
812.68/812.97 c 756s| 3180k| 1423k| 0 | 0.0 | 925M| 90 | - | 258 | 713 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | -- | Inf
815.88/816.13 c 759s| 3190k| 1426k| 0 | 0.0 | 927M| 90 | - | 258 | 719 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
818.98/819.26 c 762s| 3200k| 1430k| 0 | 0.0 | 930M| 90 | - | 258 | 722 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
822.07/822.35 c 764s| 3210k| 1433k| 0 | 0.0 | 932M| 90 | - | 258 | 716 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | -- | Inf
825.07/825.38 c 767s| 3220k| 1437k| 0 | 0.0 | 935M| 90 | - | 258 | 655 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | -- | Inf
828.18/828.47 c 770s| 3230k| 1440k| 0 | 0.0 | 938M| 90 | - | 258 | 641 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
831.48/831.72 c 773s| 3240k| 1443k| 0 | 0.0 | 940M| 90 | - | 258 | 761 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | -- | Inf
834.97/835.28 c 777s| 3250k| 1445k| 0 | 0.0 | 942M| 90 | - | 258 | 751 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
838.38/838.60 c 780s| 3260k| 1448k| 0 | 0.0 | 944M| 90 | - | 258 | 745 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | -- | Inf
841.57/841.86 c 783s| 3270k| 1451k| 0 | 0.0 | 947M| 90 | - | 258 | 713 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | -- | Inf
844.77/845.06 c 786s| 3280k| 1455k| 0 | 0.0 | 949M| 90 | - | 258 | 671 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
847.97/848.21 c 789s| 3290k| 1458k| 0 | 0.0 | 952M| 90 | - | 258 | 741 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | -- | Inf
851.08/851.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
851.08/851.33 c 792s| 3300k| 1462k| 0 | 0.0 | 954M| 90 | - | 258 | 692 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
854.27/854.51 c 795s| 3310k| 1465k| 0 | 0.0 | 957M| 90 | - | 258 | 663 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
857.47/857.76 c 798s| 3320k| 1468k| 0 | 0.0 | 960M| 90 | - | 258 | 639 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
860.77/861.09 c 801s| 3330k| 1471k| 0 | 0.0 | 962M| 90 | - | 258 | 681 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | -- | Inf
864.37/864.63 c 804s| 3340k| 1474k| 0 | 0.0 | 964M| 90 | - | 258 | 770 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf
867.77/868.09 c 808s| 3350k| 1476k| 0 | 0.0 | 966M| 90 | - | 258 | 741 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
871.07/871.38 c 811s| 3360k| 1479k| 0 | 0.0 | 969M| 90 | - | 258 | 742 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | -- | Inf
874.46/874.70 c 814s| 3370k| 1483k| 0 | 0.0 | 971M| 90 | - | 258 | 682 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | -- | Inf
877.57/877.81 c 817s| 3380k| 1486k| 0 | 0.0 | 974M| 90 | - | 258 | 661 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | -- | Inf
880.76/881.00 c 820s| 3390k| 1490k| 0 | 0.0 | 976M| 90 | - | 258 | 649 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | -- | Inf
883.86/884.18 c 823s| 3400k| 1493k| 0 | 0.0 | 979M| 90 | - | 258 | 655 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | -- | Inf
887.06/887.36 c 826s| 3410k| 1496k| 0 | 0.0 | 982M| 90 | - | 258 | 671 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | -- | Inf
890.56/890.86 c 829s| 3420k| 1498k| 0 | 0.0 | 983M| 90 | - | 258 | 734 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | -- | Inf
894.06/894.36 c 832s| 3430k| 1501k| 0 | 0.0 | 985M| 90 | - | 258 | 743 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | -- | Inf
897.36/897.64 c 835s| 3440k| 1504k| 0 | 0.0 | 988M| 90 | - | 258 | 697 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | -- | Inf
900.66/900.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
900.66/900.91 c 839s| 3450k| 1507k| 0 | 0.0 | 990M| 90 | - | 258 | 690 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | -- | Inf
903.76/904.07 c 841s| 3460k| 1510k| 0 | 0.0 | 993M| 90 | - | 258 | 702 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | -- | Inf
907.05/907.32 c 845s| 3470k| 1513k| 0 | 0.0 | 995M| 90 | - | 258 | 665 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | -- | Inf
910.15/910.49 c 847s| 3480k| 1517k| 0 | 0.0 | 998M| 90 | - | 258 | 656 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
913.45/913.79 c 851s| 3490k| 1520k| 0 | 0.0 |1000M| 90 | - | 258 | 689 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | -- | Inf
917.16/917.44 c 854s| 3500k| 1521k| 0 | 0.0 |1002M| 90 | - | 258 | 716 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | -- | Inf
920.65/920.91 c 857s| 3510k| 1524k| 0 | 0.0 |1004M| 90 | - | 258 | 718 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | -- | Inf
923.95/924.21 c 860s| 3520k| 1527k| 0 | 0.0 |1006M| 90 | - | 258 | 659 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | -- | Inf
927.15/927.45 c 863s| 3530k| 1530k| 0 | 0.0 |1009M| 90 | - | 258 | 632 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | -- | Inf
930.36/930.68 c 866s| 3540k| 1533k| 0 | 0.0 |1011M| 90 | - | 258 | 658 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | -- | Inf
933.55/933.89 c 870s| 3550k| 1537k| 0 | 0.0 |1014M| 90 | - | 258 | 615 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
936.96/937.28 c 873s| 3560k| 1539k| 0 | 0.0 |1016M| 90 | - | 258 | 714 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | -- | Inf
940.74/941.08 c 876s| 3570k| 1541k| 0 | 0.0 |1018M| 90 | - | 258 | 737 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
944.14/944.48 c 880s| 3580k| 1544k| 0 | 0.0 |1020M| 90 | - | 258 | 680 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | -- | Inf
947.64/947.90 c 883s| 3590k| 1547k| 0 | 0.0 |1023M| 90 | - | 258 | 646 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | -- | Inf
950.74/951.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
950.74/951.04 c 886s| 3600k| 1550k| 0 | 0.0 |1025M| 90 | - | 258 | 612 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | -- | Inf
954.04/954.36 c 889s| 3610k| 1553k| 0 | 0.0 |1028M| 90 | - | 258 | 611 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
957.54/957.89 c 892s| 3620k| 1556k| 0 | 0.0 |1030M| 90 | - | 258 | 661 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | -- | Inf
961.44/961.70 c 896s| 3630k| 1558k| 0 | 0.0 |1032M| 90 | - | 258 | 664 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
964.84/965.10 c 899s| 3640k| 1561k| 0 | 0.0 |1034M| 90 | - | 258 | 650 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | -- | Inf
968.14/968.49 c 902s| 3650k| 1564k| 0 | 0.0 |1036M| 90 | - | 258 | 653 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | -- | Inf
971.44/971.70 c 905s| 3660k| 1567k| 0 | 0.0 |1039M| 90 | - | 258 | 604 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | -- | Inf
974.63/974.96 c 908s| 3670k| 1570k| 0 | 0.0 |1041M| 90 | - | 258 | 604 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | -- | Inf
978.54/978.86 c 912s| 3680k| 1571k| 0 | 0.0 |1043M| 90 | - | 258 | 659 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | -- | Inf
981.94/982.27 c 915s| 3690k| 1574k| 0 | 0.0 |1045M| 90 | - | 258 | 650 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | -- | Inf
985.34/985.65 c 918s| 3700k| 1577k| 0 | 0.0 |1047M| 90 | - | 258 | 620 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | -- | Inf
988.54/988.84 c 921s| 3710k| 1580k| 0 | 0.0 |1050M| 90 | - | 258 | 625 | 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | -- | Inf
991.94/992.28 c 925s| 3720k| 1583k| 0 | 0.0 |1052M| 90 | - | 258 | 641 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | -- | Inf
995.83/996.16 c 928s| 3730k| 1584k| 0 | 0.0 |1054M| 90 | - | 258 | 630 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | -- | Inf
999.22/999.50 c 932s| 3740k| 1587k| 0 | 0.0 |1056M| 90 | - | 258 | 623 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | -- | Inf
1002.53/1002.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1002.53/1002.85 c 935s| 3750k| 1591k| 0 | 0.0 |1059M| 90 | - | 258 | 629 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | -- | Inf
1005.83/1006.14 c 938s| 3760k| 1594k| 0 | 0.0 |1061M| 90 | - | 258 | 615 | 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | -- | Inf
1009.72/1010.08 c 942s| 3770k| 1595k| 0 | 0.0 |1063M| 90 | - | 258 | 610 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | -- | Inf
1013.12/1013.45 c 945s| 3780k| 1598k| 0 | 0.0 |1065M| 90 | - | 258 | 622 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | -- | Inf
1016.52/1016.85 c 948s| 3790k| 1601k| 0 | 0.0 |1068M| 90 | - | 258 | 599 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | -- | Inf
1020.32/1020.69 c 952s| 3800k| 1603k| 0 | 0.0 |1069M| 90 | - | 258 | 608 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
1023.73/1024.05 c 955s| 3810k| 1606k| 0 | 0.0 |1072M| 90 | - | 258 | 614 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | -- | Inf
1027.03/1027.34 c 958s| 3820k| 1609k| 0 | 0.0 |1074M| 90 | - | 258 | 584 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | -- | Inf
1030.82/1031.10 c 961s| 3830k| 1611k| 0 | 0.0 |1076M| 90 | - | 258 | 639 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | -- | Inf
1034.22/1034.57 c 965s| 3840k| 1613k| 0 | 0.0 |1078M| 90 | - | 258 | 600 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | -- | Inf
1037.52/1037.86 c 968s| 3850k| 1617k| 0 | 0.0 |1081M| 90 | - | 258 | 591 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | -- | Inf
1041.33/1041.66 c 971s| 3860k| 1618k| 0 | 0.0 |1082M| 90 | - | 258 | 602 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | -- | Inf
1044.52/1044.86 c 974s| 3870k| 1622k| 0 | 0.0 |1085M| 90 | - | 258 | 555 | 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | -- | Inf
1048.22/1048.51 c 978s| 3880k| 1624k| 0 | 0.0 |1087M| 90 | - | 258 | 580 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | -- | Inf
1051.33/1051.65 c 981s| 3890k| 1627k| 0 | 0.0 |1089M| 90 | - | 258 | 580 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | -- | Inf
1054.91/1055.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1054.91/1055.25 c 984s| 3900k| 1629k| 0 | 0.0 |1091M| 90 | - | 258 | 611 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | -- | Inf
1058.02/1058.37 c 987s| 3910k| 1632k| 0 | 0.0 |1094M| 90 | - | 258 | 565 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | -- | Inf
1061.62/1061.95 c 990s| 3920k| 1635k| 0 | 0.0 |1096M| 90 | - | 258 | 574 | 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | -- | Inf
1065.02/1065.31 c 994s| 3930k| 1638k| 0 | 0.0 |1098M| 90 | - | 258 | 574 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | -- | Inf
1068.32/1068.68 c 997s| 3940k| 1641k| 0 | 0.0 |1101M| 90 | - | 258 | 559 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | -- | Inf
1071.71/1072.09 c 1000s| 3950k| 1643k| 0 | 0.0 |1103M| 90 | - | 258 | 592 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | -- | Inf
1074.91/1075.28 c 1003s| 3960k| 1646k| 0 | 0.0 |1105M| 90 | - | 258 | 559 | 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | -- | Inf
1078.11/1078.46 c 1006s| 3970k| 1650k| 0 | 0.0 |1108M| 90 | - | 258 | 554 | 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | -- | Inf
1081.51/1081.81 c 1009s| 3980k| 1653k| 0 | 0.0 |1111M| 90 | - | 258 | 557 | 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | -- | Inf
1084.91/1085.23 c 1012s| 3990k| 1655k| 0 | 0.0 |1113M| 90 | - | 258 | 553 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | -- | Inf
1088.21/1088.52 c 1016s| 4000k| 1658k| 0 | 0.0 |1115M| 90 | - | 258 | 564 | 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | -- | Inf
1091.60/1091.91 c 1019s| 4010k| 1660k| 0 | 0.0 |1117M| 90 | - | 258 | 571 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | -- | Inf
1095.01/1095.39 c 1022s| 4020k| 1663k| 0 | 0.0 |1120M| 90 | - | 258 | 547 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | -- | Inf
1098.40/1098.78 c 1025s| 4030k| 1665k| 0 | 0.0 |1122M| 90 | - | 258 | 549 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | -- | Inf
1102.10/1102.45 c 1029s| 4040k| 1667k| 0 | 0.0 |1124M| 90 | - | 258 | 538 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | -- | Inf
1105.80/1106.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1105.80/1106.17 c 1032s| 4050k| 1668k| 0 | 0.0 |1125M| 90 | - | 258 | 547 | 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | -- | Inf
1109.40/1109.79 c 1036s| 4060k| 1669k| 0 | 0.0 |1127M| 93 | - | 258 | 649 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | -- | Inf
1111.81/1112.11 c 1038s| 4070k| 1675k| 0 | 0.0 |1130M| 93 | - | 258 |1011 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | -- | Inf
1114.30/1114.65 c 1040s| 4080k| 1680k| 0 | 0.0 |1134M| 93 | - | 258 |1210 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | -- | Inf
1117.00/1117.30 c 1043s| 4090k| 1685k| 0 | 0.0 |1137M| 93 | - | 258 |1271 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | -- | Inf
1119.70/1120.04 c 1045s| 4100k| 1689k| 0 | 0.0 |1140M| 93 | - | 258 |1278 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | -- | Inf
1122.40/1122.77 c 1048s| 4110k| 1694k| 0 | 0.0 |1143M| 93 | - | 258 |1351 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | -- | Inf
1125.20/1125.55 c 1050s| 4120k| 1699k| 0 | 0.0 |1145M| 93 | - | 258 |1258 | 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | -- | Inf
1128.00/1128.30 c 1053s| 4130k| 1703k| 0 | 0.0 |1148M| 93 | - | 258 |1256 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | -- | Inf
1130.69/1131.08 c 1055s| 4140k| 1708k| 0 | 0.0 |1151M| 93 | - | 258 |1279 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | -- | Inf
1133.50/1133.88 c 1058s| 4150k| 1713k| 0 | 0.0 |1154M| 93 | - | 258 |1245 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | -- | Inf
1136.29/1136.62 c 1061s| 4160k| 1717k| 0 | 0.0 |1157M| 93 | - | 258 |1189 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | -- | Inf
1139.20/1139.50 c 1063s| 4170k| 1722k| 0 | 0.0 |1160M| 93 | - | 258 |1459 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | -- | Inf
1142.09/1142.44 c 1066s| 4180k| 1726k| 0 | 0.0 |1163M| 93 | - | 258 |1319 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | -- | Inf
1144.99/1145.31 c 1069s| 4190k| 1731k| 0 | 0.0 |1166M| 93 | - | 258 |1260 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | -- | Inf
1147.70/1148.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1147.70/1148.08 c 1071s| 4200k| 1736k| 0 | 0.0 |1169M| 93 | - | 258 |1167 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | -- | Inf
1150.69/1151.09 c 1074s| 4210k| 1740k| 0 | 0.0 |1172M| 93 | - | 258 |1243 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | -- | Inf
1153.69/1154.05 c 1077s| 4220k| 1744k| 0 | 0.0 |1174M| 93 | - | 258 |1400 | 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | -- | Inf
1156.80/1157.12 c 1080s| 4230k| 1749k| 0 | 0.0 |1177M| 93 | - | 258 |1463 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | -- | Inf
1159.69/1160.05 c 1083s| 4240k| 1753k| 0 | 0.0 |1180M| 93 | - | 258 |1329 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | -- | Inf
1162.69/1163.00 c 1085s| 4250k| 1758k| 0 | 0.0 |1183M| 93 | - | 258 |1215 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | -- | Inf
1165.48/1165.88 c 1088s| 4260k| 1762k| 0 | 0.0 |1186M| 93 | - | 258 |1258 | 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | -- | Inf
1168.49/1168.81 c 1091s| 4270k| 1767k| 0 | 0.0 |1189M| 93 | - | 258 |1180 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | -- | Inf
1171.29/1171.62 c 1093s| 4280k| 1771k| 0 | 0.0 |1192M| 93 | - | 258 |1203 | 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | -- | Inf
1174.28/1174.61 c 1096s| 4290k| 1776k| 0 | 0.0 |1195M| 93 | - | 258 |1200 | 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | -- | Inf
1177.38/1177.70 c 1099s| 4300k| 1780k| 0 | 0.0 |1197M| 93 | - | 258 |1495 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | -- | Inf
1180.48/1180.82 c 1102s| 4310k| 1784k| 0 | 0.0 |1200M| 93 | - | 258 |1503 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | -- | Inf
1183.59/1183.92 c 1105s| 4320k| 1788k| 0 | 0.0 |1203M| 93 | - | 258 |1494 | 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | -- | Inf
1186.59/1186.95 c 1108s| 4330k| 1793k| 0 | 0.0 |1206M| 93 | - | 258 |1427 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | -- | Inf
1189.48/1189.88 c 1111s| 4340k| 1797k| 0 | 0.0 |1209M| 93 | - | 258 |1288 | 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | -- | Inf
1192.57/1192.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1192.57/1192.99 c 1113s| 4350k| 1802k| 0 | 0.0 |1212M| 93 | - | 258 |1325 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | -- | Inf
1195.58/1195.90 c 1116s| 4360k| 1806k| 0 | 0.0 |1215M| 93 | - | 258 |1176 | 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | -- | Inf
1198.69/1199.04 c 1119s| 4370k| 1810k| 0 | 0.0 |1218M| 93 | - | 258 |1335 | 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | -- | Inf
1201.68/1202.01 c 1122s| 4380k| 1815k| 0 | 0.0 |1221M| 93 | - | 258 |1211 | 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | -- | Inf
1204.77/1205.16 c 1125s| 4390k| 1819k| 0 | 0.0 |1223M| 93 | - | 258 |1203 | 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | -- | Inf
1207.88/1208.27 c 1128s| 4400k| 1823k| 0 | 0.0 |1226M| 93 | - | 258 |1468 | 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | -- | Inf
1211.17/1211.52 c 1131s| 4410k| 1827k| 0 | 0.0 |1229M| 93 | - | 258 |1495 | 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | -- | Inf
1214.17/1214.52 c 1134s| 4420k| 1831k| 0 | 0.0 |1232M| 93 | - | 258 |1447 | 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | -- | Inf
1217.17/1217.52 c 1136s| 4430k| 1836k| 0 | 0.0 |1234M| 93 | - | 258 |1444 | 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | -- | Inf
1220.27/1220.67 c 1139s| 4440k| 1840k| 0 | 0.0 |1237M| 93 | - | 258 |1366 | 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | -- | Inf
1223.27/1223.68 c 1142s| 4450k| 1844k| 0 | 0.0 |1240M| 93 | - | 258 |1290 | 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | -- | Inf
1226.47/1226.87 c 1145s| 4460k| 1848k| 0 | 0.0 |1243M| 93 | - | 258 |1376 | 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | -- | Inf
1229.57/1229.98 c 1148s| 4470k| 1853k| 0 | 0.0 |1246M| 93 | - | 258 |1321 | 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | -- | Inf
1232.57/1232.97 c 1151s| 4480k| 1857k| 0 | 0.0 |1249M| 93 | - | 258 |1176 | 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | -- | Inf
1235.67/1236.08 c 1154s| 4490k| 1861k| 0 | 0.0 |1252M| 93 | - | 258 |1275 | 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | -- | Inf
1238.77/1239.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1238.77/1239.19 c 1157s| 4500k| 1865k| 0 | 0.0 |1254M| 93 | - | 258 |1239 | 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | -- | Inf
1242.17/1242.53 c 1160s| 4510k| 1869k| 0 | 0.0 |1257M| 93 | - | 258 |1278 | 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | -- | Inf
1245.26/1245.66 c 1163s| 4520k| 1873k| 0 | 0.0 |1260M| 93 | - | 258 |1387 | 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | -- | Inf
1248.46/1248.88 c 1166s| 4530k| 1877k| 0 | 0.0 |1263M| 93 | - | 258 |1542 | 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | -- | Inf
1251.77/1252.12 c 1169s| 4540k| 1881k| 0 | 0.0 |1265M| 93 | - | 258 |1452 | 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | -- | Inf
1254.96/1255.36 c 1172s| 4550k| 1885k| 0 | 0.0 |1268M| 93 | - | 258 |1495 | 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | -- | Inf
1258.26/1258.65 c 1175s| 4560k| 1889k| 0 | 0.0 |1271M| 93 | - | 258 |1554 | 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | -- | Inf
1261.46/1261.80 c 1178s| 4570k| 1893k| 0 | 0.0 |1274M| 93 | - | 258 |1369 | 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | -- | Inf
1264.56/1264.99 c 1181s| 4580k| 1898k| 0 | 0.0 |1277M| 93 | - | 258 |1448 | 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | -- | Inf
1267.76/1268.18 c 1184s| 4590k| 1902k| 0 | 0.0 |1279M| 93 | - | 258 |1339 | 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | -- | Inf
1270.96/1271.31 c 1187s| 4600k| 1906k| 0 | 0.0 |1282M| 93 | - | 258 |1280 | 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | -- | Inf
1274.05/1274.40 c 1190s| 4610k| 1910k| 0 | 0.0 |1285M| 93 | - | 258 |1362 | 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | -- | Inf
1277.06/1277.41 c 1193s| 4620k| 1915k| 0 | 0.0 |1288M| 93 | - | 258 |1195 | 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | -- | Inf
1280.16/1280.51 c 1196s| 4630k| 1919k| 0 | 0.0 |1291M| 93 | - | 258 |1148 | 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | -- | Inf
1283.36/1283.76 c 1199s| 4640k| 1923k| 0 | 0.0 |1294M| 93 | - | 258 |1251 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | -- | Inf
1286.75/1287.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1286.75/1287.13 c 1202s| 4650k| 1927k| 0 | 0.0 |1296M| 93 | - | 258 |1233 | 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | -- | Inf
1290.15/1290.52 c 1205s| 4660k| 1930k| 0 | 0.0 |1299M| 93 | - | 258 |1439 | 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | -- | Inf
1293.35/1293.75 c 1208s| 4670k| 1934k| 0 | 0.0 |1302M| 93 | - | 258 |1469 | 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | -- | Inf
1296.75/1297.14 c 1211s| 4680k| 1938k| 0 | 0.0 |1305M| 93 | - | 258 |1511 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | -- | Inf
1299.95/1300.34 c 1214s| 4690k| 1942k| 0 | 0.0 |1307M| 93 | - | 258 |1481 | 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | -- | Inf
1303.35/1303.74 c 1218s| 4700k| 1946k| 0 | 0.0 |1310M| 93 | - | 258 |1470 | 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | -- | Inf
1306.65/1307.08 c 1221s| 4710k| 1950k| 0 | 0.0 |1313M| 93 | - | 258 |1446 | 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | -- | Inf
1309.95/1310.36 c 1224s| 4720k| 1954k| 0 | 0.0 |1315M| 93 | - | 258 |1462 | 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | -- | Inf
1313.14/1313.50 c 1227s| 4730k| 1959k| 0 | 0.0 |1318M| 93 | - | 258 |1275 | 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | -- | Inf
1316.26/1316.68 c 1230s| 4740k| 1963k| 0 | 0.0 |1321M| 93 | - | 258 |1368 | 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | -- | Inf
1319.45/1319.84 c 1233s| 4750k| 1967k| 0 | 0.0 |1324M| 93 | - | 258 |1328 | 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | -- | Inf
1322.45/1322.86 c 1236s| 4760k| 1971k| 0 | 0.0 |1327M| 93 | - | 258 |1217 | 0 | 0 | 0 | 440k| 0 | 0.000000e+00 | -- | Inf
1325.45/1325.90 c 1238s| 4770k| 1975k| 0 | 0.0 |1329M| 93 | - | 258 |1298 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | -- | Inf
1328.55/1328.95 c 1241s| 4780k| 1979k| 0 | 0.0 |1332M| 93 | - | 258 |1229 | 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | -- | Inf
1331.75/1332.13 c 1244s| 4790k| 1984k| 0 | 0.0 |1335M| 93 | - | 258 |1181 | 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | -- | Inf
1334.95/1335.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1334.95/1335.31 c 1247s| 4800k| 1988k| 0 | 0.0 |1338M| 93 | - | 258 |1130 | 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | -- | Inf
1338.04/1338.42 c 1250s| 4810k| 1992k| 0 | 0.0 |1341M| 93 | - | 258 |1209 | 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | -- | Inf
1341.64/1342.03 c 1254s| 4820k| 1995k| 0 | 0.0 |1343M| 93 | - | 258 |1261 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | -- | Inf
1345.04/1345.44 c 1257s| 4830k| 1999k| 0 | 0.0 |1346M| 93 | - | 258 |1494 | 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | -- | Inf
1348.44/1348.86 c 1260s| 4840k| 2003k| 0 | 0.0 |1349M| 93 | - | 258 |1571 | 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | -- | Inf
1351.94/1352.32 c 1263s| 4850k| 2007k| 0 | 0.0 |1351M| 93 | - | 258 |1641 | 0 | 0 | 0 | 450k| 0 | 0.000000e+00 | -- | Inf
1355.34/1355.73 c 1267s| 4860k| 2010k| 0 | 0.0 |1354M| 93 | - | 258 |1665 | 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | -- | Inf
1358.73/1359.13 c 1270s| 4870k| 2014k| 0 | 0.0 |1357M| 93 | - | 258 |1573 | 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | -- | Inf
1360.94/1361.37 c (node 4876579) switching to memory saving mode (mem: 1296.0M/1620.0M)
1362.94/1363.30 c 1274s| 4880k| 2016k| 0 | 0.0 |1358M| 93 | - | 258 |1346 | 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | -- | Inf
1366.33/1366.73 c 1277s| 4890k| 2013k| 0 | 0.0 |1356M| 93 | - | 258 |1274 | 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | -- | Inf
1369.63/1370.02 c 1280s| 4900k| 2011k| 0 | 0.0 |1355M| 93 | - | 258 |1253 | 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | -- | Inf
1372.84/1373.22 c 1283s| 4910k| 2010k| 0 | 0.0 |1354M| 93 | - | 258 |1235 | 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | -- | Inf
1376.14/1376.54 c 1286s| 4920k| 2008k| 0 | 0.0 |1352M| 93 | - | 258 |1217 | 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | -- | Inf
1379.33/1379.79 c 1289s| 4930k| 2006k| 0 | 0.0 |1351M| 93 | - | 258 |1205 | 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | -- | Inf
1382.63/1383.03 c 1292s| 4940k| 2004k| 0 | 0.0 |1350M| 93 | - | 258 |1208 | 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | -- | Inf
1385.63/1386.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1385.63/1386.07 c 1295s| 4950k| 2003k| 0 | 0.0 |1349M| 93 | - | 258 |1177 | 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | -- | Inf
1388.63/1389.07 c 1298s| 4960k| 2001k| 0 | 0.0 |1348M| 93 | - | 258 |1171 | 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | -- | Inf
1391.72/1392.11 c 1301s| 4970k| 2000k| 0 | 0.0 |1347M| 93 | - | 258 |1159 | 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | -- | Inf
1394.53/1394.98 c 1303s| 4980k| 1999k| 0 | 0.0 |1346M| 93 | - | 258 |1176 | 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | -- | Inf
1397.73/1398.17 c 1306s| 4990k| 1997k| 0 | 0.0 |1345M| 94 | - | 258 |1124 | 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | -- | Inf
1400.82/1401.27 c 1309s| 5000k| 1996k| 0 | 0.0 |1344M| 94 | - | 258 |1125 | 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | -- | Inf
1403.61/1404.07 c 1312s| 5010k| 1995k| 0 | 0.0 |1344M| 94 | - | 258 |1116 | 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | -- | Inf
1406.71/1407.15 c 1315s| 5020k| 1993k| 0 | 0.0 |1342M| 94 | - | 258 |1094 | 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | -- | Inf
1409.71/1410.20 c 1318s| 5030k| 1992k| 0 | 0.0 |1341M| 94 | - | 258 |1090 | 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | -- | Inf
1412.51/1412.94 c 1320s| 5040k| 1991k| 0 | 0.0 |1341M| 94 | - | 258 |1073 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | -- | Inf
1415.32/1415.79 c 1323s| 5050k| 1990k| 0 | 0.0 |1340M| 94 | - | 258 |1067 | 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | -- | Inf
1418.31/1418.74 c 1326s| 5060k| 1989k| 0 | 0.0 |1339M| 94 | - | 258 |1051 | 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | -- | Inf
1421.21/1421.60 c 1328s| 5070k| 1987k| 0 | 0.0 |1338M| 94 | - | 258 |1047 | 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | -- | Inf
1424.01/1424.42 c 1331s| 5080k| 1986k| 0 | 0.0 |1338M| 94 | - | 258 |1050 | 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | -- | Inf
1426.61/1427.08 c 1333s| 5090k| 1986k| 0 | 0.0 |1337M| 94 | - | 258 |1042 | 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | -- | Inf
1429.70/1430.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1429.70/1430.13 c 1336s| 5100k| 1984k| 0 | 0.0 |1336M| 94 | - | 258 |1066 | 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | -- | Inf
1432.41/1432.85 c 1339s| 5110k| 1983k| 0 | 0.0 |1335M| 94 | - | 258 |1034 | 0 | 0 | 0 | 486k| 0 | 0.000000e+00 | -- | Inf
1435.12/1435.53 c 1341s| 5120k| 1983k| 0 | 0.0 |1335M| 94 | - | 258 |1027 | 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | -- | Inf
1438.20/1438.65 c 1344s| 5130k| 1981k| 0 | 0.0 |1334M| 94 | - | 258 |1016 | 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | -- | Inf
1440.80/1441.25 c 1346s| 5140k| 1981k| 0 | 0.0 |1334M| 94 | - | 258 |1023 | 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | -- | Inf
1443.51/1443.91 c 1349s| 5150k| 1980k| 0 | 0.0 |1333M| 94 | - | 258 |1031 | 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | -- | Inf
1446.60/1447.00 c 1352s| 5160k| 1978k| 0 | 0.0 |1332M| 94 | - | 258 | 999 | 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | -- | Inf
1449.20/1449.62 c 1354s| 5170k| 1978k| 0 | 0.0 |1332M| 94 | - | 258 |1030 | 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | -- | Inf
1451.80/1452.23 c 1356s| 5180k| 1977k| 0 | 0.0 |1331M| 94 | - | 258 |1017 | 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | -- | Inf
1454.91/1455.39 c 1359s| 5190k| 1976k| 0 | 0.0 |1330M| 94 | - | 258 | 991 | 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | -- | Inf
1457.60/1458.06 c 1362s| 5200k| 1975k| 0 | 0.0 |1330M| 94 | - | 258 |1003 | 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | -- | Inf
1460.30/1460.71 c 1364s| 5210k| 1974k| 0 | 0.0 |1330M| 94 | - | 258 | 995 | 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | -- | Inf
1462.90/1463.37 c 1367s| 5220k| 1974k| 0 | 0.0 |1329M| 94 | - | 258 | 999 | 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | -- | Inf
1466.10/1466.55 c 1370s| 5230k| 1972k| 0 | 0.0 |1327M| 94 | - | 258 | 993 | 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | -- | Inf
1468.70/1469.13 c 1372s| 5240k| 1971k| 0 | 0.0 |1327M| 94 | - | 258 | 989 | 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | -- | Inf
1471.30/1471.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1471.30/1471.79 c 1375s| 5250k| 1971k| 0 | 0.0 |1327M| 94 | - | 258 | 998 | 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | -- | Inf
1474.50/1474.96 c 1378s| 5260k| 1969k| 0 | 0.0 |1326M| 94 | - | 258 | 963 | 0 | 0 | 0 | 508k| 0 | 0.000000e+00 | -- | Inf
1477.19/1477.64 c 1380s| 5270k| 1968k| 0 | 0.0 |1325M| 94 | - | 258 | 989 | 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | -- | Inf
1479.79/1480.22 c 1382s| 5280k| 1968k| 0 | 0.0 |1325M| 94 | - | 258 | 946 | 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | -- | Inf
1482.30/1482.80 c 1385s| 5290k| 1967k| 0 | 0.0 |1325M| 94 | - | 258 | 935 | 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | -- | Inf
1485.29/1485.74 c 1388s| 5300k| 1966k| 0 | 0.0 |1323M| 94 | - | 258 | 952 | 0 | 0 | 0 | 513k| 0 | 0.000000e+00 | -- | Inf
1500.29/1500.79 c *1402s| 5306k| 0 | 0 | 0.0 |1989k| 94 | - | 258 | 940 | 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | 0.000000e+00 | 0.00%
1500.29/1500.79 c (node 5306302) switching to standard mode (mem: 1.9M/1620.0M)
1500.39/1500.80 c
1500.39/1500.80 c SCIP Status : problem is solved [optimal solution found]
1500.39/1500.80 c Solving Time (sec) : 1402.38
1500.39/1500.80 c Solving Nodes : 5306302
1500.39/1500.80 c Primal Bound : +0.00000000000000e+00 (1 solutions)
1500.39/1500.80 c Dual Bound : +0.00000000000000e+00
1500.39/1500.80 c Gap : 0.00 %
1500.39/1500.80 s SATISFIABLE
1500.39/1500.80 v x265 -x266 -x263 x264 x261 -x262 -x259 x260 -x257 -x258 -x255 x256 -x253 -x254 -x251 x252 -x249 -x250 x247 -x248 -x245 -x246 x243
1500.39/1500.80 v -x244 -x241 x242 x239 -x240 -x237 x238 x235 -x236 -x233 x234 x231 -x232 -x229 x230 x227 -x228 -x225 x226 -x223 -x224 -x221
1500.39/1500.80 v x222 -x219 -x220 -x217 x218 -x215 -x216 x213 -x214 -x211 -x212 x209 -x210 -x207 x208 x205 -x206 -x203 x204 x201 -x202 -x199
1500.39/1500.80 v x200 -x197 x198 x195 -x196 -x193 x194 x191 -x192 x189 -x190 x187 -x188 -x185 x186 x183 -x184 -x181 x182 x179 -x180 x177 -x178
1500.39/1500.80 v x175 -x176 x173 -x174 -x171 x172 x169 -x170 -x167 x168 x165 -x166 -x163 x164 -x162 x160 -x158 x156 -x154 x152 -x150 x148 -x146
1500.39/1500.80 v -x144 -x142 -x140 -x138 x136 -x134 -x132 -x130 -x128 -x126 x124 -x122 x120 -x118 x116 -x114 x112 -x110 -x108 -x106 -x104 -x102
1500.39/1500.80 v x100 -x98 -x96 -x94 -x92 -x90 -x88 -x86 -x84 -x82 -x80 -x78 -x76 -x74 -x72 -x70 -x68 -x66 x64 -x62 -x60 -x58 -x56 -x54 -x52
1500.39/1500.80 v -x50 -x48 -x46 -x44 -x42 -x40 -x38 -x36 -x34 -x32 -x30 x28 -x26 -x24 -x22 -x20 -x18 -x16 -x14 -x12 -x10 -x8 -x6 -x4 -x2 -x161
1500.39/1500.80 v -x159 -x157 -x155 -x153 -x151 -x149 -x147 -x145 -x143 -x141 -x139 -x137 -x135 -x133 -x131 -x129 -x127 -x125 -x123 -x121
1500.39/1500.80 v -x119 -x117 -x115 -x113 -x111 -x109 -x107 -x105 -x103 -x101 -x99 -x97 -x95 -x93 -x91 x89 -x87 x85 -x83 -x81 -x79 x77 -x75 x73
1500.39/1500.80 v -x71 -x69 -x67 -x65 -x63 -x61 -x59 -x57 -x55 x53 -x51 x49 -x47 -x45 -x43 x41 -x39 x37 -x35 -x33 -x31 -x29 -x27 -x25 -x23 -x21
1500.39/1500.80 v -x19 x17 -x15 x13 -x11 -x9 -x7 x5 -x3 x1
1500.39/1500.80 c SCIP Status : problem is solved [optimal solution found]
1500.39/1500.80 c Solving Time : 1402.38
1500.39/1500.80 c Original Problem :
1500.39/1500.80 c Problem name : HOME/instance-2664274-1276270661.opb
1500.39/1500.80 c Variables : 266 (266 binary, 0 integer, 0 implicit integer, 0 continuous)
1500.39/1500.80 c Constraints : 401 initial, 401 maximal
1500.39/1500.80 c Presolved Problem :
1500.39/1500.80 c Problem name : t_HOME/instance-2664274-1276270661.opb
1500.39/1500.80 c Variables : 258 (258 binary, 0 integer, 0 implicit integer, 0 continuous)
1500.39/1500.80 c Constraints : 401 initial, 1677 maximal
1500.39/1500.80 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1500.39/1500.80 c trivial : 0.00 0 0 0 0 0 0 0 0
1500.39/1500.80 c dualfix : 0.00 0 0 0 0 0 0 0 0
1500.39/1500.80 c boundshift : 0.00 0 0 0 0 0 0 0 0
1500.39/1500.80 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1500.39/1500.80 c implics : 0.00 0 8 0 0 0 0 0 0
1500.39/1500.80 c probing : 0.00 0 0 0 0 0 0 0 0
1500.39/1500.80 c knapsack : 0.01 0 0 0 0 0 0 0 0
1500.39/1500.80 c logicor : 0.00 0 0 0 0 0 0 0 0
1500.39/1500.80 c root node : - 0 - - 0 - - - -
1500.39/1500.80 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1500.39/1500.80 c integral : 0 0 0 0 0 0 0 0 0 0
1500.39/1500.80 c knapsack : 164 0 12483579 0 3700123 1565852 51557282 0 0 0
1500.39/1500.80 c logicor : 237+ 0 7662496 0 3700124 154596 23802771 0 0 0
1500.39/1500.80 c countsols : 0 0 0 0 3700124 0 0 0 0 0
1500.39/1500.80 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1500.39/1500.80 c integral : 0.00 0.00 0.00 0.00 0.00
1500.39/1500.80 c knapsack : 336.46 0.00 313.92 0.00 22.54
1500.39/1500.80 c logicor : 263.89 0.00 196.01 0.00 67.88
1500.39/1500.80 c countsols : 1.69 0.00 0.00 0.00 1.69
1500.39/1500.80 c Propagators : Time Calls Cutoffs DomReds
1500.39/1500.80 c vbounds : 6.33 1 0 0
1500.39/1500.80 c rootredcost : 5.99 0 0 0
1500.39/1500.80 c pseudoobj : 5.64 0 0 0
1500.39/1500.80 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1500.39/1500.80 c propagation : 93.62 437749 403485 3314797 62.6 5333 52.6 -
1500.39/1500.80 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1500.39/1500.80 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1500.39/1500.80 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1500.39/1500.80 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1500.39/1500.80 c applied globally : - - - 373390 21.7 - - -
1500.39/1500.80 c applied locally : - - - 141342 42.3 - - -
1500.39/1500.80 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1500.39/1500.80 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1500.39/1500.80 c redcost : 0.00 0 0 0 0 0
1500.39/1500.80 c impliedbounds : 0.00 0 0 0 0 0
1500.39/1500.80 c intobj : 0.00 0 0 0 0 0
1500.39/1500.80 c cgmip : 0.00 0 0 0 0 0
1500.39/1500.80 c gomory : 0.00 0 0 0 0 0
1500.39/1500.80 c strongcg : 0.00 0 0 0 0 0
1500.39/1500.80 c cmir : 0.00 0 0 0 0 0
1500.39/1500.80 c flowcover : 0.00 0 0 0 0 0
1500.39/1500.80 c clique : 0.00 0 0 0 0 0
1500.39/1500.80 c zerohalf : 0.00 0 0 0 0 0
1500.39/1500.80 c mcf : 0.00 0 0 0 0 0
1500.39/1500.80 c rapidlearning : 0.00 0 0 0 0 0
1500.39/1500.80 c Pricers : Time Calls Vars
1500.39/1500.80 c problem variables: 0.00 0 0
1500.39/1500.80 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1500.39/1500.80 c relpscost : 0.00 0 0 0 0 0 0
1500.39/1500.80 c pscost : 0.00 0 0 0 0 0 0
1500.39/1500.80 c inference : 75.52 3700123 0 0 0 0 7400246
1500.39/1500.80 c mostinf : 0.00 0 0 0 0 0 0
1500.39/1500.80 c leastinf : 0.00 0 0 0 0 0 0
1500.39/1500.80 c fullstrong : 0.00 0 0 0 0 0 0
1500.39/1500.80 c allfullstrong : 0.00 0 0 0 0 0 0
1500.39/1500.80 c random : 0.00 0 0 0 0 0 0
1500.39/1500.80 c Primal Heuristics : Time Calls Found
1500.39/1500.80 c LP solutions : 0.00 - 0
1500.39/1500.80 c pseudo solutions : 13.15 - 1
1500.39/1500.80 c trivial : 0.00 1 0
1500.39/1500.80 c simplerounding : 0.00 0 0
1500.39/1500.80 c zirounding : 0.00 0 0
1500.39/1500.80 c rounding : 0.00 0 0
1500.39/1500.80 c shifting : 0.00 0 0
1500.39/1500.80 c intshifting : 0.00 0 0
1500.39/1500.80 c oneopt : 0.00 0 0
1500.39/1500.80 c twoopt : 0.00 0 0
1500.39/1500.80 c fixandinfer : 0.00 0 0
1500.39/1500.80 c feaspump : 0.00 0 0
1500.39/1500.80 c coefdiving : 0.00 0 0
1500.39/1500.80 c pscostdiving : 0.00 0 0
1500.39/1500.80 c fracdiving : 0.00 0 0
1500.39/1500.80 c veclendiving : 0.00 0 0
1500.39/1500.80 c intdiving : 0.00 0 0
1500.39/1500.80 c actconsdiving : 0.00 0 0
1500.39/1500.80 c objpscostdiving : 0.00 0 0
1500.39/1500.80 c rootsoldiving : 0.00 0 0
1500.39/1500.80 c linesearchdiving : 0.00 0 0
1500.39/1500.80 c guideddiving : 0.00 0 0
1500.39/1500.80 c octane : 0.00 0 0
1500.39/1500.80 c rens : 0.00 0 0
1500.39/1500.80 c rins : 0.00 0 0
1500.39/1500.80 c localbranching : 0.00 0 0
1500.39/1500.80 c mutation : 0.00 0 0
1500.39/1500.80 c crossover : 0.00 0 0
1500.39/1500.80 c dins : 0.00 0 0
1500.39/1500.80 c undercover : 0.00 0 0
1500.39/1500.80 c nlp : 0.00 0 0
1500.39/1500.80 c trysol : 0.00 0 0
1500.39/1500.80 c LP : Time Calls Iterations Iter/call Iter/sec
1500.39/1500.80 c primal LP : 0.00 0 0 0.00 -
1500.39/1500.80 c dual LP : 0.00 0 0 0.00 -
1500.39/1500.80 c lex dual LP : 0.00 0 0 0.00 -
1500.39/1500.80 c barrier LP : 0.00 0 0 0.00 -
1500.39/1500.80 c diving/probing LP: 0.00 0 0 0.00 -
1500.39/1500.80 c strong branching : 0.00 0 0 0.00 -
1500.39/1500.80 c (at root node) : - 0 0 0.00 -
1500.39/1500.80 c conflict analysis: 0.00 0 0 0.00 -
1500.39/1500.80 c B&B Tree :
1500.39/1500.80 c number of runs : 1
1500.39/1500.80 c nodes : 5306302
1500.39/1500.80 c nodes (total) : 5306302
1500.39/1500.80 c nodes left : 0
1500.39/1500.80 c max depth : 94
1500.39/1500.80 c max depth (total): 94
1500.39/1500.80 c backtracks : 772165 (14.6%)
1500.39/1500.80 c delayed cutoffs : 128315
1500.39/1500.80 c repropagations : 610132 (4909738 domain reductions, 114270 cutoffs)
1500.39/1500.80 c avg switch length: 9.60
1500.39/1500.80 c switching time : 524.85
1500.39/1500.80 c Solution :
1500.39/1500.80 c Solutions found : 1 (1 improvements)
1500.39/1500.80 c First Solution : +0.00000000000000e+00 (in run 1, after 5306302 nodes, 1389.23 seconds, depth 67, found by <relaxation>)
1500.39/1500.80 c Primal Bound : +0.00000000000000e+00 (in run 1, after 5306302 nodes, 1389.23 seconds, depth 67, found by <relaxation>)
1500.39/1500.80 c Dual Bound : +0.00000000000000e+00
1500.39/1500.80 c Gap : 0.00 %
1500.39/1500.80 c Root Dual Bound : +0.00000000000000e+00
1500.39/1500.80 c Root Iterations : 0
1500.39/1500.86 c Time complete: 1500.45.