0.00/0.02 c SCIP version 1.1.0.7
0.00/0.02 c LP-Solver Clp 1.8.2
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c read problem <HOME/instance-1884178-1245255568.opb>
0.00/0.02 c original problem has 220 variables (220 bin, 0 int, 0 impl, 0 cont) and 880 constraints
0.00/0.02 c No objective function, only one solution is needed.
0.00/0.02 c start presolving problem
0.00/0.02 c presolving:
0.00/0.06 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 880 upgd conss, 0 impls, 0 clqs
0.06/0.06 c presolving (2 rounds):
0.06/0.06 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.06/0.06 c 0 implications, 0 cliques
0.06/0.06 c presolved problem has 220 variables (220 bin, 0 int, 0 impl, 0 cont) and 880 constraints
0.06/0.06 c 880 constraints of type <logicor>
0.06/0.06 c transformed objective value is always integral (scale: 1)
0.06/0.06 c Presolving Time: 0.04
0.06/0.06 c PURESAT
0.06/0.06 c -----------------------------------------------------------------------------------------------
0.06/0.06 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.06/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.06/0.06 c separating/flowcover/freq = c -1
0.06/0.06 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.06/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.06/0.06 c separating/cmir/freq = c -1
0.06/0.06 c # additional number of allowed LP iterations
0.06/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.06 c heuristics/veclendiving/maxlpiterofs = c 1500
0.06/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.06/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.06/0.06 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.06/0.06 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.06/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.06/0.06 c heuristics/veclendiving/freq = c -1
0.06/0.06 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.06/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.06/0.06 c heuristics/simplerounding/freq = c -1
0.06/0.06 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.06/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.06/0.06 c heuristics/shifting/freq = c -1
0.06/0.06 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.06/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.06/0.06 c heuristics/rounding/freq = c -1
0.06/0.06 c # additional number of allowed LP iterations
0.06/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.06 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.06/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.06/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.06/0.06 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.06/0.06 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.06/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.06/0.06 c heuristics/rootsoldiving/freq = c -1
0.06/0.06 c # number of nodes added to the contingent of the total nodes
0.06/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.06/0.06 c heuristics/rens/nodesofs = c 2000
0.06/0.06 c # minimum percentage of integer variables that have to be fixable
0.06/0.06 c # [type: real, range: [0,1], default: 0.5]
0.06/0.06 c heuristics/rens/minfixingrate = c 0.3
0.06/0.06 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.06/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.06/0.06 c heuristics/rens/freq = c -1
0.06/0.06 c # additional number of allowed LP iterations
0.06/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.06 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.06/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.06/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.06/0.06 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.06/0.06 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.06/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.06/0.06 c heuristics/pscostdiving/freq = c -1
0.06/0.06 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.06/0.07 c heuristics/oneopt/freq = c -1
0.06/0.07 c # additional number of allowed LP iterations
0.06/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.07 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.06/0.07 c # maximal fraction of diving LP iterations compared to total iteration number
0.06/0.07 c # [type: real, range: [0,1], default: 0.01]
0.06/0.07 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.06/0.07 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 20]
0.06/0.07 c heuristics/objpscostdiving/freq = c -1
0.06/0.07 c # additional number of allowed LP iterations
0.06/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.07 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.06/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.06/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.06/0.07 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.06/0.07 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.06/0.07 c heuristics/linesearchdiving/freq = c -1
0.06/0.07 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.06/0.07 c heuristics/intshifting/freq = c -1
0.06/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.06/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.06/0.07 c heuristics/intdiving/maxlpiterquot = c 0.075
0.06/0.07 c # additional number of allowed LP iterations
0.06/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.07 c heuristics/guideddiving/maxlpiterofs = c 1500
0.06/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.06/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.06/0.07 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.06/0.07 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.06/0.07 c heuristics/guideddiving/freq = c -1
0.06/0.07 c # additional number of allowed LP iterations
0.06/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.07 c heuristics/fracdiving/maxlpiterofs = c 1500
0.06/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.06/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.06/0.07 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.06/0.07 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.06/0.07 c heuristics/fracdiving/freq = c -1
0.06/0.07 c # additional number of allowed LP iterations
0.06/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.07 c heuristics/feaspump/maxlpiterofs = c 2000
0.06/0.07 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 20]
0.06/0.07 c heuristics/feaspump/freq = c -1
0.06/0.07 c # minimum percentage of integer variables that have to be fixed
0.06/0.07 c # [type: real, range: [0,1], default: 0.666]
0.06/0.07 c heuristics/crossover/minfixingrate = c 0.5
0.06/0.07 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.06/0.07 c # [type: real, range: [0,1], default: 0.1]
0.06/0.07 c heuristics/crossover/nodesquot = c 0.15
0.06/0.07 c # number of nodes without incumbent change that heuristic should wait
0.06/0.07 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.06/0.07 c heuristics/crossover/nwaitingnodes = c 100
0.06/0.07 c # number of nodes added to the contingent of the total nodes
0.06/0.07 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.06/0.07 c heuristics/crossover/nodesofs = c 750
0.06/0.07 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 30]
0.06/0.07 c heuristics/crossover/freq = c -1
0.06/0.07 c # additional number of allowed LP iterations
0.06/0.07 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.07 c heuristics/coefdiving/maxlpiterofs = c 1500
0.06/0.07 c # maximal fraction of diving LP iterations compared to node LP iterations
0.06/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.06/0.07 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.06/0.07 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 10]
0.06/0.07 c heuristics/coefdiving/freq = c -1
0.06/0.07 c # priority of node selection rule <dfs> in standard mode
0.06/0.07 c # [type: int, range: [-536870912,536870911], default: 0]
0.06/0.07 c nodeselection/dfs/stdpriority = c 1000000
0.06/0.07 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.06/0.07 c presolving/probing/maxrounds = c 0
0.06/0.07 c # should presolving try to simplify knapsacks
0.06/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.06/0.07 c constraints/knapsack/simplifyinequalities = c TRUE
0.06/0.07 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.06/0.07 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.06/0.07 c constraints/knapsack/disaggregation = c FALSE
0.06/0.07 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.06/0.07 c constraints/knapsack/maxnumcardlift = c 0
0.06/0.07 c # should presolving try to simplify inequalities
0.06/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.06/0.07 c constraints/linear/simplifyinequalities = c TRUE
0.06/0.07 c # maximal number of separation rounds in the root node (-1: unlimited)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.06/0.07 c separating/maxroundsroot = c 5
0.06/0.07 c # maximal number of separation rounds per node (-1: unlimited)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 5]
0.06/0.07 c separating/maxrounds = c 1
0.06/0.07 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.06/0.07 c # [type: char, range: {lafpsqd}, default: l]
0.06/0.07 c lp/pricing = c a
0.06/0.07 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.06/0.07 c lp/solvefreq = c 0
0.06/0.07 c # solving stops, if the given number of solutions were found (-1: no limit)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.06/0.07 c limits/solutions = c 1
0.06/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.06/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.06/0.07 c limits/memory = c 1620
0.06/0.07 c # maximal time in seconds to run
0.06/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.06/0.07 c limits/time = c 1791
0.06/0.07 c # frequency for displaying node information lines
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.06/0.07 c display/freq = c 10000
0.06/0.07 c # should enforcement of pseudo solution be disabled?
0.06/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.06/0.07 c constraints/disableenfops = c TRUE
0.06/0.07 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: 0]
0.06/0.07 c constraints/agelimit = c 1
0.06/0.07 c # should binary conflicts be preferred?
0.06/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.06/0.07 c conflict/preferbinary = c TRUE
0.06/0.07 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.06/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.06/0.07 c conflict/interconss = c 0
0.06/0.07 c -----------------------------------------------------------------------------------------------
0.06/0.07 c start solving problem
0.06/0.07 c
0.09/0.13 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.13 c 0.1s| 1 | 0 | 409 |1541k| 0 | 195 | 220 | 880 | 880 | 220 | 880 | 0 | 0 | 0 | 5.845872e+01 | -- | Inf
0.29/0.34 c 0.3s| 1 | 0 | 451 |2996k| 0 | 192 | 220 | 880 | 880 | 220 | 881 | 1 | 0 | 0 | 5.857225e+01 | -- | Inf
0.49/0.57 c 0.5s| 1 | 0 | 518 |4586k| 0 | 203 | 220 | 880 | 880 | 220 | 882 | 2 | 0 | 0 | 5.860727e+01 | -- | Inf
0.78/0.81 c 0.8s| 1 | 0 | 583 |6338k| 0 | 191 | 220 | 880 | 880 | 220 | 883 | 3 | 0 | 0 | 5.862041e+01 | -- | Inf
1.00/1.06 c 1.0s| 1 | 0 | 644 |8013k| 0 | 189 | 220 | 880 | 880 | 220 | 884 | 4 | 0 | 0 | 5.863288e+01 | -- | Inf
1.29/1.30 c 1.3s| 1 | 0 | 693 |9749k| 0 | 194 | 220 | 880 | 880 | 220 | 885 | 5 | 0 | 0 | 5.863923e+01 | -- | Inf
2.39/2.47 c 2.4s| 1 | 2 | 693 |9749k| 0 | 194 | 220 | 880 | 880 | 220 | 885 | 5 | 0 | 25 | 5.863923e+01 | -- | Inf
8.08/8.12 c 7.6s| 10000 | 19 | 693 |9907k| 36 | - | 220 | 903 | 698 | 0 | 0 | 5 |4056 | 25 | 5.896870e+01 | -- | Inf
15.09/15.16 c 14.1s| 20000 | 15 | 693 |9922k| 36 | - | 220 | 919 | 337 | 0 | 0 | 5 |7731 | 25 | 5.896870e+01 | -- | Inf
22.28/22.32 c 20.6s| 30000 | 21 | 693 |9909k| 36 | - | 220 | 884 | 533 | 0 | 0 | 5 | 11k| 25 | 5.896870e+01 | -- | Inf
28.49/28.58 c 26.3s| 40000 | 17 | 693 |9911k| 36 | - | 220 | 895 | 631 | 0 | 0 | 5 | 14k| 25 | 5.896870e+01 | -- | Inf
34.78/34.82 c 32.0s| 50000 | 18 | 693 |9919k| 36 | - | 220 | 896 | 307 | 0 | 0 | 5 | 18k| 25 | 5.896870e+01 | -- | Inf
41.08/41.13 c 37.9s| 60000 | 16 | 693 |9916k| 36 | - | 220 | 901 | 592 | 0 | 0 | 5 | 22k| 25 | 5.896870e+01 | -- | Inf
45.87/45.93 c 42.3s| 70000 | 19 | 693 |9928k| 36 | - | 220 | 879 | 353 | 0 | 0 | 5 | 25k| 25 | 5.896870e+01 | -- | Inf
50.87/50.98 c 47.0s| 80000 | 18 | 693 |9927k| 36 | - | 220 | 883 | 487 | 0 | 0 | 5 | 27k| 25 | 5.896870e+01 | -- | Inf
56.37/56.42 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.37/56.42 c 52.0s| 90000 | 13 | 693 |9931k| 36 | - | 220 | 889 | 323 | 0 | 0 | 5 | 30k| 25 | 5.896870e+01 | -- | Inf
61.37/61.47 c 56.6s|100000 | 12 | 693 |9930k| 36 | - | 220 | 880 | 284 | 0 | 0 | 5 | 31k| 25 | 5.896870e+01 | -- | Inf
66.06/66.14 c 61.0s|110000 | 16 | 693 |9935k| 36 | - | 220 | 893 | 314 | 0 | 0 | 5 | 34k| 25 | 5.896870e+01 | -- | Inf
70.67/70.71 c 65.2s|120000 | 11 | 693 |9930k| 36 | - | 220 | 890 | 734 | 0 | 0 | 5 | 37k| 25 | 5.896870e+01 | -- | Inf
75.16/75.23 c 69.4s|130000 | 15 | 693 |9941k| 36 | - | 220 | 889 | 346 | 0 | 0 | 5 | 41k| 25 | 5.896870e+01 | -- | Inf
79.87/79.97 c 73.7s|140000 | 18 | 693 |9946k| 36 | - | 220 | 893 | 337 | 0 | 0 | 5 | 43k| 25 | 5.896870e+01 | -- | Inf
84.46/84.51 c 77.9s|150000 | 14 | 693 |9942k| 36 | - | 220 | 880 | 305 | 0 | 0 | 5 | 44k| 25 | 5.896870e+01 | -- | Inf
89.07/89.10 c 82.2s|160000 | 14 | 693 |9938k| 36 | - | 220 | 880 | 510 | 0 | 0 | 5 | 44k| 25 | 5.896870e+01 | -- | Inf
93.47/93.56 c 86.3s|170000 | 12 | 693 |9938k| 36 | - | 220 | 880 | 501 | 0 | 0 | 5 | 44k| 25 | 5.896870e+01 | -- | Inf
98.25/98.31 c 90.7s|180000 | 16 | 693 |9940k| 36 | - | 220 | 886 | 533 | 0 | 0 | 5 | 47k| 25 | 5.896870e+01 | -- | Inf
102.86/102.91 c 94.9s|190000 | 15 | 693 |9937k| 36 | - | 220 | 878 | 512 | 0 | 0 | 5 | 47k| 25 | 5.896870e+01 | -- | Inf
107.25/107.39 c 99.0s|200000 | 14 | 693 |9939k| 36 | - | 220 | 883 | 485 | 0 | 0 | 5 | 48k| 25 | 5.896870e+01 | -- | Inf
111.95/112.02 c 103s|210000 | 16 | 693 |9948k| 36 | - | 220 | 908 | 479 | 0 | 0 | 5 | 49k| 25 | 5.896870e+01 | -- | Inf
116.56/116.62 c 108s|220000 | 9 | 693 |9951k| 36 | - | 220 | 929 | 520 | 0 | 0 | 5 | 51k| 25 | 5.896870e+01 | -- | Inf
121.16/121.28 c 112s|230000 | 15 | 693 |9943k| 36 | - | 220 | 884 | 459 | 0 | 0 | 5 | 53k| 25 | 5.896870e+01 | -- | Inf
125.95/126.09 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
125.95/126.09 c 116s|240000 | 14 | 693 |9945k| 36 | - | 220 | 883 | 474 | 0 | 0 | 5 | 55k| 25 | 5.896870e+01 | -- | Inf
130.95/131.07 c 121s|250000 | 14 | 693 |9941k| 36 | - | 220 | 882 | 721 | 0 | 0 | 5 | 57k| 25 | 5.896870e+01 | -- | Inf
135.74/135.80 c 125s|260000 | 14 | 693 |9946k| 36 | - | 220 | 896 | 644 | 0 | 0 | 5 | 59k| 25 | 5.896870e+01 | -- | Inf
140.44/140.57 c 130s|270000 | 16 | 693 |9949k| 36 | - | 220 | 883 | 383 | 0 | 0 | 5 | 61k| 25 | 5.896870e+01 | -- | Inf
145.64/145.73 c 134s|280000 | 15 | 693 |9953k| 36 | - | 220 | 895 | 300 | 0 | 0 | 5 | 63k| 25 | 5.896870e+01 | -- | Inf
150.44/150.53 c 139s|290000 | 14 | 693 |9946k| 36 | - | 220 | 881 | 532 | 0 | 0 | 5 | 65k| 25 | 5.896870e+01 | -- | Inf
155.34/155.49 c 143s|300000 | 14 | 693 |9945k| 36 | - | 220 | 886 | 661 | 0 | 0 | 5 | 67k| 25 | 5.896870e+01 | -- | Inf
159.84/159.94 c 148s|310000 | 19 | 693 |9948k| 36 | - | 220 | 887 | 597 | 0 | 0 | 5 | 70k| 25 | 5.896870e+01 | -- | Inf
164.34/164.43 c 152s|320000 | 12 | 693 |9951k| 36 | - | 220 | 894 | 481 | 0 | 0 | 5 | 74k| 25 | 5.896870e+01 | -- | Inf
169.14/169.26 c 156s|330000 | 11 | 693 |9947k| 36 | - | 220 | 882 | 512 | 0 | 0 | 5 | 76k| 25 | 5.896870e+01 | -- | Inf
173.94/174.03 c 161s|340000 | 12 | 693 |9949k| 36 | - | 220 | 882 | 485 | 0 | 0 | 5 | 78k| 25 | 5.896870e+01 | -- | Inf
179.14/179.23 c 165s|350000 | 16 | 693 |9953k| 36 | - | 220 | 883 | 294 | 0 | 0 | 5 | 79k| 25 | 5.896870e+01 | -- | Inf
183.93/184.09 c 170s|360000 | 12 | 693 |9952k| 36 | - | 220 | 885 | 335 | 0 | 0 | 5 | 80k| 25 | 5.896870e+01 | -- | Inf
188.93/189.00 c 174s|370000 | 12 | 693 |9944k| 36 | - | 220 | 880 | 769 | 0 | 0 | 5 | 82k| 25 | 5.896870e+01 | -- | Inf
194.03/194.11 c 179s|380000 | 20 | 693 |9953k| 36 | - | 220 | 887 | 560 | 0 | 0 | 5 | 85k| 25 | 5.896870e+01 | -- | Inf
198.93/199.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
198.93/199.02 c 184s|390000 | 14 | 693 |9959k| 36 | - | 220 | 897 | 284 | 0 | 0 | 5 | 87k| 25 | 5.896870e+01 | -- | Inf
204.03/204.16 c 188s|400000 | 15 | 693 |9954k| 36 | - | 220 | 881 | 325 | 0 | 0 | 5 | 92k| 25 | 5.896870e+01 | -- | Inf
208.83/208.96 c 193s|410000 | 11 | 693 |9955k| 36 | - | 220 | 884 | 303 | 0 | 0 | 5 | 94k| 25 | 5.896870e+01 | -- | Inf
214.03/214.13 c 198s|420000 | 15 | 693 |9955k| 36 | - | 220 | 880 | 319 | 0 | 0 | 5 | 96k| 25 | 5.896870e+01 | -- | Inf
219.12/219.24 c 202s|430000 | 17 | 693 |9958k| 36 | - | 220 | 898 | 554 | 0 | 0 | 5 | 99k| 25 | 5.896870e+01 | -- | Inf
223.82/223.94 c 207s|440000 | 16 | 693 |9958k| 36 | - | 220 | 892 | 486 | 0 | 0 | 5 | 102k| 25 | 5.896870e+01 | -- | Inf
228.82/228.91 c 211s|450000 | 16 | 693 |9958k| 36 | - | 220 | 880 | 288 | 0 | 0 | 5 | 104k| 25 | 5.896870e+01 | -- | Inf
233.62/233.73 c 216s|460000 | 13 | 693 |9952k| 36 | - | 220 | 882 | 646 | 0 | 0 | 5 | 105k| 25 | 5.896870e+01 | -- | Inf
238.72/238.83 c 220s|470000 | 15 | 693 |9961k| 36 | - | 220 | 888 | 296 | 0 | 0 | 5 | 107k| 25 | 5.896870e+01 | -- | Inf
243.11/243.26 c 225s|480000 | 15 | 693 |9960k| 36 | - | 220 | 885 | 301 | 0 | 0 | 5 | 111k| 25 | 5.896870e+01 | -- | Inf
247.71/247.88 c 229s|490000 | 9 | 693 |9957k| 36 | - | 220 | 890 | 455 | 0 | 0 | 5 | 113k| 25 | 5.896870e+01 | -- | Inf
252.51/252.67 c 233s|500000 | 16 | 693 |9961k| 36 | - | 220 | 896 | 525 | 0 | 0 | 5 | 115k| 25 | 5.896870e+01 | -- | Inf
257.51/257.61 c 238s|510000 | 13 | 693 |9961k| 36 | - | 220 | 888 | 317 | 0 | 0 | 5 | 119k| 25 | 5.896870e+01 | -- | Inf
262.50/262.65 c 242s|520000 | 15 | 693 |9961k| 36 | - | 220 | 887 | 317 | 0 | 0 | 5 | 121k| 25 | 5.896870e+01 | -- | Inf
267.12/267.30 c 247s|530000 | 15 | 693 |9956k| 36 | - | 220 | 887 | 572 | 0 | 0 | 5 | 123k| 25 | 5.896870e+01 | -- | Inf
272.10/272.23 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
272.10/272.23 c 251s|540000 | 9 | 693 |9955k| 36 | - | 220 | 883 | 491 | 0 | 0 | 5 | 125k| 25 | 5.896870e+01 | -- | Inf
276.71/276.84 c 256s|550000 | 15 | 693 |9960k| 36 | - | 220 | 883 | 336 | 0 | 0 | 5 | 127k| 25 | 5.896870e+01 | -- | Inf
281.30/281.46 c 260s|560000 | 14 | 693 |9955k| 36 | - | 220 | 888 | 689 | 0 | 0 | 5 | 129k| 25 | 5.896870e+01 | -- | Inf
286.10/286.28 c 264s|570000 | 13 | 693 |9953k| 36 | - | 220 | 887 | 753 | 0 | 0 | 5 | 131k| 25 | 5.896870e+01 | -- | Inf
291.20/291.32 c 269s|580000 | 14 | 693 |9964k| 36 | - | 220 | 890 | 219 | 0 | 0 | 5 | 133k| 25 | 5.896870e+01 | -- | Inf
296.00/296.13 c 273s|590000 | 9 | 693 |9967k| 36 | - | 220 | 899 | 236 | 0 | 0 | 5 | 137k| 25 | 5.896870e+01 | -- | Inf
301.50/301.69 c 279s|600000 | 11 | 693 |9961k| 36 | - | 220 | 892 | 457 | 0 | 0 | 5 | 138k| 25 | 5.896870e+01 | -- | Inf
306.69/306.88 c 283s|610000 | 13 | 693 |9964k| 36 | - | 220 | 905 | 552 | 0 | 0 | 5 | 142k| 25 | 5.896870e+01 | -- | Inf
311.39/311.50 c 288s|620000 | 16 | 693 |9957k| 36 | - | 220 | 887 | 690 | 0 | 0 | 5 | 143k| 25 | 5.896870e+01 | -- | Inf
315.89/316.02 c 292s|630000 | 12 | 693 |9963k| 36 | - | 220 | 886 | 290 | 0 | 0 | 5 | 143k| 25 | 5.896870e+01 | -- | Inf
320.29/320.40 c 296s|640000 | 13 | 693 |9963k| 36 | - | 220 | 890 | 304 | 0 | 0 | 5 | 144k| 25 | 5.896870e+01 | -- | Inf
324.79/324.95 c 300s|650000 | 11 | 693 |9962k| 36 | - | 220 | 886 | 290 | 0 | 0 | 5 | 145k| 25 | 5.896870e+01 | -- | Inf
329.58/329.70 c 305s|660000 | 12 | 693 |9961k| 36 | - | 220 | 901 | 681 | 0 | 0 | 5 | 146k| 25 | 5.896870e+01 | -- | Inf
334.19/334.32 c 309s|670000 | 11 | 693 |9974k| 36 | - | 220 | 931 | 449 | 0 | 0 | 5 | 151k| 25 | 5.896870e+01 | -- | Inf
339.18/339.31 c 313s|680000 | 13 | 693 |9968k| 36 | - | 220 | 897 | 284 | 0 | 0 | 5 | 153k| 25 | 5.896870e+01 | -- | Inf
343.48/343.64 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
343.48/343.64 c 317s|690000 | 13 | 693 |9976k| 36 | - | 220 | 945 | 462 | 0 | 0 | 5 | 157k| 25 | 5.896870e+01 | -- | Inf
348.08/348.22 c 322s|700000 | 16 | 693 |9972k| 36 | - | 220 | 901 | 494 | 0 | 0 | 5 | 160k| 25 | 5.896870e+01 | -- | Inf
352.88/353.07 c 326s|710000 | 11 | 693 |9972k| 36 | - | 220 | 902 | 468 | 0 | 0 | 5 | 163k| 25 | 5.896870e+01 | -- | Inf
358.08/358.23 c 331s|720000 | 18 | 693 |9976k| 36 | - | 220 | 914 | 516 | 0 | 0 | 5 | 166k| 25 | 5.896870e+01 | -- | Inf
362.67/362.81 c 335s|730000 | 13 | 693 |9974k| 36 | - | 220 | 906 | 640 | 0 | 0 | 5 | 171k| 25 | 5.896870e+01 | -- | Inf
367.08/367.29 c 339s|740000 | 15 | 693 |9973k| 36 | - | 220 | 900 | 552 | 0 | 0 | 5 | 176k| 25 | 5.896870e+01 | -- | Inf
371.97/372.12 c 344s|750000 | 13 | 693 |9978k| 36 | - | 220 | 895 | 482 | 0 | 0 | 5 | 180k| 25 | 5.896870e+01 | -- | Inf
376.87/377.07 c 348s|760000 | 15 | 693 |9984k| 36 | - | 220 | 913 | 513 | 0 | 0 | 5 | 184k| 25 | 5.896870e+01 | -- | Inf
382.07/382.23 c 353s|770000 | 13 | 693 |9987k| 36 | - | 220 | 910 | 317 | 0 | 0 | 5 | 187k| 25 | 5.896870e+01 | -- | Inf
386.56/386.75 c 357s|780000 | 11 | 693 |9989k| 36 | - | 220 | 934 | 559 | 0 | 0 | 5 | 192k| 25 | 5.896870e+01 | -- | Inf
391.27/391.41 c 362s|790000 | 13 | 693 |9983k| 36 | - | 220 | 908 | 524 | 0 | 0 | 5 | 196k| 25 | 5.896870e+01 | -- | Inf
395.97/396.19 c 366s|800000 | 17 | 693 |9981k| 36 | - | 220 | 904 | 597 | 0 | 0 | 5 | 201k| 25 | 5.896870e+01 | -- | Inf
400.67/400.85 c 370s|810000 | 10 | 693 |9984k| 36 | - | 220 | 910 | 447 | 0 | 0 | 5 | 204k| 25 | 5.896870e+01 | -- | Inf
405.67/405.84 c 375s|820000 | 17 | 693 |9979k| 36 | - | 220 | 884 | 479 | 0 | 0 | 5 | 207k| 25 | 5.896870e+01 | -- | Inf
411.06/411.26 c 380s|830000 | 18 | 693 |9980k| 36 | - | 220 | 890 | 507 | 0 | 0 | 5 | 208k| 25 | 5.896870e+01 | -- | Inf
416.46/416.66 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
416.46/416.66 c 385s|840000 | 17 | 693 |9982k| 36 | - | 220 | 900 | 600 | 0 | 0 | 5 | 210k| 25 | 5.896870e+01 | -- | Inf
421.26/421.47 c 389s|850000 | 15 | 693 |9977k| 36 | - | 220 | 886 | 596 | 0 | 0 | 5 | 211k| 25 | 5.896870e+01 | -- | Inf
426.16/426.34 c 394s|860000 | 16 | 693 |9980k| 36 | - | 220 | 899 | 657 | 0 | 0 | 5 | 213k| 25 | 5.896870e+01 | -- | Inf
431.26/431.41 c 399s|870000 | 13 | 693 |9985k| 36 | - | 220 | 894 | 315 | 0 | 0 | 5 | 214k| 25 | 5.896870e+01 | -- | Inf
436.26/436.43 c 403s|880000 | 12 | 693 |9983k| 36 | - | 220 | 892 | 297 | 0 | 0 | 5 | 215k| 25 | 5.896870e+01 | -- | Inf
441.26/441.48 c 408s|890000 | 13 | 693 |9978k| 36 | - | 220 | 892 | 644 | 0 | 0 | 5 | 216k| 25 | 5.896870e+01 | -- | Inf
446.25/446.40 c 413s|900000 | 11 | 693 |9980k| 36 | - | 220 | 890 | 506 | 0 | 0 | 5 | 217k| 25 | 5.896870e+01 | -- | Inf
451.25/451.47 c 417s|910000 | 15 | 693 |9981k| 36 | - | 220 | 901 | 701 | 0 | 0 | 5 | 218k| 25 | 5.896870e+01 | -- | Inf
456.35/456.58 c 422s|920000 | 16 | 693 |9977k| 36 | - | 220 | 890 | 630 | 0 | 0 | 5 | 220k| 25 | 5.896870e+01 | -- | Inf
461.24/461.42 c 426s|930000 | 13 | 693 |9980k| 36 | - | 220 | 889 | 441 | 0 | 0 | 5 | 222k| 25 | 5.896870e+01 | -- | Inf
466.84/467.07 c 432s|940000 | 13 | 693 |9979k| 36 | - | 220 | 892 | 581 | 0 | 0 | 5 | 224k| 25 | 5.896870e+01 | -- | Inf
472.24/472.46 c 437s|950000 | 11 | 693 |9986k| 36 | - | 220 | 907 | 623 | 0 | 0 | 5 | 226k| 25 | 5.896870e+01 | -- | Inf
477.25/477.46 c 441s|960000 | 11 | 693 |9982k| 36 | - | 220 | 893 | 526 | 0 | 0 | 5 | 229k| 25 | 5.896870e+01 | -- | Inf
482.75/482.94 c 446s|970000 | 11 | 693 |9984k| 36 | - | 220 | 887 | 259 | 0 | 0 | 5 | 231k| 25 | 5.896870e+01 | -- | Inf
488.44/488.70 c 452s|980000 | 16 | 693 |9984k| 36 | - | 220 | 888 | 375 | 0 | 0 | 5 | 231k| 25 | 5.896870e+01 | -- | Inf
494.24/494.42 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
494.24/494.42 c 457s|990000 | 13 | 693 |9979k| 36 | - | 220 | 889 | 601 | 0 | 0 | 5 | 232k| 25 | 5.896870e+01 | -- | Inf
499.83/500.09 c 462s| 1000k| 15 | 693 |9978k| 36 | - | 220 | 889 | 676 | 0 | 0 | 5 | 233k| 25 | 5.896870e+01 | -- | Inf
505.84/506.06 c 468s| 1010k| 12 | 693 |9985k| 36 | - | 220 | 908 | 672 | 0 | 0 | 5 | 236k| 25 | 5.896870e+01 | -- | Inf
510.93/511.12 c 473s| 1020k| 15 | 693 |9980k| 36 | - | 220 | 894 | 658 | 0 | 0 | 5 | 238k| 25 | 5.896870e+01 | -- | Inf
516.03/516.26 c 477s| 1030k| 11 | 693 |9980k| 36 | - | 220 | 892 | 613 | 0 | 0 | 5 | 239k| 25 | 5.896870e+01 | -- | Inf
521.43/521.69 c 482s| 1040k| 12 | 693 |9990k| 36 | - | 220 | 905 | 342 | 0 | 0 | 5 | 242k| 25 | 5.896870e+01 | -- | Inf
526.32/526.56 c 487s| 1050k| 12 | 693 |9982k| 36 | - | 220 | 890 | 530 | 0 | 0 | 5 | 244k| 25 | 5.896870e+01 | -- | Inf
531.23/531.40 c 491s| 1060k| 13 | 693 |9986k| 36 | - | 220 | 890 | 325 | 0 | 0 | 5 | 245k| 25 | 5.896870e+01 | -- | Inf
536.12/536.35 c 496s| 1070k| 14 | 693 |9984k| 36 | - | 220 | 891 | 476 | 0 | 0 | 5 | 246k| 25 | 5.896870e+01 | -- | Inf
541.72/541.92 c 501s| 1080k| 10 | 693 |9979k| 36 | - | 220 | 891 | 726 | 0 | 0 | 5 | 247k| 25 | 5.896870e+01 | -- | Inf
547.62/547.88 c 507s| 1090k| 14 | 693 |9980k| 36 | - | 220 | 893 | 697 | 0 | 0 | 5 | 249k| 25 | 5.896870e+01 | -- | Inf
554.02/554.21 c 512s| 1100k| 13 | 693 |9990k| 36 | - | 220 | 906 | 398 | 0 | 0 | 5 | 253k| 25 | 5.896870e+01 | -- | Inf
559.81/560.09 c 518s| 1110k| 13 | 693 |9989k| 36 | - | 220 | 894 | 313 | 0 | 0 | 5 | 258k| 25 | 5.896870e+01 | -- | Inf
566.22/566.42 c 524s| 1120k| 19 | 693 |9984k| 36 | - | 220 | 888 | 563 | 0 | 0 | 5 | 261k| 25 | 5.896870e+01 | -- | Inf
572.01/572.27 c 529s| 1130k| 14 | 693 |9987k| 36 | - | 220 | 902 | 500 | 0 | 0 | 5 | 264k| 25 | 5.896870e+01 | -- | Inf
577.81/578.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
577.81/578.02 c 534s| 1140k| 15 | 693 |9988k| 36 | - | 220 | 889 | 260 | 0 | 0 | 5 | 268k| 25 | 5.896870e+01 | -- | Inf
583.20/583.41 c 539s| 1150k| 9 | 693 |9983k| 36 | - | 220 | 892 | 479 | 0 | 0 | 5 | 269k| 25 | 5.896870e+01 | -- | Inf
588.11/588.35 c 544s| 1160k| 11 | 693 |9984k| 36 | - | 220 | 900 | 614 | 0 | 0 | 5 | 271k| 25 | 5.896870e+01 | -- | Inf
593.20/593.47 c 549s| 1170k| 11 | 693 |9982k| 36 | - | 220 | 896 | 683 | 0 | 0 | 5 | 273k| 25 | 5.896870e+01 | -- | Inf
598.41/598.63 c 553s| 1180k| 13 | 693 |9984k| 36 | - | 220 | 897 | 565 | 0 | 0 | 5 | 274k| 25 | 5.896870e+01 | -- | Inf
603.80/604.05 c 558s| 1190k| 10 | 693 |9985k| 36 | - | 220 | 895 | 458 | 0 | 0 | 5 | 275k| 25 | 5.896870e+01 | -- | Inf
610.31/610.54 c 564s| 1200k| 16 | 693 |9988k| 36 | - | 220 | 901 | 436 | 0 | 0 | 5 | 276k| 25 | 5.896870e+01 | -- | Inf
617.60/617.86 c 571s| 1210k| 17 | 693 |9989k| 36 | - | 220 | 888 | 226 | 0 | 0 | 5 | 277k| 25 | 5.896870e+01 | -- | Inf
624.70/624.95 c 578s| 1220k| 14 | 693 |9984k| 36 | - | 220 | 888 | 471 | 0 | 0 | 5 | 277k| 25 | 5.896870e+01 | -- | Inf
631.29/631.57 c 584s| 1230k| 13 | 693 |9983k| 36 | - | 220 | 896 | 686 | 0 | 0 | 5 | 278k| 25 | 5.896870e+01 | -- | Inf
637.79/638.10 c 590s| 1240k| 14 | 693 |9984k| 36 | - | 220 | 890 | 479 | 0 | 0 | 5 | 279k| 25 | 5.896870e+01 | -- | Inf
644.89/645.19 c 596s| 1250k| 12 | 693 |9979k| 36 | - | 220 | 887 | 722 | 0 | 0 | 5 | 280k| 25 | 5.896870e+01 | -- | Inf
652.29/652.50 c 603s| 1260k| 12 | 693 |9986k| 36 | - | 220 | 886 | 315 | 0 | 0 | 5 | 280k| 25 | 5.896870e+01 | -- | Inf
659.69/659.98 c 610s| 1270k| 13 | 693 |9988k| 36 | - | 220 | 886 | 239 | 0 | 0 | 5 | 281k| 25 | 5.896870e+01 | -- | Inf
667.19/667.43 c 617s| 1280k| 15 | 693 |9981k| 36 | - | 220 | 886 | 662 | 0 | 0 | 5 | 281k| 25 | 5.896870e+01 | -- | Inf
674.68/674.99 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
674.68/674.99 c 624s| 1290k| 13 | 693 |9989k| 36 | - | 220 | 893 | 246 | 0 | 0 | 5 | 282k| 25 | 5.896870e+01 | -- | Inf
681.48/681.70 c 630s| 1300k| 16 | 693 |9987k| 36 | - | 220 | 886 | 316 | 0 | 0 | 5 | 282k| 25 | 5.896870e+01 | -- | Inf
688.08/688.34 c 636s| 1310k| 15 | 693 |9990k| 36 | - | 220 | 891 | 290 | 0 | 0 | 5 | 284k| 25 | 5.896870e+01 | -- | Inf
695.27/695.58 c 643s| 1320k| 15 | 693 |9981k| 36 | - | 220 | 889 | 735 | 0 | 0 | 5 | 285k| 25 | 5.896870e+01 | -- | Inf
702.07/702.33 c 649s| 1330k| 9 | 693 |9989k| 36 | - | 220 | 892 | 265 | 0 | 0 | 5 | 285k| 25 | 5.896870e+01 | -- | Inf
708.97/709.27 c 656s| 1340k| 14 | 693 |9982k| 36 | - | 220 | 891 | 704 | 0 | 0 | 5 | 286k| 25 | 5.896870e+01 | -- | Inf
716.27/716.53 c 662s| 1350k| 15 | 693 |9986k| 36 | - | 220 | 889 | 484 | 0 | 0 | 5 | 286k| 25 | 5.896870e+01 | -- | Inf
722.57/722.86 c 668s| 1360k| 15 | 693 |9993k| 36 | - | 220 | 896 | 293 | 0 | 0 | 5 | 288k| 25 | 5.896870e+01 | -- | Inf
729.76/730.06 c 675s| 1370k| 14 | 693 |9989k| 36 | - | 220 | 889 | 331 | 0 | 0 | 5 | 288k| 25 | 5.896870e+01 | -- | Inf
736.66/736.96 c 681s| 1380k| 14 | 693 |9984k| 36 | - | 220 | 890 | 572 | 0 | 0 | 5 | 289k| 25 | 5.896870e+01 | -- | Inf
743.46/743.72 c 687s| 1390k| 10 | 693 |9990k| 36 | - | 220 | 889 | 241 | 0 | 0 | 5 | 289k| 25 | 5.896870e+01 | -- | Inf
750.56/750.85 c 694s| 1400k| 17 | 693 |9983k| 36 | - | 220 | 888 | 718 | 0 | 0 | 5 | 289k| 25 | 5.896870e+01 | -- | Inf
758.56/758.80 c 701s| 1410k| 14 | 693 |9990k| 36 | - | 220 | 890 | 305 | 0 | 0 | 5 | 290k| 25 | 5.896870e+01 | -- | Inf
765.66/765.98 c 708s| 1420k| 14 | 693 |9992k| 36 | - | 220 | 891 | 316 | 0 | 0 | 5 | 291k| 25 | 5.896870e+01 | -- | Inf
772.75/773.02 c 714s| 1430k| 11 | 693 |9991k| 36 | - | 220 | 894 | 294 | 0 | 0 | 5 | 291k| 25 | 5.896870e+01 | -- | Inf
779.85/780.10 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
779.85/780.10 c 721s| 1440k| 12 | 693 |9987k| 36 | - | 220 | 900 | 641 | 0 | 0 | 5 | 291k| 25 | 5.896870e+01 | -- | Inf
786.75/787.05 c 727s| 1450k| 11 | 693 |9983k| 36 | - | 220 | 890 | 720 | 0 | 0 | 5 | 293k| 25 | 5.896870e+01 | -- | Inf
793.44/793.79 c 734s| 1460k| 11 | 693 |9995k| 36 | - | 220 | 896 | 248 | 0 | 0 | 5 | 294k| 25 | 5.896870e+01 | -- | Inf
800.64/800.98 c 740s| 1470k| 13 | 693 |9989k| 36 | - | 220 | 894 | 563 | 0 | 0 | 5 | 295k| 25 | 5.896870e+01 | -- | Inf
807.74/808.06 c 747s| 1480k| 18 | 693 |9994k| 36 | - | 220 | 921 | 732 | 0 | 0 | 5 | 295k| 25 | 5.896870e+01 | -- | Inf
814.74/815.09 c 753s| 1490k| 13 | 693 | 10M| 36 | - | 220 | 928 | 294 | 0 | 0 | 5 | 296k| 25 | 5.896870e+01 | -- | Inf
821.93/822.26 c 760s| 1500k| 13 | 693 | 10M| 36 | - | 220 | 994 | 623 | 0 | 0 | 5 | 297k| 25 | 5.896870e+01 | -- | Inf
829.04/829.40 c 766s| 1510k| 10 | 693 | 10M| 36 | - | 220 | 995 | 292 | 0 | 0 | 5 | 297k| 25 | 5.896870e+01 | -- | Inf
835.73/836.01 c 772s| 1520k| 15 | 693 | 10M| 36 | - | 220 | 995 | 631 | 0 | 0 | 5 | 298k| 25 | 5.896870e+01 | -- | Inf
842.93/843.21 c 779s| 1530k| 13 | 693 | 10M| 36 | - | 220 |1007 | 268 | 0 | 0 | 5 | 299k| 25 | 5.896870e+01 | -- | Inf
849.73/850.00 c 785s| 1540k| 15 | 693 | 10M| 36 | - | 220 | 932 | 301 | 0 | 0 | 5 | 300k| 25 | 5.896870e+01 | -- | Inf
856.52/856.84 c 792s| 1550k| 12 | 693 | 10M| 36 | - | 220 |1024 | 265 | 0 | 0 | 5 | 300k| 25 | 5.896870e+01 | -- | Inf
863.72/864.08 c 798s| 1560k| 12 | 693 | 10M| 36 | - | 220 | 983 | 648 | 0 | 0 | 5 | 301k| 25 | 5.896870e+01 | -- | Inf
871.22/871.55 c 805s| 1570k| 12 | 693 | 10M| 36 | - | 220 | 978 | 287 | 0 | 0 | 5 | 302k| 25 | 5.896870e+01 | -- | Inf
878.31/878.67 c 812s| 1580k| 11 | 693 | 10M| 36 | - | 220 | 889 | 289 | 0 | 0 | 5 | 302k| 25 | 5.896870e+01 | -- | Inf
884.52/884.86 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
884.52/884.86 c 817s| 1590k| 10 | 693 |9998k| 36 | - | 220 | 893 | 735 | 0 | 0 | 5 | 304k| 25 | 5.896870e+01 | -- | Inf
891.11/891.46 c 824s| 1600k| 9 | 693 | 10M| 36 | - | 220 | 896 | 259 | 0 | 0 | 5 | 305k| 25 | 5.896870e+01 | -- | Inf
897.41/897.79 c 829s| 1610k| 15 | 693 | 10M| 36 | - | 220 | 891 | 316 | 0 | 0 | 5 | 306k| 25 | 5.896870e+01 | -- | Inf
905.20/905.51 c 836s| 1620k| 10 | 693 | 10M| 36 | - | 220 | 889 | 232 | 0 | 0 | 5 | 307k| 25 | 5.896870e+01 | -- | Inf
912.81/913.12 c 843s| 1630k| 13 | 693 | 10M| 36 | - | 220 | 891 | 284 | 0 | 0 | 5 | 308k| 25 | 5.896870e+01 | -- | Inf
920.21/920.55 c 850s| 1640k| 11 | 693 | 10M| 36 | - | 220 | 890 | 703 | 0 | 0 | 5 | 310k| 25 | 5.896870e+01 | -- | Inf
927.31/927.60 c 857s| 1650k| 13 | 693 | 10M| 36 | - | 220 | 892 | 684 | 0 | 0 | 5 | 310k| 25 | 5.896870e+01 | -- | Inf
934.80/935.14 c 864s| 1660k| 13 | 693 | 10M| 36 | - | 220 | 891 | 717 | 0 | 0 | 5 | 311k| 25 | 5.896870e+01 | -- | Inf
942.20/942.55 c 870s| 1670k| 9 | 693 | 10M| 36 | - | 220 | 897 | 273 | 0 | 0 | 5 | 312k| 25 | 5.896870e+01 | -- | Inf
949.10/949.44 c 877s| 1680k| 15 | 693 | 10M| 36 | - | 220 | 889 | 639 | 0 | 0 | 5 | 313k| 25 | 5.896870e+01 | -- | Inf
956.39/956.78 c 884s| 1690k| 11 | 693 | 10M| 36 | - | 220 | 891 | 296 | 0 | 0 | 5 | 314k| 25 | 5.896870e+01 | -- | Inf
963.09/963.47 c 890s| 1700k| 13 | 693 | 10M| 36 | - | 220 | 892 | 646 | 0 | 0 | 5 | 315k| 25 | 5.896870e+01 | -- | Inf
970.49/970.85 c 897s| 1710k| 11 | 693 | 10M| 36 | - | 220 | 891 | 680 | 0 | 0 | 5 | 315k| 25 | 5.896870e+01 | -- | Inf
977.49/977.83 c 903s| 1720k| 10 | 693 | 10M| 36 | - | 220 | 890 | 286 | 0 | 0 | 5 | 316k| 25 | 5.896870e+01 | -- | Inf
984.38/984.78 c 909s| 1730k| 10 | 693 | 10M| 36 | - | 220 | 892 | 672 | 0 | 0 | 5 | 317k| 25 | 5.896870e+01 | -- | Inf
991.68/992.01 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
991.68/992.01 c 916s| 1740k| 9 | 693 | 10M| 36 | - | 220 | 904 | 470 | 0 | 0 | 5 | 317k| 25 | 5.896870e+01 | -- | Inf
998.48/998.85 c 922s| 1750k| 21 | 693 | 10M| 36 | - | 220 | 881 | 675 | 0 | 0 | 5 | 318k| 25 | 5.896870e+01 | -- | Inf
1004.78/1005.12 c 928s| 1760k| 12 | 693 | 10M| 36 | - | 220 | 882 | 264 | 0 | 0 | 5 | 319k| 25 | 5.896870e+01 | -- | Inf
1010.78/1011.12 c 934s| 1770k| 13 | 693 | 10M| 36 | - | 220 | 886 | 334 | 0 | 0 | 5 | 321k| 25 | 5.896870e+01 | -- | Inf
1016.68/1017.07 c 939s| 1780k| 14 | 693 | 10M| 36 | - | 220 | 885 | 458 | 0 | 0 | 5 | 322k| 25 | 5.896870e+01 | -- | Inf
1022.87/1023.26 c 945s| 1790k| 14 | 693 | 10M| 36 | - | 220 | 881 | 649 | 0 | 0 | 5 | 323k| 25 | 5.896870e+01 | -- | Inf
1029.07/1029.48 c 951s| 1800k| 16 | 693 | 10M| 36 | - | 220 | 882 | 247 | 0 | 0 | 5 | 325k| 25 | 5.896870e+01 | -- | Inf
1034.97/1035.39 c 956s| 1810k| 12 | 693 | 10M| 36 | - | 220 | 883 | 263 | 0 | 0 | 5 | 326k| 25 | 5.896870e+01 | -- | Inf
1041.46/1041.84 c 962s| 1820k| 17 | 693 | 10M| 36 | - | 220 | 884 | 291 | 0 | 0 | 5 | 327k| 25 | 5.896870e+01 | -- | Inf
1047.77/1048.19 c 968s| 1830k| 14 | 693 | 10M| 36 | - | 220 | 881 | 299 | 0 | 0 | 5 | 328k| 25 | 5.896870e+01 | -- | Inf
1054.26/1054.65 c 974s| 1840k| 17 | 693 | 10M| 36 | - | 220 | 883 | 671 | 0 | 0 | 5 | 329k| 25 | 5.896870e+01 | -- | Inf
1060.66/1061.00 c 980s| 1850k| 15 | 693 | 10M| 36 | - | 220 | 887 | 329 | 0 | 0 | 5 | 330k| 25 | 5.896870e+01 | -- | Inf
1067.16/1067.52 c 986s| 1860k| 16 | 693 | 10M| 36 | - | 220 | 890 | 360 | 0 | 0 | 5 | 331k| 25 | 5.896870e+01 | -- | Inf
1073.36/1073.70 c 991s| 1870k| 14 | 693 | 10M| 36 | - | 220 | 883 | 711 | 0 | 0 | 5 | 333k| 25 | 5.896870e+01 | -- | Inf
1080.05/1080.41 c 997s| 1880k| 12 | 693 | 10M| 36 | - | 220 | 888 | 233 | 0 | 0 | 5 | 334k| 25 | 5.896870e+01 | -- | Inf
1086.46/1086.86 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1086.46/1086.86 c 1003s| 1890k| 13 | 693 | 10M| 36 | - | 220 | 894 | 326 | 0 | 0 | 5 | 336k| 25 | 5.896870e+01 | -- | Inf
1092.85/1093.21 c 1009s| 1900k| 12 | 693 | 10M| 36 | - | 220 | 886 | 605 | 0 | 0 | 5 | 337k| 25 | 5.896870e+01 | -- | Inf
1099.45/1099.80 c 1015s| 1910k| 12 | 693 | 10M| 36 | - | 220 | 901 | 245 | 0 | 0 | 5 | 339k| 25 | 5.896870e+01 | -- | Inf
1106.34/1106.74 c 1022s| 1920k| 15 | 693 | 10M| 36 | - | 220 | 881 | 531 | 0 | 0 | 5 | 340k| 25 | 5.896870e+01 | -- | Inf
1113.15/1113.54 c 1028s| 1930k| 14 | 693 | 10M| 36 | - | 220 | 887 | 263 | 0 | 0 | 5 | 340k| 25 | 5.896870e+01 | -- | Inf
1119.35/1119.70 c 1034s| 1940k| 14 | 693 | 10M| 36 | - | 220 | 889 | 275 | 0 | 0 | 5 | 341k| 25 | 5.896870e+01 | -- | Inf
1125.34/1125.72 c 1039s| 1950k| 14 | 693 | 10M| 36 | - | 220 | 897 | 498 | 0 | 0 | 5 | 343k| 25 | 5.896870e+01 | -- | Inf
1131.13/1131.56 c 1045s| 1960k| 17 | 693 | 10M| 36 | - | 220 | 883 | 646 | 0 | 0 | 5 | 346k| 25 | 5.896870e+01 | -- | Inf
1136.64/1137.03 c 1050s| 1970k| 18 | 693 | 10M| 36 | - | 220 | 885 | 518 | 0 | 0 | 5 | 347k| 25 | 5.896870e+01 | -- | Inf
1142.74/1143.10 c 1055s| 1980k| 15 | 693 | 10M| 36 | - | 220 | 885 | 272 | 0 | 0 | 5 | 349k| 25 | 5.896870e+01 | -- | Inf
1149.33/1149.73 c 1061s| 1990k| 14 | 693 | 10M| 36 | - | 220 | 894 | 556 | 0 | 0 | 5 | 350k| 25 | 5.896870e+01 | -- | Inf
1155.53/1155.95 c 1067s| 2000k| 15 | 693 | 10M| 36 | - | 220 | 883 | 604 | 0 | 0 | 5 | 352k| 25 | 5.896870e+01 | -- | Inf
1161.33/1161.72 c 1072s| 2010k| 10 | 693 | 10M| 36 | - | 220 | 897 | 245 | 0 | 0 | 5 | 354k| 25 | 5.896870e+01 | -- | Inf
1167.63/1168.00 c 1078s| 2020k| 12 | 693 | 10M| 36 | - | 220 | 883 | 687 | 0 | 0 | 5 | 355k| 25 | 5.896870e+01 | -- | Inf
1174.03/1174.42 c 1084s| 2030k| 12 | 693 | 10M| 36 | - | 220 | 888 | 335 | 0 | 0 | 5 | 356k| 25 | 5.896870e+01 | -- | Inf
1180.12/1180.50 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1180.12/1180.50 c 1090s| 2040k| 10 | 693 | 10M| 36 | - | 220 | 888 | 302 | 0 | 0 | 5 | 357k| 25 | 5.896870e+01 | -- | Inf
1186.12/1186.54 c 1095s| 2050k| 11 | 693 | 10M| 36 | - | 220 | 890 | 488 | 0 | 0 | 5 | 358k| 25 | 5.896870e+01 | -- | Inf
1193.91/1194.39 c 1102s| 2060k| 17 | 693 | 10M| 36 | - | 220 | 883 | 256 | 0 | 0 | 5 | 359k| 25 | 5.896870e+01 | -- | Inf
1200.81/1201.20 c 1109s| 2070k| 15 | 693 | 10M| 36 | - | 220 | 881 | 229 | 0 | 0 | 5 | 360k| 25 | 5.896870e+01 | -- | Inf
1208.02/1208.40 c 1115s| 2080k| 13 | 693 | 10M| 36 | - | 220 | 881 | 240 | 0 | 0 | 5 | 360k| 25 | 5.896870e+01 | -- | Inf
1214.31/1214.72 c 1121s| 2090k| 18 | 693 | 10M| 36 | - | 220 | 884 | 635 | 0 | 0 | 5 | 361k| 25 | 5.896870e+01 | -- | Inf
1221.41/1221.89 c 1128s| 2100k| 15 | 693 | 10M| 36 | - | 220 | 884 | 303 | 0 | 0 | 5 | 362k| 25 | 5.896870e+01 | -- | Inf
1228.21/1228.69 c 1134s| 2110k| 17 | 693 | 10M| 36 | - | 220 | 883 | 345 | 0 | 0 | 5 | 363k| 25 | 5.896870e+01 | -- | Inf
1235.30/1235.78 c 1141s| 2120k| 15 | 693 | 10M| 36 | - | 220 | 883 | 549 | 0 | 0 | 5 | 364k| 25 | 5.896870e+01 | -- | Inf
1241.90/1242.38 c 1147s| 2130k| 15 | 693 | 10M| 36 | - | 220 | 882 | 312 | 0 | 0 | 5 | 364k| 25 | 5.896870e+01 | -- | Inf
1249.40/1249.88 c 1154s| 2140k| 11 | 693 | 10M| 36 | - | 220 | 881 | 678 | 0 | 0 | 5 | 365k| 25 | 5.896870e+01 | -- | Inf
1256.50/1256.97 c 1160s| 2150k| 12 | 693 | 10M| 36 | - | 220 | 881 | 332 | 0 | 0 | 5 | 366k| 25 | 5.896870e+01 | -- | Inf
1263.60/1264.08 c 1167s| 2160k| 14 | 693 | 10M| 36 | - | 220 | 885 | 301 | 0 | 0 | 5 | 367k| 25 | 5.896870e+01 | -- | Inf
1271.10/1271.51 c 1174s| 2170k| 15 | 693 | 10M| 36 | - | 220 | 881 | 489 | 0 | 0 | 5 | 368k| 25 | 5.896870e+01 | -- | Inf
1277.89/1278.39 c 1180s| 2180k| 11 | 693 | 10M| 36 | - | 220 | 879 | 268 | 0 | 0 | 5 | 369k| 25 | 5.896870e+01 | -- | Inf
1284.79/1285.21 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1284.79/1285.21 c 1186s| 2190k| 13 | 693 | 10M| 36 | - | 220 | 886 | 598 | 0 | 0 | 5 | 371k| 25 | 5.896870e+01 | -- | Inf
1290.99/1291.41 c 1192s| 2200k| 13 | 693 | 10M| 36 | - | 220 | 881 | 290 | 0 | 0 | 5 | 373k| 25 | 5.896870e+01 | -- | Inf
1296.78/1297.22 c 1197s| 2210k| 12 | 693 | 10M| 36 | - | 220 | 902 | 274 | 0 | 0 | 5 | 375k| 25 | 5.896870e+01 | -- | Inf
1302.28/1302.74 c 1202s| 2220k| 13 | 693 | 10M| 36 | - | 220 | 881 | 632 | 0 | 0 | 5 | 377k| 25 | 5.896870e+01 | -- | Inf
1308.48/1308.96 c 1208s| 2230k| 11 | 693 | 10M| 36 | - | 220 | 885 | 424 | 0 | 0 | 5 | 377k| 25 | 5.896870e+01 | -- | Inf
1314.98/1315.41 c 1214s| 2240k| 12 | 693 | 10M| 36 | - | 220 | 879 | 663 | 0 | 0 | 5 | 379k| 25 | 5.896870e+01 | -- | Inf
1321.97/1322.42 c 1220s| 2250k| 14 | 693 | 10M| 36 | - | 220 | 881 | 273 | 0 | 0 | 5 | 379k| 25 | 5.896870e+01 | -- | Inf
1328.28/1328.72 c 1226s| 2260k| 16 | 693 | 10M| 36 | - | 220 | 881 | 681 | 0 | 0 | 5 | 381k| 25 | 5.896870e+01 | -- | Inf
1335.27/1335.77 c 1233s| 2270k| 11 | 693 | 10M| 36 | - | 220 | 881 | 324 | 0 | 0 | 5 | 382k| 25 | 5.896870e+01 | -- | Inf
1341.17/1341.69 c 1238s| 2280k| 14 | 693 | 10M| 36 | - | 220 | 885 | 464 | 0 | 0 | 5 | 383k| 25 | 5.896870e+01 | -- | Inf
1347.17/1347.61 c 1244s| 2290k| 12 | 693 | 10M| 36 | - | 220 | 887 | 269 | 0 | 0 | 5 | 385k| 25 | 5.896870e+01 | -- | Inf
1353.57/1354.04 c 1249s| 2300k| 16 | 693 | 10M| 36 | - | 220 | 883 | 375 | 0 | 0 | 5 | 386k| 25 | 5.896870e+01 | -- | Inf
1360.47/1360.91 c 1256s| 2310k| 8 | 693 | 10M| 36 | - | 220 | 883 | 252 | 0 | 0 | 5 | 386k| 25 | 5.896870e+01 | -- | Inf
1367.37/1367.85 c 1262s| 2320k| 15 | 693 | 10M| 36 | - | 220 | 883 | 520 | 0 | 0 | 5 | 387k| 25 | 5.896870e+01 | -- | Inf
1373.56/1374.00 c 1268s| 2330k| 10 | 693 | 10M| 36 | - | 220 | 883 | 274 | 0 | 0 | 5 | 388k| 25 | 5.896870e+01 | -- | Inf
1379.96/1380.48 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1379.96/1380.48 c 1274s| 2340k| 13 | 693 | 10M| 36 | - | 220 | 885 | 550 | 0 | 0 | 5 | 388k| 25 | 5.896870e+01 | -- | Inf
1386.36/1386.84 c 1280s| 2350k| 16 | 693 | 10M| 36 | - | 220 | 879 | 247 | 0 | 0 | 5 | 389k| 25 | 5.896870e+01 | -- | Inf
1393.86/1394.38 c 1287s| 2360k| 13 | 693 | 10M| 36 | - | 220 | 879 | 304 | 0 | 0 | 5 | 390k| 25 | 5.896870e+01 | -- | Inf
1401.05/1401.50 c 1293s| 2370k| 20 | 693 | 10M| 36 | - | 220 | 880 | 668 | 0 | 0 | 5 | 392k| 25 | 5.896870e+01 | -- | Inf
1408.35/1408.81 c 1300s| 2380k| 14 | 693 | 10M| 36 | - | 220 | 879 | 252 | 0 | 0 | 5 | 392k| 25 | 5.896870e+01 | -- | Inf
1415.15/1415.64 c 1306s| 2390k| 15 | 693 | 10M| 36 | - | 220 | 879 | 259 | 0 | 0 | 5 | 393k| 25 | 5.896870e+01 | -- | Inf
1421.55/1422.01 c 1312s| 2400k| 16 | 693 | 10M| 36 | - | 220 | 881 | 309 | 0 | 0 | 5 | 393k| 25 | 5.896870e+01 | -- | Inf
1428.45/1428.91 c 1318s| 2410k| 10 | 693 | 10M| 36 | - | 220 | 879 | 320 | 0 | 0 | 5 | 395k| 25 | 5.896870e+01 | -- | Inf
1434.95/1435.50 c 1325s| 2420k| 18 | 693 | 10M| 36 | - | 220 | 884 | 549 | 0 | 0 | 5 | 397k| 25 | 5.896870e+01 | -- | Inf
1441.24/1441.73 c 1330s| 2430k| 16 | 693 | 10M| 36 | - | 220 | 883 | 644 | 0 | 0 | 5 | 398k| 25 | 5.896870e+01 | -- | Inf
1448.24/1448.76 c 1337s| 2440k| 12 | 693 | 10M| 36 | - | 220 | 882 | 642 | 0 | 0 | 5 | 399k| 25 | 5.896870e+01 | -- | Inf
1454.74/1455.23 c 1343s| 2450k| 11 | 693 | 10M| 36 | - | 220 | 888 | 296 | 0 | 0 | 5 | 400k| 25 | 5.896870e+01 | -- | Inf
1460.63/1461.10 c 1348s| 2460k| 12 | 693 | 10M| 36 | - | 220 | 882 | 619 | 0 | 0 | 5 | 401k| 25 | 5.896870e+01 | -- | Inf
1466.34/1466.86 c 1353s| 2470k| 12 | 693 | 10M| 36 | - | 220 | 889 | 201 | 0 | 0 | 5 | 404k| 25 | 5.896870e+01 | -- | Inf
1472.43/1472.93 c 1359s| 2480k| 12 | 693 | 10M| 36 | - | 220 | 885 | 716 | 0 | 0 | 5 | 406k| 25 | 5.896870e+01 | -- | Inf
1478.94/1479.46 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1478.94/1479.46 c 1365s| 2490k| 11 | 693 | 10M| 36 | - | 220 | 885 | 230 | 0 | 0 | 5 | 407k| 25 | 5.896870e+01 | -- | Inf
1484.93/1485.42 c 1370s| 2500k| 12 | 693 | 10M| 36 | - | 220 | 882 | 233 | 0 | 0 | 5 | 410k| 25 | 5.896870e+01 | -- | Inf
1491.72/1492.26 c 1377s| 2510k| 14 | 693 | 10M| 36 | - | 220 | 888 | 452 | 0 | 0 | 5 | 411k| 25 | 5.896870e+01 | -- | Inf
1498.12/1498.63 c 1383s| 2520k| 14 | 693 | 10M| 36 | - | 220 | 889 | 477 | 0 | 0 | 5 | 412k| 25 | 5.896870e+01 | -- | Inf
1504.92/1505.46 c 1389s| 2530k| 12 | 693 | 10M| 36 | - | 220 | 882 | 271 | 0 | 0 | 5 | 413k| 25 | 5.896870e+01 | -- | Inf
1511.52/1512.02 c 1395s| 2540k| 12 | 693 | 10M| 36 | - | 220 | 881 | 615 | 0 | 0 | 5 | 414k| 25 | 5.896870e+01 | -- | Inf
1518.52/1519.05 c 1401s| 2550k| 18 | 693 | 10M| 36 | - | 220 | 879 | 650 | 0 | 0 | 5 | 414k| 25 | 5.896870e+01 | -- | Inf
1525.91/1526.48 c 1408s| 2560k| 11 | 693 | 10M| 36 | - | 220 | 881 | 238 | 0 | 0 | 5 | 415k| 25 | 5.896870e+01 | -- | Inf
1532.51/1533.05 c 1414s| 2570k| 16 | 693 | 10M| 36 | - | 220 |1051 | 647 | 0 | 0 | 5 | 417k| 25 | 5.896870e+01 | -- | Inf
1539.52/1540.05 c 1421s| 2580k| 14 | 693 | 10M| 36 | - | 220 |1100 | 626 | 0 | 0 | 5 | 418k| 25 | 5.896870e+01 | -- | Inf
1545.90/1546.46 c 1427s| 2590k| 12 | 693 | 10M| 36 | - | 220 |1187 | 456 | 0 | 0 | 5 | 419k| 25 | 5.896870e+01 | -- | Inf
1552.61/1553.17 c 1433s| 2600k| 14 | 693 | 10M| 36 | - | 220 |1471 | 605 | 0 | 0 | 5 | 420k| 25 | 5.896870e+01 | -- | Inf
1559.10/1559.64 c 1439s| 2610k| 11 | 693 | 10M| 36 | - | 220 |1215 | 739 | 0 | 0 | 5 | 422k| 25 | 5.896870e+01 | -- | Inf
1565.70/1566.22 c 1445s| 2620k| 11 | 693 | 10M| 36 | - | 220 |1213 | 301 | 0 | 0 | 5 | 422k| 25 | 5.896870e+01 | -- | Inf
1572.70/1573.22 c 1451s| 2630k| 12 | 693 | 10M| 36 | - | 220 |1234 | 601 | 0 | 0 | 5 | 423k| 25 | 5.896870e+01 | -- | Inf
1579.29/1579.88 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1579.29/1579.88 c 1458s| 2640k| 16 | 693 | 10M| 36 | - | 220 | 925 | 342 | 0 | 0 | 5 | 425k| 25 | 5.896870e+01 | -- | Inf
1586.70/1587.30 c 1464s| 2650k| 17 | 693 | 10M| 36 | - | 220 | 883 | 257 | 0 | 0 | 5 | 427k| 25 | 5.896870e+01 | -- | Inf
1594.39/1594.94 c 1471s| 2660k| 14 | 693 | 10M| 36 | - | 220 | 887 | 591 | 0 | 0 | 5 | 428k| 25 | 5.896870e+01 | -- | Inf
1600.89/1601.47 c 1477s| 2670k| 13 | 693 | 10M| 36 | - | 220 | 891 | 267 | 0 | 0 | 5 | 428k| 25 | 5.896870e+01 | -- | Inf
1607.49/1608.03 c 1483s| 2680k| 14 | 693 | 10M| 36 | - | 220 | 910 | 520 | 0 | 0 | 5 | 429k| 25 | 5.896870e+01 | -- | Inf
1614.08/1614.68 c 1490s| 2690k| 13 | 693 | 10M| 36 | - | 220 | 890 | 306 | 0 | 0 | 5 | 430k| 25 | 5.896870e+01 | -- | Inf
1620.78/1621.33 c 1496s| 2700k| 13 | 693 | 10M| 36 | - | 220 | 891 | 527 | 0 | 0 | 5 | 431k| 25 | 5.896870e+01 | -- | Inf
1627.29/1627.81 c 1502s| 2710k| 10 | 693 | 10M| 36 | - | 220 | 912 | 232 | 0 | 0 | 5 | 433k| 25 | 5.896870e+01 | -- | Inf
1634.18/1634.77 c 1508s| 2720k| 14 | 693 | 10M| 36 | - | 220 | 884 | 285 | 0 | 0 | 5 | 434k| 25 | 5.896870e+01 | -- | Inf
1640.58/1641.12 c 1514s| 2730k| 11 | 693 | 10M| 36 | - | 220 | 886 | 272 | 0 | 0 | 5 | 435k| 25 | 5.896870e+01 | -- | Inf
1647.37/1647.97 c 1520s| 2740k| 11 | 693 | 10M| 36 | - | 220 | 886 | 682 | 0 | 0 | 5 | 435k| 25 | 5.896870e+01 | -- | Inf
1654.08/1654.67 c 1526s| 2750k| 12 | 693 | 10M| 36 | - | 220 | 917 | 234 | 0 | 0 | 5 | 436k| 25 | 5.896870e+01 | -- | Inf
1661.07/1661.69 c 1533s| 2760k| 13 | 693 | 10M| 36 | - | 220 | 887 | 281 | 0 | 0 | 5 | 436k| 25 | 5.896870e+01 | -- | Inf
1667.87/1668.47 c 1539s| 2770k| 13 | 693 | 10M| 36 | - | 220 | 890 | 271 | 0 | 0 | 5 | 437k| 25 | 5.896870e+01 | -- | Inf
1674.87/1675.41 c 1546s| 2780k| 11 | 693 | 10M| 36 | - | 220 | 888 | 705 | 0 | 0 | 5 | 437k| 25 | 5.896870e+01 | -- | Inf
1681.87/1682.49 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1681.87/1682.49 c 1552s| 2790k| 11 | 693 | 10M| 36 | - | 220 | 880 | 597 | 0 | 0 | 5 | 438k| 25 | 5.896870e+01 | -- | Inf
1688.77/1689.32 c 1558s| 2800k| 12 | 693 | 10M| 36 | - | 220 | 901 | 623 | 0 | 0 | 5 | 439k| 25 | 5.896870e+01 | -- | Inf
1694.96/1695.57 c 1564s| 2810k| 11 | 693 | 10M| 36 | - | 220 | 883 | 268 | 0 | 0 | 5 | 442k| 25 | 5.896870e+01 | -- | Inf
1701.56/1702.17 c 1570s| 2820k| 13 | 693 | 10M| 36 | - | 220 | 882 | 281 | 0 | 0 | 5 | 443k| 25 | 5.896870e+01 | -- | Inf
1708.15/1708.76 c 1576s| 2830k| 12 | 693 | 10M| 36 | - | 220 | 880 | 667 | 0 | 0 | 5 | 444k| 25 | 5.896870e+01 | -- | Inf
1714.75/1715.32 c 1582s| 2840k| 11 | 693 | 10M| 36 | - | 220 | 881 | 255 | 0 | 0 | 5 | 445k| 25 | 5.896870e+01 | -- | Inf
1722.06/1722.65 c 1589s| 2850k| 10 | 693 | 10M| 36 | - | 220 | 880 | 692 | 0 | 0 | 5 | 445k| 25 | 5.896870e+01 | -- | Inf
1728.85/1729.50 c 1595s| 2860k| 10 | 693 | 10M| 36 | - | 220 | 891 | 259 | 0 | 0 | 5 | 446k| 25 | 5.896870e+01 | -- | Inf
1736.25/1736.80 c 1602s| 2870k| 11 | 693 | 10M| 36 | - | 220 | 880 | 300 | 0 | 0 | 5 | 447k| 25 | 5.896870e+01 | -- | Inf
1742.55/1743.19 c 1608s| 2880k| 14 | 693 | 10M| 36 | - | 220 | 886 | 570 | 0 | 0 | 5 | 448k| 25 | 5.896870e+01 | -- | Inf
1749.35/1749.97 c 1614s| 2890k| 14 | 693 | 10M| 36 | - | 220 | 885 | 624 | 0 | 0 | 5 | 449k| 25 | 5.896870e+01 | -- | Inf
1755.74/1756.39 c 1620s| 2900k| 11 | 693 | 10M| 36 | - | 220 | 883 | 628 | 0 | 0 | 5 | 450k| 25 | 5.896870e+01 | -- | Inf
1763.04/1763.67 c 1627s| 2910k| 11 | 693 | 10M| 36 | - | 220 | 882 | 594 | 0 | 0 | 5 | 451k| 25 | 5.896870e+01 | -- | Inf
1769.94/1770.56 c 1633s| 2920k| 9 | 693 | 10M| 36 | - | 220 | 883 | 599 | 0 | 0 | 5 | 452k| 25 | 5.896870e+01 | -- | Inf
1777.23/1777.82 c 1640s| 2930k| 15 | 693 | 10M| 36 | - | 220 | 879 | 745 | 0 | 0 | 5 | 453k| 25 | 5.896870e+01 | -- | Inf
1785.04/1785.66 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1785.04/1785.66 c 1647s| 2940k| 15 | 693 | 10M| 36 | - | 220 | 879 | 694 | 0 | 0 | 5 | 453k| 25 | 5.896870e+01 | -- | Inf
1792.73/1793.38 c 1654s| 2950k| 11 | 693 | 10M| 36 | - | 220 | 884 | 264 | 0 | 0 | 5 | 454k| 25 | 5.896870e+01 | -- | Inf
1800.04/1800.60 c
1800.04/1800.60 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.60 c Solving Time (sec) : 1661.10
1800.04/1800.60 c Solving Nodes : 2959430
1800.04/1800.60 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.60 c Dual Bound : +5.89686958312496e+01
1800.04/1800.60 c Gap : infinite
1800.04/1800.60 c NODE 2959430
1800.04/1800.60 c DUAL BOUND 58.9687
1800.04/1800.60 c PRIMAL BOUND 1e+20
1800.04/1800.60 c GAP 1e+20
1800.04/1800.60 s UNKNOWN
1800.04/1800.60 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.60 c Solving Time : 1661.10
1800.04/1800.61 c Original Problem :
1800.04/1800.61 c Problem name : HOME/instance-1884178-1245255568.opb
1800.04/1800.61 c Variables : 220 (220 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.61 c Constraints : 880 initial, 880 maximal
1800.04/1800.61 c Presolved Problem :
1800.04/1800.61 c Problem name : t_HOME/instance-1884178-1245255568.opb
1800.04/1800.61 c Variables : 220 (220 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.61 c Constraints : 880 initial, 1479 maximal
1800.04/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.04/1800.61 c root node : - 1 - - 1 - - - -
1800.04/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.61 c integral : 0 0 0 1 0 0 0 0 0 2
1800.04/1800.61 c logicor : 880+ 5 45892439 0 0 1560085 144602348 0 0 0
1800.04/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.61 c integral : 1.16 0.00 0.00 1.16 0.00
1800.04/1800.61 c logicor : 576.86 0.00 576.86 0.00 0.00
1800.04/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.61 c rootredcost : 13.20 0 0 0
1800.04/1800.61 c pseudoobj : 575.55 46054768 0 0
1800.04/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.61 c propagation : 125.82 1560085 369017 369017 16.3 85952 8.0 -
1800.04/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.61 c applied globally : - - - 454878 14.7 - - -
1800.04/1800.61 c applied locally : - - - 5 31.2 - - -
1800.04/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.61 c cut pool : 0.01 4 - - 701 - (maximal pool size: 1624)
1800.04/1800.61 c redcost : 0.00 5 0 0 0 0
1800.04/1800.61 c impliedbounds : 0.00 5 0 0 0 0
1800.04/1800.61 c intobj : 0.00 0 0 0 0 0
1800.04/1800.61 c gomory : 0.57 5 0 0 0 0
1800.04/1800.61 c strongcg : 0.48 5 0 0 2500 0
1800.04/1800.61 c cmir : 0.00 0 0 0 0 0
1800.04/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.61 c clique : 0.00 1 0 0 0 0
1800.04/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.61 c mcf : 0.00 1 0 0 0 0
1800.04/1800.61 c Pricers : Time Calls Vars
1800.04/1800.61 c problem variables: 0.00 0 0
1800.04/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.61 c relpscost : 1.16 1 0 0 0 0 2
1800.04/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.61 c inference : 53.69 1575262 0 0 0 0 3150524
1800.04/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.61 c random : 0.00 0 0 0 0 0 0
1800.04/1800.61 c Primal Heuristics : Time Calls Found
1800.04/1800.61 c LP solutions : 0.00 - 0
1800.04/1800.61 c pseudo solutions : 0.00 - 0
1800.04/1800.61 c simplerounding : 0.00 0 0
1800.04/1800.61 c rounding : 0.00 0 0
1800.04/1800.61 c shifting : 0.00 0 0
1800.04/1800.61 c intshifting : 0.00 0 0
1800.04/1800.61 c oneopt : 0.00 0 0
1800.04/1800.61 c fixandinfer : 0.00 0 0
1800.04/1800.61 c feaspump : 0.00 0 0
1800.04/1800.61 c coefdiving : 0.00 0 0
1800.04/1800.61 c pscostdiving : 0.00 0 0
1800.04/1800.61 c fracdiving : 0.00 0 0
1800.04/1800.61 c veclendiving : 0.00 0 0
1800.04/1800.61 c intdiving : 0.00 0 0
1800.04/1800.61 c actconsdiving : 0.00 0 0
1800.04/1800.61 c objpscostdiving : 0.00 0 0
1800.04/1800.61 c rootsoldiving : 0.00 0 0
1800.04/1800.61 c linesearchdiving : 0.00 0 0
1800.04/1800.61 c guideddiving : 0.00 0 0
1800.04/1800.61 c octane : 0.00 0 0
1800.04/1800.61 c rens : 0.00 0 0
1800.04/1800.61 c rins : 0.00 0 0
1800.04/1800.61 c localbranching : 0.00 0 0
1800.04/1800.61 c mutation : 0.00 0 0
1800.04/1800.61 c crossover : 0.00 0 0
1800.04/1800.61 c dins : 0.00 0 0
1800.04/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.61 c dual LP : 0.15 6 693 115.50 4620.00
1800.04/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.61 c strong branching : 1.16 25 4599 183.96 3964.66
1800.04/1800.61 c (at root node) : - 25 4599 183.96 -
1800.04/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.61 c B&B Tree :
1800.04/1800.61 c number of runs : 1
1800.04/1800.61 c nodes : 2959430
1800.04/1800.61 c nodes (total) : 2959430
1800.04/1800.61 c nodes left : 13
1800.04/1800.61 c max depth : 36
1800.04/1800.61 c max depth (total): 36
1800.04/1800.61 c backtracks : 794927 (26.9%)
1800.04/1800.61 c delayed cutoffs : 191084
1800.04/1800.61 c repropagations : 430442 (13654631 domain reductions, 175918 cutoffs)
1800.04/1800.61 c avg switch length: 2.08
1800.04/1800.61 c switching time : 205.96
1800.04/1800.61 c Solution :
1800.04/1800.61 c Solutions found : 0 (0 improvements)
1800.04/1800.61 c Primal Bound : -
1800.04/1800.61 c Dual Bound : +5.89686958312496e+01
1800.04/1800.61 c Gap : infinite
1800.04/1800.61 c Root Dual Bound : +5.86392349747697e+01
1800.04/1800.62 c Time complete: 1800.05.