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-2664745-1276582448.opb>
0.00/0.01 c original problem has 150 variables (150 bin, 0 int, 0 impl, 0 cont) and 25 constraints
0.00/0.01 c problem read
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving settings loaded
0.00/0.01 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.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 15 upgd conss, 0 impls, 10 clqs
0.00/0.02 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 25 upgd conss, 0 impls, 10 clqs
0.00/0.02 c presolving (3 rounds):
0.00/0.02 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 10 cliques
0.00/0.02 c presolved problem has 150 variables (150 bin, 0 int, 0 impl, 0 cont) and 25 constraints
0.00/0.02 c 10 constraints of type <setppc>
0.00/0.02 c 15 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c limits/solutions = 1
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.02 c separating/maxrounds = 1
0.00/0.02 c
0.00/0.02 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/maxroundsroot = 5
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.02 c constraints/knapsack/disaggregation = FALSE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c presolving/probing/maxrounds = 0
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/coefdiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.02 c heuristics/crossover/freq = -1
0.00/0.02 c
0.00/0.02 c # number of nodes added to the contingent of the total nodes
0.00/0.02 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.02 c heuristics/crossover/nodesofs = 750
0.00/0.02 c
0.00/0.02 c # number of nodes without incumbent change that heuristic should wait
0.00/0.02 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.02 c heuristics/crossover/nwaitingnodes = 100
0.00/0.02 c
0.00/0.02 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.02 c # [type: real, range: [0,1], default: 0.1]
0.00/0.02 c heuristics/crossover/nodesquot = 0.15
0.00/0.02 c
0.00/0.02 c # minimum percentage of integer variables that have to be fixed
0.00/0.02 c # [type: real, range: [0,1], default: 0.666]
0.00/0.02 c heuristics/crossover/minfixingrate = 0.5
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.02 c heuristics/feaspump/freq = -1
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/fracdiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/guideddiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/intshifting/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/linesearchdiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c heuristics/nlp/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.02 c heuristics/objpscostdiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.02 c # [type: real, range: [0,1], default: 0.01]
0.00/0.02 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c heuristics/oneopt/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/pscostdiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.02 c heuristics/rens/freq = -1
0.00/0.02 c
0.00/0.02 c # minimum percentage of integer variables that have to be fixable
0.00/0.02 c # [type: real, range: [0,1], default: 0.5]
0.00/0.02 c heuristics/rens/minfixingrate = 0.3
0.00/0.02 c
0.00/0.02 c # number of nodes added to the contingent of the total nodes
0.00/0.02 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.02 c heuristics/rens/nodesofs = 2000
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.02 c heuristics/rootsoldiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.02 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c heuristics/rounding/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/shifting/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c heuristics/simplerounding/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.02 c heuristics/trivial/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c heuristics/trysol/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/veclendiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c heuristics/zirounding/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.02 c separating/cmir/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.02 c separating/flowcover/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - | 365k| 0 | - | 150 | 25 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.00/1.00 c 0.8s| 10000 | 8723 | 0 | 0.0 |4292k| 78 | - | 150 |1040 | 0 | 0 | 0 |3087 | 0 | 0.000000e+00 | -- | Inf
2.29/2.32 c 2.0s| 20000 | 16658 | 0 | 0.0 |8239k| 78 | - | 150 |1938 | 0 | 0 | 0 |7842 | 0 | 0.000000e+00 | -- | Inf
4.19/4.29 c 3.8s| 30000 | 23637 | 0 | 0.0 | 11M| 78 | - | 150 |1292 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
5.50/5.57 c 4.9s| 40000 | 32145 | 0 | 0.0 | 15M| 78 | - | 150 |1450 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
6.79/6.85 c 6.0s| 50000 | 40630 | 0 | 0.0 | 18M| 78 | - | 150 |1535 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
8.19/8.21 c 7.2s| 60000 | 49044 | 0 | 0.0 | 22M| 78 | - | 150 |1762 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
9.59/9.67 c 8.5s| 70000 | 57246 | 0 | 0.0 | 26M| 78 | - | 150 |1760 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
11.08/11.19 c 9.9s| 80000 | 65364 | 0 | 0.0 | 29M| 78 | - | 150 |1969 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
12.78/12.84 c 11.4s| 90000 | 73329 | 0 | 0.0 | 33M| 78 | - | 150 |2094 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
14.48/14.56 c 12.9s|100000 | 81214 | 0 | 0.0 | 36M| 78 | - | 150 |2410 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
16.29/16.36 c 14.5s|110000 | 88995 | 0 | 0.0 | 40M| 78 | - | 150 |2286 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
18.18/18.30 c 16.3s|120000 | 96566 | 0 | 0.0 | 44M| 78 | - | 150 |2464 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
20.28/20.38 c 18.2s|130000 |103999 | 0 | 0.0 | 47M| 78 | - | 150 |2612 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
22.48/22.55 c 20.2s|140000 |111386 | 0 | 0.0 | 51M| 78 | - | 150 |2797 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
24.78/24.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.78/24.85 c 22.3s|150000 |118652 | 0 | 0.0 | 55M| 78 | - | 150 |2824 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
27.28/27.33 c 24.6s|160000 |125697 | 0 | 0.0 | 59M| 78 | - | 150 |3184 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
30.08/30.13 c 27.2s|170000 |132454 | 0 | 0.0 | 63M| 78 | - | 150 |3858 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
33.18/33.27 c 30.2s|180000 |139056 | 0 | 0.0 | 66M| 78 | - | 150 |3888 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
36.58/36.68 c 33.4s|190000 |145408 | 0 | 0.0 | 70M| 78 | - | 150 |4115 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
40.37/40.49 c 37.0s|200000 |151398 | 0 | 0.0 | 74M| 78 | - | 150 |4532 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
44.98/45.01 c 41.3s|210000 |156860 | 0 | 0.0 | 78M| 78 | - | 150 |5017 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
50.08/50.19 c 46.2s|220000 |161973 | 0 | 0.0 | 82M| 78 | - | 150 |5572 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
56.28/56.32 c 52.1s|230000 |166468 | 0 | 0.0 | 86M| 78 | - | 150 |6425 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
63.77/63.83 c 59.4s|240000 |170191 | 0 | 0.0 | 90M| 78 | - | 150 |7504 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
72.87/72.95 c 68.2s|250000 |172592 | 0 | 0.0 | 93M| 78 | - | 150 |7135 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
75.57/75.67 c 70.8s|260000 |180729 | 0 | 0.0 | 96M| 79 | - | 150 |2750 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
77.67/77.77 c 72.7s|270000 |188904 | 0 | 0.0 | 99M| 79 | - | 150 |2485 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
79.76/79.83 c 74.6s|280000 |197061 | 0 | 0.0 | 103M| 79 | - | 150 |2553 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
81.87/81.91 c 76.5s|290000 |205201 | 0 | 0.0 | 106M| 79 | - | 150 |2616 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
83.96/84.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
83.96/84.02 c 78.5s|300000 |213297 | 0 | 0.0 | 110M| 79 | - | 150 |2511 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
85.86/85.98 c 80.3s|310000 |221509 | 0 | 0.0 | 114M| 79 | - | 150 |2691 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
87.97/88.05 c 82.2s|320000 |229667 | 0 | 0.0 | 117M| 79 | - | 150 |2862 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
90.17/90.25 c 84.2s|330000 |237730 | 0 | 0.0 | 121M| 79 | - | 150 |2733 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
92.26/92.36 c 86.2s|340000 |245798 | 0 | 0.0 | 124M| 79 | - | 150 |2964 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
94.57/94.63 c 88.3s|350000 |253803 | 0 | 0.0 | 128M| 79 | - | 150 |2913 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
96.67/96.77 c 90.3s|360000 |261878 | 0 | 0.0 | 131M| 79 | - | 150 |3051 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
98.86/98.98 c 92.3s|370000 |269830 | 0 | 0.0 | 135M| 79 | - | 150 |2922 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
101.06/101.18 c 94.4s|380000 |277822 | 0 | 0.0 | 138M| 79 | - | 150 |2980 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
103.45/103.52 c 96.5s|390000 |285746 | 0 | 0.0 | 142M| 79 | - | 150 |3078 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
105.75/105.86 c 98.7s|400000 |293627 | 0 | 0.0 | 145M| 79 | - | 150 |3152 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
108.25/108.35 c 101s|410000 |301426 | 0 | 0.0 | 149M| 79 | - | 150 |3292 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
110.66/110.79 c 103s|420000 |309334 | 0 | 0.0 | 152M| 79 | - | 150 |3176 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
113.26/113.31 c 106s|430000 |317134 | 0 | 0.0 | 156M| 79 | - | 150 |3236 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
115.85/115.92 c 108s|440000 |324858 | 0 | 0.0 | 160M| 79 | - | 150 |3460 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
118.45/118.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
118.45/118.55 c 111s|450000 |332594 | 0 | 0.0 | 163M| 79 | - | 150 |3425 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | -- | Inf
121.05/121.16 c 113s|460000 |340327 | 0 | 0.0 | 167M| 79 | - | 150 |3273 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | -- | Inf
123.65/123.74 c 115s|470000 |348047 | 0 | 0.0 | 170M| 79 | - | 150 |3570 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
126.35/126.45 c 118s|480000 |355754 | 0 | 0.0 | 174M| 79 | - | 150 |3738 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
129.04/129.17 c 120s|490000 |363524 | 0 | 0.0 | 177M| 79 | - | 150 |3713 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
131.74/131.87 c 123s|500000 |371195 | 0 | 0.0 | 181M| 79 | - | 150 |3567 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
134.54/134.65 c 126s|510000 |378861 | 0 | 0.0 | 185M| 79 | - | 150 |3717 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | -- | Inf
137.45/137.52 c 128s|520000 |386467 | 0 | 0.0 | 188M| 79 | - | 150 |3689 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | -- | Inf
140.35/140.42 c 131s|530000 |394092 | 0 | 0.0 | 192M| 79 | - | 150 |3841 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | -- | Inf
143.44/143.52 c 134s|540000 |401536 | 0 | 0.0 | 195M| 79 | - | 150 |3949 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | -- | Inf
146.44/146.59 c 137s|550000 |409062 | 0 | 0.0 | 199M| 79 | - | 150 |3873 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | -- | Inf
149.64/149.79 c 140s|560000 |416484 | 0 | 0.0 | 203M| 79 | - | 150 |4118 | 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | -- | Inf
152.75/152.84 c 143s|570000 |424025 | 0 | 0.0 | 206M| 79 | - | 150 |4177 | 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | -- | Inf
156.04/156.10 c 146s|580000 |431436 | 0 | 0.0 | 210M| 79 | - | 150 |4060 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | -- | Inf
159.44/159.54 c 149s|590000 |438713 | 0 | 0.0 | 214M| 79 | - | 150 |4293 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | -- | Inf
162.83/162.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.83/162.98 c 152s|600000 |445939 | 0 | 0.0 | 217M| 79 | - | 150 |4405 | 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | -- | Inf
166.33/166.46 c 156s|610000 |453269 | 0 | 0.0 | 221M| 79 | - | 150 |4468 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | -- | Inf
169.84/169.97 c 159s|620000 |460566 | 0 | 0.0 | 225M| 79 | - | 150 |4341 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | -- | Inf
173.53/173.68 c 163s|630000 |467733 | 0 | 0.0 | 228M| 79 | - | 150 |4376 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | -- | Inf
177.33/177.46 c 166s|640000 |474846 | 0 | 0.0 | 232M| 79 | - | 150 |4570 | 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | -- | Inf
181.13/181.25 c 170s|650000 |481962 | 0 | 0.0 | 236M| 79 | - | 150 |4825 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | -- | Inf
184.93/185.01 c 173s|660000 |489180 | 0 | 0.0 | 239M| 79 | - | 150 |4716 | 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | -- | Inf
188.73/188.89 c 177s|670000 |496250 | 0 | 0.0 | 243M| 79 | - | 150 |4693 | 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | -- | Inf
192.73/192.89 c 181s|680000 |503250 | 0 | 0.0 | 247M| 79 | - | 150 |4731 | 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | -- | Inf
197.03/197.15 c 185s|690000 |510174 | 0 | 0.0 | 251M| 79 | - | 150 |4961 | 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | -- | Inf
201.43/201.51 c 189s|700000 |517029 | 0 | 0.0 | 254M| 79 | - | 150 |5147 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | -- | Inf
205.53/205.64 c 193s|710000 |524049 | 0 | 0.0 | 258M| 79 | - | 150 |4921 | 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | -- | Inf
209.82/209.95 c 197s|720000 |530921 | 0 | 0.0 | 262M| 79 | - | 150 |5098 | 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | -- | Inf
213.92/214.06 c 201s|730000 |537951 | 0 | 0.0 | 265M| 79 | - | 150 |4919 | 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | -- | Inf
218.22/218.35 c 205s|740000 |544823 | 0 | 0.0 | 269M| 79 | - | 150 |4929 | 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | -- | Inf
222.51/222.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
222.51/222.69 c 209s|750000 |551739 | 0 | 0.0 | 273M| 79 | - | 150 |5328 | 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | -- | Inf
227.11/227.29 c 214s|760000 |558492 | 0 | 0.0 | 277M| 79 | - | 150 |5342 | 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | -- | Inf
231.72/231.88 c 218s|770000 |565279 | 0 | 0.0 | 280M| 79 | - | 150 |5489 | 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | -- | Inf
236.32/236.43 c 223s|780000 |572112 | 0 | 0.0 | 284M| 79 | - | 150 |5198 | 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | -- | Inf
241.01/241.20 c 227s|790000 |578858 | 0 | 0.0 | 288M| 79 | - | 150 |5284 | 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | -- | Inf
245.81/245.99 c 232s|800000 |585581 | 0 | 0.0 | 291M| 79 | - | 150 |5407 | 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | -- | Inf
250.81/250.92 c 237s|810000 |592185 | 0 | 0.0 | 295M| 79 | - | 150 |5812 | 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | -- | Inf
255.91/256.02 c 241s|820000 |598774 | 0 | 0.0 | 299M| 79 | - | 150 |5837 | 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | -- | Inf
261.10/261.28 c 247s|830000 |605210 | 0 | 0.0 | 303M| 79 | - | 150 |5640 | 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | -- | Inf
266.31/266.43 c 251s|840000 |611795 | 0 | 0.0 | 306M| 79 | - | 150 |5648 | 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | -- | Inf
271.40/271.55 c 256s|850000 |618338 | 0 | 0.0 | 310M| 79 | - | 150 |5419 | 0 | 0 | 0 | 546k| 0 | 0.000000e+00 | -- | Inf
276.50/276.68 c 261s|860000 |624888 | 0 | 0.0 | 314M| 79 | - | 150 |5629 | 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | -- | Inf
282.00/282.16 c 267s|870000 |631243 | 0 | 0.0 | 318M| 79 | - | 150 |6338 | 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | -- | Inf
287.90/288.06 c 272s|880000 |637433 | 0 | 0.0 | 321M| 79 | - | 150 |6277 | 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | -- | Inf
293.50/293.66 c 278s|890000 |643834 | 0 | 0.0 | 325M| 79 | - | 150 |6014 | 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | -- | Inf
298.99/299.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
298.99/299.19 c 283s|900000 |650171 | 0 | 0.0 | 329M| 79 | - | 150 |6058 | 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | -- | Inf
304.49/304.68 c 288s|910000 |656574 | 0 | 0.0 | 333M| 79 | - | 150 |6043 | 0 | 0 | 0 | 597k| 0 | 0.000000e+00 | -- | Inf
310.19/310.38 c 294s|920000 |662879 | 0 | 0.0 | 336M| 79 | - | 150 |6158 | 0 | 0 | 0 | 605k| 0 | 0.000000e+00 | -- | Inf
316.49/316.69 c 300s|930000 |668898 | 0 | 0.0 | 340M| 79 | - | 150 |6777 | 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | -- | Inf
323.19/323.34 c 306s|940000 |674832 | 0 | 0.0 | 344M| 79 | - | 150 |6730 | 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | -- | Inf
329.48/329.67 c 313s|950000 |680994 | 0 | 0.0 | 348M| 79 | - | 150 |6359 | 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | -- | Inf
335.58/335.75 c 318s|960000 |687105 | 0 | 0.0 | 352M| 79 | - | 150 |6493 | 0 | 0 | 0 | 642k| 0 | 0.000000e+00 | -- | Inf
341.88/342.01 c 324s|970000 |693264 | 0 | 0.0 | 355M| 79 | - | 150 |6435 | 0 | 0 | 0 | 651k| 0 | 0.000000e+00 | -- | Inf
347.78/347.92 c 330s|980000 |699679 | 0 | 0.0 | 359M| 79 | - | 150 |6552 | 0 | 0 | 0 | 659k| 0 | 0.000000e+00 | -- | Inf
355.08/355.22 c 337s|990000 |705210 | 0 | 0.0 | 363M| 79 | - | 150 |7490 | 0 | 0 | 0 | 670k| 0 | 0.000000e+00 | -- | Inf
362.67/362.80 c 345s| 1000k|710873 | 0 | 0.0 | 367M| 79 | - | 150 |7052 | 0 | 0 | 0 | 680k| 0 | 0.000000e+00 | -- | Inf
369.36/369.54 c 351s| 1010k|716824 | 0 | 0.0 | 371M| 79 | - | 150 |6318 | 0 | 0 | 0 | 689k| 0 | 0.000000e+00 | -- | Inf
376.08/376.29 c 358s| 1020k|722679 | 0 | 0.0 | 374M| 79 | - | 150 |6931 | 0 | 0 | 0 | 699k| 0 | 0.000000e+00 | -- | Inf
382.76/382.90 c 364s| 1030k|728785 | 0 | 0.0 | 378M| 79 | - | 150 |6808 | 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | -- | Inf
389.66/389.89 c 371s| 1040k|734720 | 0 | 0.0 | 382M| 79 | - | 150 |6936 | 0 | 0 | 0 | 717k| 0 | 0.000000e+00 | -- | Inf
398.07/398.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
398.07/398.26 c 379s| 1050k|739923 | 0 | 0.0 | 386M| 79 | - | 150 |7800 | 0 | 0 | 0 | 728k| 0 | 0.000000e+00 | -- | Inf
406.26/406.42 c 387s| 1060k|745424 | 0 | 0.0 | 390M| 79 | - | 150 |7438 | 0 | 0 | 0 | 738k| 0 | 0.000000e+00 | -- | Inf
413.75/413.94 c 394s| 1070k|751060 | 0 | 0.0 | 393M| 79 | - | 150 |7055 | 0 | 0 | 0 | 748k| 0 | 0.000000e+00 | -- | Inf
421.05/421.29 c 402s| 1080k|756744 | 0 | 0.0 | 397M| 79 | - | 150 |7236 | 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | -- | Inf
428.15/428.31 c 408s| 1090k|762636 | 0 | 0.0 | 401M| 79 | - | 150 |7076 | 0 | 0 | 0 | 767k| 0 | 0.000000e+00 | -- | Inf
435.65/435.86 c 416s| 1100k|768344 | 0 | 0.0 | 405M| 79 | - | 150 |7822 | 0 | 0 | 0 | 777k| 0 | 0.000000e+00 | -- | Inf
445.44/445.68 c 425s| 1110k|773053 | 0 | 0.0 | 409M| 79 | - | 150 |8405 | 0 | 0 | 0 | 789k| 0 | 0.000000e+00 | -- | Inf
454.34/454.51 c 434s| 1120k|778232 | 0 | 0.0 | 413M| 79 | - | 150 |7556 | 0 | 0 | 0 | 799k| 0 | 0.000000e+00 | -- | Inf
462.84/463.10 c 442s| 1130k|783519 | 0 | 0.0 | 417M| 79 | - | 150 |7602 | 0 | 0 | 0 | 810k| 0 | 0.000000e+00 | -- | Inf
470.83/471.09 c 450s| 1140k|789056 | 0 | 0.0 | 420M| 79 | - | 150 |7531 | 0 | 0 | 0 | 820k| 0 | 0.000000e+00 | -- | Inf
479.13/479.33 c 458s| 1150k|794471 | 0 | 0.0 | 424M| 79 | - | 150 |8224 | 0 | 0 | 0 | 830k| 0 | 0.000000e+00 | -- | Inf
487.52/487.73 c 466s| 1160k|799980 | 0 | 0.0 | 428M| 79 | - | 150 |8140 | 0 | 0 | 0 | 840k| 0 | 0.000000e+00 | -- | Inf
498.12/498.31 c 477s| 1170k|804444 | 0 | 0.0 | 432M| 79 | - | 150 |8983 | 0 | 0 | 0 | 853k| 0 | 0.000000e+00 | -- | Inf
507.72/507.92 c 486s| 1180k|809367 | 0 | 0.0 | 435M| 79 | - | 150 |7796 | 0 | 0 | 0 | 863k| 0 | 0.000000e+00 | -- | Inf
516.52/516.78 c 495s| 1190k|814499 | 0 | 0.0 | 439M| 79 | - | 150 |8202 | 0 | 0 | 0 | 874k| 0 | 0.000000e+00 | -- | Inf
525.22/525.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
525.22/525.48 c 503s| 1200k|819806 | 0 | 0.0 | 443M| 79 | - | 150 |8411 | 0 | 0 | 0 | 884k| 0 | 0.000000e+00 | -- | Inf
534.01/534.28 c 512s| 1210k|825158 | 0 | 0.0 | 447M| 79 | - | 150 |8900 | 0 | 0 | 0 | 895k| 0 | 0.000000e+00 | -- | Inf
543.71/543.96 c 521s| 1220k|830212 | 0 | 0.0 | 451M| 79 | - | 150 |8653 | 0 | 0 | 0 | 906k| 0 | 0.000000e+00 | -- | Inf
555.21/555.50 c 533s| 1230k|834300 | 0 | 0.0 | 455M| 79 | - | 150 |8900 | 0 | 0 | 0 | 919k| 0 | 0.000000e+00 | -- | Inf
565.60/565.88 c 543s| 1240k|838919 | 0 | 0.0 | 458M| 79 | - | 150 |8663 | 0 | 0 | 0 | 931k| 0 | 0.000000e+00 | -- | Inf
575.01/575.30 c 552s| 1250k|843928 | 0 | 0.0 | 462M| 79 | - | 150 |8694 | 0 | 0 | 0 | 941k| 0 | 0.000000e+00 | -- | Inf
584.79/585.08 c 562s| 1260k|848779 | 0 | 0.0 | 466M| 79 | - | 150 |9143 | 0 | 0 | 0 | 953k| 0 | 0.000000e+00 | -- | Inf
595.49/595.75 c 572s| 1270k|853511 | 0 | 0.0 | 470M| 79 | - | 150 |9091 | 0 | 0 | 0 | 964k| 0 | 0.000000e+00 | -- | Inf
607.09/607.34 c 583s| 1280k|857826 | 0 | 0.0 | 474M| 79 | - | 150 | 10k| 0 | 0 | 0 | 977k| 0 | 0.000000e+00 | -- | Inf
619.69/619.98 c 596s| 1290k|861711 | 0 | 0.0 | 477M| 79 | - | 150 |8879 | 0 | 0 | 0 | 990k| 0 | 0.000000e+00 | -- | Inf
629.98/630.30 c 606s| 1300k|866357 | 0 | 0.0 | 481M| 79 | - | 150 |9311 | 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | -- | Inf
640.68/640.91 c 616s| 1310k|871081 | 0 | 0.0 | 485M| 79 | - | 150 |9470 | 0 | 0 | 0 |1012k| 0 | 0.000000e+00 | -- | Inf
651.68/651.94 c 627s| 1320k|875639 | 0 | 0.0 | 489M| 79 | - | 150 |9507 | 0 | 0 | 0 |1024k| 0 | 0.000000e+00 | -- | Inf
663.88/664.18 c 639s| 1330k|879721 | 0 | 0.0 | 492M| 79 | - | 150 | 10k| 0 | 0 | 0 |1037k| 0 | 0.000000e+00 | -- | Inf
676.97/677.27 c 652s| 1340k|883396 | 0 | 0.0 | 496M| 79 | - | 150 |9677 | 0 | 0 | 0 |1050k| 0 | 0.000000e+00 | -- | Inf
688.46/688.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
688.46/688.70 c 663s| 1350k|887722 | 0 | 0.0 | 500M| 79 | - | 150 |9856 | 0 | 0 | 0 |1062k| 0 | 0.000000e+00 | -- | Inf
700.46/700.76 c 675s| 1360k|891944 | 0 | 0.0 | 503M| 79 | - | 150 |9840 | 0 | 0 | 0 |1074k| 0 | 0.000000e+00 | -- | Inf
712.65/712.96 c 687s| 1370k|896135 | 0 | 0.0 | 507M| 79 | - | 150 | 10k| 0 | 0 | 0 |1086k| 0 | 0.000000e+00 | -- | Inf
727.55/727.85 c 702s| 1380k|899280 | 0 | 0.0 | 511M| 79 | - | 150 | 10k| 0 | 0 | 0 |1101k| 0 | 0.000000e+00 | -- | Inf
741.15/741.42 c 715s| 1390k|902909 | 0 | 0.0 | 514M| 79 | - | 150 | 10k| 0 | 0 | 0 |1114k| 0 | 0.000000e+00 | -- | Inf
754.14/754.47 c 728s| 1400k|906823 | 0 | 0.0 | 518M| 79 | - | 150 | 10k| 0 | 0 | 0 |1127k| 0 | 0.000000e+00 | -- | Inf
767.04/767.39 c 740s| 1410k|910813 | 0 | 0.0 | 522M| 79 | - | 150 | 10k| 0 | 0 | 0 |1139k| 0 | 0.000000e+00 | -- | Inf
782.23/782.60 c 755s| 1420k|913803 | 0 | 0.0 | 525M| 79 | - | 150 | 11k| 0 | 0 | 0 |1154k| 0 | 0.000000e+00 | -- | Inf
797.03/797.36 c 770s| 1430k|917048 | 0 | 0.0 | 529M| 79 | - | 150 | 10k| 0 | 0 | 0 |1168k| 0 | 0.000000e+00 | -- | Inf
810.82/811.10 c 783s| 1440k|920747 | 0 | 0.0 | 532M| 79 | - | 150 | 10k| 0 | 0 | 0 |1180k| 0 | 0.000000e+00 | -- | Inf
824.31/824.67 c 797s| 1450k|924597 | 0 | 0.0 | 536M| 79 | - | 150 | 11k| 0 | 0 | 0 |1193k| 0 | 0.000000e+00 | -- | Inf
841.11/841.43 c 813s| 1460k|927166 | 0 | 0.0 | 539M| 79 | - | 150 | 11k| 0 | 0 | 0 |1209k| 0 | 0.000000e+00 | -- | Inf
856.71/857.01 c 829s| 1470k|930367 | 0 | 0.0 | 543M| 79 | - | 150 | 11k| 0 | 0 | 0 |1222k| 0 | 0.000000e+00 | -- | Inf
871.40/871.72 c 843s| 1480k|933862 | 0 | 0.0 | 546M| 79 | - | 150 | 11k| 0 | 0 | 0 |1236k| 0 | 0.000000e+00 | -- | Inf
887.59/887.99 c 859s| 1490k|936800 | 0 | 0.0 | 550M| 79 | - | 150 | 11k| 0 | 0 | 0 |1250k| 0 | 0.000000e+00 | -- | Inf
904.89/905.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
904.89/905.24 c 876s| 1500k|939567 | 0 | 0.0 | 553M| 79 | - | 150 | 11k| 0 | 0 | 0 |1265k| 0 | 0.000000e+00 | -- | Inf
920.88/921.20 c 892s| 1510k|942683 | 0 | 0.0 | 557M| 79 | - | 150 | 11k| 0 | 0 | 0 |1278k| 0 | 0.000000e+00 | -- | Inf
938.68/939.01 c 909s| 1520k|945100 | 0 | 0.0 | 560M| 79 | - | 150 | 12k| 0 | 0 | 0 |1293k| 0 | 0.000000e+00 | -- | Inf
956.48/956.89 c 927s| 1530k|947657 | 0 | 0.0 | 563M| 79 | - | 150 | 12k| 0 | 0 | 0 |1307k| 0 | 0.000000e+00 | -- | Inf
973.08/973.45 c 943s| 1540k|950837 | 0 | 0.0 | 567M| 79 | - | 150 | 11k| 0 | 0 | 0 |1321k| 0 | 0.000000e+00 | -- | Inf
992.76/993.12 c 963s| 1550k|952689 | 0 | 0.0 | 569M| 79 | - | 150 | 12k| 0 | 0 | 0 |1336k| 0 | 0.000000e+00 | -- | Inf
1010.16/1010.51 c 980s| 1560k|955599 | 0 | 0.0 | 573M| 79 | - | 150 | 12k| 0 | 0 | 0 |1349k| 0 | 0.000000e+00 | -- | Inf
1030.55/1030.90 c 1000s| 1570k|957129 | 0 | 0.0 | 576M| 79 | - | 150 | 13k| 0 | 0 | 0 |1365k| 0 | 0.000000e+00 | -- | Inf
1048.96/1049.40 c 1018s| 1580k|959742 | 0 | 0.0 | 579M| 79 | - | 150 | 13k| 0 | 0 | 0 |1379k| 0 | 0.000000e+00 | -- | Inf
1070.35/1070.78 c 1039s| 1590k|961164 | 0 | 0.0 | 582M| 79 | - | 150 | 13k| 0 | 0 | 0 |1395k| 0 | 0.000000e+00 | -- | Inf
1091.43/1091.80 c 1060s| 1600k|962807 | 0 | 0.0 | 585M| 79 | - | 150 | 13k| 0 | 0 | 0 |1410k| 0 | 0.000000e+00 | -- | Inf
1112.93/1113.38 c 1081s| 1610k|964231 | 0 | 0.0 | 587M| 79 | - | 150 | 13k| 0 | 0 | 0 |1424k| 0 | 0.000000e+00 | -- | Inf
1134.83/1135.24 c 1103s| 1620k|965591 | 0 | 0.0 | 590M| 79 | - | 150 | 13k| 0 | 0 | 0 |1438k| 0 | 0.000000e+00 | -- | Inf
1158.21/1158.64 c 1126s| 1630k|966331 | 0 | 0.0 | 593M| 79 | - | 150 | 14k| 0 | 0 | 0 |1453k| 0 | 0.000000e+00 | -- | Inf
1185.81/1186.22 c 1153s| 1640k|965464 | 0 | 0.0 | 594M| 79 | - | 150 | 14k| 0 | 0 | 0 |1467k| 0 | 0.000000e+00 | -- | Inf
1196.61/1197.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1196.61/1197.06 c 1164s| 1650k|972273 | 0 | 0.0 | 596M| 79 | - | 150 |8962 | 0 | 0 | 0 |1474k| 0 | 0.000000e+00 | -- | Inf
1204.80/1205.28 c 1172s| 1660k|979534 | 0 | 0.0 | 599M| 79 | - | 150 |7822 | 0 | 0 | 0 |1482k| 0 | 0.000000e+00 | -- | Inf
1212.10/1212.59 c 1179s| 1670k|986934 | 0 | 0.0 | 603M| 79 | - | 150 |7491 | 0 | 0 | 0 |1489k| 0 | 0.000000e+00 | -- | Inf
1219.59/1220.03 c 1186s| 1680k|994123 | 0 | 0.0 | 607M| 79 | - | 150 |7252 | 0 | 0 | 0 |1498k| 0 | 0.000000e+00 | -- | Inf
1226.80/1227.21 c 1193s| 1690k| 1001k| 0 | 0.0 | 611M| 79 | - | 150 |7232 | 0 | 0 | 0 |1506k| 0 | 0.000000e+00 | -- | Inf
1233.29/1233.70 c 1199s| 1700k| 1008k| 0 | 0.0 | 615M| 79 | - | 150 |6582 | 0 | 0 | 0 |1514k| 0 | 0.000000e+00 | -- | Inf
1240.19/1240.69 c 1206s| 1710k| 1015k| 0 | 0.0 | 619M| 79 | - | 150 |7167 | 0 | 0 | 0 |1522k| 0 | 0.000000e+00 | -- | Inf
1246.69/1247.18 c 1213s| 1720k| 1023k| 0 | 0.0 | 622M| 79 | - | 150 |6416 | 0 | 0 | 0 |1530k| 0 | 0.000000e+00 | -- | Inf
1252.69/1253.13 c 1218s| 1730k| 1030k| 0 | 0.0 | 626M| 79 | - | 150 |6483 | 0 | 0 | 0 |1538k| 0 | 0.000000e+00 | -- | Inf
1260.09/1260.56 c 1226s| 1740k| 1037k| 0 | 0.0 | 630M| 79 | - | 150 |6991 | 0 | 0 | 0 |1547k| 0 | 0.000000e+00 | -- | Inf
1266.18/1266.66 c 1232s| 1750k| 1044k| 0 | 0.0 | 634M| 79 | - | 150 |6466 | 0 | 0 | 0 |1555k| 0 | 0.000000e+00 | -- | Inf
1271.98/1272.41 c 1237s| 1760k| 1051k| 0 | 0.0 | 637M| 79 | - | 150 |6573 | 0 | 0 | 0 |1562k| 0 | 0.000000e+00 | -- | Inf
1279.58/1280.01 c 1244s| 1770k| 1058k| 0 | 0.0 | 642M| 79 | - | 150 |7388 | 0 | 0 | 0 |1572k| 0 | 0.000000e+00 | -- | Inf
1286.18/1286.62 c 1251s| 1780k| 1065k| 0 | 0.0 | 645M| 79 | - | 150 |6667 | 0 | 0 | 0 |1580k| 0 | 0.000000e+00 | -- | Inf
1292.27/1292.70 c 1257s| 1790k| 1072k| 0 | 0.0 | 649M| 79 | - | 150 |6725 | 0 | 0 | 0 |1587k| 0 | 0.000000e+00 | -- | Inf
1298.68/1299.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1298.68/1299.13 c 1263s| 1800k| 1079k| 0 | 0.0 | 653M| 79 | - | 150 |6987 | 0 | 0 | 0 |1596k| 0 | 0.000000e+00 | -- | Inf
1306.67/1307.16 c 1271s| 1810k| 1086k| 0 | 0.0 | 657M| 79 | - | 150 |7896 | 0 | 0 | 0 |1606k| 0 | 0.000000e+00 | -- | Inf
1313.77/1314.25 c 1278s| 1820k| 1093k| 0 | 0.0 | 661M| 79 | - | 150 |7223 | 0 | 0 | 0 |1614k| 0 | 0.000000e+00 | -- | Inf
1320.47/1320.95 c 1284s| 1830k| 1100k| 0 | 0.0 | 665M| 79 | - | 150 |7289 | 0 | 0 | 0 |1622k| 0 | 0.000000e+00 | -- | Inf
1326.87/1327.34 c 1290s| 1840k| 1107k| 0 | 0.0 | 668M| 79 | - | 150 |7285 | 0 | 0 | 0 |1630k| 0 | 0.000000e+00 | -- | Inf
1333.77/1334.30 c 1297s| 1850k| 1114k| 0 | 0.0 | 672M| 79 | - | 150 |7293 | 0 | 0 | 0 |1638k| 0 | 0.000000e+00 | -- | Inf
1342.86/1343.30 c 1306s| 1860k| 1120k| 0 | 0.0 | 677M| 79 | - | 150 |8430 | 0 | 0 | 0 |1649k| 0 | 0.000000e+00 | -- | Inf
1350.15/1350.63 c 1313s| 1870k| 1127k| 0 | 0.0 | 680M| 79 | - | 150 |7656 | 0 | 0 | 0 |1657k| 0 | 0.000000e+00 | -- | Inf
1357.26/1357.76 c 1320s| 1880k| 1134k| 0 | 0.0 | 684M| 79 | - | 150 |7636 | 0 | 0 | 0 |1666k| 0 | 0.000000e+00 | -- | Inf
1364.25/1364.70 c 1327s| 1890k| 1141k| 0 | 0.0 | 688M| 79 | - | 150 |7808 | 0 | 0 | 0 |1674k| 0 | 0.000000e+00 | -- | Inf
1371.05/1371.58 c 1334s| 1900k| 1148k| 0 | 0.0 | 692M| 79 | - | 150 |7673 | 0 | 0 | 0 |1682k| 0 | 0.000000e+00 | -- | Inf
1378.15/1378.65 c 1340s| 1910k| 1155k| 0 | 0.0 | 696M| 79 | - | 150 |7656 | 0 | 0 | 0 |1690k| 0 | 0.000000e+00 | -- | Inf
1385.45/1385.91 c 1347s| 1920k| 1162k| 0 | 0.0 | 699M| 79 | - | 150 |7592 | 0 | 0 | 0 |1698k| 0 | 0.000000e+00 | -- | Inf
1395.75/1396.23 c 1358s| 1930k| 1168k| 0 | 0.0 | 704M| 79 | - | 150 |9059 | 0 | 0 | 0 |1710k| 0 | 0.000000e+00 | -- | Inf
1404.04/1404.58 c 1366s| 1940k| 1175k| 0 | 0.0 | 707M| 79 | - | 150 |8225 | 0 | 0 | 0 |1719k| 0 | 0.000000e+00 | -- | Inf
1411.85/1412.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1411.85/1412.34 c 1373s| 1950k| 1181k| 0 | 0.0 | 711M| 79 | - | 150 |8206 | 0 | 0 | 0 |1728k| 0 | 0.000000e+00 | -- | Inf
1419.44/1419.96 c 1381s| 1960k| 1188k| 0 | 0.0 | 715M| 79 | - | 150 |8174 | 0 | 0 | 0 |1736k| 0 | 0.000000e+00 | -- | Inf
1426.73/1427.29 c 1388s| 1970k| 1195k| 0 | 0.0 | 719M| 79 | - | 150 |8287 | 0 | 0 | 0 |1745k| 0 | 0.000000e+00 | -- | Inf
1434.23/1434.74 c 1395s| 1980k| 1202k| 0 | 0.0 | 723M| 79 | - | 150 |8293 | 0 | 0 | 0 |1753k| 0 | 0.000000e+00 | -- | Inf
1442.23/1442.70 c 1403s| 1990k| 1209k| 0 | 0.0 | 727M| 79 | - | 150 |8056 | 0 | 0 | 0 |1762k| 0 | 0.000000e+00 | -- | Inf
1450.03/1450.52 c 1411s| 2000k| 1216k| 0 | 0.0 | 731M| 79 | - | 150 |8623 | 0 | 0 | 0 |1771k| 0 | 0.000000e+00 | -- | Inf
1459.62/1460.10 c 1420s| 2010k| 1222k| 0 | 0.0 | 735M| 79 | - | 150 | 10k| 0 | 0 | 0 |1781k| 0 | 0.000000e+00 | -- | Inf
1470.62/1471.12 c 1431s| 2020k| 1228k| 0 | 0.0 | 739M| 79 | - | 150 |9183 | 0 | 0 | 0 |1792k| 0 | 0.000000e+00 | -- | Inf
1479.42/1479.98 c 1439s| 2030k| 1234k| 0 | 0.0 | 742M| 79 | - | 150 |8741 | 0 | 0 | 0 |1802k| 0 | 0.000000e+00 | -- | Inf
1487.42/1487.95 c 1447s| 2040k| 1241k| 0 | 0.0 | 746M| 79 | - | 150 |8658 | 0 | 0 | 0 |1810k| 0 | 0.000000e+00 | -- | Inf
1495.61/1496.16 c 1455s| 2050k| 1248k| 0 | 0.0 | 750M| 79 | - | 150 |8806 | 0 | 0 | 0 |1819k| 0 | 0.000000e+00 | -- | Inf
1503.91/1504.45 c 1463s| 2060k| 1255k| 0 | 0.0 | 754M| 79 | - | 150 |8833 | 0 | 0 | 0 |1828k| 0 | 0.000000e+00 | -- | Inf
1512.71/1513.27 c 1472s| 2070k| 1261k| 0 | 0.0 | 758M| 79 | - | 150 |8899 | 0 | 0 | 0 |1837k| 0 | 0.000000e+00 | -- | Inf
1521.21/1521.74 c 1480s| 2080k| 1268k| 0 | 0.0 | 762M| 79 | - | 150 |9151 | 0 | 0 | 0 |1846k| 0 | 0.000000e+00 | -- | Inf
1529.90/1530.45 c 1489s| 2090k| 1275k| 0 | 0.0 | 766M| 79 | - | 150 |8621 | 0 | 0 | 0 |1855k| 0 | 0.000000e+00 | -- | Inf
1538.90/1539.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1538.90/1539.42 c 1498s| 2100k| 1281k| 0 | 0.0 | 770M| 79 | - | 150 |8904 | 0 | 0 | 0 |1864k| 0 | 0.000000e+00 | -- | Inf
1550.30/1550.80 c 1509s| 2110k| 1287k| 0 | 0.0 | 774M| 79 | - | 150 | 11k| 0 | 0 | 0 |1877k| 0 | 0.000000e+00 | -- | Inf
1563.20/1563.76 c 1521s| 2120k| 1293k| 0 | 0.0 | 778M| 79 | - | 150 | 10k| 0 | 0 | 0 |1889k| 0 | 0.000000e+00 | -- | Inf
1572.89/1573.43 c 1531s| 2130k| 1299k| 0 | 0.0 | 782M| 79 | - | 150 |9557 | 0 | 0 | 0 |1898k| 0 | 0.000000e+00 | -- | Inf
1582.29/1582.87 c 1540s| 2140k| 1305k| 0 | 0.0 | 786M| 79 | - | 150 |9561 | 0 | 0 | 0 |1908k| 0 | 0.000000e+00 | -- | Inf
1591.19/1591.79 c 1549s| 2150k| 1312k| 0 | 0.0 | 790M| 79 | - | 150 |9839 | 0 | 0 | 0 |1917k| 0 | 0.000000e+00 | -- | Inf
1600.08/1600.61 c 1557s| 2160k| 1319k| 0 | 0.0 | 793M| 79 | - | 150 |9505 | 0 | 0 | 0 |1926k| 0 | 0.000000e+00 | -- | Inf
1609.37/1609.92 c 1567s| 2170k| 1325k| 0 | 0.0 | 797M| 79 | - | 150 |9567 | 0 | 0 | 0 |1935k| 0 | 0.000000e+00 | -- | Inf
1618.88/1619.40 c 1576s| 2180k| 1332k| 0 | 0.0 | 801M| 79 | - | 150 |9673 | 0 | 0 | 0 |1945k| 0 | 0.000000e+00 | -- | Inf
1628.37/1628.92 c 1585s| 2190k| 1338k| 0 | 0.0 | 805M| 79 | - | 150 |9712 | 0 | 0 | 0 |1954k| 0 | 0.000000e+00 | -- | Inf
1638.27/1638.84 c 1595s| 2200k| 1345k| 0 | 0.0 | 809M| 79 | - | 150 |9403 | 0 | 0 | 0 |1964k| 0 | 0.000000e+00 | -- | Inf
1647.96/1648.56 c 1604s| 2210k| 1351k| 0 | 0.0 | 813M| 79 | - | 150 |9785 | 0 | 0 | 0 |1973k| 0 | 0.000000e+00 | -- | Inf
1658.16/1658.74 c 1614s| 2220k| 1357k| 0 | 0.0 | 817M| 79 | - | 150 | 10k| 0 | 0 | 0 |1984k| 0 | 0.000000e+00 | -- | Inf
1674.76/1675.32 c 1631s| 2230k| 1362k| 0 | 0.0 | 821M| 79 | - | 150 | 11k| 0 | 0 | 0 |1999k| 0 | 0.000000e+00 | -- | Inf
1686.16/1686.72 c 1642s| 2240k| 1368k| 0 | 0.0 | 825M| 79 | - | 150 | 10k| 0 | 0 | 0 |2010k| 0 | 0.000000e+00 | -- | Inf
1696.45/1697.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1696.45/1697.06 c 1652s| 2250k| 1374k| 0 | 0.0 | 829M| 79 | - | 150 | 10k| 0 | 0 | 0 |2020k| 0 | 0.000000e+00 | -- | Inf
1706.54/1707.19 c 1662s| 2260k| 1381k| 0 | 0.0 | 833M| 79 | - | 150 | 10k| 0 | 0 | 0 |2029k| 0 | 0.000000e+00 | -- | Inf
1716.14/1716.79 c 1671s| 2270k| 1387k| 0 | 0.0 | 837M| 79 | - | 150 | 10k| 0 | 0 | 0 |2038k| 0 | 0.000000e+00 | -- | Inf
1726.34/1726.92 c 1681s| 2280k| 1394k| 0 | 0.0 | 841M| 79 | - | 150 | 10k| 0 | 0 | 0 |2048k| 0 | 0.000000e+00 | -- | Inf
1736.83/1737.46 c 1692s| 2290k| 1400k| 0 | 0.0 | 845M| 79 | - | 150 | 10k| 0 | 0 | 0 |2058k| 0 | 0.000000e+00 | -- | Inf
1747.53/1748.16 c 1702s| 2300k| 1406k| 0 | 0.0 | 848M| 79 | - | 150 | 10k| 0 | 0 | 0 |2068k| 0 | 0.000000e+00 | -- | Inf
1757.73/1758.37 c 1712s| 2310k| 1413k| 0 | 0.0 | 852M| 79 | - | 150 | 10k| 0 | 0 | 0 |2078k| 0 | 0.000000e+00 | -- | Inf
1768.53/1769.19 c 1723s| 2320k| 1419k| 0 | 0.0 | 856M| 79 | - | 150 | 10k| 0 | 0 | 0 |2088k| 0 | 0.000000e+00 | -- | Inf
1779.52/1780.15 c 1733s| 2330k| 1425k| 0 | 0.0 | 860M| 79 | - | 150 | 10k| 0 | 0 | 0 |2099k| 0 | 0.000000e+00 | -- | Inf
1791.71/1792.35 c 1745s| 2340k| 1431k| 0 | 0.0 | 864M| 79 | - | 150 | 10k| 0 | 0 | 0 |2110k| 0 | 0.000000e+00 | -- | Inf
1800.03/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.61 c
1800.03/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.61 c Solving Time (sec) : 1753.56
1800.03/1800.61 c Solving Nodes : 2346953
1800.03/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.61 c Dual Bound : +0.00000000000000e+00
1800.03/1800.61 c Gap : infinite
1800.03/1800.61 s UNKNOWN
1800.03/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.61 c Solving Time : 1753.56
1800.03/1800.61 c Original Problem :
1800.03/1800.61 c Problem name : HOME/instance-2664745-1276582448.opb
1800.03/1800.61 c Variables : 150 (150 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.61 c Constraints : 25 initial, 25 maximal
1800.03/1800.61 c Presolved Problem :
1800.03/1800.61 c Problem name : t_HOME/instance-2664745-1276582448.opb
1800.03/1800.61 c Variables : 150 (150 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.61 c Constraints : 25 initial, 14751 maximal
1800.03/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.61 c root node : - 0 - - 0 - - - -
1800.03/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.61 c setppc : 10 0 5257155 0 2032200 248222 16040281 0 0 0
1800.03/1800.61 c logicor : 15+ 0 3568006 0 2032199 315981 3896193 0 0 0
1800.03/1800.61 c countsols : 0 0 0 0 2032199 0 0 0 0 0
1800.03/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.61 c setppc : 75.08 0.00 68.23 0.00 6.85
1800.03/1800.61 c logicor : 834.19 0.00 826.54 0.00 7.65
1800.03/1800.61 c countsols : 0.84 0.00 0.00 0.00 0.84
1800.03/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.61 c vbounds : 2.74 1 0 0
1800.03/1800.61 c rootredcost : 2.61 0 0 0
1800.03/1800.61 c pseudoobj : 2.50 0 0 0
1800.03/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.61 c propagation : 40.37 564203 564198 3761874 25.9 2979 26.4 -
1800.03/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.61 c applied globally : - - - 2103835 20.3 - - -
1800.03/1800.61 c applied locally : - - - 14086 35.0 - - -
1800.03/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.61 c redcost : 0.00 0 0 0 0 0
1800.03/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.61 c intobj : 0.00 0 0 0 0 0
1800.03/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.61 c gomory : 0.00 0 0 0 0 0
1800.03/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.61 c cmir : 0.00 0 0 0 0 0
1800.03/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.61 c clique : 0.00 0 0 0 0 0
1800.03/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.61 c mcf : 0.00 0 0 0 0 0
1800.03/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.61 c Pricers : Time Calls Vars
1800.03/1800.61 c problem variables: 0.00 0 0
1800.03/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.61 c inference : 27.68 2032199 0 0 0 0 4064398
1800.03/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.61 c random : 0.00 0 0 0 0 0 0
1800.03/1800.61 c Primal Heuristics : Time Calls Found
1800.03/1800.61 c LP solutions : 0.00 - 0
1800.03/1800.61 c pseudo solutions : 0.00 - 0
1800.03/1800.61 c trivial : 0.00 1 0
1800.03/1800.61 c simplerounding : 0.00 0 0
1800.03/1800.61 c zirounding : 0.00 0 0
1800.03/1800.61 c rounding : 0.00 0 0
1800.03/1800.61 c shifting : 0.00 0 0
1800.03/1800.61 c intshifting : 0.00 0 0
1800.03/1800.61 c oneopt : 0.00 0 0
1800.03/1800.61 c twoopt : 0.00 0 0
1800.03/1800.61 c fixandinfer : 0.00 0 0
1800.03/1800.61 c feaspump : 0.00 0 0
1800.03/1800.61 c coefdiving : 0.00 0 0
1800.03/1800.61 c pscostdiving : 0.00 0 0
1800.03/1800.61 c fracdiving : 0.00 0 0
1800.03/1800.61 c veclendiving : 0.00 0 0
1800.03/1800.61 c intdiving : 0.00 0 0
1800.03/1800.61 c actconsdiving : 0.00 0 0
1800.03/1800.61 c objpscostdiving : 0.00 0 0
1800.03/1800.61 c rootsoldiving : 0.00 0 0
1800.03/1800.61 c linesearchdiving : 0.00 0 0
1800.03/1800.61 c guideddiving : 0.00 0 0
1800.03/1800.61 c octane : 0.00 0 0
1800.03/1800.61 c rens : 0.00 0 0
1800.03/1800.61 c rins : 0.00 0 0
1800.03/1800.61 c localbranching : 0.00 0 0
1800.03/1800.61 c mutation : 0.00 0 0
1800.03/1800.61 c crossover : 0.00 0 0
1800.03/1800.61 c dins : 0.00 0 0
1800.03/1800.61 c undercover : 0.00 0 0
1800.03/1800.61 c nlp : 0.00 0 0
1800.03/1800.61 c trysol : 0.00 0 0
1800.03/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.61 c (at root node) : - 0 0 0.00 -
1800.03/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.61 c B&B Tree :
1800.03/1800.61 c number of runs : 1
1800.03/1800.61 c nodes : 2346953
1800.03/1800.61 c nodes (total) : 2346953
1800.03/1800.61 c nodes left : 1435804
1800.03/1800.61 c max depth : 79
1800.03/1800.61 c max depth (total): 79
1800.03/1800.61 c backtracks : 283560 (12.1%)
1800.03/1800.61 c delayed cutoffs : 281642
1800.03/1800.61 c repropagations : 589086 (6636747 domain reductions, 249449 cutoffs)
1800.03/1800.61 c avg switch length: 8.99
1800.03/1800.61 c switching time : 556.56
1800.03/1800.61 c Solution :
1800.03/1800.61 c Solutions found : 0 (0 improvements)
1800.03/1800.61 c Primal Bound : -
1800.03/1800.61 c Dual Bound : +0.00000000000000e+00
1800.03/1800.61 c Gap : infinite
1800.03/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.61 c Root Iterations : 0