0.00/0.02 c SCIP version 1.1.0.7
0.00/0.02 c LP-Solver SoPlex 1.4.1
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c read problem <HOME/instance-1884187-1245255913.opb>
0.00/0.02 c original problem has 210 variables (210 bin, 0 int, 0 impl, 0 cont) and 840 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.03/0.05 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 840 upgd conss, 0 impls, 0 clqs
0.03/0.06 c presolving (2 rounds):
0.03/0.06 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.03/0.06 c 0 implications, 0 cliques
0.03/0.06 c presolved problem has 210 variables (210 bin, 0 int, 0 impl, 0 cont) and 840 constraints
0.03/0.06 c 840 constraints of type <logicor>
0.03/0.06 c transformed objective value is always integral (scale: 1)
0.03/0.06 c Presolving Time: 0.03
0.03/0.06 c PURESAT
0.03/0.06 c -----------------------------------------------------------------------------------------------
0.03/0.06 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.03/0.06 c separating/flowcover/freq = c -1
0.03/0.06 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.03/0.06 c separating/cmir/freq = c -1
0.03/0.06 c # additional number of allowed LP iterations
0.03/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.06 c heuristics/veclendiving/maxlpiterofs = c 1500
0.03/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.03/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.03/0.06 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.03/0.06 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.03/0.06 c heuristics/veclendiving/freq = c -1
0.03/0.06 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.03/0.06 c heuristics/simplerounding/freq = c -1
0.03/0.06 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.03/0.06 c heuristics/shifting/freq = c -1
0.03/0.06 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.03/0.06 c heuristics/rounding/freq = c -1
0.03/0.06 c # additional number of allowed LP iterations
0.03/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.06 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.03/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.03/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.03/0.06 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.03/0.06 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.03/0.06 c heuristics/rootsoldiving/freq = c -1
0.03/0.06 c # number of nodes added to the contingent of the total nodes
0.03/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.03/0.06 c heuristics/rens/nodesofs = c 2000
0.03/0.06 c # minimum percentage of integer variables that have to be fixable
0.03/0.06 c # [type: real, range: [0,1], default: 0.5]
0.03/0.06 c heuristics/rens/minfixingrate = c 0.3
0.03/0.06 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.03/0.06 c heuristics/rens/freq = c -1
0.03/0.06 c # additional number of allowed LP iterations
0.03/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.06 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.03/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.03/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.03/0.06 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.03/0.06 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.03/0.06 c heuristics/pscostdiving/freq = c -1
0.03/0.06 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.03/0.06 c heuristics/oneopt/freq = c -1
0.03/0.06 c # additional number of allowed LP iterations
0.03/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.06 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.03/0.06 c # maximal fraction of diving LP iterations compared to total iteration number
0.03/0.06 c # [type: real, range: [0,1], default: 0.01]
0.03/0.06 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.03/0.06 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.03/0.06 c heuristics/objpscostdiving/freq = c -1
0.03/0.06 c # additional number of allowed LP iterations
0.03/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.06 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.03/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.03/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.03/0.06 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.03/0.06 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.03/0.06 c heuristics/linesearchdiving/freq = c -1
0.03/0.06 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.03/0.06 c heuristics/intshifting/freq = c -1
0.03/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.03/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.03/0.06 c heuristics/intdiving/maxlpiterquot = c 0.075
0.03/0.06 c # additional number of allowed LP iterations
0.03/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.06 c heuristics/guideddiving/maxlpiterofs = c 1500
0.03/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.03/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.03/0.06 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.03/0.06 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.03/0.06 c heuristics/guideddiving/freq = c -1
0.03/0.06 c # additional number of allowed LP iterations
0.03/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.06 c heuristics/fracdiving/maxlpiterofs = c 1500
0.03/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.03/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.03/0.06 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.03/0.06 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.03/0.06 c heuristics/fracdiving/freq = c -1
0.03/0.06 c # additional number of allowed LP iterations
0.03/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.06 c heuristics/feaspump/maxlpiterofs = c 2000
0.03/0.06 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.03/0.06 c heuristics/feaspump/freq = c -1
0.03/0.06 c # minimum percentage of integer variables that have to be fixed
0.03/0.06 c # [type: real, range: [0,1], default: 0.666]
0.03/0.06 c heuristics/crossover/minfixingrate = c 0.5
0.03/0.06 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.03/0.06 c # [type: real, range: [0,1], default: 0.1]
0.03/0.06 c heuristics/crossover/nodesquot = c 0.15
0.03/0.06 c # number of nodes without incumbent change that heuristic should wait
0.03/0.06 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.03/0.06 c heuristics/crossover/nwaitingnodes = c 100
0.03/0.06 c # number of nodes added to the contingent of the total nodes
0.03/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.03/0.06 c heuristics/crossover/nodesofs = c 750
0.03/0.06 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 30]
0.03/0.06 c heuristics/crossover/freq = c -1
0.03/0.06 c # additional number of allowed LP iterations
0.03/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.06 c heuristics/coefdiving/maxlpiterofs = c 1500
0.03/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.03/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.03/0.06 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.03/0.06 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.03/0.06 c heuristics/coefdiving/freq = c -1
0.03/0.06 c # priority of node selection rule <dfs> in standard mode
0.03/0.06 c # [type: int, range: [-536870912,536870911], default: 0]
0.03/0.06 c nodeselection/dfs/stdpriority = c 1000000
0.03/0.06 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.06 c presolving/probing/maxrounds = c 0
0.03/0.06 c # should presolving try to simplify knapsacks
0.03/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.06 c constraints/knapsack/simplifyinequalities = c TRUE
0.03/0.06 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.03/0.06 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.03/0.06 c constraints/knapsack/disaggregation = c FALSE
0.03/0.06 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.06 c constraints/knapsack/maxnumcardlift = c 0
0.03/0.06 c # should presolving try to simplify inequalities
0.03/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.06 c constraints/linear/simplifyinequalities = c TRUE
0.03/0.06 c # maximal number of separation rounds in the root node (-1: unlimited)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.06 c separating/maxroundsroot = c 5
0.03/0.06 c # maximal number of separation rounds per node (-1: unlimited)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 5]
0.03/0.06 c separating/maxrounds = c 1
0.03/0.06 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.03/0.06 c # [type: char, range: {lafpsqd}, default: l]
0.03/0.06 c lp/pricing = c a
0.03/0.06 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.03/0.06 c lp/solvefreq = c 0
0.03/0.06 c # solving stops, if the given number of solutions were found (-1: no limit)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.06 c limits/solutions = c 1
0.03/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.03/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.06 c limits/memory = c 1620
0.03/0.06 c # maximal time in seconds to run
0.03/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.06 c limits/time = c 1791
0.03/0.06 c # frequency for displaying node information lines
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.03/0.06 c display/freq = c 10000
0.03/0.06 c # should enforcement of pseudo solution be disabled?
0.03/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.06 c constraints/disableenfops = c TRUE
0.03/0.06 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.03/0.06 c constraints/agelimit = c 1
0.03/0.06 c # should binary conflicts be preferred?
0.03/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.06 c conflict/preferbinary = c TRUE
0.03/0.06 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.03/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.06 c conflict/interconss = c 0
0.03/0.06 c -----------------------------------------------------------------------------------------------
0.03/0.06 c start solving problem
0.03/0.06 c
0.09/0.17 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.17 c 0.1s| 1 | 0 | 719 |1475k| 0 | 182 | 210 | 840 | 840 | 210 | 840 | 0 | 0 | 0 | 5.676362e+01 | -- | Inf
0.29/0.38 c 0.3s| 1 | 0 | 812 |2830k| 0 | 178 | 210 | 840 | 840 | 210 | 841 | 1 | 0 | 0 | 5.691663e+01 | -- | Inf
0.59/0.60 c 0.6s| 1 | 0 | 878 |3968k| 0 | 181 | 210 | 840 | 840 | 210 | 842 | 2 | 0 | 0 | 5.694738e+01 | -- | Inf
0.80/0.83 c 0.8s| 1 | 0 | 954 |5298k| 0 | 182 | 210 | 840 | 840 | 210 | 843 | 3 | 0 | 0 | 5.697736e+01 | -- | Inf
0.99/1.06 c 1.0s| 1 | 0 | 1005 |6691k| 0 | 184 | 210 | 840 | 840 | 210 | 844 | 4 | 0 | 0 | 5.698773e+01 | -- | Inf
1.19/1.29 c 1.2s| 1 | 0 | 1033 |8120k| 0 | 178 | 210 | 840 | 840 | 210 | 845 | 5 | 0 | 0 | 5.699423e+01 | -- | Inf
4.59/4.61 c 4.5s| 1 | 2 | 1033 |8121k| 0 | 178 | 210 | 840 | 840 | 210 | 845 | 5 | 0 | 35 | 5.699423e+01 | -- | Inf
9.90/9.92 c 9.4s| 10000 | 20 | 1033 |8272k| 30 | - | 210 | 851 | 286 | 0 | 0 | 5 |4145 | 35 | 5.749536e+01 | -- | Inf
15.78/15.81 c 14.9s| 20000 | 19 | 1033 |8278k| 30 | - | 210 | 858 | 324 | 0 | 0 | 5 |8638 | 35 | 5.749536e+01 | -- | Inf
21.99/22.07 c 20.6s| 30000 | 18 | 1033 |8280k| 30 | - | 210 | 861 | 309 | 0 | 0 | 5 | 12k| 35 | 5.749536e+01 | -- | Inf
28.79/28.82 c 26.8s| 40000 | 21 | 1033 |8275k| 30 | - | 210 | 861 | 595 | 0 | 0 | 5 | 16k| 35 | 5.749536e+01 | -- | Inf
33.48/33.59 c 31.2s| 50000 | 15 | 1033 |8286k| 30 | - | 210 | 883 | 415 | 0 | 0 | 5 | 20k| 35 | 5.749536e+01 | -- | Inf
37.88/37.93 c 35.2s| 60000 | 19 | 1033 |8289k| 30 | - | 210 | 887 | 413 | 0 | 0 | 5 | 23k| 35 | 5.749536e+01 | -- | Inf
42.08/42.14 c 39.1s| 70000 | 19 | 1033 |8278k| 30 | - | 210 | 860 | 488 | 0 | 0 | 5 | 26k| 35 | 5.749536e+01 | -- | Inf
46.48/46.52 c 43.1s| 80000 | 16 | 1033 |8279k| 30 | - | 210 | 869 | 623 | 0 | 0 | 5 | 30k| 35 | 5.749536e+01 | -- | Inf
51.08/51.12 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.08/51.12 c 47.3s| 90000 | 18 | 1033 |8281k| 30 | - | 210 | 873 | 631 | 0 | 0 | 5 | 34k| 35 | 5.749536e+01 | -- | Inf
55.68/55.76 c 51.6s|100000 | 15 | 1033 |8288k| 30 | - | 210 | 881 | 395 | 0 | 0 | 5 | 37k| 35 | 5.749536e+01 | -- | Inf
59.97/60.10 c 55.6s|110000 | 20 | 1033 |8281k| 30 | - | 210 | 861 | 550 | 0 | 0 | 5 | 42k| 35 | 5.749536e+01 | -- | Inf
64.27/64.31 c 59.5s|120000 | 19 | 1033 |8293k| 30 | - | 210 | 877 | 338 | 0 | 0 | 5 | 46k| 35 | 5.749536e+01 | -- | Inf
68.48/68.55 c 63.4s|130000 | 21 | 1033 |8287k| 30 | - | 210 | 871 | 590 | 0 | 0 | 5 | 50k| 35 | 5.749536e+01 | -- | Inf
72.88/72.97 c 67.4s|140000 | 15 | 1033 |8297k| 30 | - | 210 | 894 | 463 | 0 | 0 | 5 | 54k| 35 | 5.749536e+01 | -- | Inf
76.98/77.09 c 71.2s|150000 | 15 | 1033 |8298k| 30 | - | 210 | 899 | 516 | 0 | 0 | 5 | 58k| 35 | 5.749536e+01 | -- | Inf
81.37/81.47 c 75.2s|160000 | 17 | 1033 |8292k| 30 | - | 210 | 885 | 564 | 0 | 0 | 5 | 62k| 35 | 5.749536e+01 | -- | Inf
85.47/85.57 c 79.0s|170000 | 17 | 1033 |8299k| 30 | - | 210 | 890 | 322 | 0 | 0 | 5 | 66k| 35 | 5.749536e+01 | -- | Inf
89.56/89.63 c 82.7s|180000 | 16 | 1033 |8295k| 30 | - | 210 | 891 | 494 | 0 | 0 | 5 | 71k| 35 | 5.749536e+01 | -- | Inf
93.57/93.61 c 86.4s|190000 | 17 | 1033 |8297k| 30 | - | 210 | 889 | 376 | 0 | 0 | 5 | 76k| 35 | 5.749536e+01 | -- | Inf
97.87/97.93 c 90.3s|200000 | 19 | 1033 |8288k| 30 | - | 210 | 867 | 546 | 0 | 0 | 5 | 80k| 35 | 5.749536e+01 | -- | Inf
101.76/101.89 c 94.0s|210000 | 18 | 1033 |8292k| 30 | - | 210 | 876 | 487 | 0 | 0 | 5 | 84k| 35 | 5.749536e+01 | -- | Inf
105.67/105.71 c 97.5s|220000 | 17 | 1033 |8286k| 30 | - | 210 | 864 | 506 | 0 | 0 | 5 | 89k| 35 | 5.749536e+01 | -- | Inf
109.46/109.54 c 101s|230000 | 17 | 1033 |8290k| 30 | - | 210 | 889 | 644 | 0 | 0 | 5 | 93k| 35 | 5.749536e+01 | -- | Inf
113.47/113.51 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
113.47/113.51 c 105s|240000 | 12 | 1033 |8318k| 30 | - | 210 | 937 | 464 | 0 | 0 | 5 | 99k| 35 | 5.749536e+01 | -- | Inf
118.26/118.39 c 109s|250000 | 19 | 1033 |8301k| 30 | - | 210 | 875 | 656 | 0 | 0 | 5 | 101k| 35 | 5.749536e+01 | -- | Inf
122.86/122.95 c 113s|260000 | 17 | 1033 |8310k| 30 | - | 210 | 892 | 525 | 0 | 0 | 5 | 106k| 35 | 5.749536e+01 | -- | Inf
127.26/127.30 c 117s|270000 | 13 | 1033 |8308k| 30 | - | 210 | 884 | 413 | 0 | 0 | 5 | 110k| 35 | 5.749536e+01 | -- | Inf
131.36/131.40 c 121s|280000 | 15 | 1033 |8310k| 30 | - | 210 | 891 | 426 | 0 | 0 | 5 | 114k| 35 | 5.749536e+01 | -- | Inf
135.26/135.37 c 125s|290000 | 17 | 1033 |8304k| 30 | - | 210 | 869 | 449 | 0 | 0 | 5 | 118k| 35 | 5.749536e+01 | -- | Inf
139.45/139.57 c 128s|300000 | 20 | 1033 |8307k| 30 | - | 210 | 875 | 470 | 0 | 0 | 5 | 122k| 35 | 5.749536e+01 | -- | Inf
143.65/143.75 c 132s|310000 | 19 | 1033 |8301k| 30 | - | 210 | 869 | 581 | 0 | 0 | 5 | 126k| 35 | 5.749536e+01 | -- | Inf
147.95/148.03 c 136s|320000 | 15 | 1033 |8311k| 30 | - | 210 | 889 | 418 | 0 | 0 | 5 | 131k| 35 | 5.749536e+01 | -- | Inf
152.36/152.49 c 140s|330000 | 13 | 1033 |8319k| 30 | - | 210 | 915 | 416 | 0 | 0 | 5 | 135k| 35 | 5.749536e+01 | -- | Inf
156.76/156.88 c 144s|340000 | 15 | 1033 |8308k| 30 | - | 210 | 888 | 570 | 0 | 0 | 5 | 140k| 35 | 5.749536e+01 | -- | Inf
161.25/161.33 c 148s|350000 | 14 | 1033 |8310k| 30 | - | 210 | 891 | 472 | 0 | 0 | 5 | 144k| 35 | 5.749536e+01 | -- | Inf
165.45/165.58 c 152s|360000 | 13 | 1033 |8310k| 30 | - | 210 | 897 | 681 | 0 | 0 | 5 | 149k| 35 | 5.749536e+01 | -- | Inf
169.85/169.96 c 156s|370000 | 14 | 1033 |8314k| 30 | - | 210 | 890 | 343 | 0 | 0 | 5 | 154k| 35 | 5.749536e+01 | -- | Inf
174.45/174.57 c 160s|380000 | 18 | 1033 |8309k| 30 | - | 210 | 884 | 518 | 0 | 0 | 5 | 158k| 35 | 5.749536e+01 | -- | Inf
178.55/178.66 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
178.55/178.66 c 164s|390000 | 16 | 1033 |8304k| 30 | - | 210 | 868 | 565 | 0 | 0 | 5 | 162k| 35 | 5.749536e+01 | -- | Inf
182.55/182.63 c 168s|400000 | 18 | 1033 |8303k| 30 | - | 210 | 864 | 554 | 0 | 0 | 5 | 166k| 35 | 5.749536e+01 | -- | Inf
186.65/186.72 c 172s|410000 | 16 | 1033 |8313k| 30 | - | 210 | 878 | 339 | 0 | 0 | 5 | 170k| 35 | 5.749536e+01 | -- | Inf
190.64/190.79 c 175s|420000 | 19 | 1033 |8310k| 30 | - | 210 | 874 | 438 | 0 | 0 | 5 | 174k| 35 | 5.749536e+01 | -- | Inf
194.84/194.93 c 179s|430000 | 16 | 1033 |8309k| 30 | - | 210 | 879 | 519 | 0 | 0 | 5 | 179k| 35 | 5.749536e+01 | -- | Inf
199.34/199.41 c 183s|440000 | 20 | 1033 |8309k| 30 | - | 210 | 875 | 562 | 0 | 0 | 5 | 184k| 35 | 5.749536e+01 | -- | Inf
203.54/203.66 c 187s|450000 | 16 | 1033 |8316k| 30 | - | 210 | 885 | 323 | 0 | 0 | 5 | 188k| 35 | 5.749536e+01 | -- | Inf
207.84/207.92 c 191s|460000 | 14 | 1033 |8324k| 30 | - | 210 | 914 | 419 | 0 | 0 | 5 | 193k| 35 | 5.749536e+01 | -- | Inf
212.04/212.17 c 195s|470000 | 16 | 1033 |8313k| 30 | - | 210 | 888 | 507 | 0 | 0 | 5 | 197k| 35 | 5.749536e+01 | -- | Inf
216.43/216.52 c 199s|480000 | 16 | 1033 |8319k| 30 | - | 210 | 900 | 445 | 0 | 0 | 5 | 202k| 35 | 5.749536e+01 | -- | Inf
220.94/221.08 c 203s|490000 | 18 | 1033 |8320k| 30 | - | 210 | 900 | 448 | 0 | 0 | 5 | 206k| 35 | 5.749536e+01 | -- | Inf
225.43/225.51 c 207s|500000 | 14 | 1033 |8323k| 30 | - | 210 | 905 | 326 | 0 | 0 | 5 | 211k| 35 | 5.749536e+01 | -- | Inf
229.84/229.96 c 211s|510000 | 15 | 1033 |8318k| 30 | - | 210 | 894 | 397 | 0 | 0 | 5 | 215k| 35 | 5.749536e+01 | -- | Inf
234.23/234.30 c 215s|520000 | 13 | 1033 |8325k| 30 | - | 210 | 909 | 315 | 0 | 0 | 5 | 220k| 35 | 5.749536e+01 | -- | Inf
238.83/238.97 c 219s|530000 | 12 | 1033 |8323k| 30 | - | 210 | 911 | 443 | 0 | 0 | 5 | 225k| 35 | 5.749536e+01 | -- | Inf
243.13/243.25 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
243.13/243.25 c 223s|540000 | 17 | 1033 |8318k| 30 | - | 210 | 894 | 439 | 0 | 0 | 5 | 229k| 35 | 5.749536e+01 | -- | Inf
247.62/247.74 c 227s|550000 | 15 | 1033 |8314k| 30 | - | 210 | 883 | 479 | 0 | 0 | 5 | 233k| 35 | 5.749536e+01 | -- | Inf
252.23/252.37 c 231s|560000 | 14 | 1033 |8317k| 30 | - | 210 | 884 | 321 | 0 | 0 | 5 | 238k| 35 | 5.749536e+01 | -- | Inf
256.73/256.84 c 236s|570000 | 20 | 1033 |8308k| 30 | - | 210 | 868 | 571 | 0 | 0 | 5 | 243k| 35 | 5.749536e+01 | -- | Inf
261.42/261.52 c 240s|580000 | 13 | 1033 |8318k| 30 | - | 210 | 898 | 539 | 0 | 0 | 5 | 247k| 35 | 5.749536e+01 | -- | Inf
265.52/265.69 c 244s|590000 | 18 | 1033 |8318k| 30 | - | 210 | 889 | 461 | 0 | 0 | 5 | 252k| 35 | 5.749536e+01 | -- | Inf
269.92/270.09 c 248s|600000 | 15 | 1033 |8321k| 30 | - | 210 | 900 | 430 | 0 | 0 | 5 | 257k| 35 | 5.749536e+01 | -- | Inf
273.92/274.02 c 251s|610000 | 16 | 1033 |8317k| 30 | - | 210 | 888 | 414 | 0 | 0 | 5 | 262k| 35 | 5.749536e+01 | -- | Inf
277.62/277.75 c 255s|620000 | 14 | 1033 |8317k| 30 | - | 210 | 887 | 421 | 0 | 0 | 5 | 266k| 35 | 5.749536e+01 | -- | Inf
281.42/281.52 c 258s|630000 | 16 | 1033 |8307k| 30 | - | 210 | 870 | 687 | 0 | 0 | 5 | 270k| 35 | 5.749536e+01 | -- | Inf
286.02/286.11 c 262s|640000 | 16 | 1033 |8318k| 30 | - | 210 | 901 | 590 | 0 | 0 | 5 | 274k| 35 | 5.749536e+01 | -- | Inf
289.92/290.05 c 266s|650000 | 15 | 1033 |8319k| 30 | - | 210 | 895 | 552 | 0 | 0 | 5 | 278k| 35 | 5.749536e+01 | -- | Inf
294.21/294.36 c 270s|660000 | 15 | 1033 |8319k| 30 | - | 210 | 893 | 511 | 0 | 0 | 5 | 283k| 35 | 5.749536e+01 | -- | Inf
298.42/298.57 c 274s|670000 | 15 | 1033 |8322k| 30 | - | 210 | 899 | 419 | 0 | 0 | 5 | 288k| 35 | 5.749536e+01 | -- | Inf
302.61/302.78 c 278s|680000 | 16 | 1033 |8319k| 30 | - | 210 | 889 | 465 | 0 | 0 | 5 | 293k| 35 | 5.749536e+01 | -- | Inf
306.92/307.00 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
306.92/307.00 c 282s|690000 | 15 | 1033 |8319k| 30 | - | 210 | 888 | 436 | 0 | 0 | 5 | 297k| 35 | 5.749536e+01 | -- | Inf
311.01/311.12 c 285s|700000 | 17 | 1033 |8318k| 30 | - | 210 | 883 | 465 | 0 | 0 | 5 | 302k| 35 | 5.749536e+01 | -- | Inf
315.12/315.21 c 289s|710000 | 11 | 1033 |8322k| 30 | - | 210 | 904 | 514 | 0 | 0 | 5 | 306k| 35 | 5.749536e+01 | -- | Inf
319.61/319.77 c 293s|720000 | 17 | 1033 |8309k| 30 | - | 210 | 868 | 584 | 0 | 0 | 5 | 311k| 35 | 5.749536e+01 | -- | Inf
324.60/324.72 c 298s|730000 | 15 | 1033 |8319k| 30 | - | 210 | 885 | 399 | 0 | 0 | 5 | 318k| 35 | 5.749536e+01 | -- | Inf
328.71/328.85 c 302s|740000 | 16 | 1033 |8318k| 30 | - | 210 | 892 | 518 | 0 | 0 | 5 | 322k| 35 | 5.749536e+01 | -- | Inf
332.70/332.86 c 305s|750000 | 14 | 1033 |8316k| 30 | - | 210 | 879 | 310 | 0 | 0 | 5 | 325k| 35 | 5.749536e+01 | -- | Inf
336.70/336.86 c 309s|760000 | 18 | 1033 |8319k| 30 | - | 210 | 887 | 443 | 0 | 0 | 5 | 329k| 35 | 5.749536e+01 | -- | Inf
340.80/340.93 c 313s|770000 | 19 | 1033 |8316k| 30 | - | 210 | 879 | 455 | 0 | 0 | 5 | 333k| 35 | 5.749536e+01 | -- | Inf
345.00/345.12 c 317s|780000 | 17 | 1033 |8328k| 30 | - | 210 | 916 | 449 | 0 | 0 | 5 | 337k| 35 | 5.749536e+01 | -- | Inf
349.30/349.49 c 321s|790000 | 17 | 1033 |8321k| 30 | - | 210 | 900 | 620 | 0 | 0 | 5 | 341k| 35 | 5.749536e+01 | -- | Inf
353.60/353.76 c 325s|800000 | 17 | 1033 |8317k| 30 | - | 210 | 867 | 284 | 0 | 0 | 5 | 345k| 35 | 5.749536e+01 | -- | Inf
357.70/357.90 c 328s|810000 | 16 | 1033 |8317k| 30 | - | 210 | 876 | 516 | 0 | 0 | 5 | 349k| 35 | 5.749536e+01 | -- | Inf
361.80/361.97 c 332s|820000 | 17 | 1033 |8317k| 30 | - | 210 | 867 | 437 | 0 | 0 | 5 | 353k| 35 | 5.749536e+01 | -- | Inf
366.00/366.13 c 336s|830000 | 15 | 1033 |8318k| 30 | - | 210 | 877 | 567 | 0 | 0 | 5 | 358k| 35 | 5.749536e+01 | -- | Inf
370.30/370.48 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
370.30/370.48 c 340s|840000 | 19 | 1033 |8317k| 30 | - | 210 | 870 | 425 | 0 | 0 | 5 | 363k| 35 | 5.749536e+01 | -- | Inf
374.60/374.74 c 344s|850000 | 12 | 1033 |8331k| 30 | - | 210 | 904 | 320 | 0 | 0 | 5 | 367k| 35 | 5.749536e+01 | -- | Inf
378.39/378.59 c 347s|860000 | 16 | 1033 |8327k| 30 | - | 210 | 900 | 443 | 0 | 0 | 5 | 371k| 35 | 5.749536e+01 | -- | Inf
382.60/382.79 c 351s|870000 | 12 | 1033 |8331k| 30 | - | 210 | 918 | 498 | 0 | 0 | 5 | 375k| 35 | 5.749536e+01 | -- | Inf
386.79/386.94 c 355s|880000 | 17 | 1033 |8316k| 30 | - | 210 | 875 | 695 | 0 | 0 | 5 | 380k| 35 | 5.749536e+01 | -- | Inf
390.79/390.96 c 359s|890000 | 17 | 1033 |8317k| 30 | - | 210 | 874 | 595 | 0 | 0 | 5 | 384k| 35 | 5.749536e+01 | -- | Inf
394.99/395.11 c 363s|900000 | 17 | 1033 |8322k| 30 | - | 210 | 880 | 427 | 0 | 0 | 5 | 389k| 35 | 5.749536e+01 | -- | Inf
399.09/399.21 c 366s|910000 | 14 | 1033 |8324k| 30 | - | 210 | 883 | 463 | 0 | 0 | 5 | 393k| 35 | 5.749536e+01 | -- | Inf
403.08/403.24 c 370s|920000 | 17 | 1033 |8318k| 30 | - | 210 | 861 | 382 | 0 | 0 | 5 | 397k| 35 | 5.749536e+01 | -- | Inf
407.29/407.45 c 374s|930000 | 18 | 1033 |8318k| 30 | - | 210 | 870 | 548 | 0 | 0 | 5 | 401k| 35 | 5.749536e+01 | -- | Inf
411.19/411.39 c 377s|940000 | 16 | 1033 |8326k| 30 | - | 210 | 880 | 316 | 0 | 0 | 5 | 405k| 35 | 5.749536e+01 | -- | Inf
415.38/415.55 c 381s|950000 | 13 | 1033 |8329k| 30 | - | 210 | 899 | 450 | 0 | 0 | 5 | 409k| 35 | 5.749536e+01 | -- | Inf
419.58/419.71 c 385s|960000 | 13 | 1033 |8331k| 30 | - | 210 | 903 | 497 | 0 | 0 | 5 | 413k| 35 | 5.749536e+01 | -- | Inf
423.88/424.02 c 389s|970000 | 14 | 1033 |8329k| 30 | - | 210 | 892 | 446 | 0 | 0 | 5 | 418k| 35 | 5.749536e+01 | -- | Inf
428.07/428.22 c 393s|980000 | 15 | 1033 |8334k| 30 | - | 210 | 906 | 422 | 0 | 0 | 5 | 422k| 35 | 5.749536e+01 | -- | Inf
431.98/432.20 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
431.98/432.20 c 397s|990000 | 15 | 1033 |8335k| 30 | - | 210 | 908 | 379 | 0 | 0 | 5 | 427k| 35 | 5.749536e+01 | -- | Inf
436.08/436.26 c 400s| 1000k| 12 | 1033 |8335k| 30 | - | 210 | 914 | 568 | 0 | 0 | 5 | 431k| 35 | 5.749536e+01 | -- | Inf
440.47/440.60 c 404s| 1010k| 15 | 1033 |8334k| 30 | - | 210 | 906 | 436 | 0 | 0 | 5 | 435k| 35 | 5.749536e+01 | -- | Inf
444.97/445.13 c 408s| 1020k| 16 | 1033 |8328k| 30 | - | 210 | 893 | 563 | 0 | 0 | 5 | 440k| 35 | 5.749536e+01 | -- | Inf
449.27/449.49 c 412s| 1030k| 13 | 1033 |8333k| 30 | - | 210 | 897 | 304 | 0 | 0 | 5 | 444k| 35 | 5.749536e+01 | -- | Inf
453.27/453.42 c 416s| 1040k| 13 | 1033 |8331k| 30 | - | 210 | 899 | 503 | 0 | 0 | 5 | 449k| 35 | 5.749536e+01 | -- | Inf
457.57/457.78 c 420s| 1050k| 14 | 1033 |8327k| 30 | - | 210 | 891 | 646 | 0 | 0 | 5 | 453k| 35 | 5.749536e+01 | -- | Inf
461.88/462.02 c 424s| 1060k| 14 | 1033 |8337k| 30 | - | 210 | 928 | 605 | 0 | 0 | 5 | 458k| 35 | 5.749536e+01 | -- | Inf
466.27/466.42 c 428s| 1070k| 14 | 1033 |8336k| 30 | - | 210 | 915 | 453 | 0 | 0 | 5 | 462k| 35 | 5.749536e+01 | -- | Inf
470.77/470.94 c 432s| 1080k| 13 | 1033 |8344k| 30 | - | 210 | 927 | 390 | 0 | 0 | 5 | 467k| 35 | 5.749536e+01 | -- | Inf
475.27/475.47 c 436s| 1090k| 16 | 1033 |8336k| 30 | - | 210 | 900 | 400 | 0 | 0 | 5 | 471k| 35 | 5.749536e+01 | -- | Inf
479.47/479.68 c 440s| 1100k| 16 | 1033 |8332k| 30 | - | 210 | 891 | 461 | 0 | 0 | 5 | 475k| 35 | 5.749536e+01 | -- | Inf
483.66/483.83 c 444s| 1110k| 10 | 1033 |8338k| 30 | - | 210 | 911 | 409 | 0 | 0 | 5 | 480k| 35 | 5.749536e+01 | -- | Inf
487.56/487.77 c 448s| 1120k| 12 | 1033 |8330k| 30 | - | 210 | 895 | 664 | 0 | 0 | 5 | 483k| 35 | 5.749536e+01 | -- | Inf
491.66/491.88 c 451s| 1130k| 15 | 1033 |8340k| 30 | - | 210 | 901 | 328 | 0 | 0 | 5 | 488k| 35 | 5.749536e+01 | -- | Inf
495.76/495.96 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
495.76/495.96 c 455s| 1140k| 17 | 1033 |8334k| 30 | - | 210 | 887 | 394 | 0 | 0 | 5 | 491k| 35 | 5.749536e+01 | -- | Inf
499.86/500.08 c 459s| 1150k| 15 | 1033 |8327k| 30 | - | 210 | 883 | 672 | 0 | 0 | 5 | 496k| 35 | 5.749536e+01 | -- | Inf
504.06/504.27 c 463s| 1160k| 13 | 1033 |8340k| 30 | - | 210 | 903 | 345 | 0 | 0 | 5 | 500k| 35 | 5.749536e+01 | -- | Inf
508.25/508.41 c 467s| 1170k| 15 | 1033 |8327k| 30 | - | 210 | 881 | 623 | 0 | 0 | 5 | 504k| 35 | 5.749536e+01 | -- | Inf
512.15/512.32 c 470s| 1180k| 17 | 1033 |8332k| 30 | - | 210 | 884 | 474 | 0 | 0 | 5 | 508k| 35 | 5.749536e+01 | -- | Inf
516.45/516.61 c 474s| 1190k| 14 | 1033 |8333k| 30 | - | 210 | 884 | 314 | 0 | 0 | 5 | 512k| 35 | 5.749536e+01 | -- | Inf
520.35/520.52 c 478s| 1200k| 15 | 1033 |8336k| 30 | - | 210 | 887 | 417 | 0 | 0 | 5 | 517k| 35 | 5.749536e+01 | -- | Inf
524.55/524.78 c 482s| 1210k| 10 | 1033 |8343k| 30 | - | 210 | 920 | 569 | 0 | 0 | 5 | 521k| 35 | 5.749536e+01 | -- | Inf
528.65/528.90 c 486s| 1220k| 13 | 1033 |8342k| 30 | - | 210 | 911 | 522 | 0 | 0 | 5 | 526k| 35 | 5.749536e+01 | -- | Inf
532.85/533.08 c 489s| 1230k| 14 | 1033 |8346k| 30 | - | 210 | 921 | 418 | 0 | 0 | 5 | 531k| 35 | 5.749536e+01 | -- | Inf
537.25/537.40 c 493s| 1240k| 15 | 1033 |8343k| 30 | - | 210 | 907 | 401 | 0 | 0 | 5 | 536k| 35 | 5.749536e+01 | -- | Inf
541.65/541.81 c 497s| 1250k| 12 | 1033 |8342k| 30 | - | 210 | 917 | 593 | 0 | 0 | 5 | 541k| 35 | 5.749536e+01 | -- | Inf
545.64/545.85 c 501s| 1260k| 11 | 1033 |8343k| 30 | - | 210 | 913 | 415 | 0 | 0 | 5 | 545k| 35 | 5.749536e+01 | -- | Inf
549.44/549.69 c 505s| 1270k| 14 | 1033 |8343k| 30 | - | 210 | 903 | 341 | 0 | 0 | 5 | 549k| 35 | 5.749536e+01 | -- | Inf
553.54/553.77 c 508s| 1280k| 11 | 1033 |8336k| 30 | - | 210 | 902 | 663 | 0 | 0 | 5 | 553k| 35 | 5.749536e+01 | -- | Inf
557.64/557.85 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
557.64/557.85 c 512s| 1290k| 13 | 1033 |8356k| 30 | - | 210 | 951 | 390 | 0 | 0 | 5 | 557k| 35 | 5.749536e+01 | -- | Inf
561.94/562.10 c 516s| 1300k| 15 | 1033 |8344k| 30 | - | 210 | 902 | 335 | 0 | 0 | 5 | 562k| 35 | 5.749536e+01 | -- | Inf
565.94/566.17 c 520s| 1310k| 15 | 1033 |8342k| 30 | - | 210 | 903 | 428 | 0 | 0 | 5 | 566k| 35 | 5.749536e+01 | -- | Inf
569.84/570.04 c 523s| 1320k| 12 | 1033 |8343k| 30 | - | 210 | 929 | 605 | 0 | 0 | 5 | 571k| 35 | 5.749536e+01 | -- | Inf
573.84/574.07 c 527s| 1330k| 13 | 1033 |8344k| 30 | - | 210 | 905 | 399 | 0 | 0 | 5 | 575k| 35 | 5.749536e+01 | -- | Inf
577.94/578.16 c 531s| 1340k| 13 | 1033 |8343k| 30 | - | 210 | 908 | 495 | 0 | 0 | 5 | 579k| 35 | 5.749536e+01 | -- | Inf
582.23/582.41 c 535s| 1350k| 12 | 1033 |8353k| 30 | - | 210 | 941 | 450 | 0 | 0 | 5 | 584k| 35 | 5.749536e+01 | -- | Inf
586.53/586.73 c 539s| 1360k| 15 | 1033 |8341k| 30 | - | 210 | 903 | 500 | 0 | 0 | 5 | 588k| 35 | 5.749536e+01 | -- | Inf
590.74/590.97 c 543s| 1370k| 9 | 1033 |8355k| 30 | - | 210 | 943 | 479 | 0 | 0 | 5 | 593k| 35 | 5.749536e+01 | -- | Inf
594.74/594.96 c 546s| 1380k| 22 | 1033 |8325k| 30 | - | 210 | 852 | 556 | 0 | 0 | 5 | 596k| 35 | 5.749536e+01 | -- | Inf
598.74/598.90 c 550s| 1390k| 18 | 1033 |8326k| 30 | - | 210 | 853 | 433 | 0 | 0 | 5 | 598k| 35 | 5.749536e+01 | -- | Inf
603.43/603.63 c 554s| 1400k| 21 | 1033 |8333k| 30 | - | 210 | 874 | 454 | 0 | 0 | 5 | 603k| 35 | 5.749536e+01 | -- | Inf
607.63/607.87 c 558s| 1410k| 18 | 1033 |8330k| 30 | - | 210 | 877 | 647 | 0 | 0 | 5 | 606k| 35 | 5.749536e+01 | -- | Inf
612.32/612.60 c 563s| 1420k| 16 | 1033 |8334k| 30 | - | 210 | 863 | 287 | 0 | 0 | 5 | 608k| 35 | 5.749536e+01 | -- | Inf
617.22/617.43 c 567s| 1430k| 17 | 1033 |8336k| 30 | - | 210 | 879 | 454 | 0 | 0 | 5 | 612k| 35 | 5.749536e+01 | -- | Inf
621.43/621.65 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
621.43/621.65 c 571s| 1440k| 19 | 1033 |8336k| 30 | - | 210 | 882 | 543 | 0 | 0 | 5 | 616k| 35 | 5.749536e+01 | -- | Inf
625.33/625.56 c 574s| 1450k| 18 | 1033 |8335k| 30 | - | 210 | 883 | 535 | 0 | 0 | 5 | 619k| 35 | 5.749536e+01 | -- | Inf
629.22/629.42 c 578s| 1460k| 17 | 1033 |8341k| 30 | - | 210 | 897 | 523 | 0 | 0 | 5 | 622k| 35 | 5.749536e+01 | -- | Inf
633.43/633.65 c 582s| 1470k| 20 | 1033 |8339k| 30 | - | 210 | 885 | 351 | 0 | 0 | 5 | 626k| 35 | 5.749536e+01 | -- | Inf
637.83/638.05 c 586s| 1480k| 19 | 1033 |8330k| 30 | - | 210 | 869 | 726 | 0 | 0 | 5 | 629k| 35 | 5.749536e+01 | -- | Inf
641.52/641.75 c 589s| 1490k| 17 | 1033 |8342k| 30 | - | 210 | 893 | 424 | 0 | 0 | 5 | 633k| 35 | 5.749536e+01 | -- | Inf
645.72/646.00 c 593s| 1500k| 15 | 1033 |8337k| 30 | - | 210 | 885 | 606 | 0 | 0 | 5 | 634k| 35 | 5.749536e+01 | -- | Inf
650.02/650.29 c 597s| 1510k| 15 | 1033 |8363k| 30 | - | 210 | 983 | 375 | 0 | 0 | 5 | 638k| 35 | 5.749536e+01 | -- | Inf
654.01/654.25 c 601s| 1520k| 15 | 1033 |8475k| 30 | - | 210 |1401 | 311 | 0 | 0 | 5 | 642k| 35 | 5.749536e+01 | -- | Inf
658.12/658.36 c 604s| 1530k| 16 | 1033 |8392k| 30 | - | 210 | 973 | 587 | 0 | 0 | 5 | 646k| 35 | 5.749536e+01 | -- | Inf
662.71/662.95 c 609s| 1540k| 14 | 1033 |8395k| 30 | - | 210 | 966 | 305 | 0 | 0 | 5 | 651k| 35 | 5.749536e+01 | -- | Inf
667.41/667.67 c 613s| 1550k| 18 | 1033 |8373k| 30 | - | 210 | 879 | 591 | 0 | 0 | 5 | 657k| 35 | 5.749536e+01 | -- | Inf
671.61/671.83 c 617s| 1560k| 17 | 1033 |8371k| 30 | - | 210 | 871 | 514 | 0 | 0 | 5 | 661k| 35 | 5.749536e+01 | -- | Inf
675.61/675.80 c 620s| 1570k| 15 | 1033 |8380k| 30 | - | 210 | 892 | 380 | 0 | 0 | 5 | 665k| 35 | 5.749536e+01 | -- | Inf
679.51/679.73 c 624s| 1580k| 19 | 1033 |8377k| 30 | - | 210 | 887 | 522 | 0 | 0 | 5 | 669k| 35 | 5.749536e+01 | -- | Inf
683.91/684.13 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
683.91/684.13 c 628s| 1590k| 10 | 1033 |8392k| 30 | - | 210 | 932 | 456 | 0 | 0 | 5 | 674k| 35 | 5.749536e+01 | -- | Inf
688.61/688.87 c 632s| 1600k| 17 | 1033 |8381k| 30 | - | 210 | 894 | 399 | 0 | 0 | 5 | 677k| 35 | 5.749536e+01 | -- | Inf
692.71/692.93 c 636s| 1610k| 16 | 1033 |8372k| 30 | - | 210 | 868 | 389 | 0 | 0 | 5 | 679k| 35 | 5.749536e+01 | -- | Inf
698.70/698.93 c 642s| 1620k| 14 | 1033 |8366k| 30 | - | 210 | 868 | 724 | 0 | 0 | 5 | 680k| 35 | 5.749536e+01 | -- | Inf
704.50/704.70 c 647s| 1630k| 15 | 1033 |8370k| 30 | - | 210 | 875 | 612 | 0 | 0 | 5 | 681k| 35 | 5.749536e+01 | -- | Inf
709.80/710.10 c 652s| 1640k| 17 | 1033 |8373k| 30 | - | 210 | 873 | 428 | 0 | 0 | 5 | 683k| 35 | 5.749536e+01 | -- | Inf
713.90/714.17 c 656s| 1650k| 16 | 1033 |8372k| 30 | - | 210 | 876 | 580 | 0 | 0 | 5 | 686k| 35 | 5.749536e+01 | -- | Inf
718.10/718.35 c 660s| 1660k| 18 | 1033 |8377k| 30 | - | 210 | 882 | 465 | 0 | 0 | 5 | 690k| 35 | 5.749536e+01 | -- | Inf
722.09/722.39 c 663s| 1670k| 15 | 1033 |8380k| 30 | - | 210 | 898 | 530 | 0 | 0 | 5 | 694k| 35 | 5.749536e+01 | -- | Inf
726.20/726.49 c 667s| 1680k| 15 | 1033 |8381k| 30 | - | 210 | 894 | 436 | 0 | 0 | 5 | 698k| 35 | 5.749536e+01 | -- | Inf
730.39/730.67 c 671s| 1690k| 13 | 1033 |8378k| 30 | - | 210 | 889 | 428 | 0 | 0 | 5 | 703k| 35 | 5.749536e+01 | -- | Inf
734.49/734.75 c 675s| 1700k| 15 | 1033 |8379k| 30 | - | 210 | 886 | 327 | 0 | 0 | 5 | 707k| 35 | 5.749536e+01 | -- | Inf
738.29/738.54 c 678s| 1710k| 13 | 1033 |8375k| 30 | - | 210 | 885 | 558 | 0 | 0 | 5 | 711k| 35 | 5.749536e+01 | -- | Inf
742.30/742.56 c 682s| 1720k| 18 | 1033 |8380k| 30 | - | 210 | 895 | 596 | 0 | 0 | 5 | 716k| 35 | 5.749536e+01 | -- | Inf
746.99/747.26 c 686s| 1730k| 18 | 1033 |8382k| 30 | - | 210 | 885 | 342 | 0 | 0 | 5 | 720k| 35 | 5.749536e+01 | -- | Inf
751.78/752.01 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
751.78/752.01 c 691s| 1740k| 15 | 1033 |8378k| 30 | - | 210 | 881 | 427 | 0 | 0 | 5 | 724k| 35 | 5.749536e+01 | -- | Inf
756.68/756.94 c 695s| 1750k| 15 | 1033 |8377k| 30 | - | 210 | 889 | 627 | 0 | 0 | 5 | 728k| 35 | 5.749536e+01 | -- | Inf
761.39/761.64 c 699s| 1760k| 17 | 1033 |8386k| 30 | - | 210 | 904 | 452 | 0 | 0 | 5 | 732k| 35 | 5.749536e+01 | -- | Inf
765.88/766.19 c 703s| 1770k| 15 | 1033 |8384k| 30 | - | 210 | 897 | 436 | 0 | 0 | 5 | 737k| 35 | 5.749536e+01 | -- | Inf
770.08/770.36 c 707s| 1780k| 16 | 1033 |8388k| 30 | - | 210 | 916 | 443 | 0 | 0 | 5 | 741k| 35 | 5.749536e+01 | -- | Inf
774.38/774.63 c 711s| 1790k| 14 | 1033 |8385k| 30 | - | 210 | 900 | 453 | 0 | 0 | 5 | 746k| 35 | 5.749536e+01 | -- | Inf
778.78/779.09 c 715s| 1800k| 17 | 1033 |8378k| 30 | - | 210 | 884 | 493 | 0 | 0 | 5 | 750k| 35 | 5.749536e+01 | -- | Inf
783.18/783.44 c 719s| 1810k| 17 | 1033 |8374k| 30 | - | 210 | 871 | 436 | 0 | 0 | 5 | 751k| 35 | 5.749536e+01 | -- | Inf
787.98/788.20 c 724s| 1820k| 21 | 1033 |8380k| 30 | - | 210 | 868 | 356 | 0 | 0 | 5 | 755k| 35 | 5.749536e+01 | -- | Inf
792.68/792.98 c 728s| 1830k| 14 | 1033 |8376k| 30 | - | 210 | 874 | 673 | 0 | 0 | 5 | 759k| 35 | 5.749536e+01 | -- | Inf
797.38/797.60 c 732s| 1840k| 15 | 1033 |8381k| 30 | - | 210 | 878 | 481 | 0 | 0 | 5 | 763k| 35 | 5.749536e+01 | -- | Inf
801.87/802.15 c 736s| 1850k| 17 | 1033 |8382k| 30 | - | 210 | 878 | 495 | 0 | 0 | 5 | 767k| 35 | 5.749536e+01 | -- | Inf
806.47/806.75 c 741s| 1860k| 16 | 1033 |8384k| 30 | - | 210 | 879 | 367 | 0 | 0 | 5 | 770k| 35 | 5.749536e+01 | -- | Inf
811.58/811.83 c 745s| 1870k| 13 | 1033 |8385k| 30 | - | 210 | 890 | 555 | 0 | 0 | 5 | 774k| 35 | 5.749536e+01 | -- | Inf
816.18/816.48 c 750s| 1880k| 17 | 1033 |8384k| 30 | - | 210 | 876 | 484 | 0 | 0 | 5 | 778k| 35 | 5.749536e+01 | -- | Inf
820.67/820.92 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
820.67/820.92 c 754s| 1890k| 16 | 1033 |8392k| 30 | - | 210 | 894 | 393 | 0 | 0 | 5 | 781k| 35 | 5.749536e+01 | -- | Inf
825.36/825.63 c 758s| 1900k| 12 | 1033 |8387k| 30 | - | 210 | 883 | 458 | 0 | 0 | 5 | 785k| 35 | 5.749536e+01 | -- | Inf
830.57/830.80 c 763s| 1910k| 15 | 1033 |8378k| 30 | - | 210 | 863 | 605 | 0 | 0 | 5 | 787k| 35 | 5.749536e+01 | -- | Inf
835.97/836.20 c 768s| 1920k| 16 | 1033 |8383k| 30 | - | 210 | 864 | 359 | 0 | 0 | 5 | 787k| 35 | 5.749536e+01 | -- | Inf
840.97/841.24 c 772s| 1930k| 14 | 1033 |8383k| 30 | - | 210 | 860 | 324 | 0 | 0 | 5 | 788k| 35 | 5.749536e+01 | -- | Inf
846.17/846.41 c 777s| 1940k| 13 | 1033 |8378k| 30 | - | 210 | 860 | 601 | 0 | 0 | 5 | 788k| 35 | 5.749536e+01 | -- | Inf
851.07/851.38 c 782s| 1950k| 13 | 1033 |8378k| 30 | - | 210 | 860 | 558 | 0 | 0 | 5 | 788k| 35 | 5.749536e+01 | -- | Inf
856.26/856.51 c 786s| 1960k| 11 | 1033 |8377k| 30 | - | 210 | 863 | 633 | 0 | 0 | 5 | 789k| 35 | 5.749536e+01 | -- | Inf
861.26/861.57 c 791s| 1970k| 15 | 1033 |8377k| 30 | - | 210 | 864 | 691 | 0 | 0 | 5 | 790k| 35 | 5.749536e+01 | -- | Inf
867.06/867.36 c 796s| 1980k| 19 | 1033 |8378k| 30 | - | 210 | 858 | 613 | 0 | 0 | 5 | 791k| 35 | 5.749536e+01 | -- | Inf
872.36/872.66 c 801s| 1990k| 14 | 1033 |8383k| 30 | - | 210 | 866 | 352 | 0 | 0 | 5 | 792k| 35 | 5.749536e+01 | -- | Inf
877.66/877.91 c 806s| 2000k| 14 | 1033 |8376k| 30 | - | 210 | 858 | 683 | 0 | 0 | 5 | 792k| 35 | 5.749536e+01 | -- | Inf
882.55/882.84 c 811s| 2010k| 15 | 1033 |8382k| 30 | - | 210 | 870 | 548 | 0 | 0 | 5 | 793k| 35 | 5.749536e+01 | -- | Inf
887.05/887.32 c 815s| 2020k| 13 | 1033 |8382k| 30 | - | 210 | 859 | 294 | 0 | 0 | 5 | 794k| 35 | 5.749536e+01 | -- | Inf
890.95/891.29 c 818s| 2030k| 14 | 1033 |8386k| 30 | - | 210 | 871 | 337 | 0 | 0 | 5 | 797k| 35 | 5.749536e+01 | -- | Inf
894.75/895.01 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
894.75/895.01 c 822s| 2040k| 15 | 1033 |8391k| 30 | - | 210 | 890 | 325 | 0 | 0 | 5 | 801k| 35 | 5.749536e+01 | -- | Inf
898.65/898.97 c 825s| 2050k| 16 | 1033 |8388k| 30 | - | 210 | 877 | 359 | 0 | 0 | 5 | 804k| 35 | 5.749536e+01 | -- | Inf
902.45/902.79 c 829s| 2060k| 12 | 1033 |8399k| 30 | - | 210 | 908 | 334 | 0 | 0 | 5 | 808k| 35 | 5.749536e+01 | -- | Inf
906.55/906.81 c 833s| 2070k| 13 | 1033 |8398k| 30 | - | 210 | 906 | 304 | 0 | 0 | 5 | 814k| 35 | 5.749536e+01 | -- | Inf
910.34/910.69 c 836s| 2080k| 15 | 1033 |8388k| 30 | - | 210 | 874 | 439 | 0 | 0 | 5 | 818k| 35 | 5.749536e+01 | -- | Inf
914.25/914.57 c 840s| 2090k| 15 | 1033 |8384k| 30 | - | 210 | 869 | 580 | 0 | 0 | 5 | 821k| 35 | 5.749536e+01 | -- | Inf
918.54/918.89 c 844s| 2100k| 15 | 1033 |8388k| 30 | - | 210 | 865 | 320 | 0 | 0 | 5 | 824k| 35 | 5.749536e+01 | -- | Inf
922.35/922.62 c 847s| 2110k| 12 | 1033 |8394k| 30 | - | 210 | 882 | 364 | 0 | 0 | 5 | 828k| 35 | 5.749536e+01 | -- | Inf
926.34/926.64 c 851s| 2120k| 12 | 1033 |8396k| 30 | - | 210 | 888 | 406 | 0 | 0 | 5 | 833k| 35 | 5.749536e+01 | -- | Inf
930.45/930.78 c 855s| 2130k| 11 | 1033 |8385k| 30 | - | 210 | 867 | 552 | 0 | 0 | 5 | 836k| 35 | 5.749536e+01 | -- | Inf
934.64/934.90 c 858s| 2140k| 14 | 1033 |8391k| 30 | - | 210 | 882 | 526 | 0 | 0 | 5 | 837k| 35 | 5.749536e+01 | -- | Inf
938.84/939.10 c 862s| 2150k| 14 | 1033 |8393k| 30 | - | 210 | 884 | 568 | 0 | 0 | 5 | 842k| 35 | 5.749536e+01 | -- | Inf
943.44/943.79 c 866s| 2160k| 16 | 1033 |8402k| 30 | - | 210 | 903 | 389 | 0 | 0 | 5 | 847k| 35 | 5.749536e+01 | -- | Inf
947.94/948.24 c 871s| 2170k| 12 | 1033 |8401k| 30 | - | 210 | 887 | 320 | 0 | 0 | 5 | 849k| 35 | 5.749536e+01 | -- | Inf
952.24/952.51 c 875s| 2180k| 10 | 1033 |8406k| 30 | - | 210 | 907 | 392 | 0 | 0 | 5 | 853k| 35 | 5.749536e+01 | -- | Inf
956.23/956.52 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
956.23/956.52 c 878s| 2190k| 16 | 1033 |8400k| 30 | - | 210 | 885 | 404 | 0 | 0 | 5 | 857k| 35 | 5.749536e+01 | -- | Inf
960.04/960.36 c 882s| 2200k| 15 | 1033 |8402k| 30 | - | 210 | 891 | 420 | 0 | 0 | 5 | 862k| 35 | 5.749536e+01 | -- | Inf
964.14/964.43 c 885s| 2210k| 16 | 1033 |8400k| 30 | - | 210 | 889 | 504 | 0 | 0 | 5 | 866k| 35 | 5.749536e+01 | -- | Inf
968.23/968.58 c 889s| 2220k| 16 | 1033 |8405k| 30 | - | 210 | 899 | 313 | 0 | 0 | 5 | 870k| 35 | 5.749536e+01 | -- | Inf
972.53/972.89 c 893s| 2230k| 15 | 1033 |8397k| 30 | - | 210 | 881 | 494 | 0 | 0 | 5 | 875k| 35 | 5.749536e+01 | -- | Inf
977.43/977.74 c 898s| 2240k| 14 | 1033 |8401k| 30 | - | 210 | 885 | 416 | 0 | 0 | 5 | 877k| 35 | 5.749536e+01 | -- | Inf
982.73/983.03 c 902s| 2250k| 16 | 1033 |8390k| 30 | - | 210 | 866 | 628 | 0 | 0 | 5 | 879k| 35 | 5.749536e+01 | -- | Inf
988.52/988.82 c 908s| 2260k| 17 | 1033 |8393k| 30 | - | 210 | 873 | 588 | 0 | 0 | 5 | 880k| 35 | 5.749536e+01 | -- | Inf
993.73/994.09 c 913s| 2270k| 17 | 1033 |8394k| 30 | - | 210 | 875 | 582 | 0 | 0 | 5 | 882k| 35 | 5.749536e+01 | -- | Inf
998.53/998.86 c 917s| 2280k| 18 | 1033 |8398k| 30 | - | 210 | 878 | 456 | 0 | 0 | 5 | 885k| 35 | 5.749536e+01 | -- | Inf
1003.22/1003.51 c 921s| 2290k| 15 | 1033 |8395k| 30 | - | 210 | 873 | 470 | 0 | 0 | 5 | 888k| 35 | 5.749536e+01 | -- | Inf
1007.52/1007.88 c 925s| 2300k| 20 | 1033 |8400k| 30 | - | 210 | 884 | 528 | 0 | 0 | 5 | 892k| 35 | 5.749536e+01 | -- | Inf
1011.72/1012.03 c 929s| 2310k| 13 | 1033 |8409k| 30 | - | 210 | 910 | 415 | 0 | 0 | 5 | 897k| 35 | 5.749536e+01 | -- | Inf
1015.62/1015.90 c 933s| 2320k| 11 | 1033 |8426k| 30 | - | 210 | 994 | 506 | 0 | 0 | 5 | 903k| 35 | 5.749536e+01 | -- | Inf
1019.61/1019.96 c 936s| 2330k| 14 | 1033 |8410k| 30 | - | 210 | 913 | 487 | 0 | 0 | 5 | 908k| 35 | 5.749536e+01 | -- | Inf
1023.82/1024.13 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1023.82/1024.13 c 940s| 2340k| 15 | 1033 |8403k| 30 | - | 210 | 893 | 468 | 0 | 0 | 5 | 912k| 35 | 5.749536e+01 | -- | Inf
1028.02/1028.32 c 944s| 2350k| 14 | 1033 |8403k| 30 | - | 210 | 902 | 647 | 0 | 0 | 5 | 917k| 35 | 5.749536e+01 | -- | Inf
1032.52/1032.87 c 948s| 2360k| 15 | 1033 |8408k| 30 | - | 210 | 904 | 442 | 0 | 0 | 5 | 921k| 35 | 5.749536e+01 | -- | Inf
1036.61/1036.97 c 952s| 2370k| 16 | 1033 |8408k| 30 | - | 210 | 906 | 413 | 0 | 0 | 5 | 926k| 35 | 5.749536e+01 | -- | Inf
1040.52/1040.88 c 955s| 2380k| 21 | 1033 |8397k| 30 | - | 210 | 876 | 559 | 0 | 0 | 5 | 932k| 35 | 5.749536e+01 | -- | Inf
1044.91/1045.26 c 959s| 2390k| 20 | 1033 |8400k| 30 | - | 210 | 881 | 500 | 0 | 0 | 5 | 936k| 35 | 5.749536e+01 | -- | Inf
1049.50/1049.89 c 964s| 2400k| 14 | 1033 |8403k| 30 | - | 210 | 898 | 598 | 0 | 0 | 5 | 940k| 35 | 5.749536e+01 | -- | Inf
1053.71/1054.07 c 967s| 2410k| 14 | 1033 |8413k| 30 | - | 210 | 912 | 338 | 0 | 0 | 5 | 944k| 35 | 5.749536e+01 | -- | Inf
1059.31/1059.63 c 973s| 2420k| 17 | 1033 |8401k| 30 | - | 210 | 887 | 512 | 0 | 0 | 5 | 947k| 35 | 5.749536e+01 | -- | Inf
1064.41/1064.80 c 977s| 2430k| 18 | 1033 |8400k| 30 | - | 210 | 888 | 597 | 0 | 0 | 5 | 949k| 35 | 5.749536e+01 | -- | Inf
1069.71/1070.05 c 982s| 2440k| 14 | 1033 |8411k| 30 | - | 210 | 894 | 347 | 0 | 0 | 5 | 951k| 35 | 5.749536e+01 | -- | Inf
1074.41/1074.73 c 986s| 2450k| 16 | 1033 |8406k| 30 | - | 210 | 890 | 596 | 0 | 0 | 5 | 955k| 35 | 5.749536e+01 | -- | Inf
1079.80/1080.11 c 991s| 2460k| 13 | 1033 |8407k| 30 | - | 210 | 880 | 382 | 0 | 0 | 5 | 955k| 35 | 5.749536e+01 | -- | Inf
1083.70/1084.02 c 995s| 2470k| 13 | 1033 |8404k| 30 | - | 210 | 889 | 673 | 0 | 0 | 5 | 961k| 35 | 5.749536e+01 | -- | Inf
1087.70/1088.03 c 999s| 2480k| 21 | 1033 |8404k| 30 | - | 210 | 878 | 588 | 0 | 0 | 5 | 963k| 35 | 5.749536e+01 | -- | Inf
1091.69/1092.05 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1091.69/1092.05 c 1002s| 2490k| 15 | 1033 |8410k| 30 | - | 210 | 887 | 358 | 0 | 0 | 5 | 965k| 35 | 5.749536e+01 | -- | Inf
1095.79/1096.15 c 1006s| 2500k| 13 | 1033 |8401k| 30 | - | 210 | 872 | 578 | 0 | 0 | 5 | 969k| 35 | 5.749536e+01 | -- | Inf
1099.79/1100.19 c 1010s| 2510k| 14 | 1033 |8411k| 30 | - | 210 | 900 | 494 | 0 | 0 | 5 | 973k| 35 | 5.749536e+01 | -- | Inf
1103.79/1104.15 c 1013s| 2520k| 18 | 1033 |8412k| 30 | - | 210 | 891 | 401 | 0 | 0 | 5 | 977k| 35 | 5.749536e+01 | -- | Inf
1107.79/1108.19 c 1017s| 2530k| 13 | 1033 |8417k| 30 | - | 210 | 906 | 386 | 0 | 0 | 5 | 980k| 35 | 5.749536e+01 | -- | Inf
1111.70/1112.07 c 1021s| 2540k| 15 | 1033 |8409k| 30 | - | 210 | 898 | 578 | 0 | 0 | 5 | 983k| 35 | 5.749536e+01 | -- | Inf
1115.79/1116.14 c 1024s| 2550k| 11 | 1033 |8407k| 30 | - | 210 | 889 | 568 | 0 | 0 | 5 | 985k| 35 | 5.749536e+01 | -- | Inf
1119.49/1119.89 c 1028s| 2560k| 15 | 1033 |8407k| 30 | - | 210 | 876 | 301 | 0 | 0 | 5 | 986k| 35 | 5.749536e+01 | -- | Inf
1123.59/1123.98 c 1032s| 2570k| 13 | 1033 |8417k| 30 | - | 210 | 904 | 366 | 0 | 0 | 5 | 989k| 35 | 5.749536e+01 | -- | Inf
1127.99/1128.35 c 1035s| 2580k| 15 | 1033 |8416k| 30 | - | 210 | 898 | 277 | 0 | 0 | 5 | 994k| 35 | 5.749536e+01 | -- | Inf
1132.08/1132.48 c 1039s| 2590k| 13 | 1033 |8419k| 30 | - | 210 | 912 | 384 | 0 | 0 | 5 | 998k| 35 | 5.749536e+01 | -- | Inf
1136.18/1136.53 c 1043s| 2600k| 18 | 1033 |8400k| 30 | - | 210 | 867 | 630 | 0 | 0 | 5 |1002k| 35 | 5.749536e+01 | -- | Inf
1140.08/1140.48 c 1047s| 2610k| 15 | 1033 |8413k| 30 | - | 210 | 902 | 451 | 0 | 0 | 5 |1004k| 35 | 5.749536e+01 | -- | Inf
1144.18/1144.54 c 1050s| 2620k| 14 | 1033 |8444k| 30 | - | 210 |1038 | 297 | 0 | 0 | 5 |1008k| 35 | 5.749536e+01 | -- | Inf
1148.18/1148.54 c 1054s| 2630k| 16 | 1033 |8461k| 30 | - | 210 |1105 | 312 | 0 | 0 | 5 |1011k| 35 | 5.749536e+01 | -- | Inf
1152.18/1152.57 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1152.18/1152.57 c 1058s| 2640k| 16 | 1033 |8468k| 30 | - | 210 |1131 | 427 | 0 | 0 | 5 |1015k| 35 | 5.749536e+01 | -- | Inf
1156.07/1156.47 c 1061s| 2650k| 15 | 1033 |8463k| 30 | - | 210 |1131 | 555 | 0 | 0 | 5 |1019k| 35 | 5.749536e+01 | -- | Inf
1159.98/1160.34 c 1065s| 2660k| 14 | 1033 |8468k| 30 | - | 210 |1141 | 471 | 0 | 0 | 5 |1020k| 35 | 5.749536e+01 | -- | Inf
1163.98/1164.31 c 1069s| 2670k| 13 | 1033 |8475k| 30 | - | 210 |1165 | 419 | 0 | 0 | 5 |1023k| 35 | 5.749536e+01 | -- | Inf
1167.78/1168.17 c 1072s| 2680k| 16 | 1033 |8474k| 30 | - | 210 |1156 | 516 | 0 | 0 | 5 |1025k| 35 | 5.749536e+01 | -- | Inf
1171.87/1172.24 c 1076s| 2690k| 13 | 1033 |8483k| 30 | - | 210 |1170 | 262 | 0 | 0 | 5 |1029k| 35 | 5.749536e+01 | -- | Inf
1175.78/1176.18 c 1079s| 2700k| 14 | 1033 |8489k| 30 | - | 210 |1197 | 374 | 0 | 0 | 5 |1034k| 35 | 5.749536e+01 | -- | Inf
1179.97/1180.32 c 1083s| 2710k| 14 | 1033 |8487k| 30 | - | 210 |1198 | 475 | 0 | 0 | 5 |1038k| 35 | 5.749536e+01 | -- | Inf
1183.97/1184.31 c 1087s| 2720k| 17 | 1033 |8508k| 30 | - | 210 |1279 | 406 | 0 | 0 | 5 |1043k| 35 | 5.749536e+01 | -- | Inf
1188.07/1188.40 c 1091s| 2730k| 11 | 1033 |8503k| 30 | - | 210 |1275 | 472 | 0 | 0 | 5 |1044k| 35 | 5.749536e+01 | -- | Inf
1191.97/1192.35 c 1094s| 2740k| 17 | 1033 |8506k| 30 | - | 210 |1280 | 507 | 0 | 0 | 5 |1049k| 35 | 5.749536e+01 | -- | Inf
1195.97/1196.31 c 1098s| 2750k| 11 | 1033 |8518k| 30 | - | 210 |1315 | 420 | 0 | 0 | 5 |1053k| 35 | 5.749536e+01 | -- | Inf
1199.77/1200.16 c 1101s| 2760k| 19 | 1033 |8457k| 30 | - | 210 |1025 | 377 | 0 | 0 | 5 |1058k| 35 | 5.749536e+01 | -- | Inf
1203.77/1204.18 c 1105s| 2770k| 14 | 1033 |8452k| 30 | - | 210 |1010 | 366 | 0 | 0 | 5 |1059k| 35 | 5.749536e+01 | -- | Inf
1208.06/1208.47 c 1109s| 2780k| 14 | 1033 |8458k| 30 | - | 210 |1026 | 364 | 0 | 0 | 5 |1063k| 35 | 5.749536e+01 | -- | Inf
1211.96/1212.36 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1211.96/1212.36 c 1113s| 2790k| 15 | 1033 |8463k| 30 | - | 210 |1034 | 308 | 0 | 0 | 5 |1065k| 35 | 5.749536e+01 | -- | Inf
1215.87/1216.26 c 1116s| 2800k| 14 | 1033 |8462k| 30 | - | 210 |1044 | 519 | 0 | 0 | 5 |1070k| 35 | 5.749536e+01 | -- | Inf
1219.57/1220.00 c 1120s| 2810k| 13 | 1033 |8455k| 30 | - | 210 |1016 | 305 | 0 | 0 | 5 |1073k| 35 | 5.749536e+01 | -- | Inf
1223.16/1223.54 c 1123s| 2820k| 14 | 1033 |8453k| 30 | - | 210 |1021 | 484 | 0 | 0 | 5 |1074k| 35 | 5.749536e+01 | -- | Inf
1227.06/1227.40 c 1126s| 2830k| 15 | 1033 |8455k| 30 | - | 210 |1017 | 374 | 0 | 0 | 5 |1077k| 35 | 5.749536e+01 | -- | Inf
1230.96/1231.37 c 1130s| 2840k| 13 | 1033 |8460k| 30 | - | 210 |1032 | 386 | 0 | 0 | 5 |1080k| 35 | 5.749536e+01 | -- | Inf
1235.75/1236.10 c 1134s| 2850k| 9 | 1033 |8477k| 30 | - | 210 |1080 | 378 | 0 | 0 | 5 |1085k| 35 | 5.749536e+01 | -- | Inf
1241.26/1241.62 c 1139s| 2860k| 17 | 1033 |8455k| 30 | - | 210 |1022 | 480 | 0 | 0 | 5 |1089k| 35 | 5.749536e+01 | -- | Inf
1245.45/1245.85 c 1143s| 2870k| 12 | 1033 |8447k| 30 | - | 210 |1011 | 675 | 0 | 0 | 5 |1090k| 35 | 5.749536e+01 | -- | Inf
1249.75/1250.13 c 1147s| 2880k| 14 | 1033 |8456k| 30 | - | 210 |1030 | 533 | 0 | 0 | 5 |1094k| 35 | 5.749536e+01 | -- | Inf
1254.25/1254.67 c 1152s| 2890k| 15 | 1033 |8452k| 30 | - | 210 |1019 | 648 | 0 | 0 | 5 |1097k| 35 | 5.749536e+01 | -- | Inf
1259.85/1260.27 c 1157s| 2900k| 9 | 1033 |8450k| 30 | - | 210 |1011 | 552 | 0 | 0 | 5 |1097k| 35 | 5.749536e+01 | -- | Inf
1265.75/1266.12 c 1162s| 2910k| 15 | 1033 |8454k| 30 | - | 210 |1007 | 307 | 0 | 0 | 5 |1098k| 35 | 5.749536e+01 | -- | Inf
1270.34/1270.72 c 1166s| 2920k| 14 | 1033 |8454k| 30 | - | 210 |1027 | 653 | 0 | 0 | 5 |1100k| 35 | 5.749536e+01 | -- | Inf
1274.45/1274.84 c 1170s| 2930k| 12 | 1033 |8460k| 30 | - | 210 |1034 | 520 | 0 | 0 | 5 |1105k| 35 | 5.749536e+01 | -- | Inf
1278.64/1279.01 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1278.64/1279.01 c 1174s| 2940k| 13 | 1033 |8460k| 30 | - | 210 |1032 | 448 | 0 | 0 | 5 |1110k| 35 | 5.749536e+01 | -- | Inf
1283.84/1284.20 c 1179s| 2950k| 8 | 1033 |8472k| 30 | - | 210 |1059 | 329 | 0 | 0 | 5 |1114k| 35 | 5.749536e+01 | -- | Inf
1288.44/1288.86 c 1183s| 2960k| 21 | 1033 |8422k| 30 | - | 210 | 862 | 484 | 0 | 0 | 5 |1119k| 35 | 5.749536e+01 | -- | Inf
1293.84/1294.28 c 1188s| 2970k| 15 | 1033 |8416k| 30 | - | 210 | 842 | 358 | 0 | 0 | 5 |1120k| 35 | 5.749536e+01 | -- | Inf
1299.04/1299.40 c 1192s| 2980k| 20 | 1033 |8413k| 30 | - | 210 | 844 | 567 | 0 | 0 | 5 |1121k| 35 | 5.749536e+01 | -- | Inf
1305.04/1305.42 c 1198s| 2990k| 17 | 1033 |8424k| 30 | - | 210 | 867 | 420 | 0 | 0 | 5 |1122k| 35 | 5.749536e+01 | -- | Inf
1310.23/1310.67 c 1203s| 3000k| 20 | 1033 |8421k| 30 | - | 210 | 855 | 400 | 0 | 0 | 5 |1129k| 35 | 5.749536e+01 | -- | Inf
1315.43/1315.89 c 1208s| 3010k| 17 | 1033 |8427k| 30 | - | 210 | 873 | 434 | 0 | 0 | 5 |1133k| 35 | 5.749536e+01 | -- | Inf
1320.83/1321.21 c 1213s| 3020k| 18 | 1033 |8431k| 30 | - | 210 | 886 | 444 | 0 | 0 | 5 |1137k| 35 | 5.749536e+01 | -- | Inf
1324.93/1325.34 c 1216s| 3030k| 16 | 1033 |8428k| 30 | - | 210 | 881 | 435 | 0 | 0 | 5 |1142k| 35 | 5.749536e+01 | -- | Inf
1329.63/1330.07 c 1221s| 3040k| 19 | 1033 |8431k| 30 | - | 210 | 889 | 483 | 0 | 0 | 5 |1147k| 35 | 5.749536e+01 | -- | Inf
1334.22/1334.64 c 1225s| 3050k| 16 | 1033 |8438k| 30 | - | 210 | 912 | 487 | 0 | 0 | 5 |1153k| 35 | 5.749536e+01 | -- | Inf
1339.13/1339.60 c 1229s| 3060k| 17 | 1033 |8431k| 30 | - | 210 | 886 | 466 | 0 | 0 | 5 |1158k| 35 | 5.749536e+01 | -- | Inf
1343.72/1344.18 c 1234s| 3070k| 13 | 1033 |8437k| 30 | - | 210 | 905 | 417 | 0 | 0 | 5 |1163k| 35 | 5.749536e+01 | -- | Inf
1348.72/1349.15 c 1238s| 3080k| 17 | 1033 |8428k| 30 | - | 210 | 874 | 436 | 0 | 0 | 5 |1167k| 35 | 5.749536e+01 | -- | Inf
1354.02/1354.42 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1354.02/1354.42 c 1243s| 3090k| 14 | 1033 |8435k| 30 | - | 210 | 896 | 423 | 0 | 0 | 5 |1171k| 35 | 5.749536e+01 | -- | Inf
1358.52/1358.98 c 1247s| 3100k| 17 | 1033 |8427k| 30 | - | 210 | 884 | 635 | 0 | 0 | 5 |1175k| 35 | 5.749536e+01 | -- | Inf
1362.92/1363.31 c 1251s| 3110k| 15 | 1033 |8434k| 30 | - | 210 | 884 | 250 | 0 | 0 | 5 |1181k| 35 | 5.749536e+01 | -- | Inf
1368.32/1368.77 c 1256s| 3120k| 15 | 1033 |8438k| 30 | - | 210 | 904 | 480 | 0 | 0 | 5 |1186k| 35 | 5.749536e+01 | -- | Inf
1373.81/1374.20 c 1261s| 3130k| 13 | 1033 |8442k| 30 | - | 210 | 915 | 431 | 0 | 0 | 5 |1192k| 35 | 5.749536e+01 | -- | Inf
1378.81/1379.26 c 1266s| 3140k| 20 | 1033 |8429k| 30 | - | 210 | 877 | 496 | 0 | 0 | 5 |1198k| 35 | 5.749536e+01 | -- | Inf
1384.01/1384.45 c 1270s| 3150k| 19 | 1033 |8432k| 30 | - | 210 | 891 | 571 | 0 | 0 | 5 |1205k| 35 | 5.749536e+01 | -- | Inf
1388.92/1389.32 c 1275s| 3160k| 15 | 1033 |8443k| 30 | - | 210 | 915 | 396 | 0 | 0 | 5 |1211k| 35 | 5.749536e+01 | -- | Inf
1393.91/1394.37 c 1280s| 3170k| 17 | 1033 |8437k| 30 | - | 210 | 902 | 524 | 0 | 0 | 5 |1217k| 35 | 5.749536e+01 | -- | Inf
1398.61/1399.09 c 1284s| 3180k| 16 | 1033 |8435k| 30 | - | 210 | 897 | 475 | 0 | 0 | 5 |1223k| 35 | 5.749536e+01 | -- | Inf
1403.41/1403.88 c 1288s| 3190k| 15 | 1033 |8440k| 30 | - | 210 | 919 | 618 | 0 | 0 | 5 |1230k| 35 | 5.749536e+01 | -- | Inf
1408.01/1408.44 c 1292s| 3200k| 15 | 1033 |8449k| 30 | - | 210 | 944 | 261 | 0 | 0 | 5 |1237k| 35 | 5.749536e+01 | -- | Inf
1412.90/1413.39 c 1297s| 3210k| 17 | 1033 |8427k| 30 | - | 210 | 881 | 492 | 0 | 0 | 5 |1243k| 35 | 5.749536e+01 | -- | Inf
1416.80/1417.21 c 1300s| 3220k| 17 | 1033 |8430k| 30 | - | 210 | 883 | 536 | 0 | 0 | 5 |1247k| 35 | 5.749536e+01 | -- | Inf
1420.50/1420.94 c 1304s| 3230k| 14 | 1033 |8427k| 30 | - | 210 | 880 | 671 | 0 | 0 | 5 |1252k| 35 | 5.749536e+01 | -- | Inf
1424.10/1424.55 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1424.10/1424.55 c 1307s| 3240k| 20 | 1033 |8427k| 30 | - | 210 | 860 | 379 | 0 | 0 | 5 |1255k| 35 | 5.749536e+01 | -- | Inf
1428.50/1428.91 c 1311s| 3250k| 17 | 1033 |8451k| 30 | - | 210 | 950 | 383 | 0 | 0 | 5 |1259k| 35 | 5.749536e+01 | -- | Inf
1433.20/1433.68 c 1316s| 3260k| 17 | 1033 |8436k| 30 | - | 210 | 874 | 245 | 0 | 0 | 5 |1262k| 35 | 5.749536e+01 | -- | Inf
1437.10/1437.52 c 1319s| 3270k| 15 | 1033 |8441k| 30 | - | 210 | 884 | 388 | 0 | 0 | 5 |1267k| 35 | 5.749536e+01 | -- | Inf
1440.89/1441.32 c 1323s| 3280k| 16 | 1033 |8442k| 30 | - | 210 | 881 | 454 | 0 | 0 | 5 |1271k| 35 | 5.749536e+01 | -- | Inf
1444.69/1445.19 c 1326s| 3290k| 15 | 1033 |8657k| 30 | - | 210 |1793 | 547 | 0 | 0 | 5 |1276k| 35 | 5.749536e+01 | -- | Inf
1448.89/1449.31 c 1330s| 3300k| 15 | 1033 |8495k| 30 | - | 210 | 922 | 413 | 0 | 0 | 5 |1280k| 35 | 5.749536e+01 | -- | Inf
1452.60/1453.01 c 1333s| 3310k| 14 | 1033 |8492k| 30 | - | 210 | 882 | 213 | 0 | 0 | 5 |1286k| 35 | 5.749536e+01 | -- | Inf
1456.69/1457.13 c 1337s| 3320k| 18 | 1033 |8481k| 30 | - | 210 | 860 | 499 | 0 | 0 | 5 |1290k| 35 | 5.749536e+01 | -- | Inf
1460.59/1461.01 c 1341s| 3330k| 14 | 1033 |8491k| 30 | - | 210 | 891 | 453 | 0 | 0 | 5 |1295k| 35 | 5.749536e+01 | -- | Inf
1465.39/1465.80 c 1345s| 3340k| 13 | 1033 |8487k| 30 | - | 210 | 864 | 275 | 0 | 0 | 5 |1296k| 35 | 5.749536e+01 | -- | Inf
1469.09/1469.60 c 1349s| 3350k| 18 | 1033 |8501k| 30 | - | 210 | 891 | 307 | 0 | 0 | 5 |1300k| 35 | 5.749536e+01 | -- | Inf
1473.08/1473.59 c 1352s| 3360k| 18 | 1033 |8497k| 30 | - | 210 | 894 | 555 | 0 | 0 | 5 |1304k| 35 | 5.749536e+01 | -- | Inf
1477.29/1477.70 c 1356s| 3370k| 17 | 1033 |8510k| 30 | - | 210 | 945 | 421 | 0 | 0 | 5 |1308k| 35 | 5.749536e+01 | -- | Inf
1480.98/1481.49 c 1360s| 3380k| 14 | 1033 |8508k| 30 | - | 210 | 902 | 378 | 0 | 0 | 5 |1313k| 35 | 5.749536e+01 | -- | Inf
1485.18/1485.65 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1485.18/1485.65 c 1363s| 3390k| 14 | 1033 |8504k| 30 | - | 210 | 884 | 456 | 0 | 0 | 5 |1316k| 35 | 5.749536e+01 | -- | Inf
1489.08/1489.60 c 1367s| 3400k| 12 | 1033 |8501k| 30 | - | 210 | 880 | 512 | 0 | 0 | 5 |1320k| 35 | 5.749536e+01 | -- | Inf
1492.87/1493.38 c 1370s| 3410k| 15 | 1033 |8589k| 30 | - | 210 |1294 | 364 | 0 | 0 | 5 |1325k| 35 | 5.749536e+01 | -- | Inf
1497.28/1497.72 c 1374s| 3420k| 11 | 1033 |8510k| 30 | - | 210 | 902 | 458 | 0 | 0 | 5 |1329k| 35 | 5.749536e+01 | -- | Inf
1501.37/1501.81 c 1378s| 3430k| 14 | 1033 |8504k| 30 | - | 210 | 873 | 204 | 0 | 0 | 5 |1332k| 35 | 5.749536e+01 | -- | Inf
1505.37/1505.83 c 1382s| 3440k| 14 | 1033 |8496k| 30 | - | 210 | 866 | 567 | 0 | 0 | 5 |1335k| 35 | 5.749536e+01 | -- | Inf
1509.07/1509.57 c 1385s| 3450k| 16 | 1033 |8504k| 30 | - | 210 | 868 | 391 | 0 | 0 | 5 |1338k| 35 | 5.749536e+01 | -- | Inf
1513.97/1514.47 c 1390s| 3460k| 19 | 1033 |8501k| 30 | - | 210 | 858 | 433 | 0 | 0 | 5 |1340k| 35 | 5.749536e+01 | -- | Inf
1520.17/1520.63 c 1395s| 3470k| 16 | 1033 |8500k| 30 | - | 210 | 848 | 280 | 0 | 0 | 5 |1342k| 35 | 5.749536e+01 | -- | Inf
1525.47/1525.99 c 1400s| 3480k| 21 | 1033 |8500k| 30 | - | 210 | 853 | 411 | 0 | 0 | 5 |1346k| 35 | 5.749536e+01 | -- | Inf
1529.58/1530.06 c 1404s| 3490k| 15 | 1033 |8502k| 30 | - | 210 | 867 | 473 | 0 | 0 | 5 |1350k| 35 | 5.749536e+01 | -- | Inf
1533.67/1534.13 c 1408s| 3500k| 18 | 1033 |8499k| 30 | - | 210 | 854 | 466 | 0 | 0 | 5 |1352k| 35 | 5.749536e+01 | -- | Inf
1538.06/1538.53 c 1412s| 3510k| 14 | 1033 |8510k| 30 | - | 210 | 894 | 568 | 0 | 0 | 5 |1357k| 35 | 5.749536e+01 | -- | Inf
1542.56/1543.08 c 1416s| 3520k| 20 | 1033 |8505k| 30 | - | 210 | 863 | 321 | 0 | 0 | 5 |1360k| 35 | 5.749536e+01 | -- | Inf
1547.66/1548.15 c 1421s| 3530k| 13 | 1033 |8500k| 30 | - | 210 | 851 | 422 | 0 | 0 | 5 |1362k| 35 | 5.749536e+01 | -- | Inf
1553.16/1553.64 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1553.16/1553.64 c 1426s| 3540k| 15 | 1033 |8494k| 30 | - | 210 | 847 | 682 | 0 | 0 | 5 |1363k| 35 | 5.749536e+01 | -- | Inf
1557.36/1557.84 c 1430s| 3550k| 16 | 1033 |8505k| 30 | - | 210 | 857 | 648 | 0 | 0 | 5 |1367k| 35 | 5.749536e+01 | -- | Inf
1562.25/1562.76 c 1434s| 3560k| 13 | 1033 |8505k| 30 | - | 210 | 863 | 694 | 0 | 0 | 5 |1369k| 35 | 5.749536e+01 | -- | Inf
1566.36/1566.84 c 1438s| 3570k| 14 | 1033 |8511k| 30 | - | 210 | 861 | 367 | 0 | 0 | 5 |1373k| 35 | 5.749536e+01 | -- | Inf
1570.96/1571.46 c 1442s| 3580k| 13 | 1033 |8509k| 30 | - | 210 | 868 | 595 | 0 | 0 | 5 |1375k| 35 | 5.749536e+01 | -- | Inf
1575.36/1575.82 c 1446s| 3590k| 15 | 1033 |8512k| 30 | - | 210 | 854 | 237 | 0 | 0 | 5 |1379k| 35 | 5.749536e+01 | -- | Inf
1579.86/1580.31 c 1450s| 3600k| 19 | 1033 |8508k| 30 | - | 210 | 848 | 614 | 0 | 0 | 5 |1381k| 35 | 5.749536e+01 | -- | Inf
1584.26/1584.70 c 1454s| 3610k| 12 | 1033 |8508k| 30 | - | 210 | 858 | 661 | 0 | 0 | 5 |1385k| 35 | 5.749536e+01 | -- | Inf
1588.75/1589.25 c 1458s| 3620k| 19 | 1033 |8514k| 30 | - | 210 | 860 | 414 | 0 | 0 | 5 |1389k| 35 | 5.749536e+01 | -- | Inf
1593.36/1593.84 c 1463s| 3630k| 13 | 1033 |8516k| 30 | - | 210 | 858 | 268 | 0 | 0 | 5 |1394k| 35 | 5.749536e+01 | -- | Inf
1597.95/1598.41 c 1467s| 3640k| 12 | 1033 |8507k| 30 | - | 210 | 853 | 612 | 0 | 0 | 5 |1397k| 35 | 5.749536e+01 | -- | Inf
1601.84/1602.37 c 1471s| 3650k| 18 | 1033 |8513k| 30 | - | 210 | 861 | 586 | 0 | 0 | 5 |1402k| 35 | 5.749536e+01 | -- | Inf
1606.55/1607.05 c 1475s| 3660k| 15 | 1033 |8511k| 30 | - | 210 | 859 | 587 | 0 | 0 | 5 |1406k| 35 | 5.749536e+01 | -- | Inf
1611.24/1611.72 c 1479s| 3670k| 13 | 1033 |8520k| 30 | - | 210 | 886 | 495 | 0 | 0 | 5 |1409k| 35 | 5.749536e+01 | -- | Inf
1615.35/1615.81 c 1483s| 3680k| 13 | 1033 |8514k| 30 | - | 210 | 873 | 668 | 0 | 0 | 5 |1414k| 35 | 5.749536e+01 | -- | Inf
1619.65/1620.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1619.65/1620.14 c 1487s| 3690k| 11 | 1033 |8515k| 30 | - | 210 | 860 | 376 | 0 | 0 | 5 |1417k| 35 | 5.749536e+01 | -- | Inf
1624.04/1624.52 c 1491s| 3700k| 13 | 1033 |8514k| 30 | - | 210 | 860 | 419 | 0 | 0 | 5 |1420k| 35 | 5.749536e+01 | -- | Inf
1629.04/1629.52 c 1496s| 3710k| 18 | 1033 |8516k| 30 | - | 210 | 872 | 544 | 0 | 0 | 5 |1424k| 35 | 5.749536e+01 | -- | Inf
1633.34/1633.83 c 1500s| 3720k| 16 | 1033 |8525k| 30 | - | 210 | 884 | 394 | 0 | 0 | 5 |1429k| 35 | 5.749536e+01 | -- | Inf
1637.74/1638.25 c 1504s| 3730k| 16 | 1033 |8513k| 30 | - | 210 | 854 | 445 | 0 | 0 | 5 |1433k| 35 | 5.749536e+01 | -- | Inf
1642.04/1642.57 c 1508s| 3740k| 11 | 1033 |8519k| 30 | - | 210 | 865 | 219 | 0 | 0 | 5 |1437k| 35 | 5.749536e+01 | -- | Inf
1646.54/1647.06 c 1512s| 3750k| 13 | 1033 |8525k| 30 | - | 210 | 880 | 210 | 0 | 0 | 5 |1441k| 35 | 5.749536e+01 | -- | Inf
1651.03/1651.51 c 1516s| 3760k| 18 | 1033 |8515k| 30 | - | 210 | 863 | 554 | 0 | 0 | 5 |1445k| 35 | 5.749536e+01 | -- | Inf
1655.23/1655.75 c 1520s| 3770k| 15 | 1033 |8517k| 30 | - | 210 | 870 | 561 | 0 | 0 | 5 |1450k| 35 | 5.749536e+01 | -- | Inf
1659.62/1660.12 c 1524s| 3780k| 15 | 1033 |8521k| 30 | - | 210 | 874 | 384 | 0 | 0 | 5 |1457k| 35 | 5.749536e+01 | -- | Inf
1664.13/1664.63 c 1528s| 3790k| 13 | 1033 |8522k| 30 | - | 210 | 884 | 531 | 0 | 0 | 5 |1461k| 35 | 5.749536e+01 | -- | Inf
1668.72/1669.21 c 1532s| 3800k| 11 | 1033 |8525k| 30 | - | 210 | 890 | 467 | 0 | 0 | 5 |1466k| 35 | 5.749536e+01 | -- | Inf
1673.83/1674.31 c 1537s| 3810k| 15 | 1033 |8519k| 30 | - | 210 | 874 | 479 | 0 | 0 | 5 |1470k| 35 | 5.749536e+01 | -- | Inf
1678.22/1678.74 c 1541s| 3820k| 18 | 1033 |8518k| 30 | - | 210 | 870 | 511 | 0 | 0 | 5 |1474k| 35 | 5.749536e+01 | -- | Inf
1682.72/1683.25 c 1545s| 3830k| 16 | 1033 |8528k| 30 | - | 210 | 895 | 451 | 0 | 0 | 5 |1478k| 35 | 5.749536e+01 | -- | Inf
1686.93/1687.40 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1686.93/1687.40 c 1549s| 3840k| 12 | 1033 |8523k| 30 | - | 210 | 890 | 562 | 0 | 0 | 5 |1484k| 35 | 5.749536e+01 | -- | Inf
1691.23/1691.72 c 1553s| 3850k| 17 | 1033 |8519k| 30 | - | 210 | 864 | 431 | 0 | 0 | 5 |1485k| 35 | 5.749536e+01 | -- | Inf
1695.22/1695.71 c 1556s| 3860k| 14 | 1033 |8529k| 30 | - | 210 | 896 | 326 | 0 | 0 | 5 |1488k| 35 | 5.749536e+01 | -- | Inf
1699.61/1700.18 c 1561s| 3870k| 11 | 1033 |8521k| 30 | - | 210 | 884 | 555 | 0 | 0 | 5 |1491k| 35 | 5.749536e+01 | -- | Inf
1704.82/1705.40 c 1565s| 3880k| 18 | 1033 |8520k| 30 | - | 210 | 874 | 538 | 0 | 0 | 5 |1494k| 35 | 5.749536e+01 | -- | Inf
1709.42/1709.92 c 1569s| 3890k| 14 | 1033 |8525k| 30 | - | 210 | 874 | 269 | 0 | 0 | 5 |1499k| 35 | 5.749536e+01 | -- | Inf
1713.81/1714.31 c 1574s| 3900k| 10 | 1033 |8525k| 30 | - | 210 | 875 | 223 | 0 | 0 | 5 |1503k| 35 | 5.749536e+01 | -- | Inf
1719.51/1720.03 c 1579s| 3910k| 20 | 1033 |8513k| 30 | - | 210 | 855 | 653 | 0 | 0 | 5 |1506k| 35 | 5.749536e+01 | -- | Inf
1726.91/1727.41 c 1585s| 3920k| 14 | 1033 |8518k| 30 | - | 210 | 852 | 268 | 0 | 0 | 5 |1507k| 35 | 5.749536e+01 | -- | Inf
1734.01/1734.58 c 1592s| 3930k| 14 | 1033 |8515k| 30 | - | 210 | 847 | 331 | 0 | 0 | 5 |1508k| 35 | 5.749536e+01 | -- | Inf
1741.81/1742.40 c 1599s| 3940k| 12 | 1033 |8514k| 30 | - | 210 | 847 | 341 | 0 | 0 | 5 |1508k| 35 | 5.749536e+01 | -- | Inf
1748.50/1749.09 c 1605s| 3950k| 20 | 1033 |8517k| 30 | - | 210 | 856 | 460 | 0 | 0 | 5 |1509k| 35 | 5.749536e+01 | -- | Inf
1754.20/1754.79 c 1610s| 3960k| 17 | 1033 |8516k| 30 | - | 210 | 869 | 586 | 0 | 0 | 5 |1511k| 35 | 5.749536e+01 | -- | Inf
1760.70/1761.22 c 1616s| 3970k| 16 | 1033 |8515k| 30 | - | 210 | 853 | 457 | 0 | 0 | 5 |1513k| 35 | 5.749536e+01 | -- | Inf
1767.60/1768.18 c 1623s| 3980k| 17 | 1033 |8512k| 30 | - | 210 | 848 | 514 | 0 | 0 | 5 |1513k| 35 | 5.749536e+01 | -- | Inf
1774.09/1774.63 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1774.09/1774.63 c 1629s| 3990k| 13 | 1033 |8520k| 30 | - | 210 | 851 | 335 | 0 | 0 | 5 |1514k| 35 | 5.749536e+01 | -- | Inf
1780.69/1781.28 c 1635s| 4000k| 13 | 1033 |8520k| 30 | - | 210 | 850 | 303 | 0 | 0 | 5 |1515k| 35 | 5.749536e+01 | -- | Inf
1787.79/1788.35 c 1641s| 4010k| 15 | 1033 |8513k| 30 | - | 210 | 850 | 644 | 0 | 0 | 5 |1515k| 35 | 5.749536e+01 | -- | Inf
1794.79/1795.40 c 1648s| 4020k| 13 | 1033 |8520k| 30 | - | 210 | 852 | 330 | 0 | 0 | 5 |1516k| 35 | 5.749536e+01 | -- | Inf
1800.10/1800.61 c
1800.10/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.61 c Solving Time (sec) : 1652.43
1800.10/1800.61 c Solving Nodes : 4029109
1800.10/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.10/1800.61 c Dual Bound : +5.74953563329157e+01
1800.10/1800.61 c Gap : infinite
1800.10/1800.61 c NODE 4029109
1800.10/1800.61 c DUAL BOUND 57.4954
1800.10/1800.61 c PRIMAL BOUND 1e+20
1800.10/1800.61 c GAP 1e+20
1800.10/1800.61 s UNKNOWN
1800.10/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.61 c Solving Time : 1652.43
1800.10/1800.61 c Original Problem :
1800.10/1800.61 c Problem name : HOME/instance-1884187-1245255913.opb
1800.10/1800.61 c Variables : 210 (210 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.61 c Constraints : 840 initial, 840 maximal
1800.10/1800.61 c Presolved Problem :
1800.10/1800.61 c Problem name : t_HOME/instance-1884187-1245255913.opb
1800.10/1800.61 c Variables : 210 (210 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.61 c Constraints : 840 initial, 1949 maximal
1800.10/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.10/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.10/1800.61 c root node : - 0 - - 0 - - - -
1800.10/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.10/1800.61 c integral : 0 0 0 1 0 0 0 0 0 2
1800.10/1800.61 c logicor : 840+ 5 47476127 0 0 2329805 125070468 0 0 0
1800.10/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.10/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.10/1800.61 c integral : 3.30 0.00 0.00 3.30 0.00
1800.10/1800.61 c logicor : 557.29 0.00 557.29 0.00 0.00
1800.10/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.10/1800.61 c rootredcost : 14.40 0 0 0
1800.10/1800.61 c pseudoobj : 580.21 48111585 0 0
1800.10/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.61 c propagation : 151.29 2329805 1248349 1248349 20.9 272611 9.3 -
1800.10/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.10/1800.61 c applied globally : - - - 1518557 18.8 - - -
1800.10/1800.61 c applied locally : - - - 0 0.0 - - -
1800.10/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.10/1800.61 c cut pool : 0.00 4 - - 278 - (maximal pool size: 1339)
1800.10/1800.61 c redcost : 0.00 5 0 0 0 0
1800.10/1800.61 c impliedbounds : 0.00 5 0 0 0 0
1800.10/1800.61 c intobj : 0.00 0 0 0 0 0
1800.10/1800.61 c gomory : 0.53 5 0 0 0 0
1800.10/1800.61 c strongcg : 0.48 5 0 0 2500 0
1800.10/1800.61 c cmir : 0.00 0 0 0 0 0
1800.10/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.10/1800.61 c clique : 0.00 1 0 0 0 0
1800.10/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.10/1800.61 c mcf : 0.01 1 0 0 0 0
1800.10/1800.61 c Pricers : Time Calls Vars
1800.10/1800.61 c problem variables: 0.00 0 0
1800.10/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.10/1800.61 c relpscost : 3.30 1 0 0 0 0 2
1800.10/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.10/1800.61 c inference : 69.12 2351267 0 0 0 0 4702534
1800.10/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.10/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.10/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.61 c random : 0.00 0 0 0 0 0 0
1800.10/1800.61 c Primal Heuristics : Time Calls Found
1800.10/1800.61 c LP solutions : 0.00 - 0
1800.10/1800.61 c pseudo solutions : 0.00 - 0
1800.10/1800.61 c simplerounding : 0.00 0 0
1800.10/1800.61 c rounding : 0.00 0 0
1800.10/1800.61 c shifting : 0.00 0 0
1800.10/1800.61 c intshifting : 0.00 0 0
1800.10/1800.61 c oneopt : 0.00 0 0
1800.10/1800.61 c fixandinfer : 0.00 0 0
1800.10/1800.61 c feaspump : 0.00 0 0
1800.10/1800.61 c coefdiving : 0.00 0 0
1800.10/1800.61 c pscostdiving : 0.00 0 0
1800.10/1800.61 c fracdiving : 0.00 0 0
1800.10/1800.61 c veclendiving : 0.00 0 0
1800.10/1800.61 c intdiving : 0.00 0 0
1800.10/1800.61 c actconsdiving : 0.00 0 0
1800.10/1800.61 c objpscostdiving : 0.00 0 0
1800.10/1800.61 c rootsoldiving : 0.00 0 0
1800.10/1800.61 c linesearchdiving : 0.00 0 0
1800.10/1800.61 c guideddiving : 0.00 0 0
1800.10/1800.61 c octane : 0.00 0 0
1800.10/1800.61 c rens : 0.00 0 0
1800.10/1800.61 c rins : 0.00 0 0
1800.10/1800.61 c localbranching : 0.00 0 0
1800.10/1800.61 c mutation : 0.00 0 0
1800.10/1800.61 c crossover : 0.00 0 0
1800.10/1800.61 c dins : 0.00 0 0
1800.10/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.10/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.10/1800.61 c dual LP : 0.18 6 1033 172.17 5738.89
1800.10/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.10/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.10/1800.61 c strong branching : 3.30 35 9947 284.20 3014.24
1800.10/1800.61 c (at root node) : - 35 9947 284.20 -
1800.10/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.10/1800.61 c B&B Tree :
1800.10/1800.61 c number of runs : 1
1800.10/1800.61 c nodes : 4029109
1800.10/1800.61 c nodes (total) : 4029109
1800.10/1800.61 c nodes left : 11
1800.10/1800.61 c max depth : 30
1800.10/1800.61 c max depth (total): 30
1800.10/1800.61 c backtracks : 1172131 (29.1%)
1800.10/1800.61 c delayed cutoffs : 673417
1800.10/1800.61 c repropagations : 1336549 (28420536 domain reductions, 651964 cutoffs)
1800.10/1800.61 c avg switch length: 2.12
1800.10/1800.61 c switching time : 188.78
1800.10/1800.61 c Solution :
1800.10/1800.61 c Solutions found : 0 (0 improvements)
1800.10/1800.61 c Primal Bound : -
1800.10/1800.61 c Dual Bound : +5.74953563329157e+01
1800.10/1800.61 c Gap : infinite
1800.10/1800.61 c Root Dual Bound : +5.69942324391302e+01
1800.10/1800.62 c Time complete: 1800.11.