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-2663464-1276680192.opb>
0.00/0.02 c original problem has 1564 variables (1564 bin, 0 int, 0 impl, 0 cont) and 1616 constraints
0.00/0.02 c problem read
0.00/0.02 c No objective function, only one solution is needed.
0.00/0.02 c presolving settings loaded
0.00/0.02 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.04 c presolving:
0.19/0.23 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 151 upgd conss, 11812 impls, 100 clqs
0.39/0.41 c presolving (2 rounds):
0.39/0.41 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.41 c 11812 implications, 100 cliques
0.39/0.41 c presolved problem has 1564 variables (1564 bin, 0 int, 0 impl, 0 cont) and 1616 constraints
0.39/0.41 c 1 constraints of type <knapsack>
0.39/0.41 c 100 constraints of type <setppc>
0.39/0.41 c 1464 constraints of type <and>
0.39/0.41 c 1 constraints of type <linear>
0.39/0.41 c 50 constraints of type <logicor>
0.39/0.41 c transformed objective value is always integral (scale: 1)
0.39/0.41 c Presolving Time: 0.19
0.39/0.41 c - non default parameters ----------------------------------------------------------------------
0.39/0.41 c # SCIP version 1.2.1.2
0.39/0.41 c
0.39/0.41 c # frequency for displaying node information lines
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.41 c display/freq = 10000
0.39/0.41 c
0.39/0.41 c # maximal time in seconds to run
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.41 c limits/time = 1799.98
0.39/0.41 c
0.39/0.41 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.41 c limits/memory = 1620
0.39/0.41 c
0.39/0.41 c # solving stops, if the given number of solutions were found (-1: no limit)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.41 c limits/solutions = 1
0.39/0.41 c
0.39/0.41 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.41 c lp/solvefreq = -1
0.39/0.41 c
0.39/0.41 c # maximal number of separation rounds per node (-1: unlimited)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 5]
0.39/0.41 c separating/maxrounds = 1
0.39/0.41 c
0.39/0.41 c # maximal number of separation rounds in the root node (-1: unlimited)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.41 c separating/maxroundsroot = 5
0.39/0.41 c
0.39/0.41 c # should presolving try to simplify inequalities
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c constraints/linear/simplifyinequalities = TRUE
0.39/0.41 c
0.39/0.41 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.39/0.41 c constraints/knapsack/disaggregation = FALSE
0.39/0.41 c
0.39/0.41 c # should presolving try to simplify knapsacks
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.41 c
0.39/0.41 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.41 c presolving/probing/maxrounds = 0
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.41 c heuristics/coefdiving/freq = -1
0.39/0.41 c
0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.41 c heuristics/coefdiving/maxlpiterquot = 0.075
0.39/0.41 c
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/coefdiving/maxlpiterofs = 1500
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 30]
0.39/0.41 c heuristics/crossover/freq = -1
0.39/0.41 c
0.39/0.41 c # number of nodes added to the contingent of the total nodes
0.39/0.41 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.41 c heuristics/crossover/nodesofs = 750
0.39/0.41 c
0.39/0.41 c # number of nodes without incumbent change that heuristic should wait
0.39/0.41 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.39/0.41 c heuristics/crossover/nwaitingnodes = 100
0.39/0.41 c
0.39/0.41 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.39/0.41 c # [type: real, range: [0,1], default: 0.1]
0.39/0.41 c heuristics/crossover/nodesquot = 0.15
0.39/0.41 c
0.39/0.41 c # minimum percentage of integer variables that have to be fixed
0.39/0.41 c # [type: real, range: [0,1], default: 0.666]
0.39/0.41 c heuristics/crossover/minfixingrate = 0.5
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.41 c heuristics/feaspump/freq = -1
0.39/0.41 c
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/feaspump/maxlpiterofs = 2000
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.41 c heuristics/fracdiving/freq = -1
0.39/0.41 c
0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.41 c heuristics/fracdiving/maxlpiterquot = 0.075
0.39/0.41 c
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/fracdiving/maxlpiterofs = 1500
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.41 c heuristics/guideddiving/freq = -1
0.39/0.41 c
0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.41 c heuristics/guideddiving/maxlpiterquot = 0.075
0.39/0.41 c
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/guideddiving/maxlpiterofs = 1500
0.39/0.41 c
0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.41 c heuristics/intdiving/maxlpiterquot = 0.075
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.41 c heuristics/intshifting/freq = -1
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.41 c heuristics/linesearchdiving/freq = -1
0.39/0.41 c
0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.41 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.39/0.41 c
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.41 c heuristics/nlp/freq = -1
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.41 c heuristics/objpscostdiving/freq = -1
0.39/0.41 c
0.39/0.41 c # maximal fraction of diving LP iterations compared to total iteration number
0.39/0.41 c # [type: real, range: [0,1], default: 0.01]
0.39/0.41 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.39/0.41 c
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.41 c heuristics/oneopt/freq = -1
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.41 c heuristics/pscostdiving/freq = -1
0.39/0.41 c
0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.41 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.39/0.41 c
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/pscostdiving/maxlpiterofs = 1500
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.41 c heuristics/rens/freq = -1
0.39/0.41 c
0.39/0.41 c # minimum percentage of integer variables that have to be fixable
0.39/0.41 c # [type: real, range: [0,1], default: 0.5]
0.39/0.41 c heuristics/rens/minfixingrate = 0.3
0.39/0.41 c
0.39/0.41 c # number of nodes added to the contingent of the total nodes
0.39/0.41 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.41 c heuristics/rens/nodesofs = 2000
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.41 c heuristics/rootsoldiving/freq = -1
0.39/0.41 c
0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.39/0.41 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.39/0.41 c
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.41 c heuristics/rounding/freq = -1
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.41 c heuristics/shifting/freq = -1
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.41 c heuristics/simplerounding/freq = -1
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.41 c heuristics/trivial/freq = -1
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.41 c heuristics/trysol/freq = -1
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.41 c heuristics/veclendiving/freq = -1
0.39/0.41 c
0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.41 c heuristics/veclendiving/maxlpiterquot = 0.075
0.39/0.41 c
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/veclendiving/maxlpiterofs = 1500
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.41 c heuristics/zirounding/freq = -1
0.39/0.41 c
0.39/0.41 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.41 c separating/cmir/freq = -1
0.39/0.41 c
0.39/0.41 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.41 c separating/flowcover/freq = -1
0.39/0.41 c
0.39/0.41 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.41 c separating/rapidlearning/freq = 0
0.39/0.41 c
0.39/0.41 c -----------------------------------------------------------------------------------------------
0.39/0.41 c start solving
0.39/0.41 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 | - |4240k| 0 | - |1564 |1616 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
6.69/6.77 c 6.2s| 10000 | 8105 | 0 | 0.0 | 22M| 77 | - |1564 |2265 | 0 | 0 | 0 |1418 | 0 | 0.000000e+00 | -- | Inf
13.59/13.62 c 12.7s| 20000 | 11637 | 0 | 0.0 | 32M| 77 | - |1564 |3145 | 0 | 0 | 0 |3383 | 0 | 0.000000e+00 | -- | Inf
21.28/21.34 c 20.1s| 30000 | 19421 | 0 | 0.0 | 50M| 77 | - |1564 |2560 | 0 | 0 | 0 |4306 | 0 | 0.000000e+00 | -- | Inf
28.99/29.09 c 27.5s| 40000 | 26180 | 0 | 0.0 | 66M| 77 | - |1564 |2799 | 0 | 0 | 0 |5231 | 0 | 0.000000e+00 | -- | Inf
36.68/36.74 c 34.8s| 50000 | 32089 | 0 | 0.0 | 81M| 77 | - |1564 |2962 | 0 | 0 | 0 |6114 | 0 | 0.000000e+00 | -- | Inf
44.58/44.61 c 42.4s| 60000 | 37728 | 0 | 0.0 | 95M| 77 | - |1564 |3170 | 0 | 0 | 0 |7113 | 0 | 0.000000e+00 | -- | Inf
52.48/52.57 c 50.0s| 70000 | 42852 | 0 | 0.0 | 109M| 77 | - |1564 |3334 | 0 | 0 | 0 |8090 | 0 | 0.000000e+00 | -- | Inf
60.57/60.68 c 57.8s| 80000 | 47712 | 0 | 0.0 | 122M| 77 | - |1564 |3530 | 0 | 0 | 0 |9050 | 0 | 0.000000e+00 | -- | Inf
68.87/68.93 c 65.7s| 90000 | 52016 | 0 | 0.0 | 135M| 77 | - |1564 |3642 | 0 | 0 | 0 |9858 | 0 | 0.000000e+00 | -- | Inf
77.27/77.36 c 73.8s|100000 | 55998 | 0 | 0.0 | 147M| 77 | - |1564 |3891 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
85.86/85.93 c 82.1s|110000 | 59692 | 0 | 0.0 | 159M| 77 | - |1564 |4058 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
94.66/94.74 c 90.6s|120000 | 63011 | 0 | 0.0 | 170M| 77 | - |1564 |4141 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
103.86/104.00 c 99.6s|130000 | 65901 | 0 | 0.0 | 181M| 77 | - |1564 |4357 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
113.17/113.26 c 109s|140000 | 68450 | 0 | 0.0 | 192M| 77 | - |1564 |4468 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
122.75/122.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.75/122.85 c 118s|150000 | 70685 | 0 | 0.0 | 202M| 77 | - |1564 |4786 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
132.46/132.52 c 127s|160000 | 72758 | 0 | 0.0 | 212M| 77 | - |1564 |5164 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
141.65/141.70 c 136s|170000 | 74811 | 0 | 0.0 | 221M| 77 | - |1564 |5503 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
150.15/150.20 c 144s|180000 | 76588 | 0 | 0.0 | 229M| 77 | - |1564 |5731 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
158.44/158.50 c 152s|190000 | 78033 | 0 | 0.0 | 235M| 77 | - |1564 |6020 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
165.84/165.98 c 159s|200000 | 79579 | 0 | 0.0 | 240M| 77 | - |1564 |6761 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
174.54/174.64 c 168s|210000 | 82988 | 0 | 0.0 | 249M| 77 | - |1564 |3899 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
182.04/182.14 c 175s|220000 | 89545 | 0 | 0.0 | 264M| 77 | - |1564 |3242 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
189.14/189.28 c 182s|230000 | 95946 | 0 | 0.0 | 279M| 77 | - |1564 |3150 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
196.24/196.35 c 188s|240000 |102260 | 0 | 0.0 | 293M| 77 | - |1564 |3135 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
203.34/203.46 c 195s|250000 |108404 | 0 | 0.0 | 307M| 77 | - |1564 |3175 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
210.43/210.57 c 202s|260000 |114620 | 0 | 0.0 | 321M| 77 | - |1564 |3274 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
217.52/217.69 c 209s|270000 |120560 | 0 | 0.0 | 335M| 77 | - |1564 |3415 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
224.83/224.93 c 216s|280000 |126419 | 0 | 0.0 | 348M| 77 | - |1564 |3488 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
232.03/232.16 c 223s|290000 |132323 | 0 | 0.0 | 362M| 77 | - |1564 |3456 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
239.22/239.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
239.22/239.35 c 230s|300000 |138167 | 0 | 0.0 | 375M| 77 | - |1564 |3731 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
246.52/246.66 c 237s|310000 |143875 | 0 | 0.0 | 389M| 77 | - |1564 |3712 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
253.72/253.83 c 244s|320000 |149571 | 0 | 0.0 | 402M| 77 | - |1564 |3893 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
261.01/261.11 c 251s|330000 |155248 | 0 | 0.0 | 416M| 77 | - |1564 |3823 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
268.32/268.43 c 258s|340000 |160890 | 0 | 0.0 | 429M| 77 | - |1564 |4054 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
275.61/275.70 c 265s|350000 |166398 | 0 | 0.0 | 442M| 77 | - |1564 |4064 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
283.01/283.17 c 272s|360000 |171995 | 0 | 0.0 | 455M| 77 | - |1564 |4181 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
290.40/290.58 c 279s|370000 |177336 | 0 | 0.0 | 468M| 77 | - |1564 |4246 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
297.90/298.04 c 286s|380000 |182628 | 0 | 0.0 | 480M| 77 | - |1564 |4222 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
305.40/305.57 c 293s|390000 |187728 | 0 | 0.0 | 493M| 77 | - |1564 |4488 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
313.10/313.21 c 301s|400000 |192822 | 0 | 0.0 | 505M| 77 | - |1564 |4543 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
320.60/320.72 c 308s|410000 |198054 | 0 | 0.0 | 517M| 77 | - |1564 |4524 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
328.09/328.22 c 315s|420000 |203096 | 0 | 0.0 | 530M| 77 | - |1564 |4519 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
335.79/335.97 c 322s|430000 |208010 | 0 | 0.0 | 542M| 77 | - |1564 |4698 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
343.59/343.70 c 330s|440000 |213013 | 0 | 0.0 | 554M| 77 | - |1564 |4744 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
351.28/351.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
351.28/351.42 c 337s|450000 |217962 | 0 | 0.0 | 566M| 77 | - |1564 |4794 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
358.79/358.93 c 345s|460000 |222936 | 0 | 0.0 | 578M| 77 | - |1564 |4834 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
366.68/366.81 c 352s|470000 |227693 | 0 | 0.0 | 591M| 77 | - |1564 |4922 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
374.48/374.60 c 360s|480000 |232543 | 0 | 0.0 | 603M| 77 | - |1564 |4845 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
382.18/382.34 c 367s|490000 |237309 | 0 | 0.0 | 614M| 77 | - |1564 |4950 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
389.87/390.07 c 374s|500000 |242082 | 0 | 0.0 | 626M| 77 | - |1564 |5084 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
397.88/398.02 c 382s|510000 |246766 | 0 | 0.0 | 638M| 77 | - |1564 |5139 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
405.87/406.05 c 390s|520000 |251400 | 0 | 0.0 | 650M| 77 | - |1564 |5296 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
413.87/414.01 c 397s|530000 |256002 | 0 | 0.0 | 662M| 77 | - |1564 |5390 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
421.76/422.00 c 405s|540000 |260624 | 0 | 0.0 | 674M| 77 | - |1564 |5468 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
429.77/429.91 c 413s|550000 |265222 | 0 | 0.0 | 685M| 77 | - |1564 |5414 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
437.97/438.11 c 421s|560000 |269612 | 0 | 0.0 | 697M| 77 | - |1564 |5403 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
446.16/446.38 c 429s|570000 |274025 | 0 | 0.0 | 709M| 77 | - |1564 |5626 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
454.46/454.61 c 437s|580000 |278403 | 0 | 0.0 | 720M| 77 | - |1564 |5701 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
462.56/462.73 c 444s|590000 |282823 | 0 | 0.0 | 731M| 77 | - |1564 |5719 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
470.66/470.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
470.66/470.85 c 452s|600000 |287268 | 0 | 0.0 | 743M| 77 | - |1564 |5743 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
479.05/479.23 c 460s|610000 |291489 | 0 | 0.0 | 754M| 77 | - |1564 |5704 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
487.55/487.74 c 468s|620000 |295693 | 0 | 0.0 | 765M| 77 | - |1564 |5951 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
496.14/496.31 c 477s|630000 |299795 | 0 | 0.0 | 777M| 77 | - |1564 |6123 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
504.54/504.76 c 485s|640000 |304009 | 0 | 0.0 | 788M| 77 | - |1564 |6174 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
513.04/513.21 c 493s|650000 |308224 | 0 | 0.0 | 799M| 77 | - |1564 |6140 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
521.34/521.57 c 501s|660000 |312433 | 0 | 0.0 | 810M| 77 | - |1564 |6005 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
530.13/530.32 c 510s|670000 |316388 | 0 | 0.0 | 821M| 77 | - |1564 |6137 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
538.93/539.13 c 518s|680000 |320270 | 0 | 0.0 | 832M| 77 | - |1564 |6282 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
547.63/547.87 c 526s|690000 |324213 | 0 | 0.0 | 843M| 77 | - |1564 |6456 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
556.34/556.55 c 535s|700000 |328215 | 0 | 0.0 | 854M| 77 | - |1564 |6539 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
565.02/565.21 c 543s|710000 |332233 | 0 | 0.0 | 865M| 77 | - |1564 |6358 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
573.62/573.89 c 552s|720000 |336264 | 0 | 0.0 | 876M| 77 | - |1564 |6373 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
582.73/582.92 c 560s|730000 |340068 | 0 | 0.0 | 887M| 77 | - |1564 |6645 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
591.82/592.05 c 569s|740000 |343742 | 0 | 0.0 | 898M| 77 | - |1564 |6870 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
600.81/601.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
600.81/601.09 c 578s|750000 |347415 | 0 | 0.0 | 908M| 77 | - |1564 |6948 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
609.81/610.01 c 586s|760000 |351239 | 0 | 0.0 | 919M| 77 | - |1564 |6991 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
618.81/619.04 c 595s|770000 |355010 | 0 | 0.0 | 930M| 77 | - |1564 |6903 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
627.60/627.86 c 604s|780000 |358904 | 0 | 0.0 | 941M| 77 | - |1564 |6965 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
637.01/637.22 c 613s|790000 |362516 | 0 | 0.0 | 952M| 77 | - |1564 |7135 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
646.51/646.74 c 622s|800000 |365915 | 0 | 0.0 | 962M| 77 | - |1564 |7366 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
656.00/656.24 c 631s|810000 |369347 | 0 | 0.0 | 973M| 77 | - |1564 |7514 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
665.39/665.61 c 640s|820000 |372874 | 0 | 0.0 | 983M| 77 | - |1564 |7604 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
674.80/675.09 c 649s|830000 |376373 | 0 | 0.0 | 993M| 77 | - |1564 |7528 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
684.09/684.37 c 658s|840000 |379964 | 0 | 0.0 |1004M| 77 | - |1564 |7532 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
693.39/693.60 c 667s|850000 |383605 | 0 | 0.0 |1015M| 77 | - |1564 |7590 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
703.28/703.55 c 677s|860000 |386807 | 0 | 0.0 |1025M| 77 | - |1564 |7605 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
713.28/713.50 c 687s|870000 |389852 | 0 | 0.0 |1035M| 77 | - |1564 |7767 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
722.97/723.22 c 696s|880000 |393052 | 0 | 0.0 |1046M| 77 | - |1564 |7893 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
732.78/733.01 c 706s|890000 |396253 | 0 | 0.0 |1056M| 77 | - |1564 |7794 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
742.47/742.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
742.47/742.75 c 715s|900000 |399519 | 0 | 0.0 |1066M| 77 | - |1564 |7889 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
752.26/752.55 c 725s|910000 |402832 | 0 | 0.0 |1076M| 77 | - |1564 |7995 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
761.76/762.02 c 734s|920000 |406269 | 0 | 0.0 |1086M| 77 | - |1564 |7980 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
771.97/772.27 c 744s|930000 |409235 | 0 | 0.0 |1096M| 77 | - |1564 |8205 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
782.46/782.70 c 754s|940000 |412020 | 0 | 0.0 |1106M| 77 | - |1564 |8413 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
792.66/792.97 c 764s|950000 |414952 | 0 | 0.0 |1116M| 77 | - |1564 |8525 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
802.96/803.21 c 774s|960000 |417884 | 0 | 0.0 |1126M| 77 | - |1564 |8501 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
813.05/813.36 c 784s|970000 |420892 | 0 | 0.0 |1136M| 77 | - |1564 |8594 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
823.25/823.53 c 793s|980000 |423968 | 0 | 0.0 |1146M| 77 | - |1564 |8689 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
833.34/833.62 c 803s|990000 |427099 | 0 | 0.0 |1156M| 77 | - |1564 |8650 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
843.74/844.04 c 813s| 1000k|430080 | 0 | 0.0 |1166M| 77 | - |1564 |8876 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
854.94/855.20 c 824s| 1010k|432480 | 0 | 0.0 |1175M| 77 | - |1564 |9046 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
865.83/866.15 c 835s| 1020k|435017 | 0 | 0.0 |1185M| 77 | - |1564 |9198 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
876.83/877.11 c 845s| 1030k|437608 | 0 | 0.0 |1194M| 77 | - |1564 |9128 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
887.62/887.90 c 856s| 1040k|440241 | 0 | 0.0 |1204M| 77 | - |1564 |9339 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
898.33/898.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
898.33/898.68 c 866s| 1050k|442978 | 0 | 0.0 |1214M| 77 | - |1564 |9443 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
908.82/909.12 c 877s| 1060k|445866 | 0 | 0.0 |1223M| 77 | - |1564 |9410 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
919.22/919.53 c 887s| 1070k|448854 | 0 | 0.0 |1233M| 77 | - |1564 |9353 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
930.52/930.81 c 898s| 1080k|451341 | 0 | 0.0 |1243M| 77 | - |1564 |9726 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
942.32/942.65 c 909s| 1090k|453394 | 0 | 0.0 |1252M| 77 | - |1564 |9861 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
953.81/954.16 c 920s| 1100k|455616 | 0 | 0.0 |1261M| 77 | - |1564 |9917 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
965.30/965.69 c 932s| 1110k|457867 | 0 | 0.0 |1270M| 77 | - |1564 |9710 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
976.51/976.82 c 942s| 1120k|460257 | 0 | 0.0 |1279M| 77 | - |1564 |9907 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
987.50/987.89 c 953s| 1130k|462713 | 0 | 0.0 |1289M| 77 | - |1564 | 10k| 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
998.79/999.12 c 964s| 1140k|465226 | 0 | 0.0 |1298M| 77 | - |1564 | 10k| 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1009.89/1010.24 c 975s| 1150k|467817 | 0 | 0.0 |1307M| 77 | - |1564 | 10k| 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1020.69/1021.01 c 985s| 1160k|470432 | 0 | 0.0 |1316M| 77 | - |1564 | 10k| 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1032.59/1032.91 c 997s| 1170k|472434 | 0 | 0.0 |1325M| 77 | - |1564 | 10k| 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1044.58/1044.98 c 1009s| 1180k|474353 | 0 | 0.0 |1334M| 77 | - |1564 | 10k| 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1056.78/1057.14 c 1021s| 1190k|476281 | 0 | 0.0 |1343M| 77 | - |1564 | 10k| 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1068.78/1069.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1068.78/1069.15 c 1032s| 1200k|478274 | 0 | 0.0 |1352M| 77 | - |1564 | 11k| 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1076.87/1077.22 c (node 1206839) switching to memory saving mode (mem: 1296.0M/1620.0M)
1080.88/1081.25 c 1044s| 1210k|479151 | 0 | 0.0 |1355M| 77 | - |1564 | 13k| 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1095.17/1095.56 c 1058s| 1220k|478242 | 0 | 0.0 |1349M| 77 | - |1564 | 14k| 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1110.06/1110.44 c 1072s| 1230k|477868 | 0 | 0.0 |1349M| 77 | - |1564 | 17k| 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
1125.66/1126.01 c 1088s| 1240k|477366 | 0 | 0.0 |1347M| 77 | - |1564 | 20k| 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
1143.85/1144.24 c 1105s| 1250k|477280 | 0 | 0.0 |1348M| 77 | - |1564 | 21k| 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
1160.95/1161.34 c 1122s| 1260k|476920 | 0 | 0.0 |1346M| 77 | - |1564 | 24k| 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
1181.84/1182.26 c 1143s| 1270k|476806 | 0 | 0.0 |1347M| 77 | - |1564 | 26k| 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
1197.94/1198.37 c 1159s| 1280k|476668 | 0 | 0.0 |1348M| 77 | - |1564 | 27k| 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
1215.63/1216.02 c 1176s| 1290k|476528 | 0 | 0.0 |1348M| 77 | - |1564 | 29k| 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
1234.93/1235.33 c 1195s| 1300k|476495 | 0 | 0.0 |1349M| 77 | - |1564 | 29k| 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
1257.02/1257.43 c 1217s| 1310k|476464 | 0 | 0.0 |1350M| 77 | - |1564 | 31k| 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
1279.81/1280.20 c 1239s| 1320k|476437 | 0 | 0.0 |1349M| 77 | - |1564 | 30k| 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
1296.41/1296.88 c 1255s| 1330k|476403 | 0 | 0.0 |1349M| 77 | - |1564 | 30k| 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
1314.50/1314.92 c 1273s| 1340k|476363 | 0 | 0.0 |1350M| 77 | - |1564 | 31k| 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1337.59/1338.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1337.59/1338.08 c 1296s| 1350k|476329 | 0 | 0.0 |1351M| 77 | - |1564 | 33k| 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
1366.79/1367.30 c 1324s| 1360k|476305 | 0 | 0.0 |1352M| 77 | - |1564 | 35k| 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
1391.09/1391.54 c 1348s| 1370k|476276 | 0 | 0.0 |1352M| 77 | - |1564 | 34k| 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
1412.57/1413.04 c 1370s| 1380k|476246 | 0 | 0.0 |1351M| 77 | - |1564 | 34k| 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
1437.46/1437.99 c 1394s| 1390k|476221 | 0 | 0.0 |1353M| 77 | - |1564 | 36k| 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
1458.86/1459.33 c 1415s| 1400k|476190 | 0 | 0.0 |1353M| 77 | - |1564 | 37k| 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
1479.36/1479.80 c 1435s| 1410k|476150 | 0 | 0.0 |1353M| 77 | - |1564 | 37k| 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
1502.25/1502.75 c 1458s| 1420k|476119 | 0 | 0.0 |1353M| 77 | - |1564 | 37k| 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
1517.84/1518.34 c 1473s| 1430k|476105 | 0 | 0.0 |1353M| 77 | - |1564 | 37k| 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
1536.93/1537.50 c 1492s| 1440k|476095 | 0 | 0.0 |1354M| 77 | - |1564 | 38k| 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
1558.83/1559.33 c 1513s| 1450k|476088 | 0 | 0.0 |1355M| 77 | - |1564 | 40k| 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
1582.03/1582.54 c 1536s| 1460k|476079 | 0 | 0.0 |1356M| 77 | - |1564 | 41k| 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
1606.82/1607.33 c 1561s| 1470k|476068 | 0 | 0.0 |1357M| 77 | - |1564 | 42k| 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
1635.60/1636.15 c 1589s| 1480k|476058 | 0 | 0.0 |1358M| 77 | - |1564 | 43k| 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
1661.70/1662.21 c 1615s| 1490k|476052 | 0 | 0.0 |1357M| 77 | - |1564 | 42k| 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
1688.19/1688.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1688.19/1688.79 c 1641s| 1500k|476041 | 0 | 0.0 |1358M| 77 | - |1564 | 43k| 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
1714.88/1715.42 c 1667s| 1510k|476032 | 0 | 0.0 |1358M| 77 | - |1564 | 43k| 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
1741.38/1741.97 c 1693s| 1520k|476023 | 0 | 0.0 |1357M| 77 | - |1564 | 43k| 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
1768.57/1769.18 c 1720s| 1530k|476011 | 0 | 0.0 |1356M| 77 | - |1564 | 40k| 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
1794.36/1794.94 c 1746s| 1540k|476003 | 0 | 0.0 |1357M| 77 | - |1564 | 41k| 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
1800.08/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.61 c
1800.08/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.61 c Solving Time (sec) : 1751.28
1800.08/1800.61 c Solving Nodes : 1541931
1800.08/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.08/1800.61 c Dual Bound : +0.00000000000000e+00
1800.08/1800.61 c Gap : infinite
1800.08/1800.61 s UNKNOWN
1800.08/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.61 c Solving Time : 1751.28
1800.08/1800.61 c Original Problem :
1800.08/1800.61 c Problem name : HOME/instance-2663464-1276680192.opb
1800.08/1800.61 c Variables : 1564 (1564 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.61 c Constraints : 1616 initial, 1616 maximal
1800.08/1800.61 c Presolved Problem :
1800.08/1800.61 c Problem name : t_HOME/instance-2663464-1276680192.opb
1800.08/1800.61 c Variables : 1564 (1564 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.61 c Constraints : 1616 initial, 44826 maximal
1800.08/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.08/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c and : 0.16 0 0 0 0 0 0 0 0
1800.08/1800.61 c linear : 0.01 0 0 0 0 0 0 0 0
1800.08/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c root node : - 0 - - 0 - - - -
1800.08/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.61 c knapsack : 1 0 3727376 0 1030220 37149 3479026 0 0 0
1800.08/1800.61 c setppc : 100 0 4077594 0 1036556 11565 337353 0 0 0
1800.08/1800.61 c and : 1464 0 4066029 0 1036556 105 71178266 0 0 0
1800.08/1800.61 c linear : 1 0 4057669 0 1036556 469655 1249866 0 0 0
1800.08/1800.61 c logicor : 50+ 0 1275577 0 1036449 39971 6661921 0 0 0
1800.08/1800.61 c countsols : 0 0 0 0 1036556 0 0 0 0 0
1800.08/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.61 c knapsack : 68.23 0.00 63.55 0.00 4.68
1800.08/1800.61 c setppc : 87.07 0.00 10.87 0.00 76.20
1800.08/1800.61 c and : 226.44 0.00 186.25 0.00 40.19
1800.08/1800.61 c linear : 161.21 0.00 160.35 0.00 0.86
1800.08/1800.61 c logicor : 472.68 0.00 469.53 0.00 3.15
1800.08/1800.61 c countsols : 0.51 0.00 0.00 0.00 0.51
1800.08/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.61 c vbounds : 1.99 1 0 0
1800.08/1800.61 c rootredcost : 1.97 0 0 0
1800.08/1800.61 c pseudoobj : 1.97 0 0 0
1800.08/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.61 c propagation : 107.89 558445 244223 2062280 60.0 119 58.0 -
1800.08/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.08/1800.61 c applied globally : - - - 262266 51.2 - - -
1800.08/1800.61 c applied locally : - - - 0 0.0 - - -
1800.08/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.08/1800.61 c redcost : 0.00 0 0 0 0 0
1800.08/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.08/1800.61 c intobj : 0.00 0 0 0 0 0
1800.08/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.61 c gomory : 0.00 0 0 0 0 0
1800.08/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.08/1800.61 c cmir : 0.00 0 0 0 0 0
1800.08/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.08/1800.61 c clique : 0.00 0 0 0 0 0
1800.08/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.61 c mcf : 0.00 0 0 0 0 0
1800.08/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.61 c Pricers : Time Calls Vars
1800.08/1800.61 c problem variables: 0.00 0 0
1800.08/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.08/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.61 c inference : 103.41 1036556 0 0 0 0 2073112
1800.08/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.61 c random : 0.00 0 0 0 0 0 0
1800.08/1800.61 c Primal Heuristics : Time Calls Found
1800.08/1800.61 c LP solutions : 0.00 - 0
1800.08/1800.61 c pseudo solutions : 0.00 - 0
1800.08/1800.61 c trivial : 0.00 1 0
1800.08/1800.61 c simplerounding : 0.00 0 0
1800.08/1800.61 c zirounding : 0.00 0 0
1800.08/1800.61 c rounding : 0.00 0 0
1800.08/1800.61 c shifting : 0.00 0 0
1800.08/1800.61 c intshifting : 0.00 0 0
1800.08/1800.61 c oneopt : 0.00 0 0
1800.08/1800.61 c twoopt : 0.00 0 0
1800.08/1800.61 c fixandinfer : 0.00 0 0
1800.08/1800.61 c feaspump : 0.00 0 0
1800.08/1800.61 c coefdiving : 0.00 0 0
1800.08/1800.61 c pscostdiving : 0.00 0 0
1800.08/1800.61 c fracdiving : 0.00 0 0
1800.08/1800.61 c veclendiving : 0.00 0 0
1800.08/1800.61 c intdiving : 0.00 0 0
1800.08/1800.61 c actconsdiving : 0.00 0 0
1800.08/1800.61 c objpscostdiving : 0.00 0 0
1800.08/1800.61 c rootsoldiving : 0.00 0 0
1800.08/1800.61 c linesearchdiving : 0.00 0 0
1800.08/1800.61 c guideddiving : 0.00 0 0
1800.08/1800.61 c octane : 0.00 0 0
1800.08/1800.61 c rens : 0.00 0 0
1800.08/1800.61 c rins : 0.00 0 0
1800.08/1800.61 c localbranching : 0.00 0 0
1800.08/1800.61 c mutation : 0.00 0 0
1800.08/1800.61 c crossover : 0.00 0 0
1800.08/1800.61 c dins : 0.00 0 0
1800.08/1800.61 c undercover : 0.00 0 0
1800.08/1800.61 c nlp : 0.00 0 0
1800.08/1800.61 c trysol : 0.00 0 0
1800.08/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.08/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.08/1800.61 c (at root node) : - 0 0 0.00 -
1800.08/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.61 c B&B Tree :
1800.08/1800.61 c number of runs : 1
1800.08/1800.61 c nodes : 1541931
1800.08/1800.62 c nodes (total) : 1541931
1800.08/1800.62 c nodes left : 476001
1800.08/1800.62 c max depth : 77
1800.08/1800.62 c max depth (total): 77
1800.08/1800.62 c backtracks : 109859 (7.1%)
1800.08/1800.62 c delayed cutoffs : 55181
1800.08/1800.62 c repropagations : 613525 (4511080 domain reductions, 53070 cutoffs)
1800.08/1800.62 c avg switch length: 4.35
1800.08/1800.62 c switching time : 458.53
1800.08/1800.62 c Solution :
1800.08/1800.62 c Solutions found : 0 (0 improvements)
1800.08/1800.62 c Primal Bound : -
1800.08/1800.62 c Dual Bound : +0.00000000000000e+00
1800.08/1800.62 c Gap : infinite
1800.08/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.08/1800.62 c Root Iterations : 0