0.79/0.80 c SCIP version 1.1.0.7
0.79/0.80 c LP-Solver Clp 1.8.2
0.79/0.80 c user parameter file <scip.set> not found - using default parameters
0.79/0.80 c read problem <HOME/instance-1883857-1245236328.opb>
0.79/0.80 c original problem has 2550 variables (2550 bin, 0 int, 0 impl, 0 cont) and 63801 constraints
0.89/0.94 c No objective function, only one solution is needed.
0.89/0.94 c start presolving problem
0.89/0.94 c presolving:
1.49/1.58 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 63801 upgd conss, 127500 impls, 0 clqs
1.59/1.68 c presolving (2 rounds):
1.59/1.68 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.59/1.68 c 127500 implications, 0 cliques
1.59/1.68 c presolved problem has 2550 variables (2550 bin, 0 int, 0 impl, 0 cont) and 63801 constraints
1.59/1.68 c 63801 constraints of type <logicor>
1.59/1.68 c transformed objective value is always integral (scale: 1)
1.59/1.68 c Presolving Time: 0.57
1.59/1.68 c PURESAT
1.59/1.68 c -----------------------------------------------------------------------------------------------
1.59/1.68 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 0]
1.59/1.68 c separating/flowcover/freq = c -1
1.59/1.68 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 0]
1.59/1.68 c separating/cmir/freq = c -1
1.59/1.68 c # additional number of allowed LP iterations
1.59/1.68 c # [type: int, range: [0,2147483647], default: 1000]
1.59/1.68 c heuristics/veclendiving/maxlpiterofs = c 1500
1.59/1.68 c # maximal fraction of diving LP iterations compared to node LP iterations
1.59/1.68 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.59/1.68 c heuristics/veclendiving/maxlpiterquot = c 0.075
1.59/1.68 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 10]
1.59/1.68 c heuristics/veclendiving/freq = c -1
1.59/1.68 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 1]
1.59/1.68 c heuristics/simplerounding/freq = c -1
1.59/1.68 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 10]
1.59/1.68 c heuristics/shifting/freq = c -1
1.59/1.68 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 1]
1.59/1.68 c heuristics/rounding/freq = c -1
1.59/1.68 c # additional number of allowed LP iterations
1.59/1.68 c # [type: int, range: [0,2147483647], default: 1000]
1.59/1.68 c heuristics/rootsoldiving/maxlpiterofs = c 1500
1.59/1.68 c # maximal fraction of diving LP iterations compared to node LP iterations
1.59/1.68 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
1.59/1.68 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
1.59/1.68 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 20]
1.59/1.68 c heuristics/rootsoldiving/freq = c -1
1.59/1.68 c # number of nodes added to the contingent of the total nodes
1.59/1.68 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.59/1.68 c heuristics/rens/nodesofs = c 2000
1.59/1.68 c # minimum percentage of integer variables that have to be fixable
1.59/1.68 c # [type: real, range: [0,1], default: 0.5]
1.59/1.68 c heuristics/rens/minfixingrate = c 0.3
1.59/1.68 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 0]
1.59/1.68 c heuristics/rens/freq = c -1
1.59/1.68 c # additional number of allowed LP iterations
1.59/1.68 c # [type: int, range: [0,2147483647], default: 1000]
1.59/1.68 c heuristics/pscostdiving/maxlpiterofs = c 1500
1.59/1.68 c # maximal fraction of diving LP iterations compared to node LP iterations
1.59/1.68 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.59/1.68 c heuristics/pscostdiving/maxlpiterquot = c 0.075
1.59/1.68 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 10]
1.59/1.68 c heuristics/pscostdiving/freq = c -1
1.59/1.68 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 1]
1.59/1.68 c heuristics/oneopt/freq = c -1
1.59/1.68 c # additional number of allowed LP iterations
1.59/1.68 c # [type: int, range: [0,2147483647], default: 1000]
1.59/1.68 c heuristics/objpscostdiving/maxlpiterofs = c 1500
1.59/1.68 c # maximal fraction of diving LP iterations compared to total iteration number
1.59/1.68 c # [type: real, range: [0,1], default: 0.01]
1.59/1.68 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
1.59/1.68 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 20]
1.59/1.68 c heuristics/objpscostdiving/freq = c -1
1.59/1.68 c # additional number of allowed LP iterations
1.59/1.68 c # [type: int, range: [0,2147483647], default: 1000]
1.59/1.68 c heuristics/linesearchdiving/maxlpiterofs = c 1500
1.59/1.68 c # maximal fraction of diving LP iterations compared to node LP iterations
1.59/1.68 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.59/1.68 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
1.59/1.68 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 10]
1.59/1.68 c heuristics/linesearchdiving/freq = c -1
1.59/1.68 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 10]
1.59/1.68 c heuristics/intshifting/freq = c -1
1.59/1.68 c # maximal fraction of diving LP iterations compared to node LP iterations
1.59/1.68 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.59/1.68 c heuristics/intdiving/maxlpiterquot = c 0.075
1.59/1.68 c # additional number of allowed LP iterations
1.59/1.68 c # [type: int, range: [0,2147483647], default: 1000]
1.59/1.68 c heuristics/guideddiving/maxlpiterofs = c 1500
1.59/1.68 c # maximal fraction of diving LP iterations compared to node LP iterations
1.59/1.68 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.59/1.68 c heuristics/guideddiving/maxlpiterquot = c 0.075
1.59/1.68 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 10]
1.59/1.68 c heuristics/guideddiving/freq = c -1
1.59/1.68 c # additional number of allowed LP iterations
1.59/1.68 c # [type: int, range: [0,2147483647], default: 1000]
1.59/1.68 c heuristics/fracdiving/maxlpiterofs = c 1500
1.59/1.68 c # maximal fraction of diving LP iterations compared to node LP iterations
1.59/1.68 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.59/1.68 c heuristics/fracdiving/maxlpiterquot = c 0.075
1.59/1.68 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 10]
1.59/1.68 c heuristics/fracdiving/freq = c -1
1.59/1.68 c # additional number of allowed LP iterations
1.59/1.68 c # [type: int, range: [0,2147483647], default: 1000]
1.59/1.68 c heuristics/feaspump/maxlpiterofs = c 2000
1.59/1.68 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 20]
1.59/1.68 c heuristics/feaspump/freq = c -1
1.59/1.68 c # minimum percentage of integer variables that have to be fixed
1.59/1.68 c # [type: real, range: [0,1], default: 0.666]
1.59/1.68 c heuristics/crossover/minfixingrate = c 0.5
1.59/1.68 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
1.59/1.68 c # [type: real, range: [0,1], default: 0.1]
1.59/1.68 c heuristics/crossover/nodesquot = c 0.15
1.59/1.68 c # number of nodes without incumbent change that heuristic should wait
1.59/1.68 c # [type: longint, range: [0,9223372036854775807], default: 200]
1.59/1.68 c heuristics/crossover/nwaitingnodes = c 100
1.59/1.68 c # number of nodes added to the contingent of the total nodes
1.59/1.68 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.59/1.68 c heuristics/crossover/nodesofs = c 750
1.59/1.68 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 30]
1.59/1.68 c heuristics/crossover/freq = c -1
1.59/1.68 c # additional number of allowed LP iterations
1.59/1.68 c # [type: int, range: [0,2147483647], default: 1000]
1.59/1.68 c heuristics/coefdiving/maxlpiterofs = c 1500
1.59/1.68 c # maximal fraction of diving LP iterations compared to node LP iterations
1.59/1.68 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.59/1.68 c heuristics/coefdiving/maxlpiterquot = c 0.075
1.59/1.68 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: 10]
1.59/1.68 c heuristics/coefdiving/freq = c -1
1.59/1.68 c # priority of node selection rule <dfs> in standard mode
1.59/1.68 c # [type: int, range: [-536870912,536870911], default: 0]
1.59/1.68 c nodeselection/dfs/stdpriority = c 1000000
1.59/1.68 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
1.59/1.68 c # [type: int, range: [-1,2147483647], default: -1]
1.59/1.68 c presolving/probing/maxrounds = c 0
1.59/1.68 c # should presolving try to simplify knapsacks
1.59/1.68 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.59/1.68 c constraints/knapsack/simplifyinequalities = c TRUE
1.59/1.68 c # should disaggregation of knapsack constraints be allowed in preprocessing?
1.59/1.68 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
1.59/1.68 c constraints/knapsack/disaggregation = c FALSE
1.59/1.68 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
1.59/1.69 c # [type: int, range: [-1,2147483647], default: -1]
1.59/1.69 c constraints/knapsack/maxnumcardlift = c 0
1.59/1.69 c # should presolving try to simplify inequalities
1.59/1.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.59/1.69 c constraints/linear/simplifyinequalities = c TRUE
1.59/1.69 c # maximal number of separation rounds in the root node (-1: unlimited)
1.59/1.69 c # [type: int, range: [-1,2147483647], default: -1]
1.59/1.69 c separating/maxroundsroot = c 5
1.59/1.69 c # maximal number of separation rounds per node (-1: unlimited)
1.59/1.69 c # [type: int, range: [-1,2147483647], default: 5]
1.59/1.69 c separating/maxrounds = c 1
1.59/1.69 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
1.59/1.69 c # [type: char, range: {lafpsqd}, default: l]
1.59/1.69 c lp/pricing = c a
1.59/1.69 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.59/1.69 c # [type: int, range: [-1,2147483647], default: 1]
1.59/1.69 c lp/solvefreq = c 0
1.59/1.69 c # solving stops, if the given number of solutions were found (-1: no limit)
1.59/1.69 c # [type: int, range: [-1,2147483647], default: -1]
1.59/1.69 c limits/solutions = c 1
1.59/1.69 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.59/1.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.59/1.69 c limits/memory = c 1620
1.59/1.69 c # maximal time in seconds to run
1.59/1.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.59/1.69 c limits/time = c 1791
1.59/1.69 c # frequency for displaying node information lines
1.59/1.69 c # [type: int, range: [-1,2147483647], default: 100]
1.59/1.69 c display/freq = c 10000
1.59/1.69 c # should enforcement of pseudo solution be disabled?
1.59/1.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.59/1.69 c constraints/disableenfops = c TRUE
1.59/1.69 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.59/1.69 c # [type: int, range: [-1,2147483647], default: 0]
1.59/1.69 c constraints/agelimit = c 1
1.59/1.69 c # should binary conflicts be preferred?
1.59/1.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.59/1.69 c conflict/preferbinary = c TRUE
1.59/1.69 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.59/1.69 c # [type: int, range: [-1,2147483647], default: -1]
1.59/1.69 c conflict/interconss = c 0
1.59/1.69 c -----------------------------------------------------------------------------------------------
1.59/1.69 c start solving problem
1.59/1.69 c
1.99/2.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.99/2.03 c 1.0s| 1 | 0 | 102 | 76M| 0 | 102 |2550 | 63k| 63k|2550 | 63k| 0 | 0 | 0 | 5.100000e+01 | -- | Inf
3.09/3.18 c 2.0s| 1 | 0 | 518 | 76M| 0 | 96 |2550 | 63k| 63k|2550 | 63k| 3 | 0 | 0 | 5.100000e+01 | -- | Inf
5.19/5.23 c 4.1s| 1 | 0 | 917 | 76M| 0 | 88 |2550 | 63k| 63k|2550 | 63k| 14 | 0 | 0 | 5.100000e+01 | -- | Inf
10.69/10.76 c 9.6s| 1 | 0 | 1446 | 76M| 0 | 80 |2550 | 63k| 63k|2550 | 63k| 23 | 0 | 0 | 5.100000e+01 | -- | Inf
17.99/18.03 c 16.8s| 1 | 0 | 3170 | 77M| 0 | 45 |2550 | 63k| 63k|2550 | 63k| 33 | 0 | 0 | 5.100000e+01 | -- | Inf
22.88/22.92 c 21.7s| 1 | 0 | 3450 | 77M| 0 | 45 |2550 | 63k| 63k|2550 | 63k| 39 | 0 | 0 | 5.100000e+01 | -- | Inf
45.18/45.29 c 43.8s| 1 | 2 | 3450 | 77M| 0 | 45 |2550 | 63k| 63k|2550 | 63k| 39 | 0 | 33 | 5.100000e+01 | -- | Inf
70.67/70.73 c 69.0s| 10000 | 1579 | 3450 | 79M|1606 | - |2550 | 63k| 57k| 0 | 0 | 39 |5408 | 33 | 5.100000e+01 | -- | Inf
100.26/100.37 c 98.4s| 20000 | 1585 | 3450 | 79M|1606 | - |2550 | 63k| 57k| 0 | 0 | 39 | 11k| 33 | 5.100000e+01 | -- | Inf
129.36/129.43 c 127s| 30000 | 1579 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 18k| 33 | 5.100000e+01 | -- | Inf
158.04/158.12 c 156s| 40000 | 1577 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 24k| 33 | 5.100000e+01 | -- | Inf
187.13/187.27 c 184s| 50000 | 1581 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 30k| 33 | 5.100000e+01 | -- | Inf
215.72/215.81 c 213s| 60000 | 1579 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 36k| 33 | 5.100000e+01 | -- | Inf
243.92/244.08 c 241s| 70000 | 1575 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 43k| 33 | 5.100000e+01 | -- | Inf
272.81/272.93 c 269s| 80000 | 1574 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 49k| 33 | 5.100000e+01 | -- | Inf
302.20/302.30 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
302.20/302.30 c 298s| 90000 | 1569 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 55k| 33 | 5.100000e+01 | -- | Inf
329.59/329.75 c 326s|100000 | 1577 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 62k| 33 | 5.100000e+01 | -- | Inf
357.59/357.74 c 353s|110000 | 1588 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 68k| 33 | 5.100000e+01 | -- | Inf
385.28/385.46 c 381s|120000 | 1581 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 74k| 33 | 5.100000e+01 | -- | Inf
413.08/413.25 c 408s|130000 | 1582 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 80k| 33 | 5.100000e+01 | -- | Inf
441.97/442.17 c 437s|140000 | 1580 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 87k| 33 | 5.100000e+01 | -- | Inf
471.16/471.33 c 466s|150000 | 1578 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 93k| 33 | 5.100000e+01 | -- | Inf
499.25/499.46 c 494s|160000 | 1575 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 99k| 33 | 5.100000e+01 | -- | Inf
526.04/526.28 c 520s|170000 | 1582 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 106k| 33 | 5.100000e+01 | -- | Inf
553.84/554.01 c 548s|180000 | 1581 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 112k| 33 | 5.100000e+01 | -- | Inf
581.33/581.51 c 575s|190000 | 1579 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 118k| 33 | 5.100000e+01 | -- | Inf
609.62/609.89 c 603s|200000 | 1587 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 125k| 33 | 5.100000e+01 | -- | Inf
637.01/637.29 c 630s|210000 | 1584 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 131k| 33 | 5.100000e+01 | -- | Inf
664.21/664.44 c 657s|220000 | 1574 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 137k| 33 | 5.100000e+01 | -- | Inf
692.30/692.52 c 685s|230000 | 1576 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 144k| 33 | 5.100000e+01 | -- | Inf
718.79/719.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
718.79/719.02 c 711s|240000 | 1581 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 150k| 33 | 5.100000e+01 | -- | Inf
746.18/746.46 c 739s|250000 | 1580 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 156k| 33 | 5.100000e+01 | -- | Inf
773.58/773.82 c 766s|260000 | 1582 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 163k| 33 | 5.100000e+01 | -- | Inf
801.17/801.46 c 793s|270000 | 1577 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 169k| 33 | 5.100000e+01 | -- | Inf
828.56/828.87 c 820s|280000 | 1572 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 176k| 33 | 5.100000e+01 | -- | Inf
857.56/857.89 c 849s|290000 | 1572 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 182k| 33 | 5.100000e+01 | -- | Inf
884.65/884.92 c 876s|300000 | 1570 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 188k| 33 | 5.100000e+01 | -- | Inf
913.15/913.47 c 904s|310000 | 1571 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 195k| 33 | 5.100000e+01 | -- | Inf
940.73/941.06 c 931s|320000 | 1576 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 201k| 33 | 5.100000e+01 | -- | Inf
970.13/970.49 c 960s|330000 | 1578 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 207k| 33 | 5.100000e+01 | -- | Inf
998.43/998.79 c 989s|340000 | 1576 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 214k| 33 | 5.100000e+01 | -- | Inf
1026.71/1027.05 c 1017s|350000 | 1577 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 220k| 33 | 5.100000e+01 | -- | Inf
1053.31/1053.61 c 1043s|360000 | 1572 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 226k| 33 | 5.100000e+01 | -- | Inf
1082.20/1082.59 c 1072s|370000 | 1577 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 232k| 33 | 5.100000e+01 | -- | Inf
1110.79/1111.18 c 1100s|380000 | 1575 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 239k| 33 | 5.100000e+01 | -- | Inf
1139.48/1139.85 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1139.48/1139.85 c 1128s|390000 | 1571 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 245k| 33 | 5.100000e+01 | -- | Inf
1167.07/1167.45 c 1156s|400000 | 1572 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 251k| 33 | 5.100000e+01 | -- | Inf
1194.66/1195.01 c 1183s|410000 | 1585 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 258k| 33 | 5.100000e+01 | -- | Inf
1222.16/1222.56 c 1210s|420000 | 1581 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 264k| 33 | 5.100000e+01 | -- | Inf
1250.65/1251.09 c 1239s|430000 | 1574 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 270k| 33 | 5.100000e+01 | -- | Inf
1277.44/1277.84 c 1265s|440000 | 1575 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 277k| 33 | 5.100000e+01 | -- | Inf
1304.64/1305.02 c 1292s|450000 | 1574 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 283k| 33 | 5.100000e+01 | -- | Inf
1331.03/1331.48 c 1318s|460000 | 1571 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 289k| 33 | 5.100000e+01 | -- | Inf
1358.53/1358.96 c 1345s|470000 | 1578 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 295k| 33 | 5.100000e+01 | -- | Inf
1385.72/1386.10 c 1372s|480000 | 1577 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 302k| 33 | 5.100000e+01 | -- | Inf
1411.31/1411.78 c 1398s|490000 | 1567 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 308k| 33 | 5.100000e+01 | -- | Inf
1439.70/1440.11 c 1426s|500000 | 1580 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 314k| 33 | 5.100000e+01 | -- | Inf
1466.00/1466.44 c 1452s|510000 | 1579 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 321k| 33 | 5.100000e+01 | -- | Inf
1492.69/1493.16 c 1478s|520000 | 1582 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 327k| 33 | 5.100000e+01 | -- | Inf
1520.89/1521.39 c 1506s|530000 | 1581 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 333k| 33 | 5.100000e+01 | -- | Inf
1550.67/1551.11 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1550.67/1551.11 c 1536s|540000 | 1575 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 340k| 33 | 5.100000e+01 | -- | Inf
1578.77/1579.22 c 1564s|550000 | 1569 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 346k| 33 | 5.100000e+01 | -- | Inf
1607.76/1608.29 c 1592s|560000 | 1570 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 352k| 33 | 5.100000e+01 | -- | Inf
1638.05/1638.59 c 1623s|570000 | 1581 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 359k| 33 | 5.100000e+01 | -- | Inf
1667.64/1668.18 c 1652s|580000 | 1570 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 365k| 33 | 5.100000e+01 | -- | Inf
1697.44/1697.98 c 1681s|590000 | 1575 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 372k| 33 | 5.100000e+01 | -- | Inf
1725.33/1725.89 c 1709s|600000 | 1574 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 378k| 33 | 5.100000e+01 | -- | Inf
1753.02/1753.59 c 1736s|610000 | 1574 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 385k| 33 | 5.100000e+01 | -- | Inf
1782.52/1783.07 c 1766s|620000 | 1570 | 3450 | 79M|1606 | - |2550 | 63k| 56k| 0 | 0 | 39 | 391k| 33 | 5.100000e+01 | -- | Inf
1800.01/1800.50 c
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time (sec) : 1782.97
1800.01/1800.50 c Solving Nodes : 626051
1800.01/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.01/1800.50 c Dual Bound : +5.10000000000002e+01
1800.01/1800.50 c Gap : infinite
1800.01/1800.50 c NODE 626051
1800.01/1800.50 c DUAL BOUND 51
1800.01/1800.50 c PRIMAL BOUND 1e+20
1800.01/1800.50 c GAP 1e+20
1800.01/1800.50 s UNKNOWN
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time : 1782.97
1800.01/1800.50 c Original Problem :
1800.01/1800.50 c Problem name : HOME/instance-1883857-1245236328.opb
1800.01/1800.50 c Variables : 2550 (2550 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50 c Constraints : 63801 initial, 63801 maximal
1800.01/1800.50 c Presolved Problem :
1800.01/1800.50 c Problem name : t_HOME/instance-1883857-1245236328.opb
1800.01/1800.50 c Variables : 2550 (2550 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50 c Constraints : 63801 initial, 63822 maximal
1800.01/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c implics : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.50 c probing : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c logicor : 0.16 0 0 0 0 0 0 0 0
1800.01/1800.50 c root node : - 0 - - 0 - - - -
1800.01/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.50 c integral : 0 0 0 1 0 0 0 0 0 2
1800.01/1800.50 c logicor : 63801+ 5 4080704 0 0 393546 12539767 0 0 0
1800.01/1800.50 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.50 c integral : 22.15 0.00 0.00 22.15 0.00
1800.01/1800.50 c logicor : 967.33 0.05 967.28 0.00 0.00
1800.01/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.50 c rootredcost : 1.27 0 0 0
1800.01/1800.50 c pseudoobj : 535.81 4531230 0 0
1800.01/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.50 c propagation : 748.37 393546 393546 393546 417.6 5940 348.1 -
1800.01/1800.50 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.50 c applied globally : - - - 36344 159.9 - - -
1800.01/1800.50 c applied locally : - - - 359288 442.0 - - -
1800.01/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.50 c cut pool : 0.00 4 - - 0 - (maximal pool size: 147)
1800.01/1800.50 c redcost : 0.00 5 0 0 0 0
1800.01/1800.50 c impliedbounds : 0.00 5 0 0 0 0
1800.01/1800.50 c intobj : 0.00 0 0 0 0 0
1800.01/1800.50 c gomory : 7.12 5 0 0 2102 0
1800.01/1800.50 c strongcg : 3.40 5 0 0 2102 0
1800.01/1800.50 c cmir : 0.00 0 0 0 0 0
1800.01/1800.50 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.50 c clique : 0.15 5 0 0 16 0
1800.01/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.50 c mcf : 0.11 1 0 0 0 0
1800.01/1800.50 c Pricers : Time Calls Vars
1800.01/1800.50 c problem variables: 0.00 0 0
1800.01/1800.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.50 c relpscost : 22.15 1 0 0 0 0 2
1800.01/1800.50 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.50 c inference : 7.60 437585 0 0 0 0 875170
1800.01/1800.50 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.50 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.50 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.50 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.50 c random : 0.00 0 0 0 0 0 0
1800.01/1800.50 c Primal Heuristics : Time Calls Found
1800.01/1800.50 c LP solutions : 0.00 - 0
1800.01/1800.50 c pseudo solutions : 0.00 - 0
1800.01/1800.50 c simplerounding : 0.00 0 0
1800.01/1800.50 c rounding : 0.00 0 0
1800.01/1800.50 c shifting : 0.00 0 0
1800.01/1800.50 c intshifting : 0.00 0 0
1800.01/1800.50 c oneopt : 0.00 0 0
1800.01/1800.50 c fixandinfer : 0.00 0 0
1800.01/1800.50 c feaspump : 0.00 0 0
1800.01/1800.50 c coefdiving : 0.00 0 0
1800.01/1800.50 c pscostdiving : 0.00 0 0
1800.01/1800.50 c fracdiving : 0.00 0 0
1800.01/1800.50 c veclendiving : 0.00 0 0
1800.01/1800.50 c intdiving : 0.00 0 0
1800.01/1800.50 c actconsdiving : 0.00 0 0
1800.01/1800.50 c objpscostdiving : 0.00 0 0
1800.01/1800.50 c rootsoldiving : 0.00 0 0
1800.01/1800.50 c linesearchdiving : 0.00 0 0
1800.01/1800.50 c guideddiving : 0.00 0 0
1800.01/1800.50 c octane : 0.00 0 0
1800.01/1800.50 c rens : 0.00 0 0
1800.01/1800.50 c rins : 0.00 0 0
1800.01/1800.50 c localbranching : 0.00 0 0
1800.01/1800.50 c mutation : 0.00 0 0
1800.01/1800.50 c crossover : 0.00 0 0
1800.01/1800.50 c dins : 0.00 0 0
1800.01/1800.50 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.50 c primal LP : 0.05 0 0 0.00 0.00
1800.01/1800.50 c dual LP : 9.84 6 3450 575.00 350.61
1800.01/1800.50 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.50 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.50 c strong branching : 22.15 33 5627 170.52 254.04
1800.01/1800.50 c (at root node) : - 33 5627 170.52 -
1800.01/1800.50 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.50 c B&B Tree :
1800.01/1800.50 c number of runs : 1
1800.01/1800.50 c nodes : 626051
1800.01/1800.50 c nodes (total) : 626051
1800.01/1800.50 c nodes left : 1578
1800.01/1800.50 c max depth : 1606
1800.01/1800.50 c max depth (total): 1606
1800.01/1800.50 c backtracks : 214854 (34.3%)
1800.01/1800.50 c delayed cutoffs : 247544
1800.01/1800.50 c repropagations : 527728 (6836597 domain reductions, 205081 cutoffs)
1800.01/1800.50 c avg switch length: 2.50
1800.01/1800.50 c switching time : 130.47
1800.01/1800.50 c Solution :
1800.01/1800.50 c Solutions found : 0 (0 improvements)
1800.01/1800.50 c Primal Bound : -
1800.01/1800.50 c Dual Bound : +5.10000000000002e+01
1800.01/1800.50 c Gap : infinite
1800.01/1800.50 c Root Dual Bound : +5.10000000000000e+01
1800.21/1800.76 c Time complete: 1800.27.