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-2664520-1276327727.opb>
0.00/0.02 c original problem has 2520 variables (2520 bin, 0 int, 0 impl, 0 cont) and 142 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.05 c presolving:
0.00/0.06 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 72 upgd conss, 0 impls, 70 clqs
0.05/0.06 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 142 upgd conss, 0 impls, 70 clqs
0.05/0.07 c presolving (3 rounds):
0.05/0.07 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.05/0.07 c 0 implications, 70 cliques
0.05/0.07 c presolved problem has 2520 variables (2520 bin, 0 int, 0 impl, 0 cont) and 142 constraints
0.05/0.07 c 70 constraints of type <setppc>
0.05/0.07 c 72 constraints of type <logicor>
0.05/0.07 c transformed objective value is always integral (scale: 1)
0.05/0.07 c Presolving Time: 0.03
0.05/0.07 c - non default parameters ----------------------------------------------------------------------
0.05/0.07 c # SCIP version 1.2.1.2
0.05/0.07 c
0.05/0.07 c # frequency for displaying node information lines
0.05/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.05/0.07 c display/freq = 10000
0.05/0.07 c
0.05/0.07 c # maximal time in seconds to run
0.05/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.07 c limits/time = 1799.99
0.05/0.07 c
0.05/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.05/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.07 c limits/memory = 1620
0.05/0.07 c
0.05/0.07 c # solving stops, if the given number of solutions were found (-1: no limit)
0.05/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.05/0.07 c limits/solutions = 1
0.05/0.07 c
0.05/0.07 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.05/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.05/0.07 c lp/solvefreq = -1
0.05/0.07 c
0.05/0.07 c # maximal number of separation rounds per node (-1: unlimited)
0.05/0.07 c # [type: int, range: [-1,2147483647], default: 5]
0.05/0.07 c separating/maxrounds = 1
0.05/0.07 c
0.05/0.07 c # maximal number of separation rounds in the root node (-1: unlimited)
0.05/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.05/0.07 c separating/maxroundsroot = 5
0.05/0.07 c
0.05/0.07 c # should presolving try to simplify inequalities
0.05/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.07 c constraints/linear/simplifyinequalities = TRUE
0.05/0.07 c
0.05/0.07 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.05/0.07 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.05/0.07 c constraints/knapsack/disaggregation = FALSE
0.05/0.07 c
0.05/0.07 c # should presolving try to simplify knapsacks
0.05/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.07 c constraints/knapsack/simplifyinequalities = TRUE
0.05/0.07 c
0.05/0.07 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.05/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.05/0.07 c presolving/probing/maxrounds = 0
0.05/0.07 c
0.05/0.07 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.05/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.05/0.07 c heuristics/coefdiving/freq = -1
0.05/0.07 c
0.05/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.05/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.05/0.07 c heuristics/coefdiving/maxlpiterquot = 0.075
0.05/0.07 c
0.05/0.07 c # additional number of allowed LP iterations
0.05/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.07 c heuristics/coefdiving/maxlpiterofs = 1500
0.05/0.07 c
0.05/0.07 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.05/0.07 c # [type: int, range: [-1,2147483647], default: 30]
0.05/0.07 c heuristics/crossover/freq = -1
0.05/0.07 c
0.05/0.07 c # number of nodes added to the contingent of the total nodes
0.05/0.07 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.05/0.07 c heuristics/crossover/nodesofs = 750
0.05/0.07 c
0.05/0.07 c # number of nodes without incumbent change that heuristic should wait
0.05/0.07 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.05/0.07 c heuristics/crossover/nwaitingnodes = 100
0.05/0.07 c
0.05/0.07 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.05/0.07 c # [type: real, range: [0,1], default: 0.1]
0.05/0.07 c heuristics/crossover/nodesquot = 0.15
0.05/0.07 c
0.05/0.07 c # minimum percentage of integer variables that have to be fixed
0.05/0.07 c # [type: real, range: [0,1], default: 0.666]
0.05/0.07 c heuristics/crossover/minfixingrate = 0.5
0.05/0.07 c
0.05/0.07 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.05/0.07 c # [type: int, range: [-1,2147483647], default: 20]
0.05/0.07 c heuristics/feaspump/freq = -1
0.05/0.07 c
0.05/0.07 c # additional number of allowed LP iterations
0.05/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.07 c heuristics/feaspump/maxlpiterofs = 2000
0.05/0.07 c
0.05/0.07 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.05/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.05/0.07 c heuristics/fracdiving/freq = -1
0.05/0.07 c
0.05/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.05/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.05/0.07 c heuristics/fracdiving/maxlpiterquot = 0.075
0.05/0.07 c
0.05/0.07 c # additional number of allowed LP iterations
0.05/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.07 c heuristics/fracdiving/maxlpiterofs = 1500
0.05/0.07 c
0.05/0.07 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.05/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.05/0.07 c heuristics/guideddiving/freq = -1
0.05/0.07 c
0.05/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.05/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.05/0.07 c heuristics/guideddiving/maxlpiterquot = 0.075
0.05/0.07 c
0.05/0.07 c # additional number of allowed LP iterations
0.05/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.07 c heuristics/guideddiving/maxlpiterofs = 1500
0.05/0.07 c
0.05/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.05/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.05/0.07 c heuristics/intdiving/maxlpiterquot = 0.075
0.05/0.07 c
0.05/0.07 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.05/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.05/0.07 c heuristics/intshifting/freq = -1
0.05/0.07 c
0.05/0.07 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.05/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.05/0.07 c heuristics/linesearchdiving/freq = -1
0.05/0.07 c
0.05/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.05/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.05/0.07 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.05/0.07 c
0.05/0.07 c # additional number of allowed LP iterations
0.05/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.07 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.05/0.07 c
0.05/0.07 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.05/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.05/0.07 c heuristics/nlp/freq = -1
0.05/0.07 c
0.05/0.07 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.05/0.07 c # [type: int, range: [-1,2147483647], default: 20]
0.05/0.07 c heuristics/objpscostdiving/freq = -1
0.05/0.07 c
0.05/0.07 c # maximal fraction of diving LP iterations compared to total iteration number
0.05/0.07 c # [type: real, range: [0,1], default: 0.01]
0.05/0.07 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.05/0.07 c
0.05/0.07 c # additional number of allowed LP iterations
0.05/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.07 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.05/0.07 c
0.05/0.07 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.05/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.05/0.07 c heuristics/oneopt/freq = -1
0.05/0.07 c
0.05/0.07 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.05/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.05/0.07 c heuristics/pscostdiving/freq = -1
0.05/0.07 c
0.05/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.05/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.05/0.07 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.05/0.07 c
0.05/0.07 c # additional number of allowed LP iterations
0.05/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.07 c heuristics/pscostdiving/maxlpiterofs = 1500
0.05/0.07 c
0.05/0.07 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.05/0.07 c # [type: int, range: [-1,2147483647], default: 0]
0.05/0.07 c heuristics/rens/freq = -1
0.05/0.07 c
0.05/0.07 c # minimum percentage of integer variables that have to be fixable
0.05/0.07 c # [type: real, range: [0,1], default: 0.5]
0.05/0.07 c heuristics/rens/minfixingrate = 0.3
0.05/0.07 c
0.05/0.07 c # number of nodes added to the contingent of the total nodes
0.05/0.07 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.05/0.07 c heuristics/rens/nodesofs = 2000
0.05/0.07 c
0.05/0.07 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.05/0.07 c # [type: int, range: [-1,2147483647], default: 20]
0.05/0.07 c heuristics/rootsoldiving/freq = -1
0.05/0.07 c
0.05/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.05/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.05/0.07 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.05/0.07 c
0.05/0.07 c # additional number of allowed LP iterations
0.05/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.07 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.05/0.07 c
0.05/0.07 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.05/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.05/0.07 c heuristics/rounding/freq = -1
0.05/0.07 c
0.05/0.07 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.05/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.05/0.07 c heuristics/shifting/freq = -1
0.05/0.07 c
0.05/0.07 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.05/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.05/0.07 c heuristics/simplerounding/freq = -1
0.05/0.07 c
0.05/0.07 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.05/0.07 c # [type: int, range: [-1,2147483647], default: 0]
0.05/0.07 c heuristics/trivial/freq = -1
0.05/0.07 c
0.05/0.07 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.05/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.05/0.07 c heuristics/trysol/freq = -1
0.05/0.07 c
0.05/0.07 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.05/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.05/0.07 c heuristics/veclendiving/freq = -1
0.05/0.07 c
0.05/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.05/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.05/0.07 c heuristics/veclendiving/maxlpiterquot = 0.075
0.05/0.07 c
0.05/0.07 c # additional number of allowed LP iterations
0.05/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.05/0.07 c heuristics/veclendiving/maxlpiterofs = 1500
0.05/0.07 c
0.05/0.07 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.05/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.05/0.07 c heuristics/zirounding/freq = -1
0.05/0.07 c
0.05/0.07 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.05/0.07 c # [type: int, range: [-1,2147483647], default: 0]
0.05/0.07 c separating/cmir/freq = -1
0.05/0.07 c
0.05/0.07 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.05/0.07 c # [type: int, range: [-1,2147483647], default: 0]
0.05/0.07 c separating/flowcover/freq = -1
0.05/0.07 c
0.05/0.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.05/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.05/0.07 c separating/rapidlearning/freq = 0
0.05/0.07 c
0.05/0.07 c -----------------------------------------------------------------------------------------------
0.05/0.07 c start solving
0.05/0.07 c
0.05/0.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.05/0.07 c 0.0s| 1 | 2 | 0 | - |4441k| 0 | - |2520 | 142 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
7.39/7.45 c 7.3s| 10000 | 9956 | 0 | 0.0 |8429k|1549 | - |2520 | 338 | 0 | 0 | 0 | 239 | 0 | 0.000000e+00 | -- | Inf
15.49/15.50 c 15.2s| 20000 | 19909 | 0 | 0.0 | 11M|1549 | - |2520 | 289 | 0 | 0 | 0 | 393 | 0 | 0.000000e+00 | -- | Inf
23.48/23.52 c 23.1s| 30000 | 29847 | 0 | 0.0 | 14M|1549 | - |2520 | 253 | 0 | 0 | 0 | 533 | 0 | 0.000000e+00 | -- | Inf
31.38/31.50 c 31.0s| 40000 | 39801 | 0 | 0.0 | 16M|1549 | - |2520 | 227 | 0 | 0 | 0 | 611 | 0 | 0.000000e+00 | -- | Inf
39.38/39.49 c 38.8s| 50000 | 49758 | 0 | 0.0 | 19M|1549 | - |2520 | 255 | 0 | 0 | 0 | 727 | 0 | 0.000000e+00 | -- | Inf
47.38/47.41 c 46.6s| 60000 | 59707 | 0 | 0.0 | 22M|1549 | - |2520 | 243 | 0 | 0 | 0 | 854 | 0 | 0.000000e+00 | -- | Inf
55.18/55.25 c 54.4s| 70000 | 69662 | 0 | 0.0 | 25M|1549 | - |2520 | 229 | 0 | 0 | 0 | 967 | 0 | 0.000000e+00 | -- | Inf
62.97/63.03 c 62.0s| 80000 | 79610 | 0 | 0.0 | 28M|1549 | - |2520 | 270 | 0 | 0 | 0 |1106 | 0 | 0.000000e+00 | -- | Inf
70.67/70.78 c 69.6s| 90000 | 89553 | 0 | 0.0 | 30M|1549 | - |2520 | 318 | 0 | 0 | 0 |1291 | 0 | 0.000000e+00 | -- | Inf
78.37/78.43 c 77.1s|100000 | 99496 | 0 | 0.0 | 33M|1549 | - |2520 | 372 | 0 | 0 | 0 |1551 | 0 | 0.000000e+00 | -- | Inf
85.97/86.05 c 84.6s|110000 |109424 | 0 | 0.0 | 36M|1549 | - |2520 | 443 | 0 | 0 | 0 |1861 | 0 | 0.000000e+00 | -- | Inf
93.48/93.55 c 92.0s|120000 |119365 | 0 | 0.0 | 39M|1549 | - |2520 | 413 | 0 | 0 | 0 |2116 | 0 | 0.000000e+00 | -- | Inf
100.87/100.98 c 99.3s|130000 |129298 | 0 | 0.0 | 42M|1549 | - |2520 | 481 | 0 | 0 | 0 |2408 | 0 | 0.000000e+00 | -- | Inf
108.26/108.34 c 107s|140000 |139227 | 0 | 0.0 | 45M|1549 | - |2520 | 555 | 0 | 0 | 0 |2699 | 0 | 0.000000e+00 | -- | Inf
115.56/115.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
115.56/115.60 c 114s|150000 |149163 | 0 | 0.0 | 48M|1549 | - |2520 | 584 | 0 | 0 | 0 |2979 | 0 | 0.000000e+00 | -- | Inf
122.56/122.66 c 121s|160000 |159097 | 0 | 0.0 | 50M|1549 | - |2520 | 619 | 0 | 0 | 0 |3281 | 0 | 0.000000e+00 | -- | Inf
129.76/129.81 c 128s|170000 |169026 | 0 | 0.0 | 53M|1549 | - |2520 | 673 | 0 | 0 | 0 |3559 | 0 | 0.000000e+00 | -- | Inf
136.76/136.83 c 135s|180000 |178934 | 0 | 0.0 | 56M|1549 | - |2520 | 646 | 0 | 0 | 0 |3902 | 0 | 0.000000e+00 | -- | Inf
143.56/143.67 c 141s|190000 |188870 | 0 | 0.0 | 59M|1549 | - |2520 | 728 | 0 | 0 | 0 |4192 | 0 | 0.000000e+00 | -- | Inf
150.36/150.46 c 148s|200000 |198785 | 0 | 0.0 | 62M|1549 | - |2520 | 819 | 0 | 0 | 0 |4514 | 0 | 0.000000e+00 | -- | Inf
156.95/157.06 c 154s|210000 |208722 | 0 | 0.0 | 65M|1549 | - |2520 | 895 | 0 | 0 | 0 |4830 | 0 | 0.000000e+00 | -- | Inf
163.55/163.67 c 161s|220000 |218661 | 0 | 0.0 | 68M|1549 | - |2520 | 880 | 0 | 0 | 0 |5175 | 0 | 0.000000e+00 | -- | Inf
170.05/170.15 c 167s|230000 |228597 | 0 | 0.0 | 70M|1549 | - |2520 | 901 | 0 | 0 | 0 |5546 | 0 | 0.000000e+00 | -- | Inf
176.44/176.57 c 174s|240000 |238520 | 0 | 0.0 | 74M|1549 | - |2520 |1045 | 0 | 0 | 0 |5983 | 0 | 0.000000e+00 | -- | Inf
182.85/182.91 c 180s|250000 |248453 | 0 | 0.0 | 77M|1549 | - |2520 |1119 | 0 | 0 | 0 |6384 | 0 | 0.000000e+00 | -- | Inf
188.94/189.06 c 186s|260000 |258386 | 0 | 0.0 | 80M|1549 | - |2520 |1207 | 0 | 0 | 0 |6792 | 0 | 0.000000e+00 | -- | Inf
195.04/195.14 c 192s|270000 |268305 | 0 | 0.0 | 82M|1549 | - |2520 |1222 | 0 | 0 | 0 |7169 | 0 | 0.000000e+00 | -- | Inf
200.94/201.05 c 198s|280000 |278227 | 0 | 0.0 | 85M|1549 | - |2520 |1220 | 0 | 0 | 0 |7601 | 0 | 0.000000e+00 | -- | Inf
206.74/206.85 c 203s|290000 |288155 | 0 | 0.0 | 88M|1549 | - |2520 |1194 | 0 | 0 | 0 |7993 | 0 | 0.000000e+00 | -- | Inf
212.43/212.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
212.43/212.54 c 209s|300000 |298072 | 0 | 0.0 | 91M|1549 | - |2520 |1292 | 0 | 0 | 0 |8365 | 0 | 0.000000e+00 | -- | Inf
218.03/218.19 c 214s|310000 |307986 | 0 | 0.0 | 94M|1549 | - |2520 |1277 | 0 | 0 | 0 |8785 | 0 | 0.000000e+00 | -- | Inf
223.43/223.59 c 220s|320000 |317907 | 0 | 0.0 | 97M|1549 | - |2520 |1326 | 0 | 0 | 0 |9245 | 0 | 0.000000e+00 | -- | Inf
228.74/228.85 c 225s|330000 |327841 | 0 | 0.0 | 99M|1549 | - |2520 |1338 | 0 | 0 | 0 |9576 | 0 | 0.000000e+00 | -- | Inf
233.83/233.99 c 230s|340000 |337754 | 0 | 0.0 | 102M|1549 | - |2520 |1362 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
238.93/239.02 c 235s|350000 |347664 | 0 | 0.0 | 105M|1549 | - |2520 |1495 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
243.92/244.00 c 240s|360000 |357573 | 0 | 0.0 | 109M|1549 | - |2520 |1679 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
248.72/248.82 c 244s|370000 |367468 | 0 | 0.0 | 112M|1549 | - |2520 |1786 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
253.42/253.55 c 249s|380000 |377350 | 0 | 0.0 | 115M|1549 | - |2520 |2047 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
258.03/258.19 c 253s|390000 |387232 | 0 | 0.0 | 118M|1549 | - |2520 |2143 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
262.62/262.74 c 258s|400000 |397112 | 0 | 0.0 | 121M|1549 | - |2520 |2338 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
267.02/267.19 c 262s|410000 |406997 | 0 | 0.0 | 124M|1549 | - |2520 |2635 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
271.42/271.54 c 266s|420000 |416861 | 0 | 0.0 | 127M|1549 | - |2520 |2771 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
275.62/275.74 c 270s|430000 |426735 | 0 | 0.0 | 131M|1549 | - |2520 |2823 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
279.72/279.85 c 274s|440000 |436580 | 0 | 0.0 | 134M|1549 | - |2520 |3018 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
283.81/283.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
283.81/283.91 c 278s|450000 |446410 | 0 | 0.0 | 137M|1549 | - |2520 |3376 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
287.72/287.89 c 282s|460000 |456222 | 0 | 0.0 | 141M|1549 | - |2520 |3692 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
291.62/291.75 c 286s|470000 |466035 | 0 | 0.0 | 144M|1549 | - |2520 |3921 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
295.32/295.43 c 289s|480000 |475848 | 0 | 0.0 | 147M|1549 | - |2520 |4106 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
298.91/299.00 c 293s|490000 |485645 | 0 | 0.0 | 150M|1549 | - |2520 |4215 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
302.32/302.46 c 296s|500000 |495391 | 0 | 0.0 | 154M|1549 | - |2520 |4641 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
305.62/305.74 c 299s|510000 |505121 | 0 | 0.0 | 157M|1549 | - |2520 |4987 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
308.92/309.01 c 302s|520000 |514730 | 0 | 0.0 | 161M|1549 | - |2520 |5671 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
312.32/312.44 c 306s|530000 |523984 | 0 | 0.0 | 166M|1549 | - |2520 |6616 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
319.01/319.10 c 312s|540000 |533291 | 0 | 0.0 | 167M|1549 | - |2520 |5344 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
326.40/326.53 c 320s|550000 |543238 | 0 | 0.0 | 166M|1549 | - |2520 |1204 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
334.10/334.22 c 327s|560000 |553163 | 0 | 0.0 | 168M|1549 | - |2520 | 325 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
341.70/341.82 c 335s|570000 |563103 | 0 | 0.0 | 171M|1549 | - |2520 | 239 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
349.29/349.45 c 342s|580000 |573042 | 0 | 0.0 | 173M|1549 | - |2520 | 245 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
356.90/357.02 c 350s|590000 |582990 | 0 | 0.0 | 176M|1549 | - |2520 | 273 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
364.50/364.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
364.50/364.62 c 357s|600000 |592936 | 0 | 0.0 | 179M|1549 | - |2520 | 298 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
372.09/372.21 c 364s|610000 |602880 | 0 | 0.0 | 182M|1549 | - |2520 | 325 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
379.68/379.81 c 372s|620000 |612816 | 0 | 0.0 | 185M|1549 | - |2520 | 362 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
387.29/387.44 c 379s|630000 |622752 | 0 | 0.0 | 188M|1549 | - |2520 | 397 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
394.88/395.04 c 387s|640000 |632704 | 0 | 0.0 | 190M|1549 | - |2520 | 291 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
402.50/402.61 c 394s|650000 |642657 | 0 | 0.0 | 193M|1549 | - |2520 | 282 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
410.08/410.20 c 402s|660000 |652603 | 0 | 0.0 | 196M|1549 | - |2520 | 344 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
417.68/417.81 c 409s|670000 |662538 | 0 | 0.0 | 199M|1549 | - |2520 | 346 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
425.28/425.45 c 417s|680000 |672485 | 0 | 0.0 | 202M|1549 | - |2520 | 320 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
432.87/433.04 c 424s|690000 |682433 | 0 | 0.0 | 204M|1549 | - |2520 | 258 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
440.47/440.64 c 432s|700000 |692380 | 0 | 0.0 | 207M|1549 | - |2520 | 275 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
448.07/448.21 c 439s|710000 |702338 | 0 | 0.0 | 210M|1549 | - |2520 | 287 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
455.67/455.83 c 447s|720000 |712280 | 0 | 0.0 | 213M|1549 | - |2520 | 293 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
463.17/463.39 c 454s|730000 |722223 | 0 | 0.0 | 216M|1549 | - |2520 | 358 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
470.87/471.01 c 462s|740000 |732175 | 0 | 0.0 | 218M|1549 | - |2520 | 324 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
478.46/478.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
478.46/478.64 c 469s|750000 |742127 | 0 | 0.0 | 221M|1549 | - |2520 | 295 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
485.96/486.20 c 477s|760000 |752075 | 0 | 0.0 | 224M|1549 | - |2520 | 362 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
493.56/493.79 c 484s|770000 |762016 | 0 | 0.0 | 227M|1549 | - |2520 | 377 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
501.16/501.35 c 492s|780000 |771966 | 0 | 0.0 | 230M|1549 | - |2520 | 345 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
508.75/509.00 c 499s|790000 |781923 | 0 | 0.0 | 232M|1549 | - |2520 | 370 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
516.45/516.64 c 507s|800000 |791874 | 0 | 0.0 | 235M|1549 | - |2520 | 337 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
523.95/524.19 c 514s|810000 |801825 | 0 | 0.0 | 238M|1549 | - |2520 | 362 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
531.64/531.81 c 522s|820000 |811772 | 0 | 0.0 | 241M|1549 | - |2520 | 402 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
539.24/539.47 c 529s|830000 |821713 | 0 | 0.0 | 244M|1549 | - |2520 | 370 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
546.94/547.17 c 537s|840000 |831653 | 0 | 0.0 | 246M|1549 | - |2520 | 316 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
554.64/554.89 c 544s|850000 |841590 | 0 | 0.0 | 249M|1549 | - |2520 | 263 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
562.34/562.52 c 552s|860000 |851537 | 0 | 0.0 | 252M|1549 | - |2520 | 300 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
569.93/570.14 c 559s|870000 |861485 | 0 | 0.0 | 255M|1549 | - |2520 | 272 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
577.54/577.77 c 567s|880000 |871423 | 0 | 0.0 | 258M|1549 | - |2520 | 298 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
585.24/585.40 c 574s|890000 |881373 | 0 | 0.0 | 260M|1549 | - |2520 | 299 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
592.84/593.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
592.84/593.00 c 582s|900000 |891317 | 0 | 0.0 | 263M|1549 | - |2520 | 318 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
600.34/600.60 c 589s|910000 |901265 | 0 | 0.0 | 266M|1549 | - |2520 | 310 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
608.03/608.24 c 597s|920000 |911211 | 0 | 0.0 | 269M|1549 | - |2520 | 309 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
615.53/615.78 c 604s|930000 |921155 | 0 | 0.0 | 272M|1549 | - |2520 | 349 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
623.13/623.38 c 612s|940000 |931109 | 0 | 0.0 | 274M|1549 | - |2520 | 368 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
630.73/631.00 c 619s|950000 |941046 | 0 | 0.0 | 277M|1549 | - |2520 | 348 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
638.42/638.67 c 627s|960000 |950995 | 0 | 0.0 | 280M|1549 | - |2520 | 330 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
646.02/646.27 c 634s|970000 |960932 | 0 | 0.0 | 283M|1549 | - |2520 | 344 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
653.72/653.91 c 642s|980000 |970882 | 0 | 0.0 | 286M|1549 | - |2520 | 346 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
661.32/661.55 c 649s|990000 |980830 | 0 | 0.0 | 288M|1549 | - |2520 | 358 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
669.01/669.24 c 657s| 1000k|990754 | 0 | 0.0 | 291M|1549 | - |2520 | 407 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
676.61/676.88 c 664s| 1010k| 1000k| 0 | 0.0 | 294M|1549 | - |2520 | 336 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
684.21/684.48 c 672s| 1020k| 1010k| 0 | 0.0 | 297M|1549 | - |2520 | 316 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
691.91/692.20 c 679s| 1030k| 1020k| 0 | 0.0 | 299M|1549 | - |2520 | 281 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
699.60/699.86 c 687s| 1040k| 1030k| 0 | 0.0 | 302M|1549 | - |2520 | 306 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
707.31/707.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
707.31/707.51 c 694s| 1050k| 1040k| 0 | 0.0 | 305M|1549 | - |2520 | 332 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
714.90/715.20 c 702s| 1060k| 1050k| 0 | 0.0 | 308M|1549 | - |2520 | 339 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
722.60/722.87 c 710s| 1070k| 1060k| 0 | 0.0 | 310M|1549 | - |2520 | 312 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
730.20/730.46 c 717s| 1080k| 1070k| 0 | 0.0 | 313M|1549 | - |2520 | 339 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
737.90/738.11 c 724s| 1090k| 1080k| 0 | 0.0 | 316M|1549 | - |2520 | 278 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
745.50/745.80 c 732s| 1100k| 1090k| 0 | 0.0 | 319M|1549 | - |2520 | 288 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
753.19/753.41 c 740s| 1110k| 1100k| 0 | 0.0 | 322M|1549 | - |2520 | 378 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
760.78/761.04 c 747s| 1120k| 1110k| 0 | 0.0 | 324M|1549 | - |2520 | 306 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
768.48/768.77 c 755s| 1130k| 1119k| 0 | 0.0 | 327M|1549 | - |2520 | 269 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
776.18/776.42 c 762s| 1140k| 1129k| 0 | 0.0 | 330M|1549 | - |2520 | 305 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
783.78/784.06 c 770s| 1150k| 1139k| 0 | 0.0 | 333M|1549 | - |2520 | 351 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
791.48/791.73 c 777s| 1160k| 1149k| 0 | 0.0 | 335M|1549 | - |2520 | 290 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
799.18/799.42 c 785s| 1170k| 1159k| 0 | 0.0 | 338M|1549 | - |2520 | 334 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
806.67/806.98 c 792s| 1180k| 1169k| 0 | 0.0 | 341M|1549 | - |2520 | 401 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
814.47/814.71 c 800s| 1190k| 1179k| 0 | 0.0 | 344M|1549 | - |2520 | 392 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
822.07/822.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
822.07/822.35 c 807s| 1200k| 1189k| 0 | 0.0 | 346M|1549 | - |2520 | 337 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
829.67/829.95 c 815s| 1210k| 1199k| 0 | 0.0 | 349M|1549 | - |2520 | 326 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
837.27/837.59 c 822s| 1220k| 1209k| 0 | 0.0 | 352M|1549 | - |2520 | 373 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
844.96/845.24 c 830s| 1230k| 1219k| 0 | 0.0 | 355M|1549 | - |2520 | 345 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
852.56/852.87 c 837s| 1240k| 1229k| 0 | 0.0 | 358M|1549 | - |2520 | 353 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
860.16/860.50 c 845s| 1250k| 1239k| 0 | 0.0 | 360M|1549 | - |2520 | 330 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
867.96/868.24 c 852s| 1260k| 1249k| 0 | 0.0 | 363M|1549 | - |2520 | 320 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
875.66/875.93 c 860s| 1270k| 1259k| 0 | 0.0 | 366M|1549 | - |2520 | 354 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
883.25/883.52 c 868s| 1280k| 1269k| 0 | 0.0 | 369M|1549 | - |2520 | 380 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
890.95/891.21 c 875s| 1290k| 1279k| 0 | 0.0 | 372M|1549 | - |2520 | 390 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
898.65/898.90 c 883s| 1300k| 1289k| 0 | 0.0 | 374M|1549 | - |2520 | 368 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
906.25/906.59 c 890s| 1310k| 1298k| 0 | 0.0 | 377M|1549 | - |2520 | 373 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
913.95/914.20 c 898s| 1320k| 1308k| 0 | 0.0 | 380M|1549 | - |2520 | 335 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
921.45/921.80 c 905s| 1330k| 1318k| 0 | 0.0 | 383M|1549 | - |2520 | 347 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
929.24/929.56 c 913s| 1340k| 1328k| 0 | 0.0 | 385M|1549 | - |2520 | 330 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
936.85/937.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
936.85/937.18 c 920s| 1350k| 1338k| 0 | 0.0 | 388M|1549 | - |2520 | 351 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
944.44/944.78 c 928s| 1360k| 1348k| 0 | 0.0 | 391M|1549 | - |2520 | 368 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
952.24/952.52 c 935s| 1370k| 1358k| 0 | 0.0 | 394M|1549 | - |2520 | 386 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
959.93/960.22 c 943s| 1380k| 1368k| 0 | 0.0 | 397M|1549 | - |2520 | 347 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
967.52/967.86 c 951s| 1390k| 1378k| 0 | 0.0 | 399M|1549 | - |2520 | 328 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
975.22/975.59 c 958s| 1400k| 1388k| 0 | 0.0 | 402M|1549 | - |2520 | 350 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
982.93/983.26 c 966s| 1410k| 1398k| 0 | 0.0 | 405M|1549 | - |2520 | 288 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
990.63/990.99 c 973s| 1420k| 1408k| 0 | 0.0 | 408M|1549 | - |2520 | 349 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
998.32/998.65 c 981s| 1430k| 1418k| 0 | 0.0 | 411M|1549 | - |2520 | 365 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1006.02/1006.34 c 988s| 1440k| 1428k| 0 | 0.0 | 413M|1549 | - |2520 | 318 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1013.83/1014.19 c 996s| 1450k| 1438k| 0 | 0.0 | 416M|1549 | - |2520 | 330 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1021.52/1021.88 c 1004s| 1460k| 1448k| 0 | 0.0 | 419M|1549 | - |2520 | 318 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1029.32/1029.61 c 1011s| 1470k| 1458k| 0 | 0.0 | 422M|1549 | - |2520 | 332 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1037.01/1037.38 c 1019s| 1480k| 1468k| 0 | 0.0 | 424M|1549 | - |2520 | 287 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1044.81/1045.18 c 1027s| 1490k| 1477k| 0 | 0.0 | 427M|1549 | - |2520 | 324 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1052.61/1052.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1052.61/1052.93 c 1034s| 1500k| 1487k| 0 | 0.0 | 430M|1549 | - |2520 | 282 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1060.30/1060.62 c 1042s| 1510k| 1497k| 0 | 0.0 | 433M|1549 | - |2520 | 332 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1068.11/1068.45 c 1050s| 1520k| 1507k| 0 | 0.0 | 436M|1549 | - |2520 | 313 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1075.90/1076.26 c 1057s| 1530k| 1517k| 0 | 0.0 | 438M|1549 | - |2520 | 349 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1083.60/1083.98 c 1065s| 1540k| 1527k| 0 | 0.0 | 441M|1549 | - |2520 | 409 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1091.30/1091.68 c 1072s| 1550k| 1537k| 0 | 0.0 | 444M|1549 | - |2520 | 322 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1099.09/1099.44 c 1080s| 1560k| 1547k| 0 | 0.0 | 447M|1549 | - |2520 | 348 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
1106.89/1107.29 c 1088s| 1570k| 1557k| 0 | 0.0 | 450M|1549 | - |2520 | 351 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
1114.59/1114.95 c 1095s| 1580k| 1567k| 0 | 0.0 | 452M|1549 | - |2520 | 380 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
1122.28/1122.64 c 1103s| 1590k| 1577k| 0 | 0.0 | 455M|1549 | - |2520 | 285 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
1129.99/1130.32 c 1110s| 1600k| 1587k| 0 | 0.0 | 458M|1549 | - |2520 | 340 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1137.79/1138.17 c 1118s| 1610k| 1597k| 0 | 0.0 | 461M|1549 | - |2520 | 309 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1145.58/1145.90 c 1126s| 1620k| 1607k| 0 | 0.0 | 463M|1549 | - |2520 | 363 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1153.18/1153.54 c 1133s| 1630k| 1617k| 0 | 0.0 | 466M|1549 | - |2520 | 325 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1160.88/1161.22 c 1141s| 1640k| 1627k| 0 | 0.0 | 469M|1549 | - |2520 | 267 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1168.58/1168.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1168.58/1168.99 c 1148s| 1650k| 1637k| 0 | 0.0 | 472M|1549 | - |2520 | 300 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1176.37/1176.78 c 1156s| 1660k| 1646k| 0 | 0.0 | 474M|1549 | - |2520 | 291 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1184.07/1184.46 c 1164s| 1670k| 1656k| 0 | 0.0 | 477M|1549 | - |2520 | 348 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1191.67/1192.06 c 1171s| 1680k| 1666k| 0 | 0.0 | 480M|1549 | - |2520 | 347 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1199.37/1199.79 c 1179s| 1690k| 1676k| 0 | 0.0 | 483M|1549 | - |2520 | 336 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1207.17/1207.53 c 1186s| 1700k| 1686k| 0 | 0.0 | 486M|1549 | - |2520 | 376 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
1214.76/1215.14 c 1194s| 1710k| 1696k| 0 | 0.0 | 488M|1549 | - |2520 | 311 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
1222.46/1222.80 c 1201s| 1720k| 1706k| 0 | 0.0 | 491M|1549 | - |2520 | 355 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
1230.06/1230.46 c 1209s| 1730k| 1716k| 0 | 0.0 | 494M|1549 | - |2520 | 370 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
1237.96/1238.31 c 1217s| 1740k| 1726k| 0 | 0.0 | 497M|1549 | - |2520 | 353 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
1245.66/1246.00 c 1224s| 1750k| 1736k| 0 | 0.0 | 499M|1549 | - |2520 | 361 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
1253.25/1253.66 c 1232s| 1760k| 1746k| 0 | 0.0 | 502M|1549 | - |2520 | 323 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
1260.85/1261.26 c 1239s| 1770k| 1756k| 0 | 0.0 | 505M|1549 | - |2520 | 356 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
1268.64/1269.07 c 1247s| 1780k| 1766k| 0 | 0.0 | 508M|1549 | - |2520 | 326 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
1276.35/1276.75 c 1254s| 1790k| 1776k| 0 | 0.0 | 511M|1549 | - |2520 | 326 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
1283.95/1284.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1283.95/1284.36 c 1262s| 1800k| 1786k| 0 | 0.0 | 513M|1549 | - |2520 | 306 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
1291.54/1291.94 c 1269s| 1810k| 1796k| 0 | 0.0 | 516M|1549 | - |2520 | 318 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
1299.14/1299.54 c 1277s| 1820k| 1806k| 0 | 0.0 | 519M|1549 | - |2520 | 378 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
1306.84/1307.24 c 1284s| 1830k| 1816k| 0 | 0.0 | 522M|1549 | - |2520 | 362 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
1314.53/1314.90 c 1292s| 1840k| 1825k| 0 | 0.0 | 525M|1549 | - |2520 | 359 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
1322.13/1322.51 c 1299s| 1850k| 1835k| 0 | 0.0 | 527M|1549 | - |2520 | 363 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
1329.73/1330.14 c 1307s| 1860k| 1845k| 0 | 0.0 | 530M|1549 | - |2520 | 349 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
1337.33/1337.71 c 1314s| 1870k| 1855k| 0 | 0.0 | 533M|1549 | - |2520 | 345 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
1344.94/1345.35 c 1322s| 1880k| 1865k| 0 | 0.0 | 536M|1549 | - |2520 | 396 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
1352.53/1352.97 c 1329s| 1890k| 1875k| 0 | 0.0 | 538M|1549 | - |2520 | 369 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
1360.13/1360.52 c 1337s| 1900k| 1885k| 0 | 0.0 | 541M|1549 | - |2520 | 365 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
1367.62/1368.07 c 1344s| 1910k| 1895k| 0 | 0.0 | 544M|1549 | - |2520 | 321 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
1375.32/1375.73 c 1352s| 1920k| 1905k| 0 | 0.0 | 547M|1549 | - |2520 | 312 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
1382.91/1383.35 c 1359s| 1930k| 1915k| 0 | 0.0 | 549M|1549 | - |2520 | 328 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
1390.52/1390.96 c 1367s| 1940k| 1925k| 0 | 0.0 | 552M|1549 | - |2520 | 360 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
1398.11/1398.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1398.11/1398.52 c 1374s| 1950k| 1935k| 0 | 0.0 | 555M|1549 | - |2520 | 341 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
1405.71/1406.12 c 1382s| 1960k| 1945k| 0 | 0.0 | 558M|1549 | - |2520 | 337 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
1413.31/1413.77 c 1389s| 1970k| 1955k| 0 | 0.0 | 561M|1549 | - |2520 | 327 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
1421.01/1421.42 c 1397s| 1980k| 1965k| 0 | 0.0 | 563M|1549 | - |2520 | 363 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
1428.60/1429.04 c 1404s| 1990k| 1975k| 0 | 0.0 | 566M|1549 | - |2520 | 319 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
1436.22/1436.68 c 1412s| 2000k| 1985k| 0 | 0.0 | 569M|1549 | - |2520 | 276 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
1443.91/1444.33 c 1419s| 2010k| 1994k| 0 | 0.0 | 572M|1549 | - |2520 | 326 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
1451.61/1452.05 c 1427s| 2020k| 2004k| 0 | 0.0 | 575M|1549 | - |2520 | 335 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
1459.31/1459.79 c 1435s| 2030k| 2014k| 0 | 0.0 | 577M|1549 | - |2520 | 351 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
1467.01/1467.42 c 1442s| 2040k| 2024k| 0 | 0.0 | 580M|1549 | - |2520 | 359 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
1474.60/1475.06 c 1450s| 2050k| 2034k| 0 | 0.0 | 583M|1549 | - |2520 | 377 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
1482.20/1482.66 c 1457s| 2060k| 2044k| 0 | 0.0 | 586M|1549 | - |2520 | 343 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
1489.88/1490.36 c 1465s| 2070k| 2054k| 0 | 0.0 | 588M|1549 | - |2520 | 328 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
1497.58/1498.00 c 1472s| 2080k| 2064k| 0 | 0.0 | 591M|1549 | - |2520 | 381 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
1505.18/1505.69 c 1480s| 2090k| 2074k| 0 | 0.0 | 594M|1549 | - |2520 | 398 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
1512.79/1513.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1512.79/1513.29 c 1487s| 2100k| 2084k| 0 | 0.0 | 597M|1549 | - |2520 | 342 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
1520.58/1521.04 c 1495s| 2110k| 2094k| 0 | 0.0 | 600M|1549 | - |2520 | 353 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
1528.38/1528.80 c 1502s| 2120k| 2104k| 0 | 0.0 | 602M|1549 | - |2520 | 313 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
1535.98/1536.44 c 1510s| 2130k| 2114k| 0 | 0.0 | 605M|1549 | - |2520 | 390 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
1543.57/1544.04 c 1517s| 2140k| 2124k| 0 | 0.0 | 608M|1549 | - |2520 | 376 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
1551.18/1551.60 c 1525s| 2150k| 2134k| 0 | 0.0 | 611M|1549 | - |2520 | 332 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
1558.77/1559.23 c 1532s| 2160k| 2144k| 0 | 0.0 | 613M|1549 | - |2520 | 293 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
1566.37/1566.87 c 1540s| 2170k| 2154k| 0 | 0.0 | 616M|1549 | - |2520 | 320 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
1573.97/1574.47 c 1547s| 2180k| 2163k| 0 | 0.0 | 619M|1549 | - |2520 | 343 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
1581.66/1582.18 c 1555s| 2190k| 2173k| 0 | 0.0 | 622M|1549 | - |2520 | 353 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
1589.26/1589.78 c 1562s| 2200k| 2183k| 0 | 0.0 | 625M|1549 | - |2520 | 324 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
1596.86/1597.30 c 1570s| 2210k| 2193k| 0 | 0.0 | 627M|1549 | - |2520 | 345 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
1604.37/1604.90 c 1577s| 2220k| 2203k| 0 | 0.0 | 630M|1549 | - |2520 | 311 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
1612.07/1612.52 c 1585s| 2230k| 2213k| 0 | 0.0 | 633M|1549 | - |2520 | 381 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
1619.55/1620.07 c 1592s| 2240k| 2223k| 0 | 0.0 | 636M|1549 | - |2520 | 395 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
1627.15/1627.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1627.15/1627.63 c 1600s| 2250k| 2233k| 0 | 0.0 | 639M|1549 | - |2520 | 371 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
1634.85/1635.33 c 1607s| 2260k| 2243k| 0 | 0.0 | 641M|1549 | - |2520 | 409 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
1642.45/1642.92 c 1615s| 2270k| 2253k| 0 | 0.0 | 644M|1549 | - |2520 | 349 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
1650.04/1650.56 c 1622s| 2280k| 2263k| 0 | 0.0 | 647M|1549 | - |2520 | 429 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
1657.75/1658.25 c 1630s| 2290k| 2273k| 0 | 0.0 | 650M|1549 | - |2520 | 378 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
1665.44/1665.91 c 1637s| 2300k| 2283k| 0 | 0.0 | 653M|1549 | - |2520 | 416 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
1672.93/1673.48 c 1645s| 2310k| 2293k| 0 | 0.0 | 655M|1549 | - |2520 | 383 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
1680.64/1681.11 c 1652s| 2320k| 2303k| 0 | 0.0 | 658M|1549 | - |2520 | 353 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
1688.33/1688.80 c 1660s| 2330k| 2313k| 0 | 0.0 | 661M|1549 | - |2520 | 430 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
1695.93/1696.45 c 1667s| 2340k| 2323k| 0 | 0.0 | 664M|1549 | - |2520 | 471 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
1703.53/1704.03 c 1675s| 2350k| 2333k| 0 | 0.0 | 666M|1549 | - |2520 | 363 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
1711.13/1711.63 c 1682s| 2360k| 2342k| 0 | 0.0 | 669M|1549 | - |2520 | 349 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
1718.73/1719.28 c 1690s| 2370k| 2352k| 0 | 0.0 | 672M|1549 | - |2520 | 331 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
1726.43/1726.93 c 1697s| 2380k| 2362k| 0 | 0.0 | 675M|1549 | - |2520 | 400 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
1734.02/1734.51 c 1705s| 2390k| 2372k| 0 | 0.0 | 677M|1549 | - |2520 | 324 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
1741.62/1742.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1741.62/1742.15 c 1712s| 2400k| 2382k| 0 | 0.0 | 680M|1549 | - |2520 | 358 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
1749.32/1749.81 c 1720s| 2410k| 2392k| 0 | 0.0 | 683M|1549 | - |2520 | 312 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
1756.91/1757.43 c 1727s| 2420k| 2402k| 0 | 0.0 | 686M|1549 | - |2520 | 308 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
1764.61/1765.11 c 1735s| 2430k| 2412k| 0 | 0.0 | 688M|1549 | - |2520 | 313 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
1772.21/1772.78 c 1743s| 2440k| 2422k| 0 | 0.0 | 691M|1549 | - |2520 | 307 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
1779.91/1780.42 c 1750s| 2450k| 2432k| 0 | 0.0 | 694M|1549 | - |2520 | 340 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
1787.50/1788.03 c 1758s| 2460k| 2442k| 0 | 0.0 | 697M|1549 | - |2520 | 320 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
1795.01/1795.58 c 1765s| 2470k| 2452k| 0 | 0.0 | 700M|1549 | - |2520 | 358 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
1800.01/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.50 c
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time (sec) : 1769.79
1800.01/1800.50 c Solving Nodes : 2476463
1800.01/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.01/1800.50 c Dual Bound : +0.00000000000000e+00
1800.01/1800.50 c Gap : infinite
1800.01/1800.50 s UNKNOWN
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time : 1769.79
1800.01/1800.50 c Original Problem :
1800.01/1800.50 c Problem name : HOME/instance-2664520-1276327727.opb
1800.01/1800.50 c Variables : 2520 (2520 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50 c Constraints : 142 initial, 142 maximal
1800.01/1800.50 c Presolved Problem :
1800.01/1800.50 c Problem name : t_HOME/instance-2664520-1276327727.opb
1800.01/1800.50 c Variables : 2520 (2520 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50 c Constraints : 142 initial, 7545 maximal
1800.01/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c probing : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c root node : - 0 - - 0 - - - -
1800.01/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.50 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.50 c setppc : 70 0 2694359 0 2469901 9899 1208844 0 0 0
1800.01/1800.50 c logicor : 72+ 0 520606 0 2469901 1101 151849 0 0 0
1800.01/1800.50 c countsols : 0 0 0 0 2469901 0 0 0 0 0
1800.01/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.50 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.50 c setppc : 323.99 0.00 36.60 0.00 287.39
1800.01/1800.50 c logicor : 163.43 0.00 6.66 0.00 156.77
1800.01/1800.50 c countsols : 1.24 0.00 0.00 0.00 1.24
1800.01/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.50 c vbounds : 1.23 1 0 0
1800.01/1800.50 c rootredcost : 1.99 0 0 0
1800.01/1800.50 c pseudoobj : 1.36 0 0 0
1800.01/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.50 c propagation : 29.49 11000 11000 255513 207.2 52 95.8 -
1800.01/1800.50 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.50 c applied globally : - - - 76105 146.6 - - -
1800.01/1800.50 c applied locally : - - - 288 288.5 - - -
1800.01/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.50 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.50 c redcost : 0.00 0 0 0 0 0
1800.01/1800.50 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.50 c intobj : 0.00 0 0 0 0 0
1800.01/1800.50 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.50 c gomory : 0.00 0 0 0 0 0
1800.01/1800.50 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.50 c cmir : 0.00 0 0 0 0 0
1800.01/1800.50 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.50 c clique : 0.00 0 0 0 0 0
1800.01/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.50 c mcf : 0.00 0 0 0 0 0
1800.01/1800.50 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.50 c Pricers : Time Calls Vars
1800.01/1800.50 c problem variables: 0.00 0 0
1800.01/1800.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.50 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.50 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.50 c inference : 1187.00 2469901 0 0 0 0 4939802
1800.01/1800.50 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.50 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.50 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.50 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.50 c random : 0.00 0 0 0 0 0 0
1800.01/1800.50 c Primal Heuristics : Time Calls Found
1800.01/1800.50 c LP solutions : 0.00 - 0
1800.01/1800.50 c pseudo solutions : 0.00 - 0
1800.01/1800.50 c trivial : 0.00 1 0
1800.01/1800.50 c simplerounding : 0.00 0 0
1800.01/1800.50 c zirounding : 0.00 0 0
1800.01/1800.50 c rounding : 0.00 0 0
1800.01/1800.50 c shifting : 0.00 0 0
1800.01/1800.50 c intshifting : 0.00 0 0
1800.01/1800.50 c oneopt : 0.00 0 0
1800.01/1800.50 c twoopt : 0.00 0 0
1800.01/1800.50 c fixandinfer : 0.00 0 0
1800.01/1800.50 c feaspump : 0.00 0 0
1800.01/1800.50 c coefdiving : 0.00 0 0
1800.01/1800.50 c pscostdiving : 0.00 0 0
1800.01/1800.50 c fracdiving : 0.00 0 0
1800.01/1800.50 c veclendiving : 0.00 0 0
1800.01/1800.51 c intdiving : 0.00 0 0
1800.01/1800.51 c actconsdiving : 0.00 0 0
1800.01/1800.51 c objpscostdiving : 0.00 0 0
1800.01/1800.51 c rootsoldiving : 0.00 0 0
1800.01/1800.51 c linesearchdiving : 0.00 0 0
1800.01/1800.51 c guideddiving : 0.00 0 0
1800.01/1800.51 c octane : 0.00 0 0
1800.01/1800.51 c rens : 0.00 0 0
1800.01/1800.51 c rins : 0.00 0 0
1800.01/1800.51 c localbranching : 0.00 0 0
1800.01/1800.51 c mutation : 0.00 0 0
1800.01/1800.51 c crossover : 0.00 0 0
1800.01/1800.51 c dins : 0.00 0 0
1800.01/1800.51 c undercover : 0.00 0 0
1800.01/1800.51 c nlp : 0.00 0 0
1800.01/1800.51 c trysol : 0.00 0 0
1800.01/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.51 c (at root node) : - 0 0 0.00 -
1800.01/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.51 c B&B Tree :
1800.01/1800.51 c number of runs : 1
1800.01/1800.51 c nodes : 2476463
1800.01/1800.51 c nodes (total) : 2476463
1800.01/1800.51 c nodes left : 2458778
1800.01/1800.51 c max depth : 1549
1800.01/1800.51 c max depth (total): 1549
1800.01/1800.51 c backtracks : 4500 (0.2%)
1800.01/1800.51 c delayed cutoffs : 4562
1800.01/1800.51 c repropagations : 11960 (82522 domain reductions, 4438 cutoffs)
1800.01/1800.51 c avg switch length: 2.28
1800.01/1800.51 c switching time : 30.72
1800.01/1800.51 c Solution :
1800.01/1800.51 c Solutions found : 0 (0 improvements)
1800.01/1800.51 c Primal Bound : -
1800.01/1800.51 c Dual Bound : +0.00000000000000e+00
1800.01/1800.51 c Gap : infinite
1800.01/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.51 c Root Iterations : 0