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-2664507-1276325082.opb>
0.00/0.02 c original problem has 2100 variables (2100 bin, 0 int, 0 impl, 0 cont) and 130 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.04 c presolving:
0.00/0.05 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 70 upgd conss, 0 impls, 60 clqs
0.00/0.06 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 130 upgd conss, 0 impls, 60 clqs
0.00/0.06 c presolving (3 rounds):
0.00/0.06 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 0 implications, 60 cliques
0.00/0.06 c presolved problem has 2100 variables (2100 bin, 0 int, 0 impl, 0 cont) and 130 constraints
0.00/0.06 c 60 constraints of type <setppc>
0.00/0.06 c 70 constraints of type <logicor>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.02
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c # SCIP version 1.2.1.2
0.00/0.06 c
0.00/0.06 c # frequency for displaying node information lines
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.06 c display/freq = 10000
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/time = 1799.99
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/memory = 1620
0.00/0.06 c
0.00/0.06 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c limits/solutions = 1
0.00/0.06 c
0.00/0.06 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c lp/solvefreq = -1
0.00/0.06 c
0.00/0.06 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.06 c separating/maxrounds = 1
0.00/0.06 c
0.00/0.06 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/maxroundsroot = 5
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify inequalities
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/linear/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.06 c constraints/knapsack/disaggregation = FALSE
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify knapsacks
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c presolving/probing/maxrounds = 0
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/coefdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.06 c heuristics/crossover/freq = -1
0.00/0.06 c
0.00/0.06 c # number of nodes added to the contingent of the total nodes
0.00/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.06 c heuristics/crossover/nodesofs = 750
0.00/0.06 c
0.00/0.06 c # number of nodes without incumbent change that heuristic should wait
0.00/0.06 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.06 c heuristics/crossover/nwaitingnodes = 100
0.00/0.06 c
0.00/0.06 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.06 c # [type: real, range: [0,1], default: 0.1]
0.00/0.06 c heuristics/crossover/nodesquot = 0.15
0.00/0.06 c
0.00/0.06 c # minimum percentage of integer variables that have to be fixed
0.00/0.06 c # [type: real, range: [0,1], default: 0.666]
0.00/0.06 c heuristics/crossover/minfixingrate = 0.5
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.06 c heuristics/feaspump/freq = -1
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/fracdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/guideddiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/intshifting/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/linesearchdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/nlp/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.06 c heuristics/objpscostdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.06 c # [type: real, range: [0,1], default: 0.01]
0.00/0.06 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/oneopt/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/pscostdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/rens/freq = -1
0.00/0.06 c
0.00/0.06 c # minimum percentage of integer variables that have to be fixable
0.00/0.06 c # [type: real, range: [0,1], default: 0.5]
0.00/0.06 c heuristics/rens/minfixingrate = 0.3
0.00/0.06 c
0.00/0.06 c # number of nodes added to the contingent of the total nodes
0.00/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.06 c heuristics/rens/nodesofs = 2000
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.06 c heuristics/rootsoldiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.06 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/rounding/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/shifting/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/simplerounding/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/trivial/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/trysol/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/veclendiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/zirounding/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c separating/cmir/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c separating/flowcover/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/rapidlearning/freq = 0
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving
0.06/0.06 c
0.06/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.06/0.07 c 0.0s| 1 | 2 | 0 | - |3723k| 0 | - |2100 | 130 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
5.99/6.03 c 5.9s| 10000 | 9945 | 0 | 0.0 |7675k|1204 | - |2100 | 379 | 0 | 0 | 0 | 290 | 0 | 0.000000e+00 | -- | Inf
12.39/12.40 c 12.1s| 20000 | 19891 | 0 | 0.0 | 10M|1204 | - |2100 | 227 | 0 | 0 | 0 | 430 | 0 | 0.000000e+00 | -- | Inf
18.69/18.74 c 18.3s| 30000 | 29822 | 0 | 0.0 | 13M|1204 | - |2100 | 328 | 0 | 0 | 0 | 652 | 0 | 0.000000e+00 | -- | Inf
24.98/25.04 c 24.5s| 40000 | 39758 | 0 | 0.0 | 16M|1204 | - |2100 | 316 | 0 | 0 | 0 | 821 | 0 | 0.000000e+00 | -- | Inf
31.17/31.21 c 30.6s| 50000 | 49666 | 0 | 0.0 | 19M|1204 | - |2100 | 351 | 0 | 0 | 0 |1151 | 0 | 0.000000e+00 | -- | Inf
37.18/37.26 c 36.5s| 60000 | 59591 | 0 | 0.0 | 22M|1204 | - |2100 | 324 | 0 | 0 | 0 |1375 | 0 | 0.000000e+00 | -- | Inf
43.17/43.23 c 42.3s| 70000 | 69515 | 0 | 0.0 | 25M|1204 | - |2100 | 333 | 0 | 0 | 0 |1654 | 0 | 0.000000e+00 | -- | Inf
49.07/49.18 c 48.1s| 80000 | 79436 | 0 | 0.0 | 28M|1204 | - |2100 | 390 | 0 | 0 | 0 |1934 | 0 | 0.000000e+00 | -- | Inf
54.88/54.99 c 53.8s| 90000 | 89363 | 0 | 0.0 | 31M|1204 | - |2100 | 455 | 0 | 0 | 0 |2273 | 0 | 0.000000e+00 | -- | Inf
60.57/60.68 c 59.4s|100000 | 99276 | 0 | 0.0 | 34M|1204 | - |2100 | 557 | 0 | 0 | 0 |2785 | 0 | 0.000000e+00 | -- | Inf
66.27/66.38 c 65.0s|110000 |109193 | 0 | 0.0 | 37M|1204 | - |2100 | 602 | 0 | 0 | 0 |3274 | 0 | 0.000000e+00 | -- | Inf
71.86/71.95 c 70.4s|120000 |119082 | 0 | 0.0 | 40M|1204 | - |2100 | 686 | 0 | 0 | 0 |3854 | 0 | 0.000000e+00 | -- | Inf
77.27/77.35 c 75.7s|130000 |128983 | 0 | 0.0 | 43M|1204 | - |2100 | 836 | 0 | 0 | 0 |4434 | 0 | 0.000000e+00 | -- | Inf
82.47/82.55 c 80.8s|140000 |138891 | 0 | 0.0 | 46M|1204 | - |2100 | 910 | 0 | 0 | 0 |4952 | 0 | 0.000000e+00 | -- | Inf
87.56/87.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
87.56/87.64 c 85.7s|150000 |148790 | 0 | 0.0 | 50M|1204 | - |2100 |1080 | 0 | 0 | 0 |5511 | 0 | 0.000000e+00 | -- | Inf
92.46/92.59 c 90.5s|160000 |158669 | 0 | 0.0 | 53M|1204 | - |2100 |1183 | 0 | 0 | 0 |6169 | 0 | 0.000000e+00 | -- | Inf
97.26/97.36 c 95.2s|170000 |168532 | 0 | 0.0 | 56M|1204 | - |2100 |1482 | 0 | 0 | 0 |6990 | 0 | 0.000000e+00 | -- | Inf
101.96/102.01 c 99.7s|180000 |178394 | 0 | 0.0 | 59M|1204 | - |2100 |1685 | 0 | 0 | 0 |7800 | 0 | 0.000000e+00 | -- | Inf
106.36/106.40 c 104s|190000 |188254 | 0 | 0.0 | 63M|1204 | - |2100 |1747 | 0 | 0 | 0 |8683 | 0 | 0.000000e+00 | -- | Inf
110.46/110.57 c 108s|200000 |198103 | 0 | 0.0 | 66M|1204 | - |2100 |1711 | 0 | 0 | 0 |9470 | 0 | 0.000000e+00 | -- | Inf
114.55/114.61 c 112s|210000 |207941 | 0 | 0.0 | 69M|1204 | - |2100 |1797 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
118.36/118.46 c 116s|220000 |217754 | 0 | 0.0 | 72M|1204 | - |2100 |1939 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
122.06/122.12 c 119s|230000 |227571 | 0 | 0.0 | 76M|1204 | - |2100 |2197 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
125.55/125.66 c 123s|240000 |237331 | 0 | 0.0 | 79M|1204 | - |2100 |2477 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
128.85/128.92 c 126s|250000 |247065 | 0 | 0.0 | 83M|1204 | - |2100 |2758 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
131.95/132.03 c 129s|260000 |256687 | 0 | 0.0 | 86M|1204 | - |2100 |3008 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
135.35/135.48 c 132s|270000 |265861 | 0 | 0.0 | 92M|1204 | - |2100 |4408 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
141.54/141.68 c 138s|280000 |275220 | 0 | 0.0 | 93M|1204 | - |2100 |2088 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
147.85/147.96 c 144s|290000 |285149 | 0 | 0.0 | 94M|1204 | - |2100 | 417 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
154.34/154.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
154.34/154.40 c 150s|300000 |295072 | 0 | 0.0 | 97M|1204 | - |2100 | 316 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
160.74/160.85 c 157s|310000 |304983 | 0 | 0.0 | 100M|1204 | - |2100 | 404 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
167.24/167.34 c 163s|320000 |314913 | 0 | 0.0 | 103M|1204 | - |2100 | 336 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
173.65/173.80 c 169s|330000 |324842 | 0 | 0.0 | 106M|1204 | - |2100 | 417 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
180.14/180.29 c 176s|340000 |334774 | 0 | 0.0 | 109M|1204 | - |2100 | 383 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
186.63/186.74 c 182s|350000 |344715 | 0 | 0.0 | 112M|1204 | - |2100 | 301 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
193.13/193.22 c 189s|360000 |354643 | 0 | 0.0 | 115M|1204 | - |2100 | 340 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
199.53/199.67 c 195s|370000 |364572 | 0 | 0.0 | 118M|1204 | - |2100 | 346 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
206.02/206.13 c 201s|380000 |374508 | 0 | 0.0 | 120M|1204 | - |2100 | 341 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
212.43/212.59 c 208s|390000 |384435 | 0 | 0.0 | 123M|1204 | - |2100 | 365 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
218.93/219.05 c 214s|400000 |394361 | 0 | 0.0 | 126M|1204 | - |2100 | 356 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
225.43/225.51 c 220s|410000 |404290 | 0 | 0.0 | 129M|1204 | - |2100 | 381 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
231.82/231.94 c 226s|420000 |414214 | 0 | 0.0 | 132M|1204 | - |2100 | 352 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
238.22/238.40 c 233s|430000 |424143 | 0 | 0.0 | 135M|1204 | - |2100 | 384 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
244.72/244.82 c 239s|440000 |434065 | 0 | 0.0 | 138M|1204 | - |2100 | 376 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
251.11/251.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
251.11/251.27 c 245s|450000 |443998 | 0 | 0.0 | 141M|1204 | - |2100 | 372 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
257.51/257.69 c 252s|460000 |453932 | 0 | 0.0 | 144M|1204 | - |2100 | 458 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
264.01/264.15 c 258s|470000 |463848 | 0 | 0.0 | 147M|1204 | - |2100 | 422 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
270.42/270.56 c 264s|480000 |473788 | 0 | 0.0 | 149M|1204 | - |2100 | 340 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
276.91/277.01 c 271s|490000 |483704 | 0 | 0.0 | 152M|1204 | - |2100 | 387 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
283.31/283.40 c 277s|500000 |493637 | 0 | 0.0 | 155M|1204 | - |2100 | 354 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
289.70/289.84 c 283s|510000 |503565 | 0 | 0.0 | 158M|1204 | - |2100 | 334 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
296.10/296.27 c 290s|520000 |513496 | 0 | 0.0 | 161M|1204 | - |2100 | 396 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
302.60/302.75 c 296s|530000 |523409 | 0 | 0.0 | 164M|1204 | - |2100 | 375 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
309.10/309.22 c 302s|540000 |533336 | 0 | 0.0 | 167M|1204 | - |2100 | 266 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
315.50/315.62 c 309s|550000 |543275 | 0 | 0.0 | 170M|1204 | - |2100 | 306 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
321.90/322.03 c 315s|560000 |553202 | 0 | 0.0 | 173M|1204 | - |2100 | 382 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
328.29/328.45 c 321s|570000 |563129 | 0 | 0.0 | 175M|1204 | - |2100 | 393 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
334.79/334.90 c 327s|580000 |573045 | 0 | 0.0 | 178M|1204 | - |2100 | 377 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
341.19/341.35 c 334s|590000 |582961 | 0 | 0.0 | 181M|1204 | - |2100 | 358 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
347.59/347.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
347.59/347.79 c 340s|600000 |592888 | 0 | 0.0 | 184M|1204 | - |2100 | 338 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
353.99/354.18 c 346s|610000 |602827 | 0 | 0.0 | 187M|1204 | - |2100 | 294 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
360.48/360.60 c 353s|620000 |612746 | 0 | 0.0 | 190M|1204 | - |2100 | 386 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
366.88/367.02 c 359s|630000 |622661 | 0 | 0.0 | 193M|1204 | - |2100 | 357 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
373.28/373.43 c 365s|640000 |632587 | 0 | 0.0 | 196M|1204 | - |2100 | 388 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
379.67/379.82 c 372s|650000 |642503 | 0 | 0.0 | 199M|1204 | - |2100 | 373 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
386.07/386.23 c 378s|660000 |652430 | 0 | 0.0 | 202M|1204 | - |2100 | 382 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
392.37/392.57 c 384s|670000 |662347 | 0 | 0.0 | 204M|1204 | - |2100 | 397 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
398.77/398.93 c 390s|680000 |672264 | 0 | 0.0 | 207M|1204 | - |2100 | 401 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
405.17/405.32 c 396s|690000 |682195 | 0 | 0.0 | 210M|1204 | - |2100 | 338 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
411.46/411.69 c 403s|700000 |692118 | 0 | 0.0 | 213M|1204 | - |2100 | 384 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
417.97/418.10 c 409s|710000 |702031 | 0 | 0.0 | 216M|1204 | - |2100 | 404 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
424.26/424.49 c 415s|720000 |711953 | 0 | 0.0 | 219M|1204 | - |2100 | 372 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
430.76/430.91 c 422s|730000 |721855 | 0 | 0.0 | 222M|1204 | - |2100 | 353 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
437.16/437.30 c 428s|740000 |731775 | 0 | 0.0 | 225M|1204 | - |2100 | 374 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
443.56/443.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
443.56/443.76 c 434s|750000 |741692 | 0 | 0.0 | 228M|1204 | - |2100 | 393 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
449.95/450.12 c 440s|760000 |751614 | 0 | 0.0 | 231M|1204 | - |2100 | 441 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
456.36/456.54 c 447s|770000 |761537 | 0 | 0.0 | 233M|1204 | - |2100 | 401 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
462.75/462.93 c 453s|780000 |771461 | 0 | 0.0 | 236M|1204 | - |2100 | 417 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
469.15/469.35 c 459s|790000 |781379 | 0 | 0.0 | 239M|1204 | - |2100 | 346 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
475.54/475.74 c 466s|800000 |791307 | 0 | 0.0 | 242M|1204 | - |2100 | 385 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
481.95/482.13 c 472s|810000 |801214 | 0 | 0.0 | 245M|1204 | - |2100 | 397 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
488.35/488.54 c 478s|820000 |811147 | 0 | 0.0 | 248M|1204 | - |2100 | 352 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
494.76/494.92 c 484s|830000 |821062 | 0 | 0.0 | 251M|1204 | - |2100 | 382 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
501.04/501.27 c 491s|840000 |830983 | 0 | 0.0 | 254M|1204 | - |2100 | 365 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
507.43/507.64 c 497s|850000 |840916 | 0 | 0.0 | 256M|1204 | - |2100 | 384 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
513.74/513.97 c 503s|860000 |850834 | 0 | 0.0 | 259M|1204 | - |2100 | 419 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
520.14/520.33 c 509s|870000 |860772 | 0 | 0.0 | 262M|1204 | - |2100 | 431 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
526.43/526.66 c 515s|880000 |870700 | 0 | 0.0 | 265M|1204 | - |2100 | 414 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
532.83/533.03 c 522s|890000 |880623 | 0 | 0.0 | 268M|1204 | - |2100 | 404 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
539.13/539.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
539.13/539.39 c 528s|900000 |890548 | 0 | 0.0 | 271M|1204 | - |2100 | 410 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
545.53/545.73 c 534s|910000 |900478 | 0 | 0.0 | 274M|1204 | - |2100 | 362 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
551.93/552.11 c 540s|920000 |910390 | 0 | 0.0 | 277M|1204 | - |2100 | 408 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
558.23/558.44 c 547s|930000 |920316 | 0 | 0.0 | 280M|1204 | - |2100 | 414 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
564.52/564.78 c 553s|940000 |930226 | 0 | 0.0 | 283M|1204 | - |2100 | 419 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
571.01/571.22 c 559s|950000 |940144 | 0 | 0.0 | 286M|1204 | - |2100 | 426 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
577.33/577.54 c 565s|960000 |950081 | 0 | 0.0 | 289M|1204 | - |2100 | 406 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
583.62/583.88 c 572s|970000 |959999 | 0 | 0.0 | 292M|1204 | - |2100 | 466 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
590.02/590.26 c 578s|980000 |969916 | 0 | 0.0 | 294M|1204 | - |2100 | 431 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
596.31/596.53 c 584s|990000 |979846 | 0 | 0.0 | 297M|1204 | - |2100 | 413 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
602.71/602.90 c 590s| 1000k|989769 | 0 | 0.0 | 300M|1204 | - |2100 | 395 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
609.01/609.28 c 596s| 1010k|999691 | 0 | 0.0 | 303M|1204 | - |2100 | 375 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
615.41/615.62 c 603s| 1020k| 1009k| 0 | 0.0 | 306M|1204 | - |2100 | 411 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
621.70/621.92 c 609s| 1030k| 1019k| 0 | 0.0 | 309M|1204 | - |2100 | 408 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
628.00/628.25 c 615s| 1040k| 1029k| 0 | 0.0 | 312M|1204 | - |2100 | 473 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
634.40/634.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
634.40/634.60 c 621s| 1050k| 1039k| 0 | 0.0 | 315M|1204 | - |2100 | 424 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
640.80/641.00 c 628s| 1060k| 1049k| 0 | 0.0 | 318M|1204 | - |2100 | 418 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
647.10/647.32 c 634s| 1070k| 1059k| 0 | 0.0 | 320M|1204 | - |2100 | 357 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
653.40/653.63 c 640s| 1080k| 1069k| 0 | 0.0 | 323M|1204 | - |2100 | 410 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
659.79/660.01 c 646s| 1090k| 1079k| 0 | 0.0 | 326M|1204 | - |2100 | 366 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
666.09/666.31 c 652s| 1100k| 1088k| 0 | 0.0 | 329M|1204 | - |2100 | 376 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
672.39/672.66 c 659s| 1110k| 1098k| 0 | 0.0 | 332M|1204 | - |2100 | 436 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
678.78/679.07 c 665s| 1120k| 1108k| 0 | 0.0 | 335M|1204 | - |2100 | 449 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
685.09/685.39 c 671s| 1130k| 1118k| 0 | 0.0 | 338M|1204 | - |2100 | 443 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
691.48/691.72 c 677s| 1140k| 1128k| 0 | 0.0 | 341M|1204 | - |2100 | 418 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
697.78/698.09 c 683s| 1150k| 1138k| 0 | 0.0 | 344M|1204 | - |2100 | 386 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
704.18/704.47 c 690s| 1160k| 1148k| 0 | 0.0 | 346M|1204 | - |2100 | 391 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
710.48/710.79 c 696s| 1170k| 1158k| 0 | 0.0 | 349M|1204 | - |2100 | 446 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
716.88/717.10 c 702s| 1180k| 1168k| 0 | 0.0 | 352M|1204 | - |2100 | 469 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
723.17/723.42 c 708s| 1190k| 1178k| 0 | 0.0 | 355M|1204 | - |2100 | 388 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
729.47/729.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
729.47/729.76 c 715s| 1200k| 1188k| 0 | 0.0 | 358M|1204 | - |2100 | 458 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
735.87/736.13 c 721s| 1210k| 1198k| 0 | 0.0 | 361M|1204 | - |2100 | 495 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
742.06/742.40 c 727s| 1220k| 1207k| 0 | 0.0 | 364M|1204 | - |2100 | 437 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
748.46/748.70 c 733s| 1230k| 1217k| 0 | 0.0 | 367M|1204 | - |2100 | 493 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
754.76/755.03 c 739s| 1240k| 1227k| 0 | 0.0 | 370M|1204 | - |2100 | 362 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
761.06/761.39 c 746s| 1250k| 1237k| 0 | 0.0 | 372M|1204 | - |2100 | 404 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
767.46/767.75 c 752s| 1260k| 1247k| 0 | 0.0 | 375M|1204 | - |2100 | 465 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
773.85/774.10 c 758s| 1270k| 1257k| 0 | 0.0 | 378M|1204 | - |2100 | 508 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
780.16/780.42 c 764s| 1280k| 1267k| 0 | 0.0 | 381M|1204 | - |2100 | 389 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
786.45/786.78 c 770s| 1290k| 1277k| 0 | 0.0 | 384M|1204 | - |2100 | 448 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
792.85/793.13 c 777s| 1300k| 1287k| 0 | 0.0 | 387M|1204 | - |2100 | 383 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
799.15/799.49 c 783s| 1310k| 1297k| 0 | 0.0 | 390M|1204 | - |2100 | 336 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
805.55/805.89 c 789s| 1320k| 1307k| 0 | 0.0 | 393M|1204 | - |2100 | 433 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
811.95/812.27 c 795s| 1330k| 1317k| 0 | 0.0 | 396M|1204 | - |2100 | 357 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
818.34/818.64 c 802s| 1340k| 1326k| 0 | 0.0 | 398M|1204 | - |2100 | 375 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
824.65/824.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
824.65/824.92 c 808s| 1350k| 1336k| 0 | 0.0 | 401M|1204 | - |2100 | 416 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
830.85/831.18 c 814s| 1360k| 1346k| 0 | 0.0 | 404M|1204 | - |2100 | 365 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
837.14/837.43 c 820s| 1370k| 1356k| 0 | 0.0 | 407M|1204 | - |2100 | 430 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
843.44/843.71 c 826s| 1380k| 1366k| 0 | 0.0 | 410M|1204 | - |2100 | 339 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
849.73/850.04 c 832s| 1390k| 1376k| 0 | 0.0 | 413M|1204 | - |2100 | 473 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
856.03/856.35 c 839s| 1400k| 1386k| 0 | 0.0 | 416M|1204 | - |2100 | 388 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
862.22/862.58 c 845s| 1410k| 1396k| 0 | 0.0 | 419M|1204 | - |2100 | 399 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
868.52/868.87 c 851s| 1420k| 1406k| 0 | 0.0 | 422M|1204 | - |2100 | 395 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
874.82/875.17 c 857s| 1430k| 1416k| 0 | 0.0 | 425M|1204 | - |2100 | 380 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
881.12/881.46 c 863s| 1440k| 1426k| 0 | 0.0 | 428M|1204 | - |2100 | 462 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
887.42/887.74 c 869s| 1450k| 1436k| 0 | 0.0 | 431M|1204 | - |2100 | 503 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
893.82/894.13 c 876s| 1460k| 1445k| 0 | 0.0 | 433M|1204 | - |2100 | 401 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
900.11/900.48 c 882s| 1470k| 1455k| 0 | 0.0 | 436M|1204 | - |2100 | 387 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
906.52/906.80 c 888s| 1480k| 1465k| 0 | 0.0 | 439M|1204 | - |2100 | 430 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
912.82/913.13 c 894s| 1490k| 1475k| 0 | 0.0 | 442M|1204 | - |2100 | 396 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
919.12/919.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
919.12/919.47 c 901s| 1500k| 1485k| 0 | 0.0 | 445M|1204 | - |2100 | 440 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
925.41/925.75 c 907s| 1510k| 1495k| 0 | 0.0 | 448M|1204 | - |2100 | 463 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
931.71/932.07 c 913s| 1520k| 1505k| 0 | 0.0 | 451M|1204 | - |2100 | 400 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
938.11/938.48 c 919s| 1530k| 1515k| 0 | 0.0 | 454M|1204 | - |2100 | 330 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
944.52/944.83 c 925s| 1540k| 1525k| 0 | 0.0 | 457M|1204 | - |2100 | 441 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
950.80/951.13 c 932s| 1550k| 1535k| 0 | 0.0 | 460M|1204 | - |2100 | 399 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
957.10/957.40 c 938s| 1560k| 1545k| 0 | 0.0 | 463M|1204 | - |2100 | 465 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
963.50/963.82 c 944s| 1570k| 1555k| 0 | 0.0 | 465M|1204 | - |2100 | 444 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
969.91/970.25 c 950s| 1580k| 1564k| 0 | 0.0 | 468M|1204 | - |2100 | 413 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
976.30/976.60 c 957s| 1590k| 1574k| 0 | 0.0 | 471M|1204 | - |2100 | 466 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
982.68/983.01 c 963s| 1600k| 1584k| 0 | 0.0 | 474M|1204 | - |2100 | 447 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
989.18/989.51 c 969s| 1610k| 1594k| 0 | 0.0 | 477M|1204 | - |2100 | 551 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
995.58/995.95 c 976s| 1620k| 1604k| 0 | 0.0 | 480M|1204 | - |2100 | 413 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
1001.98/1002.30 c 982s| 1630k| 1614k| 0 | 0.0 | 483M|1204 | - |2100 | 409 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
1008.38/1008.72 c 988s| 1640k| 1624k| 0 | 0.0 | 485M|1204 | - |2100 | 373 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
1014.77/1015.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1014.77/1015.19 c 994s| 1650k| 1634k| 0 | 0.0 | 488M|1204 | - |2100 | 399 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
1021.28/1021.64 c 1001s| 1660k| 1644k| 0 | 0.0 | 491M|1204 | - |2100 | 446 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
1027.57/1027.95 c 1007s| 1670k| 1654k| 0 | 0.0 | 494M|1204 | - |2100 | 412 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
1033.86/1034.28 c 1013s| 1680k| 1664k| 0 | 0.0 | 497M|1204 | - |2100 | 461 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
1040.37/1040.74 c 1019s| 1690k| 1674k| 0 | 0.0 | 500M|1204 | - |2100 | 398 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
1046.77/1047.12 c 1026s| 1700k| 1684k| 0 | 0.0 | 503M|1204 | - |2100 | 378 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
1053.07/1053.44 c 1032s| 1710k| 1693k| 0 | 0.0 | 506M|1204 | - |2100 | 434 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
1059.46/1059.84 c 1038s| 1720k| 1703k| 0 | 0.0 | 509M|1204 | - |2100 | 360 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
1065.86/1066.24 c 1045s| 1730k| 1713k| 0 | 0.0 | 512M|1204 | - |2100 | 452 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
1072.25/1072.67 c 1051s| 1740k| 1723k| 0 | 0.0 | 514M|1204 | - |2100 | 368 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
1078.67/1079.02 c 1057s| 1750k| 1733k| 0 | 0.0 | 517M|1204 | - |2100 | 416 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
1084.96/1085.34 c 1063s| 1760k| 1743k| 0 | 0.0 | 520M|1204 | - |2100 | 458 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
1091.36/1091.76 c 1070s| 1770k| 1753k| 0 | 0.0 | 523M|1204 | - |2100 | 461 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
1097.75/1098.10 c 1076s| 1780k| 1763k| 0 | 0.0 | 526M|1204 | - |2100 | 393 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
1104.06/1104.44 c 1082s| 1790k| 1773k| 0 | 0.0 | 529M|1204 | - |2100 | 406 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
1110.45/1110.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1110.45/1110.85 c 1088s| 1800k| 1783k| 0 | 0.0 | 532M|1204 | - |2100 | 437 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
1116.85/1117.26 c 1095s| 1810k| 1793k| 0 | 0.0 | 535M|1204 | - |2100 | 427 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
1123.14/1123.55 c 1101s| 1820k| 1803k| 0 | 0.0 | 538M|1204 | - |2100 | 420 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
1129.35/1129.79 c 1107s| 1830k| 1812k| 0 | 0.0 | 541M|1204 | - |2100 | 453 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
1135.74/1136.18 c 1113s| 1840k| 1822k| 0 | 0.0 | 543M|1204 | - |2100 | 398 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
1142.14/1142.55 c 1119s| 1850k| 1832k| 0 | 0.0 | 546M|1204 | - |2100 | 403 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
1148.34/1148.78 c 1125s| 1860k| 1842k| 0 | 0.0 | 549M|1204 | - |2100 | 443 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
1154.54/1155.00 c 1132s| 1870k| 1852k| 0 | 0.0 | 552M|1204 | - |2100 | 494 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
1160.93/1161.37 c 1138s| 1880k| 1862k| 0 | 0.0 | 555M|1204 | - |2100 | 465 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
1167.24/1167.69 c 1144s| 1890k| 1872k| 0 | 0.0 | 558M|1204 | - |2100 | 486 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
1173.53/1173.95 c 1150s| 1900k| 1882k| 0 | 0.0 | 561M|1204 | - |2100 | 433 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
1179.73/1180.13 c 1156s| 1910k| 1892k| 0 | 0.0 | 564M|1204 | - |2100 | 463 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
1186.03/1186.48 c 1162s| 1920k| 1902k| 0 | 0.0 | 567M|1204 | - |2100 | 367 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
1192.43/1192.82 c 1169s| 1930k| 1912k| 0 | 0.0 | 570M|1204 | - |2100 | 376 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
1198.63/1199.04 c 1175s| 1940k| 1922k| 0 | 0.0 | 573M|1204 | - |2100 | 378 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
1204.82/1205.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1204.82/1205.26 c 1181s| 1950k| 1931k| 0 | 0.0 | 576M|1204 | - |2100 | 468 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
1211.12/1211.60 c 1187s| 1960k| 1941k| 0 | 0.0 | 579M|1204 | - |2100 | 426 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
1217.53/1217.92 c 1193s| 1970k| 1951k| 0 | 0.0 | 582M|1204 | - |2100 | 500 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
1223.83/1224.20 c 1199s| 1980k| 1961k| 0 | 0.0 | 584M|1204 | - |2100 | 386 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
1230.02/1230.44 c 1206s| 1990k| 1971k| 0 | 0.0 | 587M|1204 | - |2100 | 405 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
1236.31/1236.75 c 1212s| 2000k| 1981k| 0 | 0.0 | 590M|1204 | - |2100 | 397 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
1242.62/1243.02 c 1218s| 2010k| 1991k| 0 | 0.0 | 593M|1204 | - |2100 | 452 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
1248.81/1249.22 c 1224s| 2020k| 2001k| 0 | 0.0 | 596M|1204 | - |2100 | 459 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
1255.01/1255.45 c 1230s| 2030k| 2011k| 0 | 0.0 | 599M|1204 | - |2100 | 433 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1261.22/1261.70 c 1236s| 2040k| 2021k| 0 | 0.0 | 602M|1204 | - |2100 | 443 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1267.61/1268.07 c 1242s| 2050k| 2031k| 0 | 0.0 | 605M|1204 | - |2100 | 431 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1273.91/1274.31 c 1249s| 2060k| 2040k| 0 | 0.0 | 608M|1204 | - |2100 | 409 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1280.01/1280.45 c 1255s| 2070k| 2050k| 0 | 0.0 | 611M|1204 | - |2100 | 441 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1286.20/1286.63 c 1261s| 2080k| 2060k| 0 | 0.0 | 614M|1204 | - |2100 | 421 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1292.51/1292.93 c 1267s| 2090k| 2070k| 0 | 0.0 | 617M|1204 | - |2100 | 438 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1298.71/1299.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1298.71/1299.18 c 1273s| 2100k| 2080k| 0 | 0.0 | 620M|1204 | - |2100 | 419 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1305.00/1305.49 c 1279s| 2110k| 2090k| 0 | 0.0 | 623M|1204 | - |2100 | 446 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1311.20/1311.69 c 1285s| 2120k| 2100k| 0 | 0.0 | 626M|1204 | - |2100 | 441 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1317.60/1318.03 c 1291s| 2130k| 2110k| 0 | 0.0 | 629M|1204 | - |2100 | 528 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1323.79/1324.29 c 1298s| 2140k| 2120k| 0 | 0.0 | 631M|1204 | - |2100 | 475 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1330.09/1330.50 c 1304s| 2150k| 2130k| 0 | 0.0 | 634M|1204 | - |2100 | 515 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1336.29/1336.71 c 1310s| 2160k| 2140k| 0 | 0.0 | 637M|1204 | - |2100 | 491 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1342.60/1343.01 c 1316s| 2170k| 2150k| 0 | 0.0 | 640M|1204 | - |2100 | 440 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1348.89/1349.35 c 1322s| 2180k| 2159k| 0 | 0.0 | 643M|1204 | - |2100 | 411 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1355.09/1355.57 c 1328s| 2190k| 2169k| 0 | 0.0 | 646M|1204 | - |2100 | 459 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1361.30/1361.72 c 1334s| 2200k| 2179k| 0 | 0.0 | 649M|1204 | - |2100 | 510 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1367.49/1367.99 c 1340s| 2210k| 2189k| 0 | 0.0 | 652M|1204 | - |2100 | 449 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1373.88/1374.38 c 1347s| 2220k| 2199k| 0 | 0.0 | 655M|1204 | - |2100 | 402 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1380.18/1380.65 c 1353s| 2230k| 2209k| 0 | 0.0 | 658M|1204 | - |2100 | 393 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1386.38/1386.87 c 1359s| 2240k| 2219k| 0 | 0.0 | 661M|1204 | - |2100 | 462 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1392.67/1393.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1392.67/1393.15 c 1365s| 2250k| 2229k| 0 | 0.0 | 664M|1204 | - |2100 | 508 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1399.07/1399.53 c 1371s| 2260k| 2239k| 0 | 0.0 | 667M|1204 | - |2100 | 441 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1405.38/1405.84 c 1377s| 2270k| 2249k| 0 | 0.0 | 670M|1204 | - |2100 | 465 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1411.67/1412.11 c 1384s| 2280k| 2259k| 0 | 0.0 | 672M|1204 | - |2100 | 519 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1417.87/1418.34 c 1390s| 2290k| 2269k| 0 | 0.0 | 675M|1204 | - |2100 | 462 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1424.27/1424.74 c 1396s| 2300k| 2278k| 0 | 0.0 | 678M|1204 | - |2100 | 407 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1430.57/1431.06 c 1402s| 2310k| 2288k| 0 | 0.0 | 681M|1204 | - |2100 | 530 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1436.87/1437.31 c 1408s| 2320k| 2298k| 0 | 0.0 | 684M|1204 | - |2100 | 436 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1443.06/1443.53 c 1414s| 2330k| 2308k| 0 | 0.0 | 687M|1204 | - |2100 | 369 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1449.26/1449.73 c 1420s| 2340k| 2318k| 0 | 0.0 | 690M|1204 | - |2100 | 434 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1455.56/1456.07 c 1427s| 2350k| 2328k| 0 | 0.0 | 693M|1204 | - |2100 | 423 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1461.85/1462.37 c 1433s| 2360k| 2338k| 0 | 0.0 | 695M|1204 | - |2100 | 426 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1468.16/1468.69 c 1439s| 2370k| 2348k| 0 | 0.0 | 698M|1204 | - |2100 | 350 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1474.45/1474.97 c 1445s| 2380k| 2358k| 0 | 0.0 | 701M|1204 | - |2100 | 391 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1480.75/1481.22 c 1451s| 2390k| 2368k| 0 | 0.0 | 704M|1204 | - |2100 | 390 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1487.05/1487.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1487.05/1487.52 c 1458s| 2400k| 2378k| 0 | 0.0 | 707M|1204 | - |2100 | 442 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1493.25/1493.74 c 1464s| 2410k| 2387k| 0 | 0.0 | 710M|1204 | - |2100 | 508 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1499.44/1499.94 c 1470s| 2420k| 2397k| 0 | 0.0 | 713M|1204 | - |2100 | 412 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1505.65/1506.14 c 1476s| 2430k| 2407k| 0 | 0.0 | 716M|1204 | - |2100 | 408 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1511.94/1512.49 c 1482s| 2440k| 2417k| 0 | 0.0 | 719M|1204 | - |2100 | 499 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1518.34/1518.82 c 1488s| 2450k| 2427k| 0 | 0.0 | 722M|1204 | - |2100 | 441 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1524.53/1525.07 c 1494s| 2460k| 2437k| 0 | 0.0 | 725M|1204 | - |2100 | 486 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1530.84/1531.32 c 1500s| 2470k| 2447k| 0 | 0.0 | 727M|1204 | - |2100 | 454 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1536.93/1537.46 c 1506s| 2480k| 2457k| 0 | 0.0 | 730M|1204 | - |2100 | 500 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1543.23/1543.77 c 1513s| 2490k| 2467k| 0 | 0.0 | 733M|1204 | - |2100 | 437 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1549.63/1550.15 c 1519s| 2500k| 2477k| 0 | 0.0 | 736M|1204 | - |2100 | 374 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1555.83/1556.32 c 1525s| 2510k| 2487k| 0 | 0.0 | 739M|1204 | - |2100 | 438 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1561.93/1562.41 c 1531s| 2520k| 2496k| 0 | 0.0 | 742M|1204 | - |2100 | 496 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1568.13/1568.61 c 1537s| 2530k| 2506k| 0 | 0.0 | 745M|1204 | - |2100 | 495 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1574.32/1574.89 c 1543s| 2540k| 2516k| 0 | 0.0 | 748M|1204 | - |2100 | 487 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1580.62/1581.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1580.62/1581.10 c 1549s| 2550k| 2526k| 0 | 0.0 | 751M|1204 | - |2100 | 494 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1586.73/1587.28 c 1555s| 2560k| 2536k| 0 | 0.0 | 754M|1204 | - |2100 | 504 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1592.92/1593.48 c 1561s| 2570k| 2546k| 0 | 0.0 | 757M|1204 | - |2100 | 429 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1599.11/1599.62 c 1567s| 2580k| 2556k| 0 | 0.0 | 760M|1204 | - |2100 | 505 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1605.42/1605.93 c 1574s| 2590k| 2566k| 0 | 0.0 | 762M|1204 | - |2100 | 464 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1611.62/1612.15 c 1580s| 2600k| 2576k| 0 | 0.0 | 765M|1204 | - |2100 | 519 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1617.70/1618.28 c 1586s| 2610k| 2586k| 0 | 0.0 | 768M|1204 | - |2100 | 510 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1624.00/1624.50 c 1592s| 2620k| 2596k| 0 | 0.0 | 771M|1204 | - |2100 | 436 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1630.30/1630.82 c 1598s| 2630k| 2606k| 0 | 0.0 | 774M|1204 | - |2100 | 436 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1636.50/1637.09 c 1604s| 2640k| 2615k| 0 | 0.0 | 777M|1204 | - |2100 | 426 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1642.81/1643.39 c 1610s| 2650k| 2625k| 0 | 0.0 | 780M|1204 | - |2100 | 518 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1649.11/1649.63 c 1616s| 2660k| 2635k| 0 | 0.0 | 783M|1204 | - |2100 | 572 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1655.29/1655.89 c 1623s| 2670k| 2645k| 0 | 0.0 | 786M|1204 | - |2100 | 504 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1661.70/1662.23 c 1629s| 2680k| 2655k| 0 | 0.0 | 789M|1204 | - |2100 | 409 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1667.99/1668.59 c 1635s| 2690k| 2665k| 0 | 0.0 | 792M|1204 | - |2100 | 506 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1674.39/1674.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1674.39/1674.91 c 1641s| 2700k| 2675k| 0 | 0.0 | 794M|1204 | - |2100 | 462 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1680.59/1681.13 c 1647s| 2710k| 2685k| 0 | 0.0 | 797M|1204 | - |2100 | 446 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1686.80/1687.31 c 1653s| 2720k| 2695k| 0 | 0.0 | 800M|1204 | - |2100 | 454 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1693.18/1693.74 c 1660s| 2730k| 2705k| 0 | 0.0 | 803M|1204 | - |2100 | 423 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1699.49/1700.07 c 1666s| 2740k| 2715k| 0 | 0.0 | 806M|1204 | - |2100 | 460 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1705.78/1706.32 c 1672s| 2750k| 2725k| 0 | 0.0 | 809M|1204 | - |2100 | 438 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
1712.09/1712.63 c 1678s| 2760k| 2734k| 0 | 0.0 | 812M|1204 | - |2100 | 495 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1718.28/1718.89 c 1684s| 2770k| 2744k| 0 | 0.0 | 815M|1204 | - |2100 | 555 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1724.68/1725.29 c 1691s| 2780k| 2754k| 0 | 0.0 | 818M|1204 | - |2100 | 531 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
1731.08/1731.60 c 1697s| 2790k| 2764k| 0 | 0.0 | 821M|1204 | - |2100 | 474 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1737.27/1737.82 c 1703s| 2800k| 2774k| 0 | 0.0 | 823M|1204 | - |2100 | 461 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1743.57/1744.12 c 1709s| 2810k| 2784k| 0 | 0.0 | 826M|1204 | - |2100 | 410 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
1749.77/1750.32 c 1715s| 2820k| 2794k| 0 | 0.0 | 829M|1204 | - |2100 | 409 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1756.08/1756.64 c 1721s| 2830k| 2804k| 0 | 0.0 | 832M|1204 | - |2100 | 448 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1762.36/1762.95 c 1728s| 2840k| 2814k| 0 | 0.0 | 835M|1204 | - |2100 | 471 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
1768.67/1769.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1768.67/1769.21 c 1734s| 2850k| 2824k| 0 | 0.0 | 838M|1204 | - |2100 | 436 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1774.87/1775.48 c 1740s| 2860k| 2834k| 0 | 0.0 | 841M|1204 | - |2100 | 383 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1781.06/1781.65 c 1746s| 2870k| 2843k| 0 | 0.0 | 843M|1204 | - |2100 | 415 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
1787.26/1787.85 c 1752s| 2880k| 2853k| 0 | 0.0 | 846M|1204 | - |2100 | 438 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1793.65/1794.21 c 1758s| 2890k| 2863k| 0 | 0.0 | 849M|1204 | - |2100 | 440 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1799.85/1800.41 c 1764s| 2900k| 2873k| 0 | 0.0 | 852M|1204 | - |2100 | 479 | 0 | 0 | 0 | 121k| 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) : 1764.46
1800.07/1800.61 c Solving Nodes : 2900346
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 : 1764.46
1800.07/1800.61 c Original Problem :
1800.07/1800.61 c Problem name : HOME/instance-2664507-1276325082.opb
1800.07/1800.61 c Variables : 2100 (2100 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 130 initial, 130 maximal
1800.07/1800.61 c Presolved Problem :
1800.07/1800.61 c Problem name : t_HOME/instance-2664507-1276325082.opb
1800.07/1800.61 c Variables : 2100 (2100 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 130 initial, 4953 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 setppc : 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 setppc : 60 0 3201136 0 2890703 14377 2286422 0 0 0
1800.07/1800.61 c logicor : 70+ 0 702839 0 2890703 2063 255236 0 0 0
1800.07/1800.61 c countsols : 0 0 0 0 2890703 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 setppc : 338.81 0.00 42.21 0.00 296.60
1800.07/1800.61 c logicor : 184.26 0.00 8.96 0.00 175.30
1800.07/1800.61 c countsols : 1.37 0.00 0.00 0.00 1.37
1800.07/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.61 c vbounds : 1.64 1 0 0
1800.07/1800.61 c rootredcost : 1.96 0 0 0
1800.07/1800.61 c pseudoobj : 1.73 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 : 26.94 16440 16440 314998 176.4 75 106.4 -
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 : - - - 121504 130.8 - - -
1800.07/1800.61 c applied locally : - - - 364 237.9 - - -
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 : 1133.46 2890703 0 0 0 0 5781406
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 : 2900346
1800.07/1800.61 c nodes (total) : 2900346
1800.07/1800.61 c nodes left : 2874087
1800.07/1800.61 c max depth : 1204
1800.07/1800.61 c max depth (total): 1204
1800.07/1800.61 c backtracks : 6877 (0.2%)
1800.07/1800.61 c delayed cutoffs : 6974
1800.07/1800.61 c repropagations : 16313 (207270 domain reductions, 6797 cutoffs)
1800.07/1800.61 c avg switch length: 2.38
1800.07/1800.61 c switching time : 36.52
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