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-2664527-1276328485.opb>
0.00/0.03 c original problem has 4000 variables (4000 bin, 0 int, 0 impl, 0 cont) and 180 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.07 c presolving:
0.00/0.09 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 0 impls, 80 clqs
0.09/0.10 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 180 upgd conss, 0 impls, 80 clqs
0.09/0.11 c presolving (3 rounds):
0.09/0.11 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.11 c 0 implications, 80 cliques
0.09/0.11 c presolved problem has 4000 variables (4000 bin, 0 int, 0 impl, 0 cont) and 180 constraints
0.09/0.11 c 80 constraints of type <setppc>
0.09/0.11 c 100 constraints of type <logicor>
0.09/0.11 c transformed objective value is always integral (scale: 1)
0.09/0.11 c Presolving Time: 0.05
0.09/0.11 c - non default parameters ----------------------------------------------------------------------
0.09/0.11 c # SCIP version 1.2.1.2
0.09/0.11 c
0.09/0.11 c # frequency for displaying node information lines
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.11 c display/freq = 10000
0.09/0.11 c
0.09/0.11 c # maximal time in seconds to run
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/time = 1799.98
0.09/0.11 c
0.09/0.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/memory = 1620
0.09/0.11 c
0.09/0.11 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11 c limits/solutions = 1
0.09/0.11 c
0.09/0.11 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.11 c lp/solvefreq = -1
0.09/0.11 c
0.09/0.11 c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.11 c separating/maxrounds = 1
0.09/0.11 c
0.09/0.11 c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11 c separating/maxroundsroot = 5
0.09/0.11 c
0.09/0.11 c # should presolving try to simplify inequalities
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/linear/simplifyinequalities = TRUE
0.09/0.11 c
0.09/0.11 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.11 c constraints/knapsack/disaggregation = FALSE
0.09/0.11 c
0.09/0.11 c # should presolving try to simplify knapsacks
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.11 c
0.09/0.11 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11 c presolving/probing/maxrounds = 0
0.09/0.11 c
0.09/0.11 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.11 c heuristics/coefdiving/freq = -1
0.09/0.11 c
0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.11 c heuristics/coefdiving/maxlpiterquot = 0.075
0.09/0.11 c
0.09/0.11 c # additional number of allowed LP iterations
0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.11 c heuristics/coefdiving/maxlpiterofs = 1500
0.09/0.11 c
0.09/0.11 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.11 c heuristics/crossover/freq = -1
0.09/0.11 c
0.09/0.11 c # number of nodes added to the contingent of the total nodes
0.09/0.11 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.11 c heuristics/crossover/nodesofs = 750
0.09/0.11 c
0.09/0.11 c # number of nodes without incumbent change that heuristic should wait
0.09/0.11 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.09/0.11 c heuristics/crossover/nwaitingnodes = 100
0.09/0.11 c
0.09/0.11 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.09/0.11 c # [type: real, range: [0,1], default: 0.1]
0.09/0.11 c heuristics/crossover/nodesquot = 0.15
0.09/0.11 c
0.09/0.11 c # minimum percentage of integer variables that have to be fixed
0.09/0.11 c # [type: real, range: [0,1], default: 0.666]
0.09/0.11 c heuristics/crossover/minfixingrate = 0.5
0.09/0.11 c
0.09/0.11 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.11 c heuristics/feaspump/freq = -1
0.09/0.11 c
0.09/0.11 c # additional number of allowed LP iterations
0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.11 c heuristics/feaspump/maxlpiterofs = 2000
0.09/0.11 c
0.09/0.11 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.11 c heuristics/fracdiving/freq = -1
0.09/0.11 c
0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.11 c heuristics/fracdiving/maxlpiterquot = 0.075
0.09/0.11 c
0.09/0.11 c # additional number of allowed LP iterations
0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.11 c heuristics/fracdiving/maxlpiterofs = 1500
0.09/0.11 c
0.09/0.11 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.11 c heuristics/guideddiving/freq = -1
0.09/0.11 c
0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.11 c heuristics/guideddiving/maxlpiterquot = 0.075
0.09/0.11 c
0.09/0.11 c # additional number of allowed LP iterations
0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.11 c heuristics/guideddiving/maxlpiterofs = 1500
0.09/0.11 c
0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.11 c heuristics/intdiving/maxlpiterquot = 0.075
0.09/0.11 c
0.09/0.11 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.11 c heuristics/intshifting/freq = -1
0.09/0.11 c
0.09/0.11 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.11 c heuristics/linesearchdiving/freq = -1
0.09/0.11 c
0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.11 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.09/0.11 c
0.09/0.11 c # additional number of allowed LP iterations
0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.11 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.09/0.11 c
0.09/0.11 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.11 c heuristics/nlp/freq = -1
0.09/0.11 c
0.09/0.11 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.11 c heuristics/objpscostdiving/freq = -1
0.09/0.11 c
0.09/0.11 c # maximal fraction of diving LP iterations compared to total iteration number
0.09/0.11 c # [type: real, range: [0,1], default: 0.01]
0.09/0.11 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.09/0.11 c
0.09/0.11 c # additional number of allowed LP iterations
0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.11 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.09/0.11 c
0.09/0.11 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.11 c heuristics/oneopt/freq = -1
0.09/0.11 c
0.09/0.11 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.11 c heuristics/pscostdiving/freq = -1
0.09/0.11 c
0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.11 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.09/0.11 c
0.09/0.11 c # additional number of allowed LP iterations
0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.11 c heuristics/pscostdiving/maxlpiterofs = 1500
0.09/0.11 c
0.09/0.11 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.11 c heuristics/rens/freq = -1
0.09/0.11 c
0.09/0.11 c # minimum percentage of integer variables that have to be fixable
0.09/0.11 c # [type: real, range: [0,1], default: 0.5]
0.09/0.11 c heuristics/rens/minfixingrate = 0.3
0.09/0.11 c
0.09/0.11 c # number of nodes added to the contingent of the total nodes
0.09/0.11 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.11 c heuristics/rens/nodesofs = 2000
0.09/0.11 c
0.09/0.11 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.11 c heuristics/rootsoldiving/freq = -1
0.09/0.11 c
0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.09/0.11 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.09/0.11 c
0.09/0.11 c # additional number of allowed LP iterations
0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.11 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.09/0.11 c
0.09/0.11 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.11 c heuristics/rounding/freq = -1
0.09/0.11 c
0.09/0.11 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.11 c heuristics/shifting/freq = -1
0.09/0.11 c
0.09/0.11 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.11 c heuristics/simplerounding/freq = -1
0.09/0.11 c
0.09/0.11 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.11 c heuristics/trivial/freq = -1
0.09/0.11 c
0.09/0.11 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.11 c heuristics/trysol/freq = -1
0.09/0.11 c
0.09/0.11 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.11 c heuristics/veclendiving/freq = -1
0.09/0.11 c
0.09/0.11 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.11 c heuristics/veclendiving/maxlpiterquot = 0.075
0.09/0.11 c
0.09/0.11 c # additional number of allowed LP iterations
0.09/0.11 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.11 c heuristics/veclendiving/maxlpiterofs = 1500
0.09/0.11 c
0.09/0.11 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.11 c heuristics/zirounding/freq = -1
0.09/0.11 c
0.09/0.11 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.11 c separating/cmir/freq = -1
0.09/0.11 c
0.09/0.11 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.11 c separating/flowcover/freq = -1
0.09/0.11 c
0.09/0.11 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11 c separating/rapidlearning/freq = 0
0.09/0.11 c
0.09/0.11 c -----------------------------------------------------------------------------------------------
0.09/0.11 c start solving
0.09/0.11 c
0.09/0.12 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.12 c 0.1s| 1 | 2 | 0 | - |6969k| 0 | - |4000 | 180 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
14.29/14.37 c 14.1s| 10000 | 9970 | 0 | 0.0 | 11M|2458 | - |4000 | 312 | 0 | 0 | 0 | 133 | 0 | 0.000000e+00 | -- | Inf
34.17/34.25 c 33.9s| 20000 | 19939 | 0 | 0.0 | 14M|2458 | - |4000 | 379 | 0 | 0 | 0 | 306 | 0 | 0.000000e+00 | -- | Inf
54.27/54.39 c 53.9s| 30000 | 29907 | 0 | 0.0 | 17M|2458 | - |4000 | 312 | 0 | 0 | 0 | 431 | 0 | 0.000000e+00 | -- | Inf
74.36/74.40 c 73.8s| 40000 | 39847 | 0 | 0.0 | 20M|2458 | - |4000 | 366 | 0 | 0 | 0 | 651 | 0 | 0.000000e+00 | -- | Inf
94.25/94.39 c 93.6s| 50000 | 49812 | 0 | 0.0 | 23M|2458 | - |4000 | 292 | 0 | 0 | 0 | 767 | 0 | 0.000000e+00 | -- | Inf
114.15/114.29 c 113s| 60000 | 59766 | 0 | 0.0 | 26M|2458 | - |4000 | 287 | 0 | 0 | 0 | 883 | 0 | 0.000000e+00 | -- | Inf
134.04/134.13 c 133s| 70000 | 69738 | 0 | 0.0 | 29M|2458 | - |4000 | 300 | 0 | 0 | 0 | 991 | 0 | 0.000000e+00 | -- | Inf
154.02/154.17 c 153s| 80000 | 79683 | 0 | 0.0 | 32M|2458 | - |4000 | 336 | 0 | 0 | 0 |1158 | 0 | 0.000000e+00 | -- | Inf
173.91/174.06 c 173s| 90000 | 89639 | 0 | 0.0 | 34M|2458 | - |4000 | 360 | 0 | 0 | 0 |1325 | 0 | 0.000000e+00 | -- | Inf
193.60/193.75 c 192s|100000 | 99597 | 0 | 0.0 | 37M|2458 | - |4000 | 346 | 0 | 0 | 0 |1457 | 0 | 0.000000e+00 | -- | Inf
213.50/213.62 c 212s|110000 |109548 | 0 | 0.0 | 40M|2458 | - |4000 | 394 | 0 | 0 | 0 |1629 | 0 | 0.000000e+00 | -- | Inf
232.89/233.04 c 231s|120000 |119511 | 0 | 0.0 | 43M|2458 | - |4000 | 428 | 0 | 0 | 0 |1809 | 0 | 0.000000e+00 | -- | Inf
252.29/252.45 c 250s|130000 |129472 | 0 | 0.0 | 46M|2458 | - |4000 | 407 | 0 | 0 | 0 |1973 | 0 | 0.000000e+00 | -- | Inf
271.49/271.67 c 270s|140000 |139411 | 0 | 0.0 | 49M|2458 | - |4000 | 439 | 0 | 0 | 0 |2179 | 0 | 0.000000e+00 | -- | Inf
290.47/290.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
290.47/290.65 c 288s|150000 |149365 | 0 | 0.0 | 52M|2458 | - |4000 | 427 | 0 | 0 | 0 |2414 | 0 | 0.000000e+00 | -- | Inf
309.36/309.59 c 307s|160000 |159327 | 0 | 0.0 | 55M|2458 | - |4000 | 418 | 0 | 0 | 0 |2603 | 0 | 0.000000e+00 | -- | Inf
328.36/328.51 c 326s|170000 |169276 | 0 | 0.0 | 58M|2458 | - |4000 | 447 | 0 | 0 | 0 |2839 | 0 | 0.000000e+00 | -- | Inf
347.25/347.42 c 345s|180000 |179234 | 0 | 0.0 | 61M|2458 | - |4000 | 473 | 0 | 0 | 0 |3079 | 0 | 0.000000e+00 | -- | Inf
366.04/366.22 c 363s|190000 |189193 | 0 | 0.0 | 64M|2458 | - |4000 | 547 | 0 | 0 | 0 |3326 | 0 | 0.000000e+00 | -- | Inf
384.74/384.98 c 382s|200000 |199155 | 0 | 0.0 | 67M|2458 | - |4000 | 558 | 0 | 0 | 0 |3566 | 0 | 0.000000e+00 | -- | Inf
403.33/403.58 c 401s|210000 |209109 | 0 | 0.0 | 70M|2458 | - |4000 | 622 | 0 | 0 | 0 |3845 | 0 | 0.000000e+00 | -- | Inf
421.92/422.18 c 419s|220000 |219068 | 0 | 0.0 | 73M|2458 | - |4000 | 652 | 0 | 0 | 0 |4090 | 0 | 0.000000e+00 | -- | Inf
440.41/440.69 c 437s|230000 |229009 | 0 | 0.0 | 76M|2458 | - |4000 | 714 | 0 | 0 | 0 |4433 | 0 | 0.000000e+00 | -- | Inf
458.81/459.07 c 456s|240000 |238968 | 0 | 0.0 | 79M|2458 | - |4000 | 737 | 0 | 0 | 0 |4676 | 0 | 0.000000e+00 | -- | Inf
476.99/477.26 c 474s|250000 |248925 | 0 | 0.0 | 82M|2458 | - |4000 | 766 | 0 | 0 | 0 |4938 | 0 | 0.000000e+00 | -- | Inf
495.08/495.38 c 492s|260000 |258871 | 0 | 0.0 | 85M|2458 | - |4000 | 756 | 0 | 0 | 0 |5226 | 0 | 0.000000e+00 | -- | Inf
513.08/513.32 c 509s|270000 |268822 | 0 | 0.0 | 88M|2458 | - |4000 | 766 | 0 | 0 | 0 |5504 | 0 | 0.000000e+00 | -- | Inf
530.77/531.05 c 527s|280000 |278775 | 0 | 0.0 | 91M|2458 | - |4000 | 793 | 0 | 0 | 0 |5776 | 0 | 0.000000e+00 | -- | Inf
548.47/548.70 c 545s|290000 |288724 | 0 | 0.0 | 94M|2458 | - |4000 | 850 | 0 | 0 | 0 |6070 | 0 | 0.000000e+00 | -- | Inf
565.86/566.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
565.86/566.16 c 562s|300000 |298678 | 0 | 0.0 | 97M|2458 | - |4000 | 920 | 0 | 0 | 0 |6320 | 0 | 0.000000e+00 | -- | Inf
583.35/583.68 c 579s|310000 |308626 | 0 | 0.0 | 100M|2458 | - |4000 |1009 | 0 | 0 | 0 |6640 | 0 | 0.000000e+00 | -- | Inf
600.55/600.85 c 596s|320000 |318573 | 0 | 0.0 | 103M|2458 | - |4000 |1010 | 0 | 0 | 0 |6938 | 0 | 0.000000e+00 | -- | Inf
617.75/618.01 c 613s|330000 |328523 | 0 | 0.0 | 106M|2458 | - |4000 |1018 | 0 | 0 | 0 |7233 | 0 | 0.000000e+00 | -- | Inf
634.74/635.05 c 630s|340000 |338461 | 0 | 0.0 | 109M|2458 | - |4000 | 976 | 0 | 0 | 0 |7590 | 0 | 0.000000e+00 | -- | Inf
651.53/651.84 c 647s|350000 |348393 | 0 | 0.0 | 113M|2458 | - |4000 |1098 | 0 | 0 | 0 |7987 | 0 | 0.000000e+00 | -- | Inf
668.22/668.53 c 663s|360000 |358339 | 0 | 0.0 | 116M|2458 | - |4000 |1122 | 0 | 0 | 0 |8290 | 0 | 0.000000e+00 | -- | Inf
684.82/685.12 c 680s|370000 |368295 | 0 | 0.0 | 119M|2458 | - |4000 |1117 | 0 | 0 | 0 |8551 | 0 | 0.000000e+00 | -- | Inf
701.11/701.40 c 696s|380000 |378239 | 0 | 0.0 | 122M|2458 | - |4000 |1143 | 0 | 0 | 0 |8876 | 0 | 0.000000e+00 | -- | Inf
717.30/717.68 c 712s|390000 |388179 | 0 | 0.0 | 125M|2458 | - |4000 |1177 | 0 | 0 | 0 |9222 | 0 | 0.000000e+00 | -- | Inf
733.41/733.78 c 728s|400000 |398131 | 0 | 0.0 | 128M|2458 | - |4000 |1168 | 0 | 0 | 0 |9476 | 0 | 0.000000e+00 | -- | Inf
749.39/749.77 c 744s|410000 |408064 | 0 | 0.0 | 131M|2458 | - |4000 |1228 | 0 | 0 | 0 |9868 | 0 | 0.000000e+00 | -- | Inf
765.19/765.60 c 760s|420000 |418014 | 0 | 0.0 | 134M|2458 | - |4000 |1306 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
780.88/781.26 c 775s|430000 |427948 | 0 | 0.0 | 137M|2458 | - |4000 |1426 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
796.37/796.74 c 790s|440000 |437890 | 0 | 0.0 | 141M|2458 | - |4000 |1478 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
811.76/812.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
811.76/812.14 c 806s|450000 |447828 | 0 | 0.0 | 144M|2458 | - |4000 |1569 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
826.76/827.19 c 821s|460000 |457765 | 0 | 0.0 | 147M|2458 | - |4000 |1612 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
841.95/842.38 c 836s|470000 |467678 | 0 | 0.0 | 151M|2458 | - |4000 |1738 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
856.94/857.38 c 851s|480000 |477610 | 0 | 0.0 | 154M|2458 | - |4000 |1845 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
871.73/872.16 c 865s|490000 |487531 | 0 | 0.0 | 157M|2458 | - |4000 |1869 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
886.43/886.81 c 880s|500000 |497465 | 0 | 0.0 | 160M|2458 | - |4000 |1889 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
900.63/901.02 c 894s|510000 |507407 | 0 | 0.0 | 163M|2458 | - |4000 |1875 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
914.73/915.17 c 908s|520000 |517333 | 0 | 0.0 | 167M|2458 | - |4000 |1935 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
928.71/929.19 c 922s|530000 |527256 | 0 | 0.0 | 170M|2458 | - |4000 |1952 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
942.80/943.28 c 936s|540000 |537203 | 0 | 0.0 | 173M|2458 | - |4000 |1891 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
956.71/957.14 c 949s|550000 |547139 | 0 | 0.0 | 176M|2458 | - |4000 |1962 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
970.50/970.94 c 963s|560000 |557060 | 0 | 0.0 | 179M|2458 | - |4000 |1986 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
984.10/984.51 c 976s|570000 |566998 | 0 | 0.0 | 182M|2458 | - |4000 |2007 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
996.99/997.41 c 989s|580000 |576918 | 0 | 0.0 | 186M|2458 | - |4000 |2031 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
1009.69/1010.11 c 1002s|590000 |586836 | 0 | 0.0 | 189M|2458 | - |4000 |2113 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
1022.08/1022.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1022.08/1022.50 c 1014s|600000 |596752 | 0 | 0.0 | 192M|2458 | - |4000 |2088 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
1034.28/1034.72 c 1026s|610000 |606684 | 0 | 0.0 | 195M|2458 | - |4000 |2158 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
1046.27/1046.74 c 1038s|620000 |616567 | 0 | 0.0 | 198M|2458 | - |4000 |2156 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
1058.16/1058.66 c 1050s|630000 |626476 | 0 | 0.0 | 202M|2458 | - |4000 |2172 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
1069.96/1070.42 c 1061s|640000 |636348 | 0 | 0.0 | 205M|2458 | - |4000 |2181 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
1081.36/1081.86 c 1073s|650000 |646233 | 0 | 0.0 | 208M|2458 | - |4000 |2237 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
1092.46/1092.97 c 1084s|660000 |656117 | 0 | 0.0 | 211M|2458 | - |4000 |2177 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1103.25/1103.79 c 1094s|670000 |666025 | 0 | 0.0 | 214M|2458 | - |4000 |2289 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
1113.95/1114.45 c 1105s|680000 |675902 | 0 | 0.0 | 218M|2458 | - |4000 |2202 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
1124.34/1124.87 c 1115s|690000 |685762 | 0 | 0.0 | 221M|2458 | - |4000 |2170 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1134.64/1135.14 c 1125s|700000 |695624 | 0 | 0.0 | 224M|2458 | - |4000 |2358 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
1144.74/1145.23 c 1135s|710000 |705480 | 0 | 0.0 | 228M|2458 | - |4000 |2348 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
1154.63/1155.18 c 1145s|720000 |715325 | 0 | 0.0 | 231M|2458 | - |4000 |2305 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
1164.03/1164.59 c 1154s|730000 |725166 | 0 | 0.0 | 234M|2458 | - |4000 |2342 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1173.02/1173.57 c 1163s|740000 |734981 | 0 | 0.0 | 238M|2458 | - |4000 |2350 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
1181.61/1182.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1181.61/1182.15 c 1172s|750000 |744796 | 0 | 0.0 | 241M|2458 | - |4000 |2353 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
1190.00/1190.58 c 1180s|760000 |754574 | 0 | 0.0 | 245M|2458 | - |4000 |2389 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1197.80/1198.36 c 1187s|770000 |764355 | 0 | 0.0 | 249M|2458 | - |4000 |2460 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1205.10/1205.62 c 1195s|780000 |774111 | 0 | 0.0 | 253M|2458 | - |4000 |2588 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1211.99/1212.55 c 1201s|790000 |783863 | 0 | 0.0 | 257M|2458 | - |4000 |2661 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1218.69/1219.21 c 1208s|800000 |793583 | 0 | 0.0 | 261M|2458 | - |4000 |2863 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1224.99/1225.58 c 1214s|810000 |803264 | 0 | 0.0 | 265M|2458 | - |4000 |3003 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1231.40/1231.99 c 1220s|820000 |812818 | 0 | 0.0 | 269M|2458 | - |4000 |2604 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1237.88/1238.46 c 1227s|830000 |822129 | 0 | 0.0 | 274M|2458 | - |4000 |2710 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1253.68/1254.28 c 1242s|840000 |831037 | 0 | 0.0 | 276M|2458 | - |4000 |1503 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1272.37/1272.92 c 1261s|850000 |840999 | 0 | 0.0 | 277M|2458 | - |4000 | 401 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1291.07/1291.65 c 1279s|860000 |850971 | 0 | 0.0 | 280M|2458 | - |4000 | 321 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1309.96/1310.55 c 1298s|870000 |860928 | 0 | 0.0 | 283M|2458 | - |4000 | 320 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1329.06/1329.61 c 1317s|880000 |870890 | 0 | 0.0 | 286M|2458 | - |4000 | 248 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
1348.54/1349.15 c 1336s|890000 |880846 | 0 | 0.0 | 288M|2458 | - |4000 | 274 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
1368.04/1368.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1368.04/1368.61 c 1356s|900000 |890799 | 0 | 0.0 | 291M|2458 | - |4000 | 332 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
1387.32/1387.96 c 1375s|910000 |900760 | 0 | 0.0 | 294M|2458 | - |4000 | 321 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
1406.82/1407.41 c 1394s|920000 |910713 | 0 | 0.0 | 297M|2458 | - |4000 | 303 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
1426.30/1426.96 c 1413s|930000 |920666 | 0 | 0.0 | 300M|2458 | - |4000 | 341 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
1445.70/1446.33 c 1433s|940000 |930631 | 0 | 0.0 | 303M|2458 | - |4000 | 281 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1465.19/1465.86 c 1452s|950000 |940599 | 0 | 0.0 | 306M|2458 | - |4000 | 307 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1484.88/1485.51 c 1472s|960000 |950553 | 0 | 0.0 | 308M|2458 | - |4000 | 263 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1504.18/1504.85 c 1491s|970000 |960525 | 0 | 0.0 | 311M|2458 | - |4000 | 245 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1523.57/1524.27 c 1510s|980000 |970475 | 0 | 0.0 | 314M|2458 | - |4000 | 318 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1542.96/1543.62 c 1529s|990000 |980437 | 0 | 0.0 | 317M|2458 | - |4000 | 294 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1562.46/1563.14 c 1549s| 1000k|990388 | 0 | 0.0 | 320M|2458 | - |4000 | 308 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1581.84/1582.55 c 1568s| 1010k| 1000k| 0 | 0.0 | 323M|2458 | - |4000 | 326 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1601.23/1601.94 c 1587s| 1020k| 1010k| 0 | 0.0 | 326M|2458 | - |4000 | 339 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1620.83/1621.50 c 1607s| 1030k| 1020k| 0 | 0.0 | 329M|2458 | - |4000 | 290 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1640.13/1640.89 c 1626s| 1040k| 1030k| 0 | 0.0 | 331M|2458 | - |4000 | 267 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1659.62/1660.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1659.62/1660.38 c 1645s| 1050k| 1040k| 0 | 0.0 | 334M|2458 | - |4000 | 262 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1679.02/1679.75 c 1664s| 1060k| 1050k| 0 | 0.0 | 337M|2458 | - |4000 | 320 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1698.60/1699.36 c 1684s| 1070k| 1060k| 0 | 0.0 | 340M|2458 | - |4000 | 300 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1717.89/1718.69 c 1703s| 1080k| 1070k| 0 | 0.0 | 343M|2458 | - |4000 | 317 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1737.29/1738.05 c 1722s| 1090k| 1080k| 0 | 0.0 | 346M|2458 | - |4000 | 336 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1756.77/1757.52 c 1742s| 1100k| 1089k| 0 | 0.0 | 349M|2458 | - |4000 | 333 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1776.07/1776.82 c 1761s| 1110k| 1099k| 0 | 0.0 | 352M|2458 | - |4000 | 357 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1795.47/1796.24 c 1780s| 1120k| 1109k| 0 | 0.0 | 355M|2458 | - |4000 | 351 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1800.06/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.80 c
1800.06/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.80 c Solving Time (sec) : 1784.58
1800.06/1800.80 c Solving Nodes : 1122315
1800.06/1800.80 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.06/1800.80 c Dual Bound : +0.00000000000000e+00
1800.06/1800.80 c Gap : infinite
1800.06/1800.80 s UNKNOWN
1800.06/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.80 c Solving Time : 1784.58
1800.06/1800.80 c Original Problem :
1800.06/1800.80 c Problem name : HOME/instance-2664527-1276328485.opb
1800.06/1800.80 c Variables : 4000 (4000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.80 c Constraints : 180 initial, 180 maximal
1800.06/1800.80 c Presolved Problem :
1800.06/1800.80 c Problem name : t_HOME/instance-2664527-1276328485.opb
1800.06/1800.80 c Variables : 4000 (4000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.80 c Constraints : 180 initial, 3101 maximal
1800.06/1800.80 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.80 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.80 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.80 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.80 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.80 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.80 c probing : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.80 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.80 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.80 c root node : - 0 - - 0 - - - -
1800.06/1800.80 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.80 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.80 c setppc : 80 0 1311211 0 1118602 5294 1313028 0 0 0
1800.06/1800.80 c logicor : 100+ 0 249158 0 1118602 843 108076 0 0 0
1800.06/1800.80 c countsols : 0 0 0 0 1118602 0 0 0 0 0
1800.06/1800.80 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.80 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.80 c setppc : 333.71 0.00 29.61 0.00 304.10
1800.06/1800.80 c logicor : 159.43 0.00 6.57 0.00 152.86
1800.06/1800.80 c countsols : 0.89 0.00 0.00 0.00 0.89
1800.06/1800.80 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.80 c vbounds : 1.23 1 0 0
1800.06/1800.80 c rootredcost : 1.14 0 0 0
1800.06/1800.80 c pseudoobj : 0.69 0 0 0
1800.06/1800.80 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.80 c propagation : 24.36 6137 6137 161212 255.8 65 141.6 -
1800.06/1800.80 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.80 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.80 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.80 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.80 c applied globally : - - - 54692 198.0 - - -
1800.06/1800.80 c applied locally : - - - 15 454.5 - - -
1800.06/1800.80 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.80 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.80 c redcost : 0.00 0 0 0 0 0
1800.06/1800.80 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.80 c intobj : 0.00 0 0 0 0 0
1800.06/1800.80 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.80 c gomory : 0.00 0 0 0 0 0
1800.06/1800.80 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.80 c cmir : 0.00 0 0 0 0 0
1800.06/1800.80 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.80 c clique : 0.00 0 0 0 0 0
1800.06/1800.80 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.80 c mcf : 0.00 0 0 0 0 0
1800.06/1800.80 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.80 c Pricers : Time Calls Vars
1800.06/1800.80 c problem variables: 0.00 0 0
1800.06/1800.80 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.80 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.80 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.80 c inference : 1223.00 1118602 0 0 0 0 2237204
1800.06/1800.80 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.80 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.80 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.80 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.80 c random : 0.00 0 0 0 0 0 0
1800.06/1800.80 c Primal Heuristics : Time Calls Found
1800.06/1800.80 c LP solutions : 0.00 - 0
1800.06/1800.80 c pseudo solutions : 0.00 - 0
1800.06/1800.80 c trivial : 0.00 1 0
1800.06/1800.80 c simplerounding : 0.00 0 0
1800.06/1800.80 c zirounding : 0.00 0 0
1800.06/1800.80 c rounding : 0.00 0 0
1800.06/1800.80 c shifting : 0.00 0 0
1800.06/1800.80 c intshifting : 0.00 0 0
1800.06/1800.80 c oneopt : 0.00 0 0
1800.06/1800.80 c twoopt : 0.00 0 0
1800.06/1800.80 c fixandinfer : 0.00 0 0
1800.06/1800.80 c feaspump : 0.00 0 0
1800.06/1800.80 c coefdiving : 0.00 0 0
1800.06/1800.80 c pscostdiving : 0.00 0 0
1800.06/1800.80 c fracdiving : 0.00 0 0
1800.06/1800.80 c veclendiving : 0.00 0 0
1800.06/1800.80 c intdiving : 0.00 0 0
1800.06/1800.80 c actconsdiving : 0.00 0 0
1800.06/1800.80 c objpscostdiving : 0.00 0 0
1800.06/1800.80 c rootsoldiving : 0.00 0 0
1800.06/1800.80 c linesearchdiving : 0.00 0 0
1800.06/1800.80 c guideddiving : 0.00 0 0
1800.06/1800.80 c octane : 0.00 0 0
1800.06/1800.80 c rens : 0.00 0 0
1800.06/1800.80 c rins : 0.00 0 0
1800.06/1800.80 c localbranching : 0.00 0 0
1800.06/1800.80 c mutation : 0.00 0 0
1800.06/1800.80 c crossover : 0.00 0 0
1800.06/1800.80 c dins : 0.00 0 0
1800.06/1800.80 c undercover : 0.00 0 0
1800.06/1800.80 c nlp : 0.00 0 0
1800.06/1800.80 c trysol : 0.00 0 0
1800.06/1800.80 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.80 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.80 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.80 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.80 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.80 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.80 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.80 c (at root node) : - 0 0 0.00 -
1800.06/1800.80 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.80 c B&B Tree :
1800.06/1800.80 c number of runs : 1
1800.06/1800.80 c nodes : 1122315
1800.06/1800.80 c nodes (total) : 1122315
1800.06/1800.80 c nodes left : 1112201
1800.06/1800.80 c max depth : 2458
1800.06/1800.80 c max depth (total): 2458
1800.06/1800.80 c backtracks : 2568 (0.2%)
1800.06/1800.80 c delayed cutoffs : 2689
1800.06/1800.80 c repropagations : 80351 (115013 domain reductions, 2424 cutoffs)
1800.06/1800.80 c avg switch length: 2.34
1800.06/1800.80 c switching time : 22.17
1800.06/1800.80 c Solution :
1800.06/1800.80 c Solutions found : 0 (0 improvements)
1800.06/1800.80 c Primal Bound : -
1800.06/1800.80 c Dual Bound : +0.00000000000000e+00
1800.06/1800.80 c Gap : infinite
1800.06/1800.80 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.80 c Root Iterations : 0
1801.85/1802.61 c Time complete: 1801.87.