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-2664509-1276325918.opb>
0.00/0.02 c original problem has 2400 variables (2400 bin, 0 int, 0 impl, 0 cont) and 140 constraints
0.00/0.02 c problem read
0.00/0.02 c No objective function, only one solution is needed.
0.00/0.02 c presolving settings loaded
0.00/0.02 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.04 c presolving:
0.00/0.06 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 80 upgd conss, 0 impls, 60 clqs
0.00/0.06 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 140 upgd conss, 0 impls, 60 clqs
0.00/0.07 c presolving (3 rounds):
0.00/0.07 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.07 c 0 implications, 60 cliques
0.00/0.07 c presolved problem has 2400 variables (2400 bin, 0 int, 0 impl, 0 cont) and 140 constraints
0.00/0.07 c 60 constraints of type <setppc>
0.00/0.07 c 80 constraints of type <logicor>
0.00/0.07 c transformed objective value is always integral (scale: 1)
0.00/0.07 c Presolving Time: 0.02
0.00/0.07 c - non default parameters ----------------------------------------------------------------------
0.00/0.07 c # SCIP version 1.2.1.2
0.00/0.07 c
0.00/0.07 c # frequency for displaying node information lines
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.07 c display/freq = 10000
0.00/0.07 c
0.00/0.07 c # maximal time in seconds to run
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.07 c limits/time = 1799.99
0.00/0.07 c
0.00/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.07 c limits/memory = 1620
0.00/0.07 c
0.00/0.07 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.07 c limits/solutions = 1
0.00/0.07 c
0.00/0.07 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.07 c lp/solvefreq = -1
0.00/0.07 c
0.00/0.07 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.07 c separating/maxrounds = 1
0.00/0.07 c
0.00/0.07 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.07 c separating/maxroundsroot = 5
0.00/0.07 c
0.00/0.07 c # should presolving try to simplify inequalities
0.00/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.07 c constraints/linear/simplifyinequalities = TRUE
0.00/0.07 c
0.00/0.07 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.07 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.07 c constraints/knapsack/disaggregation = FALSE
0.00/0.07 c
0.00/0.07 c # should presolving try to simplify knapsacks
0.00/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.07 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.07 c
0.00/0.07 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.07 c presolving/probing/maxrounds = 0
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.07 c heuristics/coefdiving/freq = -1
0.00/0.07 c
0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.07 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.07 c
0.00/0.07 c # additional number of allowed LP iterations
0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.07 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.07 c heuristics/crossover/freq = -1
0.00/0.07 c
0.00/0.07 c # number of nodes added to the contingent of the total nodes
0.00/0.07 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.07 c heuristics/crossover/nodesofs = 750
0.00/0.07 c
0.00/0.07 c # number of nodes without incumbent change that heuristic should wait
0.00/0.07 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.07 c heuristics/crossover/nwaitingnodes = 100
0.00/0.07 c
0.00/0.07 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.07 c # [type: real, range: [0,1], default: 0.1]
0.00/0.07 c heuristics/crossover/nodesquot = 0.15
0.00/0.07 c
0.00/0.07 c # minimum percentage of integer variables that have to be fixed
0.00/0.07 c # [type: real, range: [0,1], default: 0.666]
0.00/0.07 c heuristics/crossover/minfixingrate = 0.5
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.07 c heuristics/feaspump/freq = -1
0.00/0.07 c
0.00/0.07 c # additional number of allowed LP iterations
0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.07 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.07 c heuristics/fracdiving/freq = -1
0.00/0.07 c
0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.07 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.07 c
0.00/0.07 c # additional number of allowed LP iterations
0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.07 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.07 c heuristics/guideddiving/freq = -1
0.00/0.07 c
0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.07 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.07 c
0.00/0.07 c # additional number of allowed LP iterations
0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.07 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.07 c
0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.07 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.07 c heuristics/intshifting/freq = -1
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.07 c heuristics/linesearchdiving/freq = -1
0.00/0.07 c
0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.07 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.07 c
0.00/0.07 c # additional number of allowed LP iterations
0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.07 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.07 c heuristics/nlp/freq = -1
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.07 c heuristics/objpscostdiving/freq = -1
0.00/0.07 c
0.00/0.07 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.07 c # [type: real, range: [0,1], default: 0.01]
0.00/0.07 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.07 c
0.00/0.07 c # additional number of allowed LP iterations
0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.07 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.07 c heuristics/oneopt/freq = -1
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.07 c heuristics/pscostdiving/freq = -1
0.00/0.07 c
0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.07 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.07 c
0.00/0.07 c # additional number of allowed LP iterations
0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.07 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.07 c heuristics/rens/freq = -1
0.00/0.07 c
0.00/0.07 c # minimum percentage of integer variables that have to be fixable
0.00/0.07 c # [type: real, range: [0,1], default: 0.5]
0.00/0.07 c heuristics/rens/minfixingrate = 0.3
0.00/0.07 c
0.00/0.07 c # number of nodes added to the contingent of the total nodes
0.00/0.07 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.07 c heuristics/rens/nodesofs = 2000
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.07 c heuristics/rootsoldiving/freq = -1
0.00/0.07 c
0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.07 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.07 c
0.00/0.07 c # additional number of allowed LP iterations
0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.07 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.07 c heuristics/rounding/freq = -1
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.07 c heuristics/shifting/freq = -1
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.07 c heuristics/simplerounding/freq = -1
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.07 c heuristics/trivial/freq = -1
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.07 c heuristics/trysol/freq = -1
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.07 c heuristics/veclendiving/freq = -1
0.00/0.07 c
0.00/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.07 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.07 c
0.00/0.07 c # additional number of allowed LP iterations
0.00/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.07 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.07 c
0.00/0.07 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.07 c heuristics/zirounding/freq = -1
0.00/0.07 c
0.00/0.07 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.07 c separating/cmir/freq = -1
0.00/0.07 c
0.00/0.07 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.07 c separating/flowcover/freq = -1
0.00/0.07 c
0.00/0.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.07 c separating/rapidlearning/freq = 0
0.00/0.07 c
0.00/0.07 c -----------------------------------------------------------------------------------------------
0.00/0.07 c start solving
0.00/0.07 c
0.00/0.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.07 c 0.0s| 1 | 2 | 0 | - |4236k| 0 | - |2400 | 140 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
6.50/6.54 c 6.4s| 10000 | 9952 | 0 | 0.0 |8232k|1369 | - |2400 | 325 | 0 | 0 | 0 | 221 | 0 | 0.000000e+00 | -- | Inf
14.08/14.15 c 13.8s| 20000 | 19903 | 0 | 0.0 | 11M|1369 | - |2400 | 283 | 0 | 0 | 0 | 404 | 0 | 0.000000e+00 | -- | Inf
21.59/21.65 c 21.2s| 30000 | 29832 | 0 | 0.0 | 14M|1369 | - |2400 | 267 | 0 | 0 | 0 | 550 | 0 | 0.000000e+00 | -- | Inf
29.19/29.23 c 28.7s| 40000 | 39745 | 0 | 0.0 | 17M|1369 | - |2400 | 333 | 0 | 0 | 0 | 878 | 0 | 0.000000e+00 | -- | Inf
36.68/36.72 c 36.0s| 50000 | 49675 | 0 | 0.0 | 20M|1369 | - |2400 | 345 | 0 | 0 | 0 |1152 | 0 | 0.000000e+00 | -- | Inf
43.89/43.96 c 43.1s| 60000 | 59596 | 0 | 0.0 | 23M|1369 | - |2400 | 440 | 0 | 0 | 0 |1526 | 0 | 0.000000e+00 | -- | Inf
51.08/51.12 c 50.1s| 70000 | 69523 | 0 | 0.0 | 26M|1369 | - |2400 | 491 | 0 | 0 | 0 |1934 | 0 | 0.000000e+00 | -- | Inf
58.07/58.11 c 57.0s| 80000 | 79428 | 0 | 0.0 | 30M|1369 | - |2400 | 626 | 0 | 0 | 0 |2396 | 0 | 0.000000e+00 | -- | Inf
64.88/64.94 c 63.7s| 90000 | 89316 | 0 | 0.0 | 33M|1369 | - |2400 | 741 | 0 | 0 | 0 |2993 | 0 | 0.000000e+00 | -- | Inf
71.57/71.63 c 70.3s|100000 | 99187 | 0 | 0.0 | 36M|1369 | - |2400 | 843 | 0 | 0 | 0 |3622 | 0 | 0.000000e+00 | -- | Inf
77.97/78.09 c 76.6s|110000 |109075 | 0 | 0.0 | 40M|1369 | - |2400 |1018 | 0 | 0 | 0 |4216 | 0 | 0.000000e+00 | -- | Inf
84.27/84.30 c 82.7s|120000 |118935 | 0 | 0.0 | 43M|1369 | - |2400 |1180 | 0 | 0 | 0 |5003 | 0 | 0.000000e+00 | -- | Inf
90.17/90.28 c 88.5s|130000 |128790 | 0 | 0.0 | 47M|1369 | - |2400 |1335 | 0 | 0 | 0 |5917 | 0 | 0.000000e+00 | -- | Inf
95.97/96.00 c 94.1s|140000 |138634 | 0 | 0.0 | 50M|1369 | - |2400 |1561 | 0 | 0 | 0 |6821 | 0 | 0.000000e+00 | -- | Inf
101.46/101.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
101.46/101.58 c 99.6s|150000 |148442 | 0 | 0.0 | 54M|1369 | - |2400 |1716 | 0 | 0 | 0 |7978 | 0 | 0.000000e+00 | -- | Inf
106.86/106.96 c 105s|160000 |158210 | 0 | 0.0 | 58M|1369 | - |2400 |2115 | 0 | 0 | 0 |9366 | 0 | 0.000000e+00 | -- | Inf
111.96/112.04 c 110s|170000 |167921 | 0 | 0.0 | 62M|1369 | - |2400 |2447 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
116.66/116.77 c 114s|180000 |177612 | 0 | 0.0 | 66M|1369 | - |2400 |2580 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
121.15/121.29 c 119s|190000 |187164 | 0 | 0.0 | 71M|1369 | - |2400 |3172 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
125.36/125.42 c 123s|200000 |196617 | 0 | 0.0 | 75M|1369 | - |2400 |3316 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
131.96/132.06 c 129s|210000 |206202 | 0 | 0.0 | 76M|1369 | - |2400 |1556 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
139.25/139.39 c 136s|220000 |216141 | 0 | 0.0 | 78M|1369 | - |2400 | 319 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
146.84/146.90 c 144s|230000 |226077 | 0 | 0.0 | 81M|1369 | - |2400 | 307 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
154.34/154.44 c 151s|240000 |236002 | 0 | 0.0 | 84M|1369 | - |2400 | 367 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
161.94/162.01 c 159s|250000 |245927 | 0 | 0.0 | 87M|1369 | - |2400 | 293 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
169.53/169.63 c 166s|260000 |255854 | 0 | 0.0 | 90M|1369 | - |2400 | 377 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
177.14/177.24 c 174s|270000 |265774 | 0 | 0.0 | 93M|1369 | - |2400 | 344 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
184.73/184.81 c 181s|280000 |275686 | 0 | 0.0 | 96M|1369 | - |2400 | 407 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
192.33/192.41 c 189s|290000 |285604 | 0 | 0.0 | 99M|1369 | - |2400 | 331 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
199.93/200.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
199.93/200.02 c 196s|300000 |295524 | 0 | 0.0 | 102M|1369 | - |2400 | 292 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
207.42/207.58 c 203s|310000 |305447 | 0 | 0.0 | 105M|1369 | - |2400 | 373 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
215.02/215.15 c 211s|320000 |315369 | 0 | 0.0 | 108M|1369 | - |2400 | 365 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
222.52/222.62 c 218s|330000 |325299 | 0 | 0.0 | 111M|1369 | - |2400 | 384 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
230.02/230.16 c 226s|340000 |335240 | 0 | 0.0 | 114M|1369 | - |2400 | 323 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
237.62/237.72 c 233s|350000 |345161 | 0 | 0.0 | 117M|1369 | - |2400 | 411 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
245.12/245.29 c 241s|360000 |355086 | 0 | 0.0 | 120M|1369 | - |2400 | 367 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
252.71/252.84 c 248s|370000 |365023 | 0 | 0.0 | 123M|1369 | - |2400 | 308 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
260.41/260.51 c 256s|380000 |374940 | 0 | 0.0 | 126M|1369 | - |2400 | 317 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
268.01/268.11 c 263s|390000 |384873 | 0 | 0.0 | 129M|1369 | - |2400 | 369 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
275.51/275.66 c 270s|400000 |394811 | 0 | 0.0 | 132M|1369 | - |2400 | 350 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
283.20/283.33 c 278s|410000 |404737 | 0 | 0.0 | 135M|1369 | - |2400 | 339 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
290.80/290.97 c 285s|420000 |414671 | 0 | 0.0 | 138M|1369 | - |2400 | 380 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
298.40/298.53 c 293s|430000 |424602 | 0 | 0.0 | 141M|1369 | - |2400 | 408 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
306.10/306.22 c 300s|440000 |434524 | 0 | 0.0 | 144M|1369 | - |2400 | 371 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
313.70/313.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
313.70/313.86 c 308s|450000 |444453 | 0 | 0.0 | 147M|1369 | - |2400 | 339 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
321.40/321.53 c 316s|460000 |454374 | 0 | 0.0 | 150M|1369 | - |2400 | 310 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
328.99/329.15 c 323s|470000 |464303 | 0 | 0.0 | 153M|1369 | - |2400 | 345 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
336.69/336.82 c 331s|480000 |474211 | 0 | 0.0 | 156M|1369 | - |2400 | 465 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
344.28/344.45 c 338s|490000 |484127 | 0 | 0.0 | 159M|1369 | - |2400 | 323 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
351.99/352.10 c 346s|500000 |494048 | 0 | 0.0 | 162M|1369 | - |2400 | 319 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
359.59/359.72 c 353s|510000 |503957 | 0 | 0.0 | 165M|1369 | - |2400 | 371 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
367.19/367.31 c 361s|520000 |513882 | 0 | 0.0 | 168M|1369 | - |2400 | 343 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
374.78/374.95 c 368s|530000 |523807 | 0 | 0.0 | 171M|1369 | - |2400 | 375 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
382.37/382.55 c 376s|540000 |533738 | 0 | 0.0 | 174M|1369 | - |2400 | 370 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
389.98/390.15 c 383s|550000 |543660 | 0 | 0.0 | 177M|1369 | - |2400 | 376 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
397.67/397.83 c 391s|560000 |553585 | 0 | 0.0 | 180M|1369 | - |2400 | 291 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
405.27/405.41 c 398s|570000 |563492 | 0 | 0.0 | 183M|1369 | - |2400 | 435 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
412.87/413.01 c 405s|580000 |573425 | 0 | 0.0 | 186M|1369 | - |2400 | 339 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
420.37/420.54 c 413s|590000 |583350 | 0 | 0.0 | 189M|1369 | - |2400 | 374 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
427.97/428.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
427.97/428.14 c 420s|600000 |593277 | 0 | 0.0 | 192M|1369 | - |2400 | 388 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
435.47/435.67 c 428s|610000 |603189 | 0 | 0.0 | 195M|1369 | - |2400 | 367 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
443.07/443.27 c 435s|620000 |613112 | 0 | 0.0 | 198M|1369 | - |2400 | 338 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
450.55/450.78 c 443s|630000 |623037 | 0 | 0.0 | 201M|1369 | - |2400 | 403 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
458.15/458.35 c 450s|640000 |632973 | 0 | 0.0 | 204M|1369 | - |2400 | 416 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
465.65/465.84 c 457s|650000 |642900 | 0 | 0.0 | 207M|1369 | - |2400 | 379 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
473.25/473.43 c 465s|660000 |652820 | 0 | 0.0 | 210M|1369 | - |2400 | 358 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
480.75/480.95 c 472s|670000 |662749 | 0 | 0.0 | 213M|1369 | - |2400 | 426 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
488.26/488.48 c 480s|680000 |672681 | 0 | 0.0 | 216M|1369 | - |2400 | 391 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
495.74/495.97 c 487s|690000 |682599 | 0 | 0.0 | 219M|1369 | - |2400 | 448 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
503.35/503.51 c 494s|700000 |692510 | 0 | 0.0 | 222M|1369 | - |2400 | 406 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
510.94/511.12 c 502s|710000 |702434 | 0 | 0.0 | 225M|1369 | - |2400 | 303 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
518.44/518.65 c 509s|720000 |712344 | 0 | 0.0 | 228M|1369 | - |2400 | 399 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
526.04/526.22 c 517s|730000 |722272 | 0 | 0.0 | 231M|1369 | - |2400 | 356 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
533.54/533.75 c 524s|740000 |732206 | 0 | 0.0 | 234M|1369 | - |2400 | 410 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
541.13/541.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
541.13/541.33 c 532s|750000 |742133 | 0 | 0.0 | 237M|1369 | - |2400 | 387 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
548.74/548.96 c 539s|760000 |752050 | 0 | 0.0 | 240M|1369 | - |2400 | 329 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
556.34/556.58 c 547s|770000 |761957 | 0 | 0.0 | 243M|1369 | - |2400 | 308 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
564.03/564.20 c 554s|780000 |771869 | 0 | 0.0 | 246M|1369 | - |2400 | 343 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
571.52/571.73 c 562s|790000 |781806 | 0 | 0.0 | 248M|1369 | - |2400 | 336 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
579.13/579.30 c 569s|800000 |791732 | 0 | 0.0 | 252M|1369 | - |2400 | 379 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
586.62/586.86 c 576s|810000 |801666 | 0 | 0.0 | 255M|1369 | - |2400 | 388 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
594.22/594.41 c 584s|820000 |811584 | 0 | 0.0 | 258M|1369 | - |2400 | 402 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
601.71/601.98 c 591s|830000 |821507 | 0 | 0.0 | 261M|1369 | - |2400 | 371 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
609.31/609.52 c 599s|840000 |831434 | 0 | 0.0 | 264M|1369 | - |2400 | 386 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
616.82/617.05 c 606s|850000 |841355 | 0 | 0.0 | 267M|1369 | - |2400 | 361 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
624.41/624.60 c 613s|860000 |851273 | 0 | 0.0 | 270M|1369 | - |2400 | 399 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
631.91/632.17 c 621s|870000 |861181 | 0 | 0.0 | 273M|1369 | - |2400 | 305 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
639.41/639.70 c 628s|880000 |871097 | 0 | 0.0 | 276M|1369 | - |2400 | 349 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
647.01/647.24 c 636s|890000 |881010 | 0 | 0.0 | 278M|1369 | - |2400 | 355 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
654.51/654.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
654.51/654.74 c 643s|900000 |890928 | 0 | 0.0 | 282M|1369 | - |2400 | 475 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
661.91/662.20 c 650s|910000 |900857 | 0 | 0.0 | 284M|1369 | - |2400 | 363 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
669.50/669.71 c 658s|920000 |910760 | 0 | 0.0 | 287M|1369 | - |2400 | 402 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
676.90/677.15 c 665s|930000 |920700 | 0 | 0.0 | 290M|1369 | - |2400 | 347 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
684.39/684.68 c 673s|940000 |930596 | 0 | 0.0 | 293M|1369 | - |2400 | 382 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
692.09/692.32 c 680s|950000 |940515 | 0 | 0.0 | 296M|1369 | - |2400 | 274 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
699.49/699.79 c 687s|960000 |950434 | 0 | 0.0 | 299M|1369 | - |2400 | 373 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
707.00/707.26 c 695s|970000 |960357 | 0 | 0.0 | 302M|1369 | - |2400 | 418 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
714.49/714.76 c 702s|980000 |970270 | 0 | 0.0 | 305M|1369 | - |2400 | 317 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
721.99/722.24 c 709s|990000 |980180 | 0 | 0.0 | 308M|1369 | - |2400 | 339 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
729.38/729.68 c 717s| 1000k|990098 | 0 | 0.0 | 311M|1369 | - |2400 | 393 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
736.88/737.15 c 724s| 1010k| 1000k| 0 | 0.0 | 314M|1369 | - |2400 | 355 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
744.28/744.52 c 731s| 1020k| 1009k| 0 | 0.0 | 317M|1369 | - |2400 | 426 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
751.67/751.96 c 739s| 1030k| 1019k| 0 | 0.0 | 320M|1369 | - |2400 | 383 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
759.07/759.34 c 746s| 1040k| 1029k| 0 | 0.0 | 323M|1369 | - |2400 | 376 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
766.48/766.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
766.48/766.73 c 753s| 1050k| 1039k| 0 | 0.0 | 326M|1369 | - |2400 | 384 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
773.77/774.09 c 760s| 1060k| 1049k| 0 | 0.0 | 329M|1369 | - |2400 | 447 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
781.37/781.60 c 768s| 1070k| 1059k| 0 | 0.0 | 332M|1369 | - |2400 | 424 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
788.77/789.01 c 775s| 1080k| 1069k| 0 | 0.0 | 335M|1369 | - |2400 | 448 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
796.18/796.46 c 782s| 1090k| 1079k| 0 | 0.0 | 338M|1369 | - |2400 | 455 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
803.66/803.95 c 790s| 1100k| 1089k| 0 | 0.0 | 341M|1369 | - |2400 | 406 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
811.17/811.41 c 797s| 1110k| 1099k| 0 | 0.0 | 344M|1369 | - |2400 | 379 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
818.56/818.83 c 804s| 1120k| 1109k| 0 | 0.0 | 347M|1369 | - |2400 | 404 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
826.05/826.34 c 812s| 1130k| 1119k| 0 | 0.0 | 350M|1369 | - |2400 | 406 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
833.47/833.77 c 819s| 1140k| 1128k| 0 | 0.0 | 353M|1369 | - |2400 | 404 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
840.95/841.20 c 826s| 1150k| 1138k| 0 | 0.0 | 356M|1369 | - |2400 | 435 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
848.35/848.65 c 834s| 1160k| 1148k| 0 | 0.0 | 359M|1369 | - |2400 | 358 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
855.75/856.02 c 841s| 1170k| 1158k| 0 | 0.0 | 362M|1369 | - |2400 | 418 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
863.26/863.51 c 848s| 1180k| 1168k| 0 | 0.0 | 365M|1369 | - |2400 | 414 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
870.74/871.00 c 856s| 1190k| 1178k| 0 | 0.0 | 368M|1369 | - |2400 | 394 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
878.04/878.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
878.04/878.39 c 863s| 1200k| 1188k| 0 | 0.0 | 371M|1369 | - |2400 | 383 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
885.44/885.78 c 870s| 1210k| 1198k| 0 | 0.0 | 374M|1369 | - |2400 | 426 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
892.94/893.21 c 878s| 1220k| 1208k| 0 | 0.0 | 378M|1369 | - |2400 | 445 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
900.34/900.69 c 885s| 1230k| 1218k| 0 | 0.0 | 380M|1369 | - |2400 | 399 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
907.84/908.12 c 892s| 1240k| 1228k| 0 | 0.0 | 383M|1369 | - |2400 | 408 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
915.23/915.57 c 900s| 1250k| 1238k| 0 | 0.0 | 387M|1369 | - |2400 | 455 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
922.73/923.02 c 907s| 1260k| 1248k| 0 | 0.0 | 389M|1369 | - |2400 | 372 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
930.23/930.53 c 914s| 1270k| 1257k| 0 | 0.0 | 392M|1369 | - |2400 | 381 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
937.73/938.00 c 922s| 1280k| 1267k| 0 | 0.0 | 395M|1369 | - |2400 | 390 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
945.23/945.51 c 929s| 1290k| 1277k| 0 | 0.0 | 398M|1369 | - |2400 | 411 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
952.72/953.04 c 936s| 1300k| 1287k| 0 | 0.0 | 401M|1369 | - |2400 | 399 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
960.22/960.54 c 944s| 1310k| 1297k| 0 | 0.0 | 404M|1369 | - |2400 | 318 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
967.62/968.00 c 951s| 1320k| 1307k| 0 | 0.0 | 407M|1369 | - |2400 | 392 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
975.12/975.49 c 958s| 1330k| 1317k| 0 | 0.0 | 410M|1369 | - |2400 | 396 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
982.61/982.96 c 966s| 1340k| 1327k| 0 | 0.0 | 413M|1369 | - |2400 | 366 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
990.11/990.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
990.11/990.44 c 973s| 1350k| 1337k| 0 | 0.0 | 416M|1369 | - |2400 | 363 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
997.61/997.92 c 980s| 1360k| 1347k| 0 | 0.0 | 419M|1369 | - |2400 | 443 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
1005.01/1005.36 c 988s| 1370k| 1357k| 0 | 0.0 | 422M|1369 | - |2400 | 353 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
1012.41/1012.74 c 995s| 1380k| 1367k| 0 | 0.0 | 425M|1369 | - |2400 | 408 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
1019.80/1020.17 c 1002s| 1390k| 1376k| 0 | 0.0 | 428M|1369 | - |2400 | 326 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
1027.20/1027.56 c 1010s| 1400k| 1386k| 0 | 0.0 | 431M|1369 | - |2400 | 388 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
1034.71/1035.06 c 1017s| 1410k| 1396k| 0 | 0.0 | 434M|1369 | - |2400 | 507 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
1042.20/1042.50 c 1024s| 1420k| 1406k| 0 | 0.0 | 437M|1369 | - |2400 | 409 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
1049.70/1050.00 c 1032s| 1430k| 1416k| 0 | 0.0 | 440M|1369 | - |2400 | 379 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
1057.10/1057.42 c 1039s| 1440k| 1426k| 0 | 0.0 | 443M|1369 | - |2400 | 317 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
1064.29/1064.70 c 1046s| 1450k| 1436k| 0 | 0.0 | 446M|1369 | - |2400 | 425 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
1071.69/1072.07 c 1053s| 1460k| 1446k| 0 | 0.0 | 449M|1369 | - |2400 | 362 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
1078.99/1079.37 c 1061s| 1470k| 1456k| 0 | 0.0 | 452M|1369 | - |2400 | 401 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
1086.40/1086.71 c 1068s| 1480k| 1466k| 0 | 0.0 | 455M|1369 | - |2400 | 363 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
1093.68/1094.09 c 1075s| 1490k| 1476k| 0 | 0.0 | 458M|1369 | - |2400 | 408 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
1101.19/1101.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1101.19/1101.56 c 1082s| 1500k| 1486k| 0 | 0.0 | 461M|1369 | - |2400 | 360 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
1108.58/1108.96 c 1090s| 1510k| 1495k| 0 | 0.0 | 464M|1369 | - |2400 | 437 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
1115.98/1116.39 c 1097s| 1520k| 1505k| 0 | 0.0 | 467M|1369 | - |2400 | 414 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
1123.48/1123.82 c 1104s| 1530k| 1515k| 0 | 0.0 | 470M|1369 | - |2400 | 353 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
1130.87/1131.23 c 1111s| 1540k| 1525k| 0 | 0.0 | 473M|1369 | - |2400 | 413 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
1138.37/1138.77 c 1119s| 1550k| 1535k| 0 | 0.0 | 476M|1369 | - |2400 | 469 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
1145.88/1146.24 c 1126s| 1560k| 1545k| 0 | 0.0 | 479M|1369 | - |2400 | 347 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
1153.37/1153.72 c 1134s| 1570k| 1555k| 0 | 0.0 | 482M|1369 | - |2400 | 377 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
1160.66/1161.02 c 1141s| 1580k| 1565k| 0 | 0.0 | 485M|1369 | - |2400 | 461 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
1168.06/1168.40 c 1148s| 1590k| 1575k| 0 | 0.0 | 488M|1369 | - |2400 | 458 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
1175.47/1175.82 c 1155s| 1600k| 1585k| 0 | 0.0 | 491M|1369 | - |2400 | 361 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
1182.86/1183.25 c 1163s| 1610k| 1595k| 0 | 0.0 | 495M|1369 | - |2400 | 424 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
1190.26/1190.66 c 1170s| 1620k| 1604k| 0 | 0.0 | 497M|1369 | - |2400 | 393 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
1197.66/1198.04 c 1177s| 1630k| 1614k| 0 | 0.0 | 500M|1369 | - |2400 | 360 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
1205.06/1205.44 c 1184s| 1640k| 1624k| 0 | 0.0 | 504M|1369 | - |2400 | 397 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
1212.45/1212.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1212.45/1212.85 c 1192s| 1650k| 1634k| 0 | 0.0 | 507M|1369 | - |2400 | 355 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
1219.85/1220.29 c 1199s| 1660k| 1644k| 0 | 0.0 | 510M|1369 | - |2400 | 397 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
1227.26/1227.67 c 1206s| 1670k| 1654k| 0 | 0.0 | 513M|1369 | - |2400 | 435 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
1234.75/1235.14 c 1214s| 1680k| 1664k| 0 | 0.0 | 516M|1369 | - |2400 | 401 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
1242.15/1242.51 c 1221s| 1690k| 1674k| 0 | 0.0 | 519M|1369 | - |2400 | 445 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
1249.44/1249.88 c 1228s| 1700k| 1684k| 0 | 0.0 | 522M|1369 | - |2400 | 407 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
1256.85/1257.22 c 1235s| 1710k| 1694k| 0 | 0.0 | 525M|1369 | - |2400 | 403 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
1264.24/1264.66 c 1243s| 1720k| 1704k| 0 | 0.0 | 528M|1369 | - |2400 | 351 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
1271.63/1272.01 c 1250s| 1730k| 1714k| 0 | 0.0 | 531M|1369 | - |2400 | 467 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
1279.04/1279.41 c 1257s| 1740k| 1724k| 0 | 0.0 | 534M|1369 | - |2400 | 487 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
1286.44/1286.83 c 1264s| 1750k| 1733k| 0 | 0.0 | 537M|1369 | - |2400 | 435 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
1293.83/1294.25 c 1272s| 1760k| 1743k| 0 | 0.0 | 540M|1369 | - |2400 | 436 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
1301.23/1301.60 c 1279s| 1770k| 1753k| 0 | 0.0 | 543M|1369 | - |2400 | 452 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
1308.53/1308.97 c 1286s| 1780k| 1763k| 0 | 0.0 | 546M|1369 | - |2400 | 415 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
1316.02/1316.46 c 1293s| 1790k| 1773k| 0 | 0.0 | 549M|1369 | - |2400 | 445 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
1323.53/1323.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1323.53/1323.92 c 1301s| 1800k| 1783k| 0 | 0.0 | 552M|1369 | - |2400 | 448 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
1330.92/1331.32 c 1308s| 1810k| 1793k| 0 | 0.0 | 555M|1369 | - |2400 | 434 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
1338.33/1338.72 c 1315s| 1820k| 1803k| 0 | 0.0 | 558M|1369 | - |2400 | 408 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
1345.72/1346.12 c 1323s| 1830k| 1813k| 0 | 0.0 | 561M|1369 | - |2400 | 332 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
1353.02/1353.48 c 1330s| 1840k| 1823k| 0 | 0.0 | 564M|1369 | - |2400 | 472 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
1360.42/1360.88 c 1337s| 1850k| 1833k| 0 | 0.0 | 567M|1369 | - |2400 | 426 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
1367.92/1368.31 c 1344s| 1860k| 1843k| 0 | 0.0 | 570M|1369 | - |2400 | 398 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
1375.21/1375.68 c 1352s| 1870k| 1852k| 0 | 0.0 | 573M|1369 | - |2400 | 390 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
1382.61/1383.01 c 1359s| 1880k| 1862k| 0 | 0.0 | 576M|1369 | - |2400 | 415 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
1389.91/1390.36 c 1366s| 1890k| 1872k| 0 | 0.0 | 579M|1369 | - |2400 | 454 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1397.31/1397.77 c 1373s| 1900k| 1882k| 0 | 0.0 | 582M|1369 | - |2400 | 370 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1404.80/1405.22 c 1381s| 1910k| 1892k| 0 | 0.0 | 585M|1369 | - |2400 | 428 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1412.20/1412.62 c 1388s| 1920k| 1902k| 0 | 0.0 | 588M|1369 | - |2400 | 425 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1419.50/1419.95 c 1395s| 1930k| 1912k| 0 | 0.0 | 591M|1369 | - |2400 | 411 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1426.79/1427.28 c 1402s| 1940k| 1922k| 0 | 0.0 | 594M|1369 | - |2400 | 400 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1434.20/1434.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1434.20/1434.66 c 1410s| 1950k| 1932k| 0 | 0.0 | 597M|1369 | - |2400 | 424 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1441.70/1442.16 c 1417s| 1960k| 1942k| 0 | 0.0 | 600M|1369 | - |2400 | 337 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1449.09/1449.52 c 1424s| 1970k| 1952k| 0 | 0.0 | 603M|1369 | - |2400 | 419 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1456.39/1456.86 c 1431s| 1980k| 1962k| 0 | 0.0 | 606M|1369 | - |2400 | 384 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1463.89/1464.30 c 1439s| 1990k| 1971k| 0 | 0.0 | 609M|1369 | - |2400 | 397 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1471.29/1471.74 c 1446s| 2000k| 1981k| 0 | 0.0 | 612M|1369 | - |2400 | 383 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1478.68/1479.15 c 1453s| 2010k| 1991k| 0 | 0.0 | 615M|1369 | - |2400 | 409 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1486.08/1486.53 c 1461s| 2020k| 2001k| 0 | 0.0 | 618M|1369 | - |2400 | 377 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1493.47/1493.91 c 1468s| 2030k| 2011k| 0 | 0.0 | 621M|1369 | - |2400 | 454 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1500.78/1501.20 c 1475s| 2040k| 2021k| 0 | 0.0 | 624M|1369 | - |2400 | 411 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1507.97/1508.44 c 1482s| 2050k| 2031k| 0 | 0.0 | 627M|1369 | - |2400 | 410 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1515.17/1515.69 c 1489s| 2060k| 2041k| 0 | 0.0 | 630M|1369 | - |2400 | 471 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1522.57/1523.01 c 1496s| 2070k| 2051k| 0 | 0.0 | 633M|1369 | - |2400 | 440 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1529.86/1530.36 c 1504s| 2080k| 2061k| 0 | 0.0 | 636M|1369 | - |2400 | 439 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1537.27/1537.72 c 1511s| 2090k| 2071k| 0 | 0.0 | 640M|1369 | - |2400 | 470 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1544.57/1545.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1544.57/1545.05 c 1518s| 2100k| 2081k| 0 | 0.0 | 643M|1369 | - |2400 | 454 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1551.96/1552.42 c 1525s| 2110k| 2090k| 0 | 0.0 | 645M|1369 | - |2400 | 383 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1559.37/1559.83 c 1533s| 2120k| 2100k| 0 | 0.0 | 649M|1369 | - |2400 | 450 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1566.76/1567.26 c 1540s| 2130k| 2110k| 0 | 0.0 | 652M|1369 | - |2400 | 388 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1574.25/1574.71 c 1547s| 2140k| 2120k| 0 | 0.0 | 655M|1369 | - |2400 | 416 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1581.45/1581.99 c 1554s| 2150k| 2130k| 0 | 0.0 | 658M|1369 | - |2400 | 425 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1588.86/1589.38 c 1562s| 2160k| 2140k| 0 | 0.0 | 661M|1369 | - |2400 | 423 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1596.25/1596.76 c 1569s| 2170k| 2150k| 0 | 0.0 | 664M|1369 | - |2400 | 396 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1603.54/1604.09 c 1576s| 2180k| 2160k| 0 | 0.0 | 667M|1369 | - |2400 | 412 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1610.85/1611.35 c 1583s| 2190k| 2170k| 0 | 0.0 | 670M|1369 | - |2400 | 429 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1618.14/1618.67 c 1590s| 2200k| 2180k| 0 | 0.0 | 673M|1369 | - |2400 | 490 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1625.64/1626.11 c 1598s| 2210k| 2190k| 0 | 0.0 | 676M|1369 | - |2400 | 393 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1633.04/1633.59 c 1605s| 2220k| 2200k| 0 | 0.0 | 679M|1369 | - |2400 | 455 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1640.44/1640.97 c 1612s| 2230k| 2209k| 0 | 0.0 | 682M|1369 | - |2400 | 416 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1647.83/1648.30 c 1620s| 2240k| 2219k| 0 | 0.0 | 685M|1369 | - |2400 | 386 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1655.24/1655.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1655.24/1655.71 c 1627s| 2250k| 2229k| 0 | 0.0 | 688M|1369 | - |2400 | 460 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1662.64/1663.13 c 1634s| 2260k| 2239k| 0 | 0.0 | 691M|1369 | - |2400 | 387 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1670.03/1670.53 c 1641s| 2270k| 2249k| 0 | 0.0 | 694M|1369 | - |2400 | 534 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1677.23/1677.78 c 1649s| 2280k| 2259k| 0 | 0.0 | 697M|1369 | - |2400 | 450 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1684.53/1685.07 c 1656s| 2290k| 2269k| 0 | 0.0 | 700M|1369 | - |2400 | 424 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1691.92/1692.49 c 1663s| 2300k| 2279k| 0 | 0.0 | 703M|1369 | - |2400 | 411 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1699.22/1699.73 c 1670s| 2310k| 2289k| 0 | 0.0 | 706M|1369 | - |2400 | 468 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1706.52/1707.03 c 1677s| 2320k| 2299k| 0 | 0.0 | 709M|1369 | - |2400 | 407 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1713.82/1714.33 c 1684s| 2330k| 2309k| 0 | 0.0 | 712M|1369 | - |2400 | 418 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1721.21/1721.72 c 1692s| 2340k| 2318k| 0 | 0.0 | 715M|1369 | - |2400 | 405 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1728.52/1729.10 c 1699s| 2350k| 2328k| 0 | 0.0 | 718M|1369 | - |2400 | 463 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1735.91/1736.41 c 1706s| 2360k| 2338k| 0 | 0.0 | 721M|1369 | - |2400 | 461 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1743.21/1743.75 c 1713s| 2370k| 2348k| 0 | 0.0 | 724M|1369 | - |2400 | 436 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1750.62/1751.13 c 1721s| 2380k| 2358k| 0 | 0.0 | 727M|1369 | - |2400 | 399 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1757.91/1758.43 c 1728s| 2390k| 2368k| 0 | 0.0 | 730M|1369 | - |2400 | 427 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1765.21/1765.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1765.21/1765.72 c 1735s| 2400k| 2378k| 0 | 0.0 | 733M|1369 | - |2400 | 463 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1772.40/1772.96 c 1742s| 2410k| 2388k| 0 | 0.0 | 736M|1369 | - |2400 | 520 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1779.80/1780.30 c 1749s| 2420k| 2398k| 0 | 0.0 | 739M|1369 | - |2400 | 471 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1787.20/1787.70 c 1757s| 2430k| 2408k| 0 | 0.0 | 742M|1369 | - |2400 | 411 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1794.60/1795.16 c 1764s| 2440k| 2418k| 0 | 0.0 | 745M|1369 | - |2400 | 467 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1800.11/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.11/1800.61 c
1800.11/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.11/1800.61 c Solving Time (sec) : 1769.27
1800.11/1800.61 c Solving Nodes : 2447422
1800.11/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.11/1800.61 c Dual Bound : +0.00000000000000e+00
1800.11/1800.61 c Gap : infinite
1800.11/1800.61 s UNKNOWN
1800.11/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.11/1800.61 c Solving Time : 1769.27
1800.11/1800.61 c Original Problem :
1800.11/1800.61 c Problem name : HOME/instance-2664509-1276325918.opb
1800.11/1800.61 c Variables : 2400 (2400 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.11/1800.61 c Constraints : 140 initial, 140 maximal
1800.11/1800.61 c Presolved Problem :
1800.11/1800.61 c Problem name : t_HOME/instance-2664509-1276325918.opb
1800.11/1800.61 c Variables : 2400 (2400 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.11/1800.61 c Constraints : 140 initial, 3788 maximal
1800.11/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.11/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.61 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.11/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.61 c root node : - 0 - - 0 - - - -
1800.11/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.11/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.11/1800.61 c setppc : 60 0 2699528 0 2439442 11575 2648011 0 0 0
1800.11/1800.61 c logicor : 80+ 0 587752 0 2439442 2116 246421 0 0 0
1800.11/1800.61 c countsols : 0 0 0 0 2439442 0 0 0 0 0
1800.11/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.11/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.11/1800.61 c setppc : 280.94 0.00 30.62 0.00 250.32
1800.11/1800.61 c logicor : 160.80 0.00 9.14 0.00 151.66
1800.11/1800.61 c countsols : 0.87 0.00 0.00 0.00 0.87
1800.11/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.11/1800.61 c vbounds : 1.88 1 0 0
1800.11/1800.61 c rootredcost : 1.71 0 0 0
1800.11/1800.61 c pseudoobj : 1.23 0 0 0
1800.11/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.11/1800.61 c propagation : 22.47 13691 13691 261951 175.6 55 106.4 -
1800.11/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.11/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.11/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.11/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.11/1800.61 c applied globally : - - - 113741 138.9 - - -
1800.11/1800.61 c applied locally : - - - 115 268.2 - - -
1800.11/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.11/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.11/1800.61 c redcost : 0.00 0 0 0 0 0
1800.11/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.11/1800.61 c intobj : 0.00 0 0 0 0 0
1800.11/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.11/1800.61 c gomory : 0.00 0 0 0 0 0
1800.11/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.11/1800.61 c cmir : 0.00 0 0 0 0 0
1800.11/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.11/1800.61 c clique : 0.00 0 0 0 0 0
1800.11/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.11/1800.61 c mcf : 0.00 0 0 0 0 0
1800.11/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.11/1800.61 c Pricers : Time Calls Vars
1800.11/1800.61 c problem variables: 0.00 0 0
1800.11/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.11/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.11/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.11/1800.61 c inference : 1225.12 2439442 0 0 0 0 4878884
1800.11/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.11/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.11/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.11/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.11/1800.61 c random : 0.00 0 0 0 0 0 0
1800.11/1800.61 c Primal Heuristics : Time Calls Found
1800.11/1800.61 c LP solutions : 0.00 - 0
1800.11/1800.61 c pseudo solutions : 0.00 - 0
1800.11/1800.62 c trivial : 0.00 1 0
1800.11/1800.62 c simplerounding : 0.00 0 0
1800.11/1800.62 c zirounding : 0.00 0 0
1800.11/1800.62 c rounding : 0.00 0 0
1800.11/1800.62 c shifting : 0.00 0 0
1800.11/1800.62 c intshifting : 0.00 0 0
1800.11/1800.62 c oneopt : 0.00 0 0
1800.11/1800.62 c twoopt : 0.00 0 0
1800.11/1800.62 c fixandinfer : 0.00 0 0
1800.11/1800.62 c feaspump : 0.00 0 0
1800.11/1800.62 c coefdiving : 0.00 0 0
1800.11/1800.62 c pscostdiving : 0.00 0 0
1800.11/1800.62 c fracdiving : 0.00 0 0
1800.11/1800.62 c veclendiving : 0.00 0 0
1800.11/1800.62 c intdiving : 0.00 0 0
1800.11/1800.62 c actconsdiving : 0.00 0 0
1800.11/1800.62 c objpscostdiving : 0.00 0 0
1800.11/1800.62 c rootsoldiving : 0.00 0 0
1800.11/1800.62 c linesearchdiving : 0.00 0 0
1800.11/1800.62 c guideddiving : 0.00 0 0
1800.11/1800.62 c octane : 0.00 0 0
1800.11/1800.62 c rens : 0.00 0 0
1800.11/1800.62 c rins : 0.00 0 0
1800.11/1800.62 c localbranching : 0.00 0 0
1800.11/1800.62 c mutation : 0.00 0 0
1800.11/1800.62 c crossover : 0.00 0 0
1800.11/1800.62 c dins : 0.00 0 0
1800.11/1800.62 c undercover : 0.00 0 0
1800.11/1800.62 c nlp : 0.00 0 0
1800.11/1800.62 c trysol : 0.00 0 0
1800.11/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.11/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.11/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.11/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.11/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.11/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.11/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.11/1800.62 c (at root node) : - 0 0 0.00 -
1800.11/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.11/1800.62 c B&B Tree :
1800.11/1800.62 c number of runs : 1
1800.11/1800.62 c nodes : 2447422
1800.11/1800.62 c nodes (total) : 2447422
1800.11/1800.62 c nodes left : 2425502
1800.11/1800.62 c max depth : 1369
1800.11/1800.62 c max depth (total): 1369
1800.11/1800.62 c backtracks : 5803 (0.2%)
1800.11/1800.62 c delayed cutoffs : 5961
1800.11/1800.62 c repropagations : 14732 (264046 domain reductions, 5711 cutoffs)
1800.11/1800.62 c avg switch length: 2.38
1800.11/1800.62 c switching time : 34.19
1800.11/1800.62 c Solution :
1800.11/1800.62 c Solutions found : 0 (0 improvements)
1800.11/1800.62 c Primal Bound : -
1800.11/1800.62 c Dual Bound : +0.00000000000000e+00
1800.11/1800.62 c Gap : infinite
1800.11/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.11/1800.62 c Root Iterations : 0