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-2663499-1276684011.opb>
0.00/0.02 c original problem has 718 variables (718 bin, 0 int, 0 impl, 0 cont) and 770 constraints
0.00/0.02 c problem read
0.00/0.02 c No objective function, only one solution is needed.
0.00/0.02 c presolving settings loaded
0.00/0.02 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.02 c presolving:
0.19/0.20 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 151 upgd conss, 5044 impls, 100 clqs
0.19/0.21 c presolving (2 rounds):
0.19/0.21 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.21 c 5044 implications, 100 cliques
0.19/0.21 c presolved problem has 718 variables (718 bin, 0 int, 0 impl, 0 cont) and 770 constraints
0.19/0.21 c 1 constraints of type <knapsack>
0.19/0.21 c 100 constraints of type <setppc>
0.19/0.21 c 618 constraints of type <and>
0.19/0.21 c 1 constraints of type <linear>
0.19/0.21 c 50 constraints of type <logicor>
0.19/0.21 c transformed objective value is always integral (scale: 1)
0.19/0.21 c Presolving Time: 0.09
0.19/0.21 c - non default parameters ----------------------------------------------------------------------
0.19/0.21 c # SCIP version 1.2.1.2
0.19/0.21 c
0.19/0.21 c # frequency for displaying node information lines
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.21 c display/freq = 10000
0.19/0.21 c
0.19/0.21 c # maximal time in seconds to run
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/time = 1799.99
0.19/0.21 c
0.19/0.21 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/memory = 1620
0.19/0.21 c
0.19/0.21 c # solving stops, if the given number of solutions were found (-1: no limit)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21 c limits/solutions = 1
0.19/0.21 c
0.19/0.21 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.21 c lp/solvefreq = -1
0.19/0.21 c
0.19/0.21 c # maximal number of separation rounds per node (-1: unlimited)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 5]
0.19/0.21 c separating/maxrounds = 1
0.19/0.21 c
0.19/0.21 c # maximal number of separation rounds in the root node (-1: unlimited)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21 c separating/maxroundsroot = 5
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify inequalities
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/linear/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.19/0.21 c constraints/knapsack/disaggregation = FALSE
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify knapsacks
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21 c presolving/probing/maxrounds = 0
0.19/0.21 c
0.19/0.21 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.21 c heuristics/coefdiving/freq = -1
0.19/0.21 c
0.19/0.21 c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.21 c heuristics/coefdiving/maxlpiterquot = 0.075
0.19/0.21 c
0.19/0.21 c # additional number of allowed LP iterations
0.19/0.21 c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.21 c heuristics/coefdiving/maxlpiterofs = 1500
0.19/0.21 c
0.19/0.21 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 30]
0.19/0.21 c heuristics/crossover/freq = -1
0.19/0.21 c
0.19/0.21 c # number of nodes added to the contingent of the total nodes
0.19/0.21 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.19/0.21 c heuristics/crossover/nodesofs = 750
0.19/0.21 c
0.19/0.21 c # number of nodes without incumbent change that heuristic should wait
0.19/0.21 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.19/0.21 c heuristics/crossover/nwaitingnodes = 100
0.19/0.21 c
0.19/0.21 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.19/0.21 c # [type: real, range: [0,1], default: 0.1]
0.19/0.21 c heuristics/crossover/nodesquot = 0.15
0.19/0.21 c
0.19/0.21 c # minimum percentage of integer variables that have to be fixed
0.19/0.21 c # [type: real, range: [0,1], default: 0.666]
0.19/0.21 c heuristics/crossover/minfixingrate = 0.5
0.19/0.21 c
0.19/0.21 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 20]
0.19/0.21 c heuristics/feaspump/freq = -1
0.19/0.21 c
0.19/0.21 c # additional number of allowed LP iterations
0.19/0.21 c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.21 c heuristics/feaspump/maxlpiterofs = 2000
0.19/0.21 c
0.19/0.21 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.21 c heuristics/fracdiving/freq = -1
0.19/0.21 c
0.19/0.21 c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.21 c heuristics/fracdiving/maxlpiterquot = 0.075
0.19/0.21 c
0.19/0.21 c # additional number of allowed LP iterations
0.19/0.21 c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.21 c heuristics/fracdiving/maxlpiterofs = 1500
0.19/0.21 c
0.19/0.21 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.21 c heuristics/guideddiving/freq = -1
0.19/0.21 c
0.19/0.21 c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.21 c heuristics/guideddiving/maxlpiterquot = 0.075
0.19/0.21 c
0.19/0.21 c # additional number of allowed LP iterations
0.19/0.21 c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.21 c heuristics/guideddiving/maxlpiterofs = 1500
0.19/0.21 c
0.19/0.21 c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.21 c heuristics/intdiving/maxlpiterquot = 0.075
0.19/0.21 c
0.19/0.21 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.21 c heuristics/intshifting/freq = -1
0.19/0.21 c
0.19/0.21 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.21 c heuristics/linesearchdiving/freq = -1
0.19/0.21 c
0.19/0.21 c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.21 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.19/0.21 c
0.19/0.21 c # additional number of allowed LP iterations
0.19/0.21 c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.21 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.19/0.21 c
0.19/0.21 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.21 c heuristics/nlp/freq = -1
0.19/0.21 c
0.19/0.21 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 20]
0.19/0.21 c heuristics/objpscostdiving/freq = -1
0.19/0.21 c
0.19/0.21 c # maximal fraction of diving LP iterations compared to total iteration number
0.19/0.21 c # [type: real, range: [0,1], default: 0.01]
0.19/0.21 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.19/0.21 c
0.19/0.21 c # additional number of allowed LP iterations
0.19/0.21 c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.21 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.19/0.21 c
0.19/0.21 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.21 c heuristics/oneopt/freq = -1
0.19/0.21 c
0.19/0.21 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.21 c heuristics/pscostdiving/freq = -1
0.19/0.21 c
0.19/0.21 c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.21 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.19/0.21 c
0.19/0.21 c # additional number of allowed LP iterations
0.19/0.21 c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.21 c heuristics/pscostdiving/maxlpiterofs = 1500
0.19/0.21 c
0.19/0.21 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.21 c heuristics/rens/freq = -1
0.19/0.21 c
0.19/0.21 c # minimum percentage of integer variables that have to be fixable
0.19/0.21 c # [type: real, range: [0,1], default: 0.5]
0.19/0.21 c heuristics/rens/minfixingrate = 0.3
0.19/0.21 c
0.19/0.21 c # number of nodes added to the contingent of the total nodes
0.19/0.21 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.19/0.21 c heuristics/rens/nodesofs = 2000
0.19/0.21 c
0.19/0.21 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 20]
0.19/0.21 c heuristics/rootsoldiving/freq = -1
0.19/0.21 c
0.19/0.21 c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.19/0.21 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.19/0.21 c
0.19/0.21 c # additional number of allowed LP iterations
0.19/0.21 c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.21 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.19/0.21 c
0.19/0.21 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.21 c heuristics/rounding/freq = -1
0.19/0.21 c
0.19/0.21 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.21 c heuristics/shifting/freq = -1
0.19/0.21 c
0.19/0.21 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.21 c heuristics/simplerounding/freq = -1
0.19/0.21 c
0.19/0.21 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.21 c heuristics/trivial/freq = -1
0.19/0.21 c
0.19/0.21 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.21 c heuristics/trysol/freq = -1
0.19/0.21 c
0.19/0.21 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.21 c heuristics/veclendiving/freq = -1
0.19/0.21 c
0.19/0.21 c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.21 c heuristics/veclendiving/maxlpiterquot = 0.075
0.19/0.21 c
0.19/0.21 c # additional number of allowed LP iterations
0.19/0.21 c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.21 c heuristics/veclendiving/maxlpiterofs = 1500
0.19/0.21 c
0.19/0.21 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.21 c heuristics/zirounding/freq = -1
0.19/0.21 c
0.19/0.21 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.21 c separating/cmir/freq = -1
0.19/0.21 c
0.19/0.21 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.21 c separating/flowcover/freq = -1
0.19/0.21 c
0.19/0.21 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21 c separating/rapidlearning/freq = 0
0.19/0.21 c
0.19/0.21 c -----------------------------------------------------------------------------------------------
0.19/0.21 c start solving
0.19/0.21 c
0.19/0.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.21 c 0.1s| 1 | 2 | 0 | - |2042k| 0 | - | 718 | 770 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.20/3.26 c 2.9s| 10000 | 8156 | 0 | 0.0 | 11M| 82 | - | 718 |1305 | 0 | 0 | 0 |1345 | 0 | 0.000000e+00 | -- | Inf
6.99/7.02 c 6.3s| 20000 | 12995 | 0 | 0.0 | 18M| 82 | - | 718 |1524 | 0 | 0 | 0 |3099 | 0 | 0.000000e+00 | -- | Inf
10.58/10.63 c 9.7s| 30000 | 17442 | 0 | 0.0 | 24M| 82 | - | 718 |1501 | 0 | 0 | 0 |4428 | 0 | 0.000000e+00 | -- | Inf
14.49/14.53 c 13.3s| 40000 | 24710 | 0 | 0.0 | 33M| 82 | - | 718 |1746 | 0 | 0 | 0 |5658 | 0 | 0.000000e+00 | -- | Inf
18.59/18.60 c 17.1s| 50000 | 30938 | 0 | 0.0 | 41M| 82 | - | 718 |1778 | 0 | 0 | 0 |6839 | 0 | 0.000000e+00 | -- | Inf
22.68/22.77 c 20.9s| 60000 | 36619 | 0 | 0.0 | 49M| 82 | - | 718 |1893 | 0 | 0 | 0 |8150 | 0 | 0.000000e+00 | -- | Inf
26.98/27.09 c 25.0s| 70000 | 41916 | 0 | 0.0 | 57M| 82 | - | 718 |1940 | 0 | 0 | 0 |9633 | 0 | 0.000000e+00 | -- | Inf
31.38/31.43 c 29.0s| 80000 | 47003 | 0 | 0.0 | 64M| 82 | - | 718 |1956 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
35.88/35.90 c 33.1s| 90000 | 51765 | 0 | 0.0 | 71M| 82 | - | 718 |1999 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
40.28/40.33 c 37.3s|100000 | 56526 | 0 | 0.0 | 79M| 82 | - | 718 |2043 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
44.77/44.82 c 41.5s|110000 | 60945 | 0 | 0.0 | 85M| 82 | - | 718 |2080 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
49.38/49.40 c 45.8s|120000 | 65096 | 0 | 0.0 | 92M| 82 | - | 718 |2079 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
53.97/54.02 c 50.1s|130000 | 69103 | 0 | 0.0 | 99M| 82 | - | 718 |2059 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
58.57/58.67 c 54.5s|140000 | 72925 | 0 | 0.0 | 105M| 82 | - | 718 |2136 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
63.38/63.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.38/63.44 c 58.9s|150000 | 76481 | 0 | 0.0 | 111M| 82 | - | 718 |2099 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
68.18/68.22 c 63.4s|160000 | 79893 | 0 | 0.0 | 117M| 82 | - | 718 |2149 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
73.07/73.14 c 68.0s|170000 | 83050 | 0 | 0.0 | 123M| 82 | - | 718 |2179 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
78.08/78.11 c 72.7s|180000 | 85937 | 0 | 0.0 | 129M| 82 | - | 718 |2195 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
83.07/83.13 c 77.5s|190000 | 88639 | 0 | 0.0 | 135M| 82 | - | 718 |2171 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
88.07/88.18 c 82.2s|200000 | 91055 | 0 | 0.0 | 140M| 82 | - | 718 |2214 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
93.16/93.23 c 87.0s|210000 | 93352 | 0 | 0.0 | 145M| 82 | - | 718 |2252 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
98.06/98.14 c 91.6s|220000 | 95713 | 0 | 0.0 | 151M| 82 | - | 718 |2341 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
102.96/103.01 c 96.2s|230000 | 97816 | 0 | 0.0 | 156M| 82 | - | 718 |2303 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
107.67/107.80 c 101s|240000 | 99686 | 0 | 0.0 | 160M| 82 | - | 718 |2384 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
112.17/112.26 c 105s|250000 |101882 | 0 | 0.0 | 164M| 82 | - | 718 |2348 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
116.35/116.49 c 109s|260000 |103805 | 0 | 0.0 | 168M| 82 | - | 718 |2385 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
120.55/120.70 c 113s|270000 |105538 | 0 | 0.0 | 172M| 82 | - | 718 |2546 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
124.75/124.87 c 117s|280000 |106972 | 0 | 0.0 | 175M| 82 | - | 718 |2743 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
129.05/129.13 c 121s|290000 |107902 | 0 | 0.0 | 177M| 82 | - | 718 |3256 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
133.35/133.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
133.35/133.48 c 125s|300000 |114205 | 0 | 0.0 | 185M| 82 | - | 718 |1930 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
137.65/137.73 c 129s|310000 |120686 | 0 | 0.0 | 193M| 82 | - | 718 |2037 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
141.95/142.03 c 133s|320000 |126882 | 0 | 0.0 | 201M| 82 | - | 718 |2077 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
146.25/146.31 c 137s|330000 |133000 | 0 | 0.0 | 209M| 82 | - | 718 |2139 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
150.55/150.67 c 141s|340000 |138856 | 0 | 0.0 | 217M| 82 | - | 718 |2242 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
154.95/155.08 c 145s|350000 |144743 | 0 | 0.0 | 225M| 82 | - | 718 |2310 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
159.36/159.50 c 149s|360000 |150352 | 0 | 0.0 | 232M| 82 | - | 718 |2339 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
163.85/163.92 c 153s|370000 |155922 | 0 | 0.0 | 240M| 82 | - | 718 |2378 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
168.25/168.39 c 157s|380000 |161502 | 0 | 0.0 | 248M| 82 | - | 718 |2416 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
172.84/172.90 c 161s|390000 |166885 | 0 | 0.0 | 255M| 82 | - | 718 |2452 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
177.24/177.37 c 166s|400000 |172441 | 0 | 0.0 | 263M| 82 | - | 718 |2353 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
181.84/181.98 c 170s|410000 |177709 | 0 | 0.0 | 270M| 82 | - | 718 |2512 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
186.44/186.54 c 174s|420000 |183001 | 0 | 0.0 | 278M| 82 | - | 718 |2451 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
191.03/191.12 c 178s|430000 |188188 | 0 | 0.0 | 285M| 82 | - | 718 |2528 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
195.74/195.87 c 183s|440000 |193254 | 0 | 0.0 | 292M| 82 | - | 718 |2624 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
200.43/200.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
200.43/200.58 c 187s|450000 |198256 | 0 | 0.0 | 299M| 82 | - | 718 |2535 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
205.13/205.21 c 192s|460000 |203244 | 0 | 0.0 | 307M| 82 | - | 718 |2583 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
209.83/209.90 c 196s|470000 |208201 | 0 | 0.0 | 314M| 82 | - | 718 |2675 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
214.63/214.72 c 201s|480000 |213077 | 0 | 0.0 | 321M| 82 | - | 718 |2767 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
219.43/219.54 c 205s|490000 |217916 | 0 | 0.0 | 328M| 82 | - | 718 |2624 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
224.12/224.27 c 210s|500000 |222618 | 0 | 0.0 | 335M| 82 | - | 718 |2690 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
228.92/229.07 c 214s|510000 |227381 | 0 | 0.0 | 342M| 82 | - | 718 |2690 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
233.82/233.96 c 219s|520000 |232049 | 0 | 0.0 | 349M| 82 | - | 718 |2893 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
238.72/238.85 c 223s|530000 |236767 | 0 | 0.0 | 356M| 82 | - | 718 |2656 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
243.52/243.64 c 228s|540000 |241400 | 0 | 0.0 | 363M| 82 | - | 718 |2784 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
248.43/248.53 c 232s|550000 |245995 | 0 | 0.0 | 370M| 82 | - | 718 |2782 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
253.32/253.40 c 237s|560000 |250558 | 0 | 0.0 | 377M| 82 | - | 718 |2782 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
258.32/258.42 c 242s|570000 |255070 | 0 | 0.0 | 384M| 82 | - | 718 |2876 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
263.21/263.36 c 246s|580000 |259618 | 0 | 0.0 | 391M| 82 | - | 718 |2698 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
268.22/268.36 c 251s|590000 |263947 | 0 | 0.0 | 398M| 82 | - | 718 |2867 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
273.21/273.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
273.21/273.30 c 256s|600000 |268409 | 0 | 0.0 | 404M| 82 | - | 718 |2776 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
278.01/278.19 c 260s|610000 |272922 | 0 | 0.0 | 411M| 82 | - | 718 |2822 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
283.11/283.26 c 265s|620000 |277202 | 0 | 0.0 | 418M| 82 | - | 718 |2938 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
288.11/288.23 c 270s|630000 |281664 | 0 | 0.0 | 424M| 82 | - | 718 |2746 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
293.21/293.31 c 275s|640000 |285955 | 0 | 0.0 | 431M| 82 | - | 718 |2859 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
298.30/298.42 c 279s|650000 |290155 | 0 | 0.0 | 438M| 82 | - | 718 |2938 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
303.30/303.43 c 284s|660000 |294535 | 0 | 0.0 | 445M| 82 | - | 718 |2896 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
308.30/308.44 c 289s|670000 |298821 | 0 | 0.0 | 451M| 82 | - | 718 |2908 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
313.40/313.54 c 294s|680000 |303050 | 0 | 0.0 | 458M| 82 | - | 718 |2831 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
318.49/318.67 c 298s|690000 |307255 | 0 | 0.0 | 464M| 82 | - | 718 |2832 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
323.60/323.77 c 303s|700000 |311492 | 0 | 0.0 | 471M| 82 | - | 718 |2941 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
328.80/328.98 c 308s|710000 |315615 | 0 | 0.0 | 478M| 82 | - | 718 |3033 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
333.90/334.06 c 313s|720000 |319872 | 0 | 0.0 | 484M| 82 | - | 718 |2985 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
338.99/339.15 c 318s|730000 |324154 | 0 | 0.0 | 491M| 82 | - | 718 |2948 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
344.09/344.24 c 323s|740000 |328320 | 0 | 0.0 | 497M| 82 | - | 718 |2859 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
349.29/349.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
349.29/349.41 c 327s|750000 |332329 | 0 | 0.0 | 504M| 82 | - | 718 |2882 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
354.58/354.78 c 333s|760000 |336227 | 0 | 0.0 | 510M| 82 | - | 718 |3029 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
359.88/360.03 c 338s|770000 |340247 | 0 | 0.0 | 517M| 82 | - | 718 |3006 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
365.09/365.25 c 342s|780000 |344227 | 0 | 0.0 | 523M| 82 | - | 718 |3127 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
370.18/370.38 c 347s|790000 |348405 | 0 | 0.0 | 530M| 82 | - | 718 |3039 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
375.28/375.47 c 352s|800000 |352597 | 0 | 0.0 | 536M| 82 | - | 718 |3047 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
380.58/380.76 c 357s|810000 |356512 | 0 | 0.0 | 542M| 82 | - | 718 |2982 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
385.99/386.11 c 362s|820000 |360289 | 0 | 0.0 | 549M| 82 | - | 718 |3093 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
391.27/391.45 c 367s|830000 |364120 | 0 | 0.0 | 555M| 82 | - | 718 |3192 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
396.57/396.74 c 372s|840000 |368022 | 0 | 0.0 | 561M| 82 | - | 718 |3112 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
401.87/402.07 c 377s|850000 |371907 | 0 | 0.0 | 567M| 82 | - | 718 |3135 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
407.07/407.29 c 382s|860000 |375880 | 0 | 0.0 | 573M| 82 | - | 718 |3158 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
412.47/412.60 c 387s|870000 |379778 | 0 | 0.0 | 579M| 82 | - | 718 |3098 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
417.67/417.87 c 392s|880000 |383690 | 0 | 0.0 | 585M| 82 | - | 718 |2942 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
423.07/423.21 c 397s|890000 |387408 | 0 | 0.0 | 592M| 82 | - | 718 |3068 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
428.46/428.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
428.46/428.63 c 402s|900000 |391066 | 0 | 0.0 | 598M| 82 | - | 718 |3143 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
433.76/433.99 c 407s|910000 |394806 | 0 | 0.0 | 604M| 82 | - | 718 |3142 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
439.16/439.35 c 412s|920000 |398581 | 0 | 0.0 | 610M| 82 | - | 718 |3188 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
444.46/444.65 c 417s|930000 |402446 | 0 | 0.0 | 616M| 82 | - | 718 |3237 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
449.86/450.09 c 423s|940000 |406189 | 0 | 0.0 | 622M| 82 | - | 718 |3110 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
455.26/455.45 c 428s|950000 |409946 | 0 | 0.0 | 628M| 82 | - | 718 |3272 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
460.66/460.88 c 433s|960000 |413480 | 0 | 0.0 | 634M| 82 | - | 718 |3284 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
466.26/466.46 c 438s|970000 |416942 | 0 | 0.0 | 640M| 82 | - | 718 |3221 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
471.76/471.98 c 443s|980000 |420509 | 0 | 0.0 | 646M| 82 | - | 718 |3212 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
477.25/477.47 c 449s|990000 |424108 | 0 | 0.0 | 652M| 82 | - | 718 |3234 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
482.66/482.88 c 454s| 1000k|427834 | 0 | 0.0 | 658M| 82 | - | 718 |3308 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
488.25/488.42 c 459s| 1010k|431419 | 0 | 0.0 | 664M| 82 | - | 718 |3339 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
493.65/493.90 c 464s| 1020k|435051 | 0 | 0.0 | 669M| 82 | - | 718 |3196 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
499.15/499.32 c 469s| 1030k|438636 | 0 | 0.0 | 675M| 82 | - | 718 |3287 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
504.54/504.79 c 474s| 1040k|442151 | 0 | 0.0 | 681M| 82 | - | 718 |3385 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
510.04/510.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
510.04/510.27 c 480s| 1050k|445542 | 0 | 0.0 | 687M| 82 | - | 718 |3377 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
515.75/515.91 c 485s| 1060k|448907 | 0 | 0.0 | 692M| 82 | - | 718 |3291 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
521.34/521.58 c 490s| 1070k|452225 | 0 | 0.0 | 698M| 82 | - | 718 |3333 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
526.94/527.19 c 496s| 1080k|455596 | 0 | 0.0 | 704M| 82 | - | 718 |3399 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
532.63/532.81 c 501s| 1090k|458979 | 0 | 0.0 | 710M| 82 | - | 718 |3446 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
538.33/538.51 c 506s| 1100k|462271 | 0 | 0.0 | 716M| 82 | - | 718 |3419 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
543.74/543.99 c 512s| 1110k|465788 | 0 | 0.0 | 721M| 82 | - | 718 |3243 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
549.33/549.53 c 517s| 1120k|469203 | 0 | 0.0 | 727M| 82 | - | 718 |3326 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
554.93/555.12 c 522s| 1130k|472479 | 0 | 0.0 | 732M| 82 | - | 718 |3382 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
560.52/560.74 c 528s| 1140k|475732 | 0 | 0.0 | 738M| 82 | - | 718 |3409 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
566.23/566.46 c 533s| 1150k|478905 | 0 | 0.0 | 743M| 82 | - | 718 |3392 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
572.23/572.41 c 539s| 1160k|481835 | 0 | 0.0 | 749M| 82 | - | 718 |3423 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
578.02/578.29 c 544s| 1170k|484861 | 0 | 0.0 | 755M| 82 | - | 718 |3503 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
583.83/584.09 c 550s| 1180k|488005 | 0 | 0.0 | 760M| 82 | - | 718 |3503 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
589.72/589.94 c 555s| 1190k|491162 | 0 | 0.0 | 766M| 82 | - | 718 |3382 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
595.32/595.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
595.32/595.52 c 561s| 1200k|494466 | 0 | 0.0 | 771M| 82 | - | 718 |3350 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
601.02/601.27 c 566s| 1210k|497609 | 0 | 0.0 | 777M| 82 | - | 718 |3495 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
606.82/607.08 c 572s| 1220k|500616 | 0 | 0.0 | 782M| 82 | - | 718 |3389 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
612.71/612.90 c 577s| 1230k|503615 | 0 | 0.0 | 787M| 82 | - | 718 |3613 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
618.41/618.68 c 583s| 1240k|506644 | 0 | 0.0 | 792M| 82 | - | 718 |3593 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
624.40/624.62 c 588s| 1250k|509593 | 0 | 0.0 | 798M| 82 | - | 718 |3444 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
630.50/630.70 c 594s| 1260k|512368 | 0 | 0.0 | 803M| 82 | - | 718 |3579 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
636.50/636.74 c 600s| 1270k|515137 | 0 | 0.0 | 808M| 82 | - | 718 |3578 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
642.40/642.67 c 605s| 1280k|518054 | 0 | 0.0 | 814M| 82 | - | 718 |3628 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
648.30/648.57 c 611s| 1290k|521001 | 0 | 0.0 | 819M| 82 | - | 718 |3549 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
654.21/654.40 c 617s| 1300k|524012 | 0 | 0.0 | 824M| 82 | - | 718 |3549 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
660.20/660.40 c 622s| 1310k|526733 | 0 | 0.0 | 829M| 82 | - | 718 |3609 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
666.09/666.36 c 628s| 1320k|529514 | 0 | 0.0 | 834M| 82 | - | 718 |3607 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
672.09/672.33 c 634s| 1330k|532223 | 0 | 0.0 | 839M| 82 | - | 718 |3681 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
677.99/678.20 c 639s| 1340k|535115 | 0 | 0.0 | 845M| 82 | - | 718 |3630 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
683.79/684.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
683.79/684.02 c 645s| 1350k|538045 | 0 | 0.0 | 850M| 82 | - | 718 |3690 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
690.09/690.32 c 651s| 1360k|540547 | 0 | 0.0 | 855M| 82 | - | 718 |3636 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
696.18/696.49 c 657s| 1370k|543137 | 0 | 0.0 | 860M| 82 | - | 718 |3596 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
702.38/702.62 c 662s| 1380k|545839 | 0 | 0.0 | 865M| 82 | - | 718 |3728 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
708.48/708.74 c 668s| 1390k|548602 | 0 | 0.0 | 870M| 82 | - | 718 |3619 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
714.58/714.80 c 674s| 1400k|551278 | 0 | 0.0 | 876M| 82 | - | 718 |3740 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
720.68/720.95 c 680s| 1410k|553715 | 0 | 0.0 | 880M| 82 | - | 718 |3643 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
726.88/727.14 c 686s| 1420k|556183 | 0 | 0.0 | 885M| 82 | - | 718 |3756 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
732.97/733.22 c 692s| 1430k|558745 | 0 | 0.0 | 890M| 82 | - | 718 |3876 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
739.07/739.32 c 698s| 1440k|561366 | 0 | 0.0 | 895M| 82 | - | 718 |3852 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
745.17/745.42 c 703s| 1450k|563951 | 0 | 0.0 | 900M| 82 | - | 718 |3796 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
751.37/751.67 c 709s| 1460k|566529 | 0 | 0.0 | 905M| 82 | - | 718 |3852 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
757.87/758.15 c 716s| 1470k|568708 | 0 | 0.0 | 910M| 82 | - | 718 |3817 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
764.27/764.59 c 722s| 1480k|570968 | 0 | 0.0 | 914M| 82 | - | 718 |3764 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
770.66/770.95 c 728s| 1490k|573331 | 0 | 0.0 | 919M| 82 | - | 718 |3767 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
776.96/777.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
776.96/777.28 c 734s| 1500k|575721 | 0 | 0.0 | 924M| 82 | - | 718 |3829 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
783.36/783.67 c 740s| 1510k|577907 | 0 | 0.0 | 929M| 82 | - | 718 |3943 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
789.76/790.05 c 746s| 1520k|580075 | 0 | 0.0 | 934M| 82 | - | 718 |3881 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
796.06/796.37 c 752s| 1530k|582294 | 0 | 0.0 | 938M| 82 | - | 718 |4025 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
802.35/802.68 c 758s| 1540k|584665 | 0 | 0.0 | 943M| 82 | - | 718 |4038 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
808.85/809.12 c 764s| 1550k|586943 | 0 | 0.0 | 948M| 82 | - | 718 |4031 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
815.15/815.42 c 770s| 1560k|589345 | 0 | 0.0 | 952M| 82 | - | 718 |4103 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
821.65/821.92 c 776s| 1570k|591663 | 0 | 0.0 | 957M| 82 | - | 718 |3991 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
828.35/828.63 c 783s| 1580k|593523 | 0 | 0.0 | 961M| 82 | - | 718 |3841 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
834.94/835.27 c 789s| 1590k|595509 | 0 | 0.0 | 966M| 82 | - | 718 |3931 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
841.54/841.81 c 795s| 1600k|597556 | 0 | 0.0 | 971M| 82 | - | 718 |3897 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
848.14/848.44 c 802s| 1610k|599481 | 0 | 0.0 | 975M| 82 | - | 718 |3936 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
854.84/855.12 c 808s| 1620k|601182 | 0 | 0.0 | 979M| 82 | - | 718 |4001 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
861.44/861.75 c 815s| 1630k|603005 | 0 | 0.0 | 984M| 82 | - | 718 |4054 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
867.94/868.28 c 821s| 1640k|604948 | 0 | 0.0 | 988M| 82 | - | 718 |4032 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
874.63/874.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
874.63/874.91 c 827s| 1650k|606870 | 0 | 0.0 | 992M| 82 | - | 718 |4029 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
881.03/881.38 c 833s| 1660k|608934 | 0 | 0.0 | 997M| 82 | - | 718 |4083 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
887.53/887.88 c 840s| 1670k|611037 | 0 | 0.0 |1001M| 82 | - | 718 |4091 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
893.93/894.23 c 846s| 1680k|613197 | 0 | 0.0 |1006M| 82 | - | 718 |4177 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
901.02/901.37 c 853s| 1690k|614650 | 0 | 0.0 |1010M| 82 | - | 718 |4014 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
908.03/908.34 c 859s| 1700k|616213 | 0 | 0.0 |1014M| 82 | - | 718 |4039 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
914.73/915.09 c 866s| 1710k|617879 | 0 | 0.0 |1019M| 82 | - | 718 |4098 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
921.52/921.86 c 872s| 1720k|619458 | 0 | 0.0 |1023M| 82 | - | 718 |4084 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
928.02/928.40 c 878s| 1730k|621038 | 0 | 0.0 |1027M| 82 | - | 718 |4177 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
934.62/934.95 c 885s| 1740k|622590 | 0 | 0.0 |1031M| 82 | - | 718 |4487 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
941.32/941.61 c 891s| 1750k|624284 | 0 | 0.0 |1035M| 82 | - | 718 |4549 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
947.92/948.22 c 897s| 1760k|626003 | 0 | 0.0 |1039M| 82 | - | 718 |4431 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
954.41/954.71 c 904s| 1770k|627887 | 0 | 0.0 |1043M| 82 | - | 718 |4598 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
960.91/961.27 c 910s| 1780k|629796 | 0 | 0.0 |1048M| 82 | - | 718 |4607 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
967.31/967.68 c 916s| 1790k|631798 | 0 | 0.0 |1052M| 82 | - | 718 |4759 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
974.40/974.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
974.40/974.78 c 923s| 1800k|633053 | 0 | 0.0 |1056M| 82 | - | 718 |4400 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
981.20/981.58 c 929s| 1810k|634383 | 0 | 0.0 |1060M| 82 | - | 718 |4332 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
988.00/988.37 c 936s| 1820k|635826 | 0 | 0.0 |1064M| 82 | - | 718 |4482 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
994.39/994.72 c 942s| 1830k|637606 | 0 | 0.0 |1068M| 82 | - | 718 |4604 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
1000.60/1000.92 c 948s| 1840k|639622 | 0 | 0.0 |1073M| 82 | - | 718 |4714 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
1006.69/1007.09 c 954s| 1850k|641748 | 0 | 0.0 |1077M| 82 | - | 718 |4736 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
1012.99/1013.34 c 960s| 1860k|643956 | 0 | 0.0 |1081M| 82 | - | 718 |4788 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
1019.09/1019.42 c 965s| 1870k|646247 | 0 | 0.0 |1085M| 82 | - | 718 |4868 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
1025.19/1025.54 c 971s| 1880k|648539 | 0 | 0.0 |1089M| 82 | - | 718 |4707 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
1031.88/1032.27 c 978s| 1890k|650236 | 0 | 0.0 |1093M| 82 | - | 718 |4584 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
1038.28/1038.66 c 984s| 1900k|651946 | 0 | 0.0 |1097M| 82 | - | 718 |4762 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
1044.59/1044.92 c 990s| 1910k|653763 | 0 | 0.0 |1101M| 82 | - | 718 |5011 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
1050.78/1051.18 c 996s| 1920k|655688 | 0 | 0.0 |1105M| 82 | - | 718 |4916 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
1056.88/1057.27 c 1001s| 1930k|657664 | 0 | 0.0 |1109M| 82 | - | 718 |4910 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
1062.98/1063.36 c 1007s| 1940k|659847 | 0 | 0.0 |1113M| 82 | - | 718 |4983 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
1069.08/1069.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1069.08/1069.43 c 1013s| 1950k|662088 | 0 | 0.0 |1117M| 82 | - | 718 |4981 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
1075.77/1076.12 c 1019s| 1960k|663601 | 0 | 0.0 |1121M| 82 | - | 718 |4786 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
1082.17/1082.53 c 1026s| 1970k|664973 | 0 | 0.0 |1125M| 82 | - | 718 |4869 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
1088.37/1088.76 c 1032s| 1980k|666493 | 0 | 0.0 |1128M| 82 | - | 718 |4962 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
1094.67/1095.05 c 1038s| 1990k|668106 | 0 | 0.0 |1132M| 82 | - | 718 |5061 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
1100.86/1101.26 c 1043s| 2000k|669851 | 0 | 0.0 |1136M| 82 | - | 718 |5171 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
1107.06/1107.48 c 1049s| 2010k|671635 | 0 | 0.0 |1140M| 82 | - | 718 |5215 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
1113.26/1113.63 c 1055s| 2020k|673649 | 0 | 0.0 |1143M| 82 | - | 718 |5299 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
1119.96/1120.35 c 1062s| 2030k|674903 | 0 | 0.0 |1147M| 82 | - | 718 |4956 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
1126.55/1126.98 c 1068s| 2040k|675827 | 0 | 0.0 |1150M| 82 | - | 718 |5129 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
1133.05/1133.40 c 1074s| 2050k|676874 | 0 | 0.0 |1153M| 82 | - | 718 |5151 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
1139.45/1139.84 c 1080s| 2060k|678113 | 0 | 0.0 |1157M| 82 | - | 718 |5247 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
1145.75/1146.18 c 1086s| 2070k|679524 | 0 | 0.0 |1160M| 82 | - | 718 |5322 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
1152.15/1152.51 c 1092s| 2080k|681167 | 0 | 0.0 |1163M| 82 | - | 718 |5495 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
1158.45/1158.84 c 1098s| 2090k|682864 | 0 | 0.0 |1167M| 82 | - | 718 |5391 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
1164.95/1165.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1164.95/1165.32 c 1105s| 2100k|684186 | 0 | 0.0 |1170M| 82 | - | 718 |5255 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
1171.35/1171.79 c 1111s| 2110k|685419 | 0 | 0.0 |1173M| 82 | - | 718 |5397 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
1177.34/1177.78 c 1117s| 2120k|687428 | 0 | 0.0 |1177M| 82 | - | 718 |5482 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
1183.04/1183.50 c 1122s| 2130k|689704 | 0 | 0.0 |1180M| 82 | - | 718 |5740 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
1188.94/1189.30 c 1127s| 2140k|692030 | 0 | 0.0 |1184M| 82 | - | 718 |5598 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
1195.24/1195.68 c 1134s| 2150k|693609 | 0 | 0.0 |1186M| 82 | - | 718 |5616 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
1201.04/1201.44 c 1139s| 2160k|695624 | 0 | 0.0 |1190M| 82 | - | 718 |5772 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
1206.64/1207.06 c 1144s| 2170k|697774 | 0 | 0.0 |1193M| 82 | - | 718 |5820 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
1212.64/1213.08 c 1150s| 2180k|699697 | 0 | 0.0 |1196M| 82 | - | 718 |5768 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | -- | Inf
1218.73/1219.12 c 1156s| 2190k|701169 | 0 | 0.0 |1199M| 82 | - | 718 |5932 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | -- | Inf
1224.42/1224.85 c 1161s| 2200k|703031 | 0 | 0.0 |1202M| 82 | - | 718 |6030 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
1230.03/1230.47 c 1167s| 2210k|705077 | 0 | 0.0 |1205M| 82 | - | 718 |6137 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | -- | Inf
1236.22/1236.64 c 1173s| 2220k|706442 | 0 | 0.0 |1208M| 82 | - | 718 |6021 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | -- | Inf
1242.22/1242.67 c 1178s| 2230k|707706 | 0 | 0.0 |1211M| 82 | - | 718 |6192 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf
1248.22/1248.61 c 1184s| 2240k|709376 | 0 | 0.0 |1214M| 82 | - | 718 |6424 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | -- | Inf
1254.02/1254.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1254.02/1254.40 c 1189s| 2250k|711188 | 0 | 0.0 |1217M| 82 | - | 718 |6523 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | -- | Inf
1260.23/1260.65 c 1195s| 2260k|712022 | 0 | 0.0 |1219M| 82 | - | 718 |6445 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
1266.42/1266.87 c 1201s| 2270k|712860 | 0 | 0.0 |1222M| 82 | - | 718 |6748 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
1272.62/1273.05 c 1207s| 2280k|714133 | 0 | 0.0 |1224M| 82 | - | 718 |6842 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | -- | Inf
1278.51/1278.99 c 1213s| 2290k|715804 | 0 | 0.0 |1227M| 82 | - | 718 |6893 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | -- | Inf
1284.91/1285.31 c 1219s| 2300k|717174 | 0 | 0.0 |1230M| 82 | - | 718 |7086 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | -- | Inf
1290.81/1291.29 c 1224s| 2310k|719000 | 0 | 0.0 |1233M| 82 | - | 718 |7293 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
1297.00/1297.48 c 1230s| 2320k|720629 | 0 | 0.0 |1235M| 82 | - | 718 |7007 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
1303.01/1303.42 c 1236s| 2330k|722138 | 0 | 0.0 |1238M| 82 | - | 718 |7349 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
1309.00/1309.48 c 1242s| 2340k|723764 | 0 | 0.0 |1240M| 82 | - | 718 |7174 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf
1315.30/1315.73 c 1248s| 2350k|724752 | 0 | 0.0 |1243M| 82 | - | 718 |7532 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
1321.39/1321.89 c 1254s| 2360k|726072 | 0 | 0.0 |1245M| 82 | - | 718 |7457 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | -- | Inf
1327.60/1328.09 c 1260s| 2370k|726857 | 0 | 0.0 |1247M| 82 | - | 718 |7457 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | -- | Inf
1333.90/1334.36 c 1266s| 2380k|727758 | 0 | 0.0 |1250M| 82 | - | 718 |7680 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | -- | Inf
1340.29/1340.70 c 1272s| 2390k|728906 | 0 | 0.0 |1252M| 82 | - | 718 |7558 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | -- | Inf
1345.90/1346.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1345.90/1346.35 c 1277s| 2400k|730353 | 0 | 0.0 |1254M| 82 | - | 718 |7877 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | -- | Inf
1351.79/1352.30 c 1283s| 2410k|731392 | 0 | 0.0 |1256M| 82 | - | 718 |7999 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
1357.89/1358.30 c 1288s| 2420k|732148 | 0 | 0.0 |1258M| 82 | - | 718 |8078 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | -- | Inf
1364.09/1364.54 c 1294s| 2430k|732625 | 0 | 0.0 |1260M| 82 | - | 718 |8461 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | -- | Inf
1370.38/1370.82 c 1300s| 2440k|732828 | 0 | 0.0 |1262M| 82 | - | 718 |8380 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | -- | Inf
1376.28/1376.78 c 1306s| 2450k|737307 | 0 | 0.0 |1265M| 82 | - | 718 |3380 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | -- | Inf
1380.98/1381.43 c 1310s| 2460k|743472 | 0 | 0.0 |1272M| 82 | - | 718 |3105 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | -- | Inf
1385.49/1386.00 c 1314s| 2470k|749689 | 0 | 0.0 |1279M| 82 | - | 718 |3091 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
1390.18/1390.66 c 1319s| 2480k|755707 | 0 | 0.0 |1287M| 82 | - | 718 |3127 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | -- | Inf
1394.88/1395.30 c 1323s| 2490k|761692 | 0 | 0.0 |1294M| 82 | - | 718 |3071 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | -- | Inf
1399.47/1399.92 c 1328s| 2500k|767582 | 0 | 0.0 |1301M| 82 | - | 718 |3235 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | -- | Inf
1404.18/1404.64 c 1332s| 2510k|773398 | 0 | 0.0 |1308M| 82 | - | 718 |3176 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
1408.77/1409.24 c 1336s| 2520k|779282 | 0 | 0.0 |1315M| 82 | - | 718 |3317 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | -- | Inf
1413.48/1413.96 c 1341s| 2530k|784931 | 0 | 0.0 |1321M| 82 | - | 718 |3371 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
1418.17/1418.65 c 1345s| 2540k|790624 | 0 | 0.0 |1328M| 82 | - | 718 |3346 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
1422.98/1423.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1422.98/1423.40 c 1350s| 2550k|796251 | 0 | 0.0 |1335M| 82 | - | 718 |3401 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | -- | Inf
1427.57/1428.03 c 1354s| 2560k|801964 | 0 | 0.0 |1341M| 82 | - | 718 |3484 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | -- | Inf
1432.26/1432.76 c 1358s| 2570k|807614 | 0 | 0.0 |1348M| 82 | - | 718 |3587 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | -- | Inf
1437.06/1437.59 c 1363s| 2580k|813071 | 0 | 0.0 |1355M| 82 | - | 718 |3609 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | -- | Inf
1439.86/1440.35 c (node 2585557) switching to memory saving mode (mem: 1296.0M/1620.0M)
1442.06/1442.53 c 1368s| 2590k|815888 | 0 | 0.0 |1359M| 82 | - | 718 |4890 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | -- | Inf
1452.86/1453.30 c 1378s| 2600k|813602 | 0 | 0.0 |1347M| 82 | - | 718 |6981 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | -- | Inf
1472.36/1472.84 c 1397s| 2610k|809996 | 0 | 0.0 |1327M| 82 | - | 718 |9015 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | -- | Inf
1487.35/1487.85 c 1412s| 2620k|807731 | 0 | 0.0 |1314M| 82 | - | 718 | 10k| 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | -- | Inf
1499.35/1499.89 c 1424s| 2630k|806274 | 0 | 0.0 |1306M| 82 | - | 718 | 12k| 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | -- | Inf
1513.75/1514.22 c 1438s| 2640k|804740 | 0 | 0.0 |1297M| 82 | - | 718 | 13k| 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | -- | Inf
1520.54/1521.06 c 1444s| 2650k|804436 | 0 | 0.0 |1296M| 82 | - | 718 | 13k| 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | -- | Inf
1526.24/1526.70 c 1450s| 2660k|804302 | 0 | 0.0 |1296M| 82 | - | 718 | 14k| 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | -- | Inf
1531.84/1532.38 c 1455s| 2670k|804176 | 0 | 0.0 |1296M| 82 | - | 718 | 14k| 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | -- | Inf
1537.63/1538.15 c 1461s| 2680k|804053 | 0 | 0.0 |1296M| 82 | - | 718 | 14k| 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | -- | Inf
1543.54/1544.00 c 1466s| 2690k|803919 | 0 | 0.0 |1296M| 82 | - | 718 | 14k| 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | -- | Inf
1551.63/1552.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1551.63/1552.10 c 1474s| 2700k|803558 | 0 | 0.0 |1295M| 82 | - | 718 | 15k| 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | -- | Inf
1557.63/1558.16 c 1480s| 2710k|803425 | 0 | 0.0 |1294M| 82 | - | 718 | 15k| 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | -- | Inf
1563.73/1564.27 c 1486s| 2720k|803296 | 0 | 0.0 |1294M| 82 | - | 718 | 15k| 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | -- | Inf
1569.83/1570.35 c 1492s| 2730k|803164 | 0 | 0.0 |1294M| 82 | - | 718 | 15k| 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | -- | Inf
1575.92/1576.45 c 1498s| 2740k|803024 | 0 | 0.0 |1294M| 82 | - | 718 | 15k| 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | -- | Inf
1584.22/1584.75 c 1506s| 2750k|802655 | 0 | 0.0 |1292M| 82 | - | 718 | 15k| 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | -- | Inf
1591.43/1591.97 c 1513s| 2760k|802422 | 0 | 0.0 |1292M| 82 | - | 718 | 15k| 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | -- | Inf
1597.82/1598.36 c 1519s| 2770k|802255 | 0 | 0.0 |1292M| 82 | - | 718 | 15k| 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | -- | Inf
1604.33/1604.84 c 1525s| 2780k|802077 | 0 | 0.0 |1292M| 82 | - | 718 | 16k| 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | -- | Inf
1610.71/1611.27 c 1531s| 2790k|801917 | 0 | 0.0 |1292M| 82 | - | 718 | 16k| 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | -- | Inf
1617.21/1617.71 c 1537s| 2800k|801771 | 0 | 0.0 |1292M| 82 | - | 718 | 16k| 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | -- | Inf
1623.70/1624.25 c 1544s| 2810k|801622 | 0 | 0.0 |1291M| 82 | - | 718 | 16k| 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | -- | Inf
1630.31/1630.86 c 1550s| 2820k|801467 | 0 | 0.0 |1291M| 82 | - | 718 | 17k| 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | -- | Inf
1636.90/1637.42 c 1556s| 2830k|801322 | 0 | 0.0 |1291M| 82 | - | 718 | 17k| 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | -- | Inf
1643.61/1644.14 c 1563s| 2840k|801170 | 0 | 0.0 |1291M| 82 | - | 718 | 17k| 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | -- | Inf
1650.30/1650.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1650.30/1650.82 c 1569s| 2850k|801019 | 0 | 0.0 |1291M| 82 | - | 718 | 17k| 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | -- | Inf
1656.90/1657.49 c 1576s| 2860k|800877 | 0 | 0.0 |1291M| 82 | - | 718 | 17k| 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | -- | Inf
1663.50/1664.02 c 1582s| 2870k|800731 | 0 | 0.0 |1291M| 82 | - | 718 | 17k| 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | -- | Inf
1670.30/1670.81 c 1589s| 2880k|800578 | 0 | 0.0 |1291M| 82 | - | 718 | 17k| 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | -- | Inf
1677.09/1677.64 c 1595s| 2890k|800428 | 0 | 0.0 |1291M| 82 | - | 718 | 17k| 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | -- | Inf
1686.19/1686.79 c 1604s| 2900k|800050 | 0 | 0.0 |1289M| 82 | - | 718 | 18k| 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | -- | Inf
1692.89/1693.42 c 1610s| 2910k|799983 | 0 | 0.0 |1289M| 82 | - | 718 | 18k| 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | -- | Inf
1699.28/1699.80 c 1617s| 2920k|799939 | 0 | 0.0 |1289M| 82 | - | 718 | 19k| 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | -- | Inf
1706.18/1706.73 c 1623s| 2930k|799898 | 0 | 0.0 |1289M| 82 | - | 718 | 19k| 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | -- | Inf
1713.19/1713.78 c 1630s| 2940k|799855 | 0 | 0.0 |1290M| 82 | - | 718 | 19k| 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | -- | Inf
1720.78/1721.34 c 1637s| 2950k|799814 | 0 | 0.0 |1290M| 82 | - | 718 | 19k| 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | -- | Inf
1728.59/1729.18 c 1645s| 2960k|799771 | 0 | 0.0 |1290M| 82 | - | 718 | 20k| 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | -- | Inf
1736.68/1737.20 c 1653s| 2970k|799731 | 0 | 0.0 |1290M| 82 | - | 718 | 20k| 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | -- | Inf
1744.88/1745.47 c 1661s| 2980k|799691 | 0 | 0.0 |1290M| 82 | - | 718 | 20k| 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | -- | Inf
1753.37/1753.99 c 1669s| 2990k|799652 | 0 | 0.0 |1290M| 82 | - | 718 | 21k| 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | -- | Inf
1762.46/1763.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1762.46/1763.01 c 1678s| 3000k|799610 | 0 | 0.0 |1290M| 82 | - | 718 | 21k| 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | -- | Inf
1771.26/1771.85 c 1686s| 3010k|799568 | 0 | 0.0 |1290M| 82 | - | 718 | 21k| 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | -- | Inf
1779.87/1780.42 c 1695s| 3020k|799530 | 0 | 0.0 |1290M| 82 | - | 718 | 21k| 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | -- | Inf
1788.56/1789.12 c 1703s| 3030k|799489 | 0 | 0.0 |1290M| 82 | - | 718 | 21k| 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | -- | Inf
1796.36/1796.95 c 1711s| 3040k|799454 | 0 | 0.0 |1290M| 82 | - | 718 | 21k| 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | -- | Inf
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.61 c
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time (sec) : 1714.36
1800.07/1800.61 c Solving Nodes : 3044535
1800.07/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.07/1800.61 c Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Gap : infinite
1800.07/1800.61 s UNKNOWN
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time : 1714.36
1800.07/1800.61 c Original Problem :
1800.07/1800.61 c Problem name : HOME/instance-2663499-1276684011.opb
1800.07/1800.61 c Variables : 718 (718 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 770 initial, 770 maximal
1800.07/1800.61 c Presolved Problem :
1800.07/1800.61 c Problem name : t_HOME/instance-2663499-1276684011.opb
1800.07/1800.61 c Variables : 718 (718 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 770 initial, 21689 maximal
1800.07/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c knapsack : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c and : 0.08 0 0 0 0 0 0 0 0
1800.07/1800.61 c linear : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c root node : - 0 - - 0 - - - -
1800.07/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.61 c knapsack : 1 0 6771481 0 1934129 57841 7512039 0 0 0
1800.07/1800.61 c setppc : 100 0 7560761 0 1941983 42151 558411 0 0 0
1800.07/1800.61 c and : 618 0 7518610 0 1941983 2719 67023138 0 0 0
1800.07/1800.61 c linear : 1 0 7501402 0 1941983 922976 2178280 0 0 0
1800.07/1800.61 c logicor : 50+ 0 2604784 0 1940682 115294 16163140 0 0 0
1800.07/1800.61 c countsols : 0 0 0 0 1941983 0 0 0 0 0
1800.07/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.61 c knapsack : 101.24 0.00 94.93 0.00 6.31
1800.07/1800.61 c setppc : 65.81 0.00 17.93 0.00 47.88
1800.07/1800.61 c and : 175.73 0.00 147.13 0.00 28.60
1800.07/1800.61 c linear : 253.49 0.00 251.50 0.00 1.99
1800.07/1800.61 c logicor : 394.75 0.00 390.42 0.00 4.33
1800.07/1800.61 c countsols : 0.93 0.00 0.00 0.00 0.93
1800.07/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.61 c vbounds : 4.03 1 0 0
1800.07/1800.61 c rootredcost : 3.32 0 0 0
1800.07/1800.61 c pseudoobj : 3.40 0 0 0
1800.07/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.61 c propagation : 177.59 1140981 320556 1722718 50.9 87 66.0 -
1800.07/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.61 c applied globally : - - - 398649 44.2 - - -
1800.07/1800.61 c applied locally : - - - 542 75.3 - - -
1800.07/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.61 c redcost : 0.00 0 0 0 0 0
1800.07/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.61 c intobj : 0.00 0 0 0 0 0
1800.07/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.61 c gomory : 0.00 0 0 0 0 0
1800.07/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.61 c cmir : 0.00 0 0 0 0 0
1800.07/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.61 c clique : 0.00 0 0 0 0 0
1800.07/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.61 c mcf : 0.00 0 0 0 0 0
1800.07/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.61 c Pricers : Time Calls Vars
1800.07/1800.61 c problem variables: 0.00 0 0
1800.07/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.61 c inference : 86.88 1941983 0 0 0 0 3883966
1800.07/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c random : 0.00 0 0 0 0 0 0
1800.07/1800.61 c Primal Heuristics : Time Calls Found
1800.07/1800.61 c LP solutions : 0.00 - 0
1800.07/1800.61 c pseudo solutions : 0.00 - 0
1800.07/1800.61 c trivial : 0.00 1 0
1800.07/1800.61 c simplerounding : 0.00 0 0
1800.07/1800.61 c zirounding : 0.00 0 0
1800.07/1800.61 c rounding : 0.00 0 0
1800.07/1800.61 c shifting : 0.00 0 0
1800.07/1800.61 c intshifting : 0.00 0 0
1800.07/1800.61 c oneopt : 0.00 0 0
1800.07/1800.61 c twoopt : 0.00 0 0
1800.07/1800.61 c fixandinfer : 0.00 0 0
1800.07/1800.61 c feaspump : 0.00 0 0
1800.07/1800.61 c coefdiving : 0.00 0 0
1800.07/1800.61 c pscostdiving : 0.00 0 0
1800.07/1800.61 c fracdiving : 0.00 0 0
1800.07/1800.61 c veclendiving : 0.00 0 0
1800.07/1800.61 c intdiving : 0.00 0 0
1800.07/1800.61 c actconsdiving : 0.00 0 0
1800.07/1800.61 c objpscostdiving : 0.00 0 0
1800.07/1800.61 c rootsoldiving : 0.00 0 0
1800.07/1800.61 c linesearchdiving : 0.00 0 0
1800.07/1800.61 c guideddiving : 0.00 0 0
1800.07/1800.61 c octane : 0.00 0 0
1800.07/1800.61 c rens : 0.00 0 0
1800.07/1800.61 c rins : 0.00 0 0
1800.07/1800.61 c localbranching : 0.00 0 0
1800.07/1800.61 c mutation : 0.00 0 0
1800.07/1800.61 c crossover : 0.00 0 0
1800.07/1800.61 c dins : 0.00 0 0
1800.07/1800.61 c undercover : 0.00 0 0
1800.07/1800.61 c nlp : 0.00 0 0
1800.07/1800.61 c trysol : 0.00 0 0
1800.07/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.61 c (at root node) : - 0 0 0.00 -
1800.07/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.61 c B&B Tree :
1800.07/1800.61 c number of runs : 1
1800.07/1800.61 c nodes : 3044535
1800.07/1800.61 c nodes (total) : 3044535
1800.07/1800.61 c nodes left : 799438
1800.07/1800.61 c max depth : 82
1800.07/1800.61 c max depth (total): 82
1800.07/1800.61 c backtracks : 187307 (6.2%)
1800.07/1800.61 c delayed cutoffs : 39994
1800.07/1800.61 c repropagations : 725416 (3475600 domain reductions, 38429 cutoffs)
1800.07/1800.61 c avg switch length: 4.56
1800.07/1800.61 c switching time : 430.26
1800.07/1800.61 c Solution :
1800.07/1800.61 c Solutions found : 0 (0 improvements)
1800.07/1800.61 c Primal Bound : -
1800.07/1800.61 c Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Gap : infinite
1800.07/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Root Iterations : 0