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-2664501-1276323275.opb>
0.00/0.01 c original problem has 750 variables (750 bin, 0 int, 0 impl, 0 cont) and 80 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.02 c presolving:
0.00/0.03 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 50 upgd conss, 0 impls, 30 clqs
0.00/0.03 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 80 upgd conss, 0 impls, 30 clqs
0.00/0.03 c presolving (3 rounds):
0.00/0.03 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 30 cliques
0.00/0.03 c presolved problem has 750 variables (750 bin, 0 int, 0 impl, 0 cont) and 80 constraints
0.00/0.03 c 30 constraints of type <setppc>
0.00/0.03 c 50 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.01
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c limits/solutions = 1
0.00/0.03 c
0.00/0.03 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c lp/solvefreq = -1
0.00/0.03 c
0.00/0.03 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.03 c separating/maxrounds = 1
0.00/0.03 c
0.00/0.03 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/maxroundsroot = 5
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.03 c constraints/knapsack/disaggregation = FALSE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c presolving/probing/maxrounds = 0
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/coefdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.03 c heuristics/crossover/freq = -1
0.00/0.03 c
0.00/0.03 c # number of nodes added to the contingent of the total nodes
0.00/0.03 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.03 c heuristics/crossover/nodesofs = 750
0.00/0.03 c
0.00/0.03 c # number of nodes without incumbent change that heuristic should wait
0.00/0.03 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.03 c heuristics/crossover/nwaitingnodes = 100
0.00/0.03 c
0.00/0.03 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.03 c # [type: real, range: [0,1], default: 0.1]
0.00/0.03 c heuristics/crossover/nodesquot = 0.15
0.00/0.03 c
0.00/0.03 c # minimum percentage of integer variables that have to be fixed
0.00/0.03 c # [type: real, range: [0,1], default: 0.666]
0.00/0.03 c heuristics/crossover/minfixingrate = 0.5
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.03 c heuristics/feaspump/freq = -1
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/fracdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/guideddiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/intshifting/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/linesearchdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/nlp/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.03 c heuristics/objpscostdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.03 c # [type: real, range: [0,1], default: 0.01]
0.00/0.03 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/oneopt/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/pscostdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c heuristics/rens/freq = -1
0.00/0.03 c
0.00/0.03 c # minimum percentage of integer variables that have to be fixable
0.00/0.03 c # [type: real, range: [0,1], default: 0.5]
0.00/0.03 c heuristics/rens/minfixingrate = 0.3
0.00/0.03 c
0.00/0.03 c # number of nodes added to the contingent of the total nodes
0.00/0.03 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.03 c heuristics/rens/nodesofs = 2000
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.03 c heuristics/rootsoldiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.03 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/rounding/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/shifting/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/simplerounding/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c heuristics/trivial/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/trysol/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/veclendiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/zirounding/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c separating/cmir/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c separating/flowcover/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 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.03 c 0.0s| 1 | 2 | 0 | - |1409k| 0 | - | 750 | 80 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.89/1.91 c 1.8s| 10000 | 9744 | 0 | 0.0 |5220k| 335 | - | 750 | 448 | 0 | 0 | 0 | 834 | 0 | 0.000000e+00 | -- | Inf
3.69/3.70 c 3.4s| 20000 | 19125 | 0 | 0.0 |9154k| 335 | - | 750 |1057 | 0 | 0 | 0 |3002 | 0 | 0.000000e+00 | -- | Inf
5.69/5.76 c 5.4s| 30000 | 28828 | 0 | 0.0 | 12M| 335 | - | 750 | 570 | 0 | 0 | 0 |4268 | 0 | 0.000000e+00 | -- | Inf
7.79/7.81 c 7.3s| 40000 | 38525 | 0 | 0.0 | 15M| 335 | - | 750 | 657 | 0 | 0 | 0 |5676 | 0 | 0.000000e+00 | -- | Inf
9.79/9.88 c 9.2s| 50000 | 48200 | 0 | 0.0 | 19M| 335 | - | 750 | 622 | 0 | 0 | 0 |7166 | 0 | 0.000000e+00 | -- | Inf
11.88/11.93 c 11.2s| 60000 | 57853 | 0 | 0.0 | 22M| 335 | - | 750 | 667 | 0 | 0 | 0 |8603 | 0 | 0.000000e+00 | -- | Inf
13.88/13.99 c 13.1s| 70000 | 67525 | 0 | 0.0 | 25M| 335 | - | 750 | 593 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
15.99/16.06 c 15.0s| 80000 | 77194 | 0 | 0.0 | 29M| 335 | - | 750 | 699 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
18.08/18.11 c 16.9s| 90000 | 86851 | 0 | 0.0 | 32M| 335 | - | 750 | 615 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
20.08/20.16 c 18.8s|100000 | 96517 | 0 | 0.0 | 35M| 335 | - | 750 | 591 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
22.19/22.22 c 20.8s|110000 |106165 | 0 | 0.0 | 39M| 335 | - | 750 | 590 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
24.19/24.25 c 22.6s|120000 |115828 | 0 | 0.0 | 42M| 335 | - | 750 | 651 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
26.18/26.29 c 24.6s|130000 |125476 | 0 | 0.0 | 46M| 335 | - | 750 | 585 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
28.29/28.35 c 26.5s|140000 |135094 | 0 | 0.0 | 49M| 335 | - | 750 | 667 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
30.39/30.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.39/30.41 c 28.4s|150000 |144734 | 0 | 0.0 | 52M| 335 | - | 750 | 447 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
32.38/32.46 c 30.4s|160000 |154388 | 0 | 0.0 | 56M| 335 | - | 750 | 659 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
34.38/34.48 c 32.2s|170000 |164067 | 0 | 0.0 | 59M| 335 | - | 750 | 580 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
36.48/36.53 c 34.2s|180000 |173704 | 0 | 0.0 | 62M| 335 | - | 750 | 641 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
38.49/38.57 c 36.1s|190000 |183352 | 0 | 0.0 | 66M| 335 | - | 750 | 677 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
40.59/40.64 c 38.0s|200000 |192951 | 0 | 0.0 | 69M| 335 | - | 750 | 705 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
42.68/42.70 c 39.9s|210000 |202560 | 0 | 0.0 | 72M| 335 | - | 750 | 533 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
44.68/44.75 c 41.9s|220000 |212187 | 0 | 0.0 | 76M| 335 | - | 750 | 700 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
46.68/46.78 c 43.8s|230000 |221813 | 0 | 0.0 | 79M| 335 | - | 750 | 632 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
48.78/48.81 c 45.7s|240000 |231437 | 0 | 0.0 | 83M| 335 | - | 750 | 711 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
50.78/50.84 c 47.6s|250000 |241044 | 0 | 0.0 | 86M| 335 | - | 750 | 570 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
52.79/52.89 c 49.5s|260000 |250616 | 0 | 0.0 | 89M| 335 | - | 750 | 701 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
54.78/54.89 c 51.4s|270000 |260210 | 0 | 0.0 | 93M| 335 | - | 750 | 535 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
56.88/56.94 c 53.3s|280000 |269789 | 0 | 0.0 | 96M| 335 | - | 750 | 803 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
58.88/58.94 c 55.1s|290000 |279401 | 0 | 0.0 | 100M| 335 | - | 750 | 726 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
60.98/61.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.98/61.00 c 57.1s|300000 |288968 | 0 | 0.0 | 103M| 335 | - | 750 | 803 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
62.97/63.04 c 59.0s|310000 |298559 | 0 | 0.0 | 106M| 335 | - | 750 | 777 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
64.97/65.07 c 60.9s|320000 |308117 | 0 | 0.0 | 110M| 335 | - | 750 | 706 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
67.08/67.12 c 62.8s|330000 |317667 | 0 | 0.0 | 113M| 335 | - | 750 | 730 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
69.08/69.14 c 64.7s|340000 |327228 | 0 | 0.0 | 117M| 335 | - | 750 | 735 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
71.07/71.15 c 66.5s|350000 |336808 | 0 | 0.0 | 120M| 335 | - | 750 | 671 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
73.17/73.20 c 68.4s|360000 |346355 | 0 | 0.0 | 124M| 335 | - | 750 | 762 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
75.17/75.22 c 70.3s|370000 |355915 | 0 | 0.0 | 127M| 335 | - | 750 | 822 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
77.18/77.24 c 72.2s|380000 |365466 | 0 | 0.0 | 130M| 335 | - | 750 | 726 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
79.18/79.26 c 74.1s|390000 |375011 | 0 | 0.0 | 134M| 335 | - | 750 | 772 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
81.28/81.31 c 76.0s|400000 |384524 | 0 | 0.0 | 137M| 335 | - | 750 | 680 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
83.27/83.34 c 77.9s|410000 |394054 | 0 | 0.0 | 141M| 335 | - | 750 | 792 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
85.37/85.44 c 79.9s|420000 |403554 | 0 | 0.0 | 144M| 335 | - | 750 | 831 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
87.37/87.45 c 81.8s|430000 |413089 | 0 | 0.0 | 148M| 335 | - | 750 | 599 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
89.36/89.49 c 83.7s|440000 |422596 | 0 | 0.0 | 151M| 335 | - | 750 | 836 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
91.47/91.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.47/91.53 c 85.6s|450000 |432132 | 0 | 0.0 | 155M| 335 | - | 750 | 876 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
93.48/93.59 c 87.5s|460000 |441622 | 0 | 0.0 | 158M| 335 | - | 750 | 730 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
95.58/95.61 c 89.4s|470000 |451112 | 0 | 0.0 | 162M| 335 | - | 750 | 569 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
97.56/97.65 c 91.3s|480000 |460569 | 0 | 0.0 | 165M| 335 | - | 750 | 723 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
99.67/99.71 c 93.2s|490000 |470065 | 0 | 0.0 | 169M| 335 | - | 750 | 925 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
101.67/101.80 c 95.2s|500000 |479522 | 0 | 0.0 | 173M| 335 | - | 750 |1022 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
103.76/103.84 c 97.1s|510000 |488982 | 0 | 0.0 | 176M| 335 | - | 750 | 849 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
105.77/105.90 c 99.0s|520000 |498442 | 0 | 0.0 | 180M| 335 | - | 750 | 919 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
107.86/107.94 c 101s|530000 |507891 | 0 | 0.0 | 183M| 335 | - | 750 | 799 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
109.87/109.97 c 103s|540000 |517354 | 0 | 0.0 | 187M| 335 | - | 750 | 802 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
111.86/111.97 c 105s|550000 |526794 | 0 | 0.0 | 190M| 335 | - | 750 | 698 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
113.86/113.99 c 107s|560000 |536258 | 0 | 0.0 | 194M| 335 | - | 750 | 901 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
115.96/116.06 c 108s|570000 |545695 | 0 | 0.0 | 198M| 335 | - | 750 | 894 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
118.06/118.12 c 110s|580000 |555138 | 0 | 0.0 | 201M| 335 | - | 750 |1003 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
120.06/120.19 c 112s|590000 |564555 | 0 | 0.0 | 205M| 335 | - | 750 | 868 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
122.16/122.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.16/122.28 c 114s|600000 |573974 | 0 | 0.0 | 209M| 335 | - | 750 |1003 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
124.27/124.36 c 116s|610000 |583364 | 0 | 0.0 | 212M| 335 | - | 750 |1028 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
126.37/126.41 c 118s|620000 |592807 | 0 | 0.0 | 216M| 335 | - | 750 |1002 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
128.46/128.51 c 120s|630000 |602191 | 0 | 0.0 | 220M| 335 | - | 750 | 904 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
130.56/130.65 c 122s|640000 |611565 | 0 | 0.0 | 223M| 335 | - | 750 | 951 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
132.66/132.75 c 124s|650000 |620922 | 0 | 0.0 | 227M| 335 | - | 750 | 895 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
134.86/134.95 c 126s|660000 |630205 | 0 | 0.0 | 231M| 335 | - | 750 |1058 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
137.06/137.15 c 128s|670000 |639503 | 0 | 0.0 | 235M| 335 | - | 750 |1129 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
139.25/139.31 c 130s|680000 |648839 | 0 | 0.0 | 239M| 335 | - | 750 |1123 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
141.35/141.45 c 132s|690000 |658181 | 0 | 0.0 | 243M| 335 | - | 750 |1125 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
143.55/143.67 c 134s|700000 |667455 | 0 | 0.0 | 247M| 335 | - | 750 |1136 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
145.75/145.89 c 136s|710000 |676704 | 0 | 0.0 | 251M| 335 | - | 750 |1169 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
147.95/148.03 c 138s|720000 |686022 | 0 | 0.0 | 254M| 335 | - | 750 |1136 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
150.15/150.26 c 140s|730000 |695265 | 0 | 0.0 | 258M| 335 | - | 750 |1081 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
152.35/152.42 c 142s|740000 |704523 | 0 | 0.0 | 262M| 335 | - | 750 |1110 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
154.66/154.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
154.66/154.77 c 145s|750000 |713704 | 0 | 0.0 | 267M| 335 | - | 750 |1177 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
156.85/156.97 c 147s|760000 |722938 | 0 | 0.0 | 271M| 335 | - | 750 |1160 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
159.05/159.19 c 149s|770000 |732157 | 0 | 0.0 | 275M| 335 | - | 750 |1333 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
161.35/161.41 c 151s|780000 |741348 | 0 | 0.0 | 279M| 335 | - | 750 |1349 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
163.55/163.69 c 153s|790000 |750505 | 0 | 0.0 | 283M| 335 | - | 750 |1390 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
165.84/165.94 c 155s|800000 |759674 | 0 | 0.0 | 287M| 335 | - | 750 |1311 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
168.16/168.22 c 157s|810000 |768770 | 0 | 0.0 | 291M| 335 | - | 750 |1523 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
170.46/170.51 c 159s|820000 |777901 | 0 | 0.0 | 295M| 335 | - | 750 |1448 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
172.75/172.88 c 162s|830000 |786941 | 0 | 0.0 | 300M| 335 | - | 750 |1759 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
175.14/175.26 c 164s|840000 |795959 | 0 | 0.0 | 304M| 335 | - | 750 |1707 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
177.55/177.66 c 166s|850000 |804933 | 0 | 0.0 | 308M| 335 | - | 750 |1611 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
180.04/180.11 c 168s|860000 |813882 | 0 | 0.0 | 313M| 335 | - | 750 |1845 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
182.45/182.59 c 171s|870000 |822809 | 0 | 0.0 | 317M| 335 | - | 750 |2056 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
185.04/185.13 c 173s|880000 |831682 | 0 | 0.0 | 321M| 335 | - | 750 |2007 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
187.44/187.60 c 175s|890000 |840542 | 0 | 0.0 | 325M| 335 | - | 750 |2002 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
190.14/190.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
190.14/190.23 c 178s|900000 |849278 | 0 | 0.0 | 330M| 335 | - | 750 |2169 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
192.84/192.90 c 180s|910000 |857957 | 0 | 0.0 | 334M| 335 | - | 750 |2102 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
195.44/195.58 c 183s|920000 |866637 | 0 | 0.0 | 339M| 335 | - | 750 |2418 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
198.34/198.48 c 186s|930000 |875136 | 0 | 0.0 | 343M| 335 | - | 750 |2666 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
201.25/201.36 c 188s|940000 |883644 | 0 | 0.0 | 348M| 335 | - | 750 |2707 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
204.23/204.38 c 191s|950000 |891938 | 0 | 0.0 | 353M| 335 | - | 750 |2988 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
207.63/207.73 c 194s|960000 |900087 | 0 | 0.0 | 357M| 335 | - | 750 |3366 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
211.14/211.25 c 198s|970000 |908048 | 0 | 0.0 | 362M| 335 | - | 750 |3591 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
214.93/215.04 c 201s|980000 |915820 | 0 | 0.0 | 367M| 335 | - | 750 |4082 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
219.33/219.43 c 205s|990000 |923122 | 0 | 0.0 | 372M| 335 | - | 750 |5200 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | -- | Inf
224.53/224.60 c 210s| 1000k|929985 | 0 | 0.0 | 377M| 335 | - | 750 |5494 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
230.23/230.39 c 216s| 1010k|936648 | 0 | 0.0 | 381M| 335 | - | 750 |4026 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
232.53/232.66 c 218s| 1020k|946132 | 0 | 0.0 | 383M| 386 | - | 750 |1165 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | -- | Inf
234.72/234.84 c 220s| 1030k|955744 | 0 | 0.0 | 387M| 386 | - | 750 | 800 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf
236.83/236.96 c 222s| 1040k|965397 | 0 | 0.0 | 390M| 386 | - | 750 | 596 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | -- | Inf
239.03/239.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
239.03/239.14 c 224s| 1050k|975003 | 0 | 0.0 | 393M| 386 | - | 750 | 654 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | -- | Inf
241.12/241.28 c 226s| 1060k|984639 | 0 | 0.0 | 397M| 386 | - | 750 | 627 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
243.33/243.40 c 228s| 1070k|994276 | 0 | 0.0 | 400M| 386 | - | 750 | 617 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | -- | Inf
245.43/245.50 c 230s| 1080k| 1003k| 0 | 0.0 | 404M| 386 | - | 750 | 622 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
247.52/247.63 c 232s| 1090k| 1013k| 0 | 0.0 | 407M| 386 | - | 750 | 683 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
249.63/249.76 c 234s| 1100k| 1023k| 0 | 0.0 | 410M| 386 | - | 750 | 681 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | -- | Inf
251.73/251.86 c 236s| 1110k| 1032k| 0 | 0.0 | 414M| 386 | - | 750 | 700 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
253.93/254.00 c 238s| 1120k| 1042k| 0 | 0.0 | 417M| 386 | - | 750 | 660 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
256.02/256.14 c 240s| 1130k| 1052k| 0 | 0.0 | 421M| 386 | - | 750 | 641 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
258.12/258.27 c 242s| 1140k| 1061k| 0 | 0.0 | 424M| 386 | - | 750 | 713 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | -- | Inf
260.22/260.37 c 244s| 1150k| 1071k| 0 | 0.0 | 428M| 386 | - | 750 | 653 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | -- | Inf
262.43/262.52 c 246s| 1160k| 1080k| 0 | 0.0 | 431M| 386 | - | 750 | 678 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
264.52/264.63 c 248s| 1170k| 1090k| 0 | 0.0 | 435M| 386 | - | 750 | 759 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | -- | Inf
266.72/266.82 c 250s| 1180k| 1100k| 0 | 0.0 | 438M| 386 | - | 750 | 660 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | -- | Inf
268.82/268.94 c 252s| 1190k| 1109k| 0 | 0.0 | 441M| 386 | - | 750 | 591 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | -- | Inf
271.02/271.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
271.02/271.14 c 254s| 1200k| 1119k| 0 | 0.0 | 445M| 386 | - | 750 | 739 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | -- | Inf
273.22/273.32 c 256s| 1210k| 1129k| 0 | 0.0 | 448M| 386 | - | 750 | 783 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | -- | Inf
275.32/275.49 c 258s| 1220k| 1138k| 0 | 0.0 | 452M| 386 | - | 750 | 732 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | -- | Inf
277.51/277.62 c 260s| 1230k| 1148k| 0 | 0.0 | 455M| 386 | - | 750 | 598 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | -- | Inf
279.72/279.81 c 262s| 1240k| 1157k| 0 | 0.0 | 459M| 386 | - | 750 | 732 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | -- | Inf
281.81/281.98 c 264s| 1250k| 1167k| 0 | 0.0 | 462M| 386 | - | 750 | 735 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | -- | Inf
284.02/284.15 c 267s| 1260k| 1177k| 0 | 0.0 | 465M| 386 | - | 750 | 766 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | -- | Inf
286.21/286.34 c 269s| 1270k| 1186k| 0 | 0.0 | 469M| 386 | - | 750 | 891 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | -- | Inf
288.41/288.51 c 271s| 1280k| 1196k| 0 | 0.0 | 472M| 386 | - | 750 | 722 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
290.52/290.66 c 273s| 1290k| 1205k| 0 | 0.0 | 476M| 386 | - | 750 | 651 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
292.71/292.87 c 275s| 1300k| 1215k| 0 | 0.0 | 479M| 386 | - | 750 | 795 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | -- | Inf
294.91/295.04 c 277s| 1310k| 1225k| 0 | 0.0 | 483M| 386 | - | 750 | 716 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | -- | Inf
297.01/297.19 c 279s| 1320k| 1234k| 0 | 0.0 | 486M| 386 | - | 750 | 658 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | -- | Inf
299.21/299.38 c 281s| 1330k| 1244k| 0 | 0.0 | 490M| 386 | - | 750 | 702 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | -- | Inf
301.41/301.53 c 283s| 1340k| 1253k| 0 | 0.0 | 493M| 386 | - | 750 | 706 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | -- | Inf
303.52/303.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
303.52/303.69 c 285s| 1350k| 1263k| 0 | 0.0 | 496M| 386 | - | 750 | 762 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | -- | Inf
305.72/305.87 c 287s| 1360k| 1273k| 0 | 0.0 | 500M| 386 | - | 750 | 732 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | -- | Inf
307.91/308.03 c 289s| 1370k| 1282k| 0 | 0.0 | 503M| 386 | - | 750 | 726 | 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | -- | Inf
310.01/310.15 c 291s| 1380k| 1292k| 0 | 0.0 | 507M| 386 | - | 750 | 666 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | -- | Inf
312.22/312.32 c 293s| 1390k| 1302k| 0 | 0.0 | 510M| 386 | - | 750 | 718 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | -- | Inf
314.41/314.54 c 295s| 1400k| 1311k| 0 | 0.0 | 514M| 386 | - | 750 | 672 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | -- | Inf
316.50/316.67 c 297s| 1410k| 1321k| 0 | 0.0 | 517M| 386 | - | 750 | 710 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | -- | Inf
318.70/318.86 c 299s| 1420k| 1330k| 0 | 0.0 | 521M| 386 | - | 750 | 774 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | -- | Inf
320.91/321.03 c 301s| 1430k| 1340k| 0 | 0.0 | 524M| 386 | - | 750 | 827 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
323.01/323.18 c 303s| 1440k| 1350k| 0 | 0.0 | 528M| 386 | - | 750 | 731 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | -- | Inf
325.20/325.31 c 305s| 1450k| 1359k| 0 | 0.0 | 531M| 386 | - | 750 | 676 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | -- | Inf
327.31/327.46 c 307s| 1460k| 1369k| 0 | 0.0 | 534M| 386 | - | 750 | 751 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | -- | Inf
329.50/329.60 c 309s| 1470k| 1378k| 0 | 0.0 | 538M| 386 | - | 750 | 656 | 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | -- | Inf
331.60/331.72 c 311s| 1480k| 1388k| 0 | 0.0 | 541M| 386 | - | 750 | 746 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | -- | Inf
333.71/333.83 c 313s| 1490k| 1398k| 0 | 0.0 | 545M| 386 | - | 750 | 689 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | -- | Inf
335.80/335.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
335.80/335.97 c 315s| 1500k| 1407k| 0 | 0.0 | 548M| 386 | - | 750 | 798 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | -- | Inf
338.00/338.13 c 317s| 1510k| 1417k| 0 | 0.0 | 552M| 386 | - | 750 | 662 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | -- | Inf
340.10/340.28 c 319s| 1520k| 1426k| 0 | 0.0 | 555M| 386 | - | 750 | 821 | 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | -- | Inf
342.30/342.48 c 321s| 1530k| 1436k| 0 | 0.0 | 558M| 386 | - | 750 | 735 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | -- | Inf
344.50/344.61 c 323s| 1540k| 1446k| 0 | 0.0 | 562M| 386 | - | 750 | 817 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | -- | Inf
346.60/346.72 c 325s| 1550k| 1455k| 0 | 0.0 | 565M| 386 | - | 750 | 803 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | -- | Inf
348.69/348.86 c 327s| 1560k| 1465k| 0 | 0.0 | 569M| 386 | - | 750 | 687 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | -- | Inf
350.80/350.99 c 329s| 1570k| 1474k| 0 | 0.0 | 572M| 386 | - | 750 | 701 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | -- | Inf
353.00/353.18 c 331s| 1580k| 1484k| 0 | 0.0 | 576M| 386 | - | 750 | 708 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | -- | Inf
355.20/355.34 c 333s| 1590k| 1493k| 0 | 0.0 | 579M| 386 | - | 750 | 705 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | -- | Inf
357.40/357.58 c 335s| 1600k| 1503k| 0 | 0.0 | 583M| 386 | - | 750 | 758 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | -- | Inf
359.60/359.71 c 337s| 1610k| 1513k| 0 | 0.0 | 586M| 386 | - | 750 | 711 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | -- | Inf
361.70/361.87 c 339s| 1620k| 1522k| 0 | 0.0 | 590M| 386 | - | 750 | 736 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | -- | Inf
363.79/363.99 c 341s| 1630k| 1532k| 0 | 0.0 | 593M| 386 | - | 750 | 692 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | -- | Inf
365.99/366.17 c 344s| 1640k| 1541k| 0 | 0.0 | 596M| 386 | - | 750 | 676 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | -- | Inf
368.09/368.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
368.09/368.28 c 346s| 1650k| 1551k| 0 | 0.0 | 600M| 386 | - | 750 | 624 | 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | -- | Inf
370.50/370.63 c 348s| 1660k| 1561k| 0 | 0.0 | 603M| 386 | - | 750 | 795 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | -- | Inf
372.80/372.96 c 350s| 1670k| 1570k| 0 | 0.0 | 607M| 386 | - | 750 | 747 | 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | -- | Inf
375.19/375.35 c 352s| 1680k| 1580k| 0 | 0.0 | 610M| 386 | - | 750 | 728 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | -- | Inf
377.59/377.71 c 354s| 1690k| 1590k| 0 | 0.0 | 614M| 386 | - | 750 | 644 | 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | -- | Inf
379.89/380.04 c 357s| 1700k| 1599k| 0 | 0.0 | 617M| 386 | - | 750 | 663 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | -- | Inf
382.19/382.39 c 359s| 1710k| 1609k| 0 | 0.0 | 621M| 386 | - | 750 | 663 | 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | -- | Inf
384.58/384.74 c 361s| 1720k| 1618k| 0 | 0.0 | 624M| 386 | - | 750 | 733 | 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | -- | Inf
386.88/387.07 c 363s| 1730k| 1628k| 0 | 0.0 | 628M| 386 | - | 750 | 698 | 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | -- | Inf
389.29/389.46 c 365s| 1740k| 1638k| 0 | 0.0 | 631M| 386 | - | 750 | 691 | 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | -- | Inf
391.69/391.87 c 368s| 1750k| 1647k| 0 | 0.0 | 634M| 386 | - | 750 | 725 | 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | -- | Inf
394.18/394.30 c 370s| 1760k| 1657k| 0 | 0.0 | 638M| 386 | - | 750 | 856 | 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | -- | Inf
396.58/396.77 c 372s| 1770k| 1666k| 0 | 0.0 | 641M| 386 | - | 750 | 717 | 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | -- | Inf
398.99/399.19 c 375s| 1780k| 1676k| 0 | 0.0 | 645M| 386 | - | 750 | 743 | 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | -- | Inf
401.39/401.53 c 377s| 1790k| 1685k| 0 | 0.0 | 648M| 386 | - | 750 | 816 | 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | -- | Inf
403.59/403.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
403.59/403.72 c 379s| 1800k| 1695k| 0 | 0.0 | 652M| 386 | - | 750 | 689 | 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | -- | Inf
405.69/405.88 c 381s| 1810k| 1705k| 0 | 0.0 | 655M| 386 | - | 750 | 661 | 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | -- | Inf
407.98/408.11 c 383s| 1820k| 1714k| 0 | 0.0 | 659M| 386 | - | 750 | 759 | 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | -- | Inf
410.08/410.22 c 385s| 1830k| 1724k| 0 | 0.0 | 662M| 386 | - | 750 | 743 | 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | -- | Inf
412.28/412.44 c 387s| 1840k| 1733k| 0 | 0.0 | 666M| 386 | - | 750 | 792 | 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | -- | Inf
414.38/414.59 c 389s| 1850k| 1743k| 0 | 0.0 | 669M| 386 | - | 750 | 775 | 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | -- | Inf
416.57/416.71 c 391s| 1860k| 1753k| 0 | 0.0 | 672M| 386 | - | 750 | 720 | 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | -- | Inf
418.68/418.86 c 393s| 1870k| 1762k| 0 | 0.0 | 676M| 386 | - | 750 | 716 | 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | -- | Inf
420.87/421.02 c 395s| 1880k| 1772k| 0 | 0.0 | 679M| 386 | - | 750 | 704 | 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | -- | Inf
422.97/423.17 c 397s| 1890k| 1781k| 0 | 0.0 | 683M| 386 | - | 750 | 743 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | -- | Inf
425.28/425.43 c 399s| 1900k| 1791k| 0 | 0.0 | 686M| 386 | - | 750 | 720 | 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | -- | Inf
427.38/427.56 c 401s| 1910k| 1801k| 0 | 0.0 | 690M| 386 | - | 750 | 796 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | -- | Inf
429.58/429.71 c 403s| 1920k| 1810k| 0 | 0.0 | 693M| 386 | - | 750 | 760 | 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | -- | Inf
431.67/431.89 c 405s| 1930k| 1820k| 0 | 0.0 | 697M| 386 | - | 750 | 875 | 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | -- | Inf
433.97/434.18 c 408s| 1940k| 1829k| 0 | 0.0 | 700M| 386 | - | 750 | 869 | 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | -- | Inf
436.18/436.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
436.18/436.35 c 410s| 1950k| 1839k| 0 | 0.0 | 704M| 386 | - | 750 | 763 | 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | -- | Inf
438.37/438.56 c 412s| 1960k| 1849k| 0 | 0.0 | 707M| 386 | - | 750 | 772 | 0 | 0 | 0 | 440k| 0 | 0.000000e+00 | -- | Inf
440.57/440.78 c 414s| 1970k| 1858k| 0 | 0.0 | 710M| 386 | - | 750 | 808 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | -- | Inf
442.87/443.06 c 416s| 1980k| 1868k| 0 | 0.0 | 714M| 386 | - | 750 | 820 | 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | -- | Inf
445.07/445.29 c 418s| 1990k| 1877k| 0 | 0.0 | 717M| 386 | - | 750 | 843 | 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | -- | Inf
447.37/447.50 c 420s| 2000k| 1887k| 0 | 0.0 | 721M| 386 | - | 750 | 789 | 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | -- | Inf
449.46/449.69 c 422s| 2010k| 1896k| 0 | 0.0 | 724M| 386 | - | 750 | 717 | 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | -- | Inf
451.67/451.88 c 424s| 2020k| 1906k| 0 | 0.0 | 728M| 386 | - | 750 | 726 | 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | -- | Inf
453.87/454.09 c 426s| 2030k| 1916k| 0 | 0.0 | 731M| 386 | - | 750 | 752 | 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | -- | Inf
456.17/456.32 c 428s| 2040k| 1925k| 0 | 0.0 | 734M| 386 | - | 750 | 666 | 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | -- | Inf
458.27/458.45 c 430s| 2050k| 1935k| 0 | 0.0 | 738M| 386 | - | 750 | 712 | 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | -- | Inf
460.46/460.63 c 432s| 2060k| 1944k| 0 | 0.0 | 741M| 386 | - | 750 | 747 | 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | -- | Inf
462.67/462.86 c 434s| 2070k| 1954k| 0 | 0.0 | 745M| 386 | - | 750 | 765 | 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | -- | Inf
464.76/464.96 c 436s| 2080k| 1964k| 0 | 0.0 | 748M| 386 | - | 750 | 789 | 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | -- | Inf
466.86/467.09 c 438s| 2090k| 1973k| 0 | 0.0 | 752M| 386 | - | 750 | 694 | 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | -- | Inf
469.16/469.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
469.16/469.33 c 441s| 2100k| 1983k| 0 | 0.0 | 755M| 386 | - | 750 | 817 | 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | -- | Inf
471.26/471.47 c 443s| 2110k| 1992k| 0 | 0.0 | 759M| 386 | - | 750 | 731 | 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | -- | Inf
473.46/473.65 c 445s| 2120k| 2002k| 0 | 0.0 | 762M| 386 | - | 750 | 810 | 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | -- | Inf
475.76/475.96 c 447s| 2130k| 2012k| 0 | 0.0 | 765M| 386 | - | 750 | 759 | 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | -- | Inf
477.96/478.14 c 449s| 2140k| 2021k| 0 | 0.0 | 769M| 386 | - | 750 | 698 | 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | -- | Inf
480.16/480.38 c 451s| 2150k| 2031k| 0 | 0.0 | 772M| 386 | - | 750 | 760 | 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | -- | Inf
482.46/482.60 c 453s| 2160k| 2040k| 0 | 0.0 | 776M| 386 | - | 750 | 817 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | -- | Inf
484.55/484.78 c 455s| 2170k| 2050k| 0 | 0.0 | 779M| 386 | - | 750 | 775 | 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | -- | Inf
486.76/486.98 c 457s| 2180k| 2059k| 0 | 0.0 | 783M| 386 | - | 750 | 802 | 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | -- | Inf
488.96/489.17 c 459s| 2190k| 2069k| 0 | 0.0 | 786M| 386 | - | 750 | 810 | 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | -- | Inf
491.05/491.28 c 461s| 2200k| 2079k| 0 | 0.0 | 790M| 386 | - | 750 | 700 | 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | -- | Inf
493.25/493.43 c 463s| 2210k| 2088k| 0 | 0.0 | 793M| 386 | - | 750 | 808 | 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | -- | Inf
495.35/495.54 c 465s| 2220k| 2098k| 0 | 0.0 | 797M| 386 | - | 750 | 743 | 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | -- | Inf
497.55/497.75 c 467s| 2230k| 2107k| 0 | 0.0 | 800M| 386 | - | 750 | 630 | 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | -- | Inf
499.75/499.96 c 469s| 2240k| 2117k| 0 | 0.0 | 803M| 386 | - | 750 | 818 | 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | -- | Inf
501.95/502.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
501.95/502.10 c 471s| 2250k| 2127k| 0 | 0.0 | 807M| 386 | - | 750 | 774 | 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | -- | Inf
504.15/504.34 c 473s| 2260k| 2136k| 0 | 0.0 | 810M| 386 | - | 750 | 782 | 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | -- | Inf
506.34/506.52 c 475s| 2270k| 2146k| 0 | 0.0 | 814M| 386 | - | 750 | 736 | 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | -- | Inf
508.54/508.70 c 478s| 2280k| 2155k| 0 | 0.0 | 817M| 386 | - | 750 | 769 | 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | -- | Inf
510.75/510.91 c 480s| 2290k| 2165k| 0 | 0.0 | 821M| 386 | - | 750 | 761 | 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | -- | Inf
512.95/513.10 c 482s| 2300k| 2175k| 0 | 0.0 | 824M| 386 | - | 750 | 773 | 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | -- | Inf
515.15/515.31 c 484s| 2310k| 2184k| 0 | 0.0 | 828M| 386 | - | 750 | 747 | 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | -- | Inf
517.45/517.63 c 486s| 2320k| 2194k| 0 | 0.0 | 831M| 386 | - | 750 | 845 | 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | -- | Inf
519.54/519.79 c 488s| 2330k| 2203k| 0 | 0.0 | 835M| 386 | - | 750 | 827 | 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | -- | Inf
521.84/522.02 c 490s| 2340k| 2213k| 0 | 0.0 | 838M| 386 | - | 750 | 728 | 0 | 0 | 0 | 508k| 0 | 0.000000e+00 | -- | Inf
524.04/524.27 c 492s| 2350k| 2222k| 0 | 0.0 | 841M| 386 | - | 750 | 898 | 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | -- | Inf
526.24/526.49 c 494s| 2360k| 2232k| 0 | 0.0 | 845M| 386 | - | 750 | 674 | 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | -- | Inf
528.45/528.68 c 496s| 2370k| 2242k| 0 | 0.0 | 848M| 386 | - | 750 | 802 | 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | -- | Inf
530.65/530.88 c 498s| 2380k| 2251k| 0 | 0.0 | 852M| 386 | - | 750 | 834 | 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | -- | Inf
532.85/533.04 c 500s| 2390k| 2261k| 0 | 0.0 | 855M| 386 | - | 750 | 814 | 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | -- | Inf
534.95/535.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
534.95/535.17 c 502s| 2400k| 2270k| 0 | 0.0 | 858M| 386 | - | 750 | 721 | 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | -- | Inf
537.15/537.33 c 504s| 2410k| 2280k| 0 | 0.0 | 862M| 386 | - | 750 | 817 | 0 | 0 | 0 | 521k| 0 | 0.000000e+00 | -- | Inf
539.24/539.46 c 506s| 2420k| 2290k| 0 | 0.0 | 865M| 386 | - | 750 | 678 | 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | -- | Inf
541.44/541.63 c 508s| 2430k| 2299k| 0 | 0.0 | 869M| 386 | - | 750 | 779 | 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | -- | Inf
543.74/543.90 c 511s| 2440k| 2309k| 0 | 0.0 | 872M| 386 | - | 750 | 736 | 0 | 0 | 0 | 527k| 0 | 0.000000e+00 | -- | Inf
545.94/546.12 c 513s| 2450k| 2318k| 0 | 0.0 | 876M| 386 | - | 750 | 805 | 0 | 0 | 0 | 529k| 0 | 0.000000e+00 | -- | Inf
548.04/548.29 c 515s| 2460k| 2328k| 0 | 0.0 | 879M| 386 | - | 750 | 752 | 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | -- | Inf
550.33/550.51 c 517s| 2470k| 2337k| 0 | 0.0 | 883M| 386 | - | 750 | 912 | 0 | 0 | 0 | 532k| 0 | 0.000000e+00 | -- | Inf
552.54/552.74 c 519s| 2480k| 2347k| 0 | 0.0 | 886M| 386 | - | 750 | 793 | 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | -- | Inf
554.84/555.01 c 521s| 2490k| 2357k| 0 | 0.0 | 889M| 386 | - | 750 | 733 | 0 | 0 | 0 | 536k| 0 | 0.000000e+00 | -- | Inf
557.04/557.28 c 523s| 2500k| 2366k| 0 | 0.0 | 893M| 386 | - | 750 | 792 | 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | -- | Inf
559.34/559.51 c 525s| 2510k| 2376k| 0 | 0.0 | 896M| 386 | - | 750 | 853 | 0 | 0 | 0 | 540k| 0 | 0.000000e+00 | -- | Inf
561.53/561.78 c 527s| 2520k| 2385k| 0 | 0.0 | 900M| 386 | - | 750 | 824 | 0 | 0 | 0 | 542k| 0 | 0.000000e+00 | -- | Inf
563.63/563.89 c 529s| 2530k| 2395k| 0 | 0.0 | 903M| 386 | - | 750 | 823 | 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | -- | Inf
565.93/566.15 c 532s| 2540k| 2404k| 0 | 0.0 | 907M| 386 | - | 750 | 826 | 0 | 0 | 0 | 546k| 0 | 0.000000e+00 | -- | Inf
568.13/568.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
568.13/568.34 c 534s| 2550k| 2414k| 0 | 0.0 | 910M| 386 | - | 750 | 678 | 0 | 0 | 0 | 547k| 0 | 0.000000e+00 | -- | Inf
570.33/570.59 c 536s| 2560k| 2424k| 0 | 0.0 | 914M| 386 | - | 750 | 846 | 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | -- | Inf
572.64/572.82 c 538s| 2570k| 2433k| 0 | 0.0 | 917M| 386 | - | 750 | 776 | 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | -- | Inf
574.83/575.08 c 540s| 2580k| 2443k| 0 | 0.0 | 921M| 386 | - | 750 | 724 | 0 | 0 | 0 | 553k| 0 | 0.000000e+00 | -- | Inf
577.13/577.35 c 542s| 2590k| 2452k| 0 | 0.0 | 924M| 386 | - | 750 | 729 | 0 | 0 | 0 | 555k| 0 | 0.000000e+00 | -- | Inf
579.33/579.57 c 544s| 2600k| 2462k| 0 | 0.0 | 927M| 386 | - | 750 | 801 | 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | -- | Inf
581.74/581.93 c 546s| 2610k| 2471k| 0 | 0.0 | 931M| 386 | - | 750 | 787 | 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | -- | Inf
583.94/584.11 c 548s| 2620k| 2481k| 0 | 0.0 | 934M| 386 | - | 750 | 731 | 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | -- | Inf
586.03/586.23 c 550s| 2630k| 2491k| 0 | 0.0 | 938M| 386 | - | 750 | 750 | 0 | 0 | 0 | 562k| 0 | 0.000000e+00 | -- | Inf
588.23/588.40 c 552s| 2640k| 2500k| 0 | 0.0 | 941M| 386 | - | 750 | 754 | 0 | 0 | 0 | 564k| 0 | 0.000000e+00 | -- | Inf
590.42/590.67 c 555s| 2650k| 2510k| 0 | 0.0 | 945M| 386 | - | 750 | 813 | 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | -- | Inf
592.82/593.00 c 557s| 2660k| 2519k| 0 | 0.0 | 948M| 386 | - | 750 | 808 | 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | -- | Inf
595.12/595.40 c 559s| 2670k| 2529k| 0 | 0.0 | 952M| 386 | - | 750 | 743 | 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | -- | Inf
597.42/597.60 c 561s| 2680k| 2538k| 0 | 0.0 | 955M| 386 | - | 750 | 692 | 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | -- | Inf
599.52/599.77 c 563s| 2690k| 2548k| 0 | 0.0 | 959M| 386 | - | 750 | 832 | 0 | 0 | 0 | 573k| 0 | 0.000000e+00 | -- | Inf
601.82/602.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
601.82/602.00 c 565s| 2700k| 2558k| 0 | 0.0 | 962M| 386 | - | 750 | 744 | 0 | 0 | 0 | 575k| 0 | 0.000000e+00 | -- | Inf
604.02/604.21 c 567s| 2710k| 2567k| 0 | 0.0 | 966M| 386 | - | 750 | 886 | 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | -- | Inf
606.11/606.38 c 569s| 2720k| 2577k| 0 | 0.0 | 969M| 386 | - | 750 | 832 | 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | -- | Inf
608.32/608.57 c 572s| 2730k| 2586k| 0 | 0.0 | 972M| 386 | - | 750 | 778 | 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | -- | Inf
610.61/610.84 c 574s| 2740k| 2596k| 0 | 0.0 | 976M| 386 | - | 750 | 906 | 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | -- | Inf
612.72/612.98 c 576s| 2750k| 2606k| 0 | 0.0 | 979M| 386 | - | 750 | 790 | 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | -- | Inf
615.01/615.20 c 578s| 2760k| 2615k| 0 | 0.0 | 983M| 386 | - | 750 | 805 | 0 | 0 | 0 | 586k| 0 | 0.000000e+00 | -- | Inf
617.11/617.38 c 580s| 2770k| 2625k| 0 | 0.0 | 986M| 386 | - | 750 | 724 | 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | -- | Inf
619.32/619.58 c 582s| 2780k| 2634k| 0 | 0.0 | 990M| 386 | - | 750 | 860 | 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | -- | Inf
621.51/621.80 c 584s| 2790k| 2644k| 0 | 0.0 | 993M| 386 | - | 750 | 800 | 0 | 0 | 0 | 592k| 0 | 0.000000e+00 | -- | Inf
623.82/624.01 c 586s| 2800k| 2653k| 0 | 0.0 | 996M| 386 | - | 750 | 779 | 0 | 0 | 0 | 594k| 0 | 0.000000e+00 | -- | Inf
625.91/626.18 c 588s| 2810k| 2663k| 0 | 0.0 |1000M| 386 | - | 750 | 856 | 0 | 0 | 0 | 595k| 0 | 0.000000e+00 | -- | Inf
628.11/628.38 c 590s| 2820k| 2673k| 0 | 0.0 |1003M| 386 | - | 750 | 814 | 0 | 0 | 0 | 597k| 0 | 0.000000e+00 | -- | Inf
630.31/630.56 c 592s| 2830k| 2682k| 0 | 0.0 |1007M| 386 | - | 750 | 827 | 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | -- | Inf
632.51/632.73 c 594s| 2840k| 2692k| 0 | 0.0 |1010M| 386 | - | 750 | 761 | 0 | 0 | 0 | 601k| 0 | 0.000000e+00 | -- | Inf
634.71/634.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
634.71/634.99 c 596s| 2850k| 2701k| 0 | 0.0 |1014M| 386 | - | 750 | 752 | 0 | 0 | 0 | 603k| 0 | 0.000000e+00 | -- | Inf
636.81/637.07 c 598s| 2860k| 2711k| 0 | 0.0 |1017M| 386 | - | 750 | 857 | 0 | 0 | 0 | 605k| 0 | 0.000000e+00 | -- | Inf
639.11/639.35 c 600s| 2870k| 2721k| 0 | 0.0 |1021M| 386 | - | 750 | 900 | 0 | 0 | 0 | 607k| 0 | 0.000000e+00 | -- | Inf
641.41/641.66 c 603s| 2880k| 2730k| 0 | 0.0 |1024M| 386 | - | 750 | 744 | 0 | 0 | 0 | 609k| 0 | 0.000000e+00 | -- | Inf
643.91/644.10 c 605s| 2890k| 2740k| 0 | 0.0 |1028M| 386 | - | 750 | 785 | 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | -- | Inf
646.10/646.35 c 607s| 2900k| 2749k| 0 | 0.0 |1031M| 386 | - | 750 | 808 | 0 | 0 | 0 | 613k| 0 | 0.000000e+00 | -- | Inf
648.30/648.57 c 609s| 2910k| 2759k| 0 | 0.0 |1035M| 386 | - | 750 | 804 | 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | -- | Inf
650.61/650.87 c 611s| 2920k| 2768k| 0 | 0.0 |1038M| 386 | - | 750 | 739 | 0 | 0 | 0 | 616k| 0 | 0.000000e+00 | -- | Inf
652.80/653.08 c 613s| 2930k| 2778k| 0 | 0.0 |1041M| 386 | - | 750 | 829 | 0 | 0 | 0 | 618k| 0 | 0.000000e+00 | -- | Inf
655.11/655.34 c 616s| 2940k| 2787k| 0 | 0.0 |1045M| 386 | - | 750 | 816 | 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | -- | Inf
657.21/657.47 c 618s| 2950k| 2797k| 0 | 0.0 |1048M| 386 | - | 750 | 848 | 0 | 0 | 0 | 622k| 0 | 0.000000e+00 | -- | Inf
659.50/659.76 c 620s| 2960k| 2807k| 0 | 0.0 |1052M| 386 | - | 750 | 703 | 0 | 0 | 0 | 624k| 0 | 0.000000e+00 | -- | Inf
661.71/661.99 c 622s| 2970k| 2816k| 0 | 0.0 |1055M| 386 | - | 750 | 885 | 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | -- | Inf
664.11/664.31 c 624s| 2980k| 2826k| 0 | 0.0 |1059M| 386 | - | 750 | 839 | 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | -- | Inf
666.31/666.50 c 626s| 2990k| 2835k| 0 | 0.0 |1062M| 386 | - | 750 | 721 | 0 | 0 | 0 | 630k| 0 | 0.000000e+00 | -- | Inf
668.51/668.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
668.51/668.70 c 628s| 3000k| 2845k| 0 | 0.0 |1066M| 386 | - | 750 | 822 | 0 | 0 | 0 | 631k| 0 | 0.000000e+00 | -- | Inf
670.60/670.89 c 630s| 3010k| 2855k| 0 | 0.0 |1069M| 386 | - | 750 | 791 | 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | -- | Inf
672.91/673.20 c 632s| 3020k| 2864k| 0 | 0.0 |1072M| 386 | - | 750 | 830 | 0 | 0 | 0 | 635k| 0 | 0.000000e+00 | -- | Inf
675.21/675.43 c 634s| 3030k| 2874k| 0 | 0.0 |1076M| 386 | - | 750 | 679 | 0 | 0 | 0 | 637k| 0 | 0.000000e+00 | -- | Inf
677.41/677.61 c 636s| 3040k| 2883k| 0 | 0.0 |1079M| 386 | - | 750 | 677 | 0 | 0 | 0 | 639k| 0 | 0.000000e+00 | -- | Inf
679.50/679.75 c 638s| 3050k| 2893k| 0 | 0.0 |1083M| 386 | - | 750 | 818 | 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | -- | Inf
681.70/681.94 c 641s| 3060k| 2902k| 0 | 0.0 |1086M| 386 | - | 750 | 731 | 0 | 0 | 0 | 642k| 0 | 0.000000e+00 | -- | Inf
683.90/684.16 c 643s| 3070k| 2912k| 0 | 0.0 |1090M| 386 | - | 750 | 806 | 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | -- | Inf
686.10/686.33 c 645s| 3080k| 2922k| 0 | 0.0 |1093M| 386 | - | 750 | 855 | 0 | 0 | 0 | 646k| 0 | 0.000000e+00 | -- | Inf
688.50/688.71 c 647s| 3090k| 2931k| 0 | 0.0 |1097M| 386 | - | 750 | 811 | 0 | 0 | 0 | 648k| 0 | 0.000000e+00 | -- | Inf
690.70/690.98 c 649s| 3100k| 2941k| 0 | 0.0 |1100M| 386 | - | 750 | 890 | 0 | 0 | 0 | 650k| 0 | 0.000000e+00 | -- | Inf
693.00/693.22 c 651s| 3110k| 2950k| 0 | 0.0 |1104M| 386 | - | 750 | 723 | 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | -- | Inf
695.29/695.55 c 653s| 3120k| 2960k| 0 | 0.0 |1107M| 386 | - | 750 | 739 | 0 | 0 | 0 | 654k| 0 | 0.000000e+00 | -- | Inf
697.60/697.83 c 655s| 3130k| 2969k| 0 | 0.0 |1111M| 386 | - | 750 | 904 | 0 | 0 | 0 | 656k| 0 | 0.000000e+00 | -- | Inf
699.80/700.01 c 658s| 3140k| 2979k| 0 | 0.0 |1114M| 386 | - | 750 | 834 | 0 | 0 | 0 | 658k| 0 | 0.000000e+00 | -- | Inf
702.09/702.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
702.09/702.37 c 660s| 3150k| 2988k| 0 | 0.0 |1117M| 386 | - | 750 | 815 | 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | -- | Inf
704.39/704.69 c 662s| 3160k| 2998k| 0 | 0.0 |1121M| 386 | - | 750 | 746 | 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | -- | Inf
706.48/706.79 c 664s| 3170k| 3008k| 0 | 0.0 |1124M| 386 | - | 750 | 790 | 0 | 0 | 0 | 663k| 0 | 0.000000e+00 | -- | Inf
708.79/709.06 c 666s| 3180k| 3017k| 0 | 0.0 |1128M| 386 | - | 750 | 774 | 0 | 0 | 0 | 665k| 0 | 0.000000e+00 | -- | Inf
711.19/711.45 c 668s| 3190k| 3027k| 0 | 0.0 |1131M| 386 | - | 750 | 804 | 0 | 0 | 0 | 667k| 0 | 0.000000e+00 | -- | Inf
713.38/713.62 c 670s| 3200k| 3036k| 0 | 0.0 |1135M| 386 | - | 750 | 785 | 0 | 0 | 0 | 669k| 0 | 0.000000e+00 | -- | Inf
715.58/715.88 c 672s| 3210k| 3046k| 0 | 0.0 |1138M| 386 | - | 750 | 835 | 0 | 0 | 0 | 671k| 0 | 0.000000e+00 | -- | Inf
717.78/718.07 c 675s| 3220k| 3055k| 0 | 0.0 |1142M| 386 | - | 750 | 784 | 0 | 0 | 0 | 673k| 0 | 0.000000e+00 | -- | Inf
719.98/720.26 c 677s| 3230k| 3065k| 0 | 0.0 |1145M| 386 | - | 750 | 818 | 0 | 0 | 0 | 675k| 0 | 0.000000e+00 | -- | Inf
722.39/722.68 c 679s| 3240k| 3075k| 0 | 0.0 |1148M| 386 | - | 750 | 801 | 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | -- | Inf
724.69/724.91 c 681s| 3250k| 3084k| 0 | 0.0 |1152M| 386 | - | 750 | 715 | 0 | 0 | 0 | 678k| 0 | 0.000000e+00 | -- | Inf
726.98/727.20 c 683s| 3260k| 3094k| 0 | 0.0 |1155M| 386 | - | 750 | 766 | 0 | 0 | 0 | 680k| 0 | 0.000000e+00 | -- | Inf
729.08/729.37 c 685s| 3270k| 3103k| 0 | 0.0 |1159M| 386 | - | 750 | 790 | 0 | 0 | 0 | 682k| 0 | 0.000000e+00 | -- | Inf
731.48/731.72 c 687s| 3280k| 3113k| 0 | 0.0 |1162M| 386 | - | 750 | 797 | 0 | 0 | 0 | 684k| 0 | 0.000000e+00 | -- | Inf
733.58/733.89 c 689s| 3290k| 3122k| 0 | 0.0 |1166M| 386 | - | 750 | 767 | 0 | 0 | 0 | 686k| 0 | 0.000000e+00 | -- | Inf
735.98/736.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
735.98/736.25 c 692s| 3300k| 3132k| 0 | 0.0 |1169M| 386 | - | 750 | 828 | 0 | 0 | 0 | 688k| 0 | 0.000000e+00 | -- | Inf
738.38/738.66 c 694s| 3310k| 3141k| 0 | 0.0 |1173M| 386 | - | 750 | 855 | 0 | 0 | 0 | 690k| 0 | 0.000000e+00 | -- | Inf
740.58/740.85 c 696s| 3320k| 3151k| 0 | 0.0 |1176M| 386 | - | 750 | 853 | 0 | 0 | 0 | 691k| 0 | 0.000000e+00 | -- | Inf
742.77/743.00 c 698s| 3330k| 3161k| 0 | 0.0 |1179M| 386 | - | 750 | 783 | 0 | 0 | 0 | 693k| 0 | 0.000000e+00 | -- | Inf
744.97/745.23 c 700s| 3340k| 3170k| 0 | 0.0 |1183M| 386 | - | 750 | 859 | 0 | 0 | 0 | 695k| 0 | 0.000000e+00 | -- | Inf
747.27/747.56 c 702s| 3350k| 3180k| 0 | 0.0 |1186M| 386 | - | 750 | 770 | 0 | 0 | 0 | 697k| 0 | 0.000000e+00 | -- | Inf
749.57/749.80 c 704s| 3360k| 3189k| 0 | 0.0 |1190M| 386 | - | 750 | 820 | 0 | 0 | 0 | 699k| 0 | 0.000000e+00 | -- | Inf
751.67/751.97 c 706s| 3370k| 3199k| 0 | 0.0 |1193M| 386 | - | 750 | 722 | 0 | 0 | 0 | 701k| 0 | 0.000000e+00 | -- | Inf
753.88/754.12 c 708s| 3380k| 3208k| 0 | 0.0 |1197M| 386 | - | 750 | 819 | 0 | 0 | 0 | 703k| 0 | 0.000000e+00 | -- | Inf
756.27/756.50 c 711s| 3390k| 3218k| 0 | 0.0 |1200M| 386 | - | 750 | 811 | 0 | 0 | 0 | 705k| 0 | 0.000000e+00 | -- | Inf
758.47/758.78 c 713s| 3400k| 3228k| 0 | 0.0 |1204M| 386 | - | 750 | 782 | 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | -- | Inf
760.88/761.14 c 715s| 3410k| 3237k| 0 | 0.0 |1207M| 386 | - | 750 | 869 | 0 | 0 | 0 | 709k| 0 | 0.000000e+00 | -- | Inf
763.27/763.55 c 717s| 3420k| 3247k| 0 | 0.0 |1211M| 386 | - | 750 | 887 | 0 | 0 | 0 | 711k| 0 | 0.000000e+00 | -- | Inf
765.47/765.78 c 719s| 3430k| 3256k| 0 | 0.0 |1214M| 386 | - | 750 | 887 | 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | -- | Inf
767.77/768.09 c 722s| 3440k| 3266k| 0 | 0.0 |1217M| 386 | - | 750 | 758 | 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | -- | Inf
770.06/770.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
770.06/770.30 c 724s| 3450k| 3275k| 0 | 0.0 |1221M| 386 | - | 750 | 903 | 0 | 0 | 0 | 716k| 0 | 0.000000e+00 | -- | Inf
772.37/772.69 c 726s| 3460k| 3285k| 0 | 0.0 |1224M| 386 | - | 750 | 790 | 0 | 0 | 0 | 718k| 0 | 0.000000e+00 | -- | Inf
774.77/775.03 c 728s| 3470k| 3295k| 0 | 0.0 |1228M| 386 | - | 750 | 890 | 0 | 0 | 0 | 720k| 0 | 0.000000e+00 | -- | Inf
777.17/777.45 c 730s| 3480k| 3304k| 0 | 0.0 |1231M| 386 | - | 750 | 837 | 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | -- | Inf
779.58/779.86 c 733s| 3490k| 3314k| 0 | 0.0 |1235M| 386 | - | 750 | 858 | 0 | 0 | 0 | 724k| 0 | 0.000000e+00 | -- | Inf
782.17/782.41 c 735s| 3500k| 3323k| 0 | 0.0 |1238M| 386 | - | 750 | 878 | 0 | 0 | 0 | 726k| 0 | 0.000000e+00 | -- | Inf
784.56/784.88 c 737s| 3510k| 3333k| 0 | 0.0 |1242M| 386 | - | 750 | 811 | 0 | 0 | 0 | 728k| 0 | 0.000000e+00 | -- | Inf
787.16/787.43 c 740s| 3520k| 3342k| 0 | 0.0 |1245M| 386 | - | 750 | 790 | 0 | 0 | 0 | 730k| 0 | 0.000000e+00 | -- | Inf
789.57/789.87 c 742s| 3530k| 3352k| 0 | 0.0 |1249M| 386 | - | 750 | 841 | 0 | 0 | 0 | 732k| 0 | 0.000000e+00 | -- | Inf
791.96/792.29 c 744s| 3540k| 3362k| 0 | 0.0 |1252M| 386 | - | 750 | 665 | 0 | 0 | 0 | 733k| 0 | 0.000000e+00 | -- | Inf
794.36/794.69 c 747s| 3550k| 3371k| 0 | 0.0 |1255M| 386 | - | 750 | 720 | 0 | 0 | 0 | 735k| 0 | 0.000000e+00 | -- | Inf
796.86/797.15 c 749s| 3560k| 3381k| 0 | 0.0 |1259M| 386 | - | 750 | 756 | 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | -- | Inf
799.26/799.53 c 751s| 3570k| 3390k| 0 | 0.0 |1262M| 386 | - | 750 | 735 | 0 | 0 | 0 | 739k| 0 | 0.000000e+00 | -- | Inf
801.67/801.92 c 754s| 3580k| 3400k| 0 | 0.0 |1266M| 386 | - | 750 | 820 | 0 | 0 | 0 | 741k| 0 | 0.000000e+00 | -- | Inf
804.06/804.31 c 756s| 3590k| 3409k| 0 | 0.0 |1269M| 386 | - | 750 | 796 | 0 | 0 | 0 | 743k| 0 | 0.000000e+00 | -- | Inf
806.25/806.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
806.25/806.52 c 758s| 3600k| 3419k| 0 | 0.0 |1273M| 386 | - | 750 | 799 | 0 | 0 | 0 | 745k| 0 | 0.000000e+00 | -- | Inf
808.46/808.73 c 760s| 3610k| 3429k| 0 | 0.0 |1276M| 386 | - | 750 | 729 | 0 | 0 | 0 | 747k| 0 | 0.000000e+00 | -- | Inf
810.55/810.89 c 762s| 3620k| 3438k| 0 | 0.0 |1280M| 386 | - | 750 | 780 | 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | -- | Inf
812.75/813.02 c 764s| 3630k| 3448k| 0 | 0.0 |1283M| 386 | - | 750 | 781 | 0 | 0 | 0 | 751k| 0 | 0.000000e+00 | -- | Inf
814.95/815.25 c 766s| 3640k| 3457k| 0 | 0.0 |1287M| 386 | - | 750 | 833 | 0 | 0 | 0 | 752k| 0 | 0.000000e+00 | -- | Inf
817.36/817.68 c 768s| 3650k| 3467k| 0 | 0.0 |1290M| 386 | - | 750 | 767 | 0 | 0 | 0 | 754k| 0 | 0.000000e+00 | -- | Inf
819.75/820.06 c 771s| 3660k| 3476k| 0 | 0.0 |1294M| 386 | - | 750 | 803 | 0 | 0 | 0 | 756k| 0 | 0.000000e+00 | -- | Inf
822.16/822.41 c 773s| 3670k| 3486k| 0 | 0.0 |1297M| 386 | - | 750 | 846 | 0 | 0 | 0 | 758k| 0 | 0.000000e+00 | -- | Inf
824.36/824.60 c 775s| 3680k| 3496k| 0 | 0.0 |1300M| 386 | - | 750 | 899 | 0 | 0 | 0 | 760k| 0 | 0.000000e+00 | -- | Inf
826.65/826.91 c 777s| 3690k| 3505k| 0 | 0.0 |1304M| 386 | - | 750 | 789 | 0 | 0 | 0 | 762k| 0 | 0.000000e+00 | -- | Inf
828.95/829.22 c 779s| 3700k| 3515k| 0 | 0.0 |1307M| 386 | - | 750 | 855 | 0 | 0 | 0 | 764k| 0 | 0.000000e+00 | -- | Inf
831.15/831.48 c 781s| 3710k| 3524k| 0 | 0.0 |1311M| 386 | - | 750 | 763 | 0 | 0 | 0 | 766k| 0 | 0.000000e+00 | -- | Inf
833.56/833.80 c 784s| 3720k| 3534k| 0 | 0.0 |1314M| 386 | - | 750 | 820 | 0 | 0 | 0 | 768k| 0 | 0.000000e+00 | -- | Inf
835.76/836.01 c 786s| 3730k| 3543k| 0 | 0.0 |1318M| 386 | - | 750 | 748 | 0 | 0 | 0 | 770k| 0 | 0.000000e+00 | -- | Inf
838.05/838.39 c 788s| 3740k| 3553k| 0 | 0.0 |1321M| 386 | - | 750 | 840 | 0 | 0 | 0 | 772k| 0 | 0.000000e+00 | -- | Inf
840.45/840.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
840.45/840.71 c 790s| 3750k| 3562k| 0 | 0.0 |1325M| 386 | - | 750 | 853 | 0 | 0 | 0 | 774k| 0 | 0.000000e+00 | -- | Inf
842.75/843.06 c 792s| 3760k| 3572k| 0 | 0.0 |1328M| 386 | - | 750 | 796 | 0 | 0 | 0 | 776k| 0 | 0.000000e+00 | -- | Inf
845.04/845.33 c 794s| 3770k| 3582k| 0 | 0.0 |1331M| 386 | - | 750 | 773 | 0 | 0 | 0 | 778k| 0 | 0.000000e+00 | -- | Inf
847.45/847.73 c 797s| 3780k| 3591k| 0 | 0.0 |1335M| 386 | - | 750 | 777 | 0 | 0 | 0 | 780k| 0 | 0.000000e+00 | -- | Inf
849.65/849.99 c 799s| 3790k| 3601k| 0 | 0.0 |1338M| 386 | - | 750 | 782 | 0 | 0 | 0 | 781k| 0 | 0.000000e+00 | -- | Inf
851.95/852.29 c 801s| 3800k| 3610k| 0 | 0.0 |1342M| 386 | - | 750 | 740 | 0 | 0 | 0 | 783k| 0 | 0.000000e+00 | -- | Inf
854.25/854.55 c 803s| 3810k| 3620k| 0 | 0.0 |1345M| 386 | - | 750 | 785 | 0 | 0 | 0 | 785k| 0 | 0.000000e+00 | -- | Inf
856.55/856.85 c 805s| 3820k| 3629k| 0 | 0.0 |1349M| 386 | - | 750 | 762 | 0 | 0 | 0 | 787k| 0 | 0.000000e+00 | -- | Inf
858.85/859.14 c 807s| 3830k| 3639k| 0 | 0.0 |1352M| 386 | - | 750 | 817 | 0 | 0 | 0 | 789k| 0 | 0.000000e+00 | -- | Inf
861.14/861.47 c 810s| 3840k| 3648k| 0 | 0.0 |1356M| 386 | - | 750 | 796 | 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | -- | Inf
863.15/863.47 c (node 3848433) switching to memory saving mode (mem: 1296.0M/1620.0M)
864.64/864.94 c 813s| 3850k| 3656k| 0 | 0.0 |1359M| 386 | - | 750 |1795 | 0 | 0 | 0 | 795k| 0 | 0.000000e+00 | -- | Inf
870.74/871.00 c 819s| 3860k| 3656k| 0 | 0.0 |1361M| 388 | - | 750 |4371 | 0 | 0 | 0 | 808k| 0 | 0.000000e+00 | -- | Inf
878.04/878.35 c 826s| 3870k| 3656k| 0 | 0.0 |1362M| 408 | - | 750 |5302 | 0 | 0 | 0 | 818k| 0 | 0.000000e+00 | -- | Inf
885.04/885.36 c 832s| 3880k| 3656k| 0 | 0.0 |1363M| 410 | - | 750 |6742 | 0 | 0 | 0 | 828k| 0 | 0.000000e+00 | -- | Inf
893.63/893.98 c 841s| 3890k| 3656k| 0 | 0.0 |1363M| 410 | - | 750 |6355 | 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | -- | Inf
902.13/902.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
902.13/902.45 c 849s| 3900k| 3656k| 0 | 0.0 |1364M| 410 | - | 750 |8482 | 0 | 0 | 0 | 849k| 0 | 0.000000e+00 | -- | Inf
912.53/912.88 c 859s| 3910k| 3656k| 0 | 0.0 |1365M| 410 | - | 750 |9742 | 0 | 0 | 0 | 860k| 0 | 0.000000e+00 | -- | Inf
923.93/924.28 c 870s| 3920k| 3656k| 0 | 0.0 |1366M| 410 | - | 750 | 10k| 0 | 0 | 0 | 871k| 0 | 0.000000e+00 | -- | Inf
936.12/936.42 c 882s| 3930k| 3656k| 0 | 0.0 |1367M| 410 | - | 750 | 11k| 0 | 0 | 0 | 884k| 0 | 0.000000e+00 | -- | Inf
948.72/949.07 c 894s| 3940k| 3656k| 0 | 0.0 |1367M| 410 | - | 750 | 11k| 0 | 0 | 0 | 894k| 0 | 0.000000e+00 | -- | Inf
959.11/959.41 c 904s| 3950k| 3656k| 0 | 0.0 |1368M| 410 | - | 750 | 12k| 0 | 0 | 0 | 904k| 0 | 0.000000e+00 | -- | Inf
970.71/971.07 c 915s| 3960k| 3655k| 0 | 0.0 |1365M| 410 | - | 750 |9668 | 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | -- | Inf
981.30/981.67 c 926s| 3970k| 3655k| 0 | 0.0 |1366M| 410 | - | 750 | 10k| 0 | 0 | 0 | 932k| 0 | 0.000000e+00 | -- | Inf
992.41/992.71 c 936s| 3980k| 3654k| 0 | 0.0 |1366M| 410 | - | 750 | 11k| 0 | 0 | 0 | 945k| 0 | 0.000000e+00 | -- | Inf
1003.90/1004.27 c 948s| 3990k| 3654k| 0 | 0.0 |1366M| 410 | - | 750 | 11k| 0 | 0 | 0 | 958k| 0 | 0.000000e+00 | -- | Inf
1017.00/1017.36 c 960s| 4000k| 3654k| 0 | 0.0 |1368M| 410 | - | 750 | 13k| 0 | 0 | 0 | 971k| 0 | 0.000000e+00 | -- | Inf
1030.60/1030.93 c 974s| 4010k| 3654k| 0 | 0.0 |1368M| 410 | - | 750 | 13k| 0 | 0 | 0 | 983k| 0 | 0.000000e+00 | -- | Inf
1045.09/1045.40 c 988s| 4020k| 3654k| 0 | 0.0 |1369M| 410 | - | 750 | 14k| 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | -- | Inf
1059.28/1059.68 c 1002s| 4030k| 3654k| 0 | 0.0 |1369M| 410 | - | 750 | 14k| 0 | 0 | 0 |1007k| 0 | 0.000000e+00 | -- | Inf
1074.88/1075.26 c 1017s| 4040k| 3654k| 0 | 0.0 |1370M| 410 | - | 750 | 15k| 0 | 0 | 0 |1020k| 0 | 0.000000e+00 | -- | Inf
1091.28/1091.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1091.28/1091.63 c 1033s| 4050k| 3654k| 0 | 0.0 |1370M| 410 | - | 750 | 16k| 0 | 0 | 0 |1032k| 0 | 0.000000e+00 | -- | Inf
1109.58/1109.94 c 1051s| 4060k| 3654k| 0 | 0.0 |1372M| 410 | - | 750 | 18k| 0 | 0 | 0 |1045k| 0 | 0.000000e+00 | -- | Inf
1128.06/1128.42 c 1069s| 4070k| 3654k| 0 | 0.0 |1372M| 410 | - | 750 | 19k| 0 | 0 | 0 |1056k| 0 | 0.000000e+00 | -- | Inf
1146.16/1146.55 c 1087s| 4080k| 3654k| 0 | 0.0 |1372M| 410 | - | 750 | 18k| 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | -- | Inf
1164.66/1165.03 c 1105s| 4090k| 3654k| 0 | 0.0 |1373M| 410 | - | 750 | 19k| 0 | 0 | 0 |1082k| 0 | 0.000000e+00 | -- | Inf
1183.45/1183.86 c 1124s| 4100k| 3654k| 0 | 0.0 |1372M| 410 | - | 750 | 19k| 0 | 0 | 0 |1093k| 0 | 0.000000e+00 | -- | Inf
1202.84/1203.27 c 1143s| 4110k| 3654k| 0 | 0.0 |1372M| 410 | - | 750 | 18k| 0 | 0 | 0 |1105k| 0 | 0.000000e+00 | -- | Inf
1221.25/1221.60 c 1161s| 4120k| 3654k| 0 | 0.0 |1372M| 410 | - | 750 | 18k| 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | -- | Inf
1239.83/1240.23 c 1179s| 4130k| 3654k| 0 | 0.0 |1372M| 410 | - | 750 | 18k| 0 | 0 | 0 |1129k| 0 | 0.000000e+00 | -- | Inf
1260.73/1261.14 c 1199s| 4140k| 3654k| 0 | 0.0 |1373M| 410 | - | 750 | 19k| 0 | 0 | 0 |1141k| 0 | 0.000000e+00 | -- | Inf
1278.62/1279.07 c 1217s| 4150k| 3654k| 0 | 0.0 |1372M| 410 | - | 750 | 18k| 0 | 0 | 0 |1154k| 0 | 0.000000e+00 | -- | Inf
1298.02/1298.44 c 1236s| 4160k| 3654k| 0 | 0.0 |1372M| 410 | - | 750 | 18k| 0 | 0 | 0 |1165k| 0 | 0.000000e+00 | -- | Inf
1316.62/1317.01 c 1254s| 4170k| 3654k| 0 | 0.0 |1372M| 410 | - | 750 | 18k| 0 | 0 | 0 |1176k| 0 | 0.000000e+00 | -- | Inf
1336.51/1336.91 c 1274s| 4180k| 3654k| 0 | 0.0 |1373M| 410 | - | 750 | 19k| 0 | 0 | 0 |1188k| 0 | 0.000000e+00 | -- | Inf
1357.31/1357.73 c 1294s| 4190k| 3654k| 0 | 0.0 |1374M| 410 | - | 750 | 21k| 0 | 0 | 0 |1202k| 0 | 0.000000e+00 | -- | Inf
1377.70/1378.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1377.70/1378.18 c 1314s| 4200k| 3654k| 0 | 0.0 |1375M| 410 | - | 750 | 22k| 0 | 0 | 0 |1213k| 0 | 0.000000e+00 | -- | Inf
1398.29/1398.77 c 1335s| 4210k| 3654k| 0 | 0.0 |1374M| 410 | - | 750 | 20k| 0 | 0 | 0 |1226k| 0 | 0.000000e+00 | -- | Inf
1419.19/1419.63 c 1355s| 4220k| 3654k| 0 | 0.0 |1374M| 410 | - | 750 | 21k| 0 | 0 | 0 |1239k| 0 | 0.000000e+00 | -- | Inf
1440.98/1441.47 c 1377s| 4230k| 3654k| 0 | 0.0 |1374M| 410 | - | 750 | 21k| 0 | 0 | 0 |1251k| 0 | 0.000000e+00 | -- | Inf
1463.98/1464.40 c 1399s| 4240k| 3654k| 0 | 0.0 |1374M| 410 | - | 750 | 20k| 0 | 0 | 0 |1261k| 0 | 0.000000e+00 | -- | Inf
1486.48/1486.98 c 1421s| 4250k| 3654k| 0 | 0.0 |1374M| 410 | - | 750 | 20k| 0 | 0 | 0 |1275k| 0 | 0.000000e+00 | -- | Inf
1508.67/1509.15 c 1443s| 4260k| 3654k| 0 | 0.0 |1373M| 410 | - | 750 | 19k| 0 | 0 | 0 |1286k| 0 | 0.000000e+00 | -- | Inf
1527.56/1528.04 c 1462s| 4270k| 3653k| 0 | 0.0 |1374M| 410 | - | 750 | 20k| 0 | 0 | 0 |1299k| 0 | 0.000000e+00 | -- | Inf
1548.76/1549.22 c 1483s| 4280k| 3653k| 0 | 0.0 |1374M| 410 | - | 750 | 20k| 0 | 0 | 0 |1311k| 0 | 0.000000e+00 | -- | Inf
1569.35/1569.87 c 1503s| 4290k| 3653k| 0 | 0.0 |1374M| 410 | - | 750 | 19k| 0 | 0 | 0 |1322k| 0 | 0.000000e+00 | -- | Inf
1592.15/1592.63 c 1525s| 4300k| 3653k| 0 | 0.0 |1375M| 410 | - | 750 | 21k| 0 | 0 | 0 |1333k| 0 | 0.000000e+00 | -- | Inf
1616.04/1616.50 c 1549s| 4310k| 3653k| 0 | 0.0 |1375M| 410 | - | 750 | 21k| 0 | 0 | 0 |1345k| 0 | 0.000000e+00 | -- | Inf
1639.04/1639.58 c 1572s| 4320k| 3653k| 0 | 0.0 |1374M| 410 | - | 750 | 20k| 0 | 0 | 0 |1356k| 0 | 0.000000e+00 | -- | Inf
1659.13/1659.67 c 1591s| 4330k| 3653k| 0 | 0.0 |1375M| 410 | - | 750 | 21k| 0 | 0 | 0 |1369k| 0 | 0.000000e+00 | -- | Inf
1681.52/1682.07 c 1613s| 4340k| 3653k| 0 | 0.0 |1376M| 410 | - | 750 | 23k| 0 | 0 | 0 |1381k| 0 | 0.000000e+00 | -- | Inf
1708.11/1708.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1708.11/1708.66 c 1640s| 4350k| 3653k| 0 | 0.0 |1378M| 410 | - | 750 | 25k| 0 | 0 | 0 |1394k| 0 | 0.000000e+00 | -- | Inf
1738.52/1739.05 c 1670s| 4360k| 3653k| 0 | 0.0 |1380M| 410 | - | 750 | 28k| 0 | 0 | 0 |1408k| 0 | 0.000000e+00 | -- | Inf
1766.19/1766.70 c 1697s| 4370k| 3653k| 0 | 0.0 |1379M| 410 | - | 750 | 27k| 0 | 0 | 0 |1420k| 0 | 0.000000e+00 | -- | Inf
1791.09/1791.60 c 1721s| 4380k| 3653k| 0 | 0.0 |1380M| 410 | - | 750 | 28k| 0 | 0 | 0 |1433k| 0 | 0.000000e+00 | -- | Inf
1800.11/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.11/1800.61 c
1800.11/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.11/1800.61 c Solving Time (sec) : 1730.32
1800.11/1800.61 c Solving Nodes : 4383690
1800.11/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.11/1800.61 c Dual Bound : +0.00000000000000e+00
1800.11/1800.61 c Gap : infinite
1800.11/1800.61 s UNKNOWN
1800.11/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.11/1800.61 c Solving Time : 1730.32
1800.11/1800.61 c Original Problem :
1800.11/1800.61 c Problem name : HOME/instance-2664501-1276323275.opb
1800.11/1800.61 c Variables : 750 (750 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.11/1800.61 c Constraints : 80 initial, 80 maximal
1800.11/1800.61 c Presolved Problem :
1800.11/1800.61 c Problem name : t_HOME/instance-2664501-1276323275.opb
1800.11/1800.61 c Variables : 750 (750 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.11/1800.61 c Constraints : 80 initial, 29563 maximal
1800.11/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.11/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.61 c implics : 0.01 0 0 0 0 0 0 0 0
1800.11/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.61 c root node : - 0 - - 0 - - - -
1800.11/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.11/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.11/1800.61 c setppc : 30 0 7440079 0 4177062 276226 25180778 0 0 0
1800.11/1800.61 c logicor : 50+ 0 3836588 0 4177061 161071 4060657 0 0 0
1800.11/1800.61 c countsols : 0 0 0 0 4177061 0 0 0 0 0
1800.11/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.11/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.11/1800.61 c setppc : 254.44 0.00 174.01 0.00 80.43
1800.11/1800.61 c logicor : 531.37 0.00 457.65 0.00 73.72
1800.11/1800.61 c countsols : 1.72 0.00 0.00 0.00 1.72
1800.11/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.11/1800.61 c vbounds : 3.70 1 0 0
1800.11/1800.61 c rootredcost : 3.41 0 0 0
1800.11/1800.61 c pseudoobj : 3.18 0 0 0
1800.11/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.11/1800.61 c propagation : 112.16 437297 437297 3683984 71.1 6221 67.2 -
1800.11/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.11/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.11/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.11/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.11/1800.61 c applied globally : - - - 1376522 47.2 - - -
1800.11/1800.61 c applied locally : - - - 62029 84.9 - - -
1800.11/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.11/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.11/1800.61 c redcost : 0.00 0 0 0 0 0
1800.11/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.11/1800.61 c intobj : 0.00 0 0 0 0 0
1800.11/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.11/1800.61 c gomory : 0.00 0 0 0 0 0
1800.11/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.11/1800.61 c cmir : 0.00 0 0 0 0 0
1800.11/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.11/1800.61 c clique : 0.00 0 0 0 0 0
1800.11/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.11/1800.61 c mcf : 0.00 0 0 0 0 0
1800.11/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.11/1800.61 c Pricers : Time Calls Vars
1800.11/1800.61 c problem variables: 0.00 0 0
1800.11/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.11/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.11/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.11/1800.61 c inference : 413.94 4177061 0 0 0 0 8354122
1800.11/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.11/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.11/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.11/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.11/1800.61 c random : 0.00 0 0 0 0 0 0
1800.11/1800.61 c Primal Heuristics : Time Calls Found
1800.11/1800.61 c LP solutions : 0.00 - 0
1800.11/1800.61 c pseudo solutions : 0.00 - 0
1800.11/1800.61 c trivial : 0.00 1 0
1800.11/1800.61 c simplerounding : 0.00 0 0
1800.11/1800.61 c zirounding : 0.00 0 0
1800.11/1800.61 c rounding : 0.00 0 0
1800.11/1800.61 c shifting : 0.00 0 0
1800.11/1800.61 c intshifting : 0.00 0 0
1800.11/1800.61 c oneopt : 0.00 0 0
1800.11/1800.61 c twoopt : 0.00 0 0
1800.11/1800.61 c fixandinfer : 0.00 0 0
1800.11/1800.61 c feaspump : 0.00 0 0
1800.11/1800.61 c coefdiving : 0.00 0 0
1800.11/1800.61 c pscostdiving : 0.00 0 0
1800.11/1800.61 c fracdiving : 0.00 0 0
1800.11/1800.61 c veclendiving : 0.00 0 0
1800.11/1800.61 c intdiving : 0.00 0 0
1800.11/1800.61 c actconsdiving : 0.00 0 0
1800.11/1800.61 c objpscostdiving : 0.00 0 0
1800.11/1800.61 c rootsoldiving : 0.00 0 0
1800.11/1800.61 c linesearchdiving : 0.00 0 0
1800.11/1800.61 c guideddiving : 0.00 0 0
1800.11/1800.61 c octane : 0.00 0 0
1800.11/1800.61 c rens : 0.00 0 0
1800.11/1800.61 c rins : 0.00 0 0
1800.11/1800.61 c localbranching : 0.00 0 0
1800.11/1800.61 c mutation : 0.00 0 0
1800.11/1800.61 c crossover : 0.00 0 0
1800.11/1800.61 c dins : 0.00 0 0
1800.11/1800.61 c undercover : 0.00 0 0
1800.11/1800.61 c nlp : 0.00 0 0
1800.11/1800.61 c trysol : 0.00 0 0
1800.11/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.11/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.11/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.11/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.11/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.11/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.11/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.11/1800.61 c (at root node) : - 0 0 0.00 -
1800.11/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.11/1800.61 c B&B Tree :
1800.11/1800.61 c number of runs : 1
1800.11/1800.61 c nodes : 4383690
1800.11/1800.61 c nodes (total) : 4383690
1800.11/1800.61 c nodes left : 3653894
1800.11/1800.61 c max depth : 410
1800.11/1800.61 c max depth (total): 410
1800.11/1800.61 c backtracks : 234579 (5.4%)
1800.11/1800.61 c delayed cutoffs : 316539
1800.11/1800.61 c repropagations : 552731 (12245636 domain reductions, 230668 cutoffs)
1800.11/1800.61 c avg switch length: 3.51
1800.11/1800.61 c switching time : 324.09
1800.11/1800.61 c Solution :
1800.11/1800.61 c Solutions found : 0 (0 improvements)
1800.11/1800.61 c Primal Bound : -
1800.11/1800.61 c Dual Bound : +0.00000000000000e+00
1800.11/1800.61 c Gap : infinite
1800.11/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.11/1800.61 c Root Iterations : 0