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-2664275-1276270662.opb>
0.00/0.02 c original problem has 490 variables (490 bin, 0 int, 0 impl, 0 cont) and 737 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.03 c presolving:
0.00/0.06 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 737 upgd conss, 522 impls, 0 clqs
0.06/0.09 c (round 2) 8 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 737 upgd conss, 19274 impls, 0 clqs
0.06/0.09 c presolving (3 rounds):
0.06/0.09 c 8 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.06/0.09 c 19274 implications, 0 cliques
0.06/0.09 c presolved problem has 482 variables (482 bin, 0 int, 0 impl, 0 cont) and 737 constraints
0.06/0.09 c 340 constraints of type <knapsack>
0.06/0.09 c 397 constraints of type <logicor>
0.06/0.09 c transformed objective value is always integral (scale: 1)
0.06/0.09 c Presolving Time: 0.06
0.06/0.09 c - non default parameters ----------------------------------------------------------------------
0.06/0.09 c # SCIP version 1.2.1.2
0.06/0.09 c
0.06/0.09 c # frequency for displaying node information lines
0.06/0.09 c # [type: int, range: [-1,2147483647], default: 100]
0.06/0.09 c display/freq = 10000
0.06/0.09 c
0.06/0.09 c # maximal time in seconds to run
0.06/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.06/0.09 c limits/time = 1799.99
0.06/0.09 c
0.06/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.06/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.06/0.09 c limits/memory = 1620
0.06/0.09 c
0.06/0.09 c # solving stops, if the given number of solutions were found (-1: no limit)
0.06/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.06/0.09 c limits/solutions = 1
0.06/0.09 c
0.06/0.09 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.06/0.09 c # [type: int, range: [-1,2147483647], default: 1]
0.06/0.09 c lp/solvefreq = -1
0.06/0.09 c
0.06/0.10 c # maximal number of separation rounds per node (-1: unlimited)
0.06/0.10 c # [type: int, range: [-1,2147483647], default: 5]
0.06/0.10 c separating/maxrounds = 1
0.06/0.10 c
0.06/0.10 c # maximal number of separation rounds in the root node (-1: unlimited)
0.06/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.06/0.10 c separating/maxroundsroot = 5
0.06/0.10 c
0.06/0.10 c # should presolving try to simplify inequalities
0.06/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.06/0.10 c constraints/linear/simplifyinequalities = TRUE
0.06/0.10 c
0.06/0.10 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.06/0.10 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.06/0.10 c constraints/knapsack/disaggregation = FALSE
0.06/0.10 c
0.06/0.10 c # should presolving try to simplify knapsacks
0.06/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.06/0.10 c constraints/knapsack/simplifyinequalities = TRUE
0.06/0.10 c
0.06/0.10 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.06/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.06/0.10 c presolving/probing/maxrounds = 0
0.06/0.10 c
0.06/0.10 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.06/0.10 c # [type: int, range: [-1,2147483647], default: 10]
0.06/0.10 c heuristics/coefdiving/freq = -1
0.06/0.10 c
0.06/0.10 c # maximal fraction of diving LP iterations compared to node LP iterations
0.06/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.06/0.10 c heuristics/coefdiving/maxlpiterquot = 0.075
0.06/0.10 c
0.06/0.10 c # additional number of allowed LP iterations
0.06/0.10 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.10 c heuristics/coefdiving/maxlpiterofs = 1500
0.06/0.10 c
0.06/0.10 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.06/0.10 c # [type: int, range: [-1,2147483647], default: 30]
0.06/0.10 c heuristics/crossover/freq = -1
0.06/0.10 c
0.06/0.10 c # number of nodes added to the contingent of the total nodes
0.06/0.10 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.06/0.10 c heuristics/crossover/nodesofs = 750
0.06/0.10 c
0.06/0.10 c # number of nodes without incumbent change that heuristic should wait
0.06/0.10 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.06/0.10 c heuristics/crossover/nwaitingnodes = 100
0.06/0.10 c
0.06/0.10 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.06/0.10 c # [type: real, range: [0,1], default: 0.1]
0.06/0.10 c heuristics/crossover/nodesquot = 0.15
0.06/0.10 c
0.06/0.10 c # minimum percentage of integer variables that have to be fixed
0.06/0.10 c # [type: real, range: [0,1], default: 0.666]
0.06/0.10 c heuristics/crossover/minfixingrate = 0.5
0.06/0.10 c
0.06/0.10 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.06/0.10 c # [type: int, range: [-1,2147483647], default: 20]
0.06/0.10 c heuristics/feaspump/freq = -1
0.06/0.10 c
0.06/0.10 c # additional number of allowed LP iterations
0.06/0.10 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.10 c heuristics/feaspump/maxlpiterofs = 2000
0.06/0.10 c
0.06/0.10 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.06/0.10 c # [type: int, range: [-1,2147483647], default: 10]
0.06/0.10 c heuristics/fracdiving/freq = -1
0.06/0.10 c
0.06/0.10 c # maximal fraction of diving LP iterations compared to node LP iterations
0.06/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.06/0.10 c heuristics/fracdiving/maxlpiterquot = 0.075
0.06/0.10 c
0.06/0.10 c # additional number of allowed LP iterations
0.06/0.10 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.10 c heuristics/fracdiving/maxlpiterofs = 1500
0.06/0.10 c
0.06/0.10 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.06/0.10 c # [type: int, range: [-1,2147483647], default: 10]
0.06/0.10 c heuristics/guideddiving/freq = -1
0.06/0.10 c
0.06/0.10 c # maximal fraction of diving LP iterations compared to node LP iterations
0.06/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.06/0.10 c heuristics/guideddiving/maxlpiterquot = 0.075
0.06/0.10 c
0.06/0.10 c # additional number of allowed LP iterations
0.06/0.10 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.10 c heuristics/guideddiving/maxlpiterofs = 1500
0.06/0.10 c
0.06/0.10 c # maximal fraction of diving LP iterations compared to node LP iterations
0.06/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.06/0.10 c heuristics/intdiving/maxlpiterquot = 0.075
0.06/0.10 c
0.06/0.10 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.06/0.10 c # [type: int, range: [-1,2147483647], default: 10]
0.06/0.10 c heuristics/intshifting/freq = -1
0.06/0.10 c
0.06/0.10 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.06/0.10 c # [type: int, range: [-1,2147483647], default: 10]
0.06/0.10 c heuristics/linesearchdiving/freq = -1
0.06/0.10 c
0.06/0.10 c # maximal fraction of diving LP iterations compared to node LP iterations
0.06/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.06/0.10 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.06/0.10 c
0.06/0.10 c # additional number of allowed LP iterations
0.06/0.10 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.10 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.06/0.10 c
0.06/0.10 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.06/0.10 c # [type: int, range: [-1,2147483647], default: 1]
0.06/0.10 c heuristics/nlp/freq = -1
0.06/0.10 c
0.06/0.10 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.06/0.10 c # [type: int, range: [-1,2147483647], default: 20]
0.06/0.10 c heuristics/objpscostdiving/freq = -1
0.06/0.10 c
0.06/0.10 c # maximal fraction of diving LP iterations compared to total iteration number
0.06/0.10 c # [type: real, range: [0,1], default: 0.01]
0.06/0.10 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.06/0.10 c
0.06/0.10 c # additional number of allowed LP iterations
0.06/0.10 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.10 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.06/0.10 c
0.06/0.10 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.06/0.10 c # [type: int, range: [-1,2147483647], default: 1]
0.06/0.10 c heuristics/oneopt/freq = -1
0.06/0.10 c
0.06/0.10 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.06/0.10 c # [type: int, range: [-1,2147483647], default: 10]
0.06/0.10 c heuristics/pscostdiving/freq = -1
0.06/0.10 c
0.06/0.10 c # maximal fraction of diving LP iterations compared to node LP iterations
0.06/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.06/0.10 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.06/0.10 c
0.06/0.10 c # additional number of allowed LP iterations
0.06/0.10 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.10 c heuristics/pscostdiving/maxlpiterofs = 1500
0.06/0.10 c
0.06/0.10 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.06/0.10 c # [type: int, range: [-1,2147483647], default: 0]
0.06/0.10 c heuristics/rens/freq = -1
0.06/0.10 c
0.06/0.10 c # minimum percentage of integer variables that have to be fixable
0.06/0.10 c # [type: real, range: [0,1], default: 0.5]
0.06/0.10 c heuristics/rens/minfixingrate = 0.3
0.06/0.10 c
0.06/0.10 c # number of nodes added to the contingent of the total nodes
0.06/0.10 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.06/0.10 c heuristics/rens/nodesofs = 2000
0.06/0.10 c
0.06/0.10 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.06/0.10 c # [type: int, range: [-1,2147483647], default: 20]
0.06/0.10 c heuristics/rootsoldiving/freq = -1
0.06/0.10 c
0.06/0.10 c # maximal fraction of diving LP iterations compared to node LP iterations
0.06/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.06/0.10 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.06/0.10 c
0.06/0.10 c # additional number of allowed LP iterations
0.06/0.10 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.10 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.06/0.10 c
0.06/0.10 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.06/0.10 c # [type: int, range: [-1,2147483647], default: 1]
0.06/0.10 c heuristics/rounding/freq = -1
0.06/0.10 c
0.06/0.10 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.06/0.10 c # [type: int, range: [-1,2147483647], default: 10]
0.06/0.10 c heuristics/shifting/freq = -1
0.06/0.10 c
0.06/0.10 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.06/0.10 c # [type: int, range: [-1,2147483647], default: 1]
0.06/0.10 c heuristics/simplerounding/freq = -1
0.06/0.10 c
0.06/0.10 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.06/0.10 c # [type: int, range: [-1,2147483647], default: 0]
0.06/0.10 c heuristics/trivial/freq = -1
0.06/0.10 c
0.06/0.10 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.06/0.10 c # [type: int, range: [-1,2147483647], default: 1]
0.06/0.10 c heuristics/trysol/freq = -1
0.06/0.10 c
0.06/0.10 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.06/0.10 c # [type: int, range: [-1,2147483647], default: 10]
0.06/0.10 c heuristics/veclendiving/freq = -1
0.06/0.10 c
0.06/0.10 c # maximal fraction of diving LP iterations compared to node LP iterations
0.06/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.06/0.10 c heuristics/veclendiving/maxlpiterquot = 0.075
0.06/0.10 c
0.06/0.10 c # additional number of allowed LP iterations
0.06/0.10 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.10 c heuristics/veclendiving/maxlpiterofs = 1500
0.06/0.10 c
0.06/0.10 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.06/0.10 c # [type: int, range: [-1,2147483647], default: 1]
0.06/0.10 c heuristics/zirounding/freq = -1
0.06/0.10 c
0.06/0.10 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.06/0.10 c # [type: int, range: [-1,2147483647], default: 0]
0.06/0.10 c separating/cmir/freq = -1
0.06/0.10 c
0.06/0.10 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.06/0.10 c # [type: int, range: [-1,2147483647], default: 0]
0.06/0.10 c separating/flowcover/freq = -1
0.06/0.10 c
0.06/0.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.06/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.06/0.10 c separating/rapidlearning/freq = 0
0.06/0.10 c
0.06/0.10 c -----------------------------------------------------------------------------------------------
0.06/0.10 c start solving
0.09/0.10 c
0.09/0.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.10 c 0.1s| 1 | 2 | 0 | - |2514k| 0 | - | 482 | 737 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.69/2.71 c 2.5s| 10000 | 7107 | 0 | 0.0 |7116k| 122 | - | 482 | 813 | 0 | 0 | 0 | 223 | 0 | 0.000000e+00 | -- | Inf
5.50/5.52 c 5.1s| 20000 | 13695 | 0 | 0.0 | 10M| 122 | - | 482 | 831 | 0 | 0 | 0 | 604 | 0 | 0.000000e+00 | -- | Inf
8.38/8.46 c 7.9s| 30000 | 19396 | 0 | 0.0 | 14M| 122 | - | 482 | 854 | 0 | 0 | 0 |1131 | 0 | 0.000000e+00 | -- | Inf
11.38/11.40 c 10.7s| 40000 | 25205 | 0 | 0.0 | 17M| 122 | - | 482 | 835 | 0 | 0 | 0 |1637 | 0 | 0.000000e+00 | -- | Inf
14.19/14.28 c 13.3s| 50000 | 31034 | 0 | 0.0 | 20M| 122 | - | 482 | 800 | 0 | 0 | 0 |2097 | 0 | 0.000000e+00 | -- | Inf
16.89/16.99 c 15.9s| 60000 | 37212 | 0 | 0.0 | 24M| 141 | - | 482 | 770 | 0 | 0 | 0 |2419 | 0 | 0.000000e+00 | -- | Inf
19.38/19.47 c 18.2s| 70000 | 44877 | 0 | 0.0 | 27M| 141 | - | 482 | 777 | 0 | 0 | 0 |2501 | 0 | 0.000000e+00 | -- | Inf
22.08/22.10 c 20.7s| 80000 | 51759 | 0 | 0.0 | 32M| 141 | - | 482 | 821 | 0 | 0 | 0 |2709 | 0 | 0.000000e+00 | -- | Inf
24.69/24.76 c 23.2s| 90000 | 58408 | 0 | 0.0 | 36M| 141 | - | 482 | 844 | 0 | 0 | 0 |2952 | 0 | 0.000000e+00 | -- | Inf
27.38/27.48 c 25.7s|100000 | 65121 | 0 | 0.0 | 40M| 141 | - | 482 | 853 | 0 | 0 | 0 |3252 | 0 | 0.000000e+00 | -- | Inf
30.18/30.25 c 28.3s|110000 | 71594 | 0 | 0.0 | 43M| 149 | - | 482 | 833 | 0 | 0 | 0 |3531 | 0 | 0.000000e+00 | -- | Inf
32.98/33.08 c 31.0s|120000 | 77891 | 0 | 0.0 | 47M| 149 | - | 482 | 819 | 0 | 0 | 0 |3858 | 0 | 0.000000e+00 | -- | Inf
35.77/35.86 c 33.6s|130000 | 84235 | 0 | 0.0 | 51M| 149 | - | 482 | 865 | 0 | 0 | 0 |4196 | 0 | 0.000000e+00 | -- | Inf
38.68/38.72 c 36.3s|140000 | 90290 | 0 | 0.0 | 55M| 149 | - | 482 | 881 | 0 | 0 | 0 |4569 | 0 | 0.000000e+00 | -- | Inf
41.47/41.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.47/41.54 c 38.9s|150000 | 96393 | 0 | 0.0 | 59M| 149 | - | 482 | 887 | 0 | 0 | 0 |4949 | 0 | 0.000000e+00 | -- | Inf
44.37/44.43 c 41.7s|160000 |102403 | 0 | 0.0 | 62M| 149 | - | 482 | 863 | 0 | 0 | 0 |5343 | 0 | 0.000000e+00 | -- | Inf
47.28/47.37 c 44.4s|170000 |108286 | 0 | 0.0 | 66M| 149 | - | 482 | 875 | 0 | 0 | 0 |5743 | 0 | 0.000000e+00 | -- | Inf
50.17/50.27 c 47.2s|180000 |114105 | 0 | 0.0 | 70M| 149 | - | 482 | 858 | 0 | 0 | 0 |6130 | 0 | 0.000000e+00 | -- | Inf
53.07/53.17 c 49.9s|190000 |120033 | 0 | 0.0 | 74M| 149 | - | 482 | 874 | 0 | 0 | 0 |6556 | 0 | 0.000000e+00 | -- | Inf
56.08/56.11 c 52.7s|200000 |125981 | 0 | 0.0 | 77M| 149 | - | 482 | 911 | 0 | 0 | 0 |7019 | 0 | 0.000000e+00 | -- | Inf
59.07/59.14 c 55.5s|210000 |131472 | 0 | 0.0 | 81M| 149 | - | 482 | 930 | 0 | 0 | 0 |7563 | 0 | 0.000000e+00 | -- | Inf
61.96/62.01 c 58.2s|220000 |137554 | 0 | 0.0 | 85M| 149 | - | 482 | 876 | 0 | 0 | 0 |7948 | 0 | 0.000000e+00 | -- | Inf
64.88/64.98 c 61.0s|230000 |143410 | 0 | 0.0 | 88M| 149 | - | 482 | 863 | 0 | 0 | 0 |8411 | 0 | 0.000000e+00 | -- | Inf
67.96/68.05 c 63.9s|240000 |148809 | 0 | 0.0 | 92M| 149 | - | 482 | 940 | 0 | 0 | 0 |8966 | 0 | 0.000000e+00 | -- | Inf
71.06/71.14 c 66.8s|250000 |154215 | 0 | 0.0 | 95M| 149 | - | 482 | 881 | 0 | 0 | 0 |9486 | 0 | 0.000000e+00 | -- | Inf
74.06/74.19 c 69.7s|260000 |159633 | 0 | 0.0 | 99M| 149 | - | 482 | 889 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
77.36/77.42 c 72.7s|270000 |164733 | 0 | 0.0 | 102M| 149 | - | 482 | 905 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
80.36/80.42 c 75.5s|280000 |170527 | 0 | 0.0 | 106M| 149 | - | 482 | 887 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
83.36/83.49 c 78.4s|290000 |176101 | 0 | 0.0 | 109M| 149 | - | 482 | 945 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
86.56/86.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.56/86.63 c 81.4s|300000 |181306 | 0 | 0.0 | 113M| 149 | - | 482 | 889 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
89.65/89.75 c 84.3s|310000 |186695 | 0 | 0.0 | 116M| 149 | - | 482 | 931 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
92.75/92.86 c 87.2s|320000 |191751 | 0 | 0.0 | 120M| 149 | - | 482 | 915 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
95.85/95.98 c 90.2s|330000 |197126 | 0 | 0.0 | 123M| 149 | - | 482 | 866 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
99.15/99.22 c 93.2s|340000 |202069 | 0 | 0.0 | 126M| 149 | - | 482 | 890 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
102.26/102.37 c 96.2s|350000 |207220 | 0 | 0.0 | 129M| 149 | - | 482 | 877 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
105.46/105.59 c 99.2s|360000 |212260 | 0 | 0.0 | 133M| 149 | - | 482 | 889 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
108.65/108.71 c 102s|370000 |217352 | 0 | 0.0 | 136M| 149 | - | 482 | 914 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
111.84/111.91 c 105s|380000 |222217 | 0 | 0.0 | 139M| 149 | - | 482 | 886 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
114.94/115.02 c 108s|390000 |227183 | 0 | 0.0 | 143M| 149 | - | 482 | 878 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
118.14/118.20 c 111s|400000 |232210 | 0 | 0.0 | 146M| 149 | - | 482 | 857 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
121.34/121.45 c 114s|410000 |236879 | 0 | 0.0 | 149M| 149 | - | 482 | 910 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
124.44/124.56 c 117s|420000 |242017 | 0 | 0.0 | 152M| 149 | - | 482 | 835 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
127.73/127.84 c 120s|430000 |246730 | 0 | 0.0 | 156M| 149 | - | 482 | 925 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
131.03/131.11 c 123s|440000 |251609 | 0 | 0.0 | 159M| 149 | - | 482 | 889 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
134.43/134.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.43/134.54 c 126s|450000 |256077 | 0 | 0.0 | 162M| 149 | - | 482 | 856 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
137.63/137.72 c 129s|460000 |261111 | 0 | 0.0 | 165M| 149 | - | 482 | 885 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
140.93/141.03 c 133s|470000 |265674 | 0 | 0.0 | 168M| 149 | - | 482 | 823 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
144.23/144.31 c 136s|480000 |270389 | 0 | 0.0 | 172M| 149 | - | 482 | 878 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
147.43/147.54 c 139s|490000 |275395 | 0 | 0.0 | 175M| 149 | - | 482 | 861 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
150.73/150.89 c 142s|500000 |279784 | 0 | 0.0 | 178M| 149 | - | 482 | 852 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
154.02/154.17 c 145s|510000 |284721 | 0 | 0.0 | 181M| 149 | - | 482 | 849 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
157.42/157.57 c 148s|520000 |289053 | 0 | 0.0 | 184M| 149 | - | 482 | 862 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
160.72/160.82 c 151s|530000 |293867 | 0 | 0.0 | 187M| 149 | - | 482 | 851 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
164.01/164.10 c 154s|540000 |298582 | 0 | 0.0 | 190M| 149 | - | 482 | 850 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
167.52/167.64 c 158s|550000 |302787 | 0 | 0.0 | 193M| 149 | - | 482 | 840 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
170.81/170.95 c 161s|560000 |307409 | 0 | 0.0 | 196M| 149 | - | 482 | 853 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
174.22/174.33 c 164s|570000 |311827 | 0 | 0.0 | 199M| 149 | - | 482 | 862 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
177.61/177.75 c 167s|580000 |316122 | 0 | 0.0 | 202M| 149 | - | 482 | 851 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
180.91/181.07 c 170s|590000 |320683 | 0 | 0.0 | 205M| 149 | - | 482 | 831 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
184.51/184.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
184.51/184.61 c 174s|600000 |324886 | 0 | 0.0 | 208M| 149 | - | 482 | 879 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
188.02/188.13 c 177s|610000 |329040 | 0 | 0.0 | 211M| 149 | - | 482 | 854 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
191.41/191.50 c 180s|620000 |333495 | 0 | 0.0 | 214M| 149 | - | 482 | 816 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
194.70/194.81 c 183s|630000 |338201 | 0 | 0.0 | 217M| 149 | - | 482 | 817 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
198.10/198.28 c 187s|640000 |342506 | 0 | 0.0 | 220M| 149 | - | 482 | 852 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
201.60/201.74 c 190s|650000 |346754 | 0 | 0.0 | 223M| 149 | - | 482 | 809 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
205.10/205.22 c 193s|660000 |351116 | 0 | 0.0 | 226M| 149 | - | 482 | 824 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
208.40/208.58 c 197s|670000 |355715 | 0 | 0.0 | 229M| 149 | - | 482 | 828 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
211.90/212.07 c 200s|680000 |360047 | 0 | 0.0 | 232M| 149 | - | 482 | 808 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
215.29/215.45 c 203s|690000 |364787 | 0 | 0.0 | 235M| 149 | - | 482 | 818 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
218.70/218.82 c 206s|700000 |369543 | 0 | 0.0 | 238M| 149 | - | 482 | 822 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
222.10/222.24 c 209s|710000 |374165 | 0 | 0.0 | 241M| 149 | - | 482 | 816 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
225.40/225.53 c 213s|720000 |379297 | 0 | 0.0 | 244M| 149 | - | 482 | 807 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
228.50/228.67 c 216s|730000 |384455 | 0 | 0.0 | 247M| 149 | - | 482 | 808 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
231.79/231.98 c 219s|740000 |389323 | 0 | 0.0 | 250M| 149 | - | 482 | 815 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
235.09/235.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
235.09/235.24 c 222s|750000 |394439 | 0 | 0.0 | 253M| 149 | - | 482 | 813 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
238.39/238.53 c 225s|760000 |399374 | 0 | 0.0 | 256M| 149 | - | 482 | 817 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
241.79/241.90 c 228s|770000 |404385 | 0 | 0.0 | 259M| 149 | - | 482 | 787 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
244.99/245.14 c 231s|780000 |409545 | 0 | 0.0 | 262M| 149 | - | 482 | 810 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
248.29/248.42 c 234s|790000 |414742 | 0 | 0.0 | 265M| 149 | - | 482 | 799 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
251.48/251.68 c 237s|800000 |419851 | 0 | 0.0 | 268M| 149 | - | 482 | 805 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
254.88/255.03 c 240s|810000 |424864 | 0 | 0.0 | 271M| 149 | - | 482 | 784 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
258.18/258.30 c 244s|820000 |430038 | 0 | 0.0 | 274M| 149 | - | 482 | 782 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
261.39/261.59 c 247s|830000 |435332 | 0 | 0.0 | 278M| 149 | - | 482 | 790 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
264.78/264.99 c 250s|840000 |440170 | 0 | 0.0 | 281M| 149 | - | 482 | 781 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
268.08/268.27 c 253s|850000 |445169 | 0 | 0.0 | 284M| 149 | - | 482 | 785 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
270.68/270.85 c 255s|860000 |451422 | 0 | 0.0 | 287M| 149 | - | 482 | 788 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
273.48/273.60 c 258s|870000 |457988 | 0 | 0.0 | 291M| 160 | - | 482 | 816 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
275.89/276.10 c 260s|880000 |465604 | 0 | 0.0 | 294M| 160 | - | 482 | 822 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
278.48/278.69 c 263s|890000 |472920 | 0 | 0.0 | 298M| 160 | - | 482 | 884 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
281.17/281.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
281.17/281.31 c 265s|900000 |480129 | 0 | 0.0 | 302M| 160 | - | 482 | 885 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
283.87/284.03 c 268s|910000 |487225 | 0 | 0.0 | 306M| 160 | - | 482 |1026 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
286.77/286.95 c 271s|920000 |493492 | 0 | 0.0 | 310M| 160 | - | 482 |1028 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
289.57/289.70 c 273s|930000 |500105 | 0 | 0.0 | 314M| 160 | - | 482 | 933 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
292.18/292.30 c 276s|940000 |507340 | 0 | 0.0 | 318M| 160 | - | 482 | 871 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
294.87/295.01 c 278s|950000 |514144 | 0 | 0.0 | 322M| 160 | - | 482 | 917 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
297.47/297.69 c 281s|960000 |521127 | 0 | 0.0 | 326M| 160 | - | 482 | 878 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
300.07/300.27 c 283s|970000 |528277 | 0 | 0.0 | 330M| 160 | - | 482 | 950 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
302.77/302.93 c 286s|980000 |535578 | 0 | 0.0 | 334M| 160 | - | 482 | 868 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
305.46/305.60 c 288s|990000 |542463 | 0 | 0.0 | 338M| 160 | - | 482 | 946 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
308.27/308.48 c 291s| 1000k|548792 | 0 | 0.0 | 342M| 160 | - | 482 | 943 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
311.17/311.36 c 294s| 1010k|555266 | 0 | 0.0 | 346M| 160 | - | 482 |1016 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
314.16/314.31 c 296s| 1020k|561557 | 0 | 0.0 | 350M| 160 | - | 482 | 987 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
316.97/317.10 c 299s| 1030k|568257 | 0 | 0.0 | 354M| 160 | - | 482 | 951 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
319.67/319.85 c 301s| 1040k|574896 | 0 | 0.0 | 358M| 160 | - | 482 | 910 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
322.56/322.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
322.56/322.72 c 304s| 1050k|581370 | 0 | 0.0 | 362M| 160 | - | 482 | 900 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
325.47/325.62 c 307s| 1060k|587731 | 0 | 0.0 | 366M| 160 | - | 482 | 972 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
328.26/328.49 c 310s| 1070k|594190 | 0 | 0.0 | 370M| 160 | - | 482 | 968 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
331.16/331.39 c 312s| 1080k|600382 | 0 | 0.0 | 374M| 160 | - | 482 | 945 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
334.16/334.35 c 315s| 1090k|606431 | 0 | 0.0 | 377M| 160 | - | 482 | 974 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
337.06/337.27 c 318s| 1100k|612986 | 0 | 0.0 | 381M| 160 | - | 482 |1061 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
340.15/340.33 c 321s| 1110k|618954 | 0 | 0.0 | 385M| 160 | - | 482 |1011 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
343.16/343.38 c 324s| 1120k|624987 | 0 | 0.0 | 389M| 160 | - | 482 |1023 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
346.05/346.29 c 326s| 1130k|631305 | 0 | 0.0 | 393M| 160 | - | 482 | 933 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
349.05/349.23 c 329s| 1140k|637433 | 0 | 0.0 | 397M| 160 | - | 482 | 959 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
352.15/352.36 c 332s| 1150k|643031 | 0 | 0.0 | 401M| 160 | - | 482 |1081 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
355.16/355.39 c 335s| 1160k|649027 | 0 | 0.0 | 405M| 160 | - | 482 |1007 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
358.05/358.27 c 338s| 1170k|655340 | 0 | 0.0 | 409M| 160 | - | 482 | 952 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
361.04/361.23 c 340s| 1180k|661736 | 0 | 0.0 | 413M| 160 | - | 482 |1012 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
364.15/364.35 c 343s| 1190k|667409 | 0 | 0.0 | 417M| 160 | - | 482 |1011 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
367.05/367.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
367.05/367.21 c 346s| 1200k|673794 | 0 | 0.0 | 421M| 160 | - | 482 | 967 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
370.14/370.30 c 349s| 1210k|679698 | 0 | 0.0 | 425M| 160 | - | 482 |1024 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
373.04/373.28 c 352s| 1220k|686086 | 0 | 0.0 | 429M| 160 | - | 482 |1005 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
376.34/376.59 c 355s| 1230k|691518 | 0 | 0.0 | 433M| 160 | - | 482 |1019 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
379.64/379.85 c 358s| 1240k|697030 | 0 | 0.0 | 437M| 160 | - | 482 |1038 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
382.84/383.06 c 361s| 1250k|702716 | 0 | 0.0 | 441M| 160 | - | 482 | 980 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
385.95/386.16 c 364s| 1260k|708427 | 0 | 0.0 | 445M| 160 | - | 482 |1005 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
389.04/389.20 c 367s| 1270k|714556 | 0 | 0.0 | 449M| 160 | - | 482 |1025 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
392.04/392.21 c 370s| 1280k|720858 | 0 | 0.0 | 453M| 160 | - | 482 | 993 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
395.03/395.22 c 372s| 1290k|726657 | 0 | 0.0 | 456M| 160 | - | 482 | 972 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
397.94/398.14 c 375s| 1300k|732948 | 0 | 0.0 | 460M| 160 | - | 482 | 969 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
401.03/401.21 c 378s| 1310k|738713 | 0 | 0.0 | 464M| 160 | - | 482 | 955 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
403.94/404.15 c 381s| 1320k|744938 | 0 | 0.0 | 468M| 160 | - | 482 | 933 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
406.93/407.19 c 384s| 1330k|750858 | 0 | 0.0 | 472M| 160 | - | 482 | 944 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
409.83/410.08 c 386s| 1340k|757282 | 0 | 0.0 | 476M| 160 | - | 482 | 989 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
413.03/413.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
413.03/413.25 c 389s| 1350k|763001 | 0 | 0.0 | 479M| 160 | - | 482 | 971 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
416.23/416.42 c 392s| 1360k|768735 | 0 | 0.0 | 483M| 160 | - | 482 |1046 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
419.43/419.65 c 395s| 1370k|774552 | 0 | 0.0 | 487M| 160 | - | 482 |1037 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
422.62/422.88 c 399s| 1380k|780137 | 0 | 0.0 | 491M| 160 | - | 482 |1014 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
425.82/426.05 c 402s| 1390k|785625 | 0 | 0.0 | 495M| 160 | - | 482 |1019 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
429.12/429.32 c 405s| 1400k|791196 | 0 | 0.0 | 499M| 160 | - | 482 |1028 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
432.32/432.51 c 408s| 1410k|796939 | 0 | 0.0 | 503M| 160 | - | 482 |1029 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
435.43/435.68 c 411s| 1420k|802490 | 0 | 0.0 | 506M| 160 | - | 482 | 974 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
438.42/438.69 c 413s| 1430k|808486 | 0 | 0.0 | 510M| 160 | - | 482 | 961 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
441.51/441.75 c 416s| 1440k|814367 | 0 | 0.0 | 514M| 160 | - | 482 | 947 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
444.41/444.68 c 419s| 1450k|820579 | 0 | 0.0 | 518M| 160 | - | 482 | 958 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
447.52/447.71 c 422s| 1460k|826429 | 0 | 0.0 | 522M| 160 | - | 482 | 985 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
450.41/450.69 c 425s| 1470k|832426 | 0 | 0.0 | 526M| 160 | - | 482 | 942 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
453.51/453.73 c 428s| 1480k|838451 | 0 | 0.0 | 529M| 160 | - | 482 | 964 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
456.61/456.83 c 430s| 1490k|844419 | 0 | 0.0 | 533M| 160 | - | 482 |1005 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
459.51/459.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
459.51/459.72 c 433s| 1500k|850576 | 0 | 0.0 | 537M| 160 | - | 482 | 926 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
462.51/462.73 c 436s| 1510k|856654 | 0 | 0.0 | 540M| 160 | - | 482 | 979 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
465.50/465.76 c 439s| 1520k|862717 | 0 | 0.0 | 544M| 160 | - | 482 | 953 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
468.51/468.74 c 442s| 1530k|868712 | 0 | 0.0 | 548M| 160 | - | 482 | 945 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
471.50/471.76 c 445s| 1540k|874642 | 0 | 0.0 | 551M| 160 | - | 482 | 945 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
474.40/474.65 c 447s| 1550k|880870 | 0 | 0.0 | 555M| 160 | - | 482 | 897 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
477.50/477.73 c 450s| 1560k|886679 | 0 | 0.0 | 559M| 160 | - | 482 | 944 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
480.41/480.69 c 453s| 1570k|892830 | 0 | 0.0 | 563M| 160 | - | 482 | 932 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
483.50/483.72 c 456s| 1580k|899003 | 0 | 0.0 | 566M| 160 | - | 482 | 943 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
486.49/486.78 c 459s| 1590k|904822 | 0 | 0.0 | 570M| 160 | - | 482 | 940 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
489.60/489.81 c 462s| 1600k|910649 | 0 | 0.0 | 574M| 160 | - | 482 | 936 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
492.69/492.92 c 465s| 1610k|916264 | 0 | 0.0 | 577M| 160 | - | 482 | 970 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
495.69/495.90 c 467s| 1620k|922475 | 0 | 0.0 | 581M| 160 | - | 482 | 949 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
498.80/499.02 c 470s| 1630k|928153 | 0 | 0.0 | 585M| 160 | - | 482 | 937 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
501.80/502.08 c 473s| 1640k|933994 | 0 | 0.0 | 588M| 160 | - | 482 | 940 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
504.79/505.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
504.79/505.00 c 476s| 1650k|939992 | 0 | 0.0 | 592M| 160 | - | 482 | 933 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
507.89/508.10 c 479s| 1660k|945657 | 0 | 0.0 | 596M| 160 | - | 482 |1003 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
510.99/511.21 c 482s| 1670k|951627 | 0 | 0.0 | 599M| 160 | - | 482 | 961 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
513.99/514.23 c 485s| 1680k|957524 | 0 | 0.0 | 603M| 160 | - | 482 | 948 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
517.08/517.34 c 488s| 1690k|963066 | 0 | 0.0 | 606M| 160 | - | 482 | 935 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
520.19/520.43 c 490s| 1700k|968710 | 0 | 0.0 | 610M| 160 | - | 482 | 990 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
523.29/523.54 c 493s| 1710k|974322 | 0 | 0.0 | 614M| 160 | - | 482 | 998 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
526.29/526.57 c 496s| 1720k|980297 | 0 | 0.0 | 617M| 160 | - | 482 | 947 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
529.29/529.58 c 499s| 1730k|986319 | 0 | 0.0 | 621M| 160 | - | 482 | 936 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
532.29/532.55 c 502s| 1740k|992541 | 0 | 0.0 | 625M| 160 | - | 482 |1000 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
535.58/535.80 c 505s| 1750k|998168 | 0 | 0.0 | 629M| 160 | - | 482 | 978 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
538.68/538.95 c 508s| 1760k| 1003k| 0 | 0.0 | 632M| 160 | - | 482 | 966 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
541.68/541.98 c 511s| 1770k| 1009k| 0 | 0.0 | 636M| 160 | - | 482 | 925 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
544.98/545.20 c 514s| 1780k| 1015k| 0 | 0.0 | 640M| 160 | - | 482 |1067 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
548.28/548.50 c 517s| 1790k| 1021k| 0 | 0.0 | 644M| 160 | - | 482 |1067 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
551.68/551.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
551.68/551.97 c 520s| 1800k| 1026k| 0 | 0.0 | 648M| 160 | - | 482 |1096 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
554.98/555.20 c 523s| 1810k| 1031k| 0 | 0.0 | 652M| 160 | - | 482 |1047 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
557.97/558.21 c 526s| 1820k| 1037k| 0 | 0.0 | 656M| 160 | - | 482 |1024 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
561.37/561.66 c 529s| 1830k| 1043k| 0 | 0.0 | 659M| 160 | - | 482 |1048 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
564.47/564.73 c 532s| 1840k| 1048k| 0 | 0.0 | 663M| 160 | - | 482 | 937 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
567.47/567.79 c 535s| 1850k| 1054k| 0 | 0.0 | 666M| 160 | - | 482 | 935 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
570.68/570.96 c 538s| 1860k| 1060k| 0 | 0.0 | 670M| 160 | - | 482 | 955 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
573.67/573.96 c 541s| 1870k| 1066k| 0 | 0.0 | 674M| 160 | - | 482 | 916 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
576.56/576.88 c 544s| 1880k| 1072k| 0 | 0.0 | 677M| 160 | - | 482 | 910 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
579.57/579.89 c 547s| 1890k| 1078k| 0 | 0.0 | 681M| 160 | - | 482 | 960 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
582.56/582.82 c 549s| 1900k| 1084k| 0 | 0.0 | 685M| 160 | - | 482 |1000 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
585.77/586.00 c 552s| 1910k| 1090k| 0 | 0.0 | 688M| 160 | - | 482 | 921 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
588.76/589.01 c 555s| 1920k| 1096k| 0 | 0.0 | 692M| 160 | - | 482 | 946 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
591.97/592.25 c 558s| 1930k| 1101k| 0 | 0.0 | 696M| 160 | - | 482 |1033 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
595.26/595.56 c 562s| 1940k| 1106k| 0 | 0.0 | 699M| 160 | - | 482 | 966 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
598.46/598.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
598.46/598.71 c 564s| 1950k| 1112k| 0 | 0.0 | 702M| 160 | - | 482 | 986 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
601.47/601.73 c 567s| 1960k| 1118k| 0 | 0.0 | 706M| 160 | - | 482 | 977 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
604.56/604.85 c 570s| 1970k| 1123k| 0 | 0.0 | 709M| 160 | - | 482 | 936 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
607.66/607.97 c 573s| 1980k| 1129k| 0 | 0.0 | 713M| 160 | - | 482 | 937 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
610.76/611.07 c 576s| 1990k| 1135k| 0 | 0.0 | 716M| 160 | - | 482 | 946 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
613.86/614.19 c 579s| 2000k| 1140k| 0 | 0.0 | 720M| 160 | - | 482 | 944 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
616.95/617.29 c 582s| 2010k| 1146k| 0 | 0.0 | 723M| 160 | - | 482 | 940 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
620.06/620.38 c 585s| 2020k| 1152k| 0 | 0.0 | 727M| 160 | - | 482 | 955 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
623.25/623.53 c 588s| 2030k| 1158k| 0 | 0.0 | 731M| 160 | - | 482 | 947 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
626.36/626.69 c 591s| 2040k| 1163k| 0 | 0.0 | 734M| 160 | - | 482 | 972 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
629.56/629.84 c 594s| 2050k| 1169k| 0 | 0.0 | 738M| 160 | - | 482 | 972 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
632.65/632.95 c 597s| 2060k| 1175k| 0 | 0.0 | 741M| 160 | - | 482 | 920 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
635.85/636.14 c 600s| 2070k| 1180k| 0 | 0.0 | 745M| 160 | - | 482 | 940 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
639.14/639.41 c 603s| 2080k| 1186k| 0 | 0.0 | 748M| 160 | - | 482 | 994 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
642.45/642.70 c 606s| 2090k| 1191k| 0 | 0.0 | 752M| 160 | - | 482 | 985 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
645.65/645.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
645.65/645.92 c 609s| 2100k| 1196k| 0 | 0.0 | 755M| 160 | - | 482 | 978 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
648.75/649.01 c 612s| 2110k| 1202k| 0 | 0.0 | 759M| 160 | - | 482 | 969 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
651.75/652.04 c 615s| 2120k| 1208k| 0 | 0.0 | 762M| 160 | - | 482 | 969 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
654.84/655.19 c 618s| 2130k| 1214k| 0 | 0.0 | 766M| 160 | - | 482 |1017 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
658.14/658.49 c 621s| 2140k| 1219k| 0 | 0.0 | 769M| 160 | - | 482 | 949 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
661.24/661.53 c 624s| 2150k| 1225k| 0 | 0.0 | 773M| 160 | - | 482 | 997 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
664.34/664.69 c 627s| 2160k| 1231k| 0 | 0.0 | 776M| 160 | - | 482 | 969 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
667.54/667.86 c 630s| 2170k| 1236k| 0 | 0.0 | 780M| 160 | - | 482 | 989 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
670.84/671.13 c 633s| 2180k| 1242k| 0 | 0.0 | 783M| 160 | - | 482 | 972 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
674.05/674.32 c 636s| 2190k| 1247k| 0 | 0.0 | 787M| 160 | - | 482 | 934 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
677.14/677.46 c 639s| 2200k| 1253k| 0 | 0.0 | 790M| 160 | - | 482 | 929 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
680.34/680.67 c 642s| 2210k| 1258k| 0 | 0.0 | 794M| 160 | - | 482 | 943 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
683.63/683.97 c 645s| 2220k| 1264k| 0 | 0.0 | 797M| 160 | - | 482 | 965 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
686.93/687.27 c 648s| 2230k| 1269k| 0 | 0.0 | 801M| 160 | - | 482 |1001 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
690.14/690.43 c 651s| 2240k| 1274k| 0 | 0.0 | 804M| 160 | - | 482 | 968 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
693.43/693.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
693.43/693.71 c 654s| 2250k| 1280k| 0 | 0.0 | 808M| 160 | - | 482 |1031 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
696.63/696.90 c 657s| 2260k| 1285k| 0 | 0.0 | 811M| 160 | - | 482 | 956 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
699.83/700.17 c 660s| 2270k| 1290k| 0 | 0.0 | 815M| 160 | - | 482 | 988 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
703.03/703.33 c 663s| 2280k| 1296k| 0 | 0.0 | 818M| 160 | - | 482 | 969 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
706.13/706.44 c 666s| 2290k| 1302k| 0 | 0.0 | 821M| 160 | - | 482 | 982 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
709.43/709.76 c 669s| 2300k| 1307k| 0 | 0.0 | 825M| 160 | - | 482 | 969 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
712.72/713.03 c 672s| 2310k| 1313k| 0 | 0.0 | 828M| 160 | - | 482 |1019 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
716.02/716.33 c 676s| 2320k| 1318k| 0 | 0.0 | 832M| 160 | - | 482 | 965 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
719.33/719.61 c 679s| 2330k| 1323k| 0 | 0.0 | 835M| 160 | - | 482 |1005 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
722.52/722.83 c 682s| 2340k| 1329k| 0 | 0.0 | 838M| 160 | - | 482 | 940 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
725.63/725.90 c 685s| 2350k| 1334k| 0 | 0.0 | 842M| 160 | - | 482 | 936 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
728.72/729.09 c 688s| 2360k| 1340k| 0 | 0.0 | 846M| 160 | - | 482 | 975 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
732.02/732.37 c 691s| 2370k| 1345k| 0 | 0.0 | 849M| 160 | - | 482 | 947 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
735.22/735.54 c 694s| 2380k| 1351k| 0 | 0.0 | 852M| 160 | - | 482 | 951 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
738.52/738.88 c 697s| 2390k| 1356k| 0 | 0.0 | 856M| 160 | - | 482 |1023 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
741.71/742.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
741.71/742.09 c 700s| 2400k| 1361k| 0 | 0.0 | 859M| 160 | - | 482 | 960 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
745.01/745.34 c 703s| 2410k| 1367k| 0 | 0.0 | 863M| 160 | - | 482 | 985 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
748.22/748.53 c 706s| 2420k| 1372k| 0 | 0.0 | 866M| 160 | - | 482 | 987 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
751.41/751.78 c 709s| 2430k| 1378k| 0 | 0.0 | 870M| 160 | - | 482 | 996 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
754.61/754.92 c 712s| 2440k| 1383k| 0 | 0.0 | 873M| 160 | - | 482 | 939 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
757.90/758.27 c 715s| 2450k| 1388k| 0 | 0.0 | 877M| 160 | - | 482 | 949 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
761.21/761.57 c 718s| 2460k| 1394k| 0 | 0.0 | 880M| 160 | - | 482 | 982 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
764.50/764.84 c 721s| 2470k| 1399k| 0 | 0.0 | 884M| 160 | - | 482 | 945 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
767.80/768.10 c 724s| 2480k| 1405k| 0 | 0.0 | 887M| 160 | - | 482 | 949 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
771.10/771.43 c 728s| 2490k| 1410k| 0 | 0.0 | 890M| 160 | - | 482 | 966 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
774.49/774.82 c 731s| 2500k| 1415k| 0 | 0.0 | 894M| 160 | - | 482 | 959 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
777.70/778.09 c 734s| 2510k| 1420k| 0 | 0.0 | 897M| 160 | - | 482 | 976 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
781.00/781.34 c 737s| 2520k| 1426k| 0 | 0.0 | 900M| 160 | - | 482 | 943 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
784.29/784.60 c 740s| 2530k| 1431k| 0 | 0.0 | 904M| 160 | - | 482 | 925 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
787.40/787.76 c 743s| 2540k| 1437k| 0 | 0.0 | 908M| 160 | - | 482 | 931 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
790.60/790.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
790.60/790.94 c 746s| 2550k| 1443k| 0 | 0.0 | 911M| 160 | - | 482 | 974 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
793.99/794.36 c 749s| 2560k| 1448k| 0 | 0.0 | 915M| 160 | - | 482 | 989 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
797.29/797.69 c 752s| 2570k| 1453k| 0 | 0.0 | 918M| 160 | - | 482 | 987 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
800.68/801.06 c 756s| 2580k| 1458k| 0 | 0.0 | 921M| 160 | - | 482 | 971 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
803.98/804.31 c 759s| 2590k| 1463k| 0 | 0.0 | 925M| 160 | - | 482 | 982 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
807.18/807.55 c 762s| 2600k| 1469k| 0 | 0.0 | 928M| 160 | - | 482 | 921 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
810.48/810.87 c 765s| 2610k| 1474k| 0 | 0.0 | 932M| 160 | - | 482 | 955 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
813.78/814.10 c 768s| 2620k| 1479k| 0 | 0.0 | 935M| 160 | - | 482 | 961 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
816.89/817.24 c 771s| 2630k| 1485k| 0 | 0.0 | 939M| 160 | - | 482 | 968 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
820.08/820.43 c 774s| 2640k| 1491k| 0 | 0.0 | 942M| 160 | - | 482 | 918 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
823.27/823.68 c 777s| 2650k| 1496k| 0 | 0.0 | 945M| 160 | - | 482 | 979 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
826.68/827.02 c 780s| 2660k| 1501k| 0 | 0.0 | 949M| 160 | - | 482 | 963 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
829.77/830.18 c 783s| 2670k| 1507k| 0 | 0.0 | 952M| 160 | - | 482 | 925 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
833.07/833.45 c 786s| 2680k| 1512k| 0 | 0.0 | 956M| 160 | - | 482 | 942 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
836.27/836.62 c 789s| 2690k| 1518k| 0 | 0.0 | 959M| 160 | - | 482 |1013 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
839.57/839.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
839.57/839.93 c 792s| 2700k| 1524k| 0 | 0.0 | 963M| 160 | - | 482 | 975 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
842.68/843.06 c 795s| 2710k| 1529k| 0 | 0.0 | 966M| 160 | - | 482 | 935 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
845.87/846.29 c 798s| 2720k| 1535k| 0 | 0.0 | 970M| 160 | - | 482 | 985 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
849.28/849.60 c 802s| 2730k| 1540k| 0 | 0.0 | 973M| 160 | - | 482 | 982 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
852.47/852.86 c 805s| 2740k| 1545k| 0 | 0.0 | 976M| 160 | - | 482 | 946 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
855.77/856.13 c 808s| 2750k| 1550k| 0 | 0.0 | 980M| 160 | - | 482 | 996 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
859.07/859.45 c 811s| 2760k| 1555k| 0 | 0.0 | 983M| 160 | - | 482 | 978 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
862.36/862.76 c 814s| 2770k| 1560k| 0 | 0.0 | 986M| 160 | - | 482 | 973 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
865.66/866.05 c 817s| 2780k| 1566k| 0 | 0.0 | 990M| 160 | - | 482 | 979 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
869.06/869.42 c 820s| 2790k| 1571k| 0 | 0.0 | 993M| 160 | - | 482 | 993 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
872.47/872.83 c 823s| 2800k| 1576k| 0 | 0.0 | 996M| 160 | - | 482 | 954 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
875.76/876.10 c 827s| 2810k| 1581k| 0 | 0.0 | 999M| 160 | - | 482 | 919 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
879.06/879.45 c 830s| 2820k| 1586k| 0 | 0.0 |1003M| 160 | - | 482 | 977 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
882.36/882.72 c 833s| 2830k| 1592k| 0 | 0.0 |1006M| 160 | - | 482 | 985 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
885.76/886.13 c 836s| 2840k| 1596k| 0 | 0.0 |1010M| 160 | - | 482 | 964 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
888.95/889.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
888.95/889.36 c 839s| 2850k| 1602k| 0 | 0.0 |1013M| 160 | - | 482 | 954 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
892.25/892.61 c 842s| 2860k| 1607k| 0 | 0.0 |1016M| 160 | - | 482 | 944 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
895.45/895.86 c 845s| 2870k| 1613k| 0 | 0.0 |1019M| 160 | - | 482 | 948 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
898.75/899.16 c 848s| 2880k| 1618k| 0 | 0.0 |1023M| 160 | - | 482 | 944 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
902.06/902.47 c 852s| 2890k| 1623k| 0 | 0.0 |1026M| 160 | - | 482 | 938 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
905.46/905.82 c 855s| 2900k| 1628k| 0 | 0.0 |1030M| 160 | - | 482 | 970 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
908.85/909.24 c 858s| 2910k| 1634k| 0 | 0.0 |1033M| 160 | - | 482 | 970 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
912.15/912.51 c 861s| 2920k| 1639k| 0 | 0.0 |1036M| 160 | - | 482 | 982 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
915.45/915.87 c 864s| 2930k| 1644k| 0 | 0.0 |1040M| 160 | - | 482 | 968 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
918.95/919.32 c 867s| 2940k| 1649k| 0 | 0.0 |1043M| 160 | - | 482 | 943 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
922.35/922.72 c 871s| 2950k| 1654k| 0 | 0.0 |1046M| 160 | - | 482 | 955 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
925.75/926.15 c 874s| 2960k| 1659k| 0 | 0.0 |1049M| 160 | - | 482 | 971 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
929.15/929.56 c 877s| 2970k| 1664k| 0 | 0.0 |1053M| 160 | - | 482 | 988 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
932.54/932.97 c 880s| 2980k| 1669k| 0 | 0.0 |1056M| 160 | - | 482 | 999 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
935.94/936.33 c 884s| 2990k| 1674k| 0 | 0.0 |1059M| 160 | - | 482 | 974 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
939.24/939.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
939.24/939.68 c 887s| 3000k| 1679k| 0 | 0.0 |1062M| 160 | - | 482 | 954 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
942.64/943.09 c 890s| 3010k| 1684k| 0 | 0.0 |1066M| 160 | - | 482 | 972 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
946.04/946.40 c 893s| 3020k| 1689k| 0 | 0.0 |1069M| 160 | - | 482 | 962 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
949.24/949.66 c 896s| 3030k| 1695k| 0 | 0.0 |1072M| 160 | - | 482 | 930 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
952.44/952.89 c 899s| 3040k| 1700k| 0 | 0.0 |1076M| 160 | - | 482 | 934 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
955.83/956.24 c 902s| 3050k| 1705k| 0 | 0.0 |1079M| 160 | - | 482 | 981 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
959.23/959.67 c 906s| 3060k| 1711k| 0 | 0.0 |1082M| 160 | - | 482 | 960 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
962.63/963.08 c 909s| 3070k| 1716k| 0 | 0.0 |1086M| 160 | - | 482 | 970 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
966.13/966.54 c 912s| 3080k| 1721k| 0 | 0.0 |1089M| 160 | - | 482 |1005 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
969.43/969.85 c 915s| 3090k| 1726k| 0 | 0.0 |1092M| 160 | - | 482 | 937 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
972.73/973.19 c 918s| 3100k| 1731k| 0 | 0.0 |1095M| 160 | - | 482 | 965 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
976.13/976.52 c 922s| 3110k| 1736k| 0 | 0.0 |1099M| 160 | - | 482 | 978 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
979.53/979.99 c 925s| 3120k| 1741k| 0 | 0.0 |1102M| 160 | - | 482 |1001 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
982.93/983.30 c 928s| 3130k| 1747k| 0 | 0.0 |1105M| 160 | - | 482 | 933 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
986.43/986.81 c 931s| 3140k| 1751k| 0 | 0.0 |1109M| 160 | - | 482 | 968 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
989.72/990.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
989.72/990.15 c 934s| 3150k| 1756k| 0 | 0.0 |1112M| 160 | - | 482 | 964 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
993.12/993.52 c 938s| 3160k| 1761k| 0 | 0.0 |1115M| 160 | - | 482 | 992 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
996.61/997.00 c 941s| 3170k| 1766k| 0 | 0.0 |1119M| 160 | - | 482 | 997 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
999.81/1000.29 c 944s| 3180k| 1771k| 0 | 0.0 |1122M| 160 | - | 482 | 941 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
1003.21/1003.68 c 947s| 3190k| 1776k| 0 | 0.0 |1125M| 160 | - | 482 | 926 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
1006.82/1007.22 c 951s| 3200k| 1781k| 0 | 0.0 |1128M| 160 | - | 482 | 976 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
1010.21/1010.62 c 954s| 3210k| 1786k| 0 | 0.0 |1132M| 160 | - | 482 | 921 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
1013.62/1014.03 c 957s| 3220k| 1791k| 0 | 0.0 |1135M| 160 | - | 482 | 951 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
1016.91/1017.35 c 960s| 3230k| 1796k| 0 | 0.0 |1138M| 160 | - | 482 | 930 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
1020.21/1020.60 c 963s| 3240k| 1802k| 0 | 0.0 |1141M| 160 | - | 482 | 942 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
1023.52/1023.97 c 967s| 3250k| 1807k| 0 | 0.0 |1145M| 160 | - | 482 | 994 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
1026.91/1027.35 c 970s| 3260k| 1812k| 0 | 0.0 |1148M| 160 | - | 482 | 986 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
1030.32/1030.71 c 973s| 3270k| 1817k| 0 | 0.0 |1151M| 160 | - | 482 | 956 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
1033.62/1034.06 c 976s| 3280k| 1822k| 0 | 0.0 |1155M| 160 | - | 482 | 974 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
1036.92/1037.33 c 979s| 3290k| 1828k| 0 | 0.0 |1158M| 160 | - | 482 | 950 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
1040.30/1040.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1040.30/1040.71 c 982s| 3300k| 1833k| 0 | 0.0 |1161M| 160 | - | 482 | 969 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
1043.60/1044.04 c 986s| 3310k| 1838k| 0 | 0.0 |1164M| 160 | - | 482 | 957 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
1046.91/1047.32 c 989s| 3320k| 1843k| 0 | 0.0 |1168M| 160 | - | 482 | 930 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
1050.30/1050.76 c 992s| 3330k| 1848k| 0 | 0.0 |1171M| 160 | - | 482 | 948 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
1053.80/1054.23 c 995s| 3340k| 1853k| 0 | 0.0 |1174M| 160 | - | 482 | 940 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
1057.30/1057.79 c 999s| 3350k| 1858k| 0 | 0.0 |1178M| 160 | - | 482 | 975 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
1060.70/1061.17 c 1002s| 3360k| 1863k| 0 | 0.0 |1181M| 160 | - | 482 | 995 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
1064.19/1064.60 c 1005s| 3370k| 1868k| 0 | 0.0 |1184M| 160 | - | 482 | 973 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
1067.60/1068.08 c 1008s| 3380k| 1872k| 0 | 0.0 |1187M| 160 | - | 482 | 972 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
1071.09/1071.56 c 1012s| 3390k| 1877k| 0 | 0.0 |1190M| 160 | - | 482 | 942 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
1074.59/1075.01 c 1015s| 3400k| 1882k| 0 | 0.0 |1193M| 160 | - | 482 | 930 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
1077.89/1078.30 c 1018s| 3410k| 1888k| 0 | 0.0 |1197M| 160 | - | 482 |1011 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
1081.39/1081.87 c 1021s| 3420k| 1893k| 0 | 0.0 |1200M| 160 | - | 482 | 949 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
1084.78/1085.20 c 1025s| 3430k| 1898k| 0 | 0.0 |1203M| 160 | - | 482 | 923 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
1088.08/1088.53 c 1028s| 3440k| 1903k| 0 | 0.0 |1207M| 160 | - | 482 | 971 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
1091.49/1091.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1091.49/1091.92 c 1031s| 3450k| 1908k| 0 | 0.0 |1210M| 160 | - | 482 | 969 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
1094.89/1095.35 c 1034s| 3460k| 1913k| 0 | 0.0 |1213M| 160 | - | 482 | 945 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1098.29/1098.77 c 1037s| 3470k| 1918k| 0 | 0.0 |1216M| 160 | - | 482 | 922 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
1101.88/1102.31 c 1041s| 3480k| 1923k| 0 | 0.0 |1220M| 160 | - | 482 | 963 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
1105.28/1105.77 c 1044s| 3490k| 1928k| 0 | 0.0 |1223M| 160 | - | 482 | 928 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1108.68/1109.14 c 1047s| 3500k| 1933k| 0 | 0.0 |1226M| 160 | - | 482 | 906 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1111.98/1112.47 c 1050s| 3510k| 1938k| 0 | 0.0 |1230M| 160 | - | 482 | 915 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
1115.37/1115.89 c 1054s| 3520k| 1943k| 0 | 0.0 |1233M| 160 | - | 482 | 906 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
1118.66/1119.13 c 1057s| 3530k| 1949k| 0 | 0.0 |1236M| 160 | - | 482 | 930 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
1122.06/1122.51 c 1060s| 3540k| 1954k| 0 | 0.0 |1240M| 160 | - | 482 | 934 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
1125.77/1126.20 c 1063s| 3550k| 1958k| 0 | 0.0 |1243M| 160 | - | 482 |1008 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
1129.28/1129.74 c 1067s| 3560k| 1963k| 0 | 0.0 |1246M| 160 | - | 482 | 960 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
1132.76/1133.21 c 1070s| 3570k| 1968k| 0 | 0.0 |1249M| 160 | - | 482 | 932 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
1136.16/1136.62 c 1073s| 3580k| 1973k| 0 | 0.0 |1252M| 160 | - | 482 | 915 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
1139.87/1140.35 c 1077s| 3590k| 1977k| 0 | 0.0 |1255M| 160 | - | 482 | 976 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
1143.27/1143.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1143.27/1143.79 c 1080s| 3600k| 1982k| 0 | 0.0 |1258M| 160 | - | 482 | 944 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
1146.87/1147.37 c 1083s| 3610k| 1986k| 0 | 0.0 |1262M| 160 | - | 482 | 964 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
1150.35/1150.89 c 1087s| 3620k| 1991k| 0 | 0.0 |1265M| 160 | - | 482 | 962 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
1153.86/1154.37 c 1090s| 3630k| 1996k| 0 | 0.0 |1268M| 160 | - | 482 | 971 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
1157.36/1157.87 c 1093s| 3640k| 2001k| 0 | 0.0 |1271M| 160 | - | 482 | 998 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
1160.96/1161.40 c 1097s| 3650k| 2006k| 0 | 0.0 |1274M| 160 | - | 482 | 973 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
1164.26/1164.80 c 1100s| 3660k| 2011k| 0 | 0.0 |1278M| 160 | - | 482 | 942 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
1167.85/1168.32 c 1103s| 3670k| 2016k| 0 | 0.0 |1281M| 160 | - | 482 | 972 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
1171.25/1171.74 c 1106s| 3680k| 2021k| 0 | 0.0 |1284M| 160 | - | 482 | 928 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
1174.65/1175.11 c 1110s| 3690k| 2026k| 0 | 0.0 |1287M| 160 | - | 482 | 898 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
1178.05/1178.59 c 1113s| 3700k| 2031k| 0 | 0.0 |1290M| 160 | - | 482 | 959 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
1181.65/1182.14 c 1116s| 3710k| 2036k| 0 | 0.0 |1294M| 160 | - | 482 | 935 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
1185.04/1185.59 c 1120s| 3720k| 2041k| 0 | 0.0 |1297M| 160 | - | 482 | 954 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
1188.55/1189.00 c 1123s| 3730k| 2046k| 0 | 0.0 |1300M| 160 | - | 482 | 882 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
1192.04/1192.56 c 1126s| 3740k| 2051k| 0 | 0.0 |1303M| 160 | - | 482 | 936 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
1195.44/1195.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1195.44/1195.99 c 1129s| 3750k| 2056k| 0 | 0.0 |1306M| 160 | - | 482 | 943 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
1198.94/1199.46 c 1133s| 3760k| 2060k| 0 | 0.0 |1310M| 160 | - | 482 |1002 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
1202.64/1203.17 c 1136s| 3770k| 2065k| 0 | 0.0 |1313M| 160 | - | 482 | 986 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
1206.24/1206.72 c 1140s| 3780k| 2070k| 0 | 0.0 |1316M| 160 | - | 482 | 950 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
1209.83/1210.37 c 1143s| 3790k| 2074k| 0 | 0.0 |1319M| 160 | - | 482 | 932 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
1213.33/1213.80 c 1146s| 3800k| 2079k| 0 | 0.0 |1322M| 160 | - | 482 | 969 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
1216.74/1217.24 c 1150s| 3810k| 2084k| 0 | 0.0 |1325M| 160 | - | 482 | 940 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
1220.44/1220.94 c 1153s| 3820k| 2089k| 0 | 0.0 |1328M| 160 | - | 482 | 966 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
1224.03/1224.53 c 1157s| 3830k| 2094k| 0 | 0.0 |1331M| 160 | - | 482 | 987 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
1227.53/1228.05 c 1160s| 3840k| 2099k| 0 | 0.0 |1334M| 160 | - | 482 |1000 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
1231.12/1231.62 c 1163s| 3850k| 2103k| 0 | 0.0 |1338M| 160 | - | 482 | 983 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
1234.62/1235.18 c 1167s| 3860k| 2108k| 0 | 0.0 |1341M| 160 | - | 482 | 994 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
1238.13/1238.62 c 1170s| 3870k| 2113k| 0 | 0.0 |1344M| 160 | - | 482 | 923 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
1241.62/1242.15 c 1173s| 3880k| 2118k| 0 | 0.0 |1347M| 160 | - | 482 | 979 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
1245.12/1245.62 c 1177s| 3890k| 2123k| 0 | 0.0 |1350M| 160 | - | 482 | 938 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
1248.62/1249.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1248.62/1249.14 c 1180s| 3900k| 2128k| 0 | 0.0 |1353M| 160 | - | 482 | 925 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
1252.02/1252.55 c 1183s| 3910k| 2133k| 0 | 0.0 |1356M| 160 | - | 482 | 890 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
1254.32/1254.83 c (node 3916317) switching to memory saving mode (mem: 1296.0M/1620.0M)
1256.02/1256.51 c 1187s| 3920k| 2135k| 0 | 0.0 |1358M| 163 | - | 482 | 977 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
1259.02/1259.54 c 1190s| 3930k| 2135k| 0 | 0.0 |1358M| 163 | - | 482 |1035 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
1262.12/1262.69 c 1193s| 3940k| 2135k| 0 | 0.0 |1358M| 164 | - | 482 |1028 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
1265.21/1265.71 c 1196s| 3950k| 2135k| 0 | 0.0 |1358M| 164 | - | 482 |1122 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
1268.31/1268.83 c 1199s| 3960k| 2134k| 0 | 0.0 |1358M| 164 | - | 482 |1147 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
1271.31/1271.88 c 1201s| 3970k| 2134k| 0 | 0.0 |1358M| 166 | - | 482 |1144 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
1274.32/1274.82 c 1204s| 3980k| 2134k| 0 | 0.0 |1358M| 166 | - | 482 |1137 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
1277.51/1278.09 c 1207s| 3990k| 2134k| 0 | 0.0 |1358M| 166 | - | 482 |1167 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
1280.60/1281.14 c 1210s| 4000k| 2134k| 0 | 0.0 |1358M| 166 | - | 482 |1168 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
1283.60/1284.16 c 1213s| 4010k| 2134k| 0 | 0.0 |1358M| 166 | - | 482 |1168 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
1286.70/1287.27 c 1216s| 4020k| 2133k| 0 | 0.0 |1358M| 166 | - | 482 |1194 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
1289.90/1290.45 c 1219s| 4030k| 2133k| 0 | 0.0 |1358M| 166 | - | 482 |1255 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
1293.11/1293.65 c 1222s| 4040k| 2133k| 0 | 0.0 |1358M| 166 | - | 482 |1272 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
1296.31/1296.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1296.31/1296.87 c 1225s| 4050k| 2133k| 0 | 0.0 |1357M| 166 | - | 482 |1228 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
1299.20/1299.77 c 1228s| 4060k| 2133k| 0 | 0.0 |1357M| 166 | - | 482 |1228 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
1302.30/1302.89 c 1231s| 4070k| 2133k| 0 | 0.0 |1357M| 166 | - | 482 |1124 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
1305.50/1306.02 c 1234s| 4080k| 2133k| 0 | 0.0 |1357M| 166 | - | 482 |1133 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
1308.30/1308.83 c 1236s| 4090k| 2133k| 0 | 0.0 |1357M| 166 | - | 482 |1131 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
1311.40/1311.90 c 1239s| 4100k| 2133k| 0 | 0.0 |1357M| 169 | - | 482 |1195 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
1314.49/1315.03 c 1242s| 4110k| 2133k| 0 | 0.0 |1357M| 169 | - | 482 |1186 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
1317.69/1318.24 c 1245s| 4120k| 2132k| 0 | 0.0 |1357M| 169 | - | 482 |1194 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
1320.69/1321.20 c 1248s| 4130k| 2132k| 0 | 0.0 |1357M| 169 | - | 482 |1186 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
1323.69/1324.20 c 1251s| 4140k| 2132k| 0 | 0.0 |1357M| 169 | - | 482 |1147 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
1326.79/1327.34 c 1254s| 4150k| 2132k| 0 | 0.0 |1357M| 169 | - | 482 |1317 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
1329.99/1330.55 c 1257s| 4160k| 2132k| 0 | 0.0 |1357M| 169 | - | 482 |1256 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
1333.18/1333.75 c 1260s| 4170k| 2132k| 0 | 0.0 |1357M| 169 | - | 482 |1454 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
1336.48/1337.00 c 1263s| 4180k| 2132k| 0 | 0.0 |1357M| 169 | - | 482 |1447 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
1339.48/1340.05 c 1266s| 4190k| 2132k| 0 | 0.0 |1357M| 169 | - | 482 |1441 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
1342.49/1343.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1342.49/1343.08 c 1268s| 4200k| 2132k| 0 | 0.0 |1357M| 169 | - | 482 |1442 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
1345.68/1346.26 c 1271s| 4210k| 2132k| 0 | 0.0 |1357M| 169 | - | 482 |1226 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
1348.88/1349.41 c 1274s| 4220k| 2132k| 0 | 0.0 |1357M| 171 | - | 482 |1223 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
1351.98/1352.58 c 1277s| 4230k| 2132k| 0 | 0.0 |1357M| 171 | - | 482 |1150 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
1355.18/1355.74 c 1280s| 4240k| 2132k| 0 | 0.0 |1357M| 171 | - | 482 |1295 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
1358.38/1358.91 c 1283s| 4250k| 2132k| 0 | 0.0 |1357M| 171 | - | 482 |1450 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
1361.58/1362.12 c 1286s| 4260k| 2132k| 0 | 0.0 |1357M| 171 | - | 482 |1445 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
1364.67/1365.28 c 1289s| 4270k| 2131k| 0 | 0.0 |1357M| 171 | - | 482 |1447 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
1367.68/1368.21 c 1292s| 4280k| 2131k| 0 | 0.0 |1357M| 171 | - | 482 |1452 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
1370.48/1371.06 c 1295s| 4290k| 2131k| 0 | 0.0 |1357M| 171 | - | 482 |1397 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
1373.67/1374.26 c 1298s| 4300k| 2131k| 0 | 0.0 |1357M| 171 | - | 482 |1603 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
1376.97/1377.54 c 1301s| 4310k| 2131k| 0 | 0.0 |1357M| 171 | - | 482 |1378 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
1380.17/1380.72 c 1304s| 4320k| 2131k| 0 | 0.0 |1357M| 171 | - | 482 |1244 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
1383.27/1383.89 c 1307s| 4330k| 2131k| 0 | 0.0 |1357M| 171 | - | 482 |1242 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
1386.57/1387.15 c 1310s| 4340k| 2131k| 0 | 0.0 |1357M| 171 | - | 482 |1305 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
1389.66/1390.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1389.66/1390.29 c 1313s| 4350k| 2131k| 0 | 0.0 |1357M| 171 | - | 482 |1295 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
1392.66/1393.29 c 1316s| 4360k| 2131k| 0 | 0.0 |1357M| 171 | - | 482 |1286 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
1395.76/1396.32 c 1319s| 4370k| 2131k| 0 | 0.0 |1356M| 171 | - | 482 |1284 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
1398.95/1399.57 c 1322s| 4380k| 2131k| 0 | 0.0 |1356M| 171 | - | 482 |1273 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
1402.25/1402.83 c 1325s| 4390k| 2131k| 0 | 0.0 |1357M| 171 | - | 482 |1535 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
1405.65/1406.21 c 1328s| 4400k| 2131k| 0 | 0.0 |1357M| 171 | - | 482 |1551 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
1408.85/1409.46 c 1331s| 4410k| 2131k| 0 | 0.0 |1357M| 171 | - | 482 |1378 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
1412.15/1412.79 c 1334s| 4420k| 2131k| 0 | 0.0 |1357M| 171 | - | 482 |1385 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
1415.34/1415.95 c 1337s| 4430k| 2131k| 0 | 0.0 |1356M| 171 | - | 482 |1397 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
1418.45/1419.01 c 1340s| 4440k| 2131k| 0 | 0.0 |1356M| 171 | - | 482 |1375 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
1421.44/1422.08 c 1343s| 4450k| 2131k| 0 | 0.0 |1356M| 171 | - | 482 |1375 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
1424.44/1425.07 c 1346s| 4460k| 2131k| 0 | 0.0 |1356M| 171 | - | 482 |1369 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
1427.54/1428.16 c 1349s| 4470k| 2130k| 0 | 0.0 |1356M| 171 | - | 482 |1365 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
1430.74/1431.36 c 1352s| 4480k| 2130k| 0 | 0.0 |1356M| 171 | - | 482 |1369 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
1433.84/1434.48 c 1354s| 4490k| 2130k| 0 | 0.0 |1356M| 171 | - | 482 |1211 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
1436.83/1437.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1436.83/1437.45 c 1357s| 4500k| 2130k| 0 | 0.0 |1356M| 171 | - | 482 |1186 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
1439.93/1440.50 c 1360s| 4510k| 2130k| 0 | 0.0 |1356M| 171 | - | 482 |1217 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | -- | Inf
1443.23/1443.80 c 1363s| 4520k| 2130k| 0 | 0.0 |1356M| 171 | - | 482 |1283 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
1446.33/1446.94 c 1366s| 4530k| 2130k| 0 | 0.0 |1356M| 171 | - | 482 |1249 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
1449.62/1450.28 c 1369s| 4540k| 2130k| 0 | 0.0 |1356M| 171 | - | 482 |1268 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
1452.72/1453.39 c 1372s| 4550k| 2130k| 0 | 0.0 |1356M| 171 | - | 482 |1270 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
1455.93/1456.50 c 1375s| 4560k| 2130k| 0 | 0.0 |1356M| 171 | - | 482 |1261 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
1459.03/1459.62 c 1378s| 4570k| 2130k| 0 | 0.0 |1356M| 171 | - | 482 |1252 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
1462.13/1462.70 c 1381s| 4580k| 2130k| 0 | 0.0 |1356M| 171 | - | 482 |1248 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
1465.32/1465.91 c 1384s| 4590k| 2130k| 0 | 0.0 |1356M| 171 | - | 482 |1270 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
1468.42/1469.06 c 1387s| 4600k| 2130k| 0 | 0.0 |1356M| 171 | - | 482 |1242 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
1471.62/1472.20 c 1390s| 4610k| 2130k| 0 | 0.0 |1356M| 171 | - | 482 |1244 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
1474.62/1475.27 c 1393s| 4620k| 2130k| 0 | 0.0 |1356M| 171 | - | 482 |1244 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
1477.73/1478.33 c 1396s| 4630k| 2130k| 0 | 0.0 |1356M| 171 | - | 482 |1236 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
1480.52/1481.19 c 1398s| 4640k| 2130k| 0 | 0.0 |1356M| 171 | - | 482 |1242 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
1483.42/1484.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1483.42/1484.01 c 1401s| 4650k| 2130k| 0 | 0.0 |1356M| 171 | - | 482 |1236 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
1486.53/1487.11 c 1404s| 4660k| 2130k| 0 | 0.0 |1356M| 171 | - | 482 |1433 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
1489.72/1490.36 c 1407s| 4670k| 2130k| 0 | 0.0 |1356M| 171 | - | 482 |1498 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
1493.02/1493.62 c 1410s| 4680k| 2130k| 0 | 0.0 |1356M| 171 | - | 482 |1576 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
1496.22/1496.87 c 1413s| 4690k| 2130k| 0 | 0.0 |1356M| 171 | - | 482 |1384 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf
1499.31/1499.92 c 1416s| 4700k| 2130k| 0 | 0.0 |1356M| 171 | - | 482 |1562 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
1502.31/1502.96 c 1419s| 4710k| 2130k| 0 | 0.0 |1356M| 171 | - | 482 |1560 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
1505.51/1506.11 c 1422s| 4720k| 2130k| 0 | 0.0 |1356M| 171 | - | 482 |1567 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
1508.61/1509.24 c 1425s| 4730k| 2130k| 0 | 0.0 |1356M| 171 | - | 482 |1558 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
1511.60/1512.22 c 1428s| 4740k| 2130k| 0 | 0.0 |1356M| 171 | - | 482 |1565 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | -- | Inf
1514.80/1515.49 c 1431s| 4750k| 2130k| 0 | 0.0 |1356M| 171 | - | 482 |1588 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | -- | Inf
1518.01/1518.68 c 1434s| 4760k| 2130k| 0 | 0.0 |1356M| 171 | - | 482 |1625 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
1521.40/1522.03 c 1437s| 4770k| 2130k| 0 | 0.0 |1356M| 171 | - | 482 |1570 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
1524.51/1525.17 c 1440s| 4780k| 2130k| 0 | 0.0 |1356M| 171 | - | 482 |1573 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
1527.70/1528.37 c 1443s| 4790k| 2130k| 0 | 0.0 |1356M| 171 | - | 482 |1571 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | -- | Inf
1530.90/1531.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1530.90/1531.54 c 1446s| 4800k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1559 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | -- | Inf
1534.10/1534.75 c 1449s| 4810k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1563 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | -- | Inf
1537.10/1537.75 c 1452s| 4820k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1559 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | -- | Inf
1540.30/1540.98 c 1455s| 4830k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1420 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf
1543.59/1544.22 c 1458s| 4840k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1590 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | -- | Inf
1546.69/1547.37 c 1461s| 4850k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1429 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | -- | Inf
1550.09/1550.74 c 1464s| 4860k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1492 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | -- | Inf
1553.49/1554.10 c 1467s| 4870k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1437 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
1556.79/1557.49 c 1470s| 4880k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1563 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
1560.19/1560.83 c 1474s| 4890k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1426 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | -- | Inf
1563.39/1564.09 c 1477s| 4900k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1336 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | -- | Inf
1566.68/1567.36 c 1480s| 4910k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1322 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
1569.99/1570.62 c 1483s| 4920k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1320 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | -- | Inf
1573.49/1574.12 c 1486s| 4930k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1320 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
1576.88/1577.51 c 1489s| 4940k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1340 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | -- | Inf
1580.38/1581.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1580.38/1581.03 c 1493s| 4950k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1342 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | -- | Inf
1583.68/1584.32 c 1496s| 4960k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1257 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
1586.88/1587.52 c 1499s| 4970k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1232 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | -- | Inf
1590.08/1590.70 c 1502s| 4980k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1314 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
1593.29/1593.92 c 1505s| 4990k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1378 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
1596.49/1597.11 c 1508s| 5000k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1257 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
1599.58/1600.28 c 1511s| 5010k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1341 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | -- | Inf
1603.08/1603.75 c 1514s| 5020k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1476 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf
1606.48/1607.16 c 1517s| 5030k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1237 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | -- | Inf
1609.68/1610.34 c 1520s| 5040k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1425 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
1612.87/1613.52 c 1523s| 5050k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1463 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | -- | Inf
1616.17/1616.81 c 1526s| 5060k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1522 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | -- | Inf
1619.46/1620.16 c 1529s| 5070k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1632 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | -- | Inf
1622.97/1623.65 c 1533s| 5080k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1784 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | -- | Inf
1626.47/1627.11 c 1536s| 5090k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1192 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | -- | Inf
1629.66/1630.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1629.66/1630.38 c 1539s| 5100k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1277 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | -- | Inf
1632.96/1633.63 c 1542s| 5110k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1202 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | -- | Inf
1636.17/1636.86 c 1545s| 5120k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1343 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | -- | Inf
1639.37/1640.05 c 1548s| 5130k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1338 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | -- | Inf
1642.46/1643.17 c 1551s| 5140k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1327 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | -- | Inf
1645.56/1646.25 c 1554s| 5150k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1331 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | -- | Inf
1648.96/1649.68 c 1557s| 5160k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1383 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | -- | Inf
1652.26/1652.93 c 1560s| 5170k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1388 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | -- | Inf
1655.25/1655.96 c 1563s| 5180k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1364 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | -- | Inf
1658.46/1659.14 c 1566s| 5190k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1336 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | -- | Inf
1661.55/1662.20 c 1569s| 5200k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1316 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
1664.66/1665.34 c 1572s| 5210k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1333 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | -- | Inf
1667.55/1668.23 c 1575s| 5220k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1320 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | -- | Inf
1670.55/1671.28 c 1578s| 5230k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1315 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | -- | Inf
1673.64/1674.33 c 1581s| 5240k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1322 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | -- | Inf
1676.76/1677.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1676.76/1677.43 c 1584s| 5250k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1311 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | -- | Inf
1679.75/1680.47 c 1586s| 5260k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1314 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | -- | Inf
1682.84/1683.60 c 1589s| 5270k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1323 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | -- | Inf
1686.14/1686.85 c 1592s| 5280k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1403 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | -- | Inf
1689.44/1690.13 c 1595s| 5290k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1489 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
1692.64/1693.39 c 1599s| 5300k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1686 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | -- | Inf
1696.14/1696.82 c 1602s| 5310k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1567 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
1699.44/1700.15 c 1605s| 5320k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1478 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | -- | Inf
1702.64/1703.38 c 1608s| 5330k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1521 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | -- | Inf
1705.83/1706.57 c 1611s| 5340k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1529 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | -- | Inf
1709.04/1709.78 c 1614s| 5350k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1636 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
1712.33/1713.05 c 1617s| 5360k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1855 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | -- | Inf
1715.63/1716.33 c 1620s| 5370k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1504 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
1718.83/1719.50 c 1623s| 5380k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1507 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | -- | Inf
1722.03/1722.79 c 1626s| 5390k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1830 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | -- | Inf
1725.43/1726.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1725.43/1726.14 c 1629s| 5400k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1617 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | -- | Inf
1728.63/1729.38 c 1632s| 5410k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1550 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | -- | Inf
1732.03/1732.74 c 1636s| 5420k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1709 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | -- | Inf
1735.33/1736.04 c 1639s| 5430k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1482 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | -- | Inf
1738.72/1739.42 c 1642s| 5440k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1557 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | -- | Inf
1741.82/1742.53 c 1645s| 5450k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1556 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | -- | Inf
1744.82/1745.57 c 1648s| 5460k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1549 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | -- | Inf
1747.92/1748.60 c 1651s| 5470k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1557 | 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | -- | Inf
1751.32/1752.02 c 1654s| 5480k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1553 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | -- | Inf
1754.41/1755.15 c 1657s| 5490k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1527 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | -- | Inf
1757.61/1758.32 c 1660s| 5500k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1505 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | -- | Inf
1760.71/1761.46 c 1663s| 5510k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1504 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | -- | Inf
1764.01/1764.70 c 1666s| 5520k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1504 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | -- | Inf
1767.02/1767.77 c 1669s| 5530k| 2129k| 0 | 0.0 |1356M| 171 | - | 482 |1501 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | -- | Inf
1770.21/1771.00 c 1672s| 5540k| 2128k| 0 | 0.0 |1356M| 171 | - | 482 |1500 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | -- | Inf
1773.41/1774.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1773.41/1774.17 c 1675s| 5550k| 2128k| 0 | 0.0 |1356M| 171 | - | 482 |1492 | 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | -- | Inf
1776.41/1777.16 c 1678s| 5560k| 2128k| 0 | 0.0 |1356M| 171 | - | 482 |1491 | 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | -- | Inf
1779.70/1780.42 c 1681s| 5570k| 2128k| 0 | 0.0 |1355M| 171 | - | 482 |1490 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | -- | Inf
1782.80/1783.56 c 1684s| 5580k| 2128k| 0 | 0.0 |1355M| 171 | - | 482 |1492 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | -- | Inf
1785.91/1786.66 c 1687s| 5590k| 2128k| 0 | 0.0 |1355M| 171 | - | 482 |1493 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | -- | Inf
1789.30/1790.05 c 1690s| 5600k| 2128k| 0 | 0.0 |1355M| 171 | - | 482 |1499 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
1792.39/1793.18 c 1693s| 5610k| 2128k| 0 | 0.0 |1355M| 171 | - | 482 |1218 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
1795.80/1796.59 c 1696s| 5620k| 2128k| 0 | 0.0 |1355M| 171 | - | 482 |1452 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | -- | Inf
1799.10/1799.87 c 1699s| 5630k| 2128k| 0 | 0.0 |1355M| 171 | - | 482 |1569 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | -- | Inf
1800.02/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.71 c
1800.02/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.71 c Solving Time (sec) : 1699.86
1800.02/1800.71 c Solving Nodes : 5632526
1800.02/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.71 c Dual Bound : +0.00000000000000e+00
1800.02/1800.71 c Gap : infinite
1800.02/1800.71 s UNKNOWN
1800.02/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.71 c Solving Time : 1699.86
1800.02/1800.71 c Original Problem :
1800.02/1800.71 c Problem name : HOME/instance-2664275-1276270662.opb
1800.02/1800.71 c Variables : 490 (490 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.71 c Constraints : 737 initial, 737 maximal
1800.02/1800.71 c Presolved Problem :
1800.02/1800.71 c Problem name : t_HOME/instance-2664275-1276270662.opb
1800.02/1800.71 c Variables : 482 (482 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.71 c Constraints : 737 initial, 1908 maximal
1800.02/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c implics : 0.00 0 8 0 0 0 0 0 0
1800.02/1800.71 c probing : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c knapsack : 0.04 0 0 0 0 0 0 0 0
1800.02/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c root node : - 0 - - 0 - - - -
1800.02/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.71 c integral : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.71 c knapsack : 340 0 12536319 0 3915517 1667239 87721760 0 0 0
1800.02/1800.71 c logicor : 397+ 0 7494112 0 3915517 109108 33707410 0 0 0
1800.02/1800.71 c countsols : 0 0 0 0 3915517 0 0 0 0 0
1800.02/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.71 c integral : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.71 c knapsack : 634.89 0.00 592.29 0.00 42.60
1800.02/1800.71 c logicor : 381.87 0.00 227.74 0.00 154.13
1800.02/1800.71 c countsols : 1.52 0.00 0.00 0.00 1.52
1800.02/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.71 c vbounds : 6.16 1 0 0
1800.02/1800.71 c rootredcost : 6.14 0 0 0
1800.02/1800.71 c pseudoobj : 5.62 0 0 0
1800.02/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.71 c propagation : 237.89 298267 276352 3591271 123.6 1310 87.1 -
1800.02/1800.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.71 c applied globally : - - - 223153 35.7 - - -
1800.02/1800.71 c applied locally : - - - 125296 83.5 - - -
1800.02/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.71 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.02/1800.71 c redcost : 0.00 0 0 0 0 0
1800.02/1800.71 c impliedbounds : 0.00 0 0 0 0 0
1800.02/1800.71 c intobj : 0.00 0 0 0 0 0
1800.02/1800.71 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.71 c gomory : 0.00 0 0 0 0 0
1800.02/1800.71 c strongcg : 0.00 0 0 0 0 0
1800.02/1800.71 c cmir : 0.00 0 0 0 0 0
1800.02/1800.71 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.71 c clique : 0.00 0 0 0 0 0
1800.02/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.71 c mcf : 0.00 0 0 0 0 0
1800.02/1800.71 c rapidlearning : 0.00 0 0 0 0 0
1800.02/1800.71 c Pricers : Time Calls Vars
1800.02/1800.71 c problem variables: 0.00 0 0
1800.02/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.71 c relpscost : 0.00 0 0 0 0 0 0
1800.02/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.71 c inference : 144.07 3915517 0 0 0 0 7831034
1800.02/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.71 c random : 0.00 0 0 0 0 0 0
1800.02/1800.71 c Primal Heuristics : Time Calls Found
1800.02/1800.71 c LP solutions : 0.00 - 0
1800.02/1800.71 c pseudo solutions : 0.00 - 0
1800.02/1800.71 c trivial : 0.00 1 0
1800.02/1800.71 c simplerounding : 0.00 0 0
1800.02/1800.71 c zirounding : 0.00 0 0
1800.02/1800.71 c rounding : 0.00 0 0
1800.02/1800.71 c shifting : 0.00 0 0
1800.02/1800.71 c intshifting : 0.00 0 0
1800.02/1800.71 c oneopt : 0.00 0 0
1800.02/1800.71 c twoopt : 0.00 0 0
1800.02/1800.71 c fixandinfer : 0.00 0 0
1800.02/1800.71 c feaspump : 0.00 0 0
1800.02/1800.71 c coefdiving : 0.00 0 0
1800.02/1800.71 c pscostdiving : 0.00 0 0
1800.02/1800.71 c fracdiving : 0.00 0 0
1800.02/1800.71 c veclendiving : 0.00 0 0
1800.02/1800.71 c intdiving : 0.00 0 0
1800.02/1800.71 c actconsdiving : 0.00 0 0
1800.02/1800.71 c objpscostdiving : 0.00 0 0
1800.02/1800.71 c rootsoldiving : 0.00 0 0
1800.02/1800.71 c linesearchdiving : 0.00 0 0
1800.02/1800.71 c guideddiving : 0.00 0 0
1800.02/1800.71 c octane : 0.00 0 0
1800.02/1800.71 c rens : 0.00 0 0
1800.02/1800.71 c rins : 0.00 0 0
1800.02/1800.71 c localbranching : 0.00 0 0
1800.02/1800.71 c mutation : 0.00 0 0
1800.02/1800.71 c crossover : 0.00 0 0
1800.02/1800.71 c dins : 0.00 0 0
1800.02/1800.71 c undercover : 0.00 0 0
1800.02/1800.71 c nlp : 0.00 0 0
1800.02/1800.71 c trysol : 0.00 0 0
1800.02/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.71 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.71 c dual LP : 0.00 0 0 0.00 -
1800.02/1800.71 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.71 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.71 c strong branching : 0.00 0 0 0.00 -
1800.02/1800.71 c (at root node) : - 0 0 0.00 -
1800.02/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.71 c B&B Tree :
1800.02/1800.71 c number of runs : 1
1800.02/1800.71 c nodes : 5632526
1800.02/1800.71 c nodes (total) : 5632526
1800.02/1800.71 c nodes left : 2128790
1800.02/1800.71 c max depth : 171
1800.02/1800.71 c max depth (total): 171
1800.02/1800.71 c backtracks : 795771 (14.1%)
1800.02/1800.71 c delayed cutoffs : 69719
1800.02/1800.71 c repropagations : 447166 (3925528 domain reductions, 59338 cutoffs)
1800.02/1800.71 c avg switch length: 3.83
1800.02/1800.71 c switching time : 348.21
1800.02/1800.71 c Solution :
1800.02/1800.71 c Solutions found : 0 (0 improvements)
1800.02/1800.71 c Primal Bound : -
1800.02/1800.71 c Dual Bound : +0.00000000000000e+00
1800.02/1800.71 c Gap : infinite
1800.02/1800.71 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.71 c Root Iterations : 0