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-2663453-1276679397.opb>
0.00/0.04 c original problem has 2892 variables (2892 bin, 0 int, 0 impl, 0 cont) and 3094 constraints
0.00/0.04 c problem read
0.00/0.04 c No objective function, only one solution is needed.
0.00/0.04 c presolving settings loaded
0.00/0.04 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.08 c presolving:
0.19/0.29 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 601 upgd conss, 20336 impls, 400 clqs
0.39/0.48 c presolving (2 rounds):
0.39/0.48 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.48 c 20336 implications, 400 cliques
0.39/0.48 c presolved problem has 2892 variables (2892 bin, 0 int, 0 impl, 0 cont) and 3094 constraints
0.39/0.48 c 1 constraints of type <knapsack>
0.39/0.48 c 400 constraints of type <setppc>
0.39/0.48 c 2492 constraints of type <and>
0.39/0.48 c 1 constraints of type <linear>
0.39/0.48 c 200 constraints of type <logicor>
0.39/0.48 c transformed objective value is always integral (scale: 1)
0.39/0.48 c Presolving Time: 0.23
0.39/0.48 c - non default parameters ----------------------------------------------------------------------
0.39/0.48 c # SCIP version 1.2.1.2
0.39/0.48 c
0.39/0.48 c # frequency for displaying node information lines
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.48 c display/freq = 10000
0.39/0.48 c
0.39/0.48 c # maximal time in seconds to run
0.39/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.48 c limits/time = 1799.97
0.39/0.48 c
0.39/0.48 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.48 c limits/memory = 1620
0.39/0.48 c
0.39/0.48 c # solving stops, if the given number of solutions were found (-1: no limit)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.48 c limits/solutions = 1
0.39/0.48 c
0.39/0.48 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.48 c lp/solvefreq = -1
0.39/0.48 c
0.39/0.48 c # maximal number of separation rounds per node (-1: unlimited)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 5]
0.39/0.48 c separating/maxrounds = 1
0.39/0.48 c
0.39/0.48 c # maximal number of separation rounds in the root node (-1: unlimited)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.48 c separating/maxroundsroot = 5
0.39/0.48 c
0.39/0.48 c # should presolving try to simplify inequalities
0.39/0.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.48 c constraints/linear/simplifyinequalities = TRUE
0.39/0.48 c
0.39/0.48 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.39/0.48 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.39/0.48 c constraints/knapsack/disaggregation = FALSE
0.39/0.48 c
0.39/0.48 c # should presolving try to simplify knapsacks
0.39/0.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.48 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.48 c
0.39/0.48 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.48 c presolving/probing/maxrounds = 0
0.39/0.48 c
0.39/0.48 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.48 c heuristics/coefdiving/freq = -1
0.39/0.48 c
0.39/0.48 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.48 c heuristics/coefdiving/maxlpiterquot = 0.075
0.39/0.48 c
0.39/0.48 c # additional number of allowed LP iterations
0.39/0.48 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.48 c heuristics/coefdiving/maxlpiterofs = 1500
0.39/0.48 c
0.39/0.48 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 30]
0.39/0.48 c heuristics/crossover/freq = -1
0.39/0.48 c
0.39/0.48 c # number of nodes added to the contingent of the total nodes
0.39/0.48 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.48 c heuristics/crossover/nodesofs = 750
0.39/0.48 c
0.39/0.48 c # number of nodes without incumbent change that heuristic should wait
0.39/0.48 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.39/0.48 c heuristics/crossover/nwaitingnodes = 100
0.39/0.48 c
0.39/0.48 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.39/0.48 c # [type: real, range: [0,1], default: 0.1]
0.39/0.48 c heuristics/crossover/nodesquot = 0.15
0.39/0.48 c
0.39/0.48 c # minimum percentage of integer variables that have to be fixed
0.39/0.48 c # [type: real, range: [0,1], default: 0.666]
0.39/0.48 c heuristics/crossover/minfixingrate = 0.5
0.39/0.48 c
0.39/0.48 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.48 c heuristics/feaspump/freq = -1
0.39/0.48 c
0.39/0.48 c # additional number of allowed LP iterations
0.39/0.48 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.48 c heuristics/feaspump/maxlpiterofs = 2000
0.39/0.48 c
0.39/0.48 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.48 c heuristics/fracdiving/freq = -1
0.39/0.48 c
0.39/0.48 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.48 c heuristics/fracdiving/maxlpiterquot = 0.075
0.39/0.48 c
0.39/0.48 c # additional number of allowed LP iterations
0.39/0.48 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.48 c heuristics/fracdiving/maxlpiterofs = 1500
0.39/0.48 c
0.39/0.48 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.48 c heuristics/guideddiving/freq = -1
0.39/0.48 c
0.39/0.48 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.48 c heuristics/guideddiving/maxlpiterquot = 0.075
0.39/0.48 c
0.39/0.48 c # additional number of allowed LP iterations
0.39/0.48 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.48 c heuristics/guideddiving/maxlpiterofs = 1500
0.39/0.48 c
0.39/0.48 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.48 c heuristics/intdiving/maxlpiterquot = 0.075
0.39/0.48 c
0.39/0.48 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.48 c heuristics/intshifting/freq = -1
0.39/0.48 c
0.39/0.48 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.48 c heuristics/linesearchdiving/freq = -1
0.39/0.48 c
0.39/0.48 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.48 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.39/0.48 c
0.39/0.48 c # additional number of allowed LP iterations
0.39/0.48 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.48 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.39/0.48 c
0.39/0.48 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.48 c heuristics/nlp/freq = -1
0.39/0.48 c
0.39/0.48 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.48 c heuristics/objpscostdiving/freq = -1
0.39/0.48 c
0.39/0.48 c # maximal fraction of diving LP iterations compared to total iteration number
0.39/0.48 c # [type: real, range: [0,1], default: 0.01]
0.39/0.48 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.39/0.48 c
0.39/0.48 c # additional number of allowed LP iterations
0.39/0.49 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.49 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.39/0.49 c
0.39/0.49 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.49 c heuristics/oneopt/freq = -1
0.39/0.49 c
0.39/0.49 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.49 c heuristics/pscostdiving/freq = -1
0.39/0.49 c
0.39/0.49 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.49 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.49 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.39/0.49 c
0.39/0.49 c # additional number of allowed LP iterations
0.39/0.49 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.49 c heuristics/pscostdiving/maxlpiterofs = 1500
0.39/0.49 c
0.39/0.49 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.49 c heuristics/rens/freq = -1
0.39/0.49 c
0.39/0.49 c # minimum percentage of integer variables that have to be fixable
0.39/0.49 c # [type: real, range: [0,1], default: 0.5]
0.39/0.49 c heuristics/rens/minfixingrate = 0.3
0.39/0.49 c
0.39/0.49 c # number of nodes added to the contingent of the total nodes
0.39/0.49 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.49 c heuristics/rens/nodesofs = 2000
0.39/0.49 c
0.39/0.49 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.49 c heuristics/rootsoldiving/freq = -1
0.39/0.49 c
0.39/0.49 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.49 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.39/0.49 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.39/0.49 c
0.39/0.49 c # additional number of allowed LP iterations
0.39/0.49 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.49 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.39/0.49 c
0.39/0.49 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.49 c heuristics/rounding/freq = -1
0.39/0.49 c
0.39/0.49 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.49 c heuristics/shifting/freq = -1
0.39/0.49 c
0.39/0.49 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.49 c heuristics/simplerounding/freq = -1
0.39/0.49 c
0.39/0.49 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.49 c heuristics/trivial/freq = -1
0.39/0.49 c
0.39/0.49 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.49 c heuristics/trysol/freq = -1
0.39/0.49 c
0.39/0.49 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.49 c heuristics/veclendiving/freq = -1
0.39/0.49 c
0.39/0.49 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.49 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.49 c heuristics/veclendiving/maxlpiterquot = 0.075
0.39/0.49 c
0.39/0.49 c # additional number of allowed LP iterations
0.39/0.49 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.49 c heuristics/veclendiving/maxlpiterofs = 1500
0.39/0.49 c
0.39/0.49 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.49 c heuristics/zirounding/freq = -1
0.39/0.49 c
0.39/0.49 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.49 c separating/cmir/freq = -1
0.39/0.49 c
0.39/0.49 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.49 c separating/flowcover/freq = -1
0.39/0.49 c
0.39/0.49 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.49 c separating/rapidlearning/freq = 0
0.39/0.49 c
0.39/0.49 c -----------------------------------------------------------------------------------------------
0.39/0.49 c start solving
0.39/0.49 c
0.39/0.49 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.49 c 0.2s| 1 | 2 | 0 | - |7944k| 0 | - |2892 |3094 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
13.78/13.86 c 13.3s| 10000 | 9737 | 0 | 0.0 | 17M| 481 | - |2892 |3216 | 0 | 0 | 0 | 205 | 0 | 0.000000e+00 | -- | Inf
23.28/23.34 c 22.5s| 20000 | 19539 | 0 | 0.0 | 24M| 481 | - |2892 |3339 | 0 | 0 | 0 | 368 | 0 | 0.000000e+00 | -- | Inf
29.88/29.91 c 28.9s| 30000 | 29226 | 0 | 0.0 | 31M| 481 | - |2892 |3505 | 0 | 0 | 0 | 628 | 0 | 0.000000e+00 | -- | Inf
37.78/37.81 c 36.3s| 40000 | 34849 | 0 | 0.0 | 36M| 481 | - |2892 |4323 | 0 | 0 | 0 |2928 | 0 | 0.000000e+00 | -- | Inf
52.28/52.38 c 50.6s| 50000 | 44338 | 0 | 0.0 | 42M| 481 | - |2892 |3361 | 0 | 0 | 0 |3228 | 0 | 0.000000e+00 | -- | Inf
66.87/66.90 c 64.9s| 60000 | 54007 | 0 | 0.0 | 51M| 481 | - |2892 |3430 | 0 | 0 | 0 |3452 | 0 | 0.000000e+00 | -- | Inf
80.28/80.34 c 78.0s| 70000 | 63800 | 0 | 0.0 | 59M| 481 | - |2892 |3422 | 0 | 0 | 0 |3615 | 0 | 0.000000e+00 | -- | Inf
94.16/94.23 c 91.6s| 80000 | 73555 | 0 | 0.0 | 68M| 481 | - |2892 |3454 | 0 | 0 | 0 |3802 | 0 | 0.000000e+00 | -- | Inf
108.06/108.16 c 105s| 90000 | 83358 | 0 | 0.0 | 76M| 481 | - |2892 |3429 | 0 | 0 | 0 |3951 | 0 | 0.000000e+00 | -- | Inf
121.65/121.75 c 119s|100000 | 93156 | 0 | 0.0 | 85M| 481 | - |2892 |3419 | 0 | 0 | 0 |4102 | 0 | 0.000000e+00 | -- | Inf
134.86/134.90 c 131s|110000 |102964 | 0 | 0.0 | 93M| 481 | - |2892 |3430 | 0 | 0 | 0 |4251 | 0 | 0.000000e+00 | -- | Inf
147.95/148.04 c 144s|120000 |112737 | 0 | 0.0 | 102M| 481 | - |2892 |3471 | 0 | 0 | 0 |4434 | 0 | 0.000000e+00 | -- | Inf
161.05/161.11 c 157s|130000 |122525 | 0 | 0.0 | 110M| 481 | - |2892 |3498 | 0 | 0 | 0 |4606 | 0 | 0.000000e+00 | -- | Inf
173.24/173.39 c 169s|140000 |132343 | 0 | 0.0 | 118M| 481 | - |2892 |3510 | 0 | 0 | 0 |4760 | 0 | 0.000000e+00 | -- | Inf
185.75/185.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
185.75/185.88 c 181s|150000 |142126 | 0 | 0.0 | 127M| 481 | - |2892 |3532 | 0 | 0 | 0 |4936 | 0 | 0.000000e+00 | -- | Inf
198.24/198.32 c 193s|160000 |151882 | 0 | 0.0 | 135M| 481 | - |2892 |3560 | 0 | 0 | 0 |5130 | 0 | 0.000000e+00 | -- | Inf
210.43/210.59 c 205s|170000 |161690 | 0 | 0.0 | 143M| 481 | - |2892 |3596 | 0 | 0 | 0 |5306 | 0 | 0.000000e+00 | -- | Inf
222.83/222.96 c 218s|180000 |171437 | 0 | 0.0 | 152M| 481 | - |2892 |3618 | 0 | 0 | 0 |5496 | 0 | 0.000000e+00 | -- | Inf
235.42/235.57 c 230s|190000 |181245 | 0 | 0.0 | 160M| 481 | - |2892 |3641 | 0 | 0 | 0 |5653 | 0 | 0.000000e+00 | -- | Inf
248.32/248.46 c 243s|200000 |191020 | 0 | 0.0 | 168M| 481 | - |2892 |3650 | 0 | 0 | 0 |5831 | 0 | 0.000000e+00 | -- | Inf
260.32/260.45 c 254s|210000 |200825 | 0 | 0.0 | 177M| 481 | - |2892 |3655 | 0 | 0 | 0 |5997 | 0 | 0.000000e+00 | -- | Inf
272.32/272.48 c 266s|220000 |210633 | 0 | 0.0 | 185M| 481 | - |2892 |3676 | 0 | 0 | 0 |6159 | 0 | 0.000000e+00 | -- | Inf
285.02/285.14 c 278s|230000 |220397 | 0 | 0.0 | 193M| 481 | - |2892 |3696 | 0 | 0 | 0 |6339 | 0 | 0.000000e+00 | -- | Inf
297.01/297.14 c 290s|240000 |230206 | 0 | 0.0 | 202M| 481 | - |2892 |3702 | 0 | 0 | 0 |6492 | 0 | 0.000000e+00 | -- | Inf
309.01/309.15 c 302s|250000 |239982 | 0 | 0.0 | 210M| 481 | - |2892 |3716 | 0 | 0 | 0 |6667 | 0 | 0.000000e+00 | -- | Inf
320.70/320.85 c 313s|260000 |249791 | 0 | 0.0 | 218M| 481 | - |2892 |3737 | 0 | 0 | 0 |6828 | 0 | 0.000000e+00 | -- | Inf
332.40/332.50 c 325s|270000 |259591 | 0 | 0.0 | 226M| 481 | - |2892 |3753 | 0 | 0 | 0 |6988 | 0 | 0.000000e+00 | -- | Inf
344.30/344.45 c 336s|280000 |269375 | 0 | 0.0 | 235M| 481 | - |2892 |3782 | 0 | 0 | 0 |7162 | 0 | 0.000000e+00 | -- | Inf
355.99/356.11 c 348s|290000 |279175 | 0 | 0.0 | 243M| 481 | - |2892 |3798 | 0 | 0 | 0 |7330 | 0 | 0.000000e+00 | -- | Inf
367.79/367.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
367.79/367.94 c 359s|300000 |288937 | 0 | 0.0 | 251M| 481 | - |2892 |3833 | 0 | 0 | 0 |7523 | 0 | 0.000000e+00 | -- | Inf
379.19/379.32 c 371s|310000 |298730 | 0 | 0.0 | 259M| 481 | - |2892 |3859 | 0 | 0 | 0 |7696 | 0 | 0.000000e+00 | -- | Inf
390.58/390.76 c 382s|320000 |308526 | 0 | 0.0 | 267M| 481 | - |2892 |3870 | 0 | 0 | 0 |7866 | 0 | 0.000000e+00 | -- | Inf
401.88/402.08 c 393s|330000 |318312 | 0 | 0.0 | 276M| 481 | - |2892 |3903 | 0 | 0 | 0 |8056 | 0 | 0.000000e+00 | -- | Inf
413.08/413.29 c 404s|340000 |328036 | 0 | 0.0 | 284M| 481 | - |2892 |3934 | 0 | 0 | 0 |8255 | 0 | 0.000000e+00 | -- | Inf
424.28/424.45 c 415s|350000 |337818 | 0 | 0.0 | 292M| 481 | - |2892 |3951 | 0 | 0 | 0 |8439 | 0 | 0.000000e+00 | -- | Inf
435.27/435.43 c 425s|360000 |347603 | 0 | 0.0 | 300M| 481 | - |2892 |3976 | 0 | 0 | 0 |8633 | 0 | 0.000000e+00 | -- | Inf
446.17/446.39 c 436s|370000 |357390 | 0 | 0.0 | 308M| 481 | - |2892 |3983 | 0 | 0 | 0 |8820 | 0 | 0.000000e+00 | -- | Inf
457.27/457.46 c 447s|380000 |367157 | 0 | 0.0 | 316M| 481 | - |2892 |4024 | 0 | 0 | 0 |9024 | 0 | 0.000000e+00 | -- | Inf
468.26/468.46 c 457s|390000 |376950 | 0 | 0.0 | 325M| 481 | - |2892 |4036 | 0 | 0 | 0 |9197 | 0 | 0.000000e+00 | -- | Inf
478.96/479.14 c 468s|400000 |386750 | 0 | 0.0 | 333M| 481 | - |2892 |4060 | 0 | 0 | 0 |9383 | 0 | 0.000000e+00 | -- | Inf
489.86/490.05 c 479s|410000 |396535 | 0 | 0.0 | 341M| 481 | - |2892 |4079 | 0 | 0 | 0 |9567 | 0 | 0.000000e+00 | -- | Inf
500.55/500.77 c 489s|420000 |406313 | 0 | 0.0 | 349M| 481 | - |2892 |4107 | 0 | 0 | 0 |9755 | 0 | 0.000000e+00 | -- | Inf
511.26/511.42 c 499s|430000 |416070 | 0 | 0.0 | 357M| 481 | - |2892 |4122 | 0 | 0 | 0 |9967 | 0 | 0.000000e+00 | -- | Inf
522.15/522.30 c 510s|440000 |425847 | 0 | 0.0 | 365M| 481 | - |2892 |4157 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
532.65/532.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
532.65/532.89 c 520s|450000 |435612 | 0 | 0.0 | 374M| 481 | - |2892 |4192 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
543.44/543.64 c 531s|460000 |445358 | 0 | 0.0 | 382M| 481 | - |2892 |4209 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
554.04/554.23 c 541s|470000 |455129 | 0 | 0.0 | 390M| 481 | - |2892 |4231 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
564.63/564.88 c 552s|480000 |464881 | 0 | 0.0 | 398M| 481 | - |2892 |4238 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
575.53/575.79 c 562s|490000 |474636 | 0 | 0.0 | 406M| 481 | - |2892 |4267 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
586.13/586.38 c 572s|500000 |484366 | 0 | 0.0 | 414M| 481 | - |2892 |4289 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
596.93/597.13 c 583s|510000 |494089 | 0 | 0.0 | 423M| 481 | - |2892 |4306 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
607.43/607.60 c 593s|520000 |503832 | 0 | 0.0 | 431M| 481 | - |2892 |4311 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
617.63/617.85 c 603s|530000 |513591 | 0 | 0.0 | 439M| 481 | - |2892 |4339 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
628.02/628.24 c 613s|540000 |523335 | 0 | 0.0 | 447M| 481 | - |2892 |4349 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
638.61/638.82 c 624s|550000 |533044 | 0 | 0.0 | 456M| 481 | - |2892 |4380 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
649.11/649.39 c 634s|560000 |542746 | 0 | 0.0 | 464M| 481 | - |2892 |4359 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
659.41/659.66 c 644s|570000 |552456 | 0 | 0.0 | 472M| 481 | - |2892 |4385 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
669.81/670.07 c 654s|580000 |562169 | 0 | 0.0 | 480M| 481 | - |2892 |4415 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
680.31/680.50 c 664s|590000 |571875 | 0 | 0.0 | 488M| 481 | - |2892 |4441 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
690.30/690.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
690.30/690.51 c 674s|600000 |581612 | 0 | 0.0 | 496M| 481 | - |2892 |4450 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
700.60/700.86 c 684s|610000 |591321 | 0 | 0.0 | 504M| 481 | - |2892 |4475 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
710.49/710.79 c 694s|620000 |601051 | 0 | 0.0 | 513M| 481 | - |2892 |4494 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
720.60/720.88 c 704s|630000 |610734 | 0 | 0.0 | 521M| 481 | - |2892 |4533 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
730.20/730.48 c 713s|640000 |620478 | 0 | 0.0 | 529M| 481 | - |2892 |4518 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
740.09/740.34 c 723s|650000 |630187 | 0 | 0.0 | 537M| 481 | - |2892 |4564 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
750.19/750.43 c 732s|660000 |639853 | 0 | 0.0 | 545M| 481 | - |2892 |4551 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
759.98/760.21 c 742s|670000 |649528 | 0 | 0.0 | 553M| 481 | - |2892 |4578 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
769.98/770.23 c 752s|680000 |659202 | 0 | 0.0 | 561M| 481 | - |2892 |4608 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
779.78/780.05 c 761s|690000 |668888 | 0 | 0.0 | 569M| 481 | - |2892 |4649 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
789.28/789.59 c 770s|700000 |678589 | 0 | 0.0 | 577M| 481 | - |2892 |4654 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
798.98/799.21 c 780s|710000 |688302 | 0 | 0.0 | 585M| 481 | - |2892 |4700 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
808.27/808.59 c 789s|720000 |698026 | 0 | 0.0 | 593M| 481 | - |2892 |4717 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
817.87/818.12 c 798s|730000 |707742 | 0 | 0.0 | 601M| 481 | - |2892 |4724 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
827.37/827.62 c 808s|740000 |717422 | 0 | 0.0 | 609M| 481 | - |2892 |4759 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
836.77/837.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
836.77/837.06 c 817s|750000 |727116 | 0 | 0.0 | 617M| 481 | - |2892 |4766 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
846.26/846.56 c 826s|760000 |736802 | 0 | 0.0 | 625M| 481 | - |2892 |4803 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
855.57/855.84 c 835s|770000 |746505 | 0 | 0.0 | 633M| 481 | - |2892 |4827 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
864.95/865.21 c 844s|780000 |756191 | 0 | 0.0 | 642M| 481 | - |2892 |4851 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
874.55/874.84 c 853s|790000 |765840 | 0 | 0.0 | 650M| 481 | - |2892 |4894 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
883.65/883.96 c 862s|800000 |775530 | 0 | 0.0 | 658M| 481 | - |2892 |4910 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
893.05/893.31 c 871s|810000 |785200 | 0 | 0.0 | 666M| 481 | - |2892 |4935 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
902.24/902.52 c 880s|820000 |794864 | 0 | 0.0 | 674M| 481 | - |2892 |4958 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
911.34/911.61 c 889s|830000 |804551 | 0 | 0.0 | 682M| 481 | - |2892 |4971 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
920.54/920.86 c 898s|840000 |814200 | 0 | 0.0 | 690M| 481 | - |2892 |5019 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
929.54/929.85 c 907s|850000 |823870 | 0 | 0.0 | 698M| 481 | - |2892 |5028 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
938.53/938.80 c 915s|860000 |833556 | 0 | 0.0 | 706M| 481 | - |2892 |5059 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
947.43/947.70 c 924s|870000 |843245 | 0 | 0.0 | 715M| 481 | - |2892 |5111 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
956.42/956.78 c 933s|880000 |852886 | 0 | 0.0 | 723M| 481 | - |2892 |5142 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
965.44/965.77 c 942s|890000 |862568 | 0 | 0.0 | 731M| 481 | - |2892 |5171 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
974.52/974.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
974.52/974.89 c 951s|900000 |872198 | 0 | 0.0 | 739M| 481 | - |2892 |5209 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
983.72/984.02 c 959s|910000 |881832 | 0 | 0.0 | 747M| 481 | - |2892 |5242 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
992.62/992.94 c 968s|920000 |891464 | 0 | 0.0 | 756M| 481 | - |2892 |5262 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1001.83/1002.13 c 977s|930000 |901067 | 0 | 0.0 | 764M| 481 | - |2892 |5325 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1010.91/1011.25 c 986s|940000 |910636 | 0 | 0.0 | 772M| 481 | - |2892 |5364 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1019.92/1020.22 c 994s|950000 |920238 | 0 | 0.0 | 780M| 481 | - |2892 |5358 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1028.91/1029.24 c 1003s|960000 |929846 | 0 | 0.0 | 789M| 481 | - |2892 |5384 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1037.70/1038.09 c 1012s|970000 |939455 | 0 | 0.0 | 797M| 481 | - |2892 |5412 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1047.21/1047.50 c 1021s|980000 |948961 | 0 | 0.0 | 805M| 481 | - |2892 |5454 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1055.71/1056.08 c 1029s|990000 |958615 | 0 | 0.0 | 813M| 481 | - |2892 |5452 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1064.50/1064.89 c 1038s| 1000k|968209 | 0 | 0.0 | 822M| 481 | - |2892 |5460 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1073.20/1073.58 c 1046s| 1010k|977807 | 0 | 0.0 | 830M| 481 | - |2892 |5480 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1082.00/1082.35 c 1055s| 1020k|987351 | 0 | 0.0 | 838M| 481 | - |2892 |5503 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1090.69/1091.08 c 1063s| 1030k|996942 | 0 | 0.0 | 846M| 481 | - |2892 |5567 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1099.60/1099.98 c 1072s| 1040k| 1006k| 0 | 0.0 | 855M| 481 | - |2892 |5594 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1108.50/1108.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1108.50/1108.83 c 1080s| 1050k| 1016k| 0 | 0.0 | 863M| 481 | - |2892 |5610 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1117.29/1117.61 c 1089s| 1060k| 1025k| 0 | 0.0 | 871M| 481 | - |2892 |5609 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1125.79/1126.16 c 1097s| 1070k| 1035k| 0 | 0.0 | 879M| 481 | - |2892 |5645 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1134.38/1134.71 c 1105s| 1080k| 1044k| 0 | 0.0 | 888M| 481 | - |2892 |5686 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1143.08/1143.41 c 1114s| 1090k| 1054k| 0 | 0.0 | 896M| 481 | - |2892 |5716 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1151.98/1152.32 c 1122s| 1100k| 1063k| 0 | 0.0 | 905M| 481 | - |2892 |5780 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1160.78/1161.12 c 1131s| 1110k| 1073k| 0 | 0.0 | 913M| 481 | - |2892 |5805 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1169.47/1169.80 c 1139s| 1120k| 1082k| 0 | 0.0 | 921M| 481 | - |2892 |5798 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1178.07/1178.49 c 1148s| 1130k| 1092k| 0 | 0.0 | 930M| 481 | - |2892 |5818 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1186.67/1187.06 c 1156s| 1140k| 1101k| 0 | 0.0 | 938M| 481 | - |2892 |5834 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1195.27/1195.63 c 1165s| 1150k| 1111k| 0 | 0.0 | 946M| 481 | - |2892 |5874 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1204.07/1204.41 c 1173s| 1160k| 1120k| 0 | 0.0 | 955M| 481 | - |2892 |5884 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1212.66/1213.06 c 1181s| 1170k| 1130k| 0 | 0.0 | 963M| 481 | - |2892 |5881 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1221.26/1221.68 c 1190s| 1180k| 1139k| 0 | 0.0 | 972M| 481 | - |2892 |5955 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1230.06/1230.43 c 1198s| 1190k| 1149k| 0 | 0.0 | 980M| 481 | - |2892 |5986 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1238.75/1239.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1238.75/1239.14 c 1207s| 1200k| 1158k| 0 | 0.0 | 988M| 481 | - |2892 |6045 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1247.45/1247.81 c 1215s| 1210k| 1167k| 0 | 0.0 | 997M| 481 | - |2892 |6055 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1255.86/1256.27 c 1223s| 1220k| 1177k| 0 | 0.0 |1005M| 481 | - |2892 |6074 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1264.45/1264.87 c 1232s| 1230k| 1186k| 0 | 0.0 |1014M| 481 | - |2892 |6114 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1273.04/1273.49 c 1240s| 1240k| 1196k| 0 | 0.0 |1022M| 481 | - |2892 |6144 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1281.74/1282.17 c 1248s| 1250k| 1205k| 0 | 0.0 |1030M| 481 | - |2892 |6197 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1290.23/1290.60 c 1257s| 1260k| 1215k| 0 | 0.0 |1039M| 481 | - |2892 |6192 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1298.83/1299.27 c 1265s| 1270k| 1224k| 0 | 0.0 |1047M| 481 | - |2892 |6245 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1307.43/1307.85 c 1273s| 1280k| 1233k| 0 | 0.0 |1056M| 481 | - |2892 |6276 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1315.83/1316.23 c 1281s| 1290k| 1243k| 0 | 0.0 |1064M| 481 | - |2892 |6322 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1324.23/1324.67 c 1290s| 1300k| 1252k| 0 | 0.0 |1073M| 481 | - |2892 |6392 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1332.84/1333.26 c 1298s| 1310k| 1261k| 0 | 0.0 |1082M| 481 | - |2892 |6413 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1341.53/1341.95 c 1306s| 1320k| 1271k| 0 | 0.0 |1090M| 481 | - |2892 |6394 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1350.22/1350.64 c 1315s| 1330k| 1280k| 0 | 0.0 |1099M| 481 | - |2892 |6440 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1358.82/1359.24 c 1323s| 1340k| 1289k| 0 | 0.0 |1107M| 481 | - |2892 |6446 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1367.22/1367.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1367.22/1367.61 c 1331s| 1350k| 1299k| 0 | 0.0 |1116M| 481 | - |2892 |6471 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1375.71/1376.14 c 1339s| 1360k| 1308k| 0 | 0.0 |1124M| 481 | - |2892 |6466 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1384.11/1384.51 c 1348s| 1370k| 1317k| 0 | 0.0 |1133M| 481 | - |2892 |6493 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1392.51/1392.96 c 1356s| 1380k| 1327k| 0 | 0.0 |1142M| 481 | - |2892 |6546 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1400.91/1401.34 c 1364s| 1390k| 1336k| 0 | 0.0 |1150M| 481 | - |2892 |6582 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1409.60/1410.02 c 1372s| 1400k| 1345k| 0 | 0.0 |1159M| 481 | - |2892 |6593 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1418.10/1418.59 c 1381s| 1410k| 1354k| 0 | 0.0 |1167M| 481 | - |2892 |6608 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1426.60/1427.04 c 1389s| 1420k| 1364k| 0 | 0.0 |1176M| 481 | - |2892 |6614 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1435.30/1435.72 c 1397s| 1430k| 1373k| 0 | 0.0 |1185M| 481 | - |2892 |6644 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1443.60/1444.08 c 1405s| 1440k| 1382k| 0 | 0.0 |1193M| 481 | - |2892 |6667 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1452.39/1452.80 c 1414s| 1450k| 1391k| 0 | 0.0 |1202M| 481 | - |2892 |6723 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1461.08/1461.52 c 1422s| 1460k| 1400k| 0 | 0.0 |1211M| 481 | - |2892 |6747 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1469.59/1470.05 c 1430s| 1470k| 1409k| 0 | 0.0 |1220M| 481 | - |2892 |6774 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1478.08/1478.55 c 1439s| 1480k| 1418k| 0 | 0.0 |1228M| 481 | - |2892 |6771 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
1486.58/1487.02 c 1447s| 1490k| 1428k| 0 | 0.0 |1237M| 481 | - |2892 |6800 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1495.18/1495.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1495.18/1495.69 c 1455s| 1500k| 1437k| 0 | 0.0 |1246M| 481 | - |2892 |6837 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1503.67/1504.16 c 1464s| 1510k| 1446k| 0 | 0.0 |1255M| 481 | - |2892 |6901 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
1512.27/1512.76 c 1472s| 1520k| 1455k| 0 | 0.0 |1264M| 481 | - |2892 |6899 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1520.97/1521.41 c 1480s| 1530k| 1464k| 0 | 0.0 |1273M| 481 | - |2892 |6960 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1529.47/1529.95 c 1489s| 1540k| 1473k| 0 | 0.0 |1282M| 481 | - |2892 |7026 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1538.17/1538.61 c 1497s| 1550k| 1482k| 0 | 0.0 |1291M| 481 | - |2892 |7079 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1547.17/1547.61 c 1506s| 1560k| 1491k| 0 | 0.0 |1300M| 481 | - |2892 |7065 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1555.66/1556.19 c 1514s| 1570k| 1500k| 0 | 0.0 |1309M| 481 | - |2892 |7104 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
1564.26/1564.77 c 1522s| 1580k| 1508k| 0 | 0.0 |1318M| 481 | - |2892 |7204 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1572.75/1573.22 c 1530s| 1590k| 1517k| 0 | 0.0 |1327M| 481 | - |2892 |7226 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1581.05/1581.55 c 1538s| 1600k| 1526k| 0 | 0.0 |1336M| 481 | - |2892 |7306 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1589.96/1590.47 c 1547s| 1610k| 1535k| 0 | 0.0 |1346M| 481 | - |2892 |7358 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
1598.75/1599.25 c 1556s| 1620k| 1544k| 0 | 0.0 |1355M| 481 | - |2892 |7441 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
1602.16/1602.62 c (node 1624020) switching to memory saving mode (mem: 1296.0M/1620.0M)
1613.54/1614.06 c 1570s| 1630k| 1548k| 0 | 0.0 |1358M| 481 | - |2892 |7368 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
1632.54/1633.09 c 1589s| 1640k| 1548k| 0 | 0.0 |1359M| 481 | - |2892 |7351 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
1653.53/1654.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1653.53/1654.08 c 1610s| 1650k| 1548k| 0 | 0.0 |1358M| 481 | - |2892 |7351 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
1673.13/1673.64 c 1629s| 1660k| 1548k| 0 | 0.0 |1359M| 481 | - |2892 |7343 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
1692.43/1692.94 c 1648s| 1670k| 1548k| 0 | 0.0 |1358M| 481 | - |2892 |7340 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
1713.23/1713.76 c 1668s| 1680k| 1548k| 0 | 0.0 |1359M| 481 | - |2892 |7359 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1735.11/1735.69 c 1690s| 1690k| 1548k| 0 | 0.0 |1358M| 481 | - |2892 |7348 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1757.11/1757.66 c 1711s| 1700k| 1548k| 0 | 0.0 |1359M| 481 | - |2892 |7371 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1778.90/1779.41 c 1733s| 1710k| 1548k| 0 | 0.0 |1359M| 481 | - |2892 |7360 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1800.00/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.00/1800.51 c
1800.00/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.51 c Solving Time (sec) : 1753.75
1800.00/1800.51 c Solving Nodes : 1719004
1800.00/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.00/1800.51 c Dual Bound : +0.00000000000000e+00
1800.00/1800.51 c Gap : infinite
1800.00/1800.51 s UNKNOWN
1800.00/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.51 c Solving Time : 1753.75
1800.00/1800.51 c Original Problem :
1800.00/1800.51 c Problem name : HOME/instance-2663453-1276679397.opb
1800.00/1800.51 c Variables : 2892 (2892 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.51 c Constraints : 3094 initial, 3094 maximal
1800.00/1800.51 c Presolved Problem :
1800.00/1800.51 c Problem name : t_HOME/instance-2663453-1276679397.opb
1800.00/1800.51 c Variables : 2892 (2892 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.51 c Constraints : 3094 initial, 7470 maximal
1800.00/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.00/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c probing : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c knapsack : 0.01 0 0 0 0 0 0 0 0
1800.00/1800.51 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c and : 0.18 0 0 0 0 0 0 0 0
1800.00/1800.51 c linear : 0.03 0 0 0 0 0 0 0 0
1800.00/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c root node : - 0 - - 0 - - - -
1800.00/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.00/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.00/1800.51 c knapsack : 1 0 2664473 0 1142412 11213 2157635 0 0 0
1800.00/1800.51 c setppc : 400 0 3645016 0 1594036 34192 186985 0 0 0
1800.00/1800.51 c and : 2492 0 3956896 0 1646566 210 15922280 0 0 0
1800.00/1800.51 c linear : 1 0 3937794 0 1646566 47829 1084394 0 0 0
1800.00/1800.51 c logicor : 200+ 0 205763 0 1646478 4969 2224280 0 0 0
1800.00/1800.51 c countsols : 0 0 0 0 1646566 0 0 0 0 0
1800.00/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.00/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.51 c knapsack : 76.42 0.00 61.00 0.00 15.42
1800.00/1800.51 c setppc : 299.12 0.00 52.25 0.00 246.87
1800.00/1800.51 c and : 302.23 0.00 134.50 0.00 167.73
1800.00/1800.51 c linear : 286.13 0.00 283.74 0.00 2.39
1800.00/1800.51 c logicor : 86.61 0.00 51.38 0.00 35.23
1800.00/1800.51 c countsols : 0.82 0.00 0.00 0.00 0.82
1800.00/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.00/1800.51 c vbounds : 2.10 1 0 0
1800.00/1800.51 c rootredcost : 2.18 0 0 0
1800.00/1800.51 c pseudoobj : 2.03 0 0 0
1800.00/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.51 c propagation : 188.31 98413 98185 555721 340.6 35 217.9 -
1800.00/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.00/1800.51 c applied globally : - - - 59806 143.5 - - -
1800.00/1800.51 c applied locally : - - - 53218 338.6 - - -
1800.00/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.00/1800.51 c redcost : 0.00 0 0 0 0 0
1800.00/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.00/1800.51 c intobj : 0.00 0 0 0 0 0
1800.00/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.51 c gomory : 0.00 0 0 0 0 0
1800.00/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.00/1800.51 c cmir : 0.00 0 0 0 0 0
1800.00/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.00/1800.51 c clique : 0.00 0 0 0 0 0
1800.00/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.51 c mcf : 0.00 0 0 0 0 0
1800.00/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.00/1800.51 c Pricers : Time Calls Vars
1800.00/1800.51 c problem variables: 0.00 0 0
1800.00/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.00/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.51 c inference : 484.93 1646566 0 0 0 0 3293132
1800.00/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.51 c random : 0.00 0 0 0 0 0 0
1800.00/1800.51 c Primal Heuristics : Time Calls Found
1800.00/1800.51 c LP solutions : 0.00 - 0
1800.00/1800.51 c pseudo solutions : 0.00 - 0
1800.00/1800.51 c trivial : 0.00 1 0
1800.00/1800.51 c simplerounding : 0.00 0 0
1800.00/1800.51 c zirounding : 0.00 0 0
1800.00/1800.51 c rounding : 0.00 0 0
1800.00/1800.51 c shifting : 0.00 0 0
1800.00/1800.51 c intshifting : 0.00 0 0
1800.00/1800.51 c oneopt : 0.00 0 0
1800.00/1800.51 c twoopt : 0.00 0 0
1800.00/1800.51 c fixandinfer : 0.00 0 0
1800.00/1800.51 c feaspump : 0.00 0 0
1800.00/1800.51 c coefdiving : 0.00 0 0
1800.00/1800.51 c pscostdiving : 0.00 0 0
1800.00/1800.51 c fracdiving : 0.00 0 0
1800.00/1800.51 c veclendiving : 0.00 0 0
1800.00/1800.51 c intdiving : 0.00 0 0
1800.00/1800.51 c actconsdiving : 0.00 0 0
1800.00/1800.51 c objpscostdiving : 0.00 0 0
1800.00/1800.51 c rootsoldiving : 0.00 0 0
1800.00/1800.51 c linesearchdiving : 0.00 0 0
1800.00/1800.51 c guideddiving : 0.00 0 0
1800.00/1800.51 c octane : 0.00 0 0
1800.00/1800.51 c rens : 0.00 0 0
1800.00/1800.51 c rins : 0.00 0 0
1800.00/1800.51 c localbranching : 0.00 0 0
1800.00/1800.51 c mutation : 0.00 0 0
1800.00/1800.51 c crossover : 0.00 0 0
1800.00/1800.51 c dins : 0.00 0 0
1800.00/1800.51 c undercover : 0.00 0 0
1800.00/1800.51 c nlp : 0.00 0 0
1800.00/1800.51 c trysol : 0.00 0 0
1800.00/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.00/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.00/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.00/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.00/1800.51 c (at root node) : - 0 0 0.00 -
1800.00/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.51 c B&B Tree :
1800.00/1800.51 c number of runs : 1
1800.00/1800.51 c nodes : 1719004
1800.00/1800.51 c nodes (total) : 1719004
1800.00/1800.51 c nodes left : 1548103
1800.00/1800.51 c max depth : 481
1800.00/1800.51 c max depth (total): 481
1800.00/1800.51 c backtracks : 27612 (1.6%)
1800.00/1800.51 c delayed cutoffs : 26026
1800.00/1800.51 c repropagations : 536800 (1455274 domain reductions, 25975 cutoffs)
1800.00/1800.51 c avg switch length: 4.14
1800.00/1800.51 c switching time : 136.66
1800.00/1800.51 c Solution :
1800.00/1800.51 c Solutions found : 0 (0 improvements)
1800.00/1800.51 c Primal Bound : -
1800.00/1800.51 c Dual Bound : +0.00000000000000e+00
1800.00/1800.51 c Gap : infinite
1800.00/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.00/1800.51 c Root Iterations : 0