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-2664268-1276268910.opb>
0.00/0.03 c original problem has 490 variables (490 bin, 0 int, 0 impl, 0 cont) and 1085 constraints
0.00/0.03 c problem read
0.00/0.03 c No objective function, only one solution is needed.
0.00/0.03 c presolving settings loaded
0.00/0.03 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.05 c (round 1) 3 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 526 impls, 0 clqs
0.00/0.05 c (round 2) 18 del vars, 22 del conss, 16 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 526 impls, 0 clqs
0.00/0.05 c (round 3) 18 del vars, 37 del conss, 16 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 526 impls, 0 clqs
0.07/0.09 c (round 4) 18 del vars, 37 del conss, 16 chg bounds, 0 chg sides, 0 chg coeffs, 1048 upgd conss, 526 impls, 0 clqs
0.09/0.12 c (round 5) 24 del vars, 37 del conss, 16 chg bounds, 0 chg sides, 0 chg coeffs, 1048 upgd conss, 17948 impls, 6 clqs
0.09/0.13 c presolving (6 rounds):
0.09/0.13 c 24 deleted vars, 37 deleted constraints, 16 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.13 c 17948 implications, 6 cliques
0.09/0.13 c presolved problem has 466 variables (466 bin, 0 int, 0 impl, 0 cont) and 1048 constraints
0.09/0.13 c 334 constraints of type <knapsack>
0.09/0.13 c 714 constraints of type <logicor>
0.09/0.13 c transformed objective value is always integral (scale: 1)
0.09/0.13 c Presolving Time: 0.07
0.09/0.13 c - non default parameters ----------------------------------------------------------------------
0.09/0.13 c # SCIP version 1.2.1.2
0.09/0.13 c
0.09/0.13 c # frequency for displaying node information lines
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.13 c display/freq = 10000
0.09/0.13 c
0.09/0.13 c # maximal time in seconds to run
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.13 c limits/time = 1799.98
0.09/0.13 c
0.09/0.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.13 c limits/memory = 1620
0.09/0.13 c
0.09/0.13 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.13 c limits/solutions = 1
0.09/0.13 c
0.09/0.13 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.13 c lp/solvefreq = -1
0.09/0.13 c
0.09/0.13 c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.13 c separating/maxrounds = 1
0.09/0.13 c
0.09/0.13 c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.13 c separating/maxroundsroot = 5
0.09/0.13 c
0.09/0.13 c # should presolving try to simplify inequalities
0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13 c constraints/linear/simplifyinequalities = TRUE
0.09/0.13 c
0.09/0.13 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.13 c constraints/knapsack/disaggregation = FALSE
0.09/0.13 c
0.09/0.13 c # should presolving try to simplify knapsacks
0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.13 c
0.09/0.13 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.13 c presolving/probing/maxrounds = 0
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.13 c heuristics/coefdiving/freq = -1
0.09/0.13 c
0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.13 c heuristics/coefdiving/maxlpiterquot = 0.075
0.09/0.13 c
0.09/0.13 c # additional number of allowed LP iterations
0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.13 c heuristics/coefdiving/maxlpiterofs = 1500
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.13 c heuristics/crossover/freq = -1
0.09/0.13 c
0.09/0.13 c # number of nodes added to the contingent of the total nodes
0.09/0.13 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.13 c heuristics/crossover/nodesofs = 750
0.09/0.13 c
0.09/0.13 c # number of nodes without incumbent change that heuristic should wait
0.09/0.13 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.09/0.13 c heuristics/crossover/nwaitingnodes = 100
0.09/0.13 c
0.09/0.13 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.09/0.13 c # [type: real, range: [0,1], default: 0.1]
0.09/0.13 c heuristics/crossover/nodesquot = 0.15
0.09/0.13 c
0.09/0.13 c # minimum percentage of integer variables that have to be fixed
0.09/0.13 c # [type: real, range: [0,1], default: 0.666]
0.09/0.13 c heuristics/crossover/minfixingrate = 0.5
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.13 c heuristics/feaspump/freq = -1
0.09/0.13 c
0.09/0.13 c # additional number of allowed LP iterations
0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.13 c heuristics/feaspump/maxlpiterofs = 2000
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.13 c heuristics/fracdiving/freq = -1
0.09/0.13 c
0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.13 c heuristics/fracdiving/maxlpiterquot = 0.075
0.09/0.13 c
0.09/0.13 c # additional number of allowed LP iterations
0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.13 c heuristics/fracdiving/maxlpiterofs = 1500
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.13 c heuristics/guideddiving/freq = -1
0.09/0.13 c
0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.13 c heuristics/guideddiving/maxlpiterquot = 0.075
0.09/0.13 c
0.09/0.13 c # additional number of allowed LP iterations
0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.13 c heuristics/guideddiving/maxlpiterofs = 1500
0.09/0.13 c
0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.13 c heuristics/intdiving/maxlpiterquot = 0.075
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.13 c heuristics/intshifting/freq = -1
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.13 c heuristics/linesearchdiving/freq = -1
0.09/0.13 c
0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.13 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.09/0.13 c
0.09/0.13 c # additional number of allowed LP iterations
0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.13 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.13 c heuristics/nlp/freq = -1
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.13 c heuristics/objpscostdiving/freq = -1
0.09/0.13 c
0.09/0.13 c # maximal fraction of diving LP iterations compared to total iteration number
0.09/0.13 c # [type: real, range: [0,1], default: 0.01]
0.09/0.13 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.09/0.13 c
0.09/0.13 c # additional number of allowed LP iterations
0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.13 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.13 c heuristics/oneopt/freq = -1
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.13 c heuristics/pscostdiving/freq = -1
0.09/0.13 c
0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.13 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.09/0.13 c
0.09/0.13 c # additional number of allowed LP iterations
0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.13 c heuristics/pscostdiving/maxlpiterofs = 1500
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.13 c heuristics/rens/freq = -1
0.09/0.13 c
0.09/0.13 c # minimum percentage of integer variables that have to be fixable
0.09/0.13 c # [type: real, range: [0,1], default: 0.5]
0.09/0.13 c heuristics/rens/minfixingrate = 0.3
0.09/0.13 c
0.09/0.13 c # number of nodes added to the contingent of the total nodes
0.09/0.13 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.13 c heuristics/rens/nodesofs = 2000
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.13 c heuristics/rootsoldiving/freq = -1
0.09/0.13 c
0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.09/0.13 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.09/0.13 c
0.09/0.13 c # additional number of allowed LP iterations
0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.13 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.13 c heuristics/rounding/freq = -1
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.13 c heuristics/shifting/freq = -1
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.13 c heuristics/simplerounding/freq = -1
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.13 c heuristics/trivial/freq = -1
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.13 c heuristics/trysol/freq = -1
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.13 c heuristics/veclendiving/freq = -1
0.09/0.13 c
0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.13 c heuristics/veclendiving/maxlpiterquot = 0.075
0.09/0.13 c
0.09/0.13 c # additional number of allowed LP iterations
0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.13 c heuristics/veclendiving/maxlpiterofs = 1500
0.09/0.13 c
0.09/0.13 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.13 c heuristics/zirounding/freq = -1
0.09/0.13 c
0.09/0.13 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.13 c separating/cmir/freq = -1
0.09/0.13 c
0.09/0.13 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.13 c separating/flowcover/freq = -1
0.09/0.13 c
0.09/0.13 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.13 c separating/rapidlearning/freq = 0
0.09/0.13 c
0.09/0.13 c -----------------------------------------------------------------------------------------------
0.09/0.13 c start solving
0.09/0.13 c
0.09/0.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.13 c 0.1s| 1 | 2 | 0 | - |2731k| 0 | - | 466 |1048 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
5.08/5.17 c 4.9s| 10000 | 5462 | 0 | 0.0 |9700k| 68 | - | 466 |1613 | 0 | 0 | 0 |1988 | 0 | 0.000000e+00 | -- | Inf
10.58/10.65 c 10.1s| 20000 | 10265 | 0 | 0.0 | 15M| 68 | - | 466 |2152 | 0 | 0 | 0 |4325 | 0 | 0.000000e+00 | -- | Inf
17.18/17.28 c 16.5s| 30000 | 13559 | 0 | 0.0 | 20M| 68 | - | 466 |2476 | 0 | 0 | 0 |7224 | 0 | 0.000000e+00 | -- | Inf
22.68/22.76 c 21.8s| 40000 | 19193 | 0 | 0.0 | 26M| 69 | - | 466 |1770 | 0 | 0 | 0 |9230 | 0 | 0.000000e+00 | -- | Inf
28.38/28.46 c 27.2s| 50000 | 24156 | 0 | 0.0 | 32M| 69 | - | 466 |2010 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
34.38/34.48 c 32.9s| 60000 | 28611 | 0 | 0.0 | 37M| 69 | - | 466 |2197 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
40.58/40.64 c 38.9s| 70000 | 32852 | 0 | 0.0 | 42M| 69 | - | 466 |2449 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
46.78/46.88 c 44.9s| 80000 | 37162 | 0 | 0.0 | 47M| 69 | - | 466 |2650 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
53.18/53.23 c 50.9s| 90000 | 41653 | 0 | 0.0 | 53M| 69 | - | 466 |2857 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
59.98/60.05 c 57.5s|100000 | 45910 | 0 | 0.0 | 58M| 69 | - | 466 |3197 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
67.17/67.23 c 64.4s|110000 | 49739 | 0 | 0.0 | 63M| 69 | - | 466 |3342 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
74.97/75.07 c 72.0s|120000 | 53102 | 0 | 0.0 | 67M| 69 | - | 466 |3793 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
83.26/83.33 c 79.9s|130000 | 56361 | 0 | 0.0 | 72M| 69 | - | 466 |4059 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
92.46/92.53 c 88.9s|140000 | 59119 | 0 | 0.0 | 76M| 69 | - | 466 |4424 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
102.36/102.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.36/102.49 c 98.6s|150000 | 61391 | 0 | 0.0 | 80M| 69 | - | 466 |4559 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
112.07/112.11 c 108s|160000 | 64239 | 0 | 0.0 | 84M| 69 | - | 466 |4517 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
120.26/120.35 c 116s|170000 | 67753 | 0 | 0.0 | 88M| 74 | - | 466 |3480 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
126.27/126.36 c 122s|180000 | 73455 | 0 | 0.0 | 94M| 74 | - | 466 |2407 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
132.36/132.46 c 128s|190000 | 78638 | 0 | 0.0 | 99M| 74 | - | 466 |2503 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
138.57/138.67 c 134s|200000 | 83643 | 0 | 0.0 | 105M| 74 | - | 466 |2548 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
144.96/145.07 c 140s|210000 | 88527 | 0 | 0.0 | 110M| 74 | - | 466 |2668 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
151.66/151.77 c 146s|220000 | 93089 | 0 | 0.0 | 116M| 74 | - | 466 |2663 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
158.46/158.59 c 153s|230000 | 97519 | 0 | 0.0 | 121M| 74 | - | 466 |2800 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
165.36/165.46 c 159s|240000 |101731 | 0 | 0.0 | 126M| 74 | - | 466 |2932 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
172.56/172.66 c 166s|250000 |105720 | 0 | 0.0 | 131M| 74 | - | 466 |2910 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
179.54/179.64 c 173s|260000 |110006 | 0 | 0.0 | 136M| 74 | - | 466 |3039 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
187.05/187.11 c 180s|270000 |113890 | 0 | 0.0 | 140M| 74 | - | 466 |3120 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
194.04/194.12 c 187s|280000 |118092 | 0 | 0.0 | 145M| 74 | - | 466 |2983 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
201.74/201.83 c 194s|290000 |121678 | 0 | 0.0 | 150M| 74 | - | 466 |3277 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
208.85/208.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
208.85/208.93 c 201s|300000 |125615 | 0 | 0.0 | 154M| 74 | - | 466 |3187 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
216.65/216.74 c 209s|310000 |128929 | 0 | 0.0 | 159M| 74 | - | 466 |3647 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
224.35/224.46 c 216s|320000 |132557 | 0 | 0.0 | 163M| 74 | - | 466 |3672 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
231.64/231.76 c 223s|330000 |136425 | 0 | 0.0 | 168M| 74 | - | 466 |3604 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
239.44/239.53 c 231s|340000 |140034 | 0 | 0.0 | 172M| 74 | - | 466 |3903 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
247.14/247.21 c 238s|350000 |143646 | 0 | 0.0 | 177M| 74 | - | 466 |3743 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
254.63/254.78 c 246s|360000 |147405 | 0 | 0.0 | 181M| 74 | - | 466 |3906 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
262.74/262.85 c 253s|370000 |150906 | 0 | 0.0 | 186M| 74 | - | 466 |4141 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
270.83/270.92 c 261s|380000 |154388 | 0 | 0.0 | 190M| 74 | - | 466 |4178 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
278.73/278.82 c 269s|390000 |158185 | 0 | 0.0 | 195M| 74 | - | 466 |4117 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
286.94/287.02 c 277s|400000 |161631 | 0 | 0.0 | 199M| 74 | - | 466 |4524 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
295.32/295.42 c 285s|410000 |165028 | 0 | 0.0 | 204M| 74 | - | 466 |4648 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
303.43/303.55 c 293s|420000 |169039 | 0 | 0.0 | 208M| 74 | - | 466 |4398 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
312.02/312.16 c 301s|430000 |172409 | 0 | 0.0 | 213M| 74 | - | 466 |4958 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
321.13/321.28 c 310s|440000 |175633 | 0 | 0.0 | 217M| 74 | - | 466 |4991 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
329.93/330.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
329.93/330.05 c 318s|450000 |179293 | 0 | 0.0 | 221M| 74 | - | 466 |4802 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
338.73/338.81 c 327s|460000 |182846 | 0 | 0.0 | 226M| 74 | - | 466 |4983 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
348.11/348.27 c 336s|470000 |185731 | 0 | 0.0 | 230M| 74 | - | 466 |5182 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
357.31/357.45 c 345s|480000 |189205 | 0 | 0.0 | 234M| 74 | - | 466 |5078 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
366.30/366.46 c 354s|490000 |192767 | 0 | 0.0 | 238M| 74 | - | 466 |5121 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
376.20/376.32 c 363s|500000 |195637 | 0 | 0.0 | 242M| 74 | - | 466 |5549 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
386.00/386.18 c 373s|510000 |199143 | 0 | 0.0 | 247M| 74 | - | 466 |5542 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
395.59/395.78 c 382s|520000 |202604 | 0 | 0.0 | 251M| 74 | - | 466 |5468 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
406.19/406.37 c 393s|530000 |205332 | 0 | 0.0 | 255M| 74 | - | 466 |6017 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
416.69/416.88 c 403s|540000 |208828 | 0 | 0.0 | 260M| 74 | - | 466 |6071 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
426.59/426.70 c 412s|550000 |212401 | 0 | 0.0 | 264M| 74 | - | 466 |5654 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
437.59/437.80 c 423s|560000 |214972 | 0 | 0.0 | 268M| 74 | - | 466 |6260 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
448.58/448.77 c 434s|570000 |218083 | 0 | 0.0 | 272M| 74 | - | 466 |6302 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
459.78/459.98 c 445s|580000 |220982 | 0 | 0.0 | 276M| 74 | - | 466 |6439 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
471.87/472.09 c 457s|590000 |223508 | 0 | 0.0 | 280M| 74 | - | 466 |7009 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
483.77/483.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
483.77/483.94 c 468s|600000 |226654 | 0 | 0.0 | 284M| 74 | - | 466 |6971 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
496.06/496.23 c 480s|610000 |229084 | 0 | 0.0 | 288M| 74 | - | 466 |7280 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
509.45/509.67 c 494s|620000 |231515 | 0 | 0.0 | 291M| 74 | - | 466 |7671 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
522.26/522.44 c 506s|630000 |234480 | 0 | 0.0 | 295M| 74 | - | 466 |7414 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
536.94/537.12 c 520s|640000 |236211 | 0 | 0.0 | 299M| 74 | - | 466 |8186 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
550.95/551.18 c 534s|650000 |238706 | 0 | 0.0 | 303M| 74 | - | 466 |8155 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
565.93/566.15 c 549s|660000 |240572 | 0 | 0.0 | 306M| 74 | - | 466 |8425 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
580.93/581.14 c 564s|670000 |242953 | 0 | 0.0 | 309M| 74 | - | 466 |8415 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
596.63/596.82 c 579s|680000 |244589 | 0 | 0.0 | 313M| 74 | - | 466 |8895 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
611.82/612.05 c 594s|690000 |246691 | 0 | 0.0 | 316M| 74 | - | 466 |8291 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
627.41/627.69 c 609s|700000 |248486 | 0 | 0.0 | 319M| 74 | - | 466 |8652 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
642.72/642.96 c 624s|710000 |250703 | 0 | 0.0 | 322M| 74 | - | 466 |8375 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
657.41/657.66 c 639s|720000 |253030 | 0 | 0.0 | 326M| 74 | - | 466 |8504 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
670.81/671.07 c 652s|730000 |255913 | 0 | 0.0 | 330M| 74 | - | 466 |8220 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
684.50/684.79 c 665s|740000 |258674 | 0 | 0.0 | 334M| 74 | - | 466 |8405 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
697.49/697.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
697.49/697.72 c 678s|750000 |260635 | 0 | 0.0 | 337M| 74 | - | 466 |8756 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
708.49/708.72 c 689s|760000 |263493 | 0 | 0.0 | 340M| 74 | - | 466 |6582 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
713.79/714.06 c * 694s|765214 | 0 | 0 | 0.0 |6880k| 74 | - | 466 |4099 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 0.000000e+00 | 0.00%
713.79/714.07 c
713.79/714.07 c SCIP Status : problem is solved [optimal solution found]
713.79/714.07 c Solving Time (sec) : 693.80
713.79/714.07 c Solving Nodes : 765214
713.79/714.07 c Primal Bound : +0.00000000000000e+00 (1 solutions)
713.79/714.07 c Dual Bound : +0.00000000000000e+00
713.79/714.07 c Gap : 0.00 %
713.79/714.07 s SATISFIABLE
713.79/714.07 v x489 -x490 -x487 x488 x485 -x486 -x483 x484 x481 -x482 -x479 x480 x477 -x478 -x475 x476 x473 -x474 -x471 x472 -x469 -x470 -x467
713.79/714.07 v x468 -x465 x466 -x463 -x464 -x461 -x462 x459 -x460 -x457 x458 x455 -x456 -x453 x454 x451 -x452 -x449 x450 x447 -x448 -x445 x446
713.79/714.07 v x443 -x444 -x441 x442 x439 -x440 -x437 x438 x435 -x436 -x433 x434 x431 -x432 -x429 x430 x427 -x428 -x425 x426 -x423 -x424
713.79/714.07 v -x421 x422 -x419 -x420 -x417 x418 -x415 x416 -x413 -x414 -x411 x412 x409 -x410 -x407 x408 x405 -x406 -x403 x404 x401 -x402 -x399
713.79/714.07 v x400 x397 -x398 -x395 x396 x393 -x394 -x391 x392 -x389 x390 x387 -x388 x385 -x386 x383 -x384 -x381 x382 x379 -x380 x377
713.79/714.07 v -x378 x375 -x376 x373 -x374 x371 -x372 -x369 x370 x367 -x368 -x365 x366 -x363 x364 x361 -x362 x359 -x360 x357 -x358 -x355 x356
713.79/714.07 v x353 -x354 -x351 x352 x349 -x350 -x347 x348 x345 -x346 -x343 x344 x341 -x342 -x339 x340 -x338 -x336 -x334 -x332 -x330 -x328
713.79/714.07 v -x326 -x324 -x322 -x320 -x318 -x316 -x314 -x312 -x310 x308 -x306 -x304 -x302 x300 -x298 x296 -x294 -x292 -x290 -x288 -x286 x284
713.79/714.07 v -x282 x280 -x278 x276 -x274 x272 -x270 x268 -x266 x264 -x262 -x260 -x258 x256 -x254 -x252 -x250 x248 -x246 x244 -x242 -x240
713.79/714.07 v -x238 -x236 -x234 -x232 -x230 -x228 -x226 -x224 -x222 -x220 -x218 -x216 -x214 -x212 -x210 -x208 -x206 x204 -x202 -x200 -x198
713.79/714.07 v x196 -x194 x192 -x190 -x188 -x186 -x184 -x182 -x180 -x178 -x176 -x174 -x172 -x170 -x168 -x166 -x164 -x162 -x160 -x158 -x156
713.79/714.07 v -x154 x152 -x150 -x148 -x146 x144 -x142 x140 -x138 -x136 -x134 -x132 -x130 -x128 -x126 -x124 -x122 -x120 -x118 -x116 -x114
713.79/714.07 v -x112 -x110 -x108 -x106 -x104 -x102 x100 -x98 -x96 -x94 x92 -x90 x88 -x86 -x84 -x82 -x80 -x78 -x76 -x74 -x72 -x70 -x68 -x66 -x64
713.79/714.07 v -x62 -x60 -x58 -x56 -x54 -x52 -x50 x48 -x46 -x44 -x42 x40 -x38 x36 -x34 -x32 -x30 -x28 -x26 -x24 -x22 -x20 -x18 -x16 -x14
713.79/714.07 v -x12 -x10 -x8 -x6 -x4 -x2 x337 -x335 -x333 -x331 x329 -x327 -x325 -x323 -x321 -x319 x317 -x315 x313 -x311 -x309 -x307 -x305
713.79/714.07 v -x303 -x301 -x299 -x297 -x295 -x293 -x291 -x289 -x287 -x285 -x283 -x281 -x279 -x277 -x275 -x273 -x271 -x269 -x267 -x265 -x263
713.79/714.07 v -x261 -x259 -x257 -x255 -x253 -x251 -x249 -x247 -x245 -x243 -x241 -x239 -x237 -x235 x233 -x231 -x229 -x227 x225 -x223 -x221
713.79/714.07 v -x219 -x217 -x215 x213 -x211 x209 -x207 -x205 -x203 -x201 -x199 -x197 -x195 -x193 -x191 -x189 -x187 -x185 -x183 x181 -x179 -x177
713.79/714.07 v -x175 x173 -x171 -x169 -x167 -x165 -x163 x161 -x159 x157 -x155 -x153 -x151 -x149 -x147 -x145 -x143 -x141 -x139 -x137 -x135
713.79/714.07 v -x133 -x131 x129 -x127 -x125 -x123 x121 -x119 -x117 -x115 -x113 -x111 x109 -x107 x105 -x103 -x101 -x99 -x97 -x95 -x93 -x91
713.79/714.07 v -x89 -x87 -x85 -x83 -x81 -x79 x77 -x75 -x73 -x71 x69 -x67 -x65 -x63 -x61 -x59 x57 -x55 x53 -x51 -x49 -x47 -x45 -x43 -x41 -x39
713.79/714.07 v -x37 -x35 -x33 -x31 -x29 -x27 x25 -x23 -x21 -x19 x17 -x15 -x13 -x11 -x9 -x7 x5 -x3 x1
713.79/714.07 c SCIP Status : problem is solved [optimal solution found]
713.79/714.07 c Solving Time : 693.80
713.79/714.07 c Original Problem :
713.79/714.07 c Problem name : HOME/instance-2664268-1276268910.opb
713.79/714.07 c Variables : 490 (490 binary, 0 integer, 0 implicit integer, 0 continuous)
713.79/714.07 c Constraints : 1085 initial, 1085 maximal
713.79/714.07 c Presolved Problem :
713.79/714.07 c Problem name : t_HOME/instance-2664268-1276268910.opb
713.79/714.07 c Variables : 466 (466 binary, 0 integer, 0 implicit integer, 0 continuous)
713.79/714.07 c Constraints : 1048 initial, 9158 maximal
713.79/714.07 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
713.79/714.07 c trivial : 0.00 0 0 0 0 0 0 0 0
713.79/714.07 c dualfix : 0.00 0 0 0 0 0 0 0 0
713.79/714.07 c boundshift : 0.00 0 0 0 0 0 0 0 0
713.79/714.07 c inttobinary : 0.00 0 0 0 0 0 0 0 0
713.79/714.07 c implics : 0.00 0 8 0 0 0 0 0 0
713.79/714.07 c probing : 0.00 0 0 0 0 0 0 0 0
713.79/714.07 c knapsack : 0.03 0 0 0 0 0 0 0 0
713.79/714.07 c linear : 0.03 16 0 0 16 0 37 0 0
713.79/714.07 c logicor : 0.01 0 0 0 0 0 0 0 0
713.79/714.07 c root node : - 0 - - 0 - - - -
713.79/714.07 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
713.79/714.07 c integral : 0 0 0 0 0 0 0 0 0 0
713.79/714.07 c knapsack : 334 0 2609313 0 534744 200427 12509050 0 0 0
713.79/714.07 c logicor : 714+ 0 1968163 0 534744 67330 4682811 0 0 0
713.79/714.07 c countsols : 0 0 0 0 534744 0 0 0 0 0
713.79/714.07 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
713.79/714.07 c integral : 0.00 0.00 0.00 0.00 0.00
713.79/714.07 c knapsack : 159.45 0.00 150.61 0.00 8.84
713.79/714.07 c logicor : 278.60 0.00 237.49 0.00 41.11
713.79/714.07 c countsols : 0.37 0.00 0.00 0.00 0.37
713.79/714.07 c Propagators : Time Calls Cutoffs DomReds
713.79/714.07 c vbounds : 1.39 1 0 0
713.79/714.07 c rootredcost : 1.47 0 0 0
713.79/714.07 c pseudoobj : 1.18 0 0 0
713.79/714.07 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
713.79/714.07 c propagation : 106.15 134705 133038 2376672 102.6 1064 30.0 -
713.79/714.07 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
713.79/714.07 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
713.79/714.07 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
713.79/714.07 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
713.79/714.07 c applied globally : - - - 222051 30.3 - - -
713.79/714.07 c applied locally : - - - 630 100.0 - - -
713.79/714.07 c Separators : Time Calls Cutoffs DomReds Cuts Conss
713.79/714.07 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
713.79/714.07 c redcost : 0.00 0 0 0 0 0
713.79/714.07 c impliedbounds : 0.00 0 0 0 0 0
713.79/714.07 c intobj : 0.00 0 0 0 0 0
713.79/714.07 c cgmip : 0.00 0 0 0 0 0
713.79/714.07 c gomory : 0.00 0 0 0 0 0
713.79/714.07 c strongcg : 0.00 0 0 0 0 0
713.79/714.07 c cmir : 0.00 0 0 0 0 0
713.79/714.07 c flowcover : 0.00 0 0 0 0 0
713.79/714.07 c clique : 0.00 0 0 0 0 0
713.79/714.07 c zerohalf : 0.00 0 0 0 0 0
713.79/714.07 c mcf : 0.00 0 0 0 0 0
713.79/714.07 c rapidlearning : 0.00 0 0 0 0 0
713.79/714.07 c Pricers : Time Calls Vars
713.79/714.07 c problem variables: 0.00 0 0
713.79/714.07 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
713.79/714.07 c relpscost : 0.00 0 0 0 0 0 0
713.79/714.07 c pscost : 0.00 0 0 0 0 0 0
713.79/714.07 c inference : 21.98 534743 0 0 0 0 1069486
713.79/714.07 c mostinf : 0.00 0 0 0 0 0 0
713.79/714.07 c leastinf : 0.00 0 0 0 0 0 0
713.79/714.07 c fullstrong : 0.00 0 0 0 0 0 0
713.79/714.07 c allfullstrong : 0.00 0 0 0 0 0 0
713.79/714.07 c random : 0.00 0 0 0 0 0 0
713.79/714.07 c Primal Heuristics : Time Calls Found
713.79/714.07 c LP solutions : 0.00 - 0
713.79/714.07 c pseudo solutions : 1.28 - 1
713.79/714.07 c trivial : 0.00 1 0
713.79/714.07 c simplerounding : 0.00 0 0
713.79/714.07 c zirounding : 0.00 0 0
713.79/714.07 c rounding : 0.00 0 0
713.79/714.07 c shifting : 0.00 0 0
713.79/714.07 c intshifting : 0.00 0 0
713.79/714.07 c oneopt : 0.00 0 0
713.79/714.07 c twoopt : 0.00 0 0
713.79/714.07 c fixandinfer : 0.00 0 0
713.79/714.07 c feaspump : 0.00 0 0
713.79/714.07 c coefdiving : 0.00 0 0
713.79/714.07 c pscostdiving : 0.00 0 0
713.79/714.07 c fracdiving : 0.00 0 0
713.79/714.07 c veclendiving : 0.00 0 0
713.79/714.07 c intdiving : 0.00 0 0
713.79/714.07 c actconsdiving : 0.00 0 0
713.79/714.07 c objpscostdiving : 0.00 0 0
713.79/714.07 c rootsoldiving : 0.00 0 0
713.79/714.07 c linesearchdiving : 0.00 0 0
713.79/714.07 c guideddiving : 0.00 0 0
713.79/714.07 c octane : 0.00 0 0
713.79/714.07 c rens : 0.00 0 0
713.79/714.07 c rins : 0.00 0 0
713.79/714.07 c localbranching : 0.00 0 0
713.79/714.07 c mutation : 0.00 0 0
713.79/714.07 c crossover : 0.00 0 0
713.79/714.07 c dins : 0.00 0 0
713.79/714.07 c undercover : 0.00 0 0
713.79/714.07 c nlp : 0.00 0 0
713.79/714.07 c trysol : 0.00 0 0
713.79/714.07 c LP : Time Calls Iterations Iter/call Iter/sec
713.79/714.07 c primal LP : 0.00 0 0 0.00 -
713.79/714.07 c dual LP : 0.00 0 0 0.00 -
713.79/714.07 c lex dual LP : 0.00 0 0 0.00 -
713.79/714.07 c barrier LP : 0.00 0 0 0.00 -
713.79/714.07 c diving/probing LP: 0.00 0 0 0.00 -
713.79/714.07 c strong branching : 0.00 0 0 0.00 -
713.79/714.07 c (at root node) : - 0 0 0.00 -
713.79/714.07 c conflict analysis: 0.00 0 0 0.00 -
713.79/714.07 c B&B Tree :
713.79/714.07 c number of runs : 1
713.79/714.07 c nodes : 765214
713.79/714.07 c nodes (total) : 765214
713.79/714.07 c nodes left : 0
713.79/714.07 c max depth : 74
713.79/714.07 c max depth (total): 74
713.79/714.07 c backtracks : 73713 (9.6%)
713.79/714.07 c delayed cutoffs : 37503
713.79/714.07 c repropagations : 163203 (2504210 domain reductions, 37287 cutoffs)
713.79/714.07 c avg switch length: 6.13
713.79/714.07 c switching time : 165.63
713.79/714.07 c Solution :
713.79/714.07 c Solutions found : 1 (1 improvements)
713.79/714.07 c First Solution : +0.00000000000000e+00 (in run 1, after 765214 nodes, 692.52 seconds, depth 30, found by <relaxation>)
713.79/714.07 c Primal Bound : +0.00000000000000e+00 (in run 1, after 765214 nodes, 692.52 seconds, depth 30, found by <relaxation>)
713.79/714.07 c Dual Bound : +0.00000000000000e+00
713.79/714.07 c Gap : 0.00 %
713.79/714.07 c Root Dual Bound : +0.00000000000000e+00
713.79/714.07 c Root Iterations : 0
713.89/714.12 c Time complete: 713.91.