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-2663413-1276675620.opb>
0.00/0.02 c original problem has 1458 variables (1458 bin, 0 int, 0 impl, 0 cont) and 1560 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.03 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.04 c presolving:
0.19/0.24 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 10264 impls, 200 clqs
0.39/0.42 c presolving (2 rounds):
0.39/0.42 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.42 c 10264 implications, 200 cliques
0.39/0.42 c presolved problem has 1458 variables (1458 bin, 0 int, 0 impl, 0 cont) and 1560 constraints
0.39/0.42 c 1 constraints of type <knapsack>
0.39/0.42 c 200 constraints of type <setppc>
0.39/0.42 c 1258 constraints of type <and>
0.39/0.42 c 1 constraints of type <linear>
0.39/0.42 c 100 constraints of type <logicor>
0.39/0.42 c transformed objective value is always integral (scale: 1)
0.39/0.42 c Presolving Time: 0.20
0.39/0.42 c - non default parameters ----------------------------------------------------------------------
0.39/0.42 c # SCIP version 1.2.1.2
0.39/0.42 c
0.39/0.42 c # frequency for displaying node information lines
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.42 c display/freq = 10000
0.39/0.42 c
0.39/0.42 c # maximal time in seconds to run
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42 c limits/time = 1799.98
0.39/0.42 c
0.39/0.42 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42 c limits/memory = 1620
0.39/0.42 c
0.39/0.42 c # solving stops, if the given number of solutions were found (-1: no limit)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42 c limits/solutions = 1
0.39/0.42 c
0.39/0.42 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42 c lp/solvefreq = -1
0.39/0.42 c
0.39/0.42 c # maximal number of separation rounds per node (-1: unlimited)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 5]
0.39/0.42 c separating/maxrounds = 1
0.39/0.42 c
0.39/0.42 c # maximal number of separation rounds in the root node (-1: unlimited)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42 c separating/maxroundsroot = 5
0.39/0.42 c
0.39/0.42 c # should presolving try to simplify inequalities
0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42 c constraints/linear/simplifyinequalities = TRUE
0.39/0.42 c
0.39/0.42 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.39/0.42 c constraints/knapsack/disaggregation = FALSE
0.39/0.42 c
0.39/0.42 c # should presolving try to simplify knapsacks
0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.42 c
0.39/0.42 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42 c presolving/probing/maxrounds = 0
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42 c heuristics/coefdiving/freq = -1
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42 c heuristics/coefdiving/maxlpiterquot = 0.075
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/coefdiving/maxlpiterofs = 1500
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 30]
0.39/0.42 c heuristics/crossover/freq = -1
0.39/0.42 c
0.39/0.42 c # number of nodes added to the contingent of the total nodes
0.39/0.42 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.42 c heuristics/crossover/nodesofs = 750
0.39/0.42 c
0.39/0.42 c # number of nodes without incumbent change that heuristic should wait
0.39/0.42 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.39/0.42 c heuristics/crossover/nwaitingnodes = 100
0.39/0.42 c
0.39/0.42 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.39/0.42 c # [type: real, range: [0,1], default: 0.1]
0.39/0.42 c heuristics/crossover/nodesquot = 0.15
0.39/0.42 c
0.39/0.42 c # minimum percentage of integer variables that have to be fixed
0.39/0.42 c # [type: real, range: [0,1], default: 0.666]
0.39/0.42 c heuristics/crossover/minfixingrate = 0.5
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.42 c heuristics/feaspump/freq = -1
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/feaspump/maxlpiterofs = 2000
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42 c heuristics/fracdiving/freq = -1
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42 c heuristics/fracdiving/maxlpiterquot = 0.075
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/fracdiving/maxlpiterofs = 1500
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42 c heuristics/guideddiving/freq = -1
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42 c heuristics/guideddiving/maxlpiterquot = 0.075
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/guideddiving/maxlpiterofs = 1500
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42 c heuristics/intdiving/maxlpiterquot = 0.075
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42 c heuristics/intshifting/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42 c heuristics/linesearchdiving/freq = -1
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42 c heuristics/nlp/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.42 c heuristics/objpscostdiving/freq = -1
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to total iteration number
0.39/0.42 c # [type: real, range: [0,1], default: 0.01]
0.39/0.42 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42 c heuristics/oneopt/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42 c heuristics/pscostdiving/freq = -1
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/pscostdiving/maxlpiterofs = 1500
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.42 c heuristics/rens/freq = -1
0.39/0.42 c
0.39/0.42 c # minimum percentage of integer variables that have to be fixable
0.39/0.42 c # [type: real, range: [0,1], default: 0.5]
0.39/0.42 c heuristics/rens/minfixingrate = 0.3
0.39/0.42 c
0.39/0.42 c # number of nodes added to the contingent of the total nodes
0.39/0.42 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.42 c heuristics/rens/nodesofs = 2000
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.42 c heuristics/rootsoldiving/freq = -1
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.39/0.42 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42 c heuristics/rounding/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42 c heuristics/shifting/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42 c heuristics/simplerounding/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.42 c heuristics/trivial/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42 c heuristics/trysol/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42 c heuristics/veclendiving/freq = -1
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42 c heuristics/veclendiving/maxlpiterquot = 0.075
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/veclendiving/maxlpiterofs = 1500
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42 c heuristics/zirounding/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.42 c separating/cmir/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.42 c separating/flowcover/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42 c separating/rapidlearning/freq = 0
0.39/0.42 c
0.39/0.42 c -----------------------------------------------------------------------------------------------
0.39/0.42 c start solving
0.39/0.42 c
0.39/0.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.42 c 0.2s| 1 | 2 | 0 | - |4046k| 0 | - |1458 |1560 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
7.08/7.14 c 6.6s| 10000 | 7950 | 0 | 0.0 | 14M| 140 | - |1458 |1763 | 0 | 0 | 0 |1212 | 0 | 0.000000e+00 | -- | Inf
14.59/14.66 c 13.8s| 20000 | 16057 | 0 | 0.0 | 24M| 140 | - |1458 |1923 | 0 | 0 | 0 |2133 | 0 | 0.000000e+00 | -- | Inf
22.28/22.33 c 21.2s| 30000 | 23529 | 0 | 0.0 | 33M| 140 | - |1458 |1956 | 0 | 0 | 0 |3079 | 0 | 0.000000e+00 | -- | Inf
29.98/30.09 c 28.7s| 40000 | 30146 | 0 | 0.0 | 41M| 140 | - |1458 |1982 | 0 | 0 | 0 |4025 | 0 | 0.000000e+00 | -- | Inf
37.88/37.95 c 36.2s| 50000 | 36321 | 0 | 0.0 | 48M| 140 | - |1458 |1977 | 0 | 0 | 0 |5091 | 0 | 0.000000e+00 | -- | Inf
45.97/46.04 c 44.0s| 60000 | 41690 | 0 | 0.0 | 55M| 140 | - |1458 |2021 | 0 | 0 | 0 |6240 | 0 | 0.000000e+00 | -- | Inf
54.37/54.46 c 52.2s| 70000 | 46415 | 0 | 0.0 | 61M| 140 | - |1458 |2065 | 0 | 0 | 0 |7550 | 0 | 0.000000e+00 | -- | Inf
62.68/62.75 c 60.1s| 80000 | 51014 | 0 | 0.0 | 67M| 140 | - |1458 |2007 | 0 | 0 | 0 |8837 | 0 | 0.000000e+00 | -- | Inf
71.27/71.32 c 68.4s| 90000 | 54940 | 0 | 0.0 | 72M| 140 | - |1458 |2118 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
79.96/80.05 c 76.8s|100000 | 58365 | 0 | 0.0 | 78M| 140 | - |1458 |2265 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
88.67/88.79 c 85.1s|110000 | 61291 | 0 | 0.0 | 83M| 140 | - |1458 |2525 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
97.46/97.58 c 93.5s|120000 | 63753 | 0 | 0.0 | 89M| 140 | - |1458 |2976 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
105.76/105.80 c 101s|130000 | 66161 | 0 | 0.0 | 94M| 140 | - |1458 |3341 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
114.95/115.08 c 110s|140000 | 71472 | 0 | 0.0 | 103M| 140 | - |1458 |1970 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
123.95/124.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
123.95/124.02 c 119s|150000 | 78847 | 0 | 0.0 | 112M| 140 | - |1458 |2049 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
133.16/133.22 c 128s|160000 | 85822 | 0 | 0.0 | 121M| 140 | - |1458 |2093 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
142.45/142.59 c 137s|170000 | 92609 | 0 | 0.0 | 129M| 140 | - |1458 |2142 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
151.76/151.89 c 146s|180000 | 99490 | 0 | 0.0 | 138M| 140 | - |1458 |2129 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
160.94/161.09 c 155s|190000 |106256 | 0 | 0.0 | 146M| 140 | - |1458 |2134 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
170.35/170.45 c 164s|200000 |112737 | 0 | 0.0 | 154M| 140 | - |1458 |2128 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
179.53/179.64 c 173s|210000 |119354 | 0 | 0.0 | 163M| 140 | - |1458 |2199 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
188.54/188.66 c 181s|220000 |126206 | 0 | 0.0 | 171M| 140 | - |1458 |2218 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
197.74/197.80 c 190s|230000 |132931 | 0 | 0.0 | 180M| 140 | - |1458 |2285 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
206.93/207.08 c 199s|240000 |139448 | 0 | 0.0 | 188M| 140 | - |1458 |2229 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
216.02/216.19 c 208s|250000 |146073 | 0 | 0.0 | 196M| 140 | - |1458 |2249 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
225.33/225.45 c 217s|260000 |152322 | 0 | 0.0 | 204M| 140 | - |1458 |2299 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
234.72/234.82 c 226s|270000 |158546 | 0 | 0.0 | 212M| 140 | - |1458 |2351 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
243.82/243.94 c 235s|280000 |164874 | 0 | 0.0 | 220M| 140 | - |1458 |2320 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
253.22/253.39 c 244s|290000 |170896 | 0 | 0.0 | 228M| 140 | - |1458 |2315 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
262.21/262.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
262.21/262.38 c 253s|300000 |177257 | 0 | 0.0 | 236M| 140 | - |1458 |2257 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
271.61/271.75 c 262s|310000 |183365 | 0 | 0.0 | 244M| 140 | - |1458 |2337 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
280.80/280.94 c 271s|320000 |189449 | 0 | 0.0 | 252M| 140 | - |1458 |2318 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
290.10/290.29 c 280s|330000 |195497 | 0 | 0.0 | 260M| 140 | - |1458 |2340 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
299.30/299.45 c 289s|340000 |201709 | 0 | 0.0 | 268M| 140 | - |1458 |2381 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
308.60/308.76 c 298s|350000 |207846 | 0 | 0.0 | 276M| 140 | - |1458 |2296 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
317.99/318.10 c 307s|360000 |213814 | 0 | 0.0 | 283M| 140 | - |1458 |2280 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
327.09/327.23 c 316s|370000 |219973 | 0 | 0.0 | 291M| 140 | - |1458 |2427 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
336.40/336.60 c 325s|380000 |225961 | 0 | 0.0 | 299M| 140 | - |1458 |2305 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
345.58/345.70 c 333s|390000 |232028 | 0 | 0.0 | 306M| 140 | - |1458 |2319 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
354.98/355.13 c 343s|400000 |238028 | 0 | 0.0 | 314M| 140 | - |1458 |2310 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
364.38/364.53 c 352s|410000 |243770 | 0 | 0.0 | 322M| 140 | - |1458 |2310 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
373.79/373.96 c 361s|420000 |249542 | 0 | 0.0 | 330M| 140 | - |1458 |2381 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
383.27/383.48 c 370s|430000 |255281 | 0 | 0.0 | 337M| 140 | - |1458 |2339 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
392.58/392.75 c 379s|440000 |261130 | 0 | 0.0 | 345M| 140 | - |1458 |2328 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
401.97/402.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
401.97/402.10 c 388s|450000 |267046 | 0 | 0.0 | 352M| 140 | - |1458 |2359 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
411.37/411.55 c 397s|460000 |272765 | 0 | 0.0 | 360M| 140 | - |1458 |2363 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
420.56/420.79 c 406s|470000 |278603 | 0 | 0.0 | 368M| 140 | - |1458 |2433 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
429.96/430.19 c 415s|480000 |284312 | 0 | 0.0 | 375M| 140 | - |1458 |2341 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
439.55/439.76 c 424s|490000 |289801 | 0 | 0.0 | 382M| 140 | - |1458 |2379 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
448.95/449.17 c 433s|500000 |295455 | 0 | 0.0 | 390M| 140 | - |1458 |2557 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
458.45/458.61 c 443s|510000 |301164 | 0 | 0.0 | 397M| 140 | - |1458 |2410 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
468.05/468.22 c 452s|520000 |306671 | 0 | 0.0 | 404M| 140 | - |1458 |2301 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
477.44/477.69 c 461s|530000 |312218 | 0 | 0.0 | 412M| 140 | - |1458 |2416 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
486.94/487.10 c 470s|540000 |317841 | 0 | 0.0 | 419M| 140 | - |1458 |2400 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
496.64/496.85 c 480s|550000 |323162 | 0 | 0.0 | 427M| 140 | - |1458 |2383 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
506.14/506.34 c 489s|560000 |328659 | 0 | 0.0 | 434M| 140 | - |1458 |2479 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
515.43/515.69 c 498s|570000 |334162 | 0 | 0.0 | 441M| 140 | - |1458 |2392 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
525.32/525.54 c 507s|580000 |339380 | 0 | 0.0 | 448M| 140 | - |1458 |2439 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
534.82/535.09 c 517s|590000 |344874 | 0 | 0.0 | 456M| 140 | - |1458 |2486 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
544.23/544.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
544.23/544.41 c 526s|600000 |350444 | 0 | 0.0 | 463M| 140 | - |1458 |2432 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
553.92/554.18 c 535s|610000 |355825 | 0 | 0.0 | 470M| 140 | - |1458 |2531 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
563.62/563.83 c 545s|620000 |361319 | 0 | 0.0 | 478M| 140 | - |1458 |2480 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
573.02/573.27 c 554s|630000 |366751 | 0 | 0.0 | 485M| 140 | - |1458 |2449 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
582.91/583.14 c 563s|640000 |371890 | 0 | 0.0 | 492M| 140 | - |1458 |2580 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
592.81/593.06 c 573s|650000 |377087 | 0 | 0.0 | 499M| 140 | - |1458 |2510 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
602.52/602.77 c 582s|660000 |382312 | 0 | 0.0 | 506M| 140 | - |1458 |2486 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
612.10/612.32 c 591s|670000 |387525 | 0 | 0.0 | 513M| 140 | - |1458 |2559 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
621.89/622.13 c 601s|680000 |392664 | 0 | 0.0 | 520M| 140 | - |1458 |2510 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
631.89/632.12 c 611s|690000 |397694 | 0 | 0.0 | 527M| 140 | - |1458 |2432 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
641.69/641.90 c 620s|700000 |402761 | 0 | 0.0 | 534M| 140 | - |1458 |2550 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
651.08/651.37 c 629s|710000 |408017 | 0 | 0.0 | 541M| 140 | - |1458 |2528 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
660.89/661.14 c 639s|720000 |413133 | 0 | 0.0 | 549M| 140 | - |1458 |2449 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
670.88/671.18 c 648s|730000 |418114 | 0 | 0.0 | 556M| 140 | - |1458 |2474 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
680.69/680.94 c 658s|740000 |423078 | 0 | 0.0 | 563M| 140 | - |1458 |2507 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
690.49/690.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
690.49/690.74 c 667s|750000 |428060 | 0 | 0.0 | 570M| 140 | - |1458 |2470 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
700.27/700.57 c 677s|760000 |433055 | 0 | 0.0 | 577M| 140 | - |1458 |2569 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
710.47/710.74 c 687s|770000 |437934 | 0 | 0.0 | 583M| 140 | - |1458 |2507 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
720.46/720.75 c 696s|780000 |442760 | 0 | 0.0 | 590M| 140 | - |1458 |2577 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
730.17/730.47 c 706s|790000 |447801 | 0 | 0.0 | 597M| 140 | - |1458 |2571 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
739.86/740.16 c 715s|800000 |452861 | 0 | 0.0 | 604M| 140 | - |1458 |2553 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
750.36/750.62 c 725s|810000 |457546 | 0 | 0.0 | 611M| 140 | - |1458 |2608 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
760.35/760.68 c 735s|820000 |462276 | 0 | 0.0 | 618M| 140 | - |1458 |2599 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
770.35/770.66 c 745s|830000 |467149 | 0 | 0.0 | 625M| 140 | - |1458 |2547 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
780.05/780.37 c 754s|840000 |472000 | 0 | 0.0 | 632M| 140 | - |1458 |2587 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
790.34/790.66 c 764s|850000 |476656 | 0 | 0.0 | 638M| 140 | - |1458 |2632 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
800.64/800.98 c 774s|860000 |481241 | 0 | 0.0 | 645M| 140 | - |1458 |2608 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
810.64/810.99 c 784s|870000 |485967 | 0 | 0.0 | 652M| 140 | - |1458 |2576 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
820.43/820.70 c 793s|880000 |490841 | 0 | 0.0 | 659M| 140 | - |1458 |2636 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
830.33/830.62 c 803s|890000 |495671 | 0 | 0.0 | 666M| 140 | - |1458 |2548 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
840.83/841.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
840.83/841.17 c 813s|900000 |500170 | 0 | 0.0 | 672M| 140 | - |1458 |2612 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
851.03/851.35 c 823s|910000 |504796 | 0 | 0.0 | 679M| 140 | - |1458 |2643 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
860.93/861.29 c 833s|920000 |509506 | 0 | 0.0 | 686M| 140 | - |1458 |2577 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
870.71/871.08 c 842s|930000 |514228 | 0 | 0.0 | 693M| 140 | - |1458 |2682 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
880.91/881.29 c 852s|940000 |518845 | 0 | 0.0 | 699M| 140 | - |1458 |2586 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
891.21/891.59 c 862s|950000 |523274 | 0 | 0.0 | 706M| 140 | - |1458 |2656 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
901.61/901.99 c 872s|960000 |527738 | 0 | 0.0 | 713M| 140 | - |1458 |2611 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
911.61/911.90 c 882s|970000 |532357 | 0 | 0.0 | 719M| 140 | - |1458 |2597 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
921.60/921.94 c 891s|980000 |536825 | 0 | 0.0 | 726M| 140 | - |1458 |2685 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
932.41/932.73 c 902s|990000 |541111 | 0 | 0.0 | 733M| 140 | - |1458 |2726 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
942.89/943.26 c 912s| 1000k|545479 | 0 | 0.0 | 740M| 140 | - |1458 |2739 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
953.19/953.50 c 922s| 1010k|549911 | 0 | 0.0 | 746M| 140 | - |1458 |2590 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
963.19/963.54 c 932s| 1020k|554482 | 0 | 0.0 | 753M| 140 | - |1458 |2662 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
973.38/973.74 c 941s| 1030k|558862 | 0 | 0.0 | 760M| 140 | - |1458 |2733 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
983.97/984.36 c 952s| 1040k|563149 | 0 | 0.0 | 766M| 140 | - |1458 |2718 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
994.57/994.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
994.57/994.93 c 962s| 1050k|567388 | 0 | 0.0 | 773M| 140 | - |1458 |2777 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1004.66/1005.08 c 972s| 1060k|571784 | 0 | 0.0 | 779M| 140 | - |1458 |2713 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
1014.87/1015.28 c 982s| 1070k|576139 | 0 | 0.0 | 786M| 140 | - |1458 |2676 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
1025.46/1025.82 c 992s| 1080k|580383 | 0 | 0.0 | 792M| 140 | - |1458 |2744 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
1036.35/1036.70 c 1002s| 1090k|584444 | 0 | 0.0 | 799M| 140 | - |1458 |2719 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
1046.95/1047.32 c 1013s| 1100k|588560 | 0 | 0.0 | 805M| 140 | - |1458 |2734 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
1057.44/1057.81 c 1023s| 1110k|592712 | 0 | 0.0 | 812M| 140 | - |1458 |2883 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
1067.75/1068.15 c 1033s| 1120k|597002 | 0 | 0.0 | 818M| 140 | - |1458 |2818 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
1078.54/1078.94 c 1043s| 1130k|601113 | 0 | 0.0 | 825M| 140 | - |1458 |2757 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
1089.44/1089.83 c 1054s| 1140k|605150 | 0 | 0.0 | 832M| 140 | - |1458 |2832 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
1100.34/1100.76 c 1065s| 1150k|609091 | 0 | 0.0 | 838M| 140 | - |1458 |2781 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
1111.03/1111.41 c 1075s| 1160k|613092 | 0 | 0.0 | 844M| 140 | - |1458 |2791 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
1121.53/1121.98 c 1085s| 1170k|617183 | 0 | 0.0 | 851M| 140 | - |1458 |2820 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
1132.33/1132.73 c 1096s| 1180k|621237 | 0 | 0.0 | 857M| 140 | - |1458 |2798 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
1143.53/1143.90 c 1106s| 1190k|625000 | 0 | 0.0 | 864M| 140 | - |1458 |2824 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
1154.42/1154.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1154.42/1154.85 c 1117s| 1200k|628877 | 0 | 0.0 | 870M| 140 | - |1458 |2817 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
1165.22/1165.61 c 1128s| 1210k|632760 | 0 | 0.0 | 876M| 140 | - |1458 |2851 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
1175.82/1176.23 c 1138s| 1220k|636738 | 0 | 0.0 | 882M| 140 | - |1458 |2699 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
1186.41/1186.85 c 1148s| 1230k|640784 | 0 | 0.0 | 889M| 140 | - |1458 |2698 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
1197.60/1198.08 c 1159s| 1240k|644442 | 0 | 0.0 | 895M| 140 | - |1458 |2813 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
1208.70/1209.18 c 1170s| 1250k|648156 | 0 | 0.0 | 901M| 140 | - |1458 |2818 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
1219.60/1220.06 c 1180s| 1260k|651940 | 0 | 0.0 | 908M| 140 | - |1458 |2741 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
1230.19/1230.66 c 1190s| 1270k|655918 | 0 | 0.0 | 914M| 140 | - |1458 |2822 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1240.79/1241.26 c 1201s| 1280k|659880 | 0 | 0.0 | 920M| 140 | - |1458 |2855 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1252.39/1252.80 c 1212s| 1290k|663342 | 0 | 0.0 | 926M| 140 | - |1458 |2872 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
1263.69/1264.15 c 1223s| 1300k|666867 | 0 | 0.0 | 933M| 140 | - |1458 |2825 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
1274.68/1275.14 c 1234s| 1310k|670518 | 0 | 0.0 | 939M| 140 | - |1458 |2795 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
1285.58/1286.03 c 1244s| 1320k|674213 | 0 | 0.0 | 945M| 140 | - |1458 |2962 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
1296.18/1296.60 c 1254s| 1330k|678207 | 0 | 0.0 | 951M| 140 | - |1458 |2985 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
1307.67/1308.14 c 1266s| 1340k|681540 | 0 | 0.0 | 958M| 140 | - |1458 |2915 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
1319.16/1319.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1319.16/1319.65 c 1277s| 1350k|684925 | 0 | 0.0 | 963M| 140 | - |1458 |2844 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
1330.57/1331.01 c 1288s| 1360k|688326 | 0 | 0.0 | 970M| 140 | - |1458 |2893 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
1341.57/1342.04 c 1299s| 1370k|691912 | 0 | 0.0 | 976M| 140 | - |1458 |2969 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
1352.36/1352.81 c 1309s| 1380k|695683 | 0 | 0.0 | 982M| 140 | - |1458 |2918 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
1363.57/1364.08 c 1320s| 1390k|699165 | 0 | 0.0 | 988M| 140 | - |1458 |2851 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
1375.25/1375.73 c 1331s| 1400k|702418 | 0 | 0.0 | 994M| 140 | - |1458 |2846 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
1386.66/1387.12 c 1342s| 1410k|705686 | 0 | 0.0 |1000M| 140 | - |1458 |2956 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
1397.55/1398.09 c 1353s| 1420k|709176 | 0 | 0.0 |1006M| 140 | - |1458 |2816 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
1408.34/1408.83 c 1363s| 1430k|712807 | 0 | 0.0 |1012M| 140 | - |1458 |2793 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
1419.14/1419.61 c 1374s| 1440k|716474 | 0 | 0.0 |1018M| 140 | - |1458 |2746 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
1431.04/1431.54 c 1386s| 1450k|719422 | 0 | 0.0 |1024M| 140 | - |1458 |2830 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
1442.54/1443.04 c 1397s| 1460k|722628 | 0 | 0.0 |1029M| 140 | - |1458 |2936 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
1453.83/1454.34 c 1408s| 1470k|725924 | 0 | 0.0 |1035M| 140 | - |1458 |2866 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
1464.82/1465.34 c 1418s| 1480k|729464 | 0 | 0.0 |1041M| 140 | - |1458 |2856 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
1475.32/1475.81 c 1428s| 1490k|733319 | 0 | 0.0 |1048M| 140 | - |1458 |2979 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
1487.51/1488.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1487.51/1488.09 c 1440s| 1500k|736090 | 0 | 0.0 |1053M| 140 | - |1458 |2899 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
1499.41/1499.94 c 1452s| 1510k|739027 | 0 | 0.0 |1059M| 140 | - |1458 |2882 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
1511.01/1511.54 c 1463s| 1520k|742122 | 0 | 0.0 |1065M| 140 | - |1458 |2905 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
1522.40/1522.91 c 1474s| 1530k|745408 | 0 | 0.0 |1071M| 140 | - |1458 |3052 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
1533.30/1533.86 c 1485s| 1540k|748960 | 0 | 0.0 |1077M| 140 | - |1458 |3039 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
1545.20/1545.72 c 1496s| 1550k|751878 | 0 | 0.0 |1083M| 140 | - |1458 |2888 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
1557.29/1557.86 c 1508s| 1560k|754659 | 0 | 0.0 |1088M| 140 | - |1458 |2922 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
1569.19/1569.76 c 1520s| 1570k|757471 | 0 | 0.0 |1094M| 140 | - |1458 |2926 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
1580.68/1581.24 c 1531s| 1580k|760518 | 0 | 0.0 |1100M| 140 | - |1458 |2874 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
1591.68/1592.26 c 1542s| 1590k|763874 | 0 | 0.0 |1106M| 140 | - |1458 |2969 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
1602.97/1603.50 c 1552s| 1600k|767059 | 0 | 0.0 |1112M| 140 | - |1458 |2871 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
1615.57/1616.11 c 1565s| 1610k|769504 | 0 | 0.0 |1117M| 140 | - |1458 |2849 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
1627.77/1628.32 c 1577s| 1620k|771999 | 0 | 0.0 |1123M| 140 | - |1458 |2932 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
1639.48/1640.04 c 1588s| 1630k|774772 | 0 | 0.0 |1128M| 140 | - |1458 |2924 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
1650.77/1651.31 c 1599s| 1640k|777876 | 0 | 0.0 |1134M| 140 | - |1458 |3013 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
1661.66/1662.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1661.66/1662.29 c 1610s| 1650k|781150 | 0 | 0.0 |1140M| 140 | - |1458 |3090 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
1673.96/1674.59 c 1622s| 1660k|783565 | 0 | 0.0 |1145M| 140 | - |1458 |2909 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
1685.76/1686.31 c 1633s| 1670k|786163 | 0 | 0.0 |1151M| 140 | - |1458 |2904 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
1697.05/1697.67 c 1644s| 1680k|788955 | 0 | 0.0 |1156M| 140 | - |1458 |3022 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
1708.05/1708.66 c 1655s| 1690k|791979 | 0 | 0.0 |1161M| 140 | - |1458 |2931 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | -- | Inf
1718.54/1719.16 c 1665s| 1700k|795343 | 0 | 0.0 |1167M| 140 | - |1458 |3007 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
1730.44/1731.02 c 1676s| 1710k|797816 | 0 | 0.0 |1173M| 140 | - |1458 |2884 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
1741.64/1742.28 c 1687s| 1720k|800549 | 0 | 0.0 |1178M| 140 | - |1458 |2928 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
1752.33/1752.92 c 1697s| 1730k|803693 | 0 | 0.0 |1183M| 140 | - |1458 |3007 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
1762.73/1763.30 c 1707s| 1740k|807069 | 0 | 0.0 |1189M| 140 | - |1458 |3005 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
1773.22/1773.83 c 1718s| 1750k|810316 | 0 | 0.0 |1194M| 140 | - |1458 |2961 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
1784.82/1785.40 c 1729s| 1760k|812793 | 0 | 0.0 |1199M| 140 | - |1458 |3001 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
1795.82/1796.45 c 1740s| 1770k|815593 | 0 | 0.0 |1205M| 140 | - |1458 |3004 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
1800.03/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.61 c
1800.03/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.61 c Solving Time (sec) : 1743.56
1800.03/1800.61 c Solving Nodes : 1773917
1800.03/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.61 c Dual Bound : +0.00000000000000e+00
1800.03/1800.61 c Gap : infinite
1800.03/1800.61 s UNKNOWN
1800.03/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.61 c Solving Time : 1743.56
1800.03/1800.61 c Original Problem :
1800.03/1800.61 c Problem name : HOME/instance-2663413-1276675620.opb
1800.03/1800.61 c Variables : 1458 (1458 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.61 c Constraints : 1560 initial, 1560 maximal
1800.03/1800.61 c Presolved Problem :
1800.03/1800.61 c Problem name : t_HOME/instance-2663413-1276675620.opb
1800.03/1800.61 c Variables : 1458 (1458 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.61 c Constraints : 1560 initial, 3990 maximal
1800.03/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c and : 0.18 0 0 0 0 0 0 0 0
1800.03/1800.61 c linear : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c root node : - 0 - - 0 - - - -
1800.03/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.61 c knapsack : 1 0 4513321 0 1299519 10213 14692382 0 0 0
1800.03/1800.61 c setppc : 200 0 4980166 0 1303821 46925 681580 0 0 0
1800.03/1800.61 c and : 1258 0 4933241 0 1303821 793 99926904 0 0 0
1800.03/1800.61 c linear : 1 0 4925539 0 1303821 402505 278859 0 0 0
1800.03/1800.61 c logicor : 100+ 0 1314490 0 1303819 26380 21046892 0 0 0
1800.03/1800.61 c countsols : 0 0 0 0 1303821 0 0 0 0 0
1800.03/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.61 c knapsack : 87.28 0.00 80.06 0.00 7.22
1800.03/1800.61 c setppc : 148.79 0.00 28.46 0.00 120.33
1800.03/1800.61 c and : 365.94 0.00 287.82 0.00 78.12
1800.03/1800.61 c linear : 340.17 0.00 338.63 0.00 1.54
1800.03/1800.61 c logicor : 153.58 0.00 143.16 0.00 10.42
1800.03/1800.61 c countsols : 0.53 0.00 0.00 0.00 0.53
1800.03/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.61 c vbounds : 2.67 1 0 0
1800.03/1800.61 c rootredcost : 2.68 0 0 0
1800.03/1800.61 c pseudoobj : 2.50 0 0 0
1800.03/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.61 c propagation : 249.40 486816 187577 510190 78.1 6 90.0 -
1800.03/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.61 c applied globally : - - - 269237 74.4 - - -
1800.03/1800.61 c applied locally : - - - 0 0.0 - - -
1800.03/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.61 c redcost : 0.00 0 0 0 0 0
1800.03/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.61 c intobj : 0.00 0 0 0 0 0
1800.03/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.61 c gomory : 0.00 0 0 0 0 0
1800.03/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.61 c cmir : 0.00 0 0 0 0 0
1800.03/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.61 c clique : 0.00 0 0 0 0 0
1800.03/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.61 c mcf : 0.00 0 0 0 0 0
1800.03/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.61 c Pricers : Time Calls Vars
1800.03/1800.61 c problem variables: 0.00 0 0
1800.03/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.61 c inference : 240.22 1303821 0 0 0 0 2607642
1800.03/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.61 c random : 0.00 0 0 0 0 0 0
1800.03/1800.61 c Primal Heuristics : Time Calls Found
1800.03/1800.61 c LP solutions : 0.00 - 0
1800.03/1800.61 c pseudo solutions : 0.00 - 0
1800.03/1800.61 c trivial : 0.00 1 0
1800.03/1800.61 c simplerounding : 0.00 0 0
1800.03/1800.61 c zirounding : 0.00 0 0
1800.03/1800.61 c rounding : 0.00 0 0
1800.03/1800.61 c shifting : 0.00 0 0
1800.03/1800.61 c intshifting : 0.00 0 0
1800.03/1800.61 c oneopt : 0.00 0 0
1800.03/1800.61 c twoopt : 0.00 0 0
1800.03/1800.61 c fixandinfer : 0.00 0 0
1800.03/1800.61 c feaspump : 0.00 0 0
1800.03/1800.61 c coefdiving : 0.00 0 0
1800.03/1800.61 c pscostdiving : 0.00 0 0
1800.03/1800.61 c fracdiving : 0.00 0 0
1800.03/1800.61 c veclendiving : 0.00 0 0
1800.03/1800.61 c intdiving : 0.00 0 0
1800.03/1800.61 c actconsdiving : 0.00 0 0
1800.03/1800.61 c objpscostdiving : 0.00 0 0
1800.03/1800.61 c rootsoldiving : 0.00 0 0
1800.03/1800.61 c linesearchdiving : 0.00 0 0
1800.03/1800.61 c guideddiving : 0.00 0 0
1800.03/1800.61 c octane : 0.00 0 0
1800.03/1800.61 c rens : 0.00 0 0
1800.03/1800.61 c rins : 0.00 0 0
1800.03/1800.61 c localbranching : 0.00 0 0
1800.03/1800.61 c mutation : 0.00 0 0
1800.03/1800.61 c crossover : 0.00 0 0
1800.03/1800.61 c dins : 0.00 0 0
1800.03/1800.61 c undercover : 0.00 0 0
1800.03/1800.61 c nlp : 0.00 0 0
1800.03/1800.61 c trysol : 0.00 0 0
1800.03/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.61 c (at root node) : - 0 0 0.00 -
1800.03/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.61 c B&B Tree :
1800.03/1800.61 c number of runs : 1
1800.03/1800.61 c nodes : 1773917
1800.03/1800.61 c nodes (total) : 1773917
1800.03/1800.61 c nodes left : 816788
1800.03/1800.61 c max depth : 140
1800.03/1800.61 c max depth (total): 140
1800.03/1800.61 c backtracks : 44253 (2.5%)
1800.03/1800.61 c delayed cutoffs : 16938
1800.03/1800.61 c repropagations : 950575 (2649247 domain reductions, 16720 cutoffs)
1800.03/1800.61 c avg switch length: 4.75
1800.03/1800.61 c switching time : 296.14
1800.03/1800.61 c Solution :
1800.03/1800.61 c Solutions found : 0 (0 improvements)
1800.03/1800.61 c Primal Bound : -
1800.03/1800.61 c Dual Bound : +0.00000000000000e+00
1800.03/1800.61 c Gap : infinite
1800.03/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.61 c Root Iterations : 0