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-2663485-1276682926.opb>
0.00/0.02 c original problem has 1576 variables (1576 bin, 0 int, 0 impl, 0 cont) and 1628 constraints
0.00/0.02 c problem read
0.00/0.02 c No objective function, only one solution is needed.
0.00/0.02 c presolving settings loaded
0.00/0.02 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.04 c presolving:
0.19/0.23 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 151 upgd conss, 11908 impls, 100 clqs
0.39/0.41 c presolving (2 rounds):
0.39/0.41 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.41 c 11908 implications, 100 cliques
0.39/0.41 c presolved problem has 1576 variables (1576 bin, 0 int, 0 impl, 0 cont) and 1628 constraints
0.39/0.41 c 1 constraints of type <knapsack>
0.39/0.41 c 100 constraints of type <setppc>
0.39/0.41 c 1476 constraints of type <and>
0.39/0.41 c 1 constraints of type <linear>
0.39/0.41 c 50 constraints of type <logicor>
0.39/0.41 c transformed objective value is always integral (scale: 1)
0.39/0.41 c Presolving Time: 0.21
0.39/0.42 c - non default parameters ----------------------------------------------------------------------
0.39/0.42 c # SCIP version 1.2.1.2
0.39/0.42 c
0.39/0.42 c # frequency for displaying node information lines
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.42 c display/freq = 10000
0.39/0.42 c
0.39/0.42 c # maximal time in seconds to run
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42 c limits/time = 1799.99
0.39/0.42 c
0.39/0.42 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.42 c limits/memory = 1620
0.39/0.42 c
0.39/0.42 c # solving stops, if the given number of solutions were found (-1: no limit)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42 c limits/solutions = 1
0.39/0.42 c
0.39/0.42 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42 c lp/solvefreq = -1
0.39/0.42 c
0.39/0.42 c # maximal number of separation rounds per node (-1: unlimited)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 5]
0.39/0.42 c separating/maxrounds = 1
0.39/0.42 c
0.39/0.42 c # maximal number of separation rounds in the root node (-1: unlimited)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42 c separating/maxroundsroot = 5
0.39/0.42 c
0.39/0.42 c # should presolving try to simplify inequalities
0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42 c constraints/linear/simplifyinequalities = TRUE
0.39/0.42 c
0.39/0.42 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.39/0.42 c constraints/knapsack/disaggregation = FALSE
0.39/0.42 c
0.39/0.42 c # should presolving try to simplify knapsacks
0.39/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.42 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.42 c
0.39/0.42 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42 c presolving/probing/maxrounds = 0
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42 c heuristics/coefdiving/freq = -1
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42 c heuristics/coefdiving/maxlpiterquot = 0.075
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/coefdiving/maxlpiterofs = 1500
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 30]
0.39/0.42 c heuristics/crossover/freq = -1
0.39/0.42 c
0.39/0.42 c # number of nodes added to the contingent of the total nodes
0.39/0.42 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.42 c heuristics/crossover/nodesofs = 750
0.39/0.42 c
0.39/0.42 c # number of nodes without incumbent change that heuristic should wait
0.39/0.42 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.39/0.42 c heuristics/crossover/nwaitingnodes = 100
0.39/0.42 c
0.39/0.42 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.39/0.42 c # [type: real, range: [0,1], default: 0.1]
0.39/0.42 c heuristics/crossover/nodesquot = 0.15
0.39/0.42 c
0.39/0.42 c # minimum percentage of integer variables that have to be fixed
0.39/0.42 c # [type: real, range: [0,1], default: 0.666]
0.39/0.42 c heuristics/crossover/minfixingrate = 0.5
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.42 c heuristics/feaspump/freq = -1
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/feaspump/maxlpiterofs = 2000
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42 c heuristics/fracdiving/freq = -1
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42 c heuristics/fracdiving/maxlpiterquot = 0.075
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/fracdiving/maxlpiterofs = 1500
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42 c heuristics/guideddiving/freq = -1
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42 c heuristics/guideddiving/maxlpiterquot = 0.075
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/guideddiving/maxlpiterofs = 1500
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42 c heuristics/intdiving/maxlpiterquot = 0.075
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42 c heuristics/intshifting/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42 c heuristics/linesearchdiving/freq = -1
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42 c heuristics/nlp/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.42 c heuristics/objpscostdiving/freq = -1
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to total iteration number
0.39/0.42 c # [type: real, range: [0,1], default: 0.01]
0.39/0.42 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42 c heuristics/oneopt/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42 c heuristics/pscostdiving/freq = -1
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/pscostdiving/maxlpiterofs = 1500
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.42 c heuristics/rens/freq = -1
0.39/0.42 c
0.39/0.42 c # minimum percentage of integer variables that have to be fixable
0.39/0.42 c # [type: real, range: [0,1], default: 0.5]
0.39/0.42 c heuristics/rens/minfixingrate = 0.3
0.39/0.42 c
0.39/0.42 c # number of nodes added to the contingent of the total nodes
0.39/0.42 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.42 c heuristics/rens/nodesofs = 2000
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.42 c heuristics/rootsoldiving/freq = -1
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.39/0.42 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42 c heuristics/rounding/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42 c heuristics/shifting/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42 c heuristics/simplerounding/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.42 c heuristics/trivial/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42 c heuristics/trysol/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.42 c heuristics/veclendiving/freq = -1
0.39/0.42 c
0.39/0.42 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.42 c heuristics/veclendiving/maxlpiterquot = 0.075
0.39/0.42 c
0.39/0.42 c # additional number of allowed LP iterations
0.39/0.42 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.42 c heuristics/veclendiving/maxlpiterofs = 1500
0.39/0.42 c
0.39/0.42 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.42 c heuristics/zirounding/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.42 c separating/cmir/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.42 c separating/flowcover/freq = -1
0.39/0.42 c
0.39/0.42 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.42 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.42 c separating/rapidlearning/freq = 0
0.39/0.42 c
0.39/0.42 c -----------------------------------------------------------------------------------------------
0.39/0.42 c start solving
0.39/0.42 c
0.39/0.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.42 c 0.2s| 1 | 2 | 0 | - |4271k| 0 | - |1576 |1628 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
7.18/7.20 c 6.7s| 10000 | 8207 | 0 | 0.0 | 21M| 76 | - |1576 |2247 | 0 | 0 | 0 |1237 | 0 | 0.000000e+00 | -- | Inf
14.39/14.44 c 13.6s| 20000 | 11943 | 0 | 0.0 | 33M| 76 | - |1576 |3765 | 0 | 0 | 0 |4499 | 0 | 0.000000e+00 | -- | Inf
22.79/22.86 c 21.7s| 30000 | 19839 | 0 | 0.0 | 51M| 76 | - |1576 |2505 | 0 | 0 | 0 |5111 | 0 | 0.000000e+00 | -- | Inf
30.79/30.83 c 29.4s| 40000 | 26407 | 0 | 0.0 | 66M| 76 | - |1576 |2635 | 0 | 0 | 0 |5639 | 0 | 0.000000e+00 | -- | Inf
38.78/38.83 c 37.0s| 50000 | 32458 | 0 | 0.0 | 81M| 76 | - |1576 |2801 | 0 | 0 | 0 |6354 | 0 | 0.000000e+00 | -- | Inf
46.68/46.78 c 44.7s| 60000 | 38137 | 0 | 0.0 | 96M| 76 | - |1576 |2980 | 0 | 0 | 0 |7060 | 0 | 0.000000e+00 | -- | Inf
54.78/54.85 c 52.4s| 70000 | 43183 | 0 | 0.0 | 109M| 76 | - |1576 |3342 | 0 | 0 | 0 |8110 | 0 | 0.000000e+00 | -- | Inf
63.08/63.13 c 60.4s| 80000 | 48109 | 0 | 0.0 | 123M| 76 | - |1576 |3565 | 0 | 0 | 0 |9222 | 0 | 0.000000e+00 | -- | Inf
71.67/71.75 c 68.7s| 90000 | 52525 | 0 | 0.0 | 136M| 76 | - |1576 |3905 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
80.57/80.65 c 77.2s|100000 | 56472 | 0 | 0.0 | 148M| 76 | - |1576 |4358 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
89.87/89.98 c 86.2s|110000 | 60059 | 0 | 0.0 | 161M| 76 | - |1576 |4713 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
99.46/99.56 c 95.5s|120000 | 63381 | 0 | 0.0 | 172M| 76 | - |1576 |5075 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
109.76/109.86 c 105s|130000 | 66149 | 0 | 0.0 | 184M| 76 | - |1576 |5149 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
120.26/120.36 c 116s|140000 | 68640 | 0 | 0.0 | 195M| 76 | - |1576 |5857 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
131.35/131.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
131.35/131.46 c 126s|150000 | 70869 | 0 | 0.0 | 205M| 76 | - |1576 |6602 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
143.15/143.21 c 138s|160000 | 72775 | 0 | 0.0 | 216M| 76 | - |1576 |7464 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
155.15/155.23 c 149s|170000 | 74416 | 0 | 0.0 | 227M| 76 | - |1576 |8748 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
166.34/166.48 c 160s|180000 | 76384 | 0 | 0.0 | 237M| 76 | - |1576 | 10k| 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
177.64/177.78 c 171s|190000 | 78007 | 0 | 0.0 | 245M| 76 | - |1576 | 12k| 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
189.63/189.78 c 183s|200000 | 79312 | 0 | 0.0 | 251M| 76 | - |1576 | 12k| 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
201.33/201.42 c 194s|210000 | 83011 | 0 | 0.0 | 259M| 76 | - |1576 |5032 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
209.33/209.46 c 202s|220000 | 89476 | 0 | 0.0 | 274M| 76 | - |1576 |3420 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
217.13/217.23 c 209s|230000 | 95796 | 0 | 0.0 | 289M| 76 | - |1576 |3172 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
224.72/224.85 c 216s|240000 |102023 | 0 | 0.0 | 304M| 76 | - |1576 |3054 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
232.32/232.43 c 224s|250000 |108201 | 0 | 0.0 | 319M| 76 | - |1576 |3106 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
239.92/240.01 c 231s|260000 |114241 | 0 | 0.0 | 333M| 76 | - |1576 |3135 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
247.32/247.44 c 238s|270000 |120200 | 0 | 0.0 | 347M| 76 | - |1576 |3247 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
254.92/255.10 c 246s|280000 |126042 | 0 | 0.0 | 361M| 76 | - |1576 |3186 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
262.51/262.64 c 253s|290000 |131833 | 0 | 0.0 | 375M| 76 | - |1576 |3281 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
270.21/270.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
270.21/270.30 c 260s|300000 |137456 | 0 | 0.0 | 388M| 76 | - |1576 |3436 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
277.81/277.93 c 268s|310000 |143094 | 0 | 0.0 | 402M| 76 | - |1576 |3339 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
285.40/285.57 c 275s|320000 |148738 | 0 | 0.0 | 416M| 76 | - |1576 |3369 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
293.01/293.12 c 282s|330000 |154329 | 0 | 0.0 | 429M| 76 | - |1576 |3424 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
300.71/300.80 c 290s|340000 |159738 | 0 | 0.0 | 442M| 76 | - |1576 |3566 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
308.30/308.48 c 297s|350000 |165195 | 0 | 0.0 | 455M| 76 | - |1576 |3628 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
316.20/316.30 c 304s|360000 |170601 | 0 | 0.0 | 468M| 76 | - |1576 |3704 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
323.99/324.11 c 312s|370000 |175807 | 0 | 0.0 | 481M| 76 | - |1576 |3826 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
331.89/332.02 c 320s|380000 |181256 | 0 | 0.0 | 494M| 76 | - |1576 |3839 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
339.59/339.79 c 327s|390000 |186564 | 0 | 0.0 | 507M| 76 | - |1576 |4052 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
347.50/347.67 c 335s|400000 |191602 | 0 | 0.0 | 519M| 76 | - |1576 |4122 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
355.38/355.59 c 342s|410000 |196781 | 0 | 0.0 | 532M| 76 | - |1576 |4077 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
363.17/363.36 c 350s|420000 |202054 | 0 | 0.0 | 544M| 76 | - |1576 |4184 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
371.18/371.32 c 357s|430000 |207065 | 0 | 0.0 | 557M| 76 | - |1576 |4294 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
379.38/379.51 c 365s|440000 |211933 | 0 | 0.0 | 569M| 76 | - |1576 |4400 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
387.37/387.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
387.37/387.59 c 373s|450000 |216903 | 0 | 0.0 | 582M| 76 | - |1576 |4525 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
395.57/395.73 c 381s|460000 |221834 | 0 | 0.0 | 594M| 76 | - |1576 |4547 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
403.67/403.86 c 389s|470000 |226783 | 0 | 0.0 | 606M| 76 | - |1576 |4764 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
412.06/412.25 c 397s|480000 |231509 | 0 | 0.0 | 618M| 76 | - |1576 |4688 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
420.36/420.51 c 405s|490000 |236389 | 0 | 0.0 | 630M| 76 | - |1576 |4705 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
428.55/428.75 c 413s|500000 |241125 | 0 | 0.0 | 642M| 76 | - |1576 |4842 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
436.86/437.08 c 421s|510000 |245831 | 0 | 0.0 | 654M| 76 | - |1576 |5036 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
445.36/445.58 c 429s|520000 |250501 | 0 | 0.0 | 666M| 76 | - |1576 |4920 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
453.85/454.08 c 437s|530000 |255102 | 0 | 0.0 | 678M| 76 | - |1576 |4999 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
462.35/462.54 c 445s|540000 |259667 | 0 | 0.0 | 690M| 76 | - |1576 |5096 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
470.85/471.06 c 453s|550000 |264168 | 0 | 0.0 | 702M| 76 | - |1576 |5329 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
479.44/479.65 c 462s|560000 |268756 | 0 | 0.0 | 713M| 76 | - |1576 |5329 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
488.25/488.43 c 470s|570000 |273225 | 0 | 0.0 | 725M| 76 | - |1576 |5219 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
496.84/497.08 c 479s|580000 |277632 | 0 | 0.0 | 737M| 76 | - |1576 |5266 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
505.64/505.87 c 487s|590000 |281994 | 0 | 0.0 | 748M| 76 | - |1576 |5557 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
514.64/514.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
514.64/514.86 c 496s|600000 |286343 | 0 | 0.0 | 760M| 76 | - |1576 |5708 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
523.52/523.78 c 504s|610000 |290780 | 0 | 0.0 | 771M| 76 | - |1576 |5821 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
532.63/532.81 c 513s|620000 |295110 | 0 | 0.0 | 783M| 76 | - |1576 |5554 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
541.52/541.77 c 522s|630000 |299346 | 0 | 0.0 | 795M| 76 | - |1576 |5614 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
550.62/550.82 c 530s|640000 |303473 | 0 | 0.0 | 806M| 76 | - |1576 |5700 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
559.82/560.01 c 539s|650000 |307596 | 0 | 0.0 | 817M| 76 | - |1576 |6146 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
569.11/569.32 c 548s|660000 |311804 | 0 | 0.0 | 829M| 76 | - |1576 |6323 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
578.42/578.69 c 557s|670000 |315995 | 0 | 0.0 | 840M| 76 | - |1576 |6128 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
587.91/588.18 c 566s|680000 |320026 | 0 | 0.0 | 851M| 76 | - |1576 |6036 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
597.41/597.67 c 576s|690000 |323942 | 0 | 0.0 | 862M| 76 | - |1576 |6249 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
607.10/607.33 c 585s|700000 |327784 | 0 | 0.0 | 874M| 76 | - |1576 |6583 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
616.81/617.05 c 594s|710000 |331684 | 0 | 0.0 | 885M| 76 | - |1576 |6937 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
626.70/626.93 c 604s|720000 |335642 | 0 | 0.0 | 896M| 76 | - |1576 |6785 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
636.50/636.76 c 614s|730000 |339583 | 0 | 0.0 | 907M| 76 | - |1576 |6915 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
646.39/646.62 c 623s|740000 |343473 | 0 | 0.0 | 918M| 76 | - |1576 |6596 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
656.29/656.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
656.29/656.51 c 633s|750000 |347187 | 0 | 0.0 | 929M| 76 | - |1576 |6627 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
666.30/666.59 c 642s|760000 |350782 | 0 | 0.0 | 940M| 76 | - |1576 |7137 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
676.59/676.85 c 652s|770000 |354442 | 0 | 0.0 | 951M| 76 | - |1576 |7391 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
686.88/687.18 c 662s|780000 |358205 | 0 | 0.0 | 962M| 76 | - |1576 |7355 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
697.18/697.49 c 672s|790000 |361965 | 0 | 0.0 | 972M| 76 | - |1576 |7295 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
707.37/707.65 c 682s|800000 |365777 | 0 | 0.0 | 983M| 76 | - |1576 |7100 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
717.87/718.16 c 692s|810000 |369230 | 0 | 0.0 | 994M| 76 | - |1576 |7102 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
728.47/728.73 c 703s|820000 |372555 | 0 | 0.0 |1005M| 76 | - |1576 |7352 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
739.17/739.49 c 713s|830000 |375926 | 0 | 0.0 |1016M| 76 | - |1576 |7785 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
750.06/750.40 c 724s|840000 |379390 | 0 | 0.0 |1026M| 76 | - |1576 |7718 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
760.96/761.25 c 734s|850000 |382864 | 0 | 0.0 |1037M| 76 | - |1576 |7756 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
771.76/772.04 c 745s|860000 |386386 | 0 | 0.0 |1048M| 76 | - |1576 |7933 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
782.55/782.87 c 755s|870000 |389970 | 0 | 0.0 |1059M| 76 | - |1576 |8063 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
794.05/794.32 c 766s|880000 |393080 | 0 | 0.0 |1069M| 76 | - |1576 |8032 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
805.44/805.73 c 777s|890000 |396124 | 0 | 0.0 |1080M| 76 | - |1576 |8160 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
816.84/817.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
816.84/817.15 c 788s|900000 |399303 | 0 | 0.0 |1090M| 76 | - |1576 |8717 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
828.54/828.84 c 800s|910000 |402482 | 0 | 0.0 |1101M| 76 | - |1576 |8528 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
839.84/840.19 c 811s|920000 |405703 | 0 | 0.0 |1111M| 76 | - |1576 |8700 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
851.43/851.76 c 822s|930000 |408982 | 0 | 0.0 |1122M| 76 | - |1576 |8734 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
862.93/863.22 c 833s|940000 |412272 | 0 | 0.0 |1132M| 76 | - |1576 |8530 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
874.73/875.09 c 845s|950000 |415186 | 0 | 0.0 |1143M| 76 | - |1576 |8540 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
886.63/886.98 c 856s|960000 |417903 | 0 | 0.0 |1153M| 76 | - |1576 |8868 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
898.62/898.95 c 868s|970000 |420726 | 0 | 0.0 |1163M| 76 | - |1576 |9302 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
910.82/911.14 c 880s|980000 |423536 | 0 | 0.0 |1173M| 76 | - |1576 |9247 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
922.92/923.21 c 892s|990000 |426466 | 0 | 0.0 |1183M| 76 | - |1576 |9459 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
935.01/935.34 c 903s| 1000k|429436 | 0 | 0.0 |1194M| 76 | - |1576 |9573 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
947.00/947.39 c 915s| 1010k|432508 | 0 | 0.0 |1204M| 76 | - |1576 |9181 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
959.00/959.35 c 927s| 1020k|435463 | 0 | 0.0 |1214M| 76 | - |1576 |9122 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
971.69/972.04 c 939s| 1030k|437812 | 0 | 0.0 |1224M| 76 | - |1576 |9377 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
984.40/984.76 c 951s| 1040k|440264 | 0 | 0.0 |1234M| 76 | - |1576 |9963 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
997.40/997.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
997.40/997.76 c 964s| 1050k|442735 | 0 | 0.0 |1243M| 76 | - |1576 |9464 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
1009.78/1010.18 c 976s| 1060k|445345 | 0 | 0.0 |1253M| 76 | - |1576 |9888 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1022.59/1023.00 c 989s| 1070k|447961 | 0 | 0.0 |1263M| 76 | - |1576 | 10k| 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
1035.48/1035.87 c 1001s| 1080k|450719 | 0 | 0.0 |1273M| 76 | - |1576 |9952 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
1047.78/1048.15 c 1013s| 1090k|453605 | 0 | 0.0 |1283M| 76 | - |1576 | 10k| 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
1060.57/1060.96 c 1026s| 1100k|456239 | 0 | 0.0 |1293M| 76 | - |1576 | 10k| 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
1074.28/1074.64 c 1039s| 1110k|458237 | 0 | 0.0 |1303M| 76 | - |1576 | 10k| 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
1087.97/1088.30 c 1052s| 1120k|460289 | 0 | 0.0 |1312M| 76 | - |1576 | 10k| 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
1101.96/1102.36 c 1066s| 1130k|462388 | 0 | 0.0 |1321M| 76 | - |1576 | 10k| 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
1115.36/1115.74 c 1079s| 1140k|464630 | 0 | 0.0 |1331M| 76 | - |1576 | 10k| 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
1129.05/1129.41 c 1092s| 1150k|466908 | 0 | 0.0 |1341M| 76 | - |1576 | 11k| 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
1142.65/1143.06 c 1106s| 1160k|469314 | 0 | 0.0 |1350M| 76 | - |1576 | 11k| 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
1153.65/1154.00 c (node 1168274) switching to memory saving mode (mem: 1296.0M/1620.0M)
1156.35/1156.79 c 1119s| 1170k|470910 | 0 | 0.0 |1355M| 76 | - |1576 | 12k| 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
1166.14/1166.58 c 1129s| 1180k|470680 | 0 | 0.0 |1356M| 76 | - |1576 | 15k| 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
1180.84/1181.21 c 1143s| 1190k|470087 | 0 | 0.0 |1351M| 76 | - |1576 | 17k| 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
1196.13/1196.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1196.13/1196.50 c 1158s| 1200k|469982 | 0 | 0.0 |1352M| 76 | - |1576 | 19k| 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
1212.23/1212.63 c 1173s| 1210k|469735 | 0 | 0.0 |1350M| 76 | - |1576 | 17k| 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
1229.72/1230.13 c 1191s| 1220k|469368 | 0 | 0.0 |1348M| 76 | - |1576 | 19k| 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
1247.12/1247.57 c 1208s| 1230k|469040 | 0 | 0.0 |1345M| 76 | - |1576 | 19k| 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
1264.22/1264.62 c 1224s| 1240k|468899 | 0 | 0.0 |1345M| 76 | - |1576 | 20k| 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
1282.31/1282.76 c 1242s| 1250k|468706 | 0 | 0.0 |1345M| 76 | - |1576 | 22k| 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
1299.60/1300.01 c 1259s| 1260k|468671 | 0 | 0.0 |1347M| 76 | - |1576 | 26k| 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
1320.50/1320.98 c 1279s| 1270k|468644 | 0 | 0.0 |1348M| 76 | - |1576 | 27k| 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | -- | Inf
1343.89/1344.30 c 1302s| 1280k|468618 | 0 | 0.0 |1349M| 76 | - |1576 | 28k| 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
1369.58/1370.03 c 1328s| 1290k|468594 | 0 | 0.0 |1348M| 76 | - |1576 | 27k| 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
1390.77/1391.26 c 1349s| 1300k|468469 | 0 | 0.0 |1346M| 76 | - |1576 | 25k| 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
1414.57/1415.06 c 1372s| 1310k|468372 | 0 | 0.0 |1347M| 76 | - |1576 | 28k| 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | -- | Inf
1434.96/1435.45 c 1392s| 1320k|468340 | 0 | 0.0 |1347M| 76 | - |1576 | 28k| 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | -- | Inf
1457.55/1458.01 c 1414s| 1330k|468314 | 0 | 0.0 |1347M| 76 | - |1576 | 27k| 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | -- | Inf
1484.74/1485.24 c 1441s| 1340k|468292 | 0 | 0.0 |1349M| 76 | - |1576 | 30k| 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | -- | Inf
1506.43/1506.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1506.43/1506.91 c 1462s| 1350k|468259 | 0 | 0.0 |1349M| 76 | - |1576 | 31k| 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
1532.53/1533.05 c 1488s| 1360k|467898 | 0 | 0.0 |1347M| 76 | - |1576 | 34k| 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | -- | Inf
1560.32/1560.83 c 1516s| 1370k|467882 | 0 | 0.0 |1347M| 77 | - |1576 | 35k| 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | -- | Inf
1585.51/1586.05 c 1540s| 1380k|467867 | 0 | 0.0 |1349M| 77 | - |1576 | 37k| 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | -- | Inf
1610.70/1611.28 c 1565s| 1390k|467853 | 0 | 0.0 |1349M| 77 | - |1576 | 37k| 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | -- | Inf
1636.40/1636.94 c 1591s| 1400k|467838 | 0 | 0.0 |1349M| 77 | - |1576 | 38k| 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | -- | Inf
1666.09/1666.69 c 1620s| 1410k|467832 | 0 | 0.0 |1347M| 77 | - |1576 | 35k| 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | -- | Inf
1697.28/1697.85 c 1651s| 1420k|467820 | 0 | 0.0 |1348M| 77 | - |1576 | 37k| 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | -- | Inf
1727.77/1728.32 c 1681s| 1430k|467809 | 0 | 0.0 |1348M| 77 | - |1576 | 37k| 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | -- | Inf
1759.06/1759.64 c 1712s| 1440k|467799 | 0 | 0.0 |1350M| 77 | - |1576 | 39k| 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | -- | Inf
1800.06/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.61 c
1800.06/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.61 c Solving Time (sec) : 1752.44
1800.06/1800.61 c Solving Nodes : 1449489
1800.06/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.06/1800.61 c Dual Bound : +0.00000000000000e+00
1800.06/1800.61 c Gap : infinite
1800.06/1800.61 s UNKNOWN
1800.06/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.61 c Solving Time : 1752.44
1800.06/1800.61 c Original Problem :
1800.06/1800.61 c Problem name : HOME/instance-2663485-1276682926.opb
1800.06/1800.61 c Variables : 1576 (1576 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.61 c Constraints : 1628 initial, 1628 maximal
1800.06/1800.61 c Presolved Problem :
1800.06/1800.61 c Problem name : t_HOME/instance-2663485-1276682926.opb
1800.06/1800.61 c Variables : 1576 (1576 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.61 c Constraints : 1628 initial, 42153 maximal
1800.06/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c and : 0.18 0 0 0 0 0 0 0 0
1800.06/1800.61 c linear : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.61 c root node : - 0 - - 0 - - - -
1800.06/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.61 c knapsack : 1 0 3753477 0 982100 36894 3286516 0 0 0
1800.06/1800.61 c setppc : 100 0 4070720 0 987799 9993 333588 0 0 0
1800.06/1800.61 c and : 1476 0 4060727 0 987799 123 69266342 0 0 0
1800.06/1800.61 c linear : 1 0 4053399 0 987799 440663 1078855 0 0 0
1800.06/1800.61 c logicor : 50+ 0 1215518 0 987711 30222 6465071 0 0 0
1800.06/1800.61 c countsols : 0 0 0 0 987798 0 0 0 0 0
1800.06/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.61 c knapsack : 66.62 0.00 61.89 0.00 4.73
1800.06/1800.61 c setppc : 89.55 0.00 10.09 0.00 79.46
1800.06/1800.61 c and : 225.26 0.00 184.93 0.00 40.33
1800.06/1800.61 c linear : 155.79 0.00 154.81 0.00 0.98
1800.06/1800.61 c logicor : 471.05 0.00 466.75 0.00 4.30
1800.06/1800.61 c countsols : 0.46 0.00 0.00 0.00 0.46
1800.06/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.61 c vbounds : 2.01 1 0 0
1800.06/1800.61 c rootredcost : 2.40 0 0 0
1800.06/1800.61 c pseudoobj : 1.78 0 0 0
1800.06/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.61 c propagation : 100.76 517895 301841 2398664 57.9 118 67.7 -
1800.06/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.61 c applied globally : - - - 375241 52.7 - - -
1800.06/1800.61 c applied locally : - - - 0 0.0 - - -
1800.06/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.61 c redcost : 0.00 0 0 0 0 0
1800.06/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.61 c intobj : 0.00 0 0 0 0 0
1800.06/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.61 c gomory : 0.00 0 0 0 0 0
1800.06/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.61 c cmir : 0.00 0 0 0 0 0
1800.06/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.61 c clique : 0.00 0 0 0 0 0
1800.06/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.61 c mcf : 0.00 0 0 0 0 0
1800.06/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.61 c Pricers : Time Calls Vars
1800.06/1800.61 c problem variables: 0.00 0 0
1800.06/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.61 c inference : 110.39 987798 0 0 0 0 1975596
1800.06/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.61 c random : 0.00 0 0 0 0 0 0
1800.06/1800.61 c Primal Heuristics : Time Calls Found
1800.06/1800.61 c LP solutions : 0.00 - 0
1800.06/1800.61 c pseudo solutions : 0.00 - 0
1800.06/1800.61 c trivial : 0.01 1 0
1800.06/1800.61 c simplerounding : 0.00 0 0
1800.06/1800.61 c zirounding : 0.00 0 0
1800.06/1800.61 c rounding : 0.00 0 0
1800.06/1800.61 c shifting : 0.00 0 0
1800.06/1800.61 c intshifting : 0.00 0 0
1800.06/1800.61 c oneopt : 0.00 0 0
1800.06/1800.61 c twoopt : 0.00 0 0
1800.06/1800.61 c fixandinfer : 0.00 0 0
1800.06/1800.61 c feaspump : 0.00 0 0
1800.06/1800.61 c coefdiving : 0.00 0 0
1800.06/1800.61 c pscostdiving : 0.00 0 0
1800.06/1800.61 c fracdiving : 0.00 0 0
1800.06/1800.61 c veclendiving : 0.00 0 0
1800.06/1800.61 c intdiving : 0.00 0 0
1800.06/1800.61 c actconsdiving : 0.00 0 0
1800.06/1800.61 c objpscostdiving : 0.00 0 0
1800.06/1800.61 c rootsoldiving : 0.00 0 0
1800.06/1800.61 c linesearchdiving : 0.00 0 0
1800.06/1800.61 c guideddiving : 0.00 0 0
1800.06/1800.61 c octane : 0.00 0 0
1800.06/1800.61 c rens : 0.00 0 0
1800.06/1800.61 c rins : 0.00 0 0
1800.06/1800.61 c localbranching : 0.00 0 0
1800.06/1800.61 c mutation : 0.00 0 0
1800.06/1800.61 c crossover : 0.00 0 0
1800.06/1800.61 c dins : 0.00 0 0
1800.06/1800.61 c undercover : 0.00 0 0
1800.06/1800.61 c nlp : 0.00 0 0
1800.06/1800.61 c trysol : 0.00 0 0
1800.06/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.61 c (at root node) : - 0 0 0.00 -
1800.06/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.61 c B&B Tree :
1800.06/1800.61 c number of runs : 1
1800.06/1800.61 c nodes : 1449489
1800.06/1800.61 c nodes (total) : 1449489
1800.06/1800.61 c nodes left : 467793
1800.06/1800.61 c max depth : 77
1800.06/1800.61 c max depth (total): 77
1800.06/1800.61 c backtracks : 104789 (7.2%)
1800.06/1800.61 c delayed cutoffs : 58315
1800.06/1800.61 c repropagations : 805247 (5851570 domain reductions, 56204 cutoffs)
1800.06/1800.61 c avg switch length: 4.57
1800.06/1800.61 c switching time : 460.48
1800.06/1800.61 c Solution :
1800.06/1800.61 c Solutions found : 0 (0 improvements)
1800.06/1800.61 c Primal Bound : -
1800.06/1800.61 c Dual Bound : +0.00000000000000e+00
1800.06/1800.61 c Gap : infinite
1800.06/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.61 c Root Iterations : 0