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-2664515-1276326729.opb>
0.00/0.01 c original problem has 840 variables (840 bin, 0 int, 0 impl, 0 cont) and 82 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.00/0.02 c presolving:
0.00/0.03 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 42 upgd conss, 0 impls, 40 clqs
0.00/0.03 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 82 upgd conss, 0 impls, 40 clqs
0.00/0.03 c presolving (3 rounds):
0.00/0.03 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 40 cliques
0.00/0.03 c presolved problem has 840 variables (840 bin, 0 int, 0 impl, 0 cont) and 82 constraints
0.00/0.03 c 40 constraints of type <setppc>
0.00/0.03 c 42 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.01
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1799.99
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c limits/solutions = 1
0.00/0.03 c
0.00/0.03 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c lp/solvefreq = -1
0.00/0.03 c
0.00/0.03 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.03 c separating/maxrounds = 1
0.00/0.03 c
0.00/0.03 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/maxroundsroot = 5
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.03 c constraints/knapsack/disaggregation = FALSE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c presolving/probing/maxrounds = 0
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/coefdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.03 c heuristics/crossover/freq = -1
0.00/0.03 c
0.00/0.03 c # number of nodes added to the contingent of the total nodes
0.00/0.03 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.03 c heuristics/crossover/nodesofs = 750
0.00/0.03 c
0.00/0.03 c # number of nodes without incumbent change that heuristic should wait
0.00/0.03 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.03 c heuristics/crossover/nwaitingnodes = 100
0.00/0.03 c
0.00/0.03 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.03 c # [type: real, range: [0,1], default: 0.1]
0.00/0.03 c heuristics/crossover/nodesquot = 0.15
0.00/0.03 c
0.00/0.03 c # minimum percentage of integer variables that have to be fixed
0.00/0.03 c # [type: real, range: [0,1], default: 0.666]
0.00/0.03 c heuristics/crossover/minfixingrate = 0.5
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.03 c heuristics/feaspump/freq = -1
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/fracdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/guideddiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/intshifting/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/linesearchdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/nlp/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.03 c heuristics/objpscostdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.03 c # [type: real, range: [0,1], default: 0.01]
0.00/0.03 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/oneopt/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/pscostdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c heuristics/rens/freq = -1
0.00/0.03 c
0.00/0.03 c # minimum percentage of integer variables that have to be fixable
0.00/0.03 c # [type: real, range: [0,1], default: 0.5]
0.00/0.03 c heuristics/rens/minfixingrate = 0.3
0.00/0.03 c
0.00/0.03 c # number of nodes added to the contingent of the total nodes
0.00/0.03 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.03 c heuristics/rens/nodesofs = 2000
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.03 c heuristics/rootsoldiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.03 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/rounding/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/shifting/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/simplerounding/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c heuristics/trivial/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/trysol/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/veclendiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/zirounding/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c separating/cmir/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c separating/flowcover/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/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.00/0.04 c 0.0s| 1 | 2 | 0 | - |1563k| 0 | - | 840 | 82 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.99/2.08 c 1.9s| 10000 | 9842 | 0 | 0.0 |4890k| 487 | - | 840 | 169 | 0 | 0 | 0 | 248 | 0 | 0.000000e+00 | -- | Inf
3.99/4.05 c 3.8s| 20000 | 19654 | 0 | 0.0 |7888k| 487 | - | 840 | 284 | 0 | 0 | 0 | 609 | 0 | 0.000000e+00 | -- | Inf
5.78/5.89 c 5.5s| 30000 | 29447 | 0 | 0.0 | 10M| 487 | - | 840 | 418 | 0 | 0 | 0 |1377 | 0 | 0.000000e+00 | -- | Inf
7.48/7.55 c 7.0s| 40000 | 39220 | 0 | 0.0 | 14M| 487 | - | 840 | 679 | 0 | 0 | 0 |2436 | 0 | 0.000000e+00 | -- | Inf
8.99/9.09 c 8.4s| 50000 | 48881 | 0 | 0.0 | 17M| 487 | - | 840 |1089 | 0 | 0 | 0 |3912 | 0 | 0.000000e+00 | -- | Inf
10.69/10.79 c 10.0s| 60000 | 58000 | 0 | 0.0 | 21M| 487 | - | 840 |2095 | 0 | 0 | 0 |6679 | 0 | 0.000000e+00 | -- | Inf
12.89/12.96 c 12.0s| 70000 | 67832 | 0 | 0.0 | 23M| 487 | - | 840 | 310 | 0 | 0 | 0 |7253 | 0 | 0.000000e+00 | -- | Inf
15.08/15.11 c 14.1s| 80000 | 77667 | 0 | 0.0 | 26M| 487 | - | 840 | 427 | 0 | 0 | 0 |8019 | 0 | 0.000000e+00 | -- | Inf
17.18/17.26 c 16.1s| 90000 | 87523 | 0 | 0.0 | 29M| 487 | - | 840 | 408 | 0 | 0 | 0 |8689 | 0 | 0.000000e+00 | -- | Inf
19.39/19.43 c 18.1s|100000 | 97354 | 0 | 0.0 | 31M| 487 | - | 840 | 355 | 0 | 0 | 0 |9374 | 0 | 0.000000e+00 | -- | Inf
21.58/21.60 c 20.1s|110000 |107191 | 0 | 0.0 | 34M| 487 | - | 840 | 285 | 0 | 0 | 0 |9920 | 0 | 0.000000e+00 | -- | Inf
23.68/23.75 c 22.2s|120000 |117030 | 0 | 0.0 | 37M| 487 | - | 840 | 368 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
25.89/25.92 c 24.2s|130000 |126839 | 0 | 0.0 | 40M| 487 | - | 840 | 363 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
27.99/28.06 c 26.2s|140000 |136672 | 0 | 0.0 | 43M| 487 | - | 840 | 328 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
30.18/30.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.18/30.21 c 28.2s|150000 |146497 | 0 | 0.0 | 46M| 487 | - | 840 | 267 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
32.28/32.33 c 30.2s|160000 |156304 | 0 | 0.0 | 49M| 487 | - | 840 | 352 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
34.38/34.44 c 32.2s|170000 |166142 | 0 | 0.0 | 51M| 487 | - | 840 | 371 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
36.58/36.60 c 34.2s|180000 |175952 | 0 | 0.0 | 54M| 487 | - | 840 | 398 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
38.67/38.75 c 36.3s|190000 |185775 | 0 | 0.0 | 57M| 487 | - | 840 | 371 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
40.77/40.88 c 38.3s|200000 |195622 | 0 | 0.0 | 60M| 487 | - | 840 | 350 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
42.96/43.02 c 40.3s|210000 |205454 | 0 | 0.0 | 63M| 487 | - | 840 | 388 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
45.07/45.14 c 42.3s|220000 |215287 | 0 | 0.0 | 66M| 487 | - | 840 | 379 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
47.17/47.27 c 44.3s|230000 |225089 | 0 | 0.0 | 68M| 487 | - | 840 | 281 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
49.26/49.38 c 46.3s|240000 |234893 | 0 | 0.0 | 71M| 487 | - | 840 | 265 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
51.47/51.50 c 48.3s|250000 |244692 | 0 | 0.0 | 74M| 487 | - | 840 | 375 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
53.57/53.61 c 50.3s|260000 |254511 | 0 | 0.0 | 77M| 487 | - | 840 | 356 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
55.66/55.73 c 52.3s|270000 |264322 | 0 | 0.0 | 80M| 487 | - | 840 | 475 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
57.76/57.85 c 54.3s|280000 |274144 | 0 | 0.0 | 83M| 487 | - | 840 | 381 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
59.87/59.98 c 56.3s|290000 |283956 | 0 | 0.0 | 86M| 487 | - | 840 | 442 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
61.97/62.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.97/62.08 c 58.3s|300000 |293781 | 0 | 0.0 | 89M| 487 | - | 840 | 457 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
64.16/64.21 c 60.3s|310000 |303593 | 0 | 0.0 | 92M| 487 | - | 840 | 401 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
66.26/66.31 c 62.2s|320000 |313425 | 0 | 0.0 | 94M| 487 | - | 840 | 315 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
68.36/68.43 c 64.2s|330000 |323250 | 0 | 0.0 | 97M| 487 | - | 840 | 358 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
70.46/70.52 c 66.2s|340000 |333082 | 0 | 0.0 | 100M| 487 | - | 840 | 493 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
72.57/72.63 c 68.2s|350000 |342899 | 0 | 0.0 | 103M| 487 | - | 840 | 420 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
74.67/74.75 c 70.2s|360000 |352674 | 0 | 0.0 | 106M| 487 | - | 840 | 425 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
76.76/76.84 c 72.1s|370000 |362498 | 0 | 0.0 | 109M| 487 | - | 840 | 426 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
78.86/78.93 c 74.1s|380000 |372321 | 0 | 0.0 | 112M| 487 | - | 840 | 441 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
80.95/81.04 c 76.1s|390000 |382136 | 0 | 0.0 | 115M| 487 | - | 840 | 439 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
83.06/83.13 c 78.0s|400000 |391954 | 0 | 0.0 | 117M| 487 | - | 840 | 360 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
85.16/85.23 c 80.0s|410000 |401780 | 0 | 0.0 | 120M| 487 | - | 840 | 413 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
87.25/87.33 c 82.0s|420000 |411597 | 0 | 0.0 | 123M| 487 | - | 840 | 441 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
89.35/89.41 c 83.9s|430000 |421426 | 0 | 0.0 | 126M| 487 | - | 840 | 477 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
91.45/91.52 c 85.9s|440000 |431228 | 0 | 0.0 | 129M| 487 | - | 840 | 304 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
93.55/93.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.55/93.60 c 87.9s|450000 |441043 | 0 | 0.0 | 132M| 487 | - | 840 | 299 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
95.56/95.69 c 89.8s|460000 |450846 | 0 | 0.0 | 135M| 487 | - | 840 | 314 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
97.65/97.76 c 91.8s|470000 |460658 | 0 | 0.0 | 138M| 487 | - | 840 | 384 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
99.76/99.80 c 93.7s|480000 |470472 | 0 | 0.0 | 140M| 487 | - | 840 | 380 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
101.75/101.87 c 95.6s|490000 |480282 | 0 | 0.0 | 143M| 487 | - | 840 | 367 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
103.85/103.95 c 97.6s|500000 |490078 | 0 | 0.0 | 146M| 487 | - | 840 | 485 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
105.95/106.04 c 99.6s|510000 |499892 | 0 | 0.0 | 149M| 487 | - | 840 | 513 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
108.05/108.11 c 102s|520000 |509709 | 0 | 0.0 | 152M| 487 | - | 840 | 404 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
110.05/110.17 c 103s|530000 |519542 | 0 | 0.0 | 155M| 487 | - | 840 | 474 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
112.16/112.28 c 105s|540000 |529323 | 0 | 0.0 | 158M| 487 | - | 840 | 305 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
114.26/114.35 c 107s|550000 |539128 | 0 | 0.0 | 161M| 487 | - | 840 | 427 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
116.35/116.43 c 109s|560000 |548918 | 0 | 0.0 | 164M| 487 | - | 840 | 398 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
118.44/118.51 c 111s|570000 |558713 | 0 | 0.0 | 166M| 487 | - | 840 | 342 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
120.44/120.57 c 113s|580000 |568524 | 0 | 0.0 | 169M| 487 | - | 840 | 386 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
122.54/122.62 c 115s|590000 |578338 | 0 | 0.0 | 172M| 487 | - | 840 | 484 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
124.64/124.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.64/124.73 c 117s|600000 |588114 | 0 | 0.0 | 175M| 487 | - | 840 | 316 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
126.64/126.77 c 119s|610000 |597918 | 0 | 0.0 | 178M| 487 | - | 840 | 292 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
128.74/128.85 c 121s|620000 |607680 | 0 | 0.0 | 181M| 487 | - | 840 | 298 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
130.85/130.91 c 123s|630000 |617485 | 0 | 0.0 | 184M| 487 | - | 840 | 374 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
132.84/132.98 c 125s|640000 |627276 | 0 | 0.0 | 187M| 487 | - | 840 | 459 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
134.94/135.06 c 127s|650000 |637056 | 0 | 0.0 | 190M| 487 | - | 840 | 431 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
137.04/137.12 c 129s|660000 |646849 | 0 | 0.0 | 192M| 487 | - | 840 | 320 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
139.04/139.16 c 131s|670000 |656650 | 0 | 0.0 | 195M| 487 | - | 840 | 405 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
141.14/141.21 c 133s|680000 |666450 | 0 | 0.0 | 198M| 487 | - | 840 | 384 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
143.14/143.24 c 135s|690000 |676268 | 0 | 0.0 | 201M| 487 | - | 840 | 374 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
145.15/145.28 c 136s|700000 |686050 | 0 | 0.0 | 204M| 487 | - | 840 | 332 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
147.25/147.36 c 138s|710000 |695829 | 0 | 0.0 | 207M| 487 | - | 840 | 368 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
149.34/149.44 c 140s|720000 |705619 | 0 | 0.0 | 210M| 487 | - | 840 | 435 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
151.33/151.47 c 142s|730000 |715421 | 0 | 0.0 | 213M| 487 | - | 840 | 364 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
153.43/153.55 c 144s|740000 |725194 | 0 | 0.0 | 215M| 487 | - | 840 | 272 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
155.43/155.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.43/155.57 c 146s|750000 |734995 | 0 | 0.0 | 218M| 487 | - | 840 | 285 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
157.54/157.61 c 148s|760000 |744777 | 0 | 0.0 | 221M| 487 | - | 840 | 395 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
159.53/159.65 c 150s|770000 |754561 | 0 | 0.0 | 224M| 487 | - | 840 | 279 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
161.54/161.65 c 152s|780000 |764362 | 0 | 0.0 | 227M| 487 | - | 840 | 420 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
163.53/163.69 c 154s|790000 |774169 | 0 | 0.0 | 230M| 487 | - | 840 | 409 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
165.62/165.73 c 156s|800000 |783953 | 0 | 0.0 | 233M| 487 | - | 840 | 486 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
167.73/167.80 c 158s|810000 |793721 | 0 | 0.0 | 236M| 487 | - | 840 | 368 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
169.73/169.86 c 160s|820000 |803492 | 0 | 0.0 | 238M| 487 | - | 840 | 260 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
171.73/171.86 c 161s|830000 |813301 | 0 | 0.0 | 241M| 487 | - | 840 | 468 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
173.82/173.92 c 163s|840000 |823081 | 0 | 0.0 | 244M| 487 | - | 840 | 399 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
175.84/175.94 c 165s|850000 |832890 | 0 | 0.0 | 247M| 487 | - | 840 | 319 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
177.82/177.96 c 167s|860000 |842677 | 0 | 0.0 | 250M| 487 | - | 840 | 464 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
179.93/180.00 c 169s|870000 |852455 | 0 | 0.0 | 253M| 487 | - | 840 | 354 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
181.92/182.03 c 171s|880000 |862220 | 0 | 0.0 | 256M| 487 | - | 840 | 342 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
183.93/184.03 c 173s|890000 |872011 | 0 | 0.0 | 259M| 487 | - | 840 | 394 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
185.92/186.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
185.92/186.05 c 175s|900000 |881798 | 0 | 0.0 | 262M| 487 | - | 840 | 553 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
188.03/188.11 c 177s|910000 |891580 | 0 | 0.0 | 265M| 487 | - | 840 | 468 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
190.02/190.15 c 179s|920000 |901378 | 0 | 0.0 | 268M| 487 | - | 840 | 544 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
192.02/192.18 c 180s|930000 |911161 | 0 | 0.0 | 270M| 487 | - | 840 | 322 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
194.12/194.23 c 182s|940000 |920925 | 0 | 0.0 | 273M| 487 | - | 840 | 365 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
196.12/196.25 c 184s|950000 |930689 | 0 | 0.0 | 276M| 487 | - | 840 | 411 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
198.22/198.31 c 186s|960000 |940454 | 0 | 0.0 | 279M| 487 | - | 840 | 379 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
200.12/200.29 c 188s|970000 |950232 | 0 | 0.0 | 282M| 487 | - | 840 | 497 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
202.22/202.38 c 190s|980000 |959991 | 0 | 0.0 | 285M| 487 | - | 840 | 326 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
204.21/204.39 c 192s|990000 |969780 | 0 | 0.0 | 288M| 487 | - | 840 | 327 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
206.31/206.40 c 194s| 1000k|979573 | 0 | 0.0 | 290M| 487 | - | 840 | 327 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
208.31/208.46 c 196s| 1010k|989326 | 0 | 0.0 | 293M| 487 | - | 840 | 350 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
210.31/210.48 c 198s| 1020k|999089 | 0 | 0.0 | 296M| 487 | - | 840 | 368 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
212.41/212.50 c 200s| 1030k| 1008k| 0 | 0.0 | 299M| 487 | - | 840 | 386 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
214.42/214.51 c 201s| 1040k| 1018k| 0 | 0.0 | 302M| 487 | - | 840 | 393 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
216.41/216.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
216.41/216.56 c 203s| 1050k| 1028k| 0 | 0.0 | 305M| 487 | - | 840 | 329 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
218.41/218.55 c 205s| 1060k| 1038k| 0 | 0.0 | 308M| 487 | - | 840 | 420 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
220.41/220.57 c 207s| 1070k| 1047k| 0 | 0.0 | 311M| 487 | - | 840 | 419 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
222.40/222.57 c 209s| 1080k| 1057k| 0 | 0.0 | 314M| 487 | - | 840 | 391 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
224.41/224.60 c 211s| 1090k| 1067k| 0 | 0.0 | 317M| 487 | - | 840 | 480 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
226.41/226.60 c 213s| 1100k| 1077k| 0 | 0.0 | 320M| 487 | - | 840 | 473 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
228.50/228.63 c 215s| 1110k| 1087k| 0 | 0.0 | 322M| 487 | - | 840 | 394 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
230.50/230.62 c 216s| 1120k| 1096k| 0 | 0.0 | 325M| 487 | - | 840 | 340 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
232.50/232.63 c 218s| 1130k| 1106k| 0 | 0.0 | 328M| 487 | - | 840 | 476 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
234.50/234.65 c 220s| 1140k| 1116k| 0 | 0.0 | 331M| 487 | - | 840 | 373 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
236.51/236.66 c 222s| 1150k| 1126k| 0 | 0.0 | 334M| 487 | - | 840 | 432 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
238.61/238.72 c 224s| 1160k| 1135k| 0 | 0.0 | 337M| 487 | - | 840 | 534 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
240.60/240.73 c 226s| 1170k| 1145k| 0 | 0.0 | 340M| 487 | - | 840 | 347 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
242.60/242.79 c 228s| 1180k| 1155k| 0 | 0.0 | 343M| 487 | - | 840 | 316 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
244.60/244.79 c 230s| 1190k| 1165k| 0 | 0.0 | 346M| 487 | - | 840 | 487 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
246.69/246.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
246.69/246.84 c 232s| 1200k| 1174k| 0 | 0.0 | 349M| 487 | - | 840 | 385 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
248.70/248.82 c 234s| 1210k| 1184k| 0 | 0.0 | 351M| 487 | - | 840 | 483 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
250.70/250.86 c 236s| 1220k| 1194k| 0 | 0.0 | 354M| 487 | - | 840 | 339 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
252.70/252.83 c 237s| 1230k| 1204k| 0 | 0.0 | 357M| 487 | - | 840 | 481 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
254.80/254.92 c 239s| 1240k| 1214k| 0 | 0.0 | 360M| 487 | - | 840 | 481 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
256.79/256.92 c 241s| 1250k| 1223k| 0 | 0.0 | 363M| 487 | - | 840 | 568 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
258.80/258.96 c 243s| 1260k| 1233k| 0 | 0.0 | 366M| 487 | - | 840 | 492 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
260.79/260.94 c 245s| 1270k| 1243k| 0 | 0.0 | 369M| 487 | - | 840 | 435 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
262.89/263.00 c 247s| 1280k| 1253k| 0 | 0.0 | 372M| 487 | - | 840 | 323 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
264.79/264.98 c 249s| 1290k| 1262k| 0 | 0.0 | 375M| 487 | - | 840 | 514 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
266.89/267.07 c 251s| 1300k| 1272k| 0 | 0.0 | 377M| 487 | - | 840 | 412 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
268.89/269.02 c 253s| 1310k| 1282k| 0 | 0.0 | 380M| 487 | - | 840 | 439 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
270.89/271.06 c 254s| 1320k| 1292k| 0 | 0.0 | 383M| 487 | - | 840 | 428 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
272.90/273.05 c 256s| 1330k| 1301k| 0 | 0.0 | 386M| 487 | - | 840 | 375 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
274.90/275.08 c 258s| 1340k| 1311k| 0 | 0.0 | 389M| 487 | - | 840 | 354 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
276.89/277.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
276.89/277.01 c 260s| 1350k| 1321k| 0 | 0.0 | 392M| 487 | - | 840 | 456 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
278.89/279.06 c 262s| 1360k| 1331k| 0 | 0.0 | 395M| 487 | - | 840 | 373 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
280.88/281.00 c 264s| 1370k| 1341k| 0 | 0.0 | 398M| 487 | - | 840 | 370 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
282.88/283.04 c 266s| 1380k| 1350k| 0 | 0.0 | 400M| 487 | - | 840 | 332 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
284.88/285.02 c 268s| 1390k| 1360k| 0 | 0.0 | 403M| 487 | - | 840 | 441 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
286.89/287.03 c 269s| 1400k| 1370k| 0 | 0.0 | 406M| 487 | - | 840 | 354 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
288.88/289.03 c 271s| 1410k| 1380k| 0 | 0.0 | 409M| 487 | - | 840 | 430 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
290.88/291.04 c 273s| 1420k| 1389k| 0 | 0.0 | 412M| 487 | - | 840 | 441 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
292.88/293.01 c 275s| 1430k| 1399k| 0 | 0.0 | 415M| 487 | - | 840 | 420 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
294.88/295.02 c 277s| 1440k| 1409k| 0 | 0.0 | 418M| 487 | - | 840 | 391 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
296.88/297.05 c 279s| 1450k| 1419k| 0 | 0.0 | 421M| 487 | - | 840 | 457 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
298.88/299.02 c 281s| 1460k| 1428k| 0 | 0.0 | 424M| 487 | - | 840 | 443 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
300.78/300.99 c 283s| 1470k| 1438k| 0 | 0.0 | 427M| 487 | - | 840 | 445 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
302.88/303.01 c 284s| 1480k| 1448k| 0 | 0.0 | 429M| 487 | - | 840 | 291 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
304.87/305.03 c 286s| 1490k| 1458k| 0 | 0.0 | 432M| 487 | - | 840 | 341 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
306.79/306.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
306.79/306.99 c 288s| 1500k| 1467k| 0 | 0.0 | 435M| 487 | - | 840 | 392 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
308.88/309.01 c 290s| 1510k| 1477k| 0 | 0.0 | 438M| 487 | - | 840 | 440 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
310.78/310.96 c 292s| 1520k| 1487k| 0 | 0.0 | 441M| 487 | - | 840 | 527 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
312.78/312.99 c 294s| 1530k| 1497k| 0 | 0.0 | 444M| 487 | - | 840 | 392 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
314.78/314.93 c 296s| 1540k| 1506k| 0 | 0.0 | 447M| 487 | - | 840 | 419 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
316.77/316.93 c 298s| 1550k| 1516k| 0 | 0.0 | 450M| 487 | - | 840 | 434 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
318.67/318.87 c 299s| 1560k| 1526k| 0 | 0.0 | 453M| 487 | - | 840 | 476 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
320.77/320.91 c 301s| 1570k| 1536k| 0 | 0.0 | 455M| 487 | - | 840 | 500 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
322.68/322.85 c 303s| 1580k| 1546k| 0 | 0.0 | 458M| 487 | - | 840 | 446 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
324.67/324.87 c 305s| 1590k| 1555k| 0 | 0.0 | 461M| 487 | - | 840 | 481 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
326.68/326.88 c 307s| 1600k| 1565k| 0 | 0.0 | 464M| 487 | - | 840 | 524 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
328.78/328.94 c 309s| 1610k| 1575k| 0 | 0.0 | 467M| 487 | - | 840 | 392 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
330.77/330.94 c 311s| 1620k| 1585k| 0 | 0.0 | 470M| 487 | - | 840 | 422 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
332.77/332.97 c 313s| 1630k| 1594k| 0 | 0.0 | 473M| 487 | - | 840 | 438 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
334.77/334.99 c 314s| 1640k| 1604k| 0 | 0.0 | 476M| 487 | - | 840 | 443 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
336.77/336.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
336.77/336.96 c 316s| 1650k| 1614k| 0 | 0.0 | 479M| 487 | - | 840 | 506 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
338.77/338.95 c 318s| 1660k| 1624k| 0 | 0.0 | 482M| 487 | - | 840 | 398 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
340.77/340.90 c 320s| 1670k| 1633k| 0 | 0.0 | 484M| 487 | - | 840 | 416 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
342.77/342.92 c 322s| 1680k| 1643k| 0 | 0.0 | 487M| 487 | - | 840 | 446 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
344.67/344.87 c 324s| 1690k| 1653k| 0 | 0.0 | 490M| 487 | - | 840 | 468 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
346.67/346.85 c 325s| 1700k| 1663k| 0 | 0.0 | 493M| 487 | - | 840 | 448 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
348.57/348.78 c 327s| 1710k| 1672k| 0 | 0.0 | 496M| 487 | - | 840 | 588 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
350.56/350.74 c 329s| 1720k| 1682k| 0 | 0.0 | 499M| 487 | - | 840 | 455 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
352.57/352.70 c 331s| 1730k| 1692k| 0 | 0.0 | 502M| 487 | - | 840 | 526 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
354.47/354.67 c 333s| 1740k| 1702k| 0 | 0.0 | 505M| 487 | - | 840 | 442 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
356.46/356.68 c 335s| 1750k| 1711k| 0 | 0.0 | 508M| 487 | - | 840 | 616 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
358.47/358.65 c 337s| 1760k| 1721k| 0 | 0.0 | 511M| 487 | - | 840 | 574 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
360.57/360.71 c 338s| 1770k| 1731k| 0 | 0.0 | 514M| 487 | - | 840 | 361 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
362.46/362.64 c 340s| 1780k| 1741k| 0 | 0.0 | 517M| 487 | - | 840 | 410 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
364.46/364.61 c 342s| 1790k| 1750k| 0 | 0.0 | 519M| 487 | - | 840 | 475 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
366.36/366.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
366.36/366.55 c 344s| 1800k| 1760k| 0 | 0.0 | 522M| 487 | - | 840 | 347 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
368.37/368.53 c 346s| 1810k| 1770k| 0 | 0.0 | 525M| 487 | - | 840 | 438 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
370.26/370.49 c 348s| 1820k| 1780k| 0 | 0.0 | 528M| 487 | - | 840 | 419 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
372.25/372.47 c 349s| 1830k| 1789k| 0 | 0.0 | 531M| 487 | - | 840 | 455 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
374.25/374.47 c 351s| 1840k| 1799k| 0 | 0.0 | 534M| 487 | - | 840 | 459 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
376.26/376.44 c 353s| 1850k| 1809k| 0 | 0.0 | 537M| 487 | - | 840 | 436 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
378.26/378.46 c 355s| 1860k| 1819k| 0 | 0.0 | 540M| 487 | - | 840 | 447 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
380.15/380.39 c 357s| 1870k| 1828k| 0 | 0.0 | 543M| 487 | - | 840 | 512 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
382.25/382.44 c 359s| 1880k| 1838k| 0 | 0.0 | 546M| 487 | - | 840 | 397 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
384.15/384.38 c 361s| 1890k| 1848k| 0 | 0.0 | 549M| 487 | - | 840 | 521 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
386.25/386.43 c 363s| 1900k| 1858k| 0 | 0.0 | 551M| 487 | - | 840 | 437 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
388.25/388.47 c 364s| 1910k| 1867k| 0 | 0.0 | 554M| 487 | - | 840 | 423 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
390.25/390.44 c 366s| 1920k| 1877k| 0 | 0.0 | 557M| 487 | - | 840 | 382 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
392.25/392.40 c 368s| 1930k| 1887k| 0 | 0.0 | 560M| 487 | - | 840 | 499 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
394.14/394.34 c 370s| 1940k| 1896k| 0 | 0.0 | 563M| 487 | - | 840 | 478 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
396.15/396.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
396.15/396.36 c 372s| 1950k| 1906k| 0 | 0.0 | 566M| 487 | - | 840 | 489 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
398.14/398.31 c 374s| 1960k| 1916k| 0 | 0.0 | 569M| 487 | - | 840 | 449 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
400.04/400.30 c 376s| 1970k| 1926k| 0 | 0.0 | 572M| 487 | - | 840 | 367 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
402.05/402.23 c 377s| 1980k| 1935k| 0 | 0.0 | 575M| 487 | - | 840 | 514 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
404.05/404.25 c 379s| 1990k| 1945k| 0 | 0.0 | 577M| 487 | - | 840 | 439 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
406.14/406.31 c 381s| 2000k| 1955k| 0 | 0.0 | 580M| 487 | - | 840 | 423 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
408.04/408.21 c 383s| 2010k| 1965k| 0 | 0.0 | 583M| 487 | - | 840 | 475 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
410.05/410.26 c 385s| 2020k| 1974k| 0 | 0.0 | 586M| 487 | - | 840 | 395 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
412.04/412.21 c 387s| 2030k| 1984k| 0 | 0.0 | 589M| 487 | - | 840 | 585 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
414.04/414.25 c 389s| 2040k| 1994k| 0 | 0.0 | 592M| 487 | - | 840 | 502 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
415.94/416.18 c 390s| 2050k| 2004k| 0 | 0.0 | 595M| 487 | - | 840 | 446 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
417.94/418.13 c 392s| 2060k| 2013k| 0 | 0.0 | 598M| 487 | - | 840 | 549 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
419.84/420.10 c 394s| 2070k| 2023k| 0 | 0.0 | 601M| 487 | - | 840 | 508 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
421.84/422.05 c 396s| 2080k| 2033k| 0 | 0.0 | 604M| 487 | - | 840 | 384 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
423.83/424.02 c 398s| 2090k| 2043k| 0 | 0.0 | 607M| 487 | - | 840 | 489 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
425.83/426.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
425.83/426.02 c 400s| 2100k| 2052k| 0 | 0.0 | 610M| 487 | - | 840 | 581 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
427.93/428.11 c 401s| 2110k| 2062k| 0 | 0.0 | 612M| 487 | - | 840 | 472 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
429.85/430.00 c 403s| 2120k| 2072k| 0 | 0.0 | 615M| 487 | - | 840 | 549 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
431.94/432.15 c 405s| 2130k| 2081k| 0 | 0.0 | 618M| 487 | - | 840 | 349 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
433.93/434.12 c 407s| 2140k| 2091k| 0 | 0.0 | 621M| 487 | - | 840 | 443 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
435.93/436.10 c 409s| 2150k| 2101k| 0 | 0.0 | 624M| 487 | - | 840 | 441 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
437.94/438.10 c 411s| 2160k| 2111k| 0 | 0.0 | 627M| 487 | - | 840 | 466 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
439.84/440.02 c 413s| 2170k| 2120k| 0 | 0.0 | 630M| 487 | - | 840 | 589 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
441.83/442.03 c 414s| 2180k| 2130k| 0 | 0.0 | 633M| 487 | - | 840 | 518 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
443.83/444.01 c 416s| 2190k| 2140k| 0 | 0.0 | 636M| 487 | - | 840 | 522 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
445.84/446.05 c 418s| 2200k| 2149k| 0 | 0.0 | 639M| 487 | - | 840 | 601 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
447.83/448.04 c 420s| 2210k| 2159k| 0 | 0.0 | 642M| 487 | - | 840 | 581 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
449.74/449.97 c 422s| 2220k| 2169k| 0 | 0.0 | 645M| 487 | - | 840 | 543 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
451.73/451.97 c 424s| 2230k| 2179k| 0 | 0.0 | 648M| 487 | - | 840 | 454 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
453.63/453.85 c 426s| 2240k| 2188k| 0 | 0.0 | 651M| 487 | - | 840 | 544 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
455.73/455.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
455.73/455.90 c 427s| 2250k| 2198k| 0 | 0.0 | 654M| 487 | - | 840 | 541 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
457.63/457.81 c 429s| 2260k| 2208k| 0 | 0.0 | 657M| 487 | - | 840 | 589 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
459.54/459.80 c 431s| 2270k| 2218k| 0 | 0.0 | 659M| 487 | - | 840 | 457 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
461.52/461.75 c 433s| 2280k| 2227k| 0 | 0.0 | 662M| 487 | - | 840 | 446 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
463.52/463.75 c 435s| 2290k| 2237k| 0 | 0.0 | 665M| 487 | - | 840 | 430 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
465.43/465.69 c 437s| 2300k| 2247k| 0 | 0.0 | 668M| 487 | - | 840 | 545 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
467.33/467.58 c 438s| 2310k| 2256k| 0 | 0.0 | 671M| 487 | - | 840 | 454 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
469.32/469.59 c 440s| 2320k| 2266k| 0 | 0.0 | 674M| 487 | - | 840 | 502 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
471.22/471.46 c 442s| 2330k| 2276k| 0 | 0.0 | 677M| 487 | - | 840 | 615 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
473.22/473.48 c 444s| 2340k| 2286k| 0 | 0.0 | 680M| 487 | - | 840 | 521 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
475.22/475.41 c 446s| 2350k| 2295k| 0 | 0.0 | 683M| 487 | - | 840 | 523 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
477.23/477.46 c 448s| 2360k| 2305k| 0 | 0.0 | 686M| 487 | - | 840 | 489 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
479.22/479.40 c 449s| 2370k| 2315k| 0 | 0.0 | 689M| 487 | - | 840 | 474 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
481.12/481.32 c 451s| 2380k| 2324k| 0 | 0.0 | 692M| 487 | - | 840 | 570 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
483.12/483.30 c 453s| 2390k| 2334k| 0 | 0.0 | 695M| 487 | - | 840 | 522 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
484.93/485.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
484.93/485.19 c 455s| 2400k| 2344k| 0 | 0.0 | 698M| 487 | - | 840 | 597 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
486.92/487.19 c 457s| 2410k| 2354k| 0 | 0.0 | 701M| 487 | - | 840 | 544 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
488.82/489.09 c 458s| 2420k| 2363k| 0 | 0.0 | 703M| 487 | - | 840 | 585 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
490.82/491.00 c 460s| 2430k| 2373k| 0 | 0.0 | 706M| 487 | - | 840 | 472 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
492.71/492.97 c 462s| 2440k| 2383k| 0 | 0.0 | 709M| 487 | - | 840 | 376 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
494.62/494.81 c 464s| 2450k| 2392k| 0 | 0.0 | 712M| 487 | - | 840 | 469 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
496.62/496.80 c 466s| 2460k| 2402k| 0 | 0.0 | 715M| 487 | - | 840 | 515 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
498.51/498.70 c 467s| 2470k| 2412k| 0 | 0.0 | 718M| 487 | - | 840 | 520 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
500.41/500.65 c 469s| 2480k| 2422k| 0 | 0.0 | 721M| 487 | - | 840 | 535 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
502.31/502.53 c 471s| 2490k| 2431k| 0 | 0.0 | 724M| 487 | - | 840 | 624 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
504.22/504.47 c 473s| 2500k| 2441k| 0 | 0.0 | 727M| 487 | - | 840 | 521 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
506.22/506.45 c 475s| 2510k| 2451k| 0 | 0.0 | 730M| 487 | - | 840 | 580 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
508.12/508.36 c 476s| 2520k| 2460k| 0 | 0.0 | 733M| 487 | - | 840 | 700 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
510.12/510.38 c 478s| 2530k| 2470k| 0 | 0.0 | 736M| 487 | - | 840 | 607 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
512.01/512.27 c 480s| 2540k| 2480k| 0 | 0.0 | 739M| 487 | - | 840 | 556 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
514.01/514.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
514.01/514.25 c 482s| 2550k| 2489k| 0 | 0.0 | 742M| 487 | - | 840 | 653 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
516.02/516.25 c 484s| 2560k| 2499k| 0 | 0.0 | 745M| 487 | - | 840 | 665 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
518.01/518.23 c 486s| 2570k| 2509k| 0 | 0.0 | 748M| 487 | - | 840 | 658 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
519.91/520.13 c 487s| 2580k| 2519k| 0 | 0.0 | 751M| 487 | - | 840 | 697 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
521.90/522.18 c 489s| 2590k| 2528k| 0 | 0.0 | 754M| 487 | - | 840 | 734 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
524.00/524.21 c 491s| 2600k| 2538k| 0 | 0.0 | 757M| 487 | - | 840 | 706 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
525.80/526.09 c 493s| 2610k| 2548k| 0 | 0.0 | 760M| 487 | - | 840 | 783 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
527.90/528.14 c 495s| 2620k| 2557k| 0 | 0.0 | 763M| 487 | - | 840 | 709 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
529.80/530.07 c 497s| 2630k| 2567k| 0 | 0.0 | 766M| 487 | - | 840 | 652 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
531.80/532.09 c 499s| 2640k| 2577k| 0 | 0.0 | 769M| 487 | - | 840 | 711 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
533.79/534.03 c 500s| 2650k| 2586k| 0 | 0.0 | 772M| 487 | - | 840 | 731 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
535.70/535.98 c 502s| 2660k| 2596k| 0 | 0.0 | 775M| 487 | - | 840 | 593 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
537.70/537.94 c 504s| 2670k| 2606k| 0 | 0.0 | 778M| 487 | - | 840 | 639 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
539.60/539.86 c 506s| 2680k| 2615k| 0 | 0.0 | 781M| 487 | - | 840 | 681 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
541.59/541.86 c 508s| 2690k| 2625k| 0 | 0.0 | 784M| 487 | - | 840 | 479 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
543.50/543.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
543.50/543.74 c 510s| 2700k| 2635k| 0 | 0.0 | 787M| 487 | - | 840 | 652 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
545.50/545.77 c 511s| 2710k| 2645k| 0 | 0.0 | 790M| 487 | - | 840 | 550 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
547.39/547.68 c 513s| 2720k| 2654k| 0 | 0.0 | 793M| 487 | - | 840 | 603 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
549.49/549.77 c 515s| 2730k| 2664k| 0 | 0.0 | 796M| 487 | - | 840 | 640 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
551.40/551.65 c 517s| 2740k| 2674k| 0 | 0.0 | 799M| 487 | - | 840 | 698 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
553.39/553.63 c 519s| 2750k| 2683k| 0 | 0.0 | 802M| 487 | - | 840 | 689 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
555.40/555.61 c 521s| 2760k| 2693k| 0 | 0.0 | 805M| 487 | - | 840 | 592 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
557.30/557.55 c 522s| 2770k| 2703k| 0 | 0.0 | 808M| 487 | - | 840 | 736 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
559.30/559.56 c 524s| 2780k| 2712k| 0 | 0.0 | 811M| 487 | - | 840 | 595 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
561.29/561.51 c 526s| 2790k| 2722k| 0 | 0.0 | 814M| 487 | - | 840 | 715 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
563.29/563.58 c 528s| 2800k| 2732k| 0 | 0.0 | 817M| 487 | - | 840 | 639 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
565.29/565.53 c 530s| 2810k| 2741k| 0 | 0.0 | 820M| 487 | - | 840 | 762 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
567.29/567.60 c 532s| 2820k| 2751k| 0 | 0.0 | 822M| 487 | - | 840 | 552 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
569.28/569.52 c 534s| 2830k| 2761k| 0 | 0.0 | 826M| 487 | - | 840 | 689 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
571.18/571.48 c 535s| 2840k| 2770k| 0 | 0.0 | 829M| 487 | - | 840 | 690 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
573.29/573.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
573.29/573.50 c 537s| 2850k| 2780k| 0 | 0.0 | 832M| 487 | - | 840 | 687 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
575.29/575.51 c 539s| 2860k| 2790k| 0 | 0.0 | 834M| 487 | - | 840 | 624 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
577.29/577.55 c 541s| 2870k| 2799k| 0 | 0.0 | 838M| 487 | - | 840 | 746 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
579.19/579.40 c 543s| 2880k| 2809k| 0 | 0.0 | 840M| 487 | - | 840 | 756 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
581.19/581.42 c 545s| 2890k| 2819k| 0 | 0.0 | 843M| 487 | - | 840 | 636 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
583.28/583.50 c 547s| 2900k| 2828k| 0 | 0.0 | 846M| 487 | - | 840 | 600 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
585.18/585.48 c 549s| 2910k| 2838k| 0 | 0.0 | 850M| 487 | - | 840 | 804 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
587.19/587.43 c 550s| 2920k| 2848k| 0 | 0.0 | 853M| 487 | - | 840 | 769 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
589.29/589.56 c 552s| 2930k| 2857k| 0 | 0.0 | 855M| 487 | - | 840 | 765 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
591.28/591.53 c 554s| 2940k| 2867k| 0 | 0.0 | 858M| 487 | - | 840 | 700 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
593.28/593.56 c 556s| 2950k| 2877k| 0 | 0.0 | 861M| 487 | - | 840 | 777 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
595.38/595.63 c 558s| 2960k| 2886k| 0 | 0.0 | 864M| 487 | - | 840 | 728 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
597.28/597.59 c 560s| 2970k| 2896k| 0 | 0.0 | 867M| 487 | - | 840 | 789 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
599.38/599.66 c 562s| 2980k| 2906k| 0 | 0.0 | 870M| 487 | - | 840 | 723 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
601.39/601.65 c 564s| 2990k| 2915k| 0 | 0.0 | 874M| 487 | - | 840 | 863 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
603.47/603.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
603.47/603.73 c 566s| 3000k| 2925k| 0 | 0.0 | 876M| 487 | - | 840 | 616 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
605.38/605.66 c 567s| 3010k| 2934k| 0 | 0.0 | 879M| 487 | - | 840 | 700 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
607.37/607.62 c 569s| 3020k| 2944k| 0 | 0.0 | 883M| 487 | - | 840 | 708 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
609.38/609.67 c 571s| 3030k| 2954k| 0 | 0.0 | 885M| 487 | - | 840 | 619 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
611.38/611.61 c 573s| 3040k| 2963k| 0 | 0.0 | 889M| 487 | - | 840 | 735 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
613.37/613.66 c 575s| 3050k| 2973k| 0 | 0.0 | 891M| 487 | - | 840 | 657 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
615.37/615.62 c 577s| 3060k| 2983k| 0 | 0.0 | 895M| 487 | - | 840 | 843 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
617.47/617.77 c 579s| 3070k| 2992k| 0 | 0.0 | 898M| 487 | - | 840 | 694 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
619.57/619.80 c 581s| 3080k| 3002k| 0 | 0.0 | 900M| 487 | - | 840 | 657 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
621.57/621.85 c 583s| 3090k| 3012k| 0 | 0.0 | 903M| 487 | - | 840 | 600 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
623.57/623.81 c 584s| 3100k| 3021k| 0 | 0.0 | 907M| 487 | - | 840 | 773 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
625.47/625.75 c 586s| 3110k| 3031k| 0 | 0.0 | 910M| 487 | - | 840 | 757 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
627.47/627.74 c 588s| 3120k| 3041k| 0 | 0.0 | 913M| 487 | - | 840 | 767 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
629.46/629.78 c 590s| 3130k| 3050k| 0 | 0.0 | 915M| 487 | - | 840 | 705 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
631.56/631.84 c 592s| 3140k| 3060k| 0 | 0.0 | 919M| 487 | - | 840 | 757 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
633.56/633.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
633.56/633.83 c 594s| 3150k| 3069k| 0 | 0.0 | 921M| 487 | - | 840 | 709 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
635.57/635.88 c 596s| 3160k| 3079k| 0 | 0.0 | 925M| 487 | - | 840 | 720 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
637.56/637.82 c 597s| 3170k| 3089k| 0 | 0.0 | 928M| 487 | - | 840 | 737 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
639.46/639.77 c 599s| 3180k| 3098k| 0 | 0.0 | 931M| 487 | - | 840 | 671 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
641.56/641.81 c 601s| 3190k| 3108k| 0 | 0.0 | 934M| 487 | - | 840 | 716 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
643.56/643.80 c 603s| 3200k| 3118k| 0 | 0.0 | 937M| 487 | - | 840 | 729 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
645.46/645.74 c 605s| 3210k| 3127k| 0 | 0.0 | 940M| 487 | - | 840 | 833 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
647.36/647.68 c 607s| 3220k| 3137k| 0 | 0.0 | 943M| 487 | - | 840 | 804 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
649.36/649.69 c 609s| 3230k| 3146k| 0 | 0.0 | 946M| 487 | - | 840 | 852 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
651.36/651.66 c 610s| 3240k| 3156k| 0 | 0.0 | 949M| 487 | - | 840 | 848 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
653.46/653.71 c 612s| 3250k| 3166k| 0 | 0.0 | 952M| 487 | - | 840 | 790 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
655.46/655.70 c 614s| 3260k| 3175k| 0 | 0.0 | 955M| 487 | - | 840 | 754 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
657.57/657.80 c 616s| 3270k| 3185k| 0 | 0.0 | 958M| 487 | - | 840 | 702 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
659.45/659.74 c 618s| 3280k| 3195k| 0 | 0.0 | 961M| 487 | - | 840 | 806 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
661.45/661.75 c 620s| 3290k| 3204k| 0 | 0.0 | 964M| 487 | - | 840 | 907 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | -- | Inf
663.55/663.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
663.55/663.80 c 622s| 3300k| 3214k| 0 | 0.0 | 967M| 487 | - | 840 | 963 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
665.45/665.78 c 624s| 3310k| 3223k| 0 | 0.0 | 970M| 487 | - | 840 | 833 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
667.46/667.71 c 625s| 3320k| 3233k| 0 | 0.0 | 973M| 487 | - | 840 | 983 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
669.45/669.73 c 627s| 3330k| 3243k| 0 | 0.0 | 976M| 487 | - | 840 |1011 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
671.56/671.80 c 629s| 3340k| 3252k| 0 | 0.0 | 979M| 487 | - | 840 | 965 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
673.66/673.96 c 631s| 3350k| 3262k| 0 | 0.0 | 982M| 487 | - | 840 | 840 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
675.75/676.04 c 633s| 3360k| 3271k| 0 | 0.0 | 985M| 487 | - | 840 | 837 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
677.65/677.94 c 635s| 3370k| 3281k| 0 | 0.0 | 988M| 487 | - | 840 | 727 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
679.65/679.93 c 637s| 3380k| 3291k| 0 | 0.0 | 991M| 487 | - | 840 | 920 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
681.55/681.86 c 639s| 3390k| 3300k| 0 | 0.0 | 994M| 487 | - | 840 | 952 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
683.64/683.98 c 641s| 3400k| 3310k| 0 | 0.0 | 997M| 487 | - | 840 | 840 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
685.65/685.95 c 642s| 3410k| 3319k| 0 | 0.0 |1000M| 487 | - | 840 | 848 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf
687.65/687.94 c 644s| 3420k| 3329k| 0 | 0.0 |1003M| 487 | - | 840 | 786 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
689.64/689.92 c 646s| 3430k| 3339k| 0 | 0.0 |1006M| 487 | - | 840 | 975 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
691.55/691.90 c 648s| 3440k| 3348k| 0 | 0.0 |1009M| 487 | - | 840 | 886 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | -- | Inf
693.55/693.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
693.55/693.89 c 650s| 3450k| 3358k| 0 | 0.0 |1013M| 487 | - | 840 | 977 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
695.64/695.97 c 652s| 3460k| 3367k| 0 | 0.0 |1016M| 487 | - | 840 | 934 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
697.74/698.03 c 654s| 3470k| 3377k| 0 | 0.0 |1019M| 487 | - | 840 |1036 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | -- | Inf
699.74/700.09 c 656s| 3480k| 3387k| 0 | 0.0 |1022M| 487 | - | 840 | 846 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | -- | Inf
701.74/702.09 c 658s| 3490k| 3396k| 0 | 0.0 |1025M| 487 | - | 840 | 946 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf
703.84/704.12 c 659s| 3500k| 3406k| 0 | 0.0 |1028M| 487 | - | 840 | 948 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | -- | Inf
705.85/706.15 c 661s| 3510k| 3415k| 0 | 0.0 |1031M| 487 | - | 840 |1156 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | -- | Inf
707.84/708.15 c 663s| 3520k| 3425k| 0 | 0.0 |1034M| 487 | - | 840 |1054 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
709.94/710.25 c 665s| 3530k| 3434k| 0 | 0.0 |1037M| 487 | - | 840 |1068 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | -- | Inf
712.14/712.40 c 667s| 3540k| 3444k| 0 | 0.0 |1040M| 487 | - | 840 | 953 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | -- | Inf
714.23/714.54 c 669s| 3550k| 3454k| 0 | 0.0 |1043M| 487 | - | 840 | 955 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
716.14/716.47 c 671s| 3560k| 3463k| 0 | 0.0 |1046M| 487 | - | 840 |1000 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
718.24/718.57 c 673s| 3570k| 3473k| 0 | 0.0 |1049M| 487 | - | 840 |1022 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | -- | Inf
720.25/720.50 c 675s| 3580k| 3482k| 0 | 0.0 |1052M| 487 | - | 840 | 994 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
722.44/722.73 c 677s| 3590k| 3492k| 0 | 0.0 |1055M| 487 | - | 840 |1014 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | -- | Inf
724.44/724.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
724.44/724.79 c 679s| 3600k| 3501k| 0 | 0.0 |1058M| 487 | - | 840 | 999 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
726.74/727.05 c 681s| 3610k| 3511k| 0 | 0.0 |1062M| 487 | - | 840 | 891 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
728.73/729.04 c 683s| 3620k| 3520k| 0 | 0.0 |1065M| 487 | - | 840 |1070 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | -- | Inf
730.84/731.15 c 685s| 3630k| 3530k| 0 | 0.0 |1068M| 487 | - | 840 | 925 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | -- | Inf
732.73/733.07 c 687s| 3640k| 3540k| 0 | 0.0 |1071M| 487 | - | 840 | 944 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
734.83/735.17 c 689s| 3650k| 3549k| 0 | 0.0 |1074M| 487 | - | 840 | 962 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | -- | Inf
736.93/737.22 c 690s| 3660k| 3559k| 0 | 0.0 |1077M| 487 | - | 840 |1076 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | -- | Inf
738.94/739.25 c 692s| 3670k| 3568k| 0 | 0.0 |1080M| 487 | - | 840 | 991 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | -- | Inf
741.03/741.38 c 694s| 3680k| 3578k| 0 | 0.0 |1083M| 487 | - | 840 |1132 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | -- | Inf
743.13/743.45 c 696s| 3690k| 3587k| 0 | 0.0 |1086M| 487 | - | 840 |1056 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | -- | Inf
745.23/745.54 c 698s| 3700k| 3597k| 0 | 0.0 |1089M| 487 | - | 840 |1184 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | -- | Inf
747.22/747.54 c 700s| 3710k| 3606k| 0 | 0.0 |1092M| 487 | - | 840 |1020 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | -- | Inf
749.22/749.52 c 702s| 3720k| 3616k| 0 | 0.0 |1095M| 487 | - | 840 |1180 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | -- | Inf
751.33/751.69 c 704s| 3730k| 3626k| 0 | 0.0 |1098M| 487 | - | 840 | 932 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
753.33/753.69 c 706s| 3740k| 3635k| 0 | 0.0 |1102M| 487 | - | 840 |1180 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | -- | Inf
755.62/755.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
755.62/755.90 c 708s| 3750k| 3645k| 0 | 0.0 |1105M| 487 | - | 840 | 966 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | -- | Inf
757.63/757.99 c 710s| 3760k| 3654k| 0 | 0.0 |1108M| 487 | - | 840 |1211 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | -- | Inf
759.92/760.26 c 712s| 3770k| 3664k| 0 | 0.0 |1111M| 487 | - | 840 | 940 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | -- | Inf
762.11/762.40 c 714s| 3780k| 3673k| 0 | 0.0 |1114M| 487 | - | 840 |1286 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | -- | Inf
764.23/764.52 c 716s| 3790k| 3683k| 0 | 0.0 |1117M| 487 | - | 840 |1034 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | -- | Inf
766.32/766.63 c 718s| 3800k| 3692k| 0 | 0.0 |1120M| 487 | - | 840 |1299 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
768.32/768.68 c 720s| 3810k| 3702k| 0 | 0.0 |1123M| 487 | - | 840 |1209 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | -- | Inf
770.32/770.62 c 722s| 3820k| 3711k| 0 | 0.0 |1126M| 487 | - | 840 |1246 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
772.42/772.79 c 724s| 3830k| 3721k| 0 | 0.0 |1129M| 487 | - | 840 |1088 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | -- | Inf
774.42/774.79 c 726s| 3840k| 3730k| 0 | 0.0 |1133M| 487 | - | 840 |1261 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | -- | Inf
776.61/776.99 c 728s| 3850k| 3740k| 0 | 0.0 |1136M| 487 | - | 840 |1130 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | -- | Inf
778.71/779.01 c 730s| 3860k| 3749k| 0 | 0.0 |1139M| 487 | - | 840 |1201 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | -- | Inf
780.91/781.20 c 732s| 3870k| 3759k| 0 | 0.0 |1142M| 487 | - | 840 |1216 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | -- | Inf
782.82/783.17 c 733s| 3880k| 3768k| 0 | 0.0 |1145M| 487 | - | 840 |1157 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | -- | Inf
784.91/785.30 c 735s| 3890k| 3778k| 0 | 0.0 |1148M| 487 | - | 840 |1283 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | -- | Inf
787.01/787.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
787.01/787.37 c 737s| 3900k| 3787k| 0 | 0.0 |1151M| 487 | - | 840 |1084 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | -- | Inf
789.21/789.57 c 739s| 3910k| 3797k| 0 | 0.0 |1154M| 487 | - | 840 |1368 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | -- | Inf
791.31/791.64 c 741s| 3920k| 3806k| 0 | 0.0 |1157M| 487 | - | 840 |1080 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | -- | Inf
793.51/793.83 c 743s| 3930k| 3816k| 0 | 0.0 |1161M| 487 | - | 840 |1288 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | -- | Inf
795.41/795.79 c 745s| 3940k| 3825k| 0 | 0.0 |1164M| 487 | - | 840 |1202 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | -- | Inf
797.51/797.88 c 747s| 3950k| 3835k| 0 | 0.0 |1167M| 487 | - | 840 |1501 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
799.60/799.95 c 749s| 3960k| 3844k| 0 | 0.0 |1170M| 487 | - | 840 |1382 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | -- | Inf
801.80/802.10 c 751s| 3970k| 3854k| 0 | 0.0 |1173M| 487 | - | 840 |1488 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | -- | Inf
803.71/804.09 c 753s| 3980k| 3863k| 0 | 0.0 |1176M| 487 | - | 840 |1312 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | -- | Inf
805.91/806.22 c 755s| 3990k| 3873k| 0 | 0.0 |1180M| 487 | - | 840 |1464 | 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | -- | Inf
808.21/808.54 c 757s| 4000k| 3882k| 0 | 0.0 |1183M| 487 | - | 840 |1299 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | -- | Inf
810.31/810.63 c 759s| 4010k| 3891k| 0 | 0.0 |1186M| 487 | - | 840 |1293 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | -- | Inf
812.61/812.94 c 761s| 4020k| 3901k| 0 | 0.0 |1189M| 487 | - | 840 |1303 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | -- | Inf
814.70/815.04 c 763s| 4030k| 3910k| 0 | 0.0 |1192M| 487 | - | 840 |1397 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | -- | Inf
817.00/817.37 c 765s| 4040k| 3920k| 0 | 0.0 |1195M| 487 | - | 840 |1680 | 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | -- | Inf
819.10/819.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
819.10/819.41 c 767s| 4050k| 3929k| 0 | 0.0 |1198M| 487 | - | 840 |1286 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | -- | Inf
821.31/821.61 c 769s| 4060k| 3939k| 0 | 0.0 |1202M| 487 | - | 840 |1515 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | -- | Inf
823.40/823.70 c 771s| 4070k| 3948k| 0 | 0.0 |1204M| 487 | - | 840 |1335 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | -- | Inf
825.50/825.82 c 773s| 4080k| 3957k| 0 | 0.0 |1208M| 487 | - | 840 |1455 | 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | -- | Inf
827.49/827.80 c 775s| 4090k| 3967k| 0 | 0.0 |1211M| 487 | - | 840 |1348 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | -- | Inf
829.70/830.05 c 777s| 4100k| 3976k| 0 | 0.0 |1214M| 487 | - | 840 |1454 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | -- | Inf
832.19/832.50 c 780s| 4110k| 3986k| 0 | 0.0 |1217M| 487 | - | 840 |1593 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | -- | Inf
834.29/834.67 c 782s| 4120k| 3995k| 0 | 0.0 |1220M| 487 | - | 840 |1440 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | -- | Inf
836.80/837.13 c 784s| 4130k| 4005k| 0 | 0.0 |1224M| 487 | - | 840 |1631 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | -- | Inf
838.90/839.23 c 786s| 4140k| 4014k| 0 | 0.0 |1227M| 487 | - | 840 |1435 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | -- | Inf
841.00/841.37 c 788s| 4150k| 4023k| 0 | 0.0 |1230M| 487 | - | 840 |1745 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | -- | Inf
843.20/843.53 c 790s| 4160k| 4033k| 0 | 0.0 |1233M| 487 | - | 840 |1595 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | -- | Inf
845.39/845.70 c 792s| 4170k| 4042k| 0 | 0.0 |1236M| 487 | - | 840 |1682 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | -- | Inf
847.80/848.16 c 794s| 4180k| 4052k| 0 | 0.0 |1239M| 487 | - | 840 |1621 | 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | -- | Inf
849.89/850.30 c 796s| 4190k| 4061k| 0 | 0.0 |1243M| 487 | - | 840 |1575 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | -- | Inf
852.10/852.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
852.10/852.46 c 798s| 4200k| 4070k| 0 | 0.0 |1246M| 487 | - | 840 |1829 | 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | -- | Inf
854.29/854.61 c 800s| 4210k| 4080k| 0 | 0.0 |1249M| 487 | - | 840 |1525 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | -- | Inf
856.50/856.89 c 802s| 4220k| 4089k| 0 | 0.0 |1252M| 487 | - | 840 |1778 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | -- | Inf
858.70/859.04 c 804s| 4230k| 4098k| 0 | 0.0 |1255M| 487 | - | 840 |1751 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | -- | Inf
860.89/861.28 c 807s| 4240k| 4108k| 0 | 0.0 |1259M| 487 | - | 840 |1773 | 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | -- | Inf
863.29/863.69 c 809s| 4250k| 4117k| 0 | 0.0 |1262M| 487 | - | 840 |1800 | 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | -- | Inf
865.58/865.97 c 811s| 4260k| 4127k| 0 | 0.0 |1265M| 487 | - | 840 |1545 | 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | -- | Inf
867.88/868.29 c 813s| 4270k| 4136k| 0 | 0.0 |1268M| 487 | - | 840 |1733 | 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | -- | Inf
870.09/870.49 c 815s| 4280k| 4145k| 0 | 0.0 |1271M| 487 | - | 840 |1631 | 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | -- | Inf
872.48/872.86 c 817s| 4290k| 4155k| 0 | 0.0 |1275M| 487 | - | 840 |1668 | 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | -- | Inf
874.99/875.31 c 820s| 4300k| 4164k| 0 | 0.0 |1278M| 487 | - | 840 |1945 | 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | -- | Inf
877.28/877.64 c 822s| 4310k| 4173k| 0 | 0.0 |1281M| 487 | - | 840 |1760 | 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | -- | Inf
879.69/880.07 c 824s| 4320k| 4183k| 0 | 0.0 |1284M| 487 | - | 840 |2090 | 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | -- | Inf
881.98/882.38 c 826s| 4330k| 4192k| 0 | 0.0 |1288M| 487 | - | 840 |1871 | 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | -- | Inf
884.18/884.58 c 828s| 4340k| 4201k| 0 | 0.0 |1291M| 487 | - | 840 |1778 | 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | -- | Inf
886.58/886.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
886.58/886.98 c 831s| 4350k| 4211k| 0 | 0.0 |1294M| 487 | - | 840 |2103 | 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | -- | Inf
888.78/889.10 c 833s| 4360k| 4220k| 0 | 0.0 |1297M| 487 | - | 840 |1890 | 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | -- | Inf
891.18/891.53 c 835s| 4370k| 4229k| 0 | 0.0 |1300M| 487 | - | 840 |2099 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | -- | Inf
893.58/893.96 c 837s| 4380k| 4239k| 0 | 0.0 |1304M| 487 | - | 840 |2299 | 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | -- | Inf
895.78/896.19 c 839s| 4390k| 4248k| 0 | 0.0 |1307M| 487 | - | 840 |1888 | 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | -- | Inf
898.18/898.54 c 841s| 4400k| 4257k| 0 | 0.0 |1310M| 487 | - | 840 |2246 | 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | -- | Inf
900.68/901.00 c 844s| 4410k| 4267k| 0 | 0.0 |1313M| 487 | - | 840 |2173 | 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | -- | Inf
902.68/903.05 c 846s| 4420k| 4276k| 0 | 0.0 |1316M| 487 | - | 840 |1952 | 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | -- | Inf
904.98/905.39 c 848s| 4430k| 4285k| 0 | 0.0 |1320M| 487 | - | 840 |2319 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | -- | Inf
907.58/907.95 c 850s| 4440k| 4294k| 0 | 0.0 |1323M| 487 | - | 840 |2170 | 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | -- | Inf
909.87/910.22 c 852s| 4450k| 4304k| 0 | 0.0 |1326M| 487 | - | 840 |1953 | 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | -- | Inf
912.27/912.68 c 855s| 4460k| 4313k| 0 | 0.0 |1330M| 487 | - | 840 |2256 | 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | -- | Inf
915.07/915.40 c 857s| 4470k| 4322k| 0 | 0.0 |1333M| 487 | - | 840 |2397 | 0 | 0 | 0 | 450k| 0 | 0.000000e+00 | -- | Inf
917.37/917.75 c 859s| 4480k| 4331k| 0 | 0.0 |1336M| 487 | - | 840 |2215 | 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | -- | Inf
919.86/920.27 c 862s| 4490k| 4341k| 0 | 0.0 |1340M| 487 | - | 840 |2571 | 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | -- | Inf
922.37/922.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
922.37/922.72 c 864s| 4500k| 4350k| 0 | 0.0 |1343M| 487 | - | 840 |2726 | 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | -- | Inf
924.57/925.00 c 866s| 4510k| 4359k| 0 | 0.0 |1346M| 487 | - | 840 |2436 | 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | -- | Inf
927.16/927.56 c 869s| 4520k| 4368k| 0 | 0.0 |1350M| 487 | - | 840 |2755 | 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | -- | Inf
929.96/930.34 c 871s| 4530k| 4378k| 0 | 0.0 |1353M| 487 | - | 840 |2680 | 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | -- | Inf
932.47/932.81 c 874s| 4540k| 4387k| 0 | 0.0 |1356M| 487 | - | 840 |2505 | 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | -- | Inf
934.36/934.80 c (node 4547188) switching to memory saving mode (mem: 1296.0M/1620.0M)
937.46/937.84 c 878s| 4550k| 4393k| 0 | 0.0 |1359M| 487 | - | 840 |3530 | 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | -- | Inf
945.86/946.26 c 887s| 4560k| 4393k| 0 | 0.0 |1362M| 487 | - | 840 |9417 | 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | -- | Inf
956.66/957.03 c 897s| 4570k| 4393k| 0 | 0.0 |1364M| 487 | - | 840 | 10k| 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | -- | Inf
968.45/968.88 c 909s| 4580k| 4393k| 0 | 0.0 |1365M| 487 | - | 840 | 12k| 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | -- | Inf
982.05/982.48 c 922s| 4590k| 4393k| 0 | 0.0 |1366M| 487 | - | 840 | 13k| 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | -- | Inf
997.04/997.40 c 936s| 4600k| 4393k| 0 | 0.0 |1367M| 487 | - | 840 | 15k| 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | -- | Inf
1012.84/1013.22 c 952s| 4610k| 4393k| 0 | 0.0 |1368M| 487 | - | 840 | 17k| 0 | 0 | 0 | 559k| 0 | 0.000000e+00 | -- | Inf
1031.34/1031.75 c 970s| 4620k| 4393k| 0 | 0.0 |1368M| 487 | - | 840 | 15k| 0 | 0 | 0 | 573k| 0 | 0.000000e+00 | -- | Inf
1048.33/1048.71 c 987s| 4630k| 4393k| 0 | 0.0 |1370M| 487 | - | 840 | 18k| 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | -- | Inf
1067.42/1067.82 c 1005s| 4640k| 4393k| 0 | 0.0 |1372M| 487 | - | 840 | 21k| 0 | 0 | 0 | 600k| 0 | 0.000000e+00 | -- | Inf
1086.62/1087.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1086.62/1087.01 c 1024s| 4650k| 4393k| 0 | 0.0 |1371M| 487 | - | 840 | 19k| 0 | 0 | 0 | 614k| 0 | 0.000000e+00 | -- | Inf
1108.70/1109.18 c 1046s| 4660k| 4393k| 0 | 0.0 |1373M| 487 | - | 840 | 22k| 0 | 0 | 0 | 627k| 0 | 0.000000e+00 | -- | Inf
1132.80/1133.20 c 1070s| 4670k| 4393k| 0 | 0.0 |1374M| 487 | - | 840 | 24k| 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | -- | Inf
1153.20/1153.61 c 1090s| 4680k| 4393k| 0 | 0.0 |1373M| 487 | - | 840 | 21k| 0 | 0 | 0 | 655k| 0 | 0.000000e+00 | -- | Inf
1174.69/1175.11 c 1111s| 4690k| 4393k| 0 | 0.0 |1374M| 487 | - | 840 | 22k| 0 | 0 | 0 | 667k| 0 | 0.000000e+00 | -- | Inf
1197.57/1198.03 c 1134s| 4700k| 4393k| 0 | 0.0 |1376M| 487 | - | 840 | 26k| 0 | 0 | 0 | 681k| 0 | 0.000000e+00 | -- | Inf
1222.77/1223.22 c 1158s| 4710k| 4393k| 0 | 0.0 |1375M| 487 | - | 840 | 23k| 0 | 0 | 0 | 694k| 0 | 0.000000e+00 | -- | Inf
1246.06/1246.55 c 1181s| 4720k| 4392k| 0 | 0.0 |1377M| 487 | - | 840 | 25k| 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | -- | Inf
1270.65/1271.10 c 1206s| 4730k| 4392k| 0 | 0.0 |1378M| 487 | - | 840 | 28k| 0 | 0 | 0 | 721k| 0 | 0.000000e+00 | -- | Inf
1299.44/1299.94 c 1234s| 4740k| 4393k| 0 | 0.0 |1379M| 487 | - | 840 | 28k| 0 | 0 | 0 | 733k| 0 | 0.000000e+00 | -- | Inf
1330.73/1331.22 c 1265s| 4750k| 4392k| 0 | 0.0 |1381M| 487 | - | 840 | 31k| 0 | 0 | 0 | 746k| 0 | 0.000000e+00 | -- | Inf
1362.82/1363.36 c 1297s| 4760k| 4392k| 0 | 0.0 |1382M| 487 | - | 840 | 33k| 0 | 0 | 0 | 759k| 0 | 0.000000e+00 | -- | Inf
1398.80/1399.38 c 1332s| 4770k| 4392k| 0 | 0.0 |1383M| 487 | - | 840 | 33k| 0 | 0 | 0 | 772k| 0 | 0.000000e+00 | -- | Inf
1431.50/1432.07 c 1365s| 4780k| 4392k| 0 | 0.0 |1385M| 487 | - | 840 | 36k| 0 | 0 | 0 | 785k| 0 | 0.000000e+00 | -- | Inf
1465.28/1465.86 c 1398s| 4790k| 4392k| 0 | 0.0 |1382M| 487 | - | 840 | 31k| 0 | 0 | 0 | 798k| 0 | 0.000000e+00 | -- | Inf
1491.07/1491.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1491.07/1491.69 c 1424s| 4800k| 4392k| 0 | 0.0 |1381M| 487 | - | 840 | 30k| 0 | 0 | 0 | 811k| 0 | 0.000000e+00 | -- | Inf
1517.96/1518.53 c 1450s| 4810k| 4392k| 0 | 0.0 |1379M| 487 | - | 840 | 27k| 0 | 0 | 0 | 823k| 0 | 0.000000e+00 | -- | Inf
1546.25/1546.87 c 1478s| 4820k| 4392k| 0 | 0.0 |1381M| 487 | - | 840 | 30k| 0 | 0 | 0 | 837k| 0 | 0.000000e+00 | -- | Inf
1575.43/1576.08 c 1507s| 4830k| 4392k| 0 | 0.0 |1383M| 487 | - | 840 | 32k| 0 | 0 | 0 | 849k| 0 | 0.000000e+00 | -- | Inf
1609.62/1610.26 c 1541s| 4840k| 4392k| 0 | 0.0 |1385M| 487 | - | 840 | 35k| 0 | 0 | 0 | 862k| 0 | 0.000000e+00 | -- | Inf
1647.41/1648.04 c 1578s| 4850k| 4392k| 0 | 0.0 |1387M| 487 | - | 840 | 38k| 0 | 0 | 0 | 875k| 0 | 0.000000e+00 | -- | Inf
1684.00/1684.67 c 1615s| 4860k| 4392k| 0 | 0.0 |1388M| 487 | - | 840 | 39k| 0 | 0 | 0 | 887k| 0 | 0.000000e+00 | -- | Inf
1721.29/1721.97 c 1651s| 4870k| 4392k| 0 | 0.0 |1391M| 487 | - | 840 | 42k| 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | -- | Inf
1762.97/1763.68 c 1693s| 4880k| 4392k| 0 | 0.0 |1392M| 487 | - | 840 | 44k| 0 | 0 | 0 | 914k| 0 | 0.000000e+00 | -- | Inf
1800.07/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.71 c
1800.07/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.71 c Solving Time (sec) : 1729.51
1800.07/1800.71 c Solving Nodes : 4888620
1800.07/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.07/1800.71 c Dual Bound : +0.00000000000000e+00
1800.07/1800.71 c Gap : infinite
1800.07/1800.71 s UNKNOWN
1800.07/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.71 c Solving Time : 1729.51
1800.07/1800.71 c Original Problem :
1800.07/1800.71 c Problem name : HOME/instance-2664515-1276326729.opb
1800.07/1800.71 c Variables : 840 (840 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.71 c Constraints : 82 initial, 82 maximal
1800.07/1800.71 c Presolved Problem :
1800.07/1800.71 c Problem name : t_HOME/instance-2664515-1276326729.opb
1800.07/1800.71 c Variables : 840 (840 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.71 c Constraints : 82 initial, 47526 maximal
1800.07/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c probing : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.71 c root node : - 0 - - 0 - - - -
1800.07/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.71 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.71 c setppc : 40 0 7217512 0 4746640 243091 6592814 0 0 0
1800.07/1800.71 c logicor : 42+ 0 3147953 0 4746639 63023 2119680 0 0 0
1800.07/1800.71 c countsols : 0 0 0 0 4746639 0 0 0 0 0
1800.07/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.71 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.71 c setppc : 281.76 0.00 184.90 0.00 96.86
1800.07/1800.71 c logicor : 512.29 0.00 431.06 0.00 81.23
1800.07/1800.71 c countsols : 1.74 0.00 0.00 0.00 1.74
1800.07/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.71 c vbounds : 3.18 1 0 0
1800.07/1800.71 c rootredcost : 3.39 0 0 0
1800.07/1800.71 c pseudoobj : 3.01 0 0 0
1800.07/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.72 c propagation : 150.21 306114 306114 4508114 82.7 5959 63.3 -
1800.07/1800.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.72 c applied globally : - - - 918392 56.3 - - -
1800.07/1800.72 c applied locally : - - - 7673 98.6 - - -
1800.07/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.72 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.72 c redcost : 0.00 0 0 0 0 0
1800.07/1800.72 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.72 c intobj : 0.00 0 0 0 0 0
1800.07/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.72 c gomory : 0.00 0 0 0 0 0
1800.07/1800.72 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.72 c cmir : 0.00 0 0 0 0 0
1800.07/1800.72 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.72 c clique : 0.00 0 0 0 0 0
1800.07/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.72 c mcf : 0.00 0 0 0 0 0
1800.07/1800.72 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.72 c Pricers : Time Calls Vars
1800.07/1800.72 c problem variables: 0.00 0 0
1800.07/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.72 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.72 c inference : 437.41 4746639 0 0 0 0 9493278
1800.07/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.72 c random : 0.00 0 0 0 0 0 0
1800.07/1800.72 c Primal Heuristics : Time Calls Found
1800.07/1800.72 c LP solutions : 0.00 - 0
1800.07/1800.72 c pseudo solutions : 0.00 - 0
1800.07/1800.72 c trivial : 0.00 1 0
1800.07/1800.72 c simplerounding : 0.00 0 0
1800.07/1800.72 c zirounding : 0.00 0 0
1800.07/1800.72 c rounding : 0.00 0 0
1800.07/1800.72 c shifting : 0.00 0 0
1800.07/1800.72 c intshifting : 0.00 0 0
1800.07/1800.72 c oneopt : 0.00 0 0
1800.07/1800.72 c twoopt : 0.00 0 0
1800.07/1800.72 c fixandinfer : 0.00 0 0
1800.07/1800.72 c feaspump : 0.00 0 0
1800.07/1800.72 c coefdiving : 0.00 0 0
1800.07/1800.72 c pscostdiving : 0.00 0 0
1800.07/1800.72 c fracdiving : 0.00 0 0
1800.07/1800.72 c veclendiving : 0.00 0 0
1800.07/1800.72 c intdiving : 0.00 0 0
1800.07/1800.72 c actconsdiving : 0.00 0 0
1800.07/1800.72 c objpscostdiving : 0.00 0 0
1800.07/1800.72 c rootsoldiving : 0.00 0 0
1800.07/1800.72 c linesearchdiving : 0.00 0 0
1800.07/1800.72 c guideddiving : 0.00 0 0
1800.07/1800.72 c octane : 0.00 0 0
1800.07/1800.72 c rens : 0.00 0 0
1800.07/1800.72 c rins : 0.00 0 0
1800.07/1800.72 c localbranching : 0.00 0 0
1800.07/1800.72 c mutation : 0.00 0 0
1800.07/1800.72 c crossover : 0.00 0 0
1800.07/1800.72 c dins : 0.00 0 0
1800.07/1800.72 c undercover : 0.00 0 0
1800.07/1800.72 c nlp : 0.00 0 0
1800.07/1800.72 c trysol : 0.00 0 0
1800.07/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.72 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.72 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.72 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.72 c (at root node) : - 0 0 0.00 -
1800.07/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.72 c B&B Tree :
1800.07/1800.72 c number of runs : 1
1800.07/1800.72 c nodes : 4888620
1800.07/1800.72 c nodes (total) : 4888620
1800.07/1800.72 c nodes left : 4392940
1800.07/1800.72 c max depth : 487
1800.07/1800.72 c max depth (total): 487
1800.07/1800.72 c backtracks : 164905 (3.4%)
1800.07/1800.72 c delayed cutoffs : 211719
1800.07/1800.72 c repropagations : 393046 (2894547 domain reductions, 164133 cutoffs)
1800.07/1800.72 c avg switch length: 4.21
1800.07/1800.72 c switching time : 288.87
1800.07/1800.72 c Solution :
1800.07/1800.72 c Solutions found : 0 (0 improvements)
1800.07/1800.72 c Primal Bound : -
1800.07/1800.72 c Dual Bound : +0.00000000000000e+00
1800.07/1800.72 c Gap : infinite
1800.07/1800.72 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.72 c Root Iterations : 0