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-2664506-1276324815.opb>
0.00/0.01 c original problem has 1200 variables (1200 bin, 0 int, 0 impl, 0 cont) and 100 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, 60 upgd conss, 0 impls, 40 clqs
0.00/0.03 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 0 impls, 40 clqs
0.00/0.04 c presolving (3 rounds):
0.00/0.04 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04 c 0 implications, 40 cliques
0.00/0.04 c presolved problem has 1200 variables (1200 bin, 0 int, 0 impl, 0 cont) and 100 constraints
0.00/0.04 c 40 constraints of type <setppc>
0.00/0.04 c 60 constraints of type <logicor>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.01
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 1.2.1.2
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1800
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 1620
0.00/0.04 c
0.00/0.04 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c limits/solutions = 1
0.00/0.04 c
0.00/0.04 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c lp/solvefreq = -1
0.00/0.04 c
0.00/0.04 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.04 c separating/maxrounds = 1
0.00/0.04 c
0.00/0.04 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/maxroundsroot = 5
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.04 c constraints/knapsack/disaggregation = FALSE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c presolving/probing/maxrounds = 0
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/coefdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.04 c heuristics/crossover/freq = -1
0.00/0.04 c
0.00/0.04 c # number of nodes added to the contingent of the total nodes
0.00/0.04 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.04 c heuristics/crossover/nodesofs = 750
0.00/0.04 c
0.00/0.04 c # number of nodes without incumbent change that heuristic should wait
0.00/0.04 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.04 c heuristics/crossover/nwaitingnodes = 100
0.00/0.04 c
0.00/0.04 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.04 c # [type: real, range: [0,1], default: 0.1]
0.00/0.04 c heuristics/crossover/nodesquot = 0.15
0.00/0.04 c
0.00/0.04 c # minimum percentage of integer variables that have to be fixed
0.00/0.04 c # [type: real, range: [0,1], default: 0.666]
0.00/0.04 c heuristics/crossover/minfixingrate = 0.5
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.04 c heuristics/feaspump/freq = -1
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/fracdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/guideddiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/intshifting/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/linesearchdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/nlp/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.04 c heuristics/objpscostdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.04 c # [type: real, range: [0,1], default: 0.01]
0.00/0.04 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/oneopt/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/pscostdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c heuristics/rens/freq = -1
0.00/0.04 c
0.00/0.04 c # minimum percentage of integer variables that have to be fixable
0.00/0.04 c # [type: real, range: [0,1], default: 0.5]
0.00/0.04 c heuristics/rens/minfixingrate = 0.3
0.00/0.04 c
0.00/0.04 c # number of nodes added to the contingent of the total nodes
0.00/0.04 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.04 c heuristics/rens/nodesofs = 2000
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.04 c heuristics/rootsoldiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.04 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/rounding/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/shifting/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/simplerounding/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c heuristics/trivial/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/trysol/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/veclendiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/zirounding/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c separating/cmir/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c separating/flowcover/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.04 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.04 c 0.0s| 1 | 2 | 0 | - |2181k| 0 | - |1200 | 100 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.89/2.94 c 2.8s| 10000 | 9847 | 0 | 0.0 |5845k| 646 | - |1200 | 213 | 0 | 0 | 0 | 329 | 0 | 0.000000e+00 | -- | Inf
5.89/5.90 c 5.7s| 20000 | 19663 | 0 | 0.0 |9369k| 646 | - |1200 | 467 | 0 | 0 | 0 |1156 | 0 | 0.000000e+00 | -- | Inf
8.58/8.68 c 8.3s| 30000 | 29368 | 0 | 0.0 | 13M| 646 | - |1200 | 815 | 0 | 0 | 0 |2489 | 0 | 0.000000e+00 | -- | Inf
11.08/11.14 c 10.6s| 40000 | 38985 | 0 | 0.0 | 16M| 646 | - |1200 |1114 | 0 | 0 | 0 |4201 | 0 | 0.000000e+00 | -- | Inf
13.28/13.33 c 12.7s| 50000 | 48170 | 0 | 0.0 | 21M| 646 | - |1200 |2538 | 0 | 0 | 0 |7644 | 0 | 0.000000e+00 | -- | Inf
16.39/16.44 c 15.7s| 60000 | 57784 | 0 | 0.0 | 23M| 646 | - |1200 | 405 | 0 | 0 | 0 |8999 | 0 | 0.000000e+00 | -- | Inf
19.49/19.52 c 18.6s| 70000 | 67623 | 0 | 0.0 | 27M| 646 | - |1200 | 513 | 0 | 0 | 0 |9820 | 0 | 0.000000e+00 | -- | Inf
22.58/22.65 c 21.6s| 80000 | 77460 | 0 | 0.0 | 30M| 646 | - |1200 | 511 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
25.68/25.78 c 24.6s| 90000 | 87309 | 0 | 0.0 | 33M| 646 | - |1200 | 510 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
28.88/28.91 c 27.6s|100000 | 97136 | 0 | 0.0 | 36M| 646 | - |1200 | 435 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
31.98/32.05 c 30.6s|110000 |106979 | 0 | 0.0 | 39M| 646 | - |1200 | 424 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
35.08/35.17 c 33.6s|120000 |116816 | 0 | 0.0 | 43M| 646 | - |1200 | 373 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
38.18/38.27 c 36.6s|130000 |126658 | 0 | 0.0 | 46M| 646 | - |1200 | 490 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
41.38/41.40 c 39.6s|140000 |136485 | 0 | 0.0 | 49M| 646 | - |1200 | 527 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
44.47/44.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.47/44.50 c 42.6s|150000 |146315 | 0 | 0.0 | 52M| 646 | - |1200 | 523 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
47.57/47.64 c 45.6s|160000 |156141 | 0 | 0.0 | 55M| 646 | - |1200 | 484 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
50.67/50.76 c 48.6s|170000 |165965 | 0 | 0.0 | 59M| 646 | - |1200 | 585 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
53.78/53.89 c 51.6s|180000 |175778 | 0 | 0.0 | 62M| 646 | - |1200 | 476 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
56.97/57.00 c 54.6s|190000 |185617 | 0 | 0.0 | 65M| 646 | - |1200 | 471 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
60.07/60.12 c 57.6s|200000 |195455 | 0 | 0.0 | 68M| 646 | - |1200 | 484 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
63.17/63.24 c 60.6s|210000 |205296 | 0 | 0.0 | 71M| 646 | - |1200 | 493 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
66.27/66.38 c 63.6s|220000 |215099 | 0 | 0.0 | 74M| 646 | - |1200 | 502 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
69.36/69.49 c 66.6s|230000 |224923 | 0 | 0.0 | 77M| 646 | - |1200 | 464 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
72.47/72.60 c 69.6s|240000 |234738 | 0 | 0.0 | 81M| 646 | - |1200 | 532 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
75.56/75.69 c 72.6s|250000 |244561 | 0 | 0.0 | 84M| 646 | - |1200 | 486 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
78.75/78.83 c 75.6s|260000 |254363 | 0 | 0.0 | 87M| 646 | - |1200 | 508 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
81.86/81.94 c 78.6s|270000 |264179 | 0 | 0.0 | 90M| 646 | - |1200 | 443 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
84.95/85.04 c 81.6s|280000 |273995 | 0 | 0.0 | 93M| 646 | - |1200 | 437 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
88.05/88.14 c 84.5s|290000 |283815 | 0 | 0.0 | 97M| 646 | - |1200 | 517 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
91.16/91.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.16/91.22 c 87.5s|300000 |293641 | 0 | 0.0 | 100M| 646 | - |1200 | 555 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
94.25/94.31 c 90.5s|310000 |303477 | 0 | 0.0 | 103M| 646 | - |1200 | 547 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
97.25/97.39 c 93.4s|320000 |313312 | 0 | 0.0 | 106M| 646 | - |1200 | 615 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
100.35/100.48 c 96.4s|330000 |323140 | 0 | 0.0 | 109M| 646 | - |1200 | 540 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
103.45/103.58 c 99.3s|340000 |332950 | 0 | 0.0 | 113M| 646 | - |1200 | 524 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
106.55/106.70 c 102s|350000 |342764 | 0 | 0.0 | 116M| 646 | - |1200 | 473 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
109.65/109.77 c 105s|360000 |352586 | 0 | 0.0 | 119M| 646 | - |1200 | 552 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
112.74/112.89 c 108s|370000 |362386 | 0 | 0.0 | 122M| 646 | - |1200 | 559 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
115.84/115.97 c 111s|380000 |372215 | 0 | 0.0 | 125M| 646 | - |1200 | 488 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
118.95/119.04 c 114s|390000 |382038 | 0 | 0.0 | 128M| 646 | - |1200 | 570 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
122.04/122.14 c 117s|400000 |391850 | 0 | 0.0 | 132M| 646 | - |1200 | 597 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
125.14/125.24 c 120s|410000 |401653 | 0 | 0.0 | 135M| 646 | - |1200 | 607 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
128.24/128.34 c 123s|420000 |411477 | 0 | 0.0 | 138M| 646 | - |1200 | 497 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
131.34/131.42 c 126s|430000 |421295 | 0 | 0.0 | 141M| 646 | - |1200 | 505 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
134.43/134.51 c 129s|440000 |431104 | 0 | 0.0 | 144M| 646 | - |1200 | 726 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
137.45/137.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
137.45/137.56 c 132s|450000 |440926 | 0 | 0.0 | 148M| 646 | - |1200 | 624 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
140.53/140.61 c 135s|460000 |450743 | 0 | 0.0 | 151M| 646 | - |1200 | 681 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
143.63/143.71 c 138s|470000 |460554 | 0 | 0.0 | 154M| 646 | - |1200 | 771 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
146.73/146.82 c 141s|480000 |470354 | 0 | 0.0 | 157M| 646 | - |1200 | 585 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
149.73/149.89 c 144s|490000 |480149 | 0 | 0.0 | 160M| 646 | - |1200 | 568 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
152.84/152.97 c 147s|500000 |489949 | 0 | 0.0 | 164M| 646 | - |1200 | 692 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
155.93/156.07 c 150s|510000 |499752 | 0 | 0.0 | 167M| 646 | - |1200 | 551 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
159.03/159.13 c 153s|520000 |509575 | 0 | 0.0 | 170M| 646 | - |1200 | 629 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
162.13/162.22 c 156s|530000 |519366 | 0 | 0.0 | 173M| 646 | - |1200 | 539 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
165.22/165.30 c 159s|540000 |529169 | 0 | 0.0 | 176M| 646 | - |1200 | 570 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
168.23/168.39 c 162s|550000 |538975 | 0 | 0.0 | 179M| 646 | - |1200 | 525 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
171.32/171.45 c 164s|560000 |548775 | 0 | 0.0 | 182M| 646 | - |1200 | 657 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
174.42/174.55 c 167s|570000 |558570 | 0 | 0.0 | 186M| 646 | - |1200 | 588 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
177.52/177.64 c 170s|580000 |568380 | 0 | 0.0 | 189M| 646 | - |1200 | 585 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
180.61/180.72 c 173s|590000 |578169 | 0 | 0.0 | 192M| 646 | - |1200 | 618 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
183.71/183.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
183.71/183.82 c 176s|600000 |587967 | 0 | 0.0 | 195M| 646 | - |1200 | 586 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
186.82/186.92 c 179s|610000 |597779 | 0 | 0.0 | 198M| 646 | - |1200 | 512 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
189.82/189.97 c 182s|620000 |607591 | 0 | 0.0 | 201M| 646 | - |1200 | 626 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
192.92/193.01 c 185s|630000 |617412 | 0 | 0.0 | 205M| 646 | - |1200 | 613 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
196.01/196.11 c 188s|640000 |627202 | 0 | 0.0 | 208M| 646 | - |1200 | 607 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
199.02/199.16 c 191s|650000 |636986 | 0 | 0.0 | 211M| 646 | - |1200 | 540 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
202.11/202.23 c 194s|660000 |646774 | 0 | 0.0 | 214M| 646 | - |1200 | 657 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
205.21/205.32 c 197s|670000 |656569 | 0 | 0.0 | 217M| 646 | - |1200 | 562 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
208.21/208.38 c 200s|680000 |666358 | 0 | 0.0 | 221M| 646 | - |1200 | 661 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
211.31/211.46 c 203s|690000 |676138 | 0 | 0.0 | 224M| 646 | - |1200 | 645 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
214.41/214.56 c 206s|700000 |685916 | 0 | 0.0 | 227M| 646 | - |1200 | 480 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
217.40/217.59 c 209s|710000 |695706 | 0 | 0.0 | 230M| 646 | - |1200 | 755 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
220.51/220.65 c 212s|720000 |705498 | 0 | 0.0 | 233M| 646 | - |1200 | 658 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
223.60/223.71 c 215s|730000 |715280 | 0 | 0.0 | 237M| 646 | - |1200 | 592 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
226.60/226.77 c 218s|740000 |725066 | 0 | 0.0 | 240M| 646 | - |1200 | 611 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
229.60/229.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
229.60/229.79 c 220s|750000 |734871 | 0 | 0.0 | 243M| 646 | - |1200 | 602 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
232.70/232.82 c 223s|760000 |744657 | 0 | 0.0 | 246M| 646 | - |1200 | 617 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
235.70/235.84 c 226s|770000 |754450 | 0 | 0.0 | 249M| 646 | - |1200 | 678 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
238.80/238.92 c 229s|780000 |764240 | 0 | 0.0 | 253M| 646 | - |1200 | 602 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
241.80/241.95 c 232s|790000 |774004 | 0 | 0.0 | 256M| 646 | - |1200 | 717 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
244.90/245.01 c 235s|800000 |783781 | 0 | 0.0 | 259M| 646 | - |1200 | 704 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
247.89/248.05 c 238s|810000 |793577 | 0 | 0.0 | 262M| 646 | - |1200 | 696 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
250.89/251.08 c 241s|820000 |803373 | 0 | 0.0 | 266M| 646 | - |1200 | 807 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
254.00/254.11 c 244s|830000 |813178 | 0 | 0.0 | 269M| 646 | - |1200 | 769 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
257.09/257.25 c 247s|840000 |822949 | 0 | 0.0 | 272M| 646 | - |1200 | 679 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
260.19/260.31 c 250s|850000 |832731 | 0 | 0.0 | 275M| 646 | - |1200 | 615 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
263.18/263.35 c 253s|860000 |842526 | 0 | 0.0 | 278M| 646 | - |1200 | 578 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
266.19/266.38 c 256s|870000 |852311 | 0 | 0.0 | 282M| 646 | - |1200 | 768 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
269.29/269.44 c 259s|880000 |862091 | 0 | 0.0 | 285M| 646 | - |1200 | 641 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
272.29/272.47 c 261s|890000 |871878 | 0 | 0.0 | 288M| 646 | - |1200 | 792 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
275.38/275.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
275.38/275.51 c 264s|900000 |881657 | 0 | 0.0 | 291M| 646 | - |1200 | 734 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
278.38/278.54 c 267s|910000 |891445 | 0 | 0.0 | 295M| 646 | - |1200 | 621 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
281.39/281.56 c 270s|920000 |901240 | 0 | 0.0 | 298M| 646 | - |1200 | 642 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
284.48/284.60 c 273s|930000 |911024 | 0 | 0.0 | 301M| 646 | - |1200 | 683 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
287.58/287.71 c 276s|940000 |920764 | 0 | 0.0 | 304M| 646 | - |1200 | 873 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
290.58/290.77 c 279s|950000 |930550 | 0 | 0.0 | 307M| 646 | - |1200 | 809 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
293.68/293.83 c 282s|960000 |940289 | 0 | 0.0 | 311M| 646 | - |1200 | 705 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
296.68/296.84 c 285s|970000 |950093 | 0 | 0.0 | 314M| 646 | - |1200 | 781 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
299.68/299.87 c 288s|980000 |959869 | 0 | 0.0 | 317M| 646 | - |1200 | 692 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
302.77/302.90 c 291s|990000 |969666 | 0 | 0.0 | 320M| 646 | - |1200 | 684 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
305.77/305.94 c 294s| 1000k|979436 | 0 | 0.0 | 324M| 646 | - |1200 | 764 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
308.77/308.95 c 296s| 1010k|989205 | 0 | 0.0 | 327M| 646 | - |1200 | 851 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
311.87/312.00 c 299s| 1020k|998984 | 0 | 0.0 | 330M| 646 | - |1200 | 826 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
314.87/315.04 c 302s| 1030k| 1008k| 0 | 0.0 | 333M| 646 | - |1200 | 789 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
317.97/318.11 c 305s| 1040k| 1018k| 0 | 0.0 | 337M| 646 | - |1200 | 827 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
320.97/321.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
320.97/321.17 c 308s| 1050k| 1028k| 0 | 0.0 | 340M| 646 | - |1200 | 752 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
324.07/324.22 c 311s| 1060k| 1038k| 0 | 0.0 | 343M| 646 | - |1200 | 876 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
327.06/327.30 c 314s| 1070k| 1047k| 0 | 0.0 | 346M| 646 | - |1200 | 755 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
330.16/330.30 c 317s| 1080k| 1057k| 0 | 0.0 | 350M| 646 | - |1200 | 919 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
333.17/333.38 c 320s| 1090k| 1067k| 0 | 0.0 | 353M| 646 | - |1200 | 730 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
336.25/336.43 c 323s| 1100k| 1077k| 0 | 0.0 | 356M| 646 | - |1200 | 686 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
339.26/339.48 c 326s| 1110k| 1086k| 0 | 0.0 | 359M| 646 | - |1200 | 699 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
342.36/342.53 c 329s| 1120k| 1096k| 0 | 0.0 | 362M| 646 | - |1200 | 708 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
345.35/345.59 c 331s| 1130k| 1106k| 0 | 0.0 | 366M| 646 | - |1200 | 748 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
348.47/348.61 c 334s| 1140k| 1116k| 0 | 0.0 | 369M| 646 | - |1200 | 648 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
351.45/351.69 c 337s| 1150k| 1125k| 0 | 0.0 | 372M| 646 | - |1200 | 877 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
354.55/354.77 c 340s| 1160k| 1135k| 0 | 0.0 | 375M| 646 | - |1200 | 712 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
357.65/357.80 c 343s| 1170k| 1145k| 0 | 0.0 | 379M| 646 | - |1200 | 834 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
360.66/360.85 c 346s| 1180k| 1155k| 0 | 0.0 | 382M| 646 | - |1200 | 680 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
363.75/363.91 c 349s| 1190k| 1164k| 0 | 0.0 | 385M| 646 | - |1200 | 825 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
366.84/367.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
366.84/367.00 c 352s| 1200k| 1174k| 0 | 0.0 | 388M| 646 | - |1200 | 604 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
369.85/370.08 c 355s| 1210k| 1184k| 0 | 0.0 | 391M| 646 | - |1200 | 671 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
372.95/373.10 c 358s| 1220k| 1194k| 0 | 0.0 | 395M| 646 | - |1200 | 663 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
375.95/376.11 c 361s| 1230k| 1203k| 0 | 0.0 | 398M| 646 | - |1200 | 825 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
378.94/379.14 c 364s| 1240k| 1213k| 0 | 0.0 | 401M| 646 | - |1200 | 663 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
381.94/382.13 c 366s| 1250k| 1223k| 0 | 0.0 | 404M| 646 | - |1200 | 793 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
384.94/385.18 c 369s| 1260k| 1233k| 0 | 0.0 | 408M| 646 | - |1200 | 799 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
388.04/388.28 c 372s| 1270k| 1242k| 0 | 0.0 | 411M| 646 | - |1200 | 728 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
391.03/391.28 c 375s| 1280k| 1252k| 0 | 0.0 | 414M| 646 | - |1200 | 720 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
394.13/394.30 c 378s| 1290k| 1262k| 0 | 0.0 | 417M| 646 | - |1200 | 748 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
397.14/397.36 c 381s| 1300k| 1272k| 0 | 0.0 | 421M| 646 | - |1200 | 711 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
400.14/400.40 c 384s| 1310k| 1281k| 0 | 0.0 | 424M| 646 | - |1200 | 746 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
403.23/403.47 c 387s| 1320k| 1291k| 0 | 0.0 | 427M| 646 | - |1200 | 851 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
406.33/406.51 c 390s| 1330k| 1301k| 0 | 0.0 | 431M| 646 | - |1200 | 791 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
409.33/409.53 c 393s| 1340k| 1311k| 0 | 0.0 | 434M| 646 | - |1200 | 820 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
412.43/412.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
412.43/412.60 c 396s| 1350k| 1320k| 0 | 0.0 | 437M| 646 | - |1200 | 779 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
415.33/415.59 c 399s| 1360k| 1330k| 0 | 0.0 | 440M| 646 | - |1200 | 909 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
418.42/418.62 c 401s| 1370k| 1340k| 0 | 0.0 | 444M| 646 | - |1200 | 708 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
421.43/421.61 c 404s| 1380k| 1350k| 0 | 0.0 | 447M| 646 | - |1200 | 826 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
424.53/424.73 c 407s| 1390k| 1359k| 0 | 0.0 | 450M| 646 | - |1200 | 720 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
427.63/427.85 c 410s| 1400k| 1369k| 0 | 0.0 | 453M| 646 | - |1200 | 838 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
430.72/430.92 c 413s| 1410k| 1379k| 0 | 0.0 | 456M| 646 | - |1200 | 622 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
433.72/433.94 c 416s| 1420k| 1389k| 0 | 0.0 | 460M| 646 | - |1200 | 859 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
436.82/437.00 c 419s| 1430k| 1398k| 0 | 0.0 | 463M| 646 | - |1200 | 829 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
439.82/440.09 c 422s| 1440k| 1408k| 0 | 0.0 | 466M| 646 | - |1200 | 841 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
443.02/443.25 c 425s| 1450k| 1418k| 0 | 0.0 | 469M| 646 | - |1200 | 578 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
446.01/446.24 c 428s| 1460k| 1428k| 0 | 0.0 | 473M| 646 | - |1200 | 850 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
449.11/449.32 c 431s| 1470k| 1437k| 0 | 0.0 | 476M| 646 | - |1200 | 825 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
452.22/452.41 c 434s| 1480k| 1447k| 0 | 0.0 | 479M| 646 | - |1200 | 755 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
455.21/455.46 c 437s| 1490k| 1457k| 0 | 0.0 | 483M| 646 | - |1200 | 859 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
458.21/458.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
458.21/458.45 c 440s| 1500k| 1466k| 0 | 0.0 | 486M| 646 | - |1200 | 799 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
461.21/461.48 c 442s| 1510k| 1476k| 0 | 0.0 | 489M| 646 | - |1200 | 708 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
464.20/464.47 c 445s| 1520k| 1486k| 0 | 0.0 | 492M| 646 | - |1200 | 855 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
467.32/467.57 c 448s| 1530k| 1496k| 0 | 0.0 | 496M| 646 | - |1200 | 765 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
470.41/470.65 c 451s| 1540k| 1505k| 0 | 0.0 | 499M| 646 | - |1200 | 821 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
473.50/473.71 c 454s| 1550k| 1515k| 0 | 0.0 | 502M| 646 | - |1200 | 694 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
476.50/476.76 c 457s| 1560k| 1525k| 0 | 0.0 | 505M| 646 | - |1200 | 789 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
479.50/479.76 c 460s| 1570k| 1535k| 0 | 0.0 | 509M| 646 | - |1200 | 750 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
482.50/482.79 c 463s| 1580k| 1544k| 0 | 0.0 | 512M| 646 | - |1200 | 773 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
485.59/485.80 c 466s| 1590k| 1554k| 0 | 0.0 | 515M| 646 | - |1200 | 961 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
488.59/488.87 c 469s| 1600k| 1564k| 0 | 0.0 | 519M| 646 | - |1200 | 796 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
491.70/491.90 c 472s| 1610k| 1573k| 0 | 0.0 | 522M| 646 | - |1200 |1003 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
494.71/494.94 c 475s| 1620k| 1583k| 0 | 0.0 | 525M| 646 | - |1200 | 747 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
497.69/497.95 c 477s| 1630k| 1593k| 0 | 0.0 | 529M| 646 | - |1200 | 888 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
500.69/500.99 c 480s| 1640k| 1603k| 0 | 0.0 | 532M| 646 | - |1200 | 797 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
503.79/504.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
503.79/504.03 c 483s| 1650k| 1612k| 0 | 0.0 | 535M| 646 | - |1200 | 816 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
506.80/507.09 c 486s| 1660k| 1622k| 0 | 0.0 | 538M| 646 | - |1200 | 762 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
509.89/510.14 c 489s| 1670k| 1632k| 0 | 0.0 | 542M| 646 | - |1200 | 877 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
512.89/513.19 c 492s| 1680k| 1641k| 0 | 0.0 | 545M| 646 | - |1200 | 624 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
515.89/516.17 c 495s| 1690k| 1651k| 0 | 0.0 | 548M| 646 | - |1200 | 936 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
518.99/519.26 c 498s| 1700k| 1661k| 0 | 0.0 | 551M| 646 | - |1200 | 784 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
521.98/522.26 c 501s| 1710k| 1671k| 0 | 0.0 | 555M| 646 | - |1200 | 955 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
525.08/525.38 c 504s| 1720k| 1680k| 0 | 0.0 | 558M| 646 | - |1200 | 793 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
528.18/528.40 c 507s| 1730k| 1690k| 0 | 0.0 | 561M| 646 | - |1200 | 934 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
531.19/531.46 c 510s| 1740k| 1700k| 0 | 0.0 | 565M| 646 | - |1200 | 741 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
534.18/534.41 c 512s| 1750k| 1709k| 0 | 0.0 | 568M| 646 | - |1200 | 961 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
537.18/537.43 c 515s| 1760k| 1719k| 0 | 0.0 | 571M| 646 | - |1200 | 765 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
540.18/540.46 c 518s| 1770k| 1729k| 0 | 0.0 | 575M| 646 | - |1200 |1002 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
543.38/543.64 c 521s| 1780k| 1738k| 0 | 0.0 | 578M| 646 | - |1200 | 780 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
546.38/546.67 c 524s| 1790k| 1748k| 0 | 0.0 | 581M| 646 | - |1200 |1014 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
549.47/549.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
549.47/549.76 c 527s| 1800k| 1758k| 0 | 0.0 | 584M| 646 | - |1200 | 766 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
552.47/552.78 c 530s| 1810k| 1767k| 0 | 0.0 | 588M| 646 | - |1200 | 828 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
555.58/555.84 c 533s| 1820k| 1777k| 0 | 0.0 | 591M| 646 | - |1200 | 833 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
558.58/558.87 c 536s| 1830k| 1787k| 0 | 0.0 | 595M| 646 | - |1200 | 935 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
561.68/561.95 c 539s| 1840k| 1797k| 0 | 0.0 | 598M| 646 | - |1200 | 840 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
564.67/564.93 c 542s| 1850k| 1806k| 0 | 0.0 | 601M| 646 | - |1200 | 811 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
567.77/568.00 c 545s| 1860k| 1816k| 0 | 0.0 | 605M| 646 | - |1200 | 974 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
570.76/571.06 c 548s| 1870k| 1826k| 0 | 0.0 | 608M| 646 | - |1200 | 886 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
573.98/574.25 c 551s| 1880k| 1835k| 0 | 0.0 | 611M| 646 | - |1200 |1078 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
577.07/577.30 c 554s| 1890k| 1845k| 0 | 0.0 | 614M| 646 | - |1200 | 861 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
579.96/580.26 c 556s| 1900k| 1855k| 0 | 0.0 | 618M| 646 | - |1200 | 925 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
582.97/583.25 c 559s| 1910k| 1864k| 0 | 0.0 | 621M| 646 | - |1200 | 787 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
586.07/586.32 c 562s| 1920k| 1874k| 0 | 0.0 | 624M| 646 | - |1200 |1011 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
589.06/589.33 c 565s| 1930k| 1884k| 0 | 0.0 | 628M| 646 | - |1200 | 884 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
592.16/592.42 c 568s| 1940k| 1893k| 0 | 0.0 | 631M| 646 | - |1200 |1046 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
595.16/595.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
595.16/595.43 c 571s| 1950k| 1903k| 0 | 0.0 | 634M| 646 | - |1200 | 860 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
598.16/598.44 c 574s| 1960k| 1913k| 0 | 0.0 | 638M| 646 | - |1200 |1186 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
601.26/601.55 c 577s| 1970k| 1922k| 0 | 0.0 | 641M| 646 | - |1200 | 896 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
604.25/604.55 c 580s| 1980k| 1932k| 0 | 0.0 | 645M| 646 | - |1200 |1051 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
607.35/607.62 c 582s| 1990k| 1942k| 0 | 0.0 | 648M| 646 | - |1200 |1023 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
610.35/610.61 c 585s| 2000k| 1951k| 0 | 0.0 | 651M| 646 | - |1200 |1020 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
613.46/613.74 c 588s| 2010k| 1961k| 0 | 0.0 | 655M| 646 | - |1200 | 918 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
616.45/616.75 c 591s| 2020k| 1971k| 0 | 0.0 | 658M| 646 | - |1200 |1008 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
619.54/619.87 c 594s| 2030k| 1980k| 0 | 0.0 | 662M| 646 | - |1200 |1111 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
622.64/622.90 c 597s| 2040k| 1990k| 0 | 0.0 | 665M| 646 | - |1200 |1018 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
625.65/625.98 c 600s| 2050k| 2000k| 0 | 0.0 | 668M| 646 | - |1200 |1057 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
628.74/629.03 c 603s| 2060k| 2009k| 0 | 0.0 | 672M| 646 | - |1200 |1105 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
631.84/632.12 c 606s| 2070k| 2019k| 0 | 0.0 | 675M| 646 | - |1200 |1146 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
634.83/635.18 c 609s| 2080k| 2029k| 0 | 0.0 | 678M| 646 | - |1200 | 881 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
637.84/638.16 c 612s| 2090k| 2038k| 0 | 0.0 | 682M| 646 | - |1200 |1158 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
640.94/641.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
640.94/641.23 c 615s| 2100k| 2048k| 0 | 0.0 | 685M| 646 | - |1200 | 966 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
643.83/644.20 c 617s| 2110k| 2058k| 0 | 0.0 | 688M| 646 | - |1200 |1063 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
646.93/647.29 c 620s| 2120k| 2067k| 0 | 0.0 | 692M| 646 | - |1200 | 848 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
649.93/650.28 c 623s| 2130k| 2077k| 0 | 0.0 | 695M| 646 | - |1200 |1169 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
653.03/653.32 c 626s| 2140k| 2087k| 0 | 0.0 | 699M| 646 | - |1200 | 978 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
655.93/656.26 c 629s| 2150k| 2096k| 0 | 0.0 | 702M| 646 | - |1200 |1199 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
659.03/659.37 c 632s| 2160k| 2106k| 0 | 0.0 | 705M| 646 | - |1200 |1015 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
662.02/662.35 c 635s| 2170k| 2116k| 0 | 0.0 | 709M| 646 | - |1200 |1109 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
665.13/665.42 c 638s| 2180k| 2125k| 0 | 0.0 | 712M| 646 | - |1200 | 816 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
668.13/668.43 c 641s| 2190k| 2135k| 0 | 0.0 | 715M| 646 | - |1200 |1006 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
671.12/671.49 c 644s| 2200k| 2145k| 0 | 0.0 | 719M| 646 | - |1200 | 975 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
674.12/674.47 c 646s| 2210k| 2154k| 0 | 0.0 | 722M| 646 | - |1200 |1001 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
677.32/677.62 c 650s| 2220k| 2164k| 0 | 0.0 | 726M| 646 | - |1200 |1098 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
680.32/680.65 c 652s| 2230k| 2174k| 0 | 0.0 | 729M| 646 | - |1200 |1002 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
683.42/683.77 c 655s| 2240k| 2183k| 0 | 0.0 | 732M| 646 | - |1200 |1046 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
686.42/686.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
686.42/686.76 c 658s| 2250k| 2193k| 0 | 0.0 | 736M| 646 | - |1200 |1012 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
689.42/689.77 c 661s| 2260k| 2202k| 0 | 0.0 | 739M| 646 | - |1200 |1062 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
692.42/692.79 c 664s| 2270k| 2212k| 0 | 0.0 | 742M| 646 | - |1200 | 802 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | -- | Inf
695.52/695.86 c 667s| 2280k| 2222k| 0 | 0.0 | 746M| 646 | - |1200 |1083 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
698.72/699.01 c 670s| 2290k| 2231k| 0 | 0.0 | 749M| 646 | - |1200 | 817 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
701.81/702.15 c 673s| 2300k| 2241k| 0 | 0.0 | 752M| 646 | - |1200 |1205 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
704.81/705.19 c 676s| 2310k| 2251k| 0 | 0.0 | 756M| 646 | - |1200 | 967 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
707.90/708.23 c 679s| 2320k| 2260k| 0 | 0.0 | 759M| 646 | - |1200 |1157 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
710.90/711.28 c 682s| 2330k| 2270k| 0 | 0.0 | 762M| 646 | - |1200 | 877 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
714.01/714.31 c 685s| 2340k| 2279k| 0 | 0.0 | 766M| 646 | - |1200 |1355 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
717.11/717.40 c 688s| 2350k| 2289k| 0 | 0.0 | 769M| 646 | - |1200 |1054 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
720.11/720.40 c 690s| 2360k| 2299k| 0 | 0.0 | 773M| 646 | - |1200 |1316 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
723.10/723.48 c 693s| 2370k| 2308k| 0 | 0.0 | 776M| 646 | - |1200 | 917 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
726.20/726.55 c 696s| 2380k| 2318k| 0 | 0.0 | 780M| 646 | - |1200 |1241 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
729.30/729.69 c 699s| 2390k| 2327k| 0 | 0.0 | 783M| 646 | - |1200 |1064 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | -- | Inf
732.40/732.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
732.40/732.78 c 702s| 2400k| 2337k| 0 | 0.0 | 786M| 646 | - |1200 |1109 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
735.60/735.91 c 705s| 2410k| 2347k| 0 | 0.0 | 790M| 646 | - |1200 |1128 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | -- | Inf
738.59/738.95 c 708s| 2420k| 2356k| 0 | 0.0 | 793M| 646 | - |1200 | 977 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | -- | Inf
741.69/742.00 c 711s| 2430k| 2366k| 0 | 0.0 | 797M| 646 | - |1200 |1178 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf
744.70/745.02 c 714s| 2440k| 2375k| 0 | 0.0 | 800M| 646 | - |1200 | 979 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | -- | Inf
747.79/748.18 c 717s| 2450k| 2385k| 0 | 0.0 | 804M| 646 | - |1200 |1321 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
751.00/751.38 c 720s| 2460k| 2395k| 0 | 0.0 | 807M| 646 | - |1200 |1032 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
754.09/754.47 c 723s| 2470k| 2404k| 0 | 0.0 | 811M| 646 | - |1200 |1338 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | -- | Inf
757.19/757.58 c 726s| 2480k| 2414k| 0 | 0.0 | 814M| 646 | - |1200 |1253 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
760.19/760.59 c 729s| 2490k| 2423k| 0 | 0.0 | 817M| 646 | - |1200 |1455 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
763.39/763.71 c 732s| 2500k| 2433k| 0 | 0.0 | 821M| 646 | - |1200 |1115 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | -- | Inf
766.39/766.70 c 735s| 2510k| 2443k| 0 | 0.0 | 824M| 646 | - |1200 |1194 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
769.49/769.84 c 738s| 2520k| 2452k| 0 | 0.0 | 828M| 646 | - |1200 |1173 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
772.48/772.82 c 741s| 2530k| 2462k| 0 | 0.0 | 831M| 646 | - |1200 |1197 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
775.68/776.09 c 744s| 2540k| 2471k| 0 | 0.0 | 835M| 646 | - |1200 |1362 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf
778.79/779.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
778.79/779.17 c 747s| 2550k| 2481k| 0 | 0.0 | 838M| 646 | - |1200 |1182 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | -- | Inf
781.98/782.34 c 750s| 2560k| 2490k| 0 | 0.0 | 842M| 646 | - |1200 |1390 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | -- | Inf
785.09/785.48 c 753s| 2570k| 2500k| 0 | 0.0 | 845M| 646 | - |1200 |1135 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | -- | Inf
788.18/788.54 c 756s| 2580k| 2509k| 0 | 0.0 | 849M| 646 | - |1200 |1454 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | -- | Inf
791.28/791.64 c 759s| 2590k| 2519k| 0 | 0.0 | 852M| 646 | - |1200 |1237 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | -- | Inf
794.28/794.64 c 761s| 2600k| 2529k| 0 | 0.0 | 855M| 646 | - |1200 |1318 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | -- | Inf
797.57/797.91 c 765s| 2610k| 2538k| 0 | 0.0 | 859M| 646 | - |1200 |1344 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | -- | Inf
800.68/801.04 c 768s| 2620k| 2548k| 0 | 0.0 | 862M| 646 | - |1200 |1247 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | -- | Inf
803.97/804.30 c 771s| 2630k| 2557k| 0 | 0.0 | 866M| 646 | - |1200 |1456 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | -- | Inf
807.17/807.58 c 774s| 2640k| 2567k| 0 | 0.0 | 869M| 646 | - |1200 |1077 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | -- | Inf
810.38/810.71 c 777s| 2650k| 2576k| 0 | 0.0 | 873M| 646 | - |1200 |1342 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | -- | Inf
813.47/813.84 c 780s| 2660k| 2586k| 0 | 0.0 | 876M| 646 | - |1200 |1200 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | -- | Inf
816.67/817.03 c 783s| 2670k| 2595k| 0 | 0.0 | 880M| 646 | - |1200 |1417 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
819.87/820.29 c 786s| 2680k| 2605k| 0 | 0.0 | 884M| 646 | - |1200 |1305 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
822.96/823.37 c 789s| 2690k| 2614k| 0 | 0.0 | 887M| 646 | - |1200 |1296 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | -- | Inf
826.17/826.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
826.17/826.56 c 792s| 2700k| 2624k| 0 | 0.0 | 891M| 646 | - |1200 |1527 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
829.37/829.76 c 795s| 2710k| 2633k| 0 | 0.0 | 894M| 646 | - |1200 |1317 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
832.46/832.83 c 798s| 2720k| 2643k| 0 | 0.0 | 898M| 646 | - |1200 |1370 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | -- | Inf
835.67/836.08 c 801s| 2730k| 2653k| 0 | 0.0 | 902M| 646 | - |1200 |1437 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | -- | Inf
838.76/839.11 c 804s| 2740k| 2662k| 0 | 0.0 | 905M| 646 | - |1200 |1275 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | -- | Inf
842.06/842.42 c 807s| 2750k| 2672k| 0 | 0.0 | 909M| 646 | - |1200 |1428 | 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | -- | Inf
845.26/845.62 c 810s| 2760k| 2681k| 0 | 0.0 | 912M| 646 | - |1200 |1237 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | -- | Inf
848.46/848.82 c 813s| 2770k| 2691k| 0 | 0.0 | 916M| 646 | - |1200 |1569 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | -- | Inf
851.76/852.13 c 817s| 2780k| 2700k| 0 | 0.0 | 920M| 646 | - |1200 |1540 | 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | -- | Inf
854.86/855.25 c 820s| 2790k| 2710k| 0 | 0.0 | 923M| 646 | - |1200 |1368 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | -- | Inf
858.16/858.59 c 823s| 2800k| 2719k| 0 | 0.0 | 927M| 646 | - |1200 |1477 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
861.25/861.66 c 826s| 2810k| 2728k| 0 | 0.0 | 930M| 646 | - |1200 |1396 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | -- | Inf
864.35/864.78 c 829s| 2820k| 2738k| 0 | 0.0 | 934M| 646 | - |1200 |1523 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | -- | Inf
867.64/868.02 c 832s| 2830k| 2747k| 0 | 0.0 | 938M| 646 | - |1200 |1653 | 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | -- | Inf
870.64/871.05 c 835s| 2840k| 2757k| 0 | 0.0 | 941M| 646 | - |1200 |1479 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | -- | Inf
873.84/874.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
873.84/874.22 c 838s| 2850k| 2766k| 0 | 0.0 | 945M| 646 | - |1200 |1658 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | -- | Inf
876.94/877.36 c 841s| 2860k| 2776k| 0 | 0.0 | 948M| 646 | - |1200 |1554 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | -- | Inf
879.95/880.37 c 844s| 2870k| 2786k| 0 | 0.0 | 952M| 646 | - |1200 |1495 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | -- | Inf
883.15/883.56 c 847s| 2880k| 2795k| 0 | 0.0 | 956M| 646 | - |1200 |1534 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | -- | Inf
886.25/886.67 c 850s| 2890k| 2804k| 0 | 0.0 | 959M| 646 | - |1200 |1370 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | -- | Inf
889.44/889.85 c 853s| 2900k| 2814k| 0 | 0.0 | 963M| 646 | - |1200 |1675 | 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | -- | Inf
892.64/893.02 c 856s| 2910k| 2823k| 0 | 0.0 | 967M| 646 | - |1200 |1550 | 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | -- | Inf
895.73/896.14 c 859s| 2920k| 2833k| 0 | 0.0 | 971M| 646 | - |1200 |1489 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | -- | Inf
899.04/899.41 c 862s| 2930k| 2842k| 0 | 0.0 | 974M| 646 | - |1200 |1681 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | -- | Inf
902.24/902.68 c 865s| 2940k| 2852k| 0 | 0.0 | 978M| 646 | - |1200 |1533 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | -- | Inf
905.33/905.76 c 868s| 2950k| 2861k| 0 | 0.0 | 982M| 646 | - |1200 |1691 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | -- | Inf
908.63/909.07 c 871s| 2960k| 2871k| 0 | 0.0 | 985M| 646 | - |1200 |1747 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | -- | Inf
911.83/912.25 c 874s| 2970k| 2880k| 0 | 0.0 | 989M| 646 | - |1200 |1584 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | -- | Inf
915.03/915.46 c 877s| 2980k| 2890k| 0 | 0.0 | 993M| 646 | - |1200 |1749 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | -- | Inf
918.43/918.86 c 880s| 2990k| 2899k| 0 | 0.0 | 997M| 646 | - |1200 |1885 | 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | -- | Inf
921.62/922.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
921.62/922.04 c 883s| 3000k| 2908k| 0 | 0.0 |1000M| 646 | - |1200 |1721 | 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | -- | Inf
924.92/925.31 c 887s| 3010k| 2918k| 0 | 0.0 |1004M| 646 | - |1200 |1844 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | -- | Inf
928.12/928.59 c 890s| 3020k| 2927k| 0 | 0.0 |1008M| 646 | - |1200 |1786 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | -- | Inf
931.33/931.77 c 893s| 3030k| 2937k| 0 | 0.0 |1011M| 646 | - |1200 |1661 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | -- | Inf
934.72/935.10 c 896s| 3040k| 2946k| 0 | 0.0 |1015M| 646 | - |1200 |2025 | 0 | 0 | 0 | 400k| 0 | 0.000000e+00 | -- | Inf
938.02/938.40 c 899s| 3050k| 2955k| 0 | 0.0 |1019M| 646 | - |1200 |1938 | 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | -- | Inf
941.12/941.55 c 902s| 3060k| 2965k| 0 | 0.0 |1022M| 646 | - |1200 |1744 | 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | -- | Inf
944.62/945.01 c 905s| 3070k| 2974k| 0 | 0.0 |1026M| 646 | - |1200 |1939 | 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | -- | Inf
947.82/948.25 c 909s| 3080k| 2984k| 0 | 0.0 |1030M| 646 | - |1200 |1901 | 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | -- | Inf
951.21/951.66 c 912s| 3090k| 2993k| 0 | 0.0 |1034M| 646 | - |1200 |1657 | 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | -- | Inf
954.50/954.97 c 915s| 3100k| 3002k| 0 | 0.0 |1038M| 646 | - |1200 |2115 | 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | -- | Inf
958.00/958.43 c 918s| 3110k| 3012k| 0 | 0.0 |1041M| 646 | - |1200 |1961 | 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | -- | Inf
961.41/961.88 c 922s| 3120k| 3021k| 0 | 0.0 |1045M| 646 | - |1200 |1816 | 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | -- | Inf
965.10/965.53 c 925s| 3130k| 3030k| 0 | 0.0 |1049M| 646 | - |1200 |2260 | 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | -- | Inf
969.60/970.01 c 929s| 3140k| 3040k| 0 | 0.0 |1053M| 646 | - |1200 |2072 | 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | -- | Inf
974.21/974.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
974.21/974.66 c 934s| 3150k| 3049k| 0 | 0.0 |1057M| 646 | - |1200 |1928 | 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | -- | Inf
978.80/979.22 c 938s| 3160k| 3059k| 0 | 0.0 |1060M| 646 | - |1200 |1988 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | -- | Inf
983.70/984.19 c 943s| 3170k| 3068k| 0 | 0.0 |1064M| 646 | - |1200 |2193 | 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | -- | Inf
988.40/988.90 c 948s| 3180k| 3077k| 0 | 0.0 |1068M| 646 | - |1200 |2048 | 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | -- | Inf
993.09/993.53 c 952s| 3190k| 3087k| 0 | 0.0 |1072M| 646 | - |1200 |1963 | 0 | 0 | 0 | 440k| 0 | 0.000000e+00 | -- | Inf
997.59/998.08 c 957s| 3200k| 3096k| 0 | 0.0 |1076M| 646 | - |1200 |2246 | 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | -- | Inf
1002.29/1002.74 c 961s| 3210k| 3105k| 0 | 0.0 |1080M| 646 | - |1200 |2296 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | -- | Inf
1005.78/1006.29 c 965s| 3220k| 3115k| 0 | 0.0 |1084M| 646 | - |1200 |2174 | 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | -- | Inf
1009.19/1009.62 c 968s| 3230k| 3124k| 0 | 0.0 |1087M| 646 | - |1200 |2254 | 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | -- | Inf
1012.69/1013.17 c 971s| 3240k| 3133k| 0 | 0.0 |1091M| 646 | - |1200 |2315 | 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | -- | Inf
1015.99/1016.49 c 974s| 3250k| 3143k| 0 | 0.0 |1095M| 646 | - |1200 |2291 | 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | -- | Inf
1019.48/1019.96 c 978s| 3260k| 3152k| 0 | 0.0 |1099M| 646 | - |1200 |2322 | 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | -- | Inf
1022.88/1023.39 c 981s| 3270k| 3161k| 0 | 0.0 |1103M| 646 | - |1200 |1993 | 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | -- | Inf
1026.38/1026.83 c 984s| 3280k| 3171k| 0 | 0.0 |1107M| 646 | - |1200 |2348 | 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | -- | Inf
1029.77/1030.28 c 988s| 3290k| 3180k| 0 | 0.0 |1111M| 646 | - |1200 |2586 | 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | -- | Inf
1033.17/1033.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1033.17/1033.67 c 991s| 3300k| 3189k| 0 | 0.0 |1115M| 646 | - |1200 |2418 | 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | -- | Inf
1036.58/1037.02 c 994s| 3310k| 3198k| 0 | 0.0 |1119M| 646 | - |1200 |2241 | 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | -- | Inf
1039.98/1040.42 c 997s| 3320k| 3208k| 0 | 0.0 |1123M| 646 | - |1200 |2349 | 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | -- | Inf
1043.38/1043.88 c 1001s| 3330k| 3217k| 0 | 0.0 |1127M| 646 | - |1200 |2488 | 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | -- | Inf
1047.07/1047.52 c 1004s| 3340k| 3226k| 0 | 0.0 |1131M| 646 | - |1200 |2961 | 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | -- | Inf
1050.67/1051.10 c 1008s| 3350k| 3235k| 0 | 0.0 |1135M| 646 | - |1200 |2730 | 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | -- | Inf
1054.17/1054.64 c 1011s| 3360k| 3244k| 0 | 0.0 |1139M| 646 | - |1200 |2539 | 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | -- | Inf
1057.57/1058.00 c 1014s| 3370k| 3254k| 0 | 0.0 |1143M| 646 | - |1200 |2530 | 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | -- | Inf
1061.27/1061.75 c 1018s| 3380k| 3263k| 0 | 0.0 |1147M| 646 | - |1200 |2918 | 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | -- | Inf
1064.97/1065.46 c 1021s| 3390k| 3272k| 0 | 0.0 |1151M| 646 | - |1200 |3157 | 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | -- | Inf
1068.77/1069.24 c 1025s| 3400k| 3281k| 0 | 0.0 |1155M| 646 | - |1200 |3131 | 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | -- | Inf
1072.16/1072.69 c 1028s| 3410k| 3290k| 0 | 0.0 |1159M| 646 | - |1200 |3018 | 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | -- | Inf
1075.76/1076.29 c 1032s| 3420k| 3300k| 0 | 0.0 |1163M| 646 | - |1200 |2904 | 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | -- | Inf
1079.46/1079.95 c 1035s| 3430k| 3309k| 0 | 0.0 |1167M| 646 | - |1200 |2795 | 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | -- | Inf
1083.07/1083.52 c 1039s| 3440k| 3318k| 0 | 0.0 |1171M| 646 | - |1200 |2728 | 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | -- | Inf
1086.76/1087.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1086.76/1087.28 c 1042s| 3450k| 3327k| 0 | 0.0 |1175M| 646 | - |1200 |2976 | 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | -- | Inf
1090.66/1091.15 c 1046s| 3460k| 3336k| 0 | 0.0 |1179M| 646 | - |1200 |3000 | 0 | 0 | 0 | 527k| 0 | 0.000000e+00 | -- | Inf
1094.75/1095.20 c 1050s| 3470k| 3345k| 0 | 0.0 |1183M| 646 | - |1200 |3297 | 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | -- | Inf
1098.55/1099.05 c 1054s| 3480k| 3354k| 0 | 0.0 |1188M| 646 | - |1200 |3410 | 0 | 0 | 0 | 535k| 0 | 0.000000e+00 | -- | Inf
1102.26/1102.78 c 1057s| 3490k| 3363k| 0 | 0.0 |1192M| 646 | - |1200 |3492 | 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | -- | Inf
1106.05/1106.59 c 1061s| 3500k| 3372k| 0 | 0.0 |1196M| 646 | - |1200 |3318 | 0 | 0 | 0 | 543k| 0 | 0.000000e+00 | -- | Inf
1110.05/1110.54 c 1065s| 3510k| 3381k| 0 | 0.0 |1200M| 646 | - |1200 |3568 | 0 | 0 | 0 | 547k| 0 | 0.000000e+00 | -- | Inf
1113.65/1114.17 c 1068s| 3520k| 3390k| 0 | 0.0 |1204M| 646 | - |1200 |3507 | 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | -- | Inf
1117.65/1118.10 c 1072s| 3530k| 3399k| 0 | 0.0 |1208M| 646 | - |1200 |3374 | 0 | 0 | 0 | 555k| 0 | 0.000000e+00 | -- | Inf
1121.35/1121.88 c 1076s| 3540k| 3408k| 0 | 0.0 |1213M| 646 | - |1200 |3634 | 0 | 0 | 0 | 559k| 0 | 0.000000e+00 | -- | Inf
1125.24/1125.70 c 1079s| 3550k| 3417k| 0 | 0.0 |1217M| 646 | - |1200 |3746 | 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | -- | Inf
1129.15/1129.62 c 1083s| 3560k| 3426k| 0 | 0.0 |1221M| 646 | - |1200 |3686 | 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | -- | Inf
1133.13/1133.61 c 1087s| 3570k| 3435k| 0 | 0.0 |1225M| 646 | - |1200 |3777 | 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | -- | Inf
1136.84/1137.36 c 1090s| 3580k| 3444k| 0 | 0.0 |1229M| 646 | - |1200 |3692 | 0 | 0 | 0 | 576k| 0 | 0.000000e+00 | -- | Inf
1140.74/1141.23 c 1094s| 3590k| 3453k| 0 | 0.0 |1233M| 646 | - |1200 |3563 | 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | -- | Inf
1144.74/1145.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1144.74/1145.29 c 1098s| 3600k| 3462k| 0 | 0.0 |1238M| 646 | - |1200 |3605 | 0 | 0 | 0 | 585k| 0 | 0.000000e+00 | -- | Inf
1148.94/1149.48 c 1102s| 3610k| 3471k| 0 | 0.0 |1242M| 646 | - |1200 |3467 | 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | -- | Inf
1153.13/1153.62 c 1106s| 3620k| 3480k| 0 | 0.0 |1247M| 646 | - |1200 |3985 | 0 | 0 | 0 | 595k| 0 | 0.000000e+00 | -- | Inf
1157.23/1157.70 c 1110s| 3630k| 3489k| 0 | 0.0 |1251M| 646 | - |1200 |4165 | 0 | 0 | 0 | 599k| 0 | 0.000000e+00 | -- | Inf
1160.93/1161.45 c 1114s| 3640k| 3498k| 0 | 0.0 |1255M| 646 | - |1200 |3855 | 0 | 0 | 0 | 603k| 0 | 0.000000e+00 | -- | Inf
1165.03/1165.57 c 1118s| 3650k| 3507k| 0 | 0.0 |1259M| 646 | - |1200 |3589 | 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | -- | Inf
1169.22/1169.76 c 1122s| 3660k| 3516k| 0 | 0.0 |1264M| 646 | - |1200 |4352 | 0 | 0 | 0 | 613k| 0 | 0.000000e+00 | -- | Inf
1173.42/1173.92 c 1126s| 3670k| 3524k| 0 | 0.0 |1267M| 646 | - |1200 |4086 | 0 | 0 | 0 | 617k| 0 | 0.000000e+00 | -- | Inf
1177.53/1178.03 c 1130s| 3680k| 3533k| 0 | 0.0 |1271M| 646 | - |1200 |3807 | 0 | 0 | 0 | 621k| 0 | 0.000000e+00 | -- | Inf
1181.82/1182.36 c 1134s| 3690k| 3542k| 0 | 0.0 |1276M| 646 | - |1200 |4599 | 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | -- | Inf
1185.82/1186.30 c 1137s| 3700k| 3551k| 0 | 0.0 |1280M| 646 | - |1200 |4081 | 0 | 0 | 0 | 630k| 0 | 0.000000e+00 | -- | Inf
1189.92/1190.47 c 1142s| 3710k| 3560k| 0 | 0.0 |1285M| 646 | - |1200 |4651 | 0 | 0 | 0 | 635k| 0 | 0.000000e+00 | -- | Inf
1194.03/1194.53 c 1145s| 3720k| 3569k| 0 | 0.0 |1289M| 646 | - |1200 |4478 | 0 | 0 | 0 | 640k| 0 | 0.000000e+00 | -- | Inf
1198.12/1198.66 c 1149s| 3730k| 3577k| 0 | 0.0 |1293M| 646 | - |1200 |4627 | 0 | 0 | 0 | 645k| 0 | 0.000000e+00 | -- | Inf
1202.41/1202.96 c 1154s| 3740k| 3586k| 0 | 0.0 |1297M| 646 | - |1200 |5132 | 0 | 0 | 0 | 650k| 0 | 0.000000e+00 | -- | Inf
1206.71/1207.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1206.71/1207.29 c 1158s| 3750k| 3595k| 0 | 0.0 |1301M| 646 | - |1200 |5009 | 0 | 0 | 0 | 655k| 0 | 0.000000e+00 | -- | Inf
1210.71/1211.29 c 1162s| 3760k| 3604k| 0 | 0.0 |1305M| 646 | - |1200 |4446 | 0 | 0 | 0 | 659k| 0 | 0.000000e+00 | -- | Inf
1215.02/1215.53 c 1166s| 3770k| 3613k| 0 | 0.0 |1309M| 646 | - |1200 |4751 | 0 | 0 | 0 | 663k| 0 | 0.000000e+00 | -- | Inf
1219.10/1219.67 c 1170s| 3780k| 3621k| 0 | 0.0 |1313M| 646 | - |1200 |4834 | 0 | 0 | 0 | 667k| 0 | 0.000000e+00 | -- | Inf
1223.40/1223.94 c 1174s| 3790k| 3630k| 0 | 0.0 |1317M| 646 | - |1200 |4731 | 0 | 0 | 0 | 672k| 0 | 0.000000e+00 | -- | Inf
1227.51/1228.02 c 1178s| 3800k| 3639k| 0 | 0.0 |1321M| 646 | - |1200 |4750 | 0 | 0 | 0 | 676k| 0 | 0.000000e+00 | -- | Inf
1231.20/1231.76 c 1181s| 3810k| 3648k| 0 | 0.0 |1325M| 646 | - |1200 |5022 | 0 | 0 | 0 | 680k| 0 | 0.000000e+00 | -- | Inf
1235.00/1235.56 c 1185s| 3820k| 3657k| 0 | 0.0 |1329M| 646 | - |1200 |5108 | 0 | 0 | 0 | 684k| 0 | 0.000000e+00 | -- | Inf
1238.90/1239.43 c 1189s| 3830k| 3666k| 0 | 0.0 |1333M| 646 | - |1200 |5062 | 0 | 0 | 0 | 688k| 0 | 0.000000e+00 | -- | Inf
1242.80/1243.33 c 1192s| 3840k| 3675k| 0 | 0.0 |1337M| 646 | - |1200 |5418 | 0 | 0 | 0 | 692k| 0 | 0.000000e+00 | -- | Inf
1246.38/1246.92 c 1196s| 3850k| 3683k| 0 | 0.0 |1341M| 646 | - |1200 |5280 | 0 | 0 | 0 | 696k| 0 | 0.000000e+00 | -- | Inf
1250.18/1250.79 c 1199s| 3860k| 3692k| 0 | 0.0 |1345M| 646 | - |1200 |5545 | 0 | 0 | 0 | 700k| 0 | 0.000000e+00 | -- | Inf
1253.87/1254.43 c 1203s| 3870k| 3701k| 0 | 0.0 |1349M| 646 | - |1200 |5242 | 0 | 0 | 0 | 704k| 0 | 0.000000e+00 | -- | Inf
1258.08/1258.61 c 1207s| 3880k| 3710k| 0 | 0.0 |1353M| 646 | - |1200 |5487 | 0 | 0 | 0 | 708k| 0 | 0.000000e+00 | -- | Inf
1262.07/1262.61 c 1211s| 3890k| 3719k| 0 | 0.0 |1357M| 646 | - |1200 |5510 | 0 | 0 | 0 | 713k| 0 | 0.000000e+00 | -- | Inf
1263.57/1264.13 c (node 3892809) switching to memory saving mode (mem: 1296.0M/1620.0M)
1272.17/1272.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1272.17/1272.72 c 1221s| 3900k| 3721k| 0 | 0.0 |1359M| 678 | - |1200 |5804 | 0 | 0 | 0 | 721k| 0 | 0.000000e+00 | -- | Inf
1281.57/1282.11 c 1230s| 3910k| 3721k| 0 | 0.0 |1360M| 678 | - |1200 |6722 | 0 | 0 | 0 | 730k| 0 | 0.000000e+00 | -- | Inf
1290.56/1291.11 c 1238s| 3920k| 3721k| 0 | 0.0 |1359M| 678 | - |1200 |6397 | 0 | 0 | 0 | 739k| 0 | 0.000000e+00 | -- | Inf
1300.15/1300.70 c 1248s| 3930k| 3721k| 0 | 0.0 |1360M| 678 | - |1200 |6795 | 0 | 0 | 0 | 752k| 0 | 0.000000e+00 | -- | Inf
1310.05/1310.64 c 1257s| 3940k| 3721k| 0 | 0.0 |1361M| 678 | - |1200 |7635 | 0 | 0 | 0 | 765k| 0 | 0.000000e+00 | -- | Inf
1320.35/1320.98 c 1267s| 3950k| 3721k| 0 | 0.0 |1361M| 678 | - |1200 |7969 | 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | -- | Inf
1330.84/1331.47 c 1277s| 3960k| 3721k| 0 | 0.0 |1362M| 678 | - |1200 |8500 | 0 | 0 | 0 | 790k| 0 | 0.000000e+00 | -- | Inf
1342.34/1342.98 c 1288s| 3970k| 3721k| 0 | 0.0 |1363M| 678 | - |1200 |9214 | 0 | 0 | 0 | 801k| 0 | 0.000000e+00 | -- | Inf
1353.54/1354.18 c 1299s| 3980k| 3721k| 0 | 0.0 |1363M| 678 | - |1200 |9999 | 0 | 0 | 0 | 812k| 0 | 0.000000e+00 | -- | Inf
1365.33/1365.94 c 1311s| 3990k| 3721k| 0 | 0.0 |1363M| 678 | - |1200 |9091 | 0 | 0 | 0 | 824k| 0 | 0.000000e+00 | -- | Inf
1376.63/1377.22 c 1322s| 4000k| 3721k| 0 | 0.0 |1362M| 678 | - |1200 |8076 | 0 | 0 | 0 | 836k| 0 | 0.000000e+00 | -- | Inf
1387.12/1387.73 c 1332s| 4010k| 3721k| 0 | 0.0 |1362M| 678 | - |1200 |8525 | 0 | 0 | 0 | 846k| 0 | 0.000000e+00 | -- | Inf
1398.21/1398.87 c 1343s| 4020k| 3721k| 0 | 0.0 |1363M| 678 | - |1200 |9337 | 0 | 0 | 0 | 859k| 0 | 0.000000e+00 | -- | Inf
1409.91/1410.56 c 1354s| 4030k| 3721k| 0 | 0.0 |1363M| 678 | - |1200 |9485 | 0 | 0 | 0 | 872k| 0 | 0.000000e+00 | -- | Inf
1422.11/1422.71 c 1366s| 4040k| 3721k| 0 | 0.0 |1363M| 678 | - |1200 |8978 | 0 | 0 | 0 | 883k| 0 | 0.000000e+00 | -- | Inf
1433.81/1434.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1433.81/1434.43 c 1377s| 4050k| 3721k| 0 | 0.0 |1363M| 678 | - |1200 |9153 | 0 | 0 | 0 | 894k| 0 | 0.000000e+00 | -- | Inf
1445.50/1446.17 c 1389s| 4060k| 3721k| 0 | 0.0 |1363M| 678 | - |1200 |9204 | 0 | 0 | 0 | 905k| 0 | 0.000000e+00 | -- | Inf
1456.90/1457.54 c 1400s| 4070k| 3721k| 0 | 0.0 |1363M| 678 | - |1200 |9250 | 0 | 0 | 0 | 917k| 0 | 0.000000e+00 | -- | Inf
1468.79/1469.40 c 1411s| 4080k| 3721k| 0 | 0.0 |1363M| 678 | - |1200 |9584 | 0 | 0 | 0 | 928k| 0 | 0.000000e+00 | -- | Inf
1480.18/1480.82 c 1422s| 4090k| 3721k| 0 | 0.0 |1364M| 678 | - |1200 | 10k| 0 | 0 | 0 | 940k| 0 | 0.000000e+00 | -- | Inf
1493.18/1493.81 c 1435s| 4100k| 3721k| 0 | 0.0 |1365M| 678 | - |1200 | 10k| 0 | 0 | 0 | 953k| 0 | 0.000000e+00 | -- | Inf
1506.58/1507.26 c 1448s| 4110k| 3721k| 0 | 0.0 |1365M| 678 | - |1200 | 10k| 0 | 0 | 0 | 969k| 0 | 0.000000e+00 | -- | Inf
1519.77/1520.46 c 1461s| 4120k| 3721k| 0 | 0.0 |1365M| 678 | - |1200 | 11k| 0 | 0 | 0 | 981k| 0 | 0.000000e+00 | -- | Inf
1533.27/1533.98 c 1474s| 4130k| 3721k| 0 | 0.0 |1366M| 678 | - |1200 | 12k| 0 | 0 | 0 | 993k| 0 | 0.000000e+00 | -- | Inf
1547.66/1548.32 c 1488s| 4140k| 3721k| 0 | 0.0 |1366M| 678 | - |1200 | 12k| 0 | 0 | 0 |1006k| 0 | 0.000000e+00 | -- | Inf
1562.85/1563.59 c 1503s| 4150k| 3721k| 0 | 0.0 |1367M| 678 | - |1200 | 13k| 0 | 0 | 0 |1020k| 0 | 0.000000e+00 | -- | Inf
1579.24/1579.90 c 1519s| 4160k| 3721k| 0 | 0.0 |1367M| 678 | - |1200 | 13k| 0 | 0 | 0 |1034k| 0 | 0.000000e+00 | -- | Inf
1594.13/1594.86 c 1534s| 4170k| 3721k| 0 | 0.0 |1365M| 678 | - |1200 | 10k| 0 | 0 | 0 |1045k| 0 | 0.000000e+00 | -- | Inf
1607.63/1608.33 c 1547s| 4180k| 3721k| 0 | 0.0 |1365M| 678 | - |1200 | 10k| 0 | 0 | 0 |1058k| 0 | 0.000000e+00 | -- | Inf
1621.92/1622.64 c 1561s| 4190k| 3721k| 0 | 0.0 |1366M| 678 | - |1200 | 11k| 0 | 0 | 0 |1073k| 0 | 0.000000e+00 | -- | Inf
1635.42/1636.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1635.42/1636.11 c 1574s| 4200k| 3721k| 0 | 0.0 |1365M| 678 | - |1200 | 10k| 0 | 0 | 0 |1085k| 0 | 0.000000e+00 | -- | Inf
1648.41/1649.11 c 1587s| 4210k| 3721k| 0 | 0.0 |1366M| 678 | - |1200 | 11k| 0 | 0 | 0 |1097k| 0 | 0.000000e+00 | -- | Inf
1662.51/1663.27 c 1601s| 4220k| 3721k| 0 | 0.0 |1365M| 678 | - |1200 | 10k| 0 | 0 | 0 |1108k| 0 | 0.000000e+00 | -- | Inf
1675.51/1676.28 c 1613s| 4230k| 3721k| 0 | 0.0 |1366M| 678 | - |1200 | 11k| 0 | 0 | 0 |1119k| 0 | 0.000000e+00 | -- | Inf
1689.39/1690.14 c 1627s| 4240k| 3721k| 0 | 0.0 |1365M| 678 | - |1200 | 10k| 0 | 0 | 0 |1132k| 0 | 0.000000e+00 | -- | Inf
1703.69/1704.40 c 1641s| 4250k| 3721k| 0 | 0.0 |1366M| 678 | - |1200 | 12k| 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | -- | Inf
1718.49/1719.25 c 1655s| 4260k| 3721k| 0 | 0.0 |1366M| 678 | - |1200 | 12k| 0 | 0 | 0 |1157k| 0 | 0.000000e+00 | -- | Inf
1733.08/1733.86 c 1670s| 4270k| 3721k| 0 | 0.0 |1366M| 678 | - |1200 | 11k| 0 | 0 | 0 |1169k| 0 | 0.000000e+00 | -- | Inf
1747.48/1748.24 c 1684s| 4280k| 3721k| 0 | 0.0 |1365M| 678 | - |1200 | 10k| 0 | 0 | 0 |1183k| 0 | 0.000000e+00 | -- | Inf
1761.27/1762.08 c 1697s| 4290k| 3721k| 0 | 0.0 |1364M| 678 | - |1200 |9559 | 0 | 0 | 0 |1194k| 0 | 0.000000e+00 | -- | Inf
1774.37/1775.14 c 1710s| 4300k| 3721k| 0 | 0.0 |1364M| 678 | - |1200 |9825 | 0 | 0 | 0 |1204k| 0 | 0.000000e+00 | -- | Inf
1788.06/1788.82 c 1723s| 4310k| 3721k| 0 | 0.0 |1365M| 678 | - |1200 | 10k| 0 | 0 | 0 |1215k| 0 | 0.000000e+00 | -- | Inf
1800.06/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.80 c
1800.06/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.80 c Solving Time (sec) : 1734.97
1800.06/1800.80 c Solving Nodes : 4318555
1800.06/1800.80 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.06/1800.80 c Dual Bound : +0.00000000000000e+00
1800.06/1800.80 c Gap : infinite
1800.06/1800.80 s UNKNOWN
1800.06/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.80 c Solving Time : 1734.97
1800.06/1800.80 c Original Problem :
1800.06/1800.80 c Problem name : HOME/instance-2664506-1276324815.opb
1800.06/1800.80 c Variables : 1200 (1200 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.80 c Constraints : 100 initial, 100 maximal
1800.06/1800.80 c Presolved Problem :
1800.06/1800.80 c Problem name : t_HOME/instance-2664506-1276324815.opb
1800.06/1800.80 c Variables : 1200 (1200 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.80 c Constraints : 100 initial, 14027 maximal
1800.06/1800.80 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.80 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.80 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.80 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.80 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.80 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.80 c probing : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.80 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.80 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.80 c root node : - 0 - - 0 - - - -
1800.06/1800.80 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.80 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.80 c setppc : 40 0 6897317 0 4145539 262547 21111279 0 0 0
1800.06/1800.80 c logicor : 60+ 0 3249714 0 4145539 100656 3248076 0 0 0
1800.06/1800.80 c countsols : 0 0 0 0 4145539 0 0 0 0 0
1800.06/1800.80 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.80 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.80 c setppc : 313.49 0.00 181.57 0.00 131.92
1800.06/1800.80 c logicor : 351.37 0.00 238.33 0.00 113.04
1800.06/1800.80 c countsols : 1.83 0.00 0.00 0.00 1.83
1800.06/1800.80 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.80 c vbounds : 3.18 1 0 0
1800.06/1800.80 c rootredcost : 3.49 0 0 0
1800.06/1800.80 c pseudoobj : 3.20 0 0 0
1800.06/1800.80 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.80 c propagation : 163.20 363203 363203 3481200 113.2 4813 96.6 -
1800.06/1800.80 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.80 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.80 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.80 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.80 c applied globally : - - - 1168362 74.0 - - -
1800.06/1800.80 c applied locally : - - - 56261 140.2 - - -
1800.06/1800.80 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.80 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.80 c redcost : 0.00 0 0 0 0 0
1800.06/1800.80 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.80 c intobj : 0.00 0 0 0 0 0
1800.06/1800.81 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.81 c gomory : 0.00 0 0 0 0 0
1800.06/1800.81 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.81 c cmir : 0.00 0 0 0 0 0
1800.06/1800.81 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.81 c clique : 0.00 0 0 0 0 0
1800.06/1800.81 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.81 c mcf : 0.00 0 0 0 0 0
1800.06/1800.81 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.81 c Pricers : Time Calls Vars
1800.06/1800.81 c problem variables: 0.00 0 0
1800.06/1800.81 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.81 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.81 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.81 c inference : 687.25 4145539 0 0 0 0 8291078
1800.06/1800.81 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.81 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.81 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.81 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.81 c random : 0.00 0 0 0 0 0 0
1800.06/1800.81 c Primal Heuristics : Time Calls Found
1800.06/1800.81 c LP solutions : 0.00 - 0
1800.06/1800.81 c pseudo solutions : 0.00 - 0
1800.06/1800.81 c trivial : 0.00 1 0
1800.06/1800.81 c simplerounding : 0.00 0 0
1800.06/1800.81 c zirounding : 0.00 0 0
1800.06/1800.81 c rounding : 0.00 0 0
1800.06/1800.81 c shifting : 0.00 0 0
1800.06/1800.81 c intshifting : 0.00 0 0
1800.06/1800.81 c oneopt : 0.00 0 0
1800.06/1800.81 c twoopt : 0.00 0 0
1800.06/1800.81 c fixandinfer : 0.00 0 0
1800.06/1800.81 c feaspump : 0.00 0 0
1800.06/1800.81 c coefdiving : 0.00 0 0
1800.06/1800.81 c pscostdiving : 0.00 0 0
1800.06/1800.81 c fracdiving : 0.00 0 0
1800.06/1800.81 c veclendiving : 0.00 0 0
1800.06/1800.81 c intdiving : 0.00 0 0
1800.06/1800.81 c actconsdiving : 0.00 0 0
1800.06/1800.81 c objpscostdiving : 0.00 0 0
1800.06/1800.81 c rootsoldiving : 0.00 0 0
1800.06/1800.81 c linesearchdiving : 0.00 0 0
1800.06/1800.81 c guideddiving : 0.00 0 0
1800.06/1800.81 c octane : 0.00 0 0
1800.06/1800.81 c rens : 0.00 0 0
1800.06/1800.81 c rins : 0.00 0 0
1800.06/1800.81 c localbranching : 0.00 0 0
1800.06/1800.81 c mutation : 0.00 0 0
1800.06/1800.81 c crossover : 0.00 0 0
1800.06/1800.81 c dins : 0.00 0 0
1800.06/1800.81 c undercover : 0.00 0 0
1800.06/1800.81 c nlp : 0.00 0 0
1800.06/1800.81 c trysol : 0.00 0 0
1800.06/1800.81 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.81 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.81 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.81 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.81 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.81 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.81 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.81 c (at root node) : - 0 0 0.00 -
1800.06/1800.81 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.81 c B&B Tree :
1800.06/1800.81 c number of runs : 1
1800.06/1800.81 c nodes : 4318555
1800.06/1800.81 c nodes (total) : 4318555
1800.06/1800.81 c nodes left : 3721685
1800.06/1800.81 c max depth : 678
1800.06/1800.81 c max depth (total): 678
1800.06/1800.81 c backtracks : 193988 (4.5%)
1800.06/1800.81 c delayed cutoffs : 250839
1800.06/1800.81 c repropagations : 455039 (9591535 domain reductions, 190187 cutoffs)
1800.06/1800.81 c avg switch length: 4.64
1800.06/1800.81 c switching time : 224.92
1800.06/1800.81 c Solution :
1800.06/1800.81 c Solutions found : 0 (0 improvements)
1800.06/1800.81 c Primal Bound : -
1800.06/1800.81 c Dual Bound : +0.00000000000000e+00
1800.06/1800.81 c Gap : infinite
1800.06/1800.81 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.81 c Root Iterations : 0