0.09/0.19 c SCIP version 1.1.0.7
0.09/0.19 c LP-Solver Clp 1.8.2
0.09/0.19 c user parameter file <scip.set> not found - using default parameters
0.09/0.19 c read problem <HOME/instance-1883911-1245238126.opb>
0.09/0.19 c original problem has 930 variables (930 bin, 0 int, 0 impl, 0 cont) and 13981 constraints
0.19/0.23 c No objective function, only one solution is needed.
0.19/0.23 c start presolving problem
0.19/0.23 c presolving:
0.29/0.38 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13981 upgd conss, 27900 impls, 0 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 27900 implications, 0 cliques
0.39/0.41 c presolved problem has 930 variables (930 bin, 0 int, 0 impl, 0 cont) and 13981 constraints
0.39/0.41 c 13981 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.14
0.39/0.41 c PURESAT
0.39/0.41 c -----------------------------------------------------------------------------------------------
0.39/0.41 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.41 c separating/flowcover/freq = c -1
0.39/0.41 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.41 c separating/cmir/freq = c -1
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/veclendiving/maxlpiterofs = c 1500
0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.41 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.39/0.41 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.41 c heuristics/veclendiving/freq = c -1
0.39/0.41 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.41 c heuristics/simplerounding/freq = c -1
0.39/0.41 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.41 c heuristics/shifting/freq = c -1
0.39/0.41 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.41 c heuristics/rounding/freq = c -1
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.39/0.41 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.39/0.41 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.41 c heuristics/rootsoldiving/freq = c -1
0.39/0.41 c # number of nodes added to the contingent of the total nodes
0.39/0.41 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.41 c heuristics/rens/nodesofs = c 2000
0.39/0.41 c # minimum percentage of integer variables that have to be fixable
0.39/0.41 c # [type: real, range: [0,1], default: 0.5]
0.39/0.41 c heuristics/rens/minfixingrate = c 0.3
0.39/0.41 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.41 c heuristics/rens/freq = c -1
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.41 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.39/0.41 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.41 c heuristics/pscostdiving/freq = c -1
0.39/0.41 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.41 c heuristics/oneopt/freq = c -1
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.39/0.41 c # maximal fraction of diving LP iterations compared to total iteration number
0.39/0.41 c # [type: real, range: [0,1], default: 0.01]
0.39/0.41 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.39/0.41 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.41 c heuristics/objpscostdiving/freq = c -1
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.41 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.39/0.41 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.41 c heuristics/linesearchdiving/freq = c -1
0.39/0.41 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.41 c heuristics/intshifting/freq = c -1
0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.41 c heuristics/intdiving/maxlpiterquot = c 0.075
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/guideddiving/maxlpiterofs = c 1500
0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.41 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.39/0.41 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.41 c heuristics/guideddiving/freq = c -1
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/fracdiving/maxlpiterofs = c 1500
0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.41 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.39/0.41 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.41 c heuristics/fracdiving/freq = c -1
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/feaspump/maxlpiterofs = c 2000
0.39/0.41 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.41 c heuristics/feaspump/freq = c -1
0.39/0.41 c # minimum percentage of integer variables that have to be fixed
0.39/0.41 c # [type: real, range: [0,1], default: 0.666]
0.39/0.41 c heuristics/crossover/minfixingrate = c 0.5
0.39/0.41 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.39/0.41 c # [type: real, range: [0,1], default: 0.1]
0.39/0.41 c heuristics/crossover/nodesquot = c 0.15
0.39/0.41 c # number of nodes without incumbent change that heuristic should wait
0.39/0.41 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.39/0.41 c heuristics/crossover/nwaitingnodes = c 100
0.39/0.41 c # number of nodes added to the contingent of the total nodes
0.39/0.41 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.41 c heuristics/crossover/nodesofs = c 750
0.39/0.41 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 30]
0.39/0.41 c heuristics/crossover/freq = c -1
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/coefdiving/maxlpiterofs = c 1500
0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.41 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.39/0.41 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.41 c heuristics/coefdiving/freq = c -1
0.39/0.41 c # priority of node selection rule <dfs> in standard mode
0.39/0.41 c # [type: int, range: [-536870912,536870911], default: 0]
0.39/0.41 c nodeselection/dfs/stdpriority = c 1000000
0.39/0.41 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.41 c presolving/probing/maxrounds = c 0
0.39/0.41 c # should presolving try to simplify knapsacks
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c constraints/knapsack/simplifyinequalities = c TRUE
0.39/0.41 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.39/0.41 c constraints/knapsack/disaggregation = c FALSE
0.39/0.41 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.41 c constraints/knapsack/maxnumcardlift = c 0
0.39/0.41 c # should presolving try to simplify inequalities
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c constraints/linear/simplifyinequalities = c TRUE
0.39/0.41 c # maximal number of separation rounds in the root node (-1: unlimited)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.41 c separating/maxroundsroot = c 5
0.39/0.41 c # maximal number of separation rounds per node (-1: unlimited)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 5]
0.39/0.41 c separating/maxrounds = c 1
0.39/0.41 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)
0.39/0.41 c # [type: char, range: {lafpsqd}, default: l]
0.39/0.41 c lp/pricing = c a
0.39/0.41 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.41 c lp/solvefreq = c 0
0.39/0.41 c # solving stops, if the given number of solutions were found (-1: no limit)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.41 c limits/solutions = c 1
0.39/0.41 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.41 c limits/memory = c 1620
0.39/0.41 c # maximal time in seconds to run
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.41 c limits/time = c 1791
0.39/0.41 c # frequency for displaying node information lines
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.41 c display/freq = c 10000
0.39/0.41 c # should enforcement of pseudo solution be disabled?
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c constraints/disableenfops = c TRUE
0.39/0.41 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.41 c constraints/agelimit = c 1
0.39/0.41 c # should binary conflicts be preferred?
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c conflict/preferbinary = c TRUE
0.39/0.41 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.41 c conflict/interconss = c 0
0.39/0.41 c -----------------------------------------------------------------------------------------------
0.39/0.41 c start solving problem
0.39/0.41 c
0.39/0.49 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.49 c 0.2s| 1 | 0 | 62 | 17M| 0 | 62 | 930 | 13k| 13k| 930 | 13k| 0 | 0 | 0 | 3.100000e+01 | -- | Inf
0.59/0.65 c 0.4s| 1 | 0 | 222 | 17M| 0 | 58 | 930 | 13k| 13k| 930 | 13k| 3 | 0 | 0 | 3.100000e+01 | -- | Inf
1.00/1.05 c 0.8s| 1 | 0 | 384 | 17M| 0 | 48 | 930 | 13k| 13k| 930 | 13k| 11 | 0 | 0 | 3.100000e+01 | -- | Inf
1.39/1.40 c 1.1s| 1 | 0 | 475 | 17M| 0 | 48 | 930 | 13k| 13k| 930 | 13k| 16 | 0 | 0 | 3.100000e+01 | -- | Inf
1.99/2.03 c 1.7s| 1 | 0 | 672 | 17M| 0 | 44 | 930 | 13k| 13k| 930 | 14k| 25 | 0 | 0 | 3.100000e+01 | -- | Inf
2.69/2.78 c 2.4s| 1 | 0 | 924 | 18M| 0 | 30 | 930 | 13k| 13k| 930 | 14k| 33 | 0 | 0 | 3.100000e+01 | -- | Inf
4.22/4.37 c 4.0s| 1 | 2 | 924 | 18M| 0 | 30 | 930 | 13k| 13k| 930 | 14k| 33 | 0 | 30 | 3.100000e+01 | -- | Inf
11.88/11.95 c 11.4s| 10000 | 534 | 924 | 18M| 554 | - | 930 | 13k| 11k| 0 | 0 | 33 |5959 | 30 | 3.100000e+01 | -- | Inf
19.48/19.58 c 18.8s| 20000 | 530 | 924 | 18M| 554 | - | 930 | 13k| 11k| 0 | 0 | 33 | 12k| 30 | 3.100000e+01 | -- | Inf
27.17/27.26 c 26.2s| 30000 | 526 | 924 | 18M| 554 | - | 930 | 13k| 11k| 0 | 0 | 33 | 18k| 30 | 3.100000e+01 | -- | Inf
34.77/34.82 c 33.6s| 40000 | 525 | 924 | 18M| 554 | - | 930 | 13k| 11k| 0 | 0 | 33 | 24k| 30 | 3.100000e+01 | -- | Inf
41.96/42.03 c 40.6s| 50000 | 528 | 924 | 18M| 554 | - | 930 | 13k| 11k| 0 | 0 | 33 | 30k| 30 | 3.100000e+01 | -- | Inf
49.16/49.28 c 47.7s| 60000 | 530 | 924 | 18M| 554 | - | 930 | 13k| 11k| 0 | 0 | 33 | 36k| 30 | 3.100000e+01 | -- | Inf
56.65/56.76 c 55.0s| 70000 | 522 | 924 | 18M| 554 | - | 930 | 13k| 11k| 0 | 0 | 33 | 42k| 30 | 3.100000e+01 | -- | Inf
64.05/64.14 c 62.1s| 80000 | 523 | 924 | 18M| 554 | - | 930 | 13k| 11k| 0 | 0 | 33 | 48k| 30 | 3.100000e+01 | -- | Inf
71.55/71.63 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.55/71.63 c 69.4s| 90000 | 532 | 924 | 18M| 554 | - | 930 | 13k| 11k| 0 | 0 | 33 | 54k| 30 | 3.100000e+01 | -- | Inf
78.75/78.87 c 76.4s|100000 | 526 | 924 | 18M| 554 | - | 930 | 13k| 11k| 0 | 0 | 33 | 60k| 30 | 3.100000e+01 | -- | Inf
86.14/86.21 c 83.6s|110000 | 518 | 924 | 18M| 554 | - | 930 | 13k| 11k| 0 | 0 | 33 | 67k| 30 | 3.100000e+01 | -- | Inf
93.34/93.50 c 90.7s|120000 | 529 | 924 | 18M| 554 | - | 930 | 13k| 11k| 0 | 0 | 33 | 73k| 30 | 3.100000e+01 | -- | Inf
100.84/100.92 c 97.9s|130000 | 517 | 924 | 18M| 554 | - | 930 | 13k| 11k| 0 | 0 | 33 | 79k| 30 | 3.100000e+01 | -- | Inf
108.33/108.42 c 105s|140000 | 521 | 924 | 18M| 554 | - | 930 | 13k| 11k| 0 | 0 | 33 | 85k| 30 | 3.100000e+01 | -- | Inf
115.43/115.59 c 112s|150000 | 520 | 924 | 18M| 554 | - | 930 | 13k| 11k| 0 | 0 | 33 | 91k| 30 | 3.100000e+01 | -- | Inf
122.92/123.04 c 119s|160000 | 518 | 924 | 18M| 554 | - | 930 | 13k| 11k| 0 | 0 | 33 | 97k| 30 | 3.100000e+01 | -- | Inf
130.23/130.35 c 127s|170000 | 527 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 103k| 30 | 3.100000e+01 | -- | Inf
137.42/137.53 c 134s|180000 | 522 | 924 | 18M| 554 | - | 930 | 13k| 11k| 0 | 0 | 33 | 109k| 30 | 3.100000e+01 | -- | Inf
144.52/144.60 c 140s|190000 | 523 | 924 | 18M| 554 | - | 930 | 13k| 11k| 0 | 0 | 33 | 115k| 30 | 3.100000e+01 | -- | Inf
151.72/151.88 c 147s|200000 | 527 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 121k| 30 | 3.100000e+01 | -- | Inf
159.22/159.31 c 155s|210000 | 521 | 924 | 18M| 554 | - | 930 | 13k| 11k| 0 | 0 | 33 | 127k| 30 | 3.100000e+01 | -- | Inf
166.41/166.51 c 162s|220000 | 522 | 924 | 18M| 554 | - | 930 | 13k| 11k| 0 | 0 | 33 | 133k| 30 | 3.100000e+01 | -- | Inf
173.81/173.93 c 169s|230000 | 519 | 924 | 18M| 554 | - | 930 | 13k| 11k| 0 | 0 | 33 | 139k| 30 | 3.100000e+01 | -- | Inf
180.91/181.08 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
180.91/181.08 c 176s|240000 | 516 | 924 | 18M| 554 | - | 930 | 13k| 11k| 0 | 0 | 33 | 145k| 30 | 3.100000e+01 | -- | Inf
187.91/188.09 c 183s|250000 | 516 | 924 | 18M| 554 | - | 930 | 13k| 11k| 0 | 0 | 33 | 151k| 30 | 3.100000e+01 | -- | Inf
195.41/195.53 c 190s|260000 | 533 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 157k| 30 | 3.100000e+01 | -- | Inf
202.50/202.67 c 197s|270000 | 531 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 163k| 30 | 3.100000e+01 | -- | Inf
210.10/210.21 c 204s|280000 | 522 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 169k| 30 | 3.100000e+01 | -- | Inf
217.50/217.61 c 211s|290000 | 514 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 176k| 30 | 3.100000e+01 | -- | Inf
225.00/225.15 c 219s|300000 | 517 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 182k| 30 | 3.100000e+01 | -- | Inf
232.59/232.77 c 226s|310000 | 516 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 188k| 30 | 3.100000e+01 | -- | Inf
239.59/239.74 c 233s|320000 | 528 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 194k| 30 | 3.100000e+01 | -- | Inf
246.78/246.94 c 240s|330000 | 522 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 200k| 30 | 3.100000e+01 | -- | Inf
253.98/254.16 c 247s|340000 | 516 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 206k| 30 | 3.100000e+01 | -- | Inf
261.48/261.61 c 254s|350000 | 523 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 212k| 30 | 3.100000e+01 | -- | Inf
268.98/269.16 c 261s|360000 | 531 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 218k| 30 | 3.100000e+01 | -- | Inf
276.68/276.85 c 269s|370000 | 521 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 224k| 30 | 3.100000e+01 | -- | Inf
283.97/284.13 c 276s|380000 | 531 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 230k| 30 | 3.100000e+01 | -- | Inf
291.46/291.67 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
291.46/291.67 c 283s|390000 | 528 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 236k| 30 | 3.100000e+01 | -- | Inf
299.06/299.23 c 291s|400000 | 517 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 242k| 30 | 3.100000e+01 | -- | Inf
306.26/306.41 c 298s|410000 | 521 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 248k| 30 | 3.100000e+01 | -- | Inf
313.66/313.89 c 305s|420000 | 515 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 255k| 30 | 3.100000e+01 | -- | Inf
321.25/321.44 c 312s|430000 | 527 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 261k| 30 | 3.100000e+01 | -- | Inf
328.75/328.92 c 320s|440000 | 522 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 267k| 30 | 3.100000e+01 | -- | Inf
336.05/336.21 c 327s|450000 | 516 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 273k| 30 | 3.100000e+01 | -- | Inf
343.14/343.39 c 334s|460000 | 524 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 279k| 30 | 3.100000e+01 | -- | Inf
350.55/350.78 c 341s|470000 | 518 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 285k| 30 | 3.100000e+01 | -- | Inf
357.84/358.03 c 348s|480000 | 520 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 291k| 30 | 3.100000e+01 | -- | Inf
365.13/365.36 c 355s|490000 | 528 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 297k| 30 | 3.100000e+01 | -- | Inf
372.53/372.76 c 362s|500000 | 520 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 303k| 30 | 3.100000e+01 | -- | Inf
379.73/379.97 c 369s|510000 | 528 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 309k| 30 | 3.100000e+01 | -- | Inf
387.03/387.28 c 376s|520000 | 518 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 315k| 30 | 3.100000e+01 | -- | Inf
394.43/394.60 c 383s|530000 | 517 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 321k| 30 | 3.100000e+01 | -- | Inf
401.82/402.04 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
401.82/402.04 c 391s|540000 | 513 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 328k| 30 | 3.100000e+01 | -- | Inf
408.82/409.08 c 397s|550000 | 527 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 334k| 30 | 3.100000e+01 | -- | Inf
416.02/416.20 c 404s|560000 | 530 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 340k| 30 | 3.100000e+01 | -- | Inf
423.12/423.35 c 411s|570000 | 527 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 346k| 30 | 3.100000e+01 | -- | Inf
430.41/430.68 c 418s|580000 | 520 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 352k| 30 | 3.100000e+01 | -- | Inf
437.71/437.90 c 426s|590000 | 522 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 358k| 30 | 3.100000e+01 | -- | Inf
445.11/445.34 c 433s|600000 | 516 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 364k| 30 | 3.100000e+01 | -- | Inf
452.71/452.99 c 440s|610000 | 525 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 370k| 30 | 3.100000e+01 | -- | Inf
460.20/460.45 c 447s|620000 | 519 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 377k| 30 | 3.100000e+01 | -- | Inf
467.79/468.06 c 455s|630000 | 528 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 383k| 30 | 3.100000e+01 | -- | Inf
475.10/475.40 c 462s|640000 | 525 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 389k| 30 | 3.100000e+01 | -- | Inf
482.49/482.78 c 469s|650000 | 523 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 395k| 30 | 3.100000e+01 | -- | Inf
489.99/490.28 c 476s|660000 | 516 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 401k| 30 | 3.100000e+01 | -- | Inf
497.39/497.63 c 484s|670000 | 521 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 407k| 30 | 3.100000e+01 | -- | Inf
504.88/505.14 c 491s|680000 | 520 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 413k| 30 | 3.100000e+01 | -- | Inf
512.19/512.41 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
512.19/512.41 c 498s|690000 | 516 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 419k| 30 | 3.100000e+01 | -- | Inf
519.48/519.75 c 505s|700000 | 515 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 425k| 30 | 3.100000e+01 | -- | Inf
526.78/527.00 c 512s|710000 | 523 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 431k| 30 | 3.100000e+01 | -- | Inf
533.98/534.28 c 519s|720000 | 524 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 437k| 30 | 3.100000e+01 | -- | Inf
541.37/541.63 c 526s|730000 | 517 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 444k| 30 | 3.100000e+01 | -- | Inf
548.57/548.85 c 533s|740000 | 519 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 450k| 30 | 3.100000e+01 | -- | Inf
556.07/556.34 c 541s|750000 | 521 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 456k| 30 | 3.100000e+01 | -- | Inf
563.47/563.72 c 548s|760000 | 509 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 462k| 30 | 3.100000e+01 | -- | Inf
570.97/571.24 c 555s|770000 | 519 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 468k| 30 | 3.100000e+01 | -- | Inf
578.35/578.60 c 562s|780000 | 524 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 474k| 30 | 3.100000e+01 | -- | Inf
586.06/586.32 c 570s|790000 | 524 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 480k| 30 | 3.100000e+01 | -- | Inf
593.55/593.83 c 577s|800000 | 515 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 487k| 30 | 3.100000e+01 | -- | Inf
600.95/601.29 c 584s|810000 | 518 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 493k| 30 | 3.100000e+01 | -- | Inf
608.65/608.90 c 592s|820000 | 516 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 499k| 30 | 3.100000e+01 | -- | Inf
616.04/616.36 c 599s|830000 | 523 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 505k| 30 | 3.100000e+01 | -- | Inf
623.44/623.75 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
623.44/623.75 c 606s|840000 | 513 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 511k| 30 | 3.100000e+01 | -- | Inf
630.94/631.22 c 613s|850000 | 513 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 517k| 30 | 3.100000e+01 | -- | Inf
638.64/638.90 c 621s|860000 | 516 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 523k| 30 | 3.100000e+01 | -- | Inf
646.24/646.57 c 628s|870000 | 530 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 529k| 30 | 3.100000e+01 | -- | Inf
653.53/653.85 c 636s|880000 | 524 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 535k| 30 | 3.100000e+01 | -- | Inf
660.63/660.98 c 642s|890000 | 519 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 541k| 30 | 3.100000e+01 | -- | Inf
667.73/668.08 c 649s|900000 | 520 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 547k| 30 | 3.100000e+01 | -- | Inf
675.32/675.60 c 657s|910000 | 522 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 553k| 30 | 3.100000e+01 | -- | Inf
682.52/682.88 c 664s|920000 | 513 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 559k| 30 | 3.100000e+01 | -- | Inf
689.72/690.07 c 671s|930000 | 519 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 565k| 30 | 3.100000e+01 | -- | Inf
697.32/697.63 c 678s|940000 | 513 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 572k| 30 | 3.100000e+01 | -- | Inf
704.81/705.11 c 685s|950000 | 516 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 578k| 30 | 3.100000e+01 | -- | Inf
712.31/712.62 c 693s|960000 | 522 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 584k| 30 | 3.100000e+01 | -- | Inf
719.41/719.79 c 700s|970000 | 516 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 590k| 30 | 3.100000e+01 | -- | Inf
726.70/727.08 c 707s|980000 | 517 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 596k| 30 | 3.100000e+01 | -- | Inf
734.40/734.75 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
734.40/734.75 c 714s|990000 | 517 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 602k| 30 | 3.100000e+01 | -- | Inf
741.40/741.77 c 721s| 1000k| 510 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 608k| 30 | 3.100000e+01 | -- | Inf
749.00/749.36 c 728s| 1010k| 523 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 614k| 30 | 3.100000e+01 | -- | Inf
756.29/756.64 c 735s| 1020k| 525 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 620k| 30 | 3.100000e+01 | -- | Inf
763.69/764.04 c 743s| 1030k| 511 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 626k| 30 | 3.100000e+01 | -- | Inf
771.08/771.41 c 750s| 1040k| 513 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 632k| 30 | 3.100000e+01 | -- | Inf
778.19/778.57 c 757s| 1050k| 518 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 638k| 30 | 3.100000e+01 | -- | Inf
785.98/786.30 c 764s| 1060k| 510 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 644k| 30 | 3.100000e+01 | -- | Inf
793.38/793.79 c 772s| 1070k| 511 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 650k| 30 | 3.100000e+01 | -- | Inf
800.47/800.80 c 778s| 1080k| 507 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 656k| 30 | 3.100000e+01 | -- | Inf
807.37/807.77 c 785s| 1090k| 522 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 662k| 30 | 3.100000e+01 | -- | Inf
814.97/815.36 c 793s| 1100k| 510 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 668k| 30 | 3.100000e+01 | -- | Inf
822.17/822.59 c 800s| 1110k| 515 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 674k| 30 | 3.100000e+01 | -- | Inf
829.47/829.86 c 807s| 1120k| 521 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 680k| 30 | 3.100000e+01 | -- | Inf
837.06/837.46 c 814s| 1130k| 523 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 686k| 30 | 3.100000e+01 | -- | Inf
844.66/845.07 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
844.66/845.07 c 821s| 1140k| 517 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 693k| 30 | 3.100000e+01 | -- | Inf
852.06/852.41 c 829s| 1150k| 517 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 698k| 30 | 3.100000e+01 | -- | Inf
859.56/859.93 c 836s| 1160k| 515 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 704k| 30 | 3.100000e+01 | -- | Inf
866.65/867.01 c 843s| 1170k| 525 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 710k| 30 | 3.100000e+01 | -- | Inf
873.85/874.22 c 850s| 1180k| 519 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 716k| 30 | 3.100000e+01 | -- | Inf
881.14/881.60 c 857s| 1190k| 516 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 722k| 30 | 3.100000e+01 | -- | Inf
888.54/888.95 c 864s| 1200k| 520 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 728k| 30 | 3.100000e+01 | -- | Inf
895.44/895.87 c 871s| 1210k| 518 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 734k| 30 | 3.100000e+01 | -- | Inf
902.34/902.78 c 878s| 1220k| 506 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 740k| 30 | 3.100000e+01 | -- | Inf
909.63/910.04 c 885s| 1230k| 508 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 746k| 30 | 3.100000e+01 | -- | Inf
916.93/917.30 c 892s| 1240k| 517 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 752k| 30 | 3.100000e+01 | -- | Inf
924.23/924.61 c 899s| 1250k| 509 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 758k| 30 | 3.100000e+01 | -- | Inf
931.43/931.80 c 906s| 1260k| 524 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 764k| 30 | 3.100000e+01 | -- | Inf
938.63/939.09 c 913s| 1270k| 512 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 770k| 30 | 3.100000e+01 | -- | Inf
945.92/946.36 c 920s| 1280k| 517 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 776k| 30 | 3.100000e+01 | -- | Inf
953.02/953.44 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
953.02/953.44 c 927s| 1290k| 511 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 782k| 30 | 3.100000e+01 | -- | Inf
960.22/960.66 c 934s| 1300k| 506 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 788k| 30 | 3.100000e+01 | -- | Inf
967.52/967.90 c 941s| 1310k| 504 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 794k| 30 | 3.100000e+01 | -- | Inf
975.11/975.58 c 948s| 1320k| 521 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 801k| 30 | 3.100000e+01 | -- | Inf
982.51/982.90 c 955s| 1330k| 510 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 806k| 30 | 3.100000e+01 | -- | Inf
990.31/990.74 c 963s| 1340k| 518 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 812k| 30 | 3.100000e+01 | -- | Inf
997.81/998.28 c 970s| 1350k| 517 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 819k| 30 | 3.100000e+01 | -- | Inf
1005.50/1005.93 c 978s| 1360k| 518 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 825k| 30 | 3.100000e+01 | -- | Inf
1013.20/1013.65 c 985s| 1370k| 516 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 831k| 30 | 3.100000e+01 | -- | Inf
1020.50/1020.95 c 993s| 1380k| 510 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 837k| 30 | 3.100000e+01 | -- | Inf
1027.80/1028.23 c 1000s| 1390k| 515 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 843k| 30 | 3.100000e+01 | -- | Inf
1035.09/1035.54 c 1007s| 1400k| 510 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 849k| 30 | 3.100000e+01 | -- | Inf
1042.29/1042.71 c 1014s| 1410k| 509 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 855k| 30 | 3.100000e+01 | -- | Inf
1049.79/1050.25 c 1021s| 1420k| 520 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 861k| 30 | 3.100000e+01 | -- | Inf
1057.68/1058.17 c 1029s| 1430k| 522 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 867k| 30 | 3.100000e+01 | -- | Inf
1065.18/1065.69 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1065.18/1065.70 c 1036s| 1440k| 510 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 873k| 30 | 3.100000e+01 | -- | Inf
1072.88/1073.36 c 1043s| 1450k| 513 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 879k| 30 | 3.100000e+01 | -- | Inf
1079.97/1080.44 c 1050s| 1460k| 522 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 885k| 30 | 3.100000e+01 | -- | Inf
1087.37/1087.83 c 1058s| 1470k| 512 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 891k| 30 | 3.100000e+01 | -- | Inf
1094.57/1095.04 c 1065s| 1480k| 512 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 897k| 30 | 3.100000e+01 | -- | Inf
1102.06/1102.51 c 1072s| 1490k| 512 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 903k| 30 | 3.100000e+01 | -- | Inf
1109.27/1109.74 c 1079s| 1500k| 522 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 909k| 30 | 3.100000e+01 | -- | Inf
1116.66/1117.19 c 1086s| 1510k| 505 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 916k| 30 | 3.100000e+01 | -- | Inf
1124.06/1124.58 c 1093s| 1520k| 510 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 922k| 30 | 3.100000e+01 | -- | Inf
1131.86/1132.36 c 1101s| 1530k| 510 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 928k| 30 | 3.100000e+01 | -- | Inf
1139.15/1139.68 c 1108s| 1540k| 512 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 934k| 30 | 3.100000e+01 | -- | Inf
1146.65/1147.16 c 1115s| 1550k| 522 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 940k| 30 | 3.100000e+01 | -- | Inf
1154.65/1155.17 c 1123s| 1560k| 515 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 946k| 30 | 3.100000e+01 | -- | Inf
1162.45/1162.93 c 1131s| 1570k| 519 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 952k| 30 | 3.100000e+01 | -- | Inf
1170.34/1170.87 c 1138s| 1580k| 515 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 958k| 30 | 3.100000e+01 | -- | Inf
1177.84/1178.35 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1177.84/1178.35 c 1146s| 1590k| 514 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 964k| 30 | 3.100000e+01 | -- | Inf
1185.14/1185.66 c 1153s| 1600k| 512 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 970k| 30 | 3.100000e+01 | -- | Inf
1192.83/1193.35 c 1160s| 1610k| 516 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 976k| 30 | 3.100000e+01 | -- | Inf
1200.23/1200.76 c 1167s| 1620k| 516 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 982k| 30 | 3.100000e+01 | -- | Inf
1207.52/1208.09 c 1175s| 1630k| 510 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 988k| 30 | 3.100000e+01 | -- | Inf
1215.13/1215.60 c 1182s| 1640k| 519 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 | 994k| 30 | 3.100000e+01 | -- | Inf
1222.52/1223.08 c 1189s| 1650k| 509 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1000k| 30 | 3.100000e+01 | -- | Inf
1230.32/1230.82 c 1197s| 1660k| 511 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1006k| 30 | 3.100000e+01 | -- | Inf
1237.42/1237.96 c 1204s| 1670k| 508 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1012k| 30 | 3.100000e+01 | -- | Inf
1245.12/1245.62 c 1211s| 1680k| 512 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1019k| 30 | 3.100000e+01 | -- | Inf
1252.41/1252.93 c 1218s| 1690k| 508 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1025k| 30 | 3.100000e+01 | -- | Inf
1259.51/1260.05 c 1225s| 1700k| 506 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1031k| 30 | 3.100000e+01 | -- | Inf
1267.20/1267.78 c 1233s| 1710k| 507 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1037k| 30 | 3.100000e+01 | -- | Inf
1274.70/1275.20 c 1240s| 1720k| 508 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1043k| 30 | 3.100000e+01 | -- | Inf
1281.89/1282.44 c 1247s| 1730k| 512 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1049k| 30 | 3.100000e+01 | -- | Inf
1289.00/1289.53 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1289.00/1289.53 c 1254s| 1740k| 511 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1055k| 30 | 3.100000e+01 | -- | Inf
1296.79/1297.34 c 1261s| 1750k| 511 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1061k| 30 | 3.100000e+01 | -- | Inf
1304.59/1305.13 c 1269s| 1760k| 507 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1067k| 30 | 3.100000e+01 | -- | Inf
1312.09/1312.63 c 1276s| 1770k| 506 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1073k| 30 | 3.100000e+01 | -- | Inf
1319.48/1320.04 c 1283s| 1780k| 515 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1079k| 30 | 3.100000e+01 | -- | Inf
1326.99/1327.50 c 1291s| 1790k| 512 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1085k| 30 | 3.100000e+01 | -- | Inf
1334.58/1335.11 c 1298s| 1800k| 502 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1091k| 30 | 3.100000e+01 | -- | Inf
1341.88/1342.45 c 1305s| 1810k| 508 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1097k| 30 | 3.100000e+01 | -- | Inf
1349.27/1349.86 c 1312s| 1820k| 508 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1103k| 30 | 3.100000e+01 | -- | Inf
1356.58/1357.18 c 1320s| 1830k| 511 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1109k| 30 | 3.100000e+01 | -- | Inf
1363.97/1364.51 c 1327s| 1840k| 517 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1115k| 30 | 3.100000e+01 | -- | Inf
1371.27/1371.82 c 1334s| 1850k| 504 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1121k| 30 | 3.100000e+01 | -- | Inf
1378.37/1378.98 c 1341s| 1860k| 511 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1127k| 30 | 3.100000e+01 | -- | Inf
1385.46/1386.03 c 1348s| 1870k| 523 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1133k| 30 | 3.100000e+01 | -- | Inf
1392.87/1393.48 c 1355s| 1880k| 515 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1139k| 30 | 3.100000e+01 | -- | Inf
1400.25/1400.85 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1400.25/1400.85 c 1362s| 1890k| 512 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1145k| 30 | 3.100000e+01 | -- | Inf
1407.25/1407.82 c 1369s| 1900k| 520 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1151k| 30 | 3.100000e+01 | -- | Inf
1414.45/1415.07 c 1376s| 1910k| 525 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1157k| 30 | 3.100000e+01 | -- | Inf
1421.45/1422.01 c 1383s| 1920k| 520 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1163k| 30 | 3.100000e+01 | -- | Inf
1428.14/1428.78 c 1389s| 1930k| 512 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1169k| 30 | 3.100000e+01 | -- | Inf
1435.04/1435.69 c 1396s| 1940k| 515 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1175k| 30 | 3.100000e+01 | -- | Inf
1442.35/1442.98 c 1403s| 1950k| 514 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1181k| 30 | 3.100000e+01 | -- | Inf
1449.63/1450.21 c 1410s| 1960k| 521 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1187k| 30 | 3.100000e+01 | -- | Inf
1456.73/1457.32 c 1417s| 1970k| 510 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1193k| 30 | 3.100000e+01 | -- | Inf
1463.63/1464.28 c 1424s| 1980k| 518 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1199k| 30 | 3.100000e+01 | -- | Inf
1470.33/1470.94 c 1430s| 1990k| 516 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1205k| 30 | 3.100000e+01 | -- | Inf
1477.22/1477.81 c 1437s| 2000k| 510 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1211k| 30 | 3.100000e+01 | -- | Inf
1483.92/1484.58 c 1443s| 2010k| 509 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1217k| 30 | 3.100000e+01 | -- | Inf
1491.02/1491.64 c 1450s| 2020k| 508 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1223k| 30 | 3.100000e+01 | -- | Inf
1498.11/1498.78 c 1457s| 2030k| 512 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1229k| 30 | 3.100000e+01 | -- | Inf
1506.32/1506.92 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1506.32/1506.92 c 1465s| 2040k| 505 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1235k| 30 | 3.100000e+01 | -- | Inf
1513.22/1513.86 c 1472s| 2050k| 510 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1241k| 30 | 3.100000e+01 | -- | Inf
1520.31/1520.95 c 1479s| 2060k| 511 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1247k| 30 | 3.100000e+01 | -- | Inf
1527.51/1528.15 c 1486s| 2070k| 517 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1253k| 30 | 3.100000e+01 | -- | Inf
1534.81/1535.45 c 1493s| 2080k| 504 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1259k| 30 | 3.100000e+01 | -- | Inf
1542.11/1542.73 c 1500s| 2090k| 510 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1265k| 30 | 3.100000e+01 | -- | Inf
1549.40/1550.05 c 1507s| 2100k| 518 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1271k| 30 | 3.100000e+01 | -- | Inf
1556.70/1557.33 c 1514s| 2110k| 515 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1277k| 30 | 3.100000e+01 | -- | Inf
1564.30/1564.91 c 1521s| 2120k| 514 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1283k| 30 | 3.100000e+01 | -- | Inf
1571.70/1572.39 c 1529s| 2130k| 511 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1290k| 30 | 3.100000e+01 | -- | Inf
1578.79/1579.45 c 1536s| 2140k| 510 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1296k| 30 | 3.100000e+01 | -- | Inf
1585.59/1586.24 c 1542s| 2150k| 504 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1301k| 30 | 3.100000e+01 | -- | Inf
1592.89/1593.52 c 1549s| 2160k| 506 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1308k| 30 | 3.100000e+01 | -- | Inf
1600.59/1601.21 c 1557s| 2170k| 509 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1314k| 30 | 3.100000e+01 | -- | Inf
1608.28/1608.96 c 1564s| 2180k| 508 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1320k| 30 | 3.100000e+01 | -- | Inf
1615.78/1616.47 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1615.78/1616.47 c 1572s| 2190k| 514 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1326k| 30 | 3.100000e+01 | -- | Inf
1623.47/1624.14 c 1579s| 2200k| 504 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1332k| 30 | 3.100000e+01 | -- | Inf
1631.08/1631.79 c 1586s| 2210k| 510 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1338k| 30 | 3.100000e+01 | -- | Inf
1638.88/1639.51 c 1594s| 2220k| 507 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1344k| 30 | 3.100000e+01 | -- | Inf
1645.87/1646.55 c 1601s| 2230k| 518 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1350k| 30 | 3.100000e+01 | -- | Inf
1653.17/1653.84 c 1608s| 2240k| 513 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1356k| 30 | 3.100000e+01 | -- | Inf
1660.36/1661.09 c 1615s| 2250k| 504 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1362k| 30 | 3.100000e+01 | -- | Inf
1668.06/1668.70 c 1622s| 2260k| 510 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1368k| 30 | 3.100000e+01 | -- | Inf
1675.26/1675.91 c 1629s| 2270k| 502 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1375k| 30 | 3.100000e+01 | -- | Inf
1682.36/1683.08 c 1636s| 2280k| 510 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1381k| 30 | 3.100000e+01 | -- | Inf
1690.16/1690.84 c 1644s| 2290k| 512 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1387k| 30 | 3.100000e+01 | -- | Inf
1697.76/1698.40 c 1651s| 2300k| 505 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1393k| 30 | 3.100000e+01 | -- | Inf
1705.35/1706.01 c 1659s| 2310k| 509 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1399k| 30 | 3.100000e+01 | -- | Inf
1712.95/1713.68 c 1666s| 2320k| 502 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1405k| 30 | 3.100000e+01 | -- | Inf
1720.45/1721.11 c 1673s| 2330k| 511 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1411k| 30 | 3.100000e+01 | -- | Inf
1727.75/1728.49 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1727.75/1728.49 c 1680s| 2340k| 508 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1417k| 30 | 3.100000e+01 | -- | Inf
1735.24/1735.96 c 1688s| 2350k| 509 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1423k| 30 | 3.100000e+01 | -- | Inf
1742.84/1743.50 c 1695s| 2360k| 501 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1429k| 30 | 3.100000e+01 | -- | Inf
1750.15/1750.87 c 1702s| 2370k| 508 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1435k| 30 | 3.100000e+01 | -- | Inf
1757.74/1758.44 c 1710s| 2380k| 505 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1441k| 30 | 3.100000e+01 | -- | Inf
1764.94/1765.60 c 1717s| 2390k| 521 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1447k| 30 | 3.100000e+01 | -- | Inf
1772.03/1772.75 c 1723s| 2400k| 520 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1453k| 30 | 3.100000e+01 | -- | Inf
1778.93/1779.67 c 1730s| 2410k| 516 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1459k| 30 | 3.100000e+01 | -- | Inf
1785.33/1786.08 c 1736s| 2420k| 517 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1465k| 30 | 3.100000e+01 | -- | Inf
1792.32/1793.08 c 1743s| 2430k| 516 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1471k| 30 | 3.100000e+01 | -- | Inf
1799.32/1800.01 c 1750s| 2440k| 513 | 924 | 18M| 554 | - | 930 | 13k| 10k| 0 | 0 | 33 |1477k| 30 | 3.100000e+01 | -- | Inf
1800.03/1800.70 c
1800.03/1800.70 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.70 c Solving Time (sec) : 1750.62
1800.03/1800.70 c Solving Nodes : 2440875
1800.03/1800.70 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.70 c Dual Bound : +3.10000000000000e+01
1800.03/1800.70 c Gap : infinite
1800.03/1800.70 c NODE 2440875
1800.03/1800.70 c DUAL BOUND 31
1800.03/1800.70 c PRIMAL BOUND 1e+20
1800.03/1800.70 c GAP 1e+20
1800.03/1800.70 s UNKNOWN
1800.03/1800.70 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.70 c Solving Time : 1750.62
1800.03/1800.70 c Original Problem :
1800.03/1800.70 c Problem name : HOME/instance-1883911-1245238126.opb
1800.03/1800.70 c Variables : 930 (930 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.70 c Constraints : 13981 initial, 13981 maximal
1800.03/1800.70 c Presolved Problem :
1800.03/1800.70 c Problem name : t_HOME/instance-1883911-1245238126.opb
1800.03/1800.70 c Variables : 930 (930 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.70 c Constraints : 13981 initial, 14010 maximal
1800.03/1800.70 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.70 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.70 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.70 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.70 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.70 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.70 c probing : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.70 c logicor : 0.04 0 0 0 0 0 0 0 0
1800.03/1800.70 c root node : - 0 - - 0 - - - -
1800.03/1800.70 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.70 c integral : 0 0 0 1 0 0 0 0 0 2
1800.03/1800.70 c logicor : 13981+ 5 12021315 0 0 1475911 38557063 0 0 0
1800.03/1800.70 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.70 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.70 c integral : 1.56 0.00 0.00 1.56 0.00
1800.03/1800.70 c logicor : 844.42 0.00 844.42 0.00 0.00
1800.03/1800.70 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.70 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.70 c rootredcost : 4.30 0 0 0
1800.03/1800.70 c pseudoobj : 536.56 13955539 0 0
1800.03/1800.70 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.70 c propagation : 614.30 1475911 1475911 1475911 129.6 16764 141.1 -
1800.03/1800.70 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.70 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.70 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.70 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.70 c applied globally : - - - 174708 70.3 - - -
1800.03/1800.70 c applied locally : - - - 1303325 137.5 - - -
1800.03/1800.70 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.70 c cut pool : 0.00 4 - - 0 - (maximal pool size: 162)
1800.03/1800.70 c redcost : 0.00 5 0 0 0 0
1800.03/1800.70 c impliedbounds : 0.00 5 0 0 0 0
1800.03/1800.70 c intobj : 0.00 0 0 0 0 0
1800.03/1800.70 c gomory : 0.80 5 0 0 1773 0
1800.03/1800.70 c strongcg : 0.63 5 0 0 2012 0
1800.03/1800.70 c cmir : 0.00 0 0 0 0 0
1800.03/1800.70 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.70 c clique : 0.01 5 0 0 13 0
1800.03/1800.70 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.70 c mcf : 0.02 1 0 0 0 0
1800.03/1800.70 c Pricers : Time Calls Vars
1800.03/1800.70 c problem variables: 0.00 0 0
1800.03/1800.70 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.70 c relpscost : 1.56 1 0 0 0 0 2
1800.03/1800.70 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.70 c inference : 19.02 1738561 0 0 0 0 3477122
1800.03/1800.70 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.70 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.70 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.70 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.70 c random : 0.00 0 0 0 0 0 0
1800.03/1800.70 c Primal Heuristics : Time Calls Found
1800.03/1800.70 c LP solutions : 0.00 - 0
1800.03/1800.70 c pseudo solutions : 0.00 - 0
1800.03/1800.70 c simplerounding : 0.00 0 0
1800.03/1800.70 c rounding : 0.00 0 0
1800.03/1800.70 c shifting : 0.00 0 0
1800.03/1800.70 c intshifting : 0.00 0 0
1800.03/1800.70 c oneopt : 0.00 0 0
1800.03/1800.70 c fixandinfer : 0.00 0 0
1800.03/1800.70 c feaspump : 0.00 0 0
1800.03/1800.70 c coefdiving : 0.00 0 0
1800.03/1800.70 c pscostdiving : 0.00 0 0
1800.03/1800.70 c fracdiving : 0.00 0 0
1800.03/1800.70 c veclendiving : 0.00 0 0
1800.03/1800.70 c intdiving : 0.00 0 0
1800.03/1800.70 c actconsdiving : 0.00 0 0
1800.03/1800.70 c objpscostdiving : 0.00 0 0
1800.03/1800.70 c rootsoldiving : 0.00 0 0
1800.03/1800.70 c linesearchdiving : 0.00 0 0
1800.03/1800.70 c guideddiving : 0.00 0 0
1800.03/1800.70 c octane : 0.00 0 0
1800.03/1800.70 c rens : 0.00 0 0
1800.03/1800.70 c rins : 0.00 0 0
1800.03/1800.70 c localbranching : 0.00 0 0
1800.03/1800.70 c mutation : 0.00 0 0
1800.03/1800.70 c crossover : 0.00 0 0
1800.03/1800.70 c dins : 0.00 0 0
1800.03/1800.70 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.70 c primal LP : 0.02 0 0 0.00 0.00
1800.03/1800.70 c dual LP : 0.71 6 924 154.00 1301.41
1800.03/1800.70 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.70 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.70 c strong branching : 1.56 30 1737 57.90 1113.46
1800.03/1800.70 c (at root node) : - 30 1737 57.90 -
1800.03/1800.70 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.70 c B&B Tree :
1800.03/1800.70 c number of runs : 1
1800.03/1800.70 c nodes : 2440875
1800.03/1800.70 c nodes (total) : 2440875
1800.03/1800.70 c nodes left : 518
1800.03/1800.70 c max depth : 554
1800.03/1800.70 c max depth (total): 554
1800.03/1800.70 c backtracks : 793953 (32.5%)
1800.03/1800.70 c delayed cutoffs : 1035732
1800.03/1800.70 c repropagations : 2119078 (21860628 domain reductions, 773598 cutoffs)
1800.03/1800.70 c avg switch length: 2.57
1800.03/1800.70 c switching time : 172.37
1800.03/1800.71 c Solution :
1800.03/1800.71 c Solutions found : 0 (0 improvements)
1800.03/1800.71 c Primal Bound : -
1800.03/1800.71 c Dual Bound : +3.10000000000000e+01
1800.03/1800.71 c Gap : infinite
1800.03/1800.71 c Root Dual Bound : +3.10000000000000e+01
1800.03/1800.77 c Time complete: 1800.09.