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-2663471-1276680645.opb>
0.00/0.02 c original problem has 706 variables (706 bin, 0 int, 0 impl, 0 cont) and 758 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.02 c presolving:
0.09/0.19 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 151 upgd conss, 4948 impls, 100 clqs
0.19/0.20 c presolving (2 rounds):
0.19/0.20 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.20 c 4948 implications, 100 cliques
0.19/0.20 c presolved problem has 706 variables (706 bin, 0 int, 0 impl, 0 cont) and 758 constraints
0.19/0.20 c 1 constraints of type <knapsack>
0.19/0.20 c 100 constraints of type <setppc>
0.19/0.20 c 606 constraints of type <and>
0.19/0.20 c 1 constraints of type <linear>
0.19/0.20 c 50 constraints of type <logicor>
0.19/0.20 c transformed objective value is always integral (scale: 1)
0.19/0.20 c Presolving Time: 0.09
0.19/0.20 c - non default parameters ----------------------------------------------------------------------
0.19/0.20 c # SCIP version 1.2.1.2
0.19/0.20 c
0.19/0.20 c # frequency for displaying node information lines
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.20 c display/freq = 10000
0.19/0.20 c
0.19/0.20 c # maximal time in seconds to run
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/time = 1799.99
0.19/0.20 c
0.19/0.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20 c limits/memory = 1620
0.19/0.20 c
0.19/0.20 c # solving stops, if the given number of solutions were found (-1: no limit)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20 c limits/solutions = 1
0.19/0.20 c
0.19/0.20 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.20 c lp/solvefreq = -1
0.19/0.20 c
0.19/0.20 c # maximal number of separation rounds per node (-1: unlimited)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 5]
0.19/0.20 c separating/maxrounds = 1
0.19/0.20 c
0.19/0.20 c # maximal number of separation rounds in the root node (-1: unlimited)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20 c separating/maxroundsroot = 5
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify inequalities
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/linear/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.19/0.20 c constraints/knapsack/disaggregation = FALSE
0.19/0.20 c
0.19/0.20 c # should presolving try to simplify knapsacks
0.19/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.20 c
0.19/0.20 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20 c presolving/probing/maxrounds = 0
0.19/0.20 c
0.19/0.20 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.20 c heuristics/coefdiving/freq = -1
0.19/0.20 c
0.19/0.20 c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.20 c heuristics/coefdiving/maxlpiterquot = 0.075
0.19/0.20 c
0.19/0.20 c # additional number of allowed LP iterations
0.19/0.20 c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.20 c heuristics/coefdiving/maxlpiterofs = 1500
0.19/0.20 c
0.19/0.20 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 30]
0.19/0.20 c heuristics/crossover/freq = -1
0.19/0.20 c
0.19/0.20 c # number of nodes added to the contingent of the total nodes
0.19/0.20 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.19/0.20 c heuristics/crossover/nodesofs = 750
0.19/0.20 c
0.19/0.20 c # number of nodes without incumbent change that heuristic should wait
0.19/0.20 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.19/0.20 c heuristics/crossover/nwaitingnodes = 100
0.19/0.20 c
0.19/0.20 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.19/0.20 c # [type: real, range: [0,1], default: 0.1]
0.19/0.20 c heuristics/crossover/nodesquot = 0.15
0.19/0.20 c
0.19/0.20 c # minimum percentage of integer variables that have to be fixed
0.19/0.20 c # [type: real, range: [0,1], default: 0.666]
0.19/0.20 c heuristics/crossover/minfixingrate = 0.5
0.19/0.20 c
0.19/0.20 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 20]
0.19/0.20 c heuristics/feaspump/freq = -1
0.19/0.20 c
0.19/0.20 c # additional number of allowed LP iterations
0.19/0.20 c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.20 c heuristics/feaspump/maxlpiterofs = 2000
0.19/0.20 c
0.19/0.20 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.20 c heuristics/fracdiving/freq = -1
0.19/0.20 c
0.19/0.20 c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.20 c heuristics/fracdiving/maxlpiterquot = 0.075
0.19/0.20 c
0.19/0.20 c # additional number of allowed LP iterations
0.19/0.20 c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.20 c heuristics/fracdiving/maxlpiterofs = 1500
0.19/0.20 c
0.19/0.20 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.20 c heuristics/guideddiving/freq = -1
0.19/0.20 c
0.19/0.20 c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.20 c heuristics/guideddiving/maxlpiterquot = 0.075
0.19/0.20 c
0.19/0.20 c # additional number of allowed LP iterations
0.19/0.20 c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.20 c heuristics/guideddiving/maxlpiterofs = 1500
0.19/0.20 c
0.19/0.20 c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.20 c heuristics/intdiving/maxlpiterquot = 0.075
0.19/0.20 c
0.19/0.20 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.20 c heuristics/intshifting/freq = -1
0.19/0.20 c
0.19/0.20 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.20 c heuristics/linesearchdiving/freq = -1
0.19/0.20 c
0.19/0.20 c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.20 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.19/0.20 c
0.19/0.20 c # additional number of allowed LP iterations
0.19/0.20 c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.20 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.19/0.20 c
0.19/0.20 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.20 c heuristics/nlp/freq = -1
0.19/0.20 c
0.19/0.20 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 20]
0.19/0.20 c heuristics/objpscostdiving/freq = -1
0.19/0.20 c
0.19/0.20 c # maximal fraction of diving LP iterations compared to total iteration number
0.19/0.20 c # [type: real, range: [0,1], default: 0.01]
0.19/0.20 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.19/0.20 c
0.19/0.20 c # additional number of allowed LP iterations
0.19/0.20 c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.20 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.19/0.20 c
0.19/0.20 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.20 c heuristics/oneopt/freq = -1
0.19/0.20 c
0.19/0.20 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.20 c heuristics/pscostdiving/freq = -1
0.19/0.20 c
0.19/0.20 c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.20 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.19/0.20 c
0.19/0.20 c # additional number of allowed LP iterations
0.19/0.20 c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.20 c heuristics/pscostdiving/maxlpiterofs = 1500
0.19/0.20 c
0.19/0.20 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.20 c heuristics/rens/freq = -1
0.19/0.20 c
0.19/0.20 c # minimum percentage of integer variables that have to be fixable
0.19/0.20 c # [type: real, range: [0,1], default: 0.5]
0.19/0.20 c heuristics/rens/minfixingrate = 0.3
0.19/0.20 c
0.19/0.20 c # number of nodes added to the contingent of the total nodes
0.19/0.20 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.19/0.20 c heuristics/rens/nodesofs = 2000
0.19/0.20 c
0.19/0.20 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 20]
0.19/0.20 c heuristics/rootsoldiving/freq = -1
0.19/0.20 c
0.19/0.20 c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.19/0.20 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.19/0.20 c
0.19/0.20 c # additional number of allowed LP iterations
0.19/0.20 c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.20 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.19/0.20 c
0.19/0.20 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.20 c heuristics/rounding/freq = -1
0.19/0.20 c
0.19/0.20 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.20 c heuristics/shifting/freq = -1
0.19/0.20 c
0.19/0.20 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.20 c heuristics/simplerounding/freq = -1
0.19/0.20 c
0.19/0.20 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.20 c heuristics/trivial/freq = -1
0.19/0.20 c
0.19/0.20 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.20 c heuristics/trysol/freq = -1
0.19/0.20 c
0.19/0.20 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 10]
0.19/0.20 c heuristics/veclendiving/freq = -1
0.19/0.20 c
0.19/0.20 c # maximal fraction of diving LP iterations compared to node LP iterations
0.19/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.19/0.20 c heuristics/veclendiving/maxlpiterquot = 0.075
0.19/0.20 c
0.19/0.20 c # additional number of allowed LP iterations
0.19/0.20 c # [type: int, range: [0,2147483647], default: 1000]
0.19/0.20 c heuristics/veclendiving/maxlpiterofs = 1500
0.19/0.20 c
0.19/0.20 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.20 c heuristics/zirounding/freq = -1
0.19/0.20 c
0.19/0.20 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.20 c separating/cmir/freq = -1
0.19/0.20 c
0.19/0.20 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.20 c separating/flowcover/freq = -1
0.19/0.20 c
0.19/0.20 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20 c separating/rapidlearning/freq = 0
0.19/0.20 c
0.19/0.20 c -----------------------------------------------------------------------------------------------
0.19/0.20 c start solving
0.19/0.20 c
0.19/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.20 c 0.1s| 1 | 2 | 0 | - |2011k| 0 | - | 706 | 758 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.20/3.23 c 2.8s| 10000 | 8259 | 0 | 0.0 | 11M| 76 | - | 706 |1244 | 0 | 0 | 0 |1321 | 0 | 0.000000e+00 | -- | Inf
7.09/7.11 c 6.4s| 20000 | 13239 | 0 | 0.0 | 18M| 76 | - | 706 |1890 | 0 | 0 | 0 |3983 | 0 | 0.000000e+00 | -- | Inf
11.19/11.27 c 10.2s| 30000 | 17896 | 0 | 0.0 | 26M| 76 | - | 706 |1699 | 0 | 0 | 0 |7065 | 0 | 0.000000e+00 | -- | Inf
15.19/15.24 c 13.9s| 40000 | 25027 | 0 | 0.0 | 35M| 76 | - | 706 |1848 | 0 | 0 | 0 |8559 | 0 | 0.000000e+00 | -- | Inf
19.28/19.32 c 17.6s| 50000 | 31557 | 0 | 0.0 | 43M| 76 | - | 706 |1854 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
23.49/23.57 c 21.6s| 60000 | 37463 | 0 | 0.0 | 50M| 76 | - | 706 |2026 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
27.99/28.00 c 25.7s| 70000 | 42887 | 0 | 0.0 | 58M| 76 | - | 706 |2124 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
32.48/32.58 c 30.0s| 80000 | 48048 | 0 | 0.0 | 65M| 76 | - | 706 |2259 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
37.19/37.29 c 34.4s| 90000 | 52904 | 0 | 0.0 | 73M| 76 | - | 706 |2301 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
41.89/41.95 c 38.8s|100000 | 57984 | 0 | 0.0 | 80M| 76 | - | 706 |2228 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
46.68/46.77 c 43.3s|110000 | 62628 | 0 | 0.0 | 87M| 76 | - | 706 |2464 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
51.69/51.74 c 48.0s|120000 | 67094 | 0 | 0.0 | 95M| 76 | - | 706 |2525 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
56.78/56.85 c 52.8s|130000 | 71353 | 0 | 0.0 | 102M| 76 | - | 706 |2566 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
61.97/62.06 c 57.7s|140000 | 75530 | 0 | 0.0 | 108M| 76 | - | 706 |2566 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
67.37/67.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.37/67.45 c 62.8s|150000 | 79325 | 0 | 0.0 | 115M| 76 | - | 706 |2673 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
72.87/72.94 c 67.9s|160000 | 82925 | 0 | 0.0 | 122M| 76 | - | 706 |2860 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
78.57/78.65 c 73.3s|170000 | 86272 | 0 | 0.0 | 129M| 76 | - | 706 |2895 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
84.27/84.37 c 78.7s|180000 | 89484 | 0 | 0.0 | 135M| 76 | - | 706 |3002 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
90.18/90.21 c 84.2s|190000 | 92424 | 0 | 0.0 | 141M| 76 | - | 706 |3115 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
96.27/96.33 c 90.0s|200000 | 95124 | 0 | 0.0 | 148M| 76 | - | 706 |3537 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
102.46/102.59 c 95.9s|210000 | 97732 | 0 | 0.0 | 154M| 76 | - | 706 |3984 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
108.87/108.91 c 102s|220000 |100269 | 0 | 0.0 | 161M| 76 | - | 706 |4440 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
115.66/115.70 c 108s|230000 |102324 | 0 | 0.0 | 167M| 76 | - | 706 |4765 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
122.06/122.14 c 114s|240000 |104593 | 0 | 0.0 | 173M| 76 | - | 706 |5381 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
128.56/128.69 c 121s|250000 |106600 | 0 | 0.0 | 179M| 76 | - | 706 |5856 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
135.27/135.33 c 127s|260000 |108379 | 0 | 0.0 | 184M| 76 | - | 706 |6190 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
142.46/142.56 c 134s|270000 |109695 | 0 | 0.0 | 190M| 76 | - | 706 |6587 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
149.56/149.65 c 140s|280000 |111367 | 0 | 0.0 | 194M| 76 | - | 706 |5123 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
154.25/154.31 c 145s|290000 |118246 | 0 | 0.0 | 202M| 76 | - | 706 |2397 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
158.75/158.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
158.75/158.82 c 149s|300000 |124420 | 0 | 0.0 | 210M| 76 | - | 706 |2577 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
163.25/163.35 c 153s|310000 |130600 | 0 | 0.0 | 218M| 76 | - | 706 |2709 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
167.85/167.92 c 158s|320000 |136590 | 0 | 0.0 | 226M| 76 | - | 706 |2838 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
172.45/172.51 c 162s|330000 |142545 | 0 | 0.0 | 234M| 76 | - | 706 |2824 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
177.06/177.19 c 166s|340000 |148609 | 0 | 0.0 | 242M| 76 | - | 706 |2788 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
181.94/182.07 c 171s|350000 |154346 | 0 | 0.0 | 250M| 76 | - | 706 |3093 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
186.74/186.87 c 175s|360000 |160211 | 0 | 0.0 | 258M| 76 | - | 706 |2773 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
191.64/191.78 c 180s|370000 |165768 | 0 | 0.0 | 265M| 76 | - | 706 |3160 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
196.44/196.57 c 184s|380000 |171638 | 0 | 0.0 | 273M| 76 | - | 706 |2791 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
201.54/201.62 c 189s|390000 |176937 | 0 | 0.0 | 281M| 76 | - | 706 |3404 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
206.54/206.64 c 194s|400000 |182547 | 0 | 0.0 | 289M| 76 | - | 706 |3063 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
211.53/211.61 c 199s|410000 |188033 | 0 | 0.0 | 296M| 76 | - | 706 |2977 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
216.64/216.79 c 204s|420000 |193164 | 0 | 0.0 | 304M| 76 | - | 706 |3411 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
221.73/221.88 c 208s|430000 |198620 | 0 | 0.0 | 311M| 76 | - | 706 |3018 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
226.83/226.96 c 213s|440000 |203885 | 0 | 0.0 | 319M| 76 | - | 706 |3211 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
231.93/232.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
231.93/232.10 c 218s|450000 |209006 | 0 | 0.0 | 327M| 76 | - | 706 |3429 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
237.33/237.48 c 223s|460000 |214188 | 0 | 0.0 | 334M| 76 | - | 706 |3567 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
242.63/242.74 c 228s|470000 |219422 | 0 | 0.0 | 342M| 76 | - | 706 |3260 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
247.93/248.08 c 233s|480000 |224366 | 0 | 0.0 | 349M| 76 | - | 706 |3463 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
253.23/253.39 c 238s|490000 |229434 | 0 | 0.0 | 357M| 76 | - | 706 |3602 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
258.73/258.84 c 243s|500000 |234643 | 0 | 0.0 | 365M| 76 | - | 706 |3436 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
264.13/264.24 c 248s|510000 |239588 | 0 | 0.0 | 372M| 76 | - | 706 |3496 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
269.63/269.71 c 253s|520000 |244488 | 0 | 0.0 | 379M| 76 | - | 706 |3518 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
274.93/275.07 c 258s|530000 |249460 | 0 | 0.0 | 387M| 76 | - | 706 |3422 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
280.52/280.60 c 264s|540000 |254437 | 0 | 0.0 | 394M| 76 | - | 706 |3718 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
286.02/286.14 c 269s|550000 |259394 | 0 | 0.0 | 402M| 76 | - | 706 |3454 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
291.61/291.72 c 274s|560000 |264186 | 0 | 0.0 | 409M| 76 | - | 706 |3602 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
297.11/297.22 c 279s|570000 |269012 | 0 | 0.0 | 416M| 76 | - | 706 |3608 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
302.62/302.70 c 285s|580000 |273830 | 0 | 0.0 | 424M| 76 | - | 706 |3605 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
308.21/308.38 c 290s|590000 |278674 | 0 | 0.0 | 431M| 76 | - | 706 |3637 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
313.91/314.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
313.91/314.05 c 295s|600000 |283361 | 0 | 0.0 | 439M| 76 | - | 706 |3862 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
319.71/319.83 c 301s|610000 |287963 | 0 | 0.0 | 446M| 76 | - | 706 |3843 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
325.52/325.61 c 306s|620000 |292636 | 0 | 0.0 | 454M| 76 | - | 706 |3928 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
331.21/331.38 c 312s|630000 |297260 | 0 | 0.0 | 461M| 76 | - | 706 |3804 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
337.01/337.13 c 317s|640000 |301982 | 0 | 0.0 | 468M| 76 | - | 706 |3847 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
342.70/342.89 c 323s|650000 |306641 | 0 | 0.0 | 475M| 76 | - | 706 |3761 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
348.61/348.74 c 328s|660000 |311173 | 0 | 0.0 | 483M| 76 | - | 706 |3887 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
354.41/354.54 c 334s|670000 |315821 | 0 | 0.0 | 490M| 76 | - | 706 |3897 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
360.20/360.39 c 339s|680000 |320297 | 0 | 0.0 | 497M| 76 | - | 706 |4064 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
366.11/366.26 c 345s|690000 |324910 | 0 | 0.0 | 504M| 76 | - | 706 |3843 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
371.99/372.11 c 350s|700000 |329567 | 0 | 0.0 | 512M| 76 | - | 706 |3843 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
377.90/378.02 c 356s|710000 |334071 | 0 | 0.0 | 519M| 76 | - | 706 |4083 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
383.90/384.05 c 361s|720000 |338462 | 0 | 0.0 | 526M| 76 | - | 706 |4087 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
389.99/390.18 c 367s|730000 |342782 | 0 | 0.0 | 534M| 76 | - | 706 |4340 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
396.09/396.24 c 373s|740000 |347214 | 0 | 0.0 | 541M| 76 | - | 706 |3955 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
401.89/402.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
401.89/402.09 c 379s|750000 |351800 | 0 | 0.0 | 548M| 76 | - | 706 |3894 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
407.79/407.99 c 384s|760000 |356226 | 0 | 0.0 | 555M| 76 | - | 706 |3838 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
413.89/414.09 c 390s|770000 |360489 | 0 | 0.0 | 562M| 76 | - | 706 |4115 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
420.09/420.23 c 396s|780000 |364628 | 0 | 0.0 | 569M| 76 | - | 706 |4261 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
426.18/426.35 c 402s|790000 |368946 | 0 | 0.0 | 577M| 76 | - | 706 |4285 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
432.28/432.49 c 407s|800000 |373260 | 0 | 0.0 | 584M| 76 | - | 706 |4085 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
438.38/438.50 c 413s|810000 |377653 | 0 | 0.0 | 591M| 76 | - | 706 |3990 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
444.38/444.59 c 419s|820000 |381889 | 0 | 0.0 | 598M| 76 | - | 706 |4147 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
450.68/450.85 c 425s|830000 |386130 | 0 | 0.0 | 605M| 76 | - | 706 |4256 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
457.07/457.26 c 431s|840000 |390175 | 0 | 0.0 | 612M| 76 | - | 706 |4436 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
463.57/463.70 c 437s|850000 |394226 | 0 | 0.0 | 619M| 76 | - | 706 |4542 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
469.87/470.09 c 443s|860000 |398333 | 0 | 0.0 | 626M| 76 | - | 706 |4484 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
476.17/476.33 c 449s|870000 |402581 | 0 | 0.0 | 633M| 76 | - | 706 |4221 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
482.46/482.65 c 455s|880000 |406715 | 0 | 0.0 | 640M| 76 | - | 706 |4317 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
488.66/488.86 c 461s|890000 |410919 | 0 | 0.0 | 647M| 76 | - | 706 |4255 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
495.16/495.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
495.16/495.32 c 467s|900000 |414889 | 0 | 0.0 | 654M| 76 | - | 706 |4478 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
501.66/501.88 c 473s|910000 |418833 | 0 | 0.0 | 661M| 76 | - | 706 |4432 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
508.36/508.57 c 480s|920000 |422703 | 0 | 0.0 | 668M| 76 | - | 706 |4669 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
515.16/515.30 c 486s|930000 |426595 | 0 | 0.0 | 675M| 76 | - | 706 |4714 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
521.85/522.04 c 492s|940000 |430564 | 0 | 0.0 | 682M| 76 | - | 706 |4692 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
528.46/528.65 c 499s|950000 |434552 | 0 | 0.0 | 689M| 76 | - | 706 |4512 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
534.96/535.17 c 505s|960000 |438581 | 0 | 0.0 | 696M| 76 | - | 706 |4566 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
541.55/541.72 c 511s|970000 |442606 | 0 | 0.0 | 703M| 76 | - | 706 |4518 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
548.15/548.31 c 517s|980000 |446447 | 0 | 0.0 | 710M| 76 | - | 706 |4656 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
554.85/555.07 c 524s|990000 |450145 | 0 | 0.0 | 717M| 76 | - | 706 |4657 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
561.95/562.11 c 531s| 1000k|453661 | 0 | 0.0 | 724M| 76 | - | 706 |4921 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
568.84/569.04 c 537s| 1010k|457379 | 0 | 0.0 | 731M| 76 | - | 706 |4905 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
575.74/575.99 c 544s| 1020k|461042 | 0 | 0.0 | 738M| 76 | - | 706 |4712 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
582.64/582.81 c 550s| 1030k|464824 | 0 | 0.0 | 744M| 76 | - | 706 |4584 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
589.44/589.64 c 557s| 1040k|468605 | 0 | 0.0 | 751M| 76 | - | 706 |4777 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
596.13/596.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
596.13/596.39 c 563s| 1050k|472422 | 0 | 0.0 | 758M| 76 | - | 706 |4719 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
603.03/603.25 c 570s| 1060k|476128 | 0 | 0.0 | 765M| 76 | - | 706 |4905 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
609.93/610.12 c 576s| 1070k|479877 | 0 | 0.0 | 772M| 76 | - | 706 |4995 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
617.03/617.21 c 583s| 1080k|483398 | 0 | 0.0 | 779M| 76 | - | 706 |4854 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
624.23/624.47 c 590s| 1090k|486813 | 0 | 0.0 | 785M| 76 | - | 706 |5028 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
631.52/631.76 c 597s| 1100k|490288 | 0 | 0.0 | 792M| 76 | - | 706 |5101 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
638.72/639.00 c 604s| 1110k|493821 | 0 | 0.0 | 799M| 76 | - | 706 |4884 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
645.82/646.09 c 611s| 1120k|497396 | 0 | 0.0 | 806M| 76 | - | 706 |4829 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
653.02/653.26 c 618s| 1130k|500945 | 0 | 0.0 | 813M| 76 | - | 706 |4976 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
660.42/660.60 c 625s| 1140k|504346 | 0 | 0.0 | 819M| 76 | - | 706 |5155 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | -- | Inf
667.72/667.90 c 631s| 1150k|507758 | 0 | 0.0 | 826M| 76 | - | 706 |5236 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | -- | Inf
674.91/675.12 c 638s| 1160k|511308 | 0 | 0.0 | 832M| 76 | - | 706 |5265 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | -- | Inf
682.21/682.45 c 645s| 1170k|514759 | 0 | 0.0 | 839M| 76 | - | 706 |5129 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | -- | Inf
689.80/690.07 c 653s| 1180k|517954 | 0 | 0.0 | 846M| 76 | - | 706 |5369 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
697.50/697.71 c 660s| 1190k|521227 | 0 | 0.0 | 853M| 76 | - | 706 |5278 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | -- | Inf
704.91/705.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
704.91/705.19 c 667s| 1200k|524592 | 0 | 0.0 | 859M| 76 | - | 706 |5001 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
712.30/712.50 c 674s| 1210k|527896 | 0 | 0.0 | 866M| 76 | - | 706 |5158 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | -- | Inf
719.69/719.92 c 681s| 1220k|531242 | 0 | 0.0 | 873M| 76 | - | 706 |5176 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
727.20/727.41 c 688s| 1230k|534511 | 0 | 0.0 | 879M| 76 | - | 706 |5354 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | -- | Inf
734.69/734.92 c 696s| 1240k|537750 | 0 | 0.0 | 886M| 76 | - | 706 |5262 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | -- | Inf
742.09/742.36 c 703s| 1250k|541111 | 0 | 0.0 | 892M| 76 | - | 706 |5590 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | -- | Inf
749.59/749.88 c 710s| 1260k|544437 | 0 | 0.0 | 899M| 76 | - | 706 |5504 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | -- | Inf
757.49/757.74 c 717s| 1270k|547417 | 0 | 0.0 | 906M| 76 | - | 706 |5521 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | -- | Inf
765.58/765.81 c 725s| 1280k|550369 | 0 | 0.0 | 913M| 76 | - | 706 |5659 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | -- | Inf
773.49/773.76 c 733s| 1290k|553391 | 0 | 0.0 | 919M| 76 | - | 706 |5341 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
781.18/781.48 c 740s| 1300k|556533 | 0 | 0.0 | 926M| 76 | - | 706 |5315 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | -- | Inf
788.98/789.21 c 748s| 1310k|559608 | 0 | 0.0 | 932M| 76 | - | 706 |5393 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | -- | Inf
796.88/797.10 c 755s| 1320k|562487 | 0 | 0.0 | 939M| 76 | - | 706 |5571 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
804.67/804.97 c 763s| 1330k|565428 | 0 | 0.0 | 945M| 76 | - | 706 |5595 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | -- | Inf
812.48/812.77 c 770s| 1340k|568497 | 0 | 0.0 | 951M| 76 | - | 706 |5927 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
820.37/820.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
820.37/820.68 c 778s| 1350k|571569 | 0 | 0.0 | 958M| 76 | - | 706 |5919 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | -- | Inf
828.36/828.62 c 785s| 1360k|574627 | 0 | 0.0 | 964M| 76 | - | 706 |6084 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | -- | Inf
836.56/836.83 c 793s| 1370k|577446 | 0 | 0.0 | 971M| 76 | - | 706 |5852 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | -- | Inf
845.06/845.35 c 801s| 1380k|580115 | 0 | 0.0 | 977M| 76 | - | 706 |5709 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | -- | Inf
853.26/853.58 c 809s| 1390k|582861 | 0 | 0.0 | 984M| 76 | - | 706 |5598 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | -- | Inf
861.46/861.73 c 817s| 1400k|585640 | 0 | 0.0 | 990M| 76 | - | 706 |5610 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | -- | Inf
869.76/870.00 c 825s| 1410k|588349 | 0 | 0.0 | 997M| 76 | - | 706 |5744 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | -- | Inf
877.95/878.27 c 833s| 1420k|591016 | 0 | 0.0 |1003M| 76 | - | 706 |5986 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | -- | Inf
886.26/886.57 c 841s| 1430k|593691 | 0 | 0.0 |1010M| 76 | - | 706 |6306 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | -- | Inf
894.64/894.96 c 849s| 1440k|596441 | 0 | 0.0 |1016M| 76 | - | 706 |6151 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | -- | Inf
902.84/903.20 c 857s| 1450k|599221 | 0 | 0.0 |1022M| 76 | - | 706 |6196 | 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | -- | Inf
911.14/911.42 c 865s| 1460k|602112 | 0 | 0.0 |1028M| 76 | - | 706 |6185 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | -- | Inf
919.54/919.84 c 873s| 1470k|604878 | 0 | 0.0 |1035M| 76 | - | 706 |6307 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | -- | Inf
928.54/928.86 c 881s| 1480k|607254 | 0 | 0.0 |1041M| 76 | - | 706 |6019 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | -- | Inf
937.33/937.64 c 890s| 1490k|609670 | 0 | 0.0 |1047M| 76 | - | 706 |5823 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | -- | Inf
945.73/946.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
945.73/946.08 c 898s| 1500k|612238 | 0 | 0.0 |1054M| 76 | - | 706 |5886 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | -- | Inf
954.54/954.84 c 906s| 1510k|614501 | 0 | 0.0 |1060M| 76 | - | 706 |6125 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | -- | Inf
963.23/963.58 c 915s| 1520k|616838 | 0 | 0.0 |1066M| 76 | - | 706 |6024 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | -- | Inf
972.03/972.38 c 923s| 1530k|619182 | 0 | 0.0 |1072M| 76 | - | 706 |6237 | 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | -- | Inf
980.72/981.09 c 932s| 1540k|621600 | 0 | 0.0 |1078M| 76 | - | 706 |6292 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | -- | Inf
989.42/989.72 c 940s| 1550k|624127 | 0 | 0.0 |1085M| 76 | - | 706 |6526 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | -- | Inf
998.01/998.39 c 948s| 1560k|626735 | 0 | 0.0 |1091M| 76 | - | 706 |6391 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | -- | Inf
1006.41/1006.72 c 956s| 1570k|629512 | 0 | 0.0 |1097M| 76 | - | 706 |6498 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | -- | Inf
1015.81/1016.12 c 965s| 1580k|631494 | 0 | 0.0 |1103M| 76 | - | 706 |6199 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | -- | Inf
1024.91/1025.29 c 974s| 1590k|633572 | 0 | 0.0 |1109M| 76 | - | 706 |6102 | 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | -- | Inf
1034.11/1034.41 c 983s| 1600k|635704 | 0 | 0.0 |1115M| 76 | - | 706 |6192 | 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | -- | Inf
1043.00/1043.36 c 992s| 1610k|637831 | 0 | 0.0 |1122M| 76 | - | 706 |6911 | 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | -- | Inf
1052.40/1052.74 c 1001s| 1620k|640004 | 0 | 0.0 |1128M| 76 | - | 706 |7239 | 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | -- | Inf
1061.50/1061.82 c 1009s| 1630k|642397 | 0 | 0.0 |1134M| 76 | - | 706 |7420 | 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | -- | Inf
1070.59/1070.92 c 1018s| 1640k|644757 | 0 | 0.0 |1141M| 76 | - | 706 |7621 | 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | -- | Inf
1079.70/1080.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1079.70/1080.08 c 1027s| 1650k|647229 | 0 | 0.0 |1147M| 76 | - | 706 |7646 | 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | -- | Inf
1088.69/1089.06 c 1035s| 1660k|649829 | 0 | 0.0 |1153M| 76 | - | 706 |7657 | 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | -- | Inf
1097.68/1098.00 c 1044s| 1670k|652462 | 0 | 0.0 |1160M| 76 | - | 706 |7909 | 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | -- | Inf
1107.89/1108.29 c 1054s| 1680k|654350 | 0 | 0.0 |1166M| 76 | - | 706 |7530 | 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | -- | Inf
1117.88/1118.26 c 1064s| 1690k|656255 | 0 | 0.0 |1172M| 76 | - | 706 |7045 | 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | -- | Inf
1127.58/1127.92 c 1073s| 1700k|658205 | 0 | 0.0 |1178M| 76 | - | 706 |7604 | 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | -- | Inf
1137.48/1137.87 c 1082s| 1710k|660093 | 0 | 0.0 |1185M| 76 | - | 706 |8121 | 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | -- | Inf
1147.28/1147.67 c 1092s| 1720k|662171 | 0 | 0.0 |1190M| 76 | - | 706 |8455 | 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | -- | Inf
1157.38/1157.72 c 1102s| 1730k|664213 | 0 | 0.0 |1197M| 76 | - | 706 |8778 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | -- | Inf
1167.17/1167.55 c 1111s| 1740k|666417 | 0 | 0.0 |1203M| 76 | - | 706 |8515 | 0 | 0 | 0 | 450k| 0 | 0.000000e+00 | -- | Inf
1176.76/1177.15 c 1120s| 1750k|668720 | 0 | 0.0 |1209M| 76 | - | 706 |8766 | 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | -- | Inf
1186.47/1186.81 c 1130s| 1760k|671042 | 0 | 0.0 |1215M| 76 | - | 706 |9136 | 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | -- | Inf
1196.66/1197.02 c 1139s| 1770k|673170 | 0 | 0.0 |1221M| 76 | - | 706 |9018 | 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | -- | Inf
1207.87/1208.27 c 1150s| 1780k|674829 | 0 | 0.0 |1228M| 76 | - | 706 |9002 | 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | -- | Inf
1218.46/1218.86 c 1161s| 1790k|676581 | 0 | 0.0 |1234M| 76 | - | 706 |9465 | 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | -- | Inf
1228.86/1229.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1228.86/1229.26 c 1171s| 1800k|678503 | 0 | 0.0 |1240M| 76 | - | 706 |9942 | 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | -- | Inf
1239.15/1239.53 c 1181s| 1810k|680572 | 0 | 0.0 |1246M| 76 | - | 706 | 10k| 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | -- | Inf
1249.54/1249.95 c 1191s| 1820k|682750 | 0 | 0.0 |1252M| 76 | - | 706 | 10k| 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | -- | Inf
1259.44/1259.84 c 1200s| 1830k|685084 | 0 | 0.0 |1258M| 76 | - | 706 | 10k| 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | -- | Inf
1269.44/1269.82 c 1210s| 1840k|687488 | 0 | 0.0 |1264M| 76 | - | 706 | 10k| 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | -- | Inf
1279.45/1279.89 c 1220s| 1850k|689849 | 0 | 0.0 |1270M| 76 | - | 706 | 10k| 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | -- | Inf
1290.84/1291.29 c 1231s| 1860k|691415 | 0 | 0.0 |1275M| 76 | - | 706 |9959 | 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | -- | Inf
1301.83/1302.29 c 1241s| 1870k|693022 | 0 | 0.0 |1281M| 76 | - | 706 | 10k| 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | -- | Inf
1312.93/1313.34 c 1252s| 1880k|694705 | 0 | 0.0 |1287M| 76 | - | 706 | 10k| 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | -- | Inf
1323.83/1324.24 c 1262s| 1890k|696613 | 0 | 0.0 |1294M| 76 | - | 706 | 11k| 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | -- | Inf
1334.62/1335.09 c 1273s| 1900k|698518 | 0 | 0.0 |1300M| 76 | - | 706 | 11k| 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | -- | Inf
1345.12/1345.56 c 1283s| 1910k|700681 | 0 | 0.0 |1306M| 76 | - | 706 | 11k| 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | -- | Inf
1355.72/1356.15 c 1293s| 1920k|702829 | 0 | 0.0 |1311M| 76 | - | 706 | 11k| 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | -- | Inf
1366.61/1367.09 c 1304s| 1930k|704851 | 0 | 0.0 |1317M| 76 | - | 706 | 11k| 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | -- | Inf
1378.92/1379.35 c 1316s| 1940k|706192 | 0 | 0.0 |1323M| 76 | - | 706 | 11k| 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | -- | Inf
1389.71/1390.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1389.71/1390.10 c 1326s| 1950k|708043 | 0 | 0.0 |1328M| 76 | - | 706 | 12k| 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | -- | Inf
1399.81/1400.27 c 1336s| 1960k|710271 | 0 | 0.0 |1334M| 76 | - | 706 | 12k| 0 | 0 | 0 | 533k| 0 | 0.000000e+00 | -- | Inf
1410.00/1410.48 c 1346s| 1970k|712603 | 0 | 0.0 |1340M| 76 | - | 706 | 12k| 0 | 0 | 0 | 537k| 0 | 0.000000e+00 | -- | Inf
1419.60/1420.01 c 1355s| 1980k|715201 | 0 | 0.0 |1346M| 76 | - | 706 | 12k| 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | -- | Inf
1430.10/1430.54 c 1365s| 1990k|717390 | 0 | 0.0 |1351M| 76 | - | 706 | 12k| 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | -- | Inf
1441.60/1442.05 c 1376s| 2000k|718860 | 0 | 0.0 |1357M| 76 | - | 706 | 12k| 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | -- | Inf
1444.59/1445.04 c (node 2002830) switching to memory saving mode (mem: 1296.0M/1620.0M)
1450.78/1451.21 c 1385s| 2010k|718991 | 0 | 0.0 |1358M| 78 | - | 706 | 14k| 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | -- | Inf
1457.89/1458.39 c 1392s| 2020k|718864 | 0 | 0.0 |1358M| 78 | - | 706 | 15k| 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | -- | Inf
1464.38/1464.87 c 1398s| 2030k|718793 | 0 | 0.0 |1358M| 78 | - | 706 | 15k| 0 | 0 | 0 | 562k| 0 | 0.000000e+00 | -- | Inf
1472.18/1472.67 c 1405s| 2040k|718771 | 0 | 0.0 |1359M| 78 | - | 706 | 17k| 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | -- | Inf
1479.28/1479.76 c 1412s| 2050k|718596 | 0 | 0.0 |1358M| 78 | - | 706 | 15k| 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | -- | Inf
1485.59/1486.10 c 1418s| 2060k|718585 | 0 | 0.0 |1359M| 78 | - | 706 | 17k| 0 | 0 | 0 | 573k| 0 | 0.000000e+00 | -- | Inf
1494.87/1495.37 c 1427s| 2070k|718571 | 0 | 0.0 |1360M| 79 | - | 706 | 19k| 0 | 0 | 0 | 578k| 0 | 0.000000e+00 | -- | Inf
1510.67/1511.11 c 1443s| 2080k|717401 | 0 | 0.0 |1351M| 79 | - | 706 | 19k| 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | -- | Inf
1519.37/1519.89 c 1451s| 2090k|717378 | 0 | 0.0 |1351M| 79 | - | 706 | 19k| 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | -- | Inf
1527.48/1527.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1527.48/1527.99 c 1459s| 2100k|717372 | 0 | 0.0 |1352M| 79 | - | 706 | 19k| 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | -- | Inf
1537.57/1538.02 c 1469s| 2110k|717366 | 0 | 0.0 |1352M| 79 | - | 706 | 20k| 0 | 0 | 0 | 594k| 0 | 0.000000e+00 | -- | Inf
1558.86/1559.38 c 1489s| 2120k|715954 | 0 | 0.0 |1340M| 79 | - | 706 | 20k| 0 | 0 | 0 | 601k| 0 | 0.000000e+00 | -- | Inf
1567.46/1567.99 c 1498s| 2130k|715943 | 0 | 0.0 |1341M| 79 | - | 706 | 21k| 0 | 0 | 0 | 604k| 0 | 0.000000e+00 | -- | Inf
1575.46/1575.91 c 1505s| 2140k|715938 | 0 | 0.0 |1341M| 79 | - | 706 | 21k| 0 | 0 | 0 | 607k| 0 | 0.000000e+00 | -- | Inf
1583.16/1583.65 c 1513s| 2150k|715931 | 0 | 0.0 |1341M| 79 | - | 706 | 22k| 0 | 0 | 0 | 610k| 0 | 0.000000e+00 | -- | Inf
1597.76/1598.27 c 1527s| 2160k|715254 | 0 | 0.0 |1332M| 79 | - | 706 | 15k| 0 | 0 | 0 | 615k| 0 | 0.000000e+00 | -- | Inf
1605.56/1606.09 c 1535s| 2170k|715237 | 0 | 0.0 |1333M| 79 | - | 706 | 16k| 0 | 0 | 0 | 618k| 0 | 0.000000e+00 | -- | Inf
1616.45/1616.90 c 1545s| 2180k|715215 | 0 | 0.0 |1333M| 79 | - | 706 | 17k| 0 | 0 | 0 | 623k| 0 | 0.000000e+00 | -- | Inf
1633.24/1633.70 c 1561s| 2190k|713948 | 0 | 0.0 |1322M| 79 | - | 706 | 17k| 0 | 0 | 0 | 629k| 0 | 0.000000e+00 | -- | Inf
1647.54/1648.06 c 1575s| 2200k|713107 | 0 | 0.0 |1314M| 79 | - | 706 | 16k| 0 | 0 | 0 | 634k| 0 | 0.000000e+00 | -- | Inf
1656.44/1656.93 c 1584s| 2210k|713071 | 0 | 0.0 |1314M| 79 | - | 706 | 16k| 0 | 0 | 0 | 638k| 0 | 0.000000e+00 | -- | Inf
1666.54/1667.00 c 1594s| 2220k|713030 | 0 | 0.0 |1314M| 79 | - | 706 | 17k| 0 | 0 | 0 | 642k| 0 | 0.000000e+00 | -- | Inf
1677.33/1677.80 c 1604s| 2230k|713014 | 0 | 0.0 |1315M| 79 | - | 706 | 18k| 0 | 0 | 0 | 648k| 0 | 0.000000e+00 | -- | Inf
1691.93/1692.49 c 1619s| 2240k|712292 | 0 | 0.0 |1309M| 79 | - | 706 | 18k| 0 | 0 | 0 | 652k| 0 | 0.000000e+00 | -- | Inf
1705.02/1705.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1705.02/1705.55 c 1631s| 2250k|711862 | 0 | 0.0 |1304M| 79 | - | 706 | 18k| 0 | 0 | 0 | 657k| 0 | 0.000000e+00 | -- | Inf
1714.92/1715.50 c 1641s| 2260k|711824 | 0 | 0.0 |1304M| 79 | - | 706 | 18k| 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | -- | Inf
1726.12/1726.66 c 1652s| 2270k|711804 | 0 | 0.0 |1305M| 79 | - | 706 | 18k| 0 | 0 | 0 | 664k| 0 | 0.000000e+00 | -- | Inf
1737.12/1737.63 c 1662s| 2280k|711794 | 0 | 0.0 |1305M| 79 | - | 706 | 18k| 0 | 0 | 0 | 667k| 0 | 0.000000e+00 | -- | Inf
1748.42/1748.92 c 1673s| 2290k|711776 | 0 | 0.0 |1305M| 79 | - | 706 | 18k| 0 | 0 | 0 | 670k| 0 | 0.000000e+00 | -- | Inf
1757.91/1758.43 c 1683s| 2300k|711769 | 0 | 0.0 |1305M| 79 | - | 706 | 18k| 0 | 0 | 0 | 674k| 0 | 0.000000e+00 | -- | Inf
1770.52/1771.09 c 1695s| 2310k|711751 | 0 | 0.0 |1305M| 79 | - | 706 | 19k| 0 | 0 | 0 | 678k| 0 | 0.000000e+00 | -- | Inf
1782.00/1782.57 c 1706s| 2320k|711741 | 0 | 0.0 |1306M| 79 | - | 706 | 20k| 0 | 0 | 0 | 682k| 0 | 0.000000e+00 | -- | Inf
1793.40/1793.91 c 1717s| 2330k|711724 | 0 | 0.0 |1306M| 79 | - | 706 | 19k| 0 | 0 | 0 | 685k| 0 | 0.000000e+00 | -- | Inf
1800.00/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.00/1800.51 c
1800.00/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.51 c Solving Time (sec) : 1723.55
1800.00/1800.51 c Solving Nodes : 2335083
1800.00/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.00/1800.51 c Dual Bound : +0.00000000000000e+00
1800.00/1800.51 c Gap : infinite
1800.00/1800.51 s UNKNOWN
1800.00/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.51 c Solving Time : 1723.55
1800.00/1800.51 c Original Problem :
1800.00/1800.51 c Problem name : HOME/instance-2663471-1276680645.opb
1800.00/1800.51 c Variables : 706 (706 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.51 c Constraints : 758 initial, 758 maximal
1800.00/1800.51 c Presolved Problem :
1800.00/1800.51 c Problem name : t_HOME/instance-2663471-1276680645.opb
1800.00/1800.51 c Variables : 706 (706 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.51 c Constraints : 758 initial, 22194 maximal
1800.00/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.00/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c probing : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c and : 0.08 0 0 0 0 0 0 0 0
1800.00/1800.51 c linear : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.00/1800.51 c root node : - 0 - - 0 - - - -
1800.00/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.00/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.00/1800.51 c knapsack : 1 0 6352951 0 1552440 49630 5881786 0 0 0
1800.00/1800.51 c setppc : 100 0 6949566 0 1560330 39023 475347 0 0 0
1800.00/1800.51 c and : 606 0 6910543 0 1560330 2574 53442813 0 0 0
1800.00/1800.51 c linear : 1 0 6893818 0 1560330 691155 1401875 0 0 0
1800.00/1800.51 c logicor : 50+ 0 2177487 0 1559963 64656 12992900 0 0 0
1800.00/1800.51 c countsols : 0 0 0 0 1560330 0 0 0 0 0
1800.00/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.00/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.51 c knapsack : 89.80 0.00 83.79 0.00 6.01
1800.00/1800.51 c setppc : 60.99 0.00 16.44 0.00 44.55
1800.00/1800.51 c and : 152.09 0.00 128.92 0.00 23.17
1800.00/1800.51 c linear : 200.14 0.00 198.75 0.00 1.39
1800.00/1800.51 c logicor : 491.27 0.00 487.01 0.00 4.26
1800.00/1800.51 c countsols : 0.78 0.00 0.00 0.00 0.78
1800.00/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.00/1800.51 c vbounds : 3.56 1 0 0
1800.00/1800.51 c rootredcost : 3.57 0 0 0
1800.00/1800.51 c pseudoobj : 3.13 0 0 0
1800.00/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.51 c propagation : 134.72 847038 570328 3088585 55.7 166 69.8 -
1800.00/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.00/1800.51 c applied globally : - - - 679240 48.0 - - -
1800.00/1800.51 c applied locally : - - - 8939 72.6 - - -
1800.00/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.00/1800.51 c redcost : 0.00 0 0 0 0 0
1800.00/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.00/1800.51 c intobj : 0.00 0 0 0 0 0
1800.00/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.51 c gomory : 0.00 0 0 0 0 0
1800.00/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.00/1800.51 c cmir : 0.00 0 0 0 0 0
1800.00/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.00/1800.51 c clique : 0.00 0 0 0 0 0
1800.00/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.51 c mcf : 0.00 0 0 0 0 0
1800.00/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.00/1800.51 c Pricers : Time Calls Vars
1800.00/1800.51 c problem variables: 0.00 0 0
1800.00/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.00/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.51 c inference : 73.07 1560330 0 0 0 0 3120660
1800.00/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.51 c random : 0.00 0 0 0 0 0 0
1800.00/1800.51 c Primal Heuristics : Time Calls Found
1800.00/1800.51 c LP solutions : 0.00 - 0
1800.00/1800.51 c pseudo solutions : 0.00 - 0
1800.00/1800.51 c trivial : 0.00 1 0
1800.00/1800.51 c simplerounding : 0.00 0 0
1800.00/1800.51 c zirounding : 0.00 0 0
1800.00/1800.51 c rounding : 0.00 0 0
1800.00/1800.51 c shifting : 0.00 0 0
1800.00/1800.51 c intshifting : 0.00 0 0
1800.00/1800.51 c oneopt : 0.00 0 0
1800.00/1800.51 c twoopt : 0.00 0 0
1800.00/1800.51 c fixandinfer : 0.00 0 0
1800.00/1800.51 c feaspump : 0.00 0 0
1800.00/1800.51 c coefdiving : 0.00 0 0
1800.00/1800.51 c pscostdiving : 0.00 0 0
1800.00/1800.51 c fracdiving : 0.00 0 0
1800.00/1800.51 c veclendiving : 0.00 0 0
1800.00/1800.51 c intdiving : 0.00 0 0
1800.00/1800.51 c actconsdiving : 0.00 0 0
1800.00/1800.51 c objpscostdiving : 0.00 0 0
1800.00/1800.51 c rootsoldiving : 0.00 0 0
1800.00/1800.51 c linesearchdiving : 0.00 0 0
1800.00/1800.51 c guideddiving : 0.00 0 0
1800.00/1800.51 c octane : 0.00 0 0
1800.00/1800.51 c rens : 0.00 0 0
1800.00/1800.51 c rins : 0.00 0 0
1800.00/1800.51 c localbranching : 0.00 0 0
1800.00/1800.51 c mutation : 0.00 0 0
1800.00/1800.51 c crossover : 0.00 0 0
1800.00/1800.51 c dins : 0.00 0 0
1800.00/1800.51 c undercover : 0.00 0 0
1800.00/1800.51 c nlp : 0.00 0 0
1800.00/1800.51 c trysol : 0.00 0 0
1800.00/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.00/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.00/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.00/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.00/1800.51 c (at root node) : - 0 0 0.00 -
1800.00/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.51 c B&B Tree :
1800.00/1800.51 c number of runs : 1
1800.00/1800.51 c nodes : 2335083
1800.00/1800.51 c nodes (total) : 2335083
1800.00/1800.51 c nodes left : 711715
1800.00/1800.51 c max depth : 79
1800.00/1800.51 c max depth (total): 79
1800.00/1800.51 c backtracks : 164268 (7.0%)
1800.00/1800.51 c delayed cutoffs : 73863
1800.00/1800.51 c repropagations : 1607315 (7005839 domain reductions, 72285 cutoffs)
1800.00/1800.51 c avg switch length: 5.26
1800.00/1800.51 c switching time : 436.89
1800.00/1800.51 c Solution :
1800.00/1800.51 c Solutions found : 0 (0 improvements)
1800.00/1800.51 c Primal Bound : -
1800.00/1800.51 c Dual Bound : +0.00000000000000e+00
1800.00/1800.51 c Gap : infinite
1800.00/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.00/1800.51 c Root Iterations : 0