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-2664525-1276328213.opb>
0.00/0.01 c original problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 90 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, 40 clqs
0.00/0.03 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 90 upgd conss, 0 impls, 40 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, 40 cliques
0.00/0.03 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 90 constraints
0.00/0.03 c 40 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.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1799.99
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 | - |1838k| 0 | - |1000 | 90 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.39/2.42 c 2.3s| 10000 | 9854 | 0 | 0.0 |5250k| 478 | - |1000 | 159 | 0 | 0 | 0 | 254 | 0 | 0.000000e+00 | -- | Inf
4.78/4.80 c 4.5s| 20000 | 19664 | 0 | 0.0 |8514k| 478 | - |1000 | 410 | 0 | 0 | 0 | 810 | 0 | 0.000000e+00 | -- | Inf
6.99/7.00 c 6.6s| 30000 | 29430 | 0 | 0.0 | 11M| 478 | - |1000 | 553 | 0 | 0 | 0 |1956 | 0 | 0.000000e+00 | -- | Inf
8.99/9.01 c 8.5s| 40000 | 39093 | 0 | 0.0 | 15M| 478 | - |1000 | 872 | 0 | 0 | 0 |3715 | 0 | 0.000000e+00 | -- | Inf
11.38/11.47 c 10.8s| 50000 | 48081 | 0 | 0.0 | 18M| 478 | - |1000 | 792 | 0 | 0 | 0 |7609 | 0 | 0.000000e+00 | -- | Inf
13.99/14.01 c 13.2s| 60000 | 57915 | 0 | 0.0 | 21M| 478 | - |1000 | 399 | 0 | 0 | 0 |8308 | 0 | 0.000000e+00 | -- | Inf
16.49/16.55 c 15.6s| 70000 | 67743 | 0 | 0.0 | 24M| 478 | - |1000 | 423 | 0 | 0 | 0 |9160 | 0 | 0.000000e+00 | -- | Inf
19.08/19.11 c 18.0s| 80000 | 77583 | 0 | 0.0 | 27M| 478 | - |1000 | 432 | 0 | 0 | 0 |9898 | 0 | 0.000000e+00 | -- | Inf
21.58/21.69 c 20.5s| 90000 | 87412 | 0 | 0.0 | 30M| 478 | - |1000 | 293 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
24.19/24.28 c 22.9s|100000 | 97236 | 0 | 0.0 | 33M| 478 | - |1000 | 358 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
26.78/26.83 c 25.4s|110000 |107082 | 0 | 0.0 | 36M| 478 | - |1000 | 410 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
29.28/29.39 c 27.8s|120000 |116918 | 0 | 0.0 | 39M| 478 | - |1000 | 372 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
31.89/31.94 c 30.2s|130000 |126767 | 0 | 0.0 | 42M| 478 | - |1000 | 384 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
34.48/34.50 c 32.6s|140000 |136602 | 0 | 0.0 | 45M| 478 | - |1000 | 394 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
36.97/37.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.97/37.05 c 35.0s|150000 |146441 | 0 | 0.0 | 48M| 478 | - |1000 | 465 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
39.59/39.62 c 37.5s|160000 |156260 | 0 | 0.0 | 51M| 478 | - |1000 | 387 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
42.08/42.18 c 39.9s|170000 |166090 | 0 | 0.0 | 54M| 478 | - |1000 | 477 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
44.67/44.74 c 42.4s|180000 |175927 | 0 | 0.0 | 57M| 478 | - |1000 | 446 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
47.17/47.30 c 44.8s|190000 |185747 | 0 | 0.0 | 60M| 478 | - |1000 | 376 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
49.77/49.86 c 47.3s|200000 |195570 | 0 | 0.0 | 63M| 478 | - |1000 | 369 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
52.37/52.43 c 49.7s|210000 |205361 | 0 | 0.0 | 66M| 478 | - |1000 | 403 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
54.88/54.96 c 52.1s|220000 |215214 | 0 | 0.0 | 69M| 478 | - |1000 | 364 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
57.47/57.51 c 54.5s|230000 |225046 | 0 | 0.0 | 72M| 478 | - |1000 | 474 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
59.96/60.07 c 57.0s|240000 |234872 | 0 | 0.0 | 75M| 478 | - |1000 | 391 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
62.57/62.60 c 59.4s|250000 |244704 | 0 | 0.0 | 78M| 478 | - |1000 | 472 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
65.07/65.13 c 61.8s|260000 |254537 | 0 | 0.0 | 81M| 478 | - |1000 | 508 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
67.57/67.66 c 64.2s|270000 |264368 | 0 | 0.0 | 84M| 478 | - |1000 | 491 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
70.17/70.22 c 66.6s|280000 |274167 | 0 | 0.0 | 87M| 478 | - |1000 | 399 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
72.66/72.73 c 69.0s|290000 |284002 | 0 | 0.0 | 90M| 478 | - |1000 | 501 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
75.16/75.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.16/75.28 c 71.5s|300000 |293821 | 0 | 0.0 | 93M| 478 | - |1000 | 449 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
77.76/77.82 c 73.8s|310000 |303645 | 0 | 0.0 | 96M| 478 | - |1000 | 469 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
80.27/80.37 c 76.3s|320000 |313455 | 0 | 0.0 | 99M| 478 | - |1000 | 482 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
82.86/82.91 c 78.7s|330000 |323267 | 0 | 0.0 | 102M| 478 | - |1000 | 404 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
85.36/85.45 c 81.1s|340000 |333081 | 0 | 0.0 | 105M| 478 | - |1000 | 532 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
87.96/88.01 c 83.5s|350000 |342888 | 0 | 0.0 | 108M| 478 | - |1000 | 431 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
90.45/90.53 c 85.9s|360000 |352715 | 0 | 0.0 | 111M| 478 | - |1000 | 411 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
92.95/93.08 c 88.4s|370000 |362519 | 0 | 0.0 | 114M| 478 | - |1000 | 384 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
95.46/95.59 c 90.8s|380000 |372340 | 0 | 0.0 | 117M| 478 | - |1000 | 419 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
98.05/98.13 c 93.2s|390000 |382123 | 0 | 0.0 | 120M| 478 | - |1000 | 386 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
100.55/100.64 c 95.5s|400000 |391949 | 0 | 0.0 | 123M| 478 | - |1000 | 442 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
103.06/103.16 c 97.9s|410000 |401751 | 0 | 0.0 | 126M| 478 | - |1000 | 540 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
105.66/105.71 c 100s|420000 |411549 | 0 | 0.0 | 129M| 478 | - |1000 | 495 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
108.15/108.25 c 103s|430000 |421354 | 0 | 0.0 | 132M| 478 | - |1000 | 485 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
110.65/110.78 c 105s|440000 |431172 | 0 | 0.0 | 135M| 478 | - |1000 | 510 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
113.25/113.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
113.25/113.32 c 108s|450000 |440996 | 0 | 0.0 | 138M| 478 | - |1000 | 427 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
115.75/115.85 c 110s|460000 |450802 | 0 | 0.0 | 141M| 478 | - |1000 | 426 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
118.25/118.37 c 112s|470000 |460615 | 0 | 0.0 | 144M| 478 | - |1000 | 443 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
120.75/120.88 c 115s|480000 |470432 | 0 | 0.0 | 148M| 478 | - |1000 | 505 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
123.34/123.41 c 117s|490000 |480239 | 0 | 0.0 | 151M| 478 | - |1000 | 465 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
125.85/125.97 c 120s|500000 |490029 | 0 | 0.0 | 154M| 478 | - |1000 | 485 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
128.35/128.49 c 122s|510000 |499829 | 0 | 0.0 | 157M| 478 | - |1000 | 526 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
130.95/131.01 c 124s|520000 |509613 | 0 | 0.0 | 160M| 478 | - |1000 | 536 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
133.44/133.53 c 127s|530000 |519430 | 0 | 0.0 | 163M| 478 | - |1000 | 497 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
135.94/136.02 c 129s|540000 |529245 | 0 | 0.0 | 166M| 478 | - |1000 | 530 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
138.45/138.54 c 132s|550000 |539050 | 0 | 0.0 | 169M| 478 | - |1000 | 573 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
140.94/141.05 c 134s|560000 |548852 | 0 | 0.0 | 172M| 478 | - |1000 | 541 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
143.43/143.57 c 136s|570000 |558667 | 0 | 0.0 | 175M| 478 | - |1000 | 551 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
146.04/146.12 c 139s|580000 |568450 | 0 | 0.0 | 178M| 478 | - |1000 | 503 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
148.54/148.63 c 141s|590000 |578242 | 0 | 0.0 | 181M| 478 | - |1000 | 450 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
151.03/151.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.03/151.15 c 143s|600000 |588052 | 0 | 0.0 | 184M| 478 | - |1000 | 484 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
153.54/153.66 c 146s|610000 |597854 | 0 | 0.0 | 187M| 478 | - |1000 | 508 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
156.14/156.23 c 148s|620000 |607609 | 0 | 0.0 | 190M| 478 | - |1000 | 423 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
158.63/158.75 c 151s|630000 |617411 | 0 | 0.0 | 193M| 478 | - |1000 | 427 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
161.13/161.29 c 153s|640000 |627197 | 0 | 0.0 | 196M| 478 | - |1000 | 373 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
163.73/163.81 c 155s|650000 |636972 | 0 | 0.0 | 199M| 478 | - |1000 | 567 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
166.23/166.33 c 158s|660000 |646753 | 0 | 0.0 | 202M| 478 | - |1000 | 616 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
168.72/168.85 c 160s|670000 |656546 | 0 | 0.0 | 205M| 478 | - |1000 | 592 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
171.22/171.36 c 163s|680000 |666326 | 0 | 0.0 | 208M| 478 | - |1000 | 347 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
173.72/173.86 c 165s|690000 |676121 | 0 | 0.0 | 211M| 478 | - |1000 | 517 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
176.22/176.39 c 167s|700000 |685900 | 0 | 0.0 | 214M| 478 | - |1000 | 532 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
178.72/178.88 c 170s|710000 |695688 | 0 | 0.0 | 217M| 478 | - |1000 | 475 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
181.21/181.38 c 172s|720000 |705489 | 0 | 0.0 | 220M| 478 | - |1000 | 483 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
183.72/183.85 c 175s|730000 |715290 | 0 | 0.0 | 223M| 478 | - |1000 | 474 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
186.21/186.31 c 177s|740000 |725082 | 0 | 0.0 | 226M| 478 | - |1000 | 468 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
188.71/188.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
188.71/188.80 c 179s|750000 |734860 | 0 | 0.0 | 229M| 478 | - |1000 | 535 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
191.22/191.32 c 182s|760000 |744618 | 0 | 0.0 | 232M| 478 | - |1000 | 490 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
193.81/193.90 c 184s|770000 |754374 | 0 | 0.0 | 235M| 478 | - |1000 | 557 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
196.32/196.40 c 187s|780000 |764156 | 0 | 0.0 | 238M| 478 | - |1000 | 434 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
198.71/198.89 c 189s|790000 |773918 | 0 | 0.0 | 241M| 478 | - |1000 | 564 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
201.22/201.38 c 191s|800000 |783719 | 0 | 0.0 | 244M| 478 | - |1000 | 497 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
203.71/203.89 c 194s|810000 |793472 | 0 | 0.0 | 247M| 478 | - |1000 | 530 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
206.21/206.39 c 196s|820000 |803249 | 0 | 0.0 | 250M| 478 | - |1000 | 547 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
208.71/208.85 c 198s|830000 |813043 | 0 | 0.0 | 253M| 478 | - |1000 | 460 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
211.21/211.33 c 201s|840000 |822823 | 0 | 0.0 | 256M| 478 | - |1000 | 536 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
213.71/213.85 c 203s|850000 |832597 | 0 | 0.0 | 259M| 478 | - |1000 | 595 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
216.21/216.34 c 205s|860000 |842388 | 0 | 0.0 | 262M| 478 | - |1000 | 464 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
218.71/218.82 c 208s|870000 |852183 | 0 | 0.0 | 265M| 478 | - |1000 | 594 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
221.21/221.30 c 210s|880000 |861970 | 0 | 0.0 | 268M| 478 | - |1000 | 531 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
223.61/223.78 c 213s|890000 |871733 | 0 | 0.0 | 271M| 478 | - |1000 | 503 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
226.10/226.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
226.10/226.24 c 215s|900000 |881534 | 0 | 0.0 | 274M| 478 | - |1000 | 492 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
228.61/228.71 c 217s|910000 |891313 | 0 | 0.0 | 277M| 478 | - |1000 | 440 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
231.10/231.21 c 220s|920000 |901081 | 0 | 0.0 | 280M| 478 | - |1000 | 374 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
233.60/233.71 c 222s|930000 |910841 | 0 | 0.0 | 283M| 478 | - |1000 | 553 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
236.00/236.19 c 224s|940000 |920612 | 0 | 0.0 | 286M| 478 | - |1000 | 504 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
238.50/238.65 c 227s|950000 |930400 | 0 | 0.0 | 289M| 478 | - |1000 | 525 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
240.90/241.09 c 229s|960000 |940193 | 0 | 0.0 | 293M| 478 | - |1000 | 662 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
243.39/243.57 c 231s|970000 |949981 | 0 | 0.0 | 296M| 478 | - |1000 | 584 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
245.90/246.03 c 234s|980000 |959751 | 0 | 0.0 | 299M| 478 | - |1000 | 531 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
248.40/248.59 c 236s|990000 |969479 | 0 | 0.0 | 302M| 478 | - |1000 | 513 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
250.89/251.03 c 238s| 1000k|979270 | 0 | 0.0 | 305M| 478 | - |1000 | 538 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
253.30/253.50 c 241s| 1010k|989046 | 0 | 0.0 | 308M| 478 | - |1000 | 464 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
255.79/255.96 c 243s| 1020k|998835 | 0 | 0.0 | 311M| 478 | - |1000 | 603 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
258.30/258.46 c 245s| 1030k| 1008k| 0 | 0.0 | 314M| 478 | - |1000 | 517 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
260.79/260.92 c 248s| 1040k| 1018k| 0 | 0.0 | 317M| 478 | - |1000 | 544 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
263.20/263.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
263.20/263.38 c 250s| 1050k| 1028k| 0 | 0.0 | 320M| 478 | - |1000 | 567 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
265.69/265.85 c 252s| 1060k| 1037k| 0 | 0.0 | 323M| 478 | - |1000 | 475 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
268.09/268.29 c 255s| 1070k| 1047k| 0 | 0.0 | 326M| 478 | - |1000 | 590 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
270.59/270.79 c 257s| 1080k| 1057k| 0 | 0.0 | 329M| 478 | - |1000 | 593 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
273.09/273.27 c 260s| 1090k| 1067k| 0 | 0.0 | 332M| 478 | - |1000 | 430 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
275.59/275.74 c 262s| 1100k| 1077k| 0 | 0.0 | 335M| 478 | - |1000 | 569 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
277.99/278.17 c 264s| 1110k| 1086k| 0 | 0.0 | 338M| 478 | - |1000 | 535 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
280.49/280.67 c 267s| 1120k| 1096k| 0 | 0.0 | 341M| 478 | - |1000 | 469 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
282.99/283.14 c 269s| 1130k| 1106k| 0 | 0.0 | 344M| 478 | - |1000 | 546 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
285.49/285.66 c 271s| 1140k| 1116k| 0 | 0.0 | 347M| 478 | - |1000 | 505 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
287.99/288.15 c 274s| 1150k| 1125k| 0 | 0.0 | 350M| 478 | - |1000 | 528 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
290.49/290.62 c 276s| 1160k| 1135k| 0 | 0.0 | 353M| 478 | - |1000 | 566 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
292.98/293.10 c 278s| 1170k| 1145k| 0 | 0.0 | 356M| 478 | - |1000 | 448 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
295.38/295.53 c 281s| 1180k| 1155k| 0 | 0.0 | 359M| 478 | - |1000 | 556 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
297.89/298.02 c 283s| 1190k| 1164k| 0 | 0.0 | 362M| 478 | - |1000 | 506 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
300.28/300.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
300.28/300.46 c 285s| 1200k| 1174k| 0 | 0.0 | 365M| 478 | - |1000 | 442 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
302.78/302.99 c 288s| 1210k| 1184k| 0 | 0.0 | 368M| 478 | - |1000 | 515 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
305.28/305.42 c 290s| 1220k| 1194k| 0 | 0.0 | 371M| 478 | - |1000 | 617 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
307.67/307.86 c 292s| 1230k| 1203k| 0 | 0.0 | 374M| 478 | - |1000 | 615 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
310.18/310.33 c 295s| 1240k| 1213k| 0 | 0.0 | 377M| 478 | - |1000 | 536 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
312.57/312.79 c 297s| 1250k| 1223k| 0 | 0.0 | 380M| 478 | - |1000 | 533 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
315.08/315.24 c 299s| 1260k| 1233k| 0 | 0.0 | 383M| 478 | - |1000 | 434 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
317.58/317.71 c 302s| 1270k| 1242k| 0 | 0.0 | 386M| 478 | - |1000 | 493 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
319.98/320.17 c 304s| 1280k| 1252k| 0 | 0.0 | 389M| 478 | - |1000 | 507 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
322.47/322.63 c 306s| 1290k| 1262k| 0 | 0.0 | 392M| 478 | - |1000 | 434 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
324.87/325.07 c 309s| 1300k| 1272k| 0 | 0.0 | 395M| 478 | - |1000 | 472 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
327.37/327.51 c 311s| 1310k| 1281k| 0 | 0.0 | 398M| 478 | - |1000 | 536 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
329.88/330.01 c 313s| 1320k| 1291k| 0 | 0.0 | 401M| 478 | - |1000 | 506 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
332.27/332.44 c 316s| 1330k| 1301k| 0 | 0.0 | 405M| 478 | - |1000 | 618 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
334.77/334.95 c 318s| 1340k| 1311k| 0 | 0.0 | 408M| 478 | - |1000 | 560 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
337.27/337.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
337.27/337.41 c 320s| 1350k| 1320k| 0 | 0.0 | 411M| 478 | - |1000 | 638 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
339.68/339.90 c 323s| 1360k| 1330k| 0 | 0.0 | 414M| 478 | - |1000 | 501 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
342.06/342.29 c 325s| 1370k| 1340k| 0 | 0.0 | 417M| 478 | - |1000 | 532 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
344.57/344.77 c 327s| 1380k| 1349k| 0 | 0.0 | 420M| 478 | - |1000 | 644 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
346.97/347.18 c 330s| 1390k| 1359k| 0 | 0.0 | 423M| 478 | - |1000 | 556 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
349.47/349.63 c 332s| 1400k| 1369k| 0 | 0.0 | 426M| 478 | - |1000 | 496 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
351.87/352.05 c 334s| 1410k| 1379k| 0 | 0.0 | 429M| 478 | - |1000 | 560 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
354.27/354.50 c 337s| 1420k| 1388k| 0 | 0.0 | 432M| 478 | - |1000 | 529 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
356.76/356.91 c 339s| 1430k| 1398k| 0 | 0.0 | 435M| 478 | - |1000 | 515 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
359.16/359.33 c 341s| 1440k| 1408k| 0 | 0.0 | 438M| 478 | - |1000 | 574 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
361.56/361.78 c 344s| 1450k| 1418k| 0 | 0.0 | 441M| 478 | - |1000 | 518 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
364.06/364.24 c 346s| 1460k| 1427k| 0 | 0.0 | 444M| 478 | - |1000 | 438 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
366.46/366.63 c 348s| 1470k| 1437k| 0 | 0.0 | 447M| 478 | - |1000 | 605 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
368.86/369.09 c 350s| 1480k| 1447k| 0 | 0.0 | 450M| 478 | - |1000 | 547 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
371.35/371.58 c 353s| 1490k| 1457k| 0 | 0.0 | 453M| 478 | - |1000 | 564 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
373.87/374.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
373.87/374.02 c 355s| 1500k| 1466k| 0 | 0.0 | 456M| 478 | - |1000 | 556 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
376.26/376.45 c 357s| 1510k| 1476k| 0 | 0.0 | 459M| 478 | - |1000 | 473 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
378.76/378.94 c 360s| 1520k| 1486k| 0 | 0.0 | 462M| 478 | - |1000 | 544 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
381.15/381.39 c 362s| 1530k| 1495k| 0 | 0.0 | 465M| 478 | - |1000 | 444 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
383.66/383.85 c 364s| 1540k| 1505k| 0 | 0.0 | 468M| 478 | - |1000 | 597 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
386.05/386.26 c 367s| 1550k| 1515k| 0 | 0.0 | 471M| 478 | - |1000 | 560 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
388.55/388.73 c 369s| 1560k| 1525k| 0 | 0.0 | 474M| 478 | - |1000 | 600 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
390.95/391.15 c 371s| 1570k| 1534k| 0 | 0.0 | 477M| 478 | - |1000 | 520 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
393.44/393.63 c 374s| 1580k| 1544k| 0 | 0.0 | 480M| 478 | - |1000 | 551 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
395.85/396.06 c 376s| 1590k| 1554k| 0 | 0.0 | 483M| 478 | - |1000 | 520 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
398.35/398.57 c 378s| 1600k| 1564k| 0 | 0.0 | 486M| 478 | - |1000 | 481 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
400.75/400.96 c 381s| 1610k| 1573k| 0 | 0.0 | 489M| 478 | - |1000 | 488 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
403.25/403.45 c 383s| 1620k| 1583k| 0 | 0.0 | 492M| 478 | - |1000 | 354 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
405.65/405.84 c 385s| 1630k| 1593k| 0 | 0.0 | 495M| 478 | - |1000 | 541 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
408.04/408.28 c 388s| 1640k| 1602k| 0 | 0.0 | 498M| 478 | - |1000 | 391 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
410.54/410.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
410.54/410.71 c 390s| 1650k| 1612k| 0 | 0.0 | 501M| 478 | - |1000 | 527 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
413.04/413.23 c 392s| 1660k| 1622k| 0 | 0.0 | 505M| 478 | - |1000 | 593 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
415.44/415.65 c 395s| 1670k| 1632k| 0 | 0.0 | 508M| 478 | - |1000 | 623 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
417.94/418.13 c 397s| 1680k| 1641k| 0 | 0.0 | 511M| 478 | - |1000 | 495 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
420.34/420.51 c 399s| 1690k| 1651k| 0 | 0.0 | 514M| 478 | - |1000 | 640 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
422.74/422.99 c 402s| 1700k| 1661k| 0 | 0.0 | 517M| 478 | - |1000 | 548 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
425.14/425.37 c 404s| 1710k| 1670k| 0 | 0.0 | 520M| 478 | - |1000 | 569 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
427.64/427.87 c 406s| 1720k| 1680k| 0 | 0.0 | 523M| 478 | - |1000 | 591 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
430.04/430.27 c 408s| 1730k| 1690k| 0 | 0.0 | 526M| 478 | - |1000 | 679 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
432.43/432.69 c 411s| 1740k| 1700k| 0 | 0.0 | 529M| 478 | - |1000 | 568 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
434.93/435.11 c 413s| 1750k| 1709k| 0 | 0.0 | 532M| 478 | - |1000 | 625 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
437.43/437.61 c 415s| 1760k| 1719k| 0 | 0.0 | 535M| 478 | - |1000 | 572 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
439.74/439.99 c 418s| 1770k| 1729k| 0 | 0.0 | 538M| 478 | - |1000 | 697 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
442.23/442.41 c 420s| 1780k| 1738k| 0 | 0.0 | 541M| 478 | - |1000 | 473 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
444.63/444.84 c 422s| 1790k| 1748k| 0 | 0.0 | 544M| 478 | - |1000 | 612 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
447.13/447.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
447.13/447.32 c 425s| 1800k| 1758k| 0 | 0.0 | 547M| 478 | - |1000 | 577 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
449.53/449.78 c 427s| 1810k| 1767k| 0 | 0.0 | 550M| 478 | - |1000 | 598 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
452.13/452.35 c 429s| 1820k| 1777k| 0 | 0.0 | 553M| 478 | - |1000 | 556 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
454.53/454.77 c 432s| 1830k| 1787k| 0 | 0.0 | 556M| 478 | - |1000 | 514 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
457.03/457.24 c 434s| 1840k| 1797k| 0 | 0.0 | 559M| 478 | - |1000 | 408 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
459.42/459.65 c 436s| 1850k| 1806k| 0 | 0.0 | 563M| 478 | - |1000 | 614 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
461.84/462.09 c 439s| 1860k| 1816k| 0 | 0.0 | 565M| 478 | - |1000 | 484 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
464.32/464.50 c 441s| 1870k| 1826k| 0 | 0.0 | 569M| 478 | - |1000 | 624 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
466.72/466.95 c 443s| 1880k| 1835k| 0 | 0.0 | 572M| 478 | - |1000 | 450 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
469.23/469.44 c 446s| 1890k| 1845k| 0 | 0.0 | 575M| 478 | - |1000 | 624 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
471.63/471.85 c 448s| 1900k| 1855k| 0 | 0.0 | 578M| 478 | - |1000 | 524 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
474.12/474.36 c 450s| 1910k| 1864k| 0 | 0.0 | 581M| 478 | - |1000 | 634 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
476.52/476.77 c 453s| 1920k| 1874k| 0 | 0.0 | 584M| 478 | - |1000 | 543 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
479.02/479.24 c 455s| 1930k| 1884k| 0 | 0.0 | 587M| 478 | - |1000 | 617 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
481.32/481.58 c 457s| 1940k| 1894k| 0 | 0.0 | 590M| 478 | - |1000 | 528 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
483.73/484.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
483.73/484.00 c 459s| 1950k| 1903k| 0 | 0.0 | 593M| 478 | - |1000 | 604 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
486.12/486.39 c 462s| 1960k| 1913k| 0 | 0.0 | 596M| 478 | - |1000 | 581 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
488.62/488.87 c 464s| 1970k| 1923k| 0 | 0.0 | 599M| 478 | - |1000 | 623 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
491.01/491.28 c 466s| 1980k| 1932k| 0 | 0.0 | 602M| 478 | - |1000 | 578 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
493.51/493.74 c 469s| 1990k| 1942k| 0 | 0.0 | 605M| 478 | - |1000 | 577 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
495.93/496.13 c 471s| 2000k| 1952k| 0 | 0.0 | 608M| 478 | - |1000 | 618 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
498.41/498.66 c 473s| 2010k| 1961k| 0 | 0.0 | 612M| 478 | - |1000 | 708 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
500.81/501.06 c 476s| 2020k| 1971k| 0 | 0.0 | 615M| 478 | - |1000 | 623 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
503.21/503.48 c 478s| 2030k| 1981k| 0 | 0.0 | 618M| 478 | - |1000 | 651 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
505.61/505.89 c 480s| 2040k| 1991k| 0 | 0.0 | 621M| 478 | - |1000 | 850 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
508.11/508.35 c 483s| 2050k| 2000k| 0 | 0.0 | 624M| 478 | - |1000 | 585 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
510.61/510.81 c 485s| 2060k| 2010k| 0 | 0.0 | 627M| 478 | - |1000 | 673 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
513.01/513.28 c 487s| 2070k| 2020k| 0 | 0.0 | 630M| 478 | - |1000 | 485 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
515.51/515.71 c 489s| 2080k| 2029k| 0 | 0.0 | 633M| 478 | - |1000 | 562 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
517.92/518.15 c 492s| 2090k| 2039k| 0 | 0.0 | 636M| 478 | - |1000 | 581 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
520.31/520.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
520.31/520.56 c 494s| 2100k| 2049k| 0 | 0.0 | 639M| 478 | - |1000 | 663 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
522.70/522.99 c 496s| 2110k| 2058k| 0 | 0.0 | 642M| 478 | - |1000 | 638 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
525.10/525.38 c 499s| 2120k| 2068k| 0 | 0.0 | 645M| 478 | - |1000 | 648 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
527.60/527.87 c 501s| 2130k| 2078k| 0 | 0.0 | 648M| 478 | - |1000 | 526 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
530.10/530.33 c 503s| 2140k| 2087k| 0 | 0.0 | 652M| 478 | - |1000 | 564 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
532.50/532.74 c 506s| 2150k| 2097k| 0 | 0.0 | 655M| 478 | - |1000 | 607 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
534.90/535.18 c 508s| 2160k| 2107k| 0 | 0.0 | 658M| 478 | - |1000 | 560 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
537.40/537.62 c 510s| 2170k| 2116k| 0 | 0.0 | 661M| 478 | - |1000 | 586 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
539.80/540.10 c 513s| 2180k| 2126k| 0 | 0.0 | 664M| 478 | - |1000 | 699 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
542.20/542.44 c 515s| 2190k| 2136k| 0 | 0.0 | 667M| 478 | - |1000 | 531 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
544.70/544.93 c 517s| 2200k| 2145k| 0 | 0.0 | 670M| 478 | - |1000 | 757 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
547.10/547.32 c 519s| 2210k| 2155k| 0 | 0.0 | 673M| 478 | - |1000 | 569 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
549.59/549.83 c 522s| 2220k| 2165k| 0 | 0.0 | 676M| 478 | - |1000 | 594 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
552.01/552.22 c 524s| 2230k| 2174k| 0 | 0.0 | 679M| 478 | - |1000 | 606 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
554.50/554.70 c 526s| 2240k| 2184k| 0 | 0.0 | 683M| 478 | - |1000 | 709 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
556.79/557.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
556.79/557.04 c 529s| 2250k| 2194k| 0 | 0.0 | 686M| 478 | - |1000 | 671 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
559.29/559.50 c 531s| 2260k| 2203k| 0 | 0.0 | 689M| 478 | - |1000 | 691 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
561.69/561.97 c 533s| 2270k| 2213k| 0 | 0.0 | 692M| 478 | - |1000 | 817 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
564.19/564.46 c 536s| 2280k| 2223k| 0 | 0.0 | 695M| 478 | - |1000 | 615 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
566.59/566.81 c 538s| 2290k| 2232k| 0 | 0.0 | 698M| 478 | - |1000 | 658 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
569.09/569.36 c 540s| 2300k| 2242k| 0 | 0.0 | 701M| 478 | - |1000 | 773 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
571.39/571.70 c 542s| 2310k| 2252k| 0 | 0.0 | 704M| 478 | - |1000 | 754 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
574.09/574.31 c 545s| 2320k| 2261k| 0 | 0.0 | 708M| 478 | - |1000 | 655 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
576.39/576.64 c 547s| 2330k| 2271k| 0 | 0.0 | 711M| 478 | - |1000 | 680 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
578.88/579.12 c 550s| 2340k| 2281k| 0 | 0.0 | 714M| 478 | - |1000 | 761 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
581.29/581.53 c 552s| 2350k| 2290k| 0 | 0.0 | 717M| 478 | - |1000 | 646 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
583.79/584.06 c 554s| 2360k| 2300k| 0 | 0.0 | 720M| 478 | - |1000 | 697 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
586.18/586.40 c 556s| 2370k| 2310k| 0 | 0.0 | 723M| 478 | - |1000 | 690 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
588.69/588.95 c 559s| 2380k| 2319k| 0 | 0.0 | 726M| 478 | - |1000 | 674 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
591.08/591.35 c 561s| 2390k| 2329k| 0 | 0.0 | 729M| 478 | - |1000 | 699 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
593.58/593.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
593.58/593.85 c 563s| 2400k| 2338k| 0 | 0.0 | 733M| 478 | - |1000 | 748 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
595.99/596.21 c 566s| 2410k| 2348k| 0 | 0.0 | 736M| 478 | - |1000 | 633 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
598.38/598.69 c 568s| 2420k| 2358k| 0 | 0.0 | 739M| 478 | - |1000 | 638 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
600.78/601.02 c 570s| 2430k| 2367k| 0 | 0.0 | 742M| 478 | - |1000 | 630 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
603.27/603.52 c 573s| 2440k| 2377k| 0 | 0.0 | 745M| 478 | - |1000 | 622 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
605.78/606.02 c 575s| 2450k| 2387k| 0 | 0.0 | 748M| 478 | - |1000 | 632 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
608.28/608.55 c 577s| 2460k| 2396k| 0 | 0.0 | 752M| 478 | - |1000 | 789 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
610.67/610.95 c 580s| 2470k| 2406k| 0 | 0.0 | 755M| 478 | - |1000 | 788 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
613.28/613.54 c 582s| 2480k| 2415k| 0 | 0.0 | 758M| 478 | - |1000 | 814 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
615.79/616.01 c 584s| 2490k| 2425k| 0 | 0.0 | 761M| 478 | - |1000 | 776 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
618.17/618.48 c 587s| 2500k| 2435k| 0 | 0.0 | 764M| 478 | - |1000 | 834 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
620.68/620.90 c 589s| 2510k| 2444k| 0 | 0.0 | 767M| 478 | - |1000 | 830 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
623.17/623.48 c 591s| 2520k| 2454k| 0 | 0.0 | 770M| 478 | - |1000 | 796 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
625.68/625.93 c 594s| 2530k| 2464k| 0 | 0.0 | 774M| 478 | - |1000 | 796 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
628.27/628.50 c 596s| 2540k| 2473k| 0 | 0.0 | 777M| 478 | - |1000 | 834 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
630.57/630.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
630.57/630.87 c 598s| 2550k| 2483k| 0 | 0.0 | 780M| 478 | - |1000 | 665 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
633.06/633.33 c 601s| 2560k| 2492k| 0 | 0.0 | 783M| 478 | - |1000 | 800 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
635.47/635.79 c 603s| 2570k| 2502k| 0 | 0.0 | 786M| 478 | - |1000 | 846 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
638.07/638.33 c 606s| 2580k| 2512k| 0 | 0.0 | 790M| 478 | - |1000 | 868 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
640.47/640.70 c 608s| 2590k| 2521k| 0 | 0.0 | 793M| 478 | - |1000 | 760 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
642.87/643.19 c 610s| 2600k| 2531k| 0 | 0.0 | 796M| 478 | - |1000 | 734 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
645.37/645.68 c 612s| 2610k| 2540k| 0 | 0.0 | 799M| 478 | - |1000 | 732 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
647.86/648.16 c 615s| 2620k| 2550k| 0 | 0.0 | 802M| 478 | - |1000 | 789 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
650.36/650.66 c 617s| 2630k| 2560k| 0 | 0.0 | 805M| 478 | - |1000 | 818 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
652.86/653.11 c 620s| 2640k| 2569k| 0 | 0.0 | 809M| 478 | - |1000 | 833 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
655.27/655.58 c 622s| 2650k| 2579k| 0 | 0.0 | 812M| 478 | - |1000 | 773 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
657.76/658.04 c 624s| 2660k| 2588k| 0 | 0.0 | 815M| 478 | - |1000 | 739 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
660.16/660.44 c 626s| 2670k| 2598k| 0 | 0.0 | 818M| 478 | - |1000 | 799 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
662.66/662.92 c 629s| 2680k| 2608k| 0 | 0.0 | 822M| 478 | - |1000 | 897 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
665.16/665.48 c 631s| 2690k| 2617k| 0 | 0.0 | 825M| 478 | - |1000 | 722 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
667.65/667.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
667.65/667.98 c 634s| 2700k| 2627k| 0 | 0.0 | 828M| 478 | - |1000 | 837 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
670.26/670.51 c 636s| 2710k| 2636k| 0 | 0.0 | 831M| 478 | - |1000 | 890 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
672.75/673.06 c 638s| 2720k| 2646k| 0 | 0.0 | 834M| 478 | - |1000 | 940 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | -- | Inf
675.25/675.57 c 641s| 2730k| 2655k| 0 | 0.0 | 838M| 478 | - |1000 | 927 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
677.66/677.95 c 643s| 2740k| 2665k| 0 | 0.0 | 841M| 478 | - |1000 | 951 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
680.25/680.51 c 646s| 2750k| 2675k| 0 | 0.0 | 844M| 478 | - |1000 | 803 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
682.65/682.92 c 648s| 2760k| 2684k| 0 | 0.0 | 847M| 478 | - |1000 |1051 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
685.26/685.51 c 650s| 2770k| 2694k| 0 | 0.0 | 851M| 478 | - |1000 | 867 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
687.65/687.95 c 653s| 2780k| 2703k| 0 | 0.0 | 854M| 478 | - |1000 | 926 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
690.14/690.45 c 655s| 2790k| 2713k| 0 | 0.0 | 857M| 478 | - |1000 | 714 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
692.55/692.85 c 657s| 2800k| 2723k| 0 | 0.0 | 860M| 478 | - |1000 | 735 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
695.05/695.38 c 660s| 2810k| 2732k| 0 | 0.0 | 863M| 478 | - |1000 | 733 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
697.65/697.91 c 662s| 2820k| 2742k| 0 | 0.0 | 867M| 478 | - |1000 | 818 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
700.14/700.45 c 664s| 2830k| 2751k| 0 | 0.0 | 870M| 478 | - |1000 | 786 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
702.74/703.01 c 667s| 2840k| 2761k| 0 | 0.0 | 873M| 478 | - |1000 | 882 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
705.15/705.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
705.15/705.44 c 669s| 2850k| 2770k| 0 | 0.0 | 877M| 478 | - |1000 | 954 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | -- | Inf
707.65/707.97 c 672s| 2860k| 2780k| 0 | 0.0 | 880M| 478 | - |1000 |1013 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
710.15/710.44 c 674s| 2870k| 2789k| 0 | 0.0 | 883M| 478 | - |1000 |1115 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | -- | Inf
712.84/713.16 c 676s| 2880k| 2799k| 0 | 0.0 | 886M| 478 | - |1000 | 701 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | -- | Inf
715.34/715.60 c 679s| 2890k| 2809k| 0 | 0.0 | 890M| 478 | - |1000 | 960 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf
717.84/718.19 c 681s| 2900k| 2818k| 0 | 0.0 | 893M| 478 | - |1000 | 750 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | -- | Inf
720.44/720.74 c 684s| 2910k| 2828k| 0 | 0.0 | 896M| 478 | - |1000 | 915 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | -- | Inf
722.94/723.27 c 686s| 2920k| 2837k| 0 | 0.0 | 899M| 478 | - |1000 | 986 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
725.74/726.02 c 689s| 2930k| 2847k| 0 | 0.0 | 903M| 478 | - |1000 | 853 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | -- | Inf
728.14/728.44 c 691s| 2940k| 2856k| 0 | 0.0 | 906M| 478 | - |1000 | 983 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
730.84/731.11 c 693s| 2950k| 2866k| 0 | 0.0 | 909M| 478 | - |1000 | 941 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
733.24/733.59 c 696s| 2960k| 2875k| 0 | 0.0 | 913M| 478 | - |1000 | 908 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | -- | Inf
735.84/736.11 c 698s| 2970k| 2885k| 0 | 0.0 | 916M| 478 | - |1000 | 885 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
738.43/738.77 c 701s| 2980k| 2894k| 0 | 0.0 | 919M| 478 | - |1000 | 865 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
741.03/741.32 c 703s| 2990k| 2904k| 0 | 0.0 | 923M| 478 | - |1000 | 934 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
743.53/743.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
743.53/743.81 c 705s| 3000k| 2913k| 0 | 0.0 | 926M| 478 | - |1000 | 975 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | -- | Inf
745.93/746.29 c 708s| 3010k| 2923k| 0 | 0.0 | 929M| 478 | - |1000 | 975 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | -- | Inf
748.63/748.94 c 710s| 3020k| 2932k| 0 | 0.0 | 932M| 478 | - |1000 | 916 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
751.23/751.52 c 713s| 3030k| 2942k| 0 | 0.0 | 936M| 478 | - |1000 |1086 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | -- | Inf
753.83/754.13 c 715s| 3040k| 2951k| 0 | 0.0 | 939M| 478 | - |1000 | 963 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | -- | Inf
756.43/756.73 c 718s| 3050k| 2961k| 0 | 0.0 | 943M| 478 | - |1000 |1069 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | -- | Inf
758.93/759.26 c 720s| 3060k| 2970k| 0 | 0.0 | 946M| 478 | - |1000 | 992 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | -- | Inf
761.62/761.99 c 723s| 3070k| 2980k| 0 | 0.0 | 949M| 478 | - |1000 | 944 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | -- | Inf
764.23/764.56 c 725s| 3080k| 2989k| 0 | 0.0 | 953M| 478 | - |1000 |1178 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | -- | Inf
766.82/767.12 c 728s| 3090k| 2999k| 0 | 0.0 | 956M| 478 | - |1000 |1195 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
769.43/769.75 c 730s| 3100k| 3008k| 0 | 0.0 | 959M| 478 | - |1000 |1092 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | -- | Inf
771.93/772.21 c 732s| 3110k| 3018k| 0 | 0.0 | 963M| 478 | - |1000 |1133 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | -- | Inf
774.52/774.82 c 735s| 3120k| 3027k| 0 | 0.0 | 966M| 478 | - |1000 |1022 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | -- | Inf
776.92/777.28 c 737s| 3130k| 3036k| 0 | 0.0 | 969M| 478 | - |1000 |1183 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
779.63/779.91 c 740s| 3140k| 3046k| 0 | 0.0 | 973M| 478 | - |1000 | 996 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
782.22/782.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
782.22/782.54 c 742s| 3150k| 3055k| 0 | 0.0 | 976M| 478 | - |1000 |1084 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | -- | Inf
784.71/785.05 c 744s| 3160k| 3065k| 0 | 0.0 | 980M| 478 | - |1000 |1259 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
787.33/787.64 c 747s| 3170k| 3074k| 0 | 0.0 | 983M| 478 | - |1000 | 983 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
790.01/790.30 c 749s| 3180k| 3084k| 0 | 0.0 | 986M| 478 | - |1000 |1100 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | -- | Inf
792.51/792.82 c 752s| 3190k| 3093k| 0 | 0.0 | 990M| 478 | - |1000 |1221 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | -- | Inf
795.11/795.44 c 754s| 3200k| 3103k| 0 | 0.0 | 993M| 478 | - |1000 |1107 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | -- | Inf
798.11/798.46 c 757s| 3210k| 3112k| 0 | 0.0 | 997M| 478 | - |1000 |1299 | 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | -- | Inf
801.01/801.33 c 760s| 3220k| 3121k| 0 | 0.0 |1000M| 478 | - |1000 |1246 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | -- | Inf
804.01/804.36 c 763s| 3230k| 3131k| 0 | 0.0 |1003M| 478 | - |1000 |1038 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | -- | Inf
806.71/807.09 c 765s| 3240k| 3140k| 0 | 0.0 |1007M| 478 | - |1000 |1293 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | -- | Inf
809.71/810.00 c 768s| 3250k| 3150k| 0 | 0.0 |1010M| 478 | - |1000 |1194 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | -- | Inf
812.62/812.95 c 771s| 3260k| 3159k| 0 | 0.0 |1014M| 478 | - |1000 |1243 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | -- | Inf
815.51/815.81 c 774s| 3270k| 3168k| 0 | 0.0 |1017M| 478 | - |1000 |1295 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | -- | Inf
818.40/818.76 c 777s| 3280k| 3178k| 0 | 0.0 |1021M| 478 | - |1000 |1261 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | -- | Inf
821.41/821.71 c 779s| 3290k| 3187k| 0 | 0.0 |1024M| 478 | - |1000 |1224 | 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | -- | Inf
824.20/824.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
824.20/824.52 c 782s| 3300k| 3196k| 0 | 0.0 |1028M| 478 | - |1000 |1389 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | -- | Inf
827.00/827.34 c 785s| 3310k| 3206k| 0 | 0.0 |1031M| 478 | - |1000 |1197 | 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | -- | Inf
829.60/829.95 c 787s| 3320k| 3215k| 0 | 0.0 |1034M| 478 | - |1000 |1171 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | -- | Inf
832.31/832.64 c 790s| 3330k| 3224k| 0 | 0.0 |1038M| 478 | - |1000 |1352 | 0 | 0 | 0 | 361k| 0 | 0.000000e+00 | -- | Inf
835.01/835.31 c 792s| 3340k| 3234k| 0 | 0.0 |1041M| 478 | - |1000 |1297 | 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | -- | Inf
837.70/838.05 c 795s| 3350k| 3243k| 0 | 0.0 |1045M| 478 | - |1000 |1162 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | -- | Inf
840.50/840.87 c 798s| 3360k| 3253k| 0 | 0.0 |1048M| 478 | - |1000 |1380 | 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | -- | Inf
843.30/843.61 c 800s| 3370k| 3262k| 0 | 0.0 |1052M| 478 | - |1000 |1270 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | -- | Inf
846.00/846.34 c 803s| 3380k| 3271k| 0 | 0.0 |1055M| 478 | - |1000 |1269 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | -- | Inf
848.69/849.07 c 805s| 3390k| 3280k| 0 | 0.0 |1059M| 478 | - |1000 |1369 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | -- | Inf
851.50/851.81 c 808s| 3400k| 3290k| 0 | 0.0 |1063M| 478 | - |1000 |1534 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | -- | Inf
854.20/854.51 c 810s| 3410k| 3299k| 0 | 0.0 |1066M| 478 | - |1000 |1423 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | -- | Inf
856.89/857.27 c 813s| 3420k| 3308k| 0 | 0.0 |1069M| 478 | - |1000 |1234 | 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | -- | Inf
859.70/860.01 c 816s| 3430k| 3318k| 0 | 0.0 |1073M| 478 | - |1000 |1305 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | -- | Inf
862.40/862.73 c 818s| 3440k| 3327k| 0 | 0.0 |1077M| 478 | - |1000 |1554 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | -- | Inf
865.19/865.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
865.19/865.52 c 821s| 3450k| 3336k| 0 | 0.0 |1080M| 478 | - |1000 |1487 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | -- | Inf
867.99/868.31 c 824s| 3460k| 3345k| 0 | 0.0 |1084M| 478 | - |1000 |1282 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | -- | Inf
870.69/871.06 c 826s| 3470k| 3355k| 0 | 0.0 |1087M| 478 | - |1000 |1456 | 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | -- | Inf
873.49/873.86 c 829s| 3480k| 3364k| 0 | 0.0 |1091M| 478 | - |1000 |1597 | 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | -- | Inf
876.29/876.66 c 831s| 3490k| 3373k| 0 | 0.0 |1095M| 478 | - |1000 |1516 | 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | -- | Inf
879.09/879.44 c 834s| 3500k| 3382k| 0 | 0.0 |1099M| 478 | - |1000 |1488 | 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | -- | Inf
881.89/882.27 c 837s| 3510k| 3392k| 0 | 0.0 |1102M| 478 | - |1000 |1367 | 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | -- | Inf
884.78/885.16 c 840s| 3520k| 3401k| 0 | 0.0 |1106M| 478 | - |1000 |1590 | 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | -- | Inf
887.58/887.92 c 842s| 3530k| 3410k| 0 | 0.0 |1109M| 478 | - |1000 |1758 | 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | -- | Inf
890.49/890.85 c 845s| 3540k| 3419k| 0 | 0.0 |1113M| 478 | - |1000 |1669 | 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | -- | Inf
893.29/893.65 c 848s| 3550k| 3428k| 0 | 0.0 |1117M| 478 | - |1000 |1548 | 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | -- | Inf
896.28/896.66 c 850s| 3560k| 3438k| 0 | 0.0 |1120M| 478 | - |1000 |1503 | 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | -- | Inf
899.39/899.79 c 853s| 3570k| 3447k| 0 | 0.0 |1124M| 478 | - |1000 |1537 | 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | -- | Inf
902.38/902.73 c 856s| 3580k| 3456k| 0 | 0.0 |1128M| 478 | - |1000 |1726 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | -- | Inf
905.28/905.66 c 859s| 3590k| 3465k| 0 | 0.0 |1132M| 478 | - |1000 |1954 | 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | -- | Inf
908.38/908.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
908.38/908.78 c 862s| 3600k| 3474k| 0 | 0.0 |1135M| 478 | - |1000 |1874 | 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | -- | Inf
911.58/911.92 c 865s| 3610k| 3483k| 0 | 0.0 |1139M| 478 | - |1000 |1730 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | -- | Inf
914.67/915.04 c 868s| 3620k| 3492k| 0 | 0.0 |1143M| 478 | - |1000 |1954 | 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | -- | Inf
917.87/918.21 c 871s| 3630k| 3501k| 0 | 0.0 |1146M| 478 | - |1000 |1734 | 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | -- | Inf
920.87/921.21 c 874s| 3640k| 3510k| 0 | 0.0 |1150M| 478 | - |1000 |1685 | 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | -- | Inf
923.97/924.30 c 877s| 3650k| 3519k| 0 | 0.0 |1154M| 478 | - |1000 |1708 | 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | -- | Inf
926.98/927.36 c 880s| 3660k| 3528k| 0 | 0.0 |1158M| 478 | - |1000 |1861 | 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | -- | Inf
930.37/930.70 c 883s| 3670k| 3537k| 0 | 0.0 |1161M| 478 | - |1000 |1894 | 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | -- | Inf
933.37/933.79 c 886s| 3680k| 3546k| 0 | 0.0 |1165M| 478 | - |1000 |1938 | 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | -- | Inf
936.57/936.94 c 889s| 3690k| 3555k| 0 | 0.0 |1169M| 478 | - |1000 |2081 | 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | -- | Inf
939.77/940.16 c 892s| 3700k| 3564k| 0 | 0.0 |1173M| 478 | - |1000 |1821 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | -- | Inf
943.17/943.52 c 895s| 3710k| 3573k| 0 | 0.0 |1177M| 478 | - |1000 |1973 | 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | -- | Inf
946.77/947.11 c 898s| 3720k| 3582k| 0 | 0.0 |1180M| 478 | - |1000 |1992 | 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | -- | Inf
950.07/950.47 c 902s| 3730k| 3591k| 0 | 0.0 |1184M| 478 | - |1000 |2166 | 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | -- | Inf
953.46/953.83 c 905s| 3740k| 3600k| 0 | 0.0 |1188M| 478 | - |1000 |2416 | 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | -- | Inf
956.96/957.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
956.96/957.32 c 908s| 3750k| 3608k| 0 | 0.0 |1192M| 478 | - |1000 |2680 | 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | -- | Inf
960.56/960.94 c 912s| 3760k| 3617k| 0 | 0.0 |1196M| 478 | - |1000 |2620 | 0 | 0 | 0 | 504k| 0 | 0.000000e+00 | -- | Inf
963.96/964.34 c 915s| 3770k| 3626k| 0 | 0.0 |1200M| 478 | - |1000 |2809 | 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | -- | Inf
967.66/968.09 c 918s| 3780k| 3634k| 0 | 0.0 |1204M| 478 | - |1000 |2354 | 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | -- | Inf
971.45/971.87 c 922s| 3790k| 3643k| 0 | 0.0 |1208M| 478 | - |1000 |2960 | 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | -- | Inf
975.26/975.64 c 926s| 3800k| 3652k| 0 | 0.0 |1212M| 478 | - |1000 |2936 | 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | -- | Inf
979.06/979.45 c 929s| 3810k| 3660k| 0 | 0.0 |1216M| 478 | - |1000 |3081 | 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | -- | Inf
982.96/983.33 c 933s| 3820k| 3669k| 0 | 0.0 |1220M| 478 | - |1000 |3162 | 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | -- | Inf
987.05/987.49 c 937s| 3830k| 3677k| 0 | 0.0 |1224M| 478 | - |1000 |3490 | 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | -- | Inf
991.15/991.54 c 941s| 3840k| 3685k| 0 | 0.0 |1228M| 478 | - |1000 |3668 | 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | -- | Inf
995.45/995.85 c 945s| 3850k| 3694k| 0 | 0.0 |1233M| 478 | - |1000 |3980 | 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | -- | Inf
1000.14/1000.59 c 950s| 3860k| 3702k| 0 | 0.0 |1237M| 478 | - |1000 |4263 | 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | -- | Inf
1005.24/1005.62 c 954s| 3870k| 3710k| 0 | 0.0 |1241M| 478 | - |1000 |4447 | 0 | 0 | 0 | 573k| 0 | 0.000000e+00 | -- | Inf
1009.74/1010.12 c 959s| 3880k| 3718k| 0 | 0.0 |1245M| 478 | - |1000 |4612 | 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | -- | Inf
1014.54/1014.98 c 963s| 3890k| 3726k| 0 | 0.0 |1249M| 478 | - |1000 |4585 | 0 | 0 | 0 | 589k| 0 | 0.000000e+00 | -- | Inf
1019.44/1019.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1019.44/1019.83 c 968s| 3900k| 3734k| 0 | 0.0 |1253M| 478 | - |1000 |4439 | 0 | 0 | 0 | 597k| 0 | 0.000000e+00 | -- | Inf
1024.24/1024.65 c 973s| 3910k| 3742k| 0 | 0.0 |1257M| 478 | - |1000 |4463 | 0 | 0 | 0 | 605k| 0 | 0.000000e+00 | -- | Inf
1029.25/1029.64 c 978s| 3920k| 3750k| 0 | 0.0 |1261M| 478 | - |1000 |4583 | 0 | 0 | 0 | 612k| 0 | 0.000000e+00 | -- | Inf
1034.23/1034.65 c 982s| 3930k| 3758k| 0 | 0.0 |1265M| 478 | - |1000 |4561 | 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | -- | Inf
1039.04/1039.41 c 987s| 3940k| 3766k| 0 | 0.0 |1269M| 478 | - |1000 |4214 | 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | -- | Inf
1043.73/1044.19 c 992s| 3950k| 3774k| 0 | 0.0 |1272M| 478 | - |1000 |3828 | 0 | 0 | 0 | 632k| 0 | 0.000000e+00 | -- | Inf
1048.13/1048.51 c 996s| 3960k| 3782k| 0 | 0.0 |1276M| 478 | - |1000 |3722 | 0 | 0 | 0 | 638k| 0 | 0.000000e+00 | -- | Inf
1052.43/1052.83 c 1000s| 3970k| 3790k| 0 | 0.0 |1280M| 478 | - |1000 |3968 | 0 | 0 | 0 | 643k| 0 | 0.000000e+00 | -- | Inf
1057.13/1057.56 c 1004s| 3980k| 3798k| 0 | 0.0 |1284M| 478 | - |1000 |4404 | 0 | 0 | 0 | 650k| 0 | 0.000000e+00 | -- | Inf
1063.13/1063.52 c 1010s| 3990k| 3805k| 0 | 0.0 |1289M| 478 | - |1000 |4948 | 0 | 0 | 0 | 655k| 0 | 0.000000e+00 | -- | Inf
1067.73/1068.15 c 1015s| 4000k| 3814k| 0 | 0.0 |1290M| 479 | - |1000 |1222 | 0 | 0 | 0 | 658k| 0 | 0.000000e+00 | -- | Inf
1070.32/1070.74 c 1017s| 4010k| 3823k| 0 | 0.0 |1293M| 479 | - |1000 | 536 | 0 | 0 | 0 | 659k| 0 | 0.000000e+00 | -- | Inf
1072.82/1073.25 c 1020s| 4020k| 3833k| 0 | 0.0 |1296M| 479 | - |1000 | 482 | 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | -- | Inf
1075.32/1075.75 c 1022s| 4030k| 3843k| 0 | 0.0 |1299M| 479 | - |1000 | 569 | 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | -- | Inf
1077.92/1078.30 c 1024s| 4040k| 3853k| 0 | 0.0 |1302M| 479 | - |1000 | 554 | 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | -- | Inf
1080.41/1080.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1080.41/1080.84 c 1027s| 4050k| 3863k| 0 | 0.0 |1305M| 479 | - |1000 | 503 | 0 | 0 | 0 | 662k| 0 | 0.000000e+00 | -- | Inf
1083.02/1083.47 c 1029s| 4060k| 3872k| 0 | 0.0 |1308M| 479 | - |1000 | 461 | 0 | 0 | 0 | 663k| 0 | 0.000000e+00 | -- | Inf
1085.61/1086.07 c 1032s| 4070k| 3882k| 0 | 0.0 |1311M| 479 | - |1000 | 510 | 0 | 0 | 0 | 664k| 0 | 0.000000e+00 | -- | Inf
1088.21/1088.62 c 1034s| 4080k| 3892k| 0 | 0.0 |1314M| 479 | - |1000 | 459 | 0 | 0 | 0 | 665k| 0 | 0.000000e+00 | -- | Inf
1090.72/1091.12 c 1036s| 4090k| 3902k| 0 | 0.0 |1317M| 479 | - |1000 | 503 | 0 | 0 | 0 | 666k| 0 | 0.000000e+00 | -- | Inf
1093.21/1093.69 c 1039s| 4100k| 3912k| 0 | 0.0 |1321M| 479 | - |1000 | 466 | 0 | 0 | 0 | 667k| 0 | 0.000000e+00 | -- | Inf
1095.81/1096.22 c 1041s| 4110k| 3921k| 0 | 0.0 |1324M| 479 | - |1000 | 440 | 0 | 0 | 0 | 668k| 0 | 0.000000e+00 | -- | Inf
1098.31/1098.76 c 1044s| 4120k| 3931k| 0 | 0.0 |1327M| 479 | - |1000 | 526 | 0 | 0 | 0 | 668k| 0 | 0.000000e+00 | -- | Inf
1100.81/1101.29 c 1046s| 4130k| 3941k| 0 | 0.0 |1330M| 479 | - |1000 | 526 | 0 | 0 | 0 | 669k| 0 | 0.000000e+00 | -- | Inf
1103.41/1103.82 c 1049s| 4140k| 3951k| 0 | 0.0 |1333M| 479 | - |1000 | 451 | 0 | 0 | 0 | 670k| 0 | 0.000000e+00 | -- | Inf
1105.91/1106.30 c 1051s| 4150k| 3961k| 0 | 0.0 |1336M| 479 | - |1000 | 463 | 0 | 0 | 0 | 671k| 0 | 0.000000e+00 | -- | Inf
1108.41/1108.80 c 1053s| 4160k| 3971k| 0 | 0.0 |1339M| 479 | - |1000 | 510 | 0 | 0 | 0 | 672k| 0 | 0.000000e+00 | -- | Inf
1110.91/1111.38 c 1056s| 4170k| 3980k| 0 | 0.0 |1342M| 479 | - |1000 | 450 | 0 | 0 | 0 | 673k| 0 | 0.000000e+00 | -- | Inf
1113.71/1114.10 c 1058s| 4180k| 3990k| 0 | 0.0 |1345M| 479 | - |1000 | 520 | 0 | 0 | 0 | 674k| 0 | 0.000000e+00 | -- | Inf
1116.12/1116.59 c 1061s| 4190k| 4000k| 0 | 0.0 |1348M| 479 | - |1000 | 438 | 0 | 0 | 0 | 675k| 0 | 0.000000e+00 | -- | Inf
1118.80/1119.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1118.80/1119.20 c 1063s| 4200k| 4010k| 0 | 0.0 |1351M| 479 | - |1000 | 526 | 0 | 0 | 0 | 676k| 0 | 0.000000e+00 | -- | Inf
1121.20/1121.67 c 1066s| 4210k| 4020k| 0 | 0.0 |1354M| 479 | - |1000 | 457 | 0 | 0 | 0 | 676k| 0 | 0.000000e+00 | -- | Inf
1123.90/1124.34 c 1068s| 4220k| 4029k| 0 | 0.0 |1357M| 479 | - |1000 | 445 | 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | -- | Inf
1125.00/1125.45 c (node 4224368) switching to memory saving mode (mem: 1296.0M/1620.0M)
1129.31/1129.78 c 1073s| 4230k| 4034k| 0 | 0.0 |1359M| 497 | - |1000 |1167 | 0 | 0 | 0 | 684k| 0 | 0.000000e+00 | -- | Inf
1135.00/1135.47 c 1079s| 4240k| 4034k| 0 | 0.0 |1359M| 497 | - |1000 |1116 | 0 | 0 | 0 | 692k| 0 | 0.000000e+00 | -- | Inf
1140.80/1141.22 c 1084s| 4250k| 4034k| 0 | 0.0 |1359M| 497 | - |1000 | 879 | 0 | 0 | 0 | 699k| 0 | 0.000000e+00 | -- | Inf
1146.60/1147.02 c 1089s| 4260k| 4034k| 0 | 0.0 |1359M| 497 | - |1000 | 847 | 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | -- | Inf
1152.00/1152.40 c 1094s| 4270k| 4034k| 0 | 0.0 |1359M| 497 | - |1000 | 831 | 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | -- | Inf
1157.69/1158.10 c 1100s| 4280k| 4034k| 0 | 0.0 |1359M| 497 | - |1000 | 863 | 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | -- | Inf
1163.19/1163.68 c 1105s| 4290k| 4034k| 0 | 0.0 |1359M| 497 | - |1000 | 998 | 0 | 0 | 0 | 729k| 0 | 0.000000e+00 | -- | Inf
1168.79/1169.22 c 1110s| 4300k| 4034k| 0 | 0.0 |1359M| 497 | - |1000 | 968 | 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | -- | Inf
1174.39/1174.87 c 1116s| 4310k| 4034k| 0 | 0.0 |1359M| 497 | - |1000 | 863 | 0 | 0 | 0 | 745k| 0 | 0.000000e+00 | -- | Inf
1179.79/1180.28 c 1121s| 4320k| 4034k| 0 | 0.0 |1359M| 497 | - |1000 |1052 | 0 | 0 | 0 | 753k| 0 | 0.000000e+00 | -- | Inf
1185.58/1186.06 c 1126s| 4330k| 4034k| 0 | 0.0 |1359M| 497 | - |1000 | 769 | 0 | 0 | 0 | 761k| 0 | 0.000000e+00 | -- | Inf
1191.58/1192.09 c 1132s| 4340k| 4034k| 0 | 0.0 |1359M| 497 | - |1000 |1051 | 0 | 0 | 0 | 768k| 0 | 0.000000e+00 | -- | Inf
1197.49/1197.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1197.49/1197.99 c 1137s| 4350k| 4034k| 0 | 0.0 |1359M| 497 | - |1000 | 796 | 0 | 0 | 0 | 777k| 0 | 0.000000e+00 | -- | Inf
1203.38/1203.81 c 1143s| 4360k| 4034k| 0 | 0.0 |1359M| 497 | - |1000 |1174 | 0 | 0 | 0 | 785k| 0 | 0.000000e+00 | -- | Inf
1209.49/1209.98 c 1149s| 4370k| 4034k| 0 | 0.0 |1359M| 497 | - |1000 |1093 | 0 | 0 | 0 | 793k| 0 | 0.000000e+00 | -- | Inf
1215.18/1215.68 c 1154s| 4380k| 4033k| 0 | 0.0 |1359M| 497 | - |1000 | 934 | 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | -- | Inf
1220.97/1221.44 c 1159s| 4390k| 4033k| 0 | 0.0 |1359M| 497 | - |1000 |1273 | 0 | 0 | 0 | 808k| 0 | 0.000000e+00 | -- | Inf
1226.57/1227.07 c 1165s| 4400k| 4033k| 0 | 0.0 |1359M| 497 | - |1000 | 916 | 0 | 0 | 0 | 816k| 0 | 0.000000e+00 | -- | Inf
1232.47/1232.93 c 1170s| 4410k| 4033k| 0 | 0.0 |1359M| 497 | - |1000 | 962 | 0 | 0 | 0 | 824k| 0 | 0.000000e+00 | -- | Inf
1238.37/1238.89 c 1176s| 4420k| 4033k| 0 | 0.0 |1359M| 497 | - |1000 |1385 | 0 | 0 | 0 | 833k| 0 | 0.000000e+00 | -- | Inf
1244.36/1244.83 c 1181s| 4430k| 4033k| 0 | 0.0 |1359M| 497 | - |1000 | 836 | 0 | 0 | 0 | 841k| 0 | 0.000000e+00 | -- | Inf
1249.87/1250.36 c 1187s| 4440k| 4033k| 0 | 0.0 |1359M| 497 | - |1000 |1032 | 0 | 0 | 0 | 849k| 0 | 0.000000e+00 | -- | Inf
1255.56/1256.00 c 1192s| 4450k| 4033k| 0 | 0.0 |1359M| 497 | - |1000 | 942 | 0 | 0 | 0 | 856k| 0 | 0.000000e+00 | -- | Inf
1261.27/1261.74 c 1197s| 4460k| 4033k| 0 | 0.0 |1359M| 497 | - |1000 | 748 | 0 | 0 | 0 | 864k| 0 | 0.000000e+00 | -- | Inf
1266.86/1267.37 c 1203s| 4470k| 4033k| 0 | 0.0 |1358M| 497 | - |1000 | 678 | 0 | 0 | 0 | 872k| 0 | 0.000000e+00 | -- | Inf
1272.56/1273.07 c 1208s| 4480k| 4033k| 0 | 0.0 |1359M| 497 | - |1000 | 899 | 0 | 0 | 0 | 880k| 0 | 0.000000e+00 | -- | Inf
1278.55/1279.07 c 1214s| 4490k| 4033k| 0 | 0.0 |1359M| 497 | - |1000 | 893 | 0 | 0 | 0 | 888k| 0 | 0.000000e+00 | -- | Inf
1284.55/1285.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1284.55/1285.05 c 1219s| 4500k| 4033k| 0 | 0.0 |1359M| 497 | - |1000 | 787 | 0 | 0 | 0 | 896k| 0 | 0.000000e+00 | -- | Inf
1290.15/1290.69 c 1225s| 4510k| 4033k| 0 | 0.0 |1359M| 497 | - |1000 | 998 | 0 | 0 | 0 | 904k| 0 | 0.000000e+00 | -- | Inf
1295.75/1296.20 c 1230s| 4520k| 4033k| 0 | 0.0 |1359M| 497 | - |1000 | 822 | 0 | 0 | 0 | 912k| 0 | 0.000000e+00 | -- | Inf
1301.35/1301.86 c 1235s| 4530k| 4033k| 0 | 0.0 |1359M| 497 | - |1000 | 851 | 0 | 0 | 0 | 919k| 0 | 0.000000e+00 | -- | Inf
1307.14/1307.64 c 1241s| 4540k| 4033k| 0 | 0.0 |1358M| 497 | - |1000 | 714 | 0 | 0 | 0 | 927k| 0 | 0.000000e+00 | -- | Inf
1312.95/1313.44 c 1246s| 4550k| 4033k| 0 | 0.0 |1358M| 497 | - |1000 | 818 | 0 | 0 | 0 | 936k| 0 | 0.000000e+00 | -- | Inf
1318.64/1319.16 c 1251s| 4560k| 4033k| 0 | 0.0 |1358M| 497 | - |1000 | 779 | 0 | 0 | 0 | 943k| 0 | 0.000000e+00 | -- | Inf
1324.24/1324.71 c 1257s| 4570k| 4033k| 0 | 0.0 |1358M| 497 | - |1000 | 562 | 0 | 0 | 0 | 950k| 0 | 0.000000e+00 | -- | Inf
1329.83/1330.33 c 1262s| 4580k| 4033k| 0 | 0.0 |1359M| 497 | - |1000 |1096 | 0 | 0 | 0 | 958k| 0 | 0.000000e+00 | -- | Inf
1335.94/1336.46 c 1268s| 4590k| 4033k| 0 | 0.0 |1358M| 497 | - |1000 | 856 | 0 | 0 | 0 | 966k| 0 | 0.000000e+00 | -- | Inf
1341.93/1342.48 c 1273s| 4600k| 4033k| 0 | 0.0 |1358M| 497 | - |1000 | 827 | 0 | 0 | 0 | 974k| 0 | 0.000000e+00 | -- | Inf
1348.03/1348.57 c 1279s| 4610k| 4033k| 0 | 0.0 |1358M| 497 | - |1000 | 919 | 0 | 0 | 0 | 982k| 0 | 0.000000e+00 | -- | Inf
1354.02/1354.55 c 1285s| 4620k| 4033k| 0 | 0.0 |1358M| 497 | - |1000 | 863 | 0 | 0 | 0 | 990k| 0 | 0.000000e+00 | -- | Inf
1359.82/1360.34 c 1290s| 4630k| 4032k| 0 | 0.0 |1358M| 497 | - |1000 | 748 | 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | -- | Inf
1365.92/1366.42 c 1296s| 4640k| 4032k| 0 | 0.0 |1358M| 497 | - |1000 | 847 | 0 | 0 | 0 |1004k| 0 | 0.000000e+00 | -- | Inf
1372.52/1373.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1372.52/1373.09 c 1302s| 4650k| 4032k| 0 | 0.0 |1358M| 497 | - |1000 | 840 | 0 | 0 | 0 |1012k| 0 | 0.000000e+00 | -- | Inf
1379.52/1380.07 c 1309s| 4660k| 4032k| 0 | 0.0 |1358M| 497 | - |1000 | 825 | 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | -- | Inf
1386.72/1387.26 c 1316s| 4670k| 4032k| 0 | 0.0 |1358M| 497 | - |1000 | 810 | 0 | 0 | 0 |1026k| 0 | 0.000000e+00 | -- | Inf
1394.22/1394.76 c 1323s| 4680k| 4032k| 0 | 0.0 |1358M| 497 | - |1000 |1031 | 0 | 0 | 0 |1034k| 0 | 0.000000e+00 | -- | Inf
1402.21/1402.74 c 1330s| 4690k| 4031k| 0 | 0.0 |1358M| 497 | - |1000 | 771 | 0 | 0 | 0 |1042k| 0 | 0.000000e+00 | -- | Inf
1409.41/1409.97 c 1337s| 4700k| 4031k| 0 | 0.0 |1358M| 497 | - |1000 | 777 | 0 | 0 | 0 |1049k| 0 | 0.000000e+00 | -- | Inf
1416.70/1417.23 c 1344s| 4710k| 4031k| 0 | 0.0 |1358M| 497 | - |1000 | 868 | 0 | 0 | 0 |1057k| 0 | 0.000000e+00 | -- | Inf
1424.10/1424.63 c 1351s| 4720k| 4031k| 0 | 0.0 |1357M| 497 | - |1000 | 821 | 0 | 0 | 0 |1064k| 0 | 0.000000e+00 | -- | Inf
1431.71/1432.25 c 1359s| 4730k| 4031k| 0 | 0.0 |1358M| 497 | - |1000 | 879 | 0 | 0 | 0 |1072k| 0 | 0.000000e+00 | -- | Inf
1440.30/1440.87 c 1367s| 4740k| 4031k| 0 | 0.0 |1358M| 497 | - |1000 | 939 | 0 | 0 | 0 |1080k| 0 | 0.000000e+00 | -- | Inf
1448.88/1449.40 c 1375s| 4750k| 4031k| 0 | 0.0 |1357M| 497 | - |1000 | 920 | 0 | 0 | 0 |1087k| 0 | 0.000000e+00 | -- | Inf
1456.38/1456.93 c 1382s| 4760k| 4031k| 0 | 0.0 |1357M| 497 | - |1000 | 844 | 0 | 0 | 0 |1096k| 0 | 0.000000e+00 | -- | Inf
1463.88/1464.43 c 1389s| 4770k| 4031k| 0 | 0.0 |1357M| 497 | - |1000 | 997 | 0 | 0 | 0 |1104k| 0 | 0.000000e+00 | -- | Inf
1472.39/1472.96 c 1397s| 4780k| 4031k| 0 | 0.0 |1357M| 497 | - |1000 | 834 | 0 | 0 | 0 |1111k| 0 | 0.000000e+00 | -- | Inf
1480.58/1481.11 c 1405s| 4790k| 4030k| 0 | 0.0 |1357M| 497 | - |1000 | 843 | 0 | 0 | 0 |1119k| 0 | 0.000000e+00 | -- | Inf
1488.27/1488.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1488.27/1488.82 c 1413s| 4800k| 4030k| 0 | 0.0 |1357M| 497 | - |1000 | 708 | 0 | 0 | 0 |1127k| 0 | 0.000000e+00 | -- | Inf
1495.97/1496.58 c 1420s| 4810k| 4030k| 0 | 0.0 |1357M| 497 | - |1000 | 756 | 0 | 0 | 0 |1135k| 0 | 0.000000e+00 | -- | Inf
1503.57/1504.14 c 1427s| 4820k| 4030k| 0 | 0.0 |1357M| 497 | - |1000 | 941 | 0 | 0 | 0 |1143k| 0 | 0.000000e+00 | -- | Inf
1511.37/1511.97 c 1435s| 4830k| 4030k| 0 | 0.0 |1357M| 497 | - |1000 | 843 | 0 | 0 | 0 |1150k| 0 | 0.000000e+00 | -- | Inf
1519.16/1519.76 c 1442s| 4840k| 4030k| 0 | 0.0 |1357M| 497 | - |1000 |1130 | 0 | 0 | 0 |1159k| 0 | 0.000000e+00 | -- | Inf
1527.26/1527.89 c 1450s| 4850k| 4030k| 0 | 0.0 |1357M| 497 | - |1000 | 955 | 0 | 0 | 0 |1167k| 0 | 0.000000e+00 | -- | Inf
1536.46/1537.04 c 1459s| 4860k| 4030k| 0 | 0.0 |1357M| 497 | - |1000 | 991 | 0 | 0 | 0 |1175k| 0 | 0.000000e+00 | -- | Inf
1544.46/1545.04 c 1466s| 4870k| 4030k| 0 | 0.0 |1357M| 497 | - |1000 | 906 | 0 | 0 | 0 |1183k| 0 | 0.000000e+00 | -- | Inf
1552.55/1553.18 c 1474s| 4880k| 4030k| 0 | 0.0 |1357M| 497 | - |1000 |1057 | 0 | 0 | 0 |1190k| 0 | 0.000000e+00 | -- | Inf
1561.35/1561.94 c 1482s| 4890k| 4030k| 0 | 0.0 |1358M| 497 | - |1000 |1404 | 0 | 0 | 0 |1198k| 0 | 0.000000e+00 | -- | Inf
1569.74/1570.36 c 1490s| 4900k| 4030k| 0 | 0.0 |1357M| 497 | - |1000 |1055 | 0 | 0 | 0 |1207k| 0 | 0.000000e+00 | -- | Inf
1577.45/1578.07 c 1498s| 4910k| 4030k| 0 | 0.0 |1357M| 497 | - |1000 |1138 | 0 | 0 | 0 |1215k| 0 | 0.000000e+00 | -- | Inf
1585.24/1585.88 c 1505s| 4920k| 4030k| 0 | 0.0 |1357M| 497 | - |1000 | 937 | 0 | 0 | 0 |1223k| 0 | 0.000000e+00 | -- | Inf
1593.73/1594.32 c 1513s| 4930k| 4030k| 0 | 0.0 |1357M| 497 | - |1000 |1155 | 0 | 0 | 0 |1231k| 0 | 0.000000e+00 | -- | Inf
1601.63/1602.21 c 1521s| 4940k| 4030k| 0 | 0.0 |1357M| 497 | - |1000 |1089 | 0 | 0 | 0 |1239k| 0 | 0.000000e+00 | -- | Inf
1610.53/1611.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1610.53/1611.10 c 1529s| 4950k| 4030k| 0 | 0.0 |1357M| 497 | - |1000 |1175 | 0 | 0 | 0 |1247k| 0 | 0.000000e+00 | -- | Inf
1618.93/1619.52 c 1537s| 4960k| 4030k| 0 | 0.0 |1357M| 497 | - |1000 |1266 | 0 | 0 | 0 |1254k| 0 | 0.000000e+00 | -- | Inf
1627.83/1628.43 c 1546s| 4970k| 4030k| 0 | 0.0 |1357M| 497 | - |1000 |1229 | 0 | 0 | 0 |1261k| 0 | 0.000000e+00 | -- | Inf
1636.62/1637.22 c 1554s| 4980k| 4030k| 0 | 0.0 |1357M| 497 | - |1000 |1314 | 0 | 0 | 0 |1269k| 0 | 0.000000e+00 | -- | Inf
1645.82/1646.40 c 1563s| 4990k| 4030k| 0 | 0.0 |1357M| 497 | - |1000 |1328 | 0 | 0 | 0 |1277k| 0 | 0.000000e+00 | -- | Inf
1654.22/1654.83 c 1571s| 5000k| 4030k| 0 | 0.0 |1357M| 497 | - |1000 |1293 | 0 | 0 | 0 |1284k| 0 | 0.000000e+00 | -- | Inf
1662.91/1663.55 c 1579s| 5010k| 4030k| 0 | 0.0 |1357M| 497 | - |1000 |1294 | 0 | 0 | 0 |1291k| 0 | 0.000000e+00 | -- | Inf
1670.91/1671.53 c 1587s| 5020k| 4029k| 0 | 0.0 |1357M| 497 | - |1000 |1134 | 0 | 0 | 0 |1299k| 0 | 0.000000e+00 | -- | Inf
1678.91/1679.53 c 1595s| 5030k| 4029k| 0 | 0.0 |1357M| 497 | - |1000 |1145 | 0 | 0 | 0 |1306k| 0 | 0.000000e+00 | -- | Inf
1687.70/1688.36 c 1603s| 5040k| 4029k| 0 | 0.0 |1357M| 497 | - |1000 |1128 | 0 | 0 | 0 |1314k| 0 | 0.000000e+00 | -- | Inf
1696.01/1696.63 c 1611s| 5050k| 4029k| 0 | 0.0 |1357M| 497 | - |1000 |1240 | 0 | 0 | 0 |1321k| 0 | 0.000000e+00 | -- | Inf
1704.60/1705.27 c 1619s| 5060k| 4029k| 0 | 0.0 |1357M| 497 | - |1000 |1219 | 0 | 0 | 0 |1328k| 0 | 0.000000e+00 | -- | Inf
1712.80/1713.45 c 1627s| 5070k| 4029k| 0 | 0.0 |1357M| 497 | - |1000 |1143 | 0 | 0 | 0 |1336k| 0 | 0.000000e+00 | -- | Inf
1720.69/1721.33 c 1635s| 5080k| 4029k| 0 | 0.0 |1357M| 497 | - |1000 |1364 | 0 | 0 | 0 |1344k| 0 | 0.000000e+00 | -- | Inf
1729.49/1730.10 c 1643s| 5090k| 4029k| 0 | 0.0 |1357M| 497 | - |1000 |1433 | 0 | 0 | 0 |1352k| 0 | 0.000000e+00 | -- | Inf
1739.28/1739.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1739.28/1739.93 c 1653s| 5100k| 4029k| 0 | 0.0 |1357M| 497 | - |1000 |1396 | 0 | 0 | 0 |1359k| 0 | 0.000000e+00 | -- | Inf
1747.49/1748.11 c 1660s| 5110k| 4029k| 0 | 0.0 |1357M| 497 | - |1000 |1312 | 0 | 0 | 0 |1367k| 0 | 0.000000e+00 | -- | Inf
1756.18/1756.88 c 1669s| 5120k| 4029k| 0 | 0.0 |1357M| 497 | - |1000 |1254 | 0 | 0 | 0 |1374k| 0 | 0.000000e+00 | -- | Inf
1764.38/1765.03 c 1677s| 5130k| 4029k| 0 | 0.0 |1357M| 497 | - |1000 |1524 | 0 | 0 | 0 |1382k| 0 | 0.000000e+00 | -- | Inf
1772.98/1773.67 c 1685s| 5140k| 4029k| 0 | 0.0 |1357M| 497 | - |1000 |1408 | 0 | 0 | 0 |1389k| 0 | 0.000000e+00 | -- | Inf
1781.57/1782.25 c 1693s| 5150k| 4029k| 0 | 0.0 |1357M| 497 | - |1000 |1399 | 0 | 0 | 0 |1396k| 0 | 0.000000e+00 | -- | Inf
1790.47/1791.11 c 1701s| 5160k| 4029k| 0 | 0.0 |1357M| 497 | - |1000 |1388 | 0 | 0 | 0 |1403k| 0 | 0.000000e+00 | -- | Inf
1799.37/1800.07 c 1710s| 5170k| 4029k| 0 | 0.0 |1357M| 497 | - |1000 |1420 | 0 | 0 | 0 |1410k| 0 | 0.000000e+00 | -- | Inf
1800.09/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.71 c
1800.09/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.71 c Solving Time (sec) : 1710.63
1800.09/1800.71 c Solving Nodes : 5170697
1800.09/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.09/1800.71 c Dual Bound : +0.00000000000000e+00
1800.09/1800.71 c Gap : infinite
1800.09/1800.71 s UNKNOWN
1800.09/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.71 c Solving Time : 1710.63
1800.09/1800.71 c Original Problem :
1800.09/1800.71 c Problem name : HOME/instance-2664525-1276328213.opb
1800.09/1800.71 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.71 c Constraints : 90 initial, 90 maximal
1800.09/1800.71 c Presolved Problem :
1800.09/1800.71 c Problem name : t_HOME/instance-2664525-1276328213.opb
1800.09/1800.71 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.71 c Constraints : 90 initial, 5441 maximal
1800.09/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.71 c probing : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.71 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.71 c root node : - 0 - - 0 - - - -
1800.09/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.71 c integral : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.71 c setppc : 40 0 10237796 0 4840144 446023 34006033 0 0 0
1800.09/1800.71 c logicor : 50+ 0 5549600 0 4840142 230117 5792929 0 0 0
1800.09/1800.71 c countsols : 0 0 0 0 4840140 0 0 0 0 0
1800.09/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.71 c integral : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.71 c setppc : 429.80 0.00 303.72 0.00 126.08
1800.09/1800.71 c logicor : 324.19 0.00 220.14 0.00 104.05
1800.09/1800.71 c countsols : 1.94 0.00 0.00 0.00 1.94
1800.09/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.71 c vbounds : 4.91 1 0 0
1800.09/1800.71 c rootredcost : 4.87 0 0 0
1800.09/1800.71 c pseudoobj : 4.43 0 0 0
1800.09/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.71 c propagation : 371.39 676140 676140 5188115 144.7 6753 108.9 -
1800.09/1800.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.09/1800.71 c applied globally : - - - 1112635 69.5 - - -
1800.09/1800.71 c applied locally : - - - 298692 135.4 - - -
1800.09/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.71 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.09/1800.71 c redcost : 0.00 0 0 0 0 0
1800.09/1800.71 c impliedbounds : 0.00 0 0 0 0 0
1800.09/1800.71 c intobj : 0.00 0 0 0 0 0
1800.09/1800.71 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.71 c gomory : 0.00 0 0 0 0 0
1800.09/1800.71 c strongcg : 0.00 0 0 0 0 0
1800.09/1800.71 c cmir : 0.00 0 0 0 0 0
1800.09/1800.71 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.71 c clique : 0.00 0 0 0 0 0
1800.09/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.71 c mcf : 0.00 0 0 0 0 0
1800.09/1800.71 c rapidlearning : 0.00 0 0 0 0 0
1800.09/1800.71 c Pricers : Time Calls Vars
1800.09/1800.71 c problem variables: 0.00 0 0
1800.09/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.71 c relpscost : 0.00 0 0 0 0 0 0
1800.09/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.71 c inference : 602.24 4840140 0 0 0 0 9680280
1800.09/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.71 c random : 0.00 0 0 0 0 0 0
1800.09/1800.71 c Primal Heuristics : Time Calls Found
1800.09/1800.71 c LP solutions : 0.00 - 0
1800.09/1800.71 c pseudo solutions : 0.00 - 0
1800.09/1800.71 c trivial : 0.00 1 0
1800.09/1800.71 c simplerounding : 0.00 0 0
1800.09/1800.71 c zirounding : 0.00 0 0
1800.09/1800.71 c rounding : 0.00 0 0
1800.09/1800.71 c shifting : 0.00 0 0
1800.09/1800.71 c intshifting : 0.00 0 0
1800.09/1800.71 c oneopt : 0.00 0 0
1800.09/1800.71 c twoopt : 0.00 0 0
1800.09/1800.71 c fixandinfer : 0.00 0 0
1800.09/1800.71 c feaspump : 0.00 0 0
1800.09/1800.71 c coefdiving : 0.00 0 0
1800.09/1800.71 c pscostdiving : 0.00 0 0
1800.09/1800.71 c fracdiving : 0.00 0 0
1800.09/1800.71 c veclendiving : 0.00 0 0
1800.09/1800.71 c intdiving : 0.00 0 0
1800.09/1800.71 c actconsdiving : 0.00 0 0
1800.09/1800.71 c objpscostdiving : 0.00 0 0
1800.09/1800.71 c rootsoldiving : 0.00 0 0
1800.09/1800.71 c linesearchdiving : 0.00 0 0
1800.09/1800.71 c guideddiving : 0.00 0 0
1800.09/1800.71 c octane : 0.00 0 0
1800.09/1800.71 c rens : 0.00 0 0
1800.09/1800.71 c rins : 0.00 0 0
1800.09/1800.71 c localbranching : 0.00 0 0
1800.09/1800.71 c mutation : 0.00 0 0
1800.09/1800.71 c crossover : 0.00 0 0
1800.09/1800.71 c dins : 0.00 0 0
1800.09/1800.71 c undercover : 0.00 0 0
1800.09/1800.71 c nlp : 0.00 0 0
1800.09/1800.71 c trysol : 0.00 0 0
1800.09/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.71 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.71 c dual LP : 0.00 0 0 0.00 -
1800.09/1800.71 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.71 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.71 c strong branching : 0.00 0 0 0.00 -
1800.09/1800.71 c (at root node) : - 0 0 0.00 -
1800.09/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.71 c B&B Tree :
1800.09/1800.71 c number of runs : 1
1800.09/1800.72 c nodes : 5170697
1800.09/1800.72 c nodes (total) : 5170697
1800.09/1800.72 c nodes left : 4029626
1800.09/1800.72 c max depth : 497
1800.09/1800.72 c max depth (total): 497
1800.09/1800.72 c backtracks : 353607 (6.8%)
1800.09/1800.72 c delayed cutoffs : 479958
1800.09/1800.72 c repropagations : 918146 (18667175 domain reductions, 345583 cutoffs)
1800.09/1800.72 c avg switch length: 4.72
1800.09/1800.72 c switching time : 187.25
1800.09/1800.72 c Solution :
1800.09/1800.72 c Solutions found : 0 (0 improvements)
1800.09/1800.72 c Primal Bound : -
1800.09/1800.72 c Dual Bound : +0.00000000000000e+00
1800.09/1800.72 c Gap : infinite
1800.09/1800.72 c Root Dual Bound : +0.00000000000000e+00
1800.09/1800.72 c Root Iterations : 0