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-1884177-1245255474.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.05 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.00/0.06 c presolving (2 rounds):
0.00/0.06 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 0 implications, 0 cliques
0.00/0.06 c presolved problem has 220 variables (220 bin, 0 int, 0 impl, 0 cont) and 880 constraints
0.00/0.06 c 880 constraints of type <logicor>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.04
0.00/0.06 c PURESAT
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c separating/flowcover/freq = c -1
0.00/0.06 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c separating/cmir/freq = c -1
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/veclendiving/maxlpiterofs = c 1500
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.00/0.06 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/veclendiving/freq = c -1
0.00/0.06 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/simplerounding/freq = c -1
0.00/0.06 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/shifting/freq = c -1
0.00/0.06 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/rounding/freq = c -1
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.06 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.00/0.06 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.06 c heuristics/rootsoldiving/freq = c -1
0.00/0.06 c # number of nodes added to the contingent of the total nodes
0.00/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.06 c heuristics/rens/nodesofs = c 2000
0.00/0.06 c # minimum percentage of integer variables that have to be fixable
0.00/0.06 c # [type: real, range: [0,1], default: 0.5]
0.00/0.06 c heuristics/rens/minfixingrate = c 0.3
0.00/0.06 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/rens/freq = c -1
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.00/0.06 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/pscostdiving/freq = c -1
0.00/0.06 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/oneopt/freq = c -1
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.00/0.06 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.06 c # [type: real, range: [0,1], default: 0.01]
0.00/0.06 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.00/0.06 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.06 c heuristics/objpscostdiving/freq = c -1
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.00/0.06 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/linesearchdiving/freq = c -1
0.00/0.06 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/intshifting/freq = c -1
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/intdiving/maxlpiterquot = c 0.075
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/guideddiving/maxlpiterofs = c 1500
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.00/0.06 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/guideddiving/freq = c -1
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/fracdiving/maxlpiterofs = c 1500
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.00/0.06 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/fracdiving/freq = c -1
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/feaspump/maxlpiterofs = c 2000
0.00/0.06 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.06 c heuristics/feaspump/freq = c -1
0.00/0.06 c # minimum percentage of integer variables that have to be fixed
0.00/0.06 c # [type: real, range: [0,1], default: 0.666]
0.00/0.06 c heuristics/crossover/minfixingrate = c 0.5
0.00/0.06 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.06 c # [type: real, range: [0,1], default: 0.1]
0.00/0.06 c heuristics/crossover/nodesquot = c 0.15
0.00/0.06 c # number of nodes without incumbent change that heuristic should wait
0.00/0.06 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.06 c heuristics/crossover/nwaitingnodes = c 100
0.00/0.06 c # number of nodes added to the contingent of the total nodes
0.00/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.06 c heuristics/crossover/nodesofs = c 750
0.00/0.06 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.06 c heuristics/crossover/freq = c -1
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/coefdiving/maxlpiterofs = c 1500
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.00/0.06 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/coefdiving/freq = c -1
0.00/0.06 c # priority of node selection rule <dfs> in standard mode
0.00/0.06 c # [type: int, range: [-536870912,536870911], default: 0]
0.00/0.06 c nodeselection/dfs/stdpriority = c 1000000
0.00/0.06 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c presolving/probing/maxrounds = c 0
0.00/0.06 c # should presolving try to simplify knapsacks
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/knapsack/simplifyinequalities = c TRUE
0.00/0.06 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.06 c constraints/knapsack/disaggregation = c FALSE
0.00/0.06 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c constraints/knapsack/maxnumcardlift = c 0
0.00/0.06 c # should presolving try to simplify inequalities
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/linear/simplifyinequalities = c TRUE
0.00/0.06 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/maxroundsroot = c 5
0.00/0.06 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.06 c separating/maxrounds = c 1
0.00/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.00/0.06 c # [type: char, range: {lafpsqd}, default: l]
0.00/0.06 c lp/pricing = c a
0.00/0.06 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c lp/solvefreq = c 0
0.00/0.06 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c limits/solutions = c 1
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/memory = c 1620
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/time = c 1791
0.00/0.06 c # frequency for displaying node information lines
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.06 c display/freq = c 10000
0.00/0.06 c # should enforcement of pseudo solution be disabled?
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/disableenfops = c TRUE
0.00/0.06 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c constraints/agelimit = c 1
0.00/0.06 c # should binary conflicts be preferred?
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c conflict/preferbinary = c TRUE
0.00/0.06 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c conflict/interconss = c 0
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving problem
0.00/0.06 c
0.19/0.21 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.21 c 0.2s| 1 | 0 | 999 |1541k| 0 | 195 | 220 | 880 | 880 | 220 | 880 | 0 | 0 | 0 | 5.845872e+01 | -- | Inf
0.39/0.42 c 0.4s| 1 | 0 | 1048 |2996k| 0 | 192 | 220 | 880 | 880 | 220 | 881 | 1 | 0 | 0 | 5.856602e+01 | -- | Inf
0.59/0.63 c 0.6s| 1 | 0 | 1104 |4353k| 0 | 197 | 220 | 880 | 880 | 220 | 882 | 2 | 0 | 0 | 5.860568e+01 | -- | Inf
0.79/0.86 c 0.8s| 1 | 0 | 1168 |5761k| 0 | 195 | 220 | 880 | 880 | 220 | 883 | 3 | 0 | 0 | 5.862236e+01 | -- | Inf
0.99/1.08 c 1.0s| 1 | 0 | 1208 |7153k| 0 | 202 | 220 | 880 | 880 | 220 | 884 | 4 | 0 | 0 | 5.862990e+01 | -- | Inf
1.29/1.33 c 1.3s| 1 | 0 | 1245 |8611k| 0 | 202 | 220 | 880 | 880 | 220 | 885 | 5 | 0 | 0 | 5.863375e+01 | -- | Inf
2.99/3.00 c 2.9s| 1 | 2 | 1245 |8612k| 0 | 202 | 220 | 880 | 880 | 220 | 885 | 5 | 0 | 18 | 5.863375e+01 | -- | Inf
7.19/7.29 c 6.9s| 10000 | 21 | 1245 |8775k| 35 | - | 220 | 912 | 591 | 0 | 0 | 5 |7002 | 18 | 5.908423e+01 | -- | Inf
11.69/11.71 c 11.0s| 20000 | 21 | 1245 |8781k| 35 | - | 220 | 914 | 474 | 0 | 0 | 5 | 13k| 18 | 5.908423e+01 | -- | Inf
15.39/15.45 c 14.4s| 30000 | 18 | 1245 |8781k| 35 | - | 220 | 918 | 557 | 0 | 0 | 5 | 20k| 18 | 5.908423e+01 | -- | Inf
19.69/19.73 c 18.3s| 40000 | 22 | 1245 |8781k| 35 | - | 220 | 913 | 645 | 0 | 0 | 5 | 27k| 18 | 5.908423e+01 | -- | Inf
24.28/24.32 c 22.6s| 50000 | 20 | 1245 |8789k| 35 | - | 220 | 930 | 590 | 0 | 0 | 5 | 34k| 18 | 5.908423e+01 | -- | Inf
27.98/28.07 c 26.0s| 60000 | 17 | 1245 |8790k| 35 | - | 220 | 938 | 667 | 0 | 0 | 5 | 41k| 18 | 5.908423e+01 | -- | Inf
31.98/32.10 c 29.7s| 70000 | 17 | 1245 |8798k| 35 | - | 220 | 941 | 459 | 0 | 0 | 5 | 48k| 18 | 5.908423e+01 | -- | Inf
36.28/36.37 c 33.7s| 80000 | 19 | 1245 |8799k| 35 | - | 220 | 943 | 499 | 0 | 0 | 5 | 55k| 18 | 5.908423e+01 | -- | Inf
40.58/40.61 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.58/40.61 c 37.6s| 90000 | 17 | 1245 |8804k| 35 | - | 220 | 930 | 468 | 0 | 0 | 5 | 63k| 18 | 5.908423e+01 | -- | Inf
45.07/45.14 c 41.8s|100000 | 20 | 1245 |8803k| 35 | - | 220 | 924 | 418 | 0 | 0 | 5 | 70k| 18 | 5.908423e+01 | -- | Inf
49.48/49.59 c 45.8s|110000 | 19 | 1245 |8800k| 35 | - | 220 | 921 | 487 | 0 | 0 | 5 | 77k| 18 | 5.908423e+01 | -- | Inf
53.98/54.04 c 49.9s|120000 | 17 | 1245 |8813k| 35 | - | 220 | 932 | 366 | 0 | 0 | 5 | 84k| 18 | 5.908423e+01 | -- | Inf
58.57/58.68 c 54.2s|130000 | 18 | 1245 |8817k| 35 | - | 220 | 971 | 617 | 0 | 0 | 5 | 91k| 18 | 5.908423e+01 | -- | Inf
63.17/63.26 c 58.4s|140000 | 17 | 1245 |8823k| 35 | - | 220 | 983 | 507 | 0 | 0 | 5 | 97k| 18 | 5.908423e+01 | -- | Inf
68.26/68.33 c 63.0s|150000 | 18 | 1245 |8811k| 35 | - | 220 | 925 | 378 | 0 | 0 | 5 | 104k| 18 | 5.908423e+01 | -- | Inf
73.67/73.77 c 68.0s|160000 | 19 | 1245 |8815k| 35 | - | 220 | 933 | 422 | 0 | 0 | 5 | 108k| 18 | 5.908423e+01 | -- | Inf
78.86/78.99 c 72.8s|170000 | 19 | 1245 |8803k| 35 | - | 220 | 912 | 641 | 0 | 0 | 5 | 114k| 18 | 5.908423e+01 | -- | Inf
83.57/83.67 c 77.1s|180000 | 17 | 1245 |8810k| 35 | - | 220 | 914 | 320 | 0 | 0 | 5 | 121k| 18 | 5.908423e+01 | -- | Inf
88.76/88.80 c 81.8s|190000 | 19 | 1245 |8807k| 35 | - | 220 | 909 | 422 | 0 | 0 | 5 | 127k| 18 | 5.908423e+01 | -- | Inf
94.16/94.28 c 86.9s|200000 | 16 | 1245 |8824k| 35 | - | 220 | 947 | 342 | 0 | 0 | 5 | 132k| 18 | 5.908423e+01 | -- | Inf
99.66/99.71 c 91.8s|210000 | 15 | 1245 |8817k| 35 | - | 220 | 941 | 526 | 0 | 0 | 5 | 137k| 18 | 5.908423e+01 | -- | Inf
105.06/105.11 c 96.8s|220000 | 20 | 1245 |8815k| 35 | - | 220 | 933 | 580 | 0 | 0 | 5 | 143k| 18 | 5.908423e+01 | -- | Inf
110.85/110.94 c 102s|230000 | 18 | 1245 |8820k| 35 | - | 220 | 947 | 567 | 0 | 0 | 5 | 148k| 18 | 5.908423e+01 | -- | Inf
116.05/116.17 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
116.05/116.17 c 107s|240000 | 17 | 1245 |8816k| 35 | - | 220 | 931 | 311 | 0 | 0 | 5 | 154k| 18 | 5.908423e+01 | -- | Inf
120.75/120.82 c 111s|250000 | 18 | 1245 |8804k| 35 | - | 220 | 905 | 770 | 0 | 0 | 5 | 160k| 18 | 5.908423e+01 | -- | Inf
125.55/125.63 c 116s|260000 | 23 | 1245 |8817k| 35 | - | 220 | 912 | 433 | 0 | 0 | 5 | 167k| 18 | 5.908423e+01 | -- | Inf
130.65/130.75 c 120s|270000 | 24 | 1245 |8813k| 35 | - | 220 | 912 | 647 | 0 | 0 | 5 | 171k| 18 | 5.908423e+01 | -- | Inf
135.85/135.92 c 125s|280000 | 16 | 1245 |8827k| 35 | - | 220 | 940 | 319 | 0 | 0 | 5 | 176k| 18 | 5.908423e+01 | -- | Inf
141.04/141.13 c 130s|290000 | 15 | 1245 |8815k| 35 | - | 220 | 905 | 321 | 0 | 0 | 5 | 181k| 18 | 5.908423e+01 | -- | Inf
146.35/146.45 c 135s|300000 | 17 | 1245 |8817k| 35 | - | 220 | 908 | 311 | 0 | 0 | 5 | 185k| 18 | 5.908423e+01 | -- | Inf
152.14/152.20 c 140s|310000 | 19 | 1245 |8818k| 35 | - | 220 | 907 | 349 | 0 | 0 | 5 | 190k| 18 | 5.908423e+01 | -- | Inf
157.94/158.03 c 145s|320000 | 19 | 1245 |8820k| 35 | - | 220 | 913 | 381 | 0 | 0 | 5 | 195k| 18 | 5.908423e+01 | -- | Inf
164.14/164.20 c 151s|330000 | 16 | 1245 |8820k| 35 | - | 220 | 917 | 458 | 0 | 0 | 5 | 201k| 18 | 5.908423e+01 | -- | Inf
169.84/169.93 c 156s|340000 | 21 | 1245 |8819k| 35 | - | 220 | 916 | 586 | 0 | 0 | 5 | 206k| 18 | 5.908423e+01 | -- | Inf
174.54/174.65 c 161s|350000 | 18 | 1245 |8815k| 35 | - | 220 | 902 | 514 | 0 | 0 | 5 | 210k| 18 | 5.908423e+01 | -- | Inf
179.74/179.86 c 165s|360000 | 18 | 1245 |8823k| 35 | - | 220 | 920 | 449 | 0 | 0 | 5 | 215k| 18 | 5.908423e+01 | -- | Inf
185.44/185.52 c 171s|370000 | 19 | 1245 |8819k| 35 | - | 220 | 915 | 603 | 0 | 0 | 5 | 220k| 18 | 5.908423e+01 | -- | Inf
190.63/190.75 c 176s|380000 | 16 | 1245 |8828k| 35 | - | 220 | 931 | 460 | 0 | 0 | 5 | 226k| 18 | 5.908423e+01 | -- | Inf
195.93/196.04 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
195.93/196.04 c 180s|390000 | 20 | 1245 |8819k| 35 | - | 220 | 906 | 461 | 0 | 0 | 5 | 231k| 18 | 5.908423e+01 | -- | Inf
201.33/201.43 c 185s|400000 | 18 | 1245 |8823k| 35 | - | 220 | 923 | 641 | 0 | 0 | 5 | 237k| 18 | 5.908423e+01 | -- | Inf
207.23/207.31 c 191s|410000 | 18 | 1245 |8823k| 35 | - | 220 | 918 | 587 | 0 | 0 | 5 | 243k| 18 | 5.908423e+01 | -- | Inf
212.33/212.48 c 196s|420000 | 16 | 1245 |8831k| 35 | - | 220 | 940 | 535 | 0 | 0 | 5 | 248k| 18 | 5.908423e+01 | -- | Inf
217.92/218.02 c 201s|430000 | 17 | 1245 |8829k| 35 | - | 220 | 919 | 294 | 0 | 0 | 5 | 254k| 18 | 5.908423e+01 | -- | Inf
222.52/222.69 c 205s|440000 | 16 | 1245 |8835k| 35 | - | 220 | 938 | 361 | 0 | 0 | 5 | 259k| 18 | 5.908423e+01 | -- | Inf
227.82/228.00 c 210s|450000 | 15 | 1245 |8833k| 35 | - | 220 | 942 | 506 | 0 | 0 | 5 | 264k| 18 | 5.908423e+01 | -- | Inf
233.13/233.29 c 215s|460000 | 13 | 1245 |8826k| 35 | - | 220 | 930 | 577 | 0 | 0 | 5 | 270k| 18 | 5.908423e+01 | -- | Inf
238.63/238.79 c 220s|470000 | 20 | 1245 |8823k| 35 | - | 220 | 914 | 552 | 0 | 0 | 5 | 275k| 18 | 5.908423e+01 | -- | Inf
243.92/244.08 c 225s|480000 | 19 | 1245 |8832k| 35 | - | 220 | 930 | 466 | 0 | 0 | 5 | 280k| 18 | 5.908423e+01 | -- | Inf
249.12/249.26 c 229s|490000 | 16 | 1245 |8831k| 35 | - | 220 | 938 | 579 | 0 | 0 | 5 | 285k| 18 | 5.908423e+01 | -- | Inf
254.42/254.51 c 234s|500000 | 21 | 1245 |8824k| 35 | - | 220 | 912 | 618 | 0 | 0 | 5 | 291k| 18 | 5.908423e+01 | -- | Inf
260.21/260.34 c 240s|510000 | 18 | 1245 |8827k| 35 | - | 220 | 914 | 458 | 0 | 0 | 5 | 296k| 18 | 5.908423e+01 | -- | Inf
265.71/265.85 c 245s|520000 | 20 | 1245 |8826k| 35 | - | 220 | 916 | 632 | 0 | 0 | 5 | 301k| 18 | 5.908423e+01 | -- | Inf
271.41/271.53 c 250s|530000 | 15 | 1245 |8833k| 35 | - | 220 | 929 | 443 | 0 | 0 | 5 | 307k| 18 | 5.908423e+01 | -- | Inf
277.51/277.61 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
277.51/277.61 c 255s|540000 | 19 | 1245 |8827k| 35 | - | 220 | 920 | 641 | 0 | 0 | 5 | 313k| 18 | 5.908423e+01 | -- | Inf
283.61/283.76 c 261s|550000 | 21 | 1245 |8830k| 35 | - | 220 | 918 | 494 | 0 | 0 | 5 | 318k| 18 | 5.908423e+01 | -- | Inf
288.81/288.99 c 266s|560000 | 20 | 1245 |8827k| 35 | - | 220 | 914 | 517 | 0 | 0 | 5 | 323k| 18 | 5.908423e+01 | -- | Inf
294.11/294.22 c 271s|570000 | 16 | 1245 |8839k| 35 | - | 220 | 934 | 305 | 0 | 0 | 5 | 329k| 18 | 5.908423e+01 | -- | Inf
300.80/300.91 c 277s|580000 | 22 | 1245 |8825k| 35 | - | 220 | 913 | 649 | 0 | 0 | 5 | 334k| 18 | 5.908423e+01 | -- | Inf
306.71/306.81 c 282s|590000 | 19 | 1245 |8831k| 35 | - | 220 | 914 | 431 | 0 | 0 | 5 | 339k| 18 | 5.908423e+01 | -- | Inf
312.41/312.59 c 288s|600000 | 19 | 1245 |8832k| 35 | - | 220 | 913 | 370 | 0 | 0 | 5 | 342k| 18 | 5.908423e+01 | -- | Inf
318.50/318.60 c 293s|610000 | 13 | 1245 |8829k| 35 | - | 220 | 924 | 700 | 0 | 0 | 5 | 345k| 18 | 5.908423e+01 | -- | Inf
324.80/324.96 c 299s|620000 | 16 | 1245 |8836k| 35 | - | 220 | 921 | 368 | 0 | 0 | 5 | 347k| 18 | 5.908423e+01 | -- | Inf
331.60/331.76 c 305s|630000 | 19 | 1245 |8828k| 35 | - | 220 | 916 | 629 | 0 | 0 | 5 | 349k| 18 | 5.908423e+01 | -- | Inf
336.80/336.99 c 310s|640000 | 14 | 1245 |8827k| 35 | - | 220 | 915 | 668 | 0 | 0 | 5 | 351k| 18 | 5.908423e+01 | -- | Inf
342.40/342.50 c 315s|650000 | 18 | 1245 |8818k| 35 | - | 220 | 889 | 681 | 0 | 0 | 5 | 352k| 18 | 5.908423e+01 | -- | Inf
347.30/347.46 c 320s|660000 | 18 | 1245 |8826k| 35 | - | 220 | 896 | 408 | 0 | 0 | 5 | 355k| 18 | 5.908423e+01 | -- | Inf
352.39/352.52 c 324s|670000 | 19 | 1245 |8823k| 35 | - | 220 | 894 | 589 | 0 | 0 | 5 | 357k| 18 | 5.908423e+01 | -- | Inf
357.79/357.94 c 329s|680000 | 19 | 1245 |8831k| 35 | - | 220 | 906 | 413 | 0 | 0 | 5 | 360k| 18 | 5.908423e+01 | -- | Inf
361.99/362.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
361.99/362.14 c 333s|690000 | 20 | 1245 |8846k| 35 | - | 220 | 946 | 433 | 0 | 0 | 5 | 365k| 18 | 5.908423e+01 | -- | Inf
366.19/366.39 c 337s|700000 | 18 | 1245 |8835k| 35 | - | 220 | 911 | 677 | 0 | 0 | 5 | 368k| 18 | 5.908423e+01 | -- | Inf
370.99/371.12 c 341s|710000 | 17 | 1245 |8832k| 35 | - | 220 | 906 | 737 | 0 | 0 | 5 | 371k| 18 | 5.908423e+01 | -- | Inf
375.49/375.61 c 346s|720000 | 13 | 1245 |8836k| 35 | - | 220 | 902 | 358 | 0 | 0 | 5 | 372k| 18 | 5.908423e+01 | -- | Inf
380.39/380.54 c 350s|730000 | 16 | 1245 |8835k| 35 | - | 220 | 899 | 377 | 0 | 0 | 5 | 373k| 18 | 5.908423e+01 | -- | Inf
385.08/385.29 c 354s|740000 | 18 | 1245 |8840k| 35 | - | 220 | 919 | 539 | 0 | 0 | 5 | 375k| 18 | 5.908423e+01 | -- | Inf
391.08/391.22 c 360s|750000 | 16 | 1245 |8843k| 35 | - | 220 | 930 | 623 | 0 | 0 | 5 | 381k| 18 | 5.908423e+01 | -- | Inf
398.28/398.42 c 366s|760000 | 12 | 1245 |8853k| 35 | - | 220 | 953 | 489 | 0 | 0 | 5 | 386k| 18 | 5.908423e+01 | -- | Inf
403.49/403.70 c 371s|770000 | 16 | 1245 |8837k| 35 | - | 220 | 917 | 650 | 0 | 0 | 5 | 391k| 18 | 5.908423e+01 | -- | Inf
409.09/409.22 c 376s|780000 | 14 | 1245 |8846k| 35 | - | 220 | 925 | 299 | 0 | 0 | 5 | 396k| 18 | 5.908423e+01 | -- | Inf
414.37/414.58 c 381s|790000 | 15 | 1245 |8838k| 35 | - | 220 | 912 | 491 | 0 | 0 | 5 | 400k| 18 | 5.908423e+01 | -- | Inf
420.47/420.67 c 387s|800000 | 16 | 1245 |8848k| 35 | - | 220 | 938 | 535 | 0 | 0 | 5 | 405k| 18 | 5.908423e+01 | -- | Inf
425.67/425.89 c 392s|810000 | 21 | 1245 |8841k| 35 | - | 220 | 919 | 490 | 0 | 0 | 5 | 410k| 18 | 5.908423e+01 | -- | Inf
431.07/431.22 c 397s|820000 | 18 | 1245 |8848k| 35 | - | 220 | 937 | 477 | 0 | 0 | 5 | 416k| 18 | 5.908423e+01 | -- | Inf
436.17/436.32 c 401s|830000 | 16 | 1245 |8843k| 35 | - | 220 | 928 | 498 | 0 | 0 | 5 | 421k| 18 | 5.908423e+01 | -- | Inf
442.07/442.28 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
442.07/442.28 c 407s|840000 | 15 | 1245 |8854k| 35 | - | 220 | 958 | 536 | 0 | 0 | 5 | 427k| 18 | 5.908423e+01 | -- | Inf
447.57/447.75 c 412s|850000 | 16 | 1245 |8848k| 35 | - | 220 | 934 | 454 | 0 | 0 | 5 | 432k| 18 | 5.908423e+01 | -- | Inf
452.97/453.19 c 417s|860000 | 16 | 1245 |8855k| 35 | - | 220 | 959 | 576 | 0 | 0 | 5 | 437k| 18 | 5.908423e+01 | -- | Inf
458.47/458.63 c 422s|870000 | 19 | 1245 |8844k| 35 | - | 220 | 931 | 652 | 0 | 0 | 5 | 443k| 18 | 5.908423e+01 | -- | Inf
464.36/464.58 c 427s|880000 | 17 | 1245 |8853k| 35 | - | 220 | 953 | 591 | 0 | 0 | 5 | 448k| 18 | 5.908423e+01 | -- | Inf
469.56/469.75 c 432s|890000 | 17 | 1245 |8838k| 35 | - | 220 | 920 | 650 | 0 | 0 | 5 | 454k| 18 | 5.908423e+01 | -- | Inf
474.66/474.89 c 437s|900000 | 19 | 1245 |8848k| 35 | - | 220 | 933 | 474 | 0 | 0 | 5 | 459k| 18 | 5.908423e+01 | -- | Inf
479.66/479.89 c 441s|910000 | 18 | 1245 |8850k| 35 | - | 220 | 939 | 447 | 0 | 0 | 5 | 465k| 18 | 5.908423e+01 | -- | Inf
484.36/484.55 c 446s|920000 | 15 | 1245 |8847k| 35 | - | 220 | 934 | 439 | 0 | 0 | 5 | 470k| 18 | 5.908423e+01 | -- | Inf
489.56/489.71 c 450s|930000 | 16 | 1245 |8846k| 35 | - | 220 | 938 | 625 | 0 | 0 | 5 | 475k| 18 | 5.908423e+01 | -- | Inf
495.15/495.38 c 456s|940000 | 18 | 1245 |8841k| 35 | - | 220 | 922 | 630 | 0 | 0 | 5 | 481k| 18 | 5.908423e+01 | -- | Inf
500.36/500.59 c 460s|950000 | 16 | 1245 |8851k| 35 | - | 220 | 943 | 472 | 0 | 0 | 5 | 486k| 18 | 5.908423e+01 | -- | Inf
506.15/506.37 c 466s|960000 | 17 | 1245 |8843k| 35 | - | 220 | 926 | 516 | 0 | 0 | 5 | 492k| 18 | 5.908423e+01 | -- | Inf
511.65/511.87 c 471s|970000 | 18 | 1245 |8843k| 35 | - | 220 | 928 | 600 | 0 | 0 | 5 | 497k| 18 | 5.908423e+01 | -- | Inf
516.85/517.02 c 475s|980000 | 16 | 1245 |8844k| 35 | - | 220 | 917 | 287 | 0 | 0 | 5 | 499k| 18 | 5.908423e+01 | -- | Inf
521.75/521.90 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
521.75/521.90 c 480s|990000 | 14 | 1245 |8845k| 35 | - | 220 | 918 | 349 | 0 | 0 | 5 | 502k| 18 | 5.908423e+01 | -- | Inf
528.24/528.46 c 486s| 1000k| 15 | 1245 |8843k| 35 | - | 220 | 928 | 663 | 0 | 0 | 5 | 507k| 18 | 5.908423e+01 | -- | Inf
535.15/535.31 c 492s| 1010k| 18 | 1245 |8849k| 35 | - | 220 | 923 | 314 | 0 | 0 | 5 | 512k| 18 | 5.908423e+01 | -- | Inf
541.74/541.94 c 498s| 1020k| 17 | 1245 |8847k| 35 | - | 220 | 932 | 575 | 0 | 0 | 5 | 517k| 18 | 5.908423e+01 | -- | Inf
548.94/549.12 c 505s| 1030k| 17 | 1245 |8850k| 35 | - | 220 | 935 | 598 | 0 | 0 | 5 | 522k| 18 | 5.908423e+01 | -- | Inf
557.14/557.36 c 513s| 1040k| 14 | 1245 |8857k| 35 | - | 220 | 944 | 315 | 0 | 0 | 5 | 526k| 18 | 5.908423e+01 | -- | Inf
565.44/565.69 c 520s| 1050k| 14 | 1245 |8858k| 35 | - | 220 | 959 | 591 | 0 | 0 | 5 | 531k| 18 | 5.908423e+01 | -- | Inf
573.23/573.45 c 528s| 1060k| 13 | 1245 |8865k| 35 | - | 220 | 961 | 291 | 0 | 0 | 5 | 535k| 18 | 5.908423e+01 | -- | Inf
581.63/581.90 c 535s| 1070k| 15 | 1245 |8859k| 35 | - | 220 | 947 | 304 | 0 | 0 | 5 | 540k| 18 | 5.908423e+01 | -- | Inf
589.53/589.78 c 543s| 1080k| 19 | 1245 |8835k| 35 | - | 220 | 896 | 642 | 0 | 0 | 5 | 544k| 18 | 5.908423e+01 | -- | Inf
595.02/595.20 c 548s| 1090k| 20 | 1245 |8844k| 35 | - | 220 | 916 | 510 | 0 | 0 | 5 | 549k| 18 | 5.908423e+01 | -- | Inf
600.83/601.07 c 553s| 1100k| 17 | 1245 |8839k| 35 | - | 220 | 907 | 674 | 0 | 0 | 5 | 555k| 18 | 5.908423e+01 | -- | Inf
607.12/607.38 c 559s| 1110k| 20 | 1245 |8847k| 35 | - | 220 | 916 | 516 | 0 | 0 | 5 | 559k| 18 | 5.908423e+01 | -- | Inf
613.72/613.99 c 565s| 1120k| 22 | 1245 |8848k| 35 | - | 220 | 912 | 464 | 0 | 0 | 5 | 564k| 18 | 5.908423e+01 | -- | Inf
620.52/620.74 c 571s| 1130k| 18 | 1245 |8847k| 35 | - | 220 | 917 | 630 | 0 | 0 | 5 | 569k| 18 | 5.908423e+01 | -- | Inf
626.22/626.49 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
626.22/626.49 c 577s| 1140k| 18 | 1245 |8839k| 35 | - | 220 | 894 | 707 | 0 | 0 | 5 | 575k| 18 | 5.908423e+01 | -- | Inf
631.72/631.95 c 582s| 1150k| 15 | 1245 |8846k| 35 | - | 220 | 915 | 663 | 0 | 0 | 5 | 580k| 18 | 5.908423e+01 | -- | Inf
637.91/638.14 c 587s| 1160k| 19 | 1245 |8852k| 35 | - | 220 | 915 | 554 | 0 | 0 | 5 | 585k| 18 | 5.908423e+01 | -- | Inf
645.51/645.77 c 594s| 1170k| 14 | 1245 |8864k| 35 | - | 220 | 931 | 250 | 0 | 0 | 5 | 590k| 18 | 5.908423e+01 | -- | Inf
652.91/653.13 c 601s| 1180k| 16 | 1245 |8854k| 35 | - | 220 | 922 | 604 | 0 | 0 | 5 | 594k| 18 | 5.908423e+01 | -- | Inf
659.31/659.55 c 607s| 1190k| 19 | 1245 |8850k| 35 | - | 220 | 911 | 658 | 0 | 0 | 5 | 599k| 18 | 5.908423e+01 | -- | Inf
666.41/666.64 c 614s| 1200k| 16 | 1245 |8861k| 35 | - | 220 | 918 | 297 | 0 | 0 | 5 | 604k| 18 | 5.908423e+01 | -- | Inf
672.71/672.92 c 619s| 1210k| 17 | 1245 |8860k| 35 | - | 220 | 918 | 300 | 0 | 0 | 5 | 608k| 18 | 5.908423e+01 | -- | Inf
680.30/680.58 c 627s| 1220k| 13 | 1245 |8866k| 35 | - | 220 | 937 | 319 | 0 | 0 | 5 | 613k| 18 | 5.908423e+01 | -- | Inf
687.90/688.11 c 633s| 1230k| 19 | 1245 |8850k| 35 | - | 220 | 909 | 695 | 0 | 0 | 5 | 617k| 18 | 5.908423e+01 | -- | Inf
693.20/693.47 c 638s| 1240k| 18 | 1245 |8854k| 35 | - | 220 | 917 | 606 | 0 | 0 | 5 | 623k| 18 | 5.908423e+01 | -- | Inf
699.70/699.92 c 644s| 1250k| 18 | 1245 |8854k| 35 | - | 220 | 919 | 667 | 0 | 0 | 5 | 627k| 18 | 5.908423e+01 | -- | Inf
706.20/706.44 c 650s| 1260k| 20 | 1245 |8856k| 35 | - | 220 | 917 | 545 | 0 | 0 | 5 | 632k| 18 | 5.908423e+01 | -- | Inf
711.90/712.13 c 656s| 1270k| 19 | 1245 |8856k| 35 | - | 220 | 923 | 592 | 0 | 0 | 5 | 637k| 18 | 5.908423e+01 | -- | Inf
717.80/718.06 c 661s| 1280k| 17 | 1245 |8864k| 35 | - | 220 | 927 | 318 | 0 | 0 | 5 | 642k| 18 | 5.908423e+01 | -- | Inf
726.39/726.61 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
726.39/726.61 c 669s| 1290k| 14 | 1245 |8869k| 35 | - | 220 | 939 | 286 | 0 | 0 | 5 | 647k| 18 | 5.908423e+01 | -- | Inf
733.29/733.58 c 676s| 1300k| 17 | 1245 |8909k| 35 | - | 220 |1137 | 472 | 0 | 0 | 5 | 652k| 18 | 5.908423e+01 | -- | Inf
741.49/741.72 c 683s| 1310k| 15 | 1245 |8880k| 35 | - | 220 | 967 | 621 | 0 | 0 | 5 | 656k| 18 | 5.908423e+01 | -- | Inf
749.78/750.07 c 691s| 1320k| 14 | 1245 |8870k| 35 | - | 220 | 947 | 754 | 0 | 0 | 5 | 660k| 18 | 5.908423e+01 | -- | Inf
756.59/756.80 c 697s| 1330k| 15 | 1245 |8874k| 35 | - | 220 | 937 | 560 | 0 | 0 | 5 | 665k| 18 | 5.908423e+01 | -- | Inf
763.19/763.47 c 703s| 1340k| 16 | 1245 |8869k| 35 | - | 220 | 929 | 620 | 0 | 0 | 5 | 670k| 18 | 5.908423e+01 | -- | Inf
770.68/771.00 c 710s| 1350k| 17 | 1245 |8878k| 35 | - | 220 | 935 | 315 | 0 | 0 | 5 | 674k| 18 | 5.908423e+01 | -- | Inf
776.18/776.47 c 715s| 1360k| 17 | 1245 |8862k| 35 | - | 220 | 907 | 603 | 0 | 0 | 5 | 679k| 18 | 5.908423e+01 | -- | Inf
781.68/781.97 c 720s| 1370k| 23 | 1245 |8865k| 35 | - | 220 | 901 | 482 | 0 | 0 | 5 | 684k| 18 | 5.908423e+01 | -- | Inf
786.68/787.00 c 725s| 1380k| 18 | 1245 |8873k| 35 | - | 220 | 919 | 474 | 0 | 0 | 5 | 687k| 18 | 5.908423e+01 | -- | Inf
793.88/794.15 c 732s| 1390k| 19 | 1245 |8869k| 35 | - | 220 | 916 | 620 | 0 | 0 | 5 | 691k| 18 | 5.908423e+01 | -- | Inf
799.48/799.76 c 737s| 1400k| 17 | 1245 |8878k| 35 | - | 220 | 924 | 300 | 0 | 0 | 5 | 697k| 18 | 5.908423e+01 | -- | Inf
805.17/805.48 c 742s| 1410k| 19 | 1245 |8877k| 35 | - | 220 | 925 | 436 | 0 | 0 | 5 | 703k| 18 | 5.908423e+01 | -- | Inf
811.67/811.93 c 748s| 1420k| 21 | 1245 |8874k| 35 | - | 220 | 917 | 552 | 0 | 0 | 5 | 708k| 18 | 5.908423e+01 | -- | Inf
819.36/819.61 c 755s| 1430k| 16 | 1245 |8877k| 35 | - | 220 | 931 | 619 | 0 | 0 | 5 | 713k| 18 | 5.908423e+01 | -- | Inf
826.97/827.22 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
826.97/827.22 c 762s| 1440k| 16 | 1245 |8881k| 35 | - | 220 | 940 | 594 | 0 | 0 | 5 | 717k| 18 | 5.908423e+01 | -- | Inf
833.97/834.21 c 768s| 1450k| 20 | 1245 |8872k| 35 | - | 220 | 915 | 592 | 0 | 0 | 5 | 722k| 18 | 5.908423e+01 | -- | Inf
839.36/839.62 c 773s| 1460k| 18 | 1245 |8883k| 35 | - | 220 | 930 | 322 | 0 | 0 | 5 | 727k| 18 | 5.908423e+01 | -- | Inf
846.26/846.53 c 780s| 1470k| 14 | 1245 |8883k| 35 | - | 220 | 949 | 623 | 0 | 0 | 5 | 732k| 18 | 5.908423e+01 | -- | Inf
852.66/852.98 c 786s| 1480k| 12 | 1245 |8878k| 35 | - | 220 | 937 | 717 | 0 | 0 | 5 | 737k| 18 | 5.908423e+01 | -- | Inf
859.56/859.89 c 792s| 1490k| 14 | 1245 |8873k| 35 | - | 220 | 918 | 515 | 0 | 0 | 5 | 742k| 18 | 5.908423e+01 | -- | Inf
866.85/867.14 c 799s| 1500k| 20 | 1245 |8875k| 35 | - | 220 | 916 | 524 | 0 | 0 | 5 | 747k| 18 | 5.908423e+01 | -- | Inf
874.05/874.31 c 806s| 1510k| 13 | 1245 |8878k| 35 | - | 220 | 937 | 644 | 0 | 0 | 5 | 751k| 18 | 5.908423e+01 | -- | Inf
880.45/880.79 c 812s| 1520k| 20 | 1245 |8873k| 35 | - | 220 | 913 | 537 | 0 | 0 | 5 | 755k| 18 | 5.908423e+01 | -- | Inf
884.45/884.78 c 815s| 1530k| 18 | 1245 |8877k| 35 | - | 220 | 916 | 531 | 0 | 0 | 5 | 758k| 18 | 5.908423e+01 | -- | Inf
890.05/890.33 c 820s| 1540k| 12 | 1245 |8880k| 35 | - | 220 | 918 | 351 | 0 | 0 | 5 | 759k| 18 | 5.908423e+01 | -- | Inf
894.94/895.29 c 825s| 1550k| 17 | 1245 |8871k| 35 | - | 220 | 903 | 575 | 0 | 0 | 5 | 760k| 18 | 5.908423e+01 | -- | Inf
900.24/900.59 c 830s| 1560k| 16 | 1245 |8873k| 35 | - | 220 | 911 | 536 | 0 | 0 | 5 | 761k| 18 | 5.908423e+01 | -- | Inf
905.55/905.89 c 835s| 1570k| 11 | 1245 |8877k| 35 | - | 220 | 907 | 328 | 0 | 0 | 5 | 762k| 18 | 5.908423e+01 | -- | Inf
911.34/911.68 c 840s| 1580k| 15 | 1245 |8870k| 35 | - | 220 | 885 | 376 | 0 | 0 | 5 | 764k| 18 | 5.908423e+01 | -- | Inf
916.94/917.27 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
916.94/917.27 c 845s| 1590k| 13 | 1245 |8875k| 35 | - | 220 | 898 | 323 | 0 | 0 | 5 | 765k| 18 | 5.908423e+01 | -- | Inf
922.64/922.91 c 850s| 1600k| 19 | 1245 |8866k| 35 | - | 220 | 890 | 643 | 0 | 0 | 5 | 766k| 18 | 5.908423e+01 | -- | Inf
927.73/928.01 c 855s| 1610k| 18 | 1245 |8871k| 35 | - | 220 | 894 | 516 | 0 | 0 | 5 | 768k| 18 | 5.908423e+01 | -- | Inf
931.73/932.03 c 859s| 1620k| 20 | 1245 |8877k| 35 | - | 220 | 901 | 393 | 0 | 0 | 5 | 771k| 18 | 5.908423e+01 | -- | Inf
937.04/937.35 c 864s| 1630k| 15 | 1245 |8865k| 35 | - | 220 | 888 | 735 | 0 | 0 | 5 | 774k| 18 | 5.908423e+01 | -- | Inf
942.74/943.03 c 869s| 1640k| 17 | 1245 |8882k| 35 | - | 220 | 888 | 433 | 0 | 0 | 5 | 777k| 18 | 5.908423e+01 | -- | Inf
948.83/949.17 c 875s| 1650k| 20 | 1245 |8878k| 35 | - | 220 | 888 | 583 | 0 | 0 | 5 | 778k| 18 | 5.908423e+01 | -- | Inf
954.03/954.30 c 879s| 1660k| 18 | 1245 |8887k| 35 | - | 220 | 912 | 569 | 0 | 0 | 5 | 782k| 18 | 5.908423e+01 | -- | Inf
959.53/959.89 c 884s| 1670k| 16 | 1245 |8879k| 35 | - | 220 | 890 | 598 | 0 | 0 | 5 | 783k| 18 | 5.908423e+01 | -- | Inf
964.93/965.25 c 889s| 1680k| 12 | 1245 |8884k| 35 | - | 220 | 902 | 558 | 0 | 0 | 5 | 786k| 18 | 5.908423e+01 | -- | Inf
970.42/970.80 c 894s| 1690k| 16 | 1245 |8888k| 35 | - | 220 | 909 | 584 | 0 | 0 | 5 | 788k| 18 | 5.908423e+01 | -- | Inf
975.92/976.20 c 899s| 1700k| 16 | 1245 |8893k| 35 | - | 220 | 917 | 483 | 0 | 0 | 5 | 790k| 18 | 5.908423e+01 | -- | Inf
981.02/981.36 c 904s| 1710k| 17 | 1245 |8884k| 35 | - | 220 | 889 | 402 | 0 | 0 | 5 | 793k| 18 | 5.908423e+01 | -- | Inf
986.22/986.56 c 909s| 1720k| 14 | 1245 |8886k| 35 | - | 220 | 893 | 406 | 0 | 0 | 5 | 796k| 18 | 5.908423e+01 | -- | Inf
991.52/991.87 c 914s| 1730k| 12 | 1245 |8881k| 35 | - | 220 | 891 | 631 | 0 | 0 | 5 | 799k| 18 | 5.908423e+01 | -- | Inf
996.52/996.87 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
996.52/996.87 c 919s| 1740k| 18 | 1245 |8885k| 35 | - | 220 | 894 | 537 | 0 | 0 | 5 | 800k| 18 | 5.908423e+01 | -- | Inf
1001.52/1001.84 c 923s| 1750k| 13 | 1245 |8882k| 35 | - | 220 | 896 | 624 | 0 | 0 | 5 | 801k| 18 | 5.908423e+01 | -- | Inf
1006.42/1006.76 c 928s| 1760k| 15 | 1245 |8889k| 35 | - | 220 | 899 | 411 | 0 | 0 | 5 | 803k| 18 | 5.908423e+01 | -- | Inf
1011.72/1012.09 c 933s| 1770k| 13 | 1245 |8882k| 35 | - | 220 | 891 | 568 | 0 | 0 | 5 | 805k| 18 | 5.908423e+01 | -- | Inf
1016.91/1017.22 c 937s| 1780k| 16 | 1245 |8880k| 35 | - | 220 | 891 | 642 | 0 | 0 | 5 | 805k| 18 | 5.908423e+01 | -- | Inf
1022.31/1022.62 c 942s| 1790k| 13 | 1245 |8885k| 35 | - | 220 | 888 | 340 | 0 | 0 | 5 | 805k| 18 | 5.908423e+01 | -- | Inf
1027.91/1028.23 c 947s| 1800k| 15 | 1245 |8879k| 35 | - | 220 | 888 | 662 | 0 | 0 | 5 | 806k| 18 | 5.908423e+01 | -- | Inf
1033.51/1033.86 c 953s| 1810k| 17 | 1245 |8883k| 35 | - | 220 | 889 | 531 | 0 | 0 | 5 | 806k| 18 | 5.908423e+01 | -- | Inf
1039.11/1039.41 c 958s| 1820k| 17 | 1245 |8886k| 35 | - | 220 | 887 | 358 | 0 | 0 | 5 | 807k| 18 | 5.908423e+01 | -- | Inf
1044.91/1045.24 c 963s| 1830k| 15 | 1245 |8883k| 35 | - | 220 | 887 | 543 | 0 | 0 | 5 | 807k| 18 | 5.908423e+01 | -- | Inf
1050.40/1050.76 c 968s| 1840k| 17 | 1245 |8886k| 35 | - | 220 | 887 | 379 | 0 | 0 | 5 | 808k| 18 | 5.908423e+01 | -- | Inf
1056.20/1056.59 c 974s| 1850k| 16 | 1245 |8886k| 35 | - | 220 | 889 | 390 | 0 | 0 | 5 | 809k| 18 | 5.908423e+01 | -- | Inf
1062.20/1062.60 c 979s| 1860k| 13 | 1245 |8886k| 35 | - | 220 | 887 | 369 | 0 | 0 | 5 | 809k| 18 | 5.908423e+01 | -- | Inf
1067.81/1068.14 c 984s| 1870k| 16 | 1245 |8886k| 35 | - | 220 | 887 | 415 | 0 | 0 | 5 | 810k| 18 | 5.908423e+01 | -- | Inf
1073.40/1073.78 c 989s| 1880k| 13 | 1245 |8886k| 35 | - | 220 | 889 | 366 | 0 | 0 | 5 | 811k| 18 | 5.908423e+01 | -- | Inf
1079.20/1079.54 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1079.20/1079.55 c 995s| 1890k| 16 | 1245 |8887k| 35 | - | 220 | 888 | 363 | 0 | 0 | 5 | 811k| 18 | 5.908423e+01 | -- | Inf
1084.50/1084.85 c 1000s| 1900k| 15 | 1245 |8887k| 35 | - | 220 | 899 | 576 | 0 | 0 | 5 | 812k| 18 | 5.908423e+01 | -- | Inf
1089.29/1089.62 c 1004s| 1910k| 12 | 1245 |8888k| 35 | - | 220 | 892 | 292 | 0 | 0 | 5 | 812k| 18 | 5.908423e+01 | -- | Inf
1094.29/1094.69 c 1009s| 1920k| 18 | 1245 |8889k| 35 | - | 220 | 893 | 361 | 0 | 0 | 5 | 813k| 18 | 5.908423e+01 | -- | Inf
1099.59/1099.91 c 1014s| 1930k| 17 | 1245 |8887k| 35 | - | 220 | 887 | 371 | 0 | 0 | 5 | 814k| 18 | 5.908423e+01 | -- | Inf
1104.69/1105.06 c 1018s| 1940k| 15 | 1245 |8886k| 35 | - | 220 | 896 | 572 | 0 | 0 | 5 | 815k| 18 | 5.908423e+01 | -- | Inf
1110.28/1110.60 c 1023s| 1950k| 14 | 1245 |8886k| 35 | - | 220 | 886 | 387 | 0 | 0 | 5 | 816k| 18 | 5.908423e+01 | -- | Inf
1116.39/1116.74 c 1029s| 1960k| 15 | 1245 |8881k| 35 | - | 220 | 887 | 657 | 0 | 0 | 5 | 817k| 18 | 5.908423e+01 | -- | Inf
1122.79/1123.17 c 1035s| 1970k| 13 | 1245 |8882k| 35 | - | 220 | 891 | 669 | 0 | 0 | 5 | 818k| 18 | 5.908423e+01 | -- | Inf
1128.78/1129.18 c 1040s| 1980k| 16 | 1245 |8888k| 35 | - | 220 | 888 | 361 | 0 | 0 | 5 | 818k| 18 | 5.908423e+01 | -- | Inf
1135.08/1135.41 c 1046s| 1990k| 15 | 1245 |8880k| 35 | - | 220 | 886 | 723 | 0 | 0 | 5 | 818k| 18 | 5.908423e+01 | -- | Inf
1141.58/1141.91 c 1052s| 2000k| 13 | 1245 |8887k| 35 | - | 220 | 886 | 357 | 0 | 0 | 5 | 818k| 18 | 5.908423e+01 | -- | Inf
1147.88/1148.27 c 1058s| 2010k| 16 | 1245 |8877k| 35 | - | 220 | 876 | 675 | 0 | 0 | 5 | 819k| 18 | 5.908423e+01 | -- | Inf
1154.18/1154.58 c 1064s| 2020k| 16 | 1245 |8883k| 35 | - | 220 | 876 | 378 | 0 | 0 | 5 | 819k| 18 | 5.908423e+01 | -- | Inf
1159.87/1160.25 c 1069s| 2030k| 17 | 1245 |8892k| 35 | - | 220 | 898 | 330 | 0 | 0 | 5 | 822k| 18 | 5.908423e+01 | -- | Inf
1165.97/1166.35 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1165.97/1166.35 c 1075s| 2040k| 13 | 1245 |8885k| 35 | - | 220 | 877 | 250 | 0 | 0 | 5 | 824k| 18 | 5.908423e+01 | -- | Inf
1171.57/1171.95 c 1080s| 2050k| 16 | 1245 |8889k| 35 | - | 220 | 906 | 700 | 0 | 0 | 5 | 826k| 18 | 5.908423e+01 | -- | Inf
1176.07/1176.45 c 1084s| 2060k| 15 | 1245 |8900k| 35 | - | 220 | 921 | 360 | 0 | 0 | 5 | 831k| 18 | 5.908423e+01 | -- | Inf
1180.57/1180.99 c 1088s| 2070k| 19 | 1245 |8894k| 35 | - | 220 | 910 | 616 | 0 | 0 | 5 | 836k| 18 | 5.908423e+01 | -- | Inf
1185.16/1185.57 c 1092s| 2080k| 19 | 1245 |8895k| 35 | - | 220 | 914 | 568 | 0 | 0 | 5 | 842k| 18 | 5.908423e+01 | -- | Inf
1189.96/1190.34 c 1097s| 2090k| 13 | 1245 |8901k| 35 | - | 220 | 931 | 531 | 0 | 0 | 5 | 847k| 18 | 5.908423e+01 | -- | Inf
1194.76/1195.10 c 1101s| 2100k| 14 | 1245 |8906k| 35 | - | 220 | 939 | 472 | 0 | 0 | 5 | 851k| 18 | 5.908423e+01 | -- | Inf
1199.46/1199.86 c 1106s| 2110k| 13 | 1245 |8907k| 35 | - | 220 | 933 | 290 | 0 | 0 | 5 | 855k| 18 | 5.908423e+01 | -- | Inf
1204.26/1204.69 c 1110s| 2120k| 19 | 1245 |8898k| 35 | - | 220 | 910 | 511 | 0 | 0 | 5 | 860k| 18 | 5.908423e+01 | -- | Inf
1209.16/1209.56 c 1114s| 2130k| 17 | 1245 |8897k| 35 | - | 220 | 914 | 602 | 0 | 0 | 5 | 865k| 18 | 5.908423e+01 | -- | Inf
1213.96/1214.38 c 1119s| 2140k| 17 | 1245 |8899k| 35 | - | 220 | 917 | 573 | 0 | 0 | 5 | 870k| 18 | 5.908423e+01 | -- | Inf
1218.65/1219.01 c 1123s| 2150k| 17 | 1245 |8908k| 35 | - | 220 | 936 | 532 | 0 | 0 | 5 | 874k| 18 | 5.908423e+01 | -- | Inf
1223.35/1223.75 c 1127s| 2160k| 16 | 1245 |8905k| 35 | - | 220 | 931 | 542 | 0 | 0 | 5 | 879k| 18 | 5.908423e+01 | -- | Inf
1228.06/1228.45 c 1132s| 2170k| 15 | 1245 |8909k| 35 | - | 220 | 947 | 612 | 0 | 0 | 5 | 884k| 18 | 5.908423e+01 | -- | Inf
1232.95/1233.35 c 1136s| 2180k| 16 | 1245 |8906k| 35 | - | 220 | 929 | 456 | 0 | 0 | 5 | 888k| 18 | 5.908423e+01 | -- | Inf
1237.85/1238.20 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1237.85/1238.20 c 1141s| 2190k| 14 | 1245 |8915k| 35 | - | 220 | 955 | 461 | 0 | 0 | 5 | 893k| 18 | 5.908423e+01 | -- | Inf
1242.45/1242.90 c 1145s| 2200k| 15 | 1245 |8912k| 35 | - | 220 | 947 | 447 | 0 | 0 | 5 | 898k| 18 | 5.908423e+01 | -- | Inf
1247.84/1248.21 c 1150s| 2210k| 18 | 1245 |8897k| 35 | - | 220 | 893 | 341 | 0 | 0 | 5 | 901k| 18 | 5.908423e+01 | -- | Inf
1253.65/1254.02 c 1155s| 2220k| 17 | 1245 |8889k| 35 | - | 220 | 888 | 650 | 0 | 0 | 5 | 902k| 18 | 5.908423e+01 | -- | Inf
1259.54/1259.99 c 1161s| 2230k| 13 | 1245 |8895k| 35 | - | 220 | 890 | 334 | 0 | 0 | 5 | 903k| 18 | 5.908423e+01 | -- | Inf
1265.75/1266.18 c 1167s| 2240k| 12 | 1245 |8895k| 35 | - | 220 | 890 | 366 | 0 | 0 | 5 | 903k| 18 | 5.908423e+01 | -- | Inf
1271.94/1272.34 c 1172s| 2250k| 16 | 1245 |8901k| 35 | - | 220 | 893 | 372 | 0 | 0 | 5 | 905k| 18 | 5.908423e+01 | -- | Inf
1277.44/1277.87 c 1177s| 2260k| 18 | 1245 |8899k| 35 | - | 220 | 888 | 377 | 0 | 0 | 5 | 907k| 18 | 5.908423e+01 | -- | Inf
1283.73/1284.10 c 1183s| 2270k| 15 | 1245 |8900k| 35 | - | 220 | 890 | 346 | 0 | 0 | 5 | 907k| 18 | 5.908423e+01 | -- | Inf
1289.84/1290.27 c 1189s| 2280k| 17 | 1245 |8899k| 35 | - | 220 | 888 | 354 | 0 | 0 | 5 | 907k| 18 | 5.908423e+01 | -- | Inf
1296.03/1296.41 c 1194s| 2290k| 17 | 1245 |8899k| 35 | - | 220 | 899 | 575 | 0 | 0 | 5 | 908k| 18 | 5.908423e+01 | -- | Inf
1301.73/1302.12 c 1200s| 2300k| 14 | 1245 |8899k| 35 | - | 220 | 888 | 385 | 0 | 0 | 5 | 910k| 18 | 5.908423e+01 | -- | Inf
1307.33/1307.78 c 1205s| 2310k| 13 | 1245 |8893k| 35 | - | 220 | 888 | 648 | 0 | 0 | 5 | 911k| 18 | 5.908423e+01 | -- | Inf
1314.14/1314.53 c 1211s| 2320k| 16 | 1245 |8894k| 35 | - | 220 | 889 | 669 | 0 | 0 | 5 | 912k| 18 | 5.908423e+01 | -- | Inf
1320.83/1321.25 c 1217s| 2330k| 10 | 1245 |8892k| 35 | - | 220 | 888 | 699 | 0 | 0 | 5 | 912k| 18 | 5.908423e+01 | -- | Inf
1326.83/1327.26 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1326.83/1327.26 c 1223s| 2340k| 16 | 1245 |8895k| 35 | - | 220 | 888 | 585 | 0 | 0 | 5 | 913k| 18 | 5.908423e+01 | -- | Inf
1333.23/1333.66 c 1229s| 2350k| 18 | 1245 |8892k| 35 | - | 220 | 876 | 539 | 0 | 0 | 5 | 913k| 18 | 5.908423e+01 | -- | Inf
1339.73/1340.17 c 1235s| 2360k| 16 | 1245 |8896k| 35 | - | 220 | 876 | 354 | 0 | 0 | 5 | 913k| 18 | 5.908423e+01 | -- | Inf
1345.52/1345.94 c 1240s| 2370k| 16 | 1245 |8890k| 35 | - | 220 | 876 | 610 | 0 | 0 | 5 | 914k| 18 | 5.908423e+01 | -- | Inf
1351.42/1351.82 c 1245s| 2380k| 14 | 1245 |8895k| 35 | - | 220 | 879 | 382 | 0 | 0 | 5 | 915k| 18 | 5.908423e+01 | -- | Inf
1356.82/1357.22 c 1250s| 2390k| 16 | 1245 |8896k| 35 | - | 220 | 881 | 362 | 0 | 0 | 5 | 917k| 18 | 5.908423e+01 | -- | Inf
1363.02/1363.40 c 1256s| 2400k| 10 | 1245 |8894k| 35 | - | 220 | 877 | 325 | 0 | 0 | 5 | 917k| 18 | 5.908423e+01 | -- | Inf
1369.21/1369.64 c 1262s| 2410k| 16 | 1245 |8896k| 35 | - | 220 | 877 | 339 | 0 | 0 | 5 | 918k| 18 | 5.908423e+01 | -- | Inf
1375.81/1376.20 c 1268s| 2420k| 15 | 1245 |8896k| 35 | - | 220 | 876 | 360 | 0 | 0 | 5 | 918k| 18 | 5.908423e+01 | -- | Inf
1381.61/1382.05 c 1273s| 2430k| 12 | 1245 |8897k| 35 | - | 220 | 876 | 278 | 0 | 0 | 5 | 920k| 18 | 5.908423e+01 | -- | Inf
1386.61/1387.00 c 1278s| 2440k| 13 | 1245 |8890k| 35 | - | 220 | 879 | 684 | 0 | 0 | 5 | 922k| 18 | 5.908423e+01 | -- | Inf
1392.31/1392.76 c 1283s| 2450k| 15 | 1245 |8899k| 35 | - | 220 | 891 | 359 | 0 | 0 | 5 | 922k| 18 | 5.908423e+01 | -- | Inf
1398.41/1398.83 c 1288s| 2460k| 13 | 1245 |8896k| 35 | - | 220 | 876 | 320 | 0 | 0 | 5 | 924k| 18 | 5.908423e+01 | -- | Inf
1404.51/1404.96 c 1294s| 2470k| 13 | 1245 |8896k| 35 | - | 220 | 876 | 363 | 0 | 0 | 5 | 924k| 18 | 5.908423e+01 | -- | Inf
1410.71/1411.15 c 1300s| 2480k| 11 | 1245 |8891k| 35 | - | 220 | 876 | 618 | 0 | 0 | 5 | 925k| 18 | 5.908423e+01 | -- | Inf
1416.80/1417.28 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1416.80/1417.28 c 1305s| 2490k| 18 | 1245 |8892k| 35 | - | 220 | 878 | 621 | 0 | 0 | 5 | 927k| 18 | 5.908423e+01 | -- | Inf
1422.80/1423.24 c 1311s| 2500k| 15 | 1245 |8893k| 35 | - | 220 | 884 | 619 | 0 | 0 | 5 | 928k| 18 | 5.908423e+01 | -- | Inf
1428.50/1428.94 c 1316s| 2510k| 14 | 1245 |8900k| 35 | - | 220 | 905 | 680 | 0 | 0 | 5 | 930k| 18 | 5.908423e+01 | -- | Inf
1433.50/1433.99 c 1321s| 2520k| 14 | 1245 |8897k| 35 | - | 220 | 886 | 450 | 0 | 0 | 5 | 932k| 18 | 5.908423e+01 | -- | Inf
1439.10/1439.53 c 1326s| 2530k| 19 | 1245 |8896k| 35 | - | 220 | 885 | 635 | 0 | 0 | 5 | 934k| 18 | 5.908423e+01 | -- | Inf
1445.29/1445.72 c 1332s| 2540k| 16 | 1245 |8898k| 35 | - | 220 | 878 | 292 | 0 | 0 | 5 | 935k| 18 | 5.908423e+01 | -- | Inf
1451.49/1451.95 c 1337s| 2550k| 16 | 1245 |8894k| 35 | - | 220 | 878 | 565 | 0 | 0 | 5 | 935k| 18 | 5.908423e+01 | -- | Inf
1457.39/1457.85 c 1343s| 2560k| 12 | 1245 |8897k| 35 | - | 220 | 877 | 320 | 0 | 0 | 5 | 935k| 18 | 5.908423e+01 | -- | Inf
1462.59/1463.04 c 1348s| 2570k| 12 | 1245 |8906k| 35 | - | 220 | 908 | 343 | 0 | 0 | 5 | 938k| 18 | 5.908423e+01 | -- | Inf
1467.89/1468.35 c 1352s| 2580k| 14 | 1245 |8894k| 35 | - | 220 | 884 | 628 | 0 | 0 | 5 | 942k| 18 | 5.908423e+01 | -- | Inf
1474.09/1474.50 c 1358s| 2590k| 11 | 1245 |8897k| 35 | - | 220 | 891 | 547 | 0 | 0 | 5 | 943k| 18 | 5.908423e+01 | -- | Inf
1480.08/1480.57 c 1364s| 2600k| 11 | 1245 |8897k| 35 | - | 220 | 877 | 373 | 0 | 0 | 5 | 945k| 18 | 5.908423e+01 | -- | Inf
1486.19/1486.61 c 1369s| 2610k| 9 | 1245 |8898k| 35 | - | 220 | 886 | 319 | 0 | 0 | 5 | 946k| 18 | 5.908423e+01 | -- | Inf
1491.39/1491.80 c 1374s| 2620k| 11 | 1245 |8890k| 35 | - | 220 | 876 | 718 | 0 | 0 | 5 | 948k| 18 | 5.908423e+01 | -- | Inf
1497.58/1498.06 c 1380s| 2630k| 12 | 1245 |8896k| 35 | - | 220 | 876 | 384 | 0 | 0 | 5 | 949k| 18 | 5.908423e+01 | -- | Inf
1503.98/1504.41 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1503.98/1504.41 c 1386s| 2640k| 10 | 1245 |8897k| 35 | - | 220 | 876 | 345 | 0 | 0 | 5 | 949k| 18 | 5.908423e+01 | -- | Inf
1510.28/1510.71 c 1392s| 2650k| 21 | 1245 |8895k| 35 | - | 220 | 876 | 602 | 0 | 0 | 5 | 949k| 18 | 5.908423e+01 | -- | Inf
1516.27/1516.77 c 1397s| 2660k| 18 | 1245 |8898k| 35 | - | 220 | 876 | 358 | 0 | 0 | 5 | 950k| 18 | 5.908423e+01 | -- | Inf
1522.77/1523.29 c 1403s| 2670k| 15 | 1245 |8897k| 35 | - | 220 | 876 | 371 | 0 | 0 | 5 | 950k| 18 | 5.908423e+01 | -- | Inf
1529.37/1529.81 c 1409s| 2680k| 16 | 1245 |8900k| 35 | - | 220 | 880 | 287 | 0 | 0 | 5 | 951k| 18 | 5.908423e+01 | -- | Inf
1535.57/1536.02 c 1415s| 2690k| 14 | 1245 |8899k| 35 | - | 220 | 877 | 241 | 0 | 0 | 5 | 951k| 18 | 5.908423e+01 | -- | Inf
1541.77/1542.27 c 1420s| 2700k| 13 | 1245 |8897k| 35 | - | 220 | 876 | 354 | 0 | 0 | 5 | 952k| 18 | 5.908423e+01 | -- | Inf
1548.27/1548.73 c 1426s| 2710k| 19 | 1245 |8897k| 35 | - | 220 | 884 | 514 | 0 | 0 | 5 | 952k| 18 | 5.908423e+01 | -- | Inf
1553.77/1554.25 c 1432s| 2720k| 17 | 1245 |8893k| 35 | - | 220 | 876 | 602 | 0 | 0 | 5 | 954k| 18 | 5.908423e+01 | -- | Inf
1560.06/1560.54 c 1437s| 2730k| 16 | 1245 |8891k| 35 | - | 220 | 876 | 691 | 0 | 0 | 5 | 954k| 18 | 5.908423e+01 | -- | Inf
1566.76/1567.20 c 1443s| 2740k| 14 | 1245 |8898k| 35 | - | 220 | 876 | 381 | 0 | 0 | 5 | 955k| 18 | 5.908423e+01 | -- | Inf
1572.86/1573.35 c 1449s| 2750k| 19 | 1245 |8893k| 35 | - | 220 | 878 | 652 | 0 | 0 | 5 | 955k| 18 | 5.908423e+01 | -- | Inf
1579.06/1579.58 c 1455s| 2760k| 15 | 1245 |8896k| 35 | - | 220 | 883 | 623 | 0 | 0 | 5 | 956k| 18 | 5.908423e+01 | -- | Inf
1586.06/1586.56 c 1461s| 2770k| 14 | 1245 |8892k| 35 | - | 220 | 876 | 649 | 0 | 0 | 5 | 956k| 18 | 5.908423e+01 | -- | Inf
1593.65/1594.19 c 1468s| 2780k| 17 | 1245 |8898k| 35 | - | 220 | 876 | 369 | 0 | 0 | 5 | 957k| 18 | 5.908423e+01 | -- | Inf
1600.45/1600.96 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1600.45/1600.96 c 1474s| 2790k| 16 | 1245 |8893k| 35 | - | 220 | 876 | 610 | 0 | 0 | 5 | 957k| 18 | 5.908423e+01 | -- | Inf
1606.95/1607.46 c 1480s| 2800k| 18 | 1245 |8892k| 35 | - | 220 | 876 | 710 | 0 | 0 | 5 | 957k| 18 | 5.908423e+01 | -- | Inf
1613.75/1614.23 c 1487s| 2810k| 11 | 1245 |8898k| 35 | - | 220 | 876 | 349 | 0 | 0 | 5 | 957k| 18 | 5.908423e+01 | -- | Inf
1620.75/1621.24 c 1493s| 2820k| 15 | 1245 |8899k| 35 | - | 220 | 881 | 315 | 0 | 0 | 5 | 958k| 18 | 5.908423e+01 | -- | Inf
1627.74/1628.26 c 1499s| 2830k| 12 | 1245 |8899k| 35 | - | 220 | 876 | 236 | 0 | 0 | 5 | 958k| 18 | 5.908423e+01 | -- | Inf
1634.15/1634.69 c 1505s| 2840k| 14 | 1245 |8898k| 35 | - | 220 | 876 | 341 | 0 | 0 | 5 | 959k| 18 | 5.908423e+01 | -- | Inf
1640.64/1641.15 c 1511s| 2850k| 16 | 1245 |8894k| 35 | - | 220 | 876 | 550 | 0 | 0 | 5 | 959k| 18 | 5.908423e+01 | -- | Inf
1647.04/1647.54 c 1517s| 2860k| 13 | 1245 |8898k| 35 | - | 220 | 876 | 363 | 0 | 0 | 5 | 959k| 18 | 5.908423e+01 | -- | Inf
1653.64/1654.19 c 1523s| 2870k| 15 | 1245 |8892k| 35 | - | 220 | 876 | 701 | 0 | 0 | 5 | 960k| 18 | 5.908423e+01 | -- | Inf
1659.84/1660.40 c 1529s| 2880k| 16 | 1245 |8899k| 35 | - | 220 | 876 | 289 | 0 | 0 | 5 | 961k| 18 | 5.908423e+01 | -- | Inf
1667.04/1667.51 c 1535s| 2890k| 14 | 1245 |8892k| 35 | - | 220 | 876 | 711 | 0 | 0 | 5 | 961k| 18 | 5.908423e+01 | -- | Inf
1673.13/1673.62 c 1541s| 2900k| 15 | 1245 |8899k| 35 | - | 220 | 884 | 496 | 0 | 0 | 5 | 962k| 18 | 5.908423e+01 | -- | Inf
1678.83/1679.30 c 1546s| 2910k| 14 | 1245 |8893k| 35 | - | 220 | 877 | 629 | 0 | 0 | 5 | 963k| 18 | 5.908423e+01 | -- | Inf
1685.03/1685.53 c 1552s| 2920k| 17 | 1245 |8893k| 35 | - | 220 | 876 | 643 | 0 | 0 | 5 | 963k| 18 | 5.908423e+01 | -- | Inf
1691.72/1692.23 c 1558s| 2930k| 17 | 1245 |8899k| 35 | - | 220 | 876 | 370 | 0 | 0 | 5 | 963k| 18 | 5.908423e+01 | -- | Inf
1698.32/1698.81 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1698.32/1698.81 c 1564s| 2940k| 16 | 1245 |8899k| 35 | - | 220 | 876 | 369 | 0 | 0 | 5 | 964k| 18 | 5.908423e+01 | -- | Inf
1705.02/1705.50 c 1570s| 2950k| 13 | 1245 |8893k| 35 | - | 220 | 876 | 598 | 0 | 0 | 5 | 964k| 18 | 5.908423e+01 | -- | Inf
1711.83/1712.38 c 1577s| 2960k| 15 | 1245 |8892k| 35 | - | 220 | 876 | 714 | 0 | 0 | 5 | 964k| 18 | 5.908423e+01 | -- | Inf
1718.82/1719.31 c 1583s| 2970k| 17 | 1245 |8894k| 35 | - | 220 | 876 | 585 | 0 | 0 | 5 | 965k| 18 | 5.908423e+01 | -- | Inf
1725.32/1725.82 c 1589s| 2980k| 12 | 1245 |8891k| 35 | - | 220 | 876 | 702 | 0 | 0 | 5 | 965k| 18 | 5.908423e+01 | -- | Inf
1731.72/1732.26 c 1595s| 2990k| 15 | 1245 |8892k| 35 | - | 220 | 876 | 729 | 0 | 0 | 5 | 965k| 18 | 5.908423e+01 | -- | Inf
1738.21/1738.70 c 1601s| 3000k| 14 | 1245 |8892k| 35 | - | 220 | 876 | 699 | 0 | 0 | 5 | 965k| 18 | 5.908423e+01 | -- | Inf
1744.71/1745.27 c 1607s| 3010k| 16 | 1245 |8895k| 35 | - | 220 | 876 | 595 | 0 | 0 | 5 | 965k| 18 | 5.908423e+01 | -- | Inf
1751.21/1751.77 c 1613s| 3020k| 17 | 1245 |8894k| 35 | - | 220 | 878 | 642 | 0 | 0 | 5 | 966k| 18 | 5.908423e+01 | -- | Inf
1757.31/1757.81 c 1619s| 3030k| 14 | 1245 |8893k| 35 | - | 220 | 879 | 656 | 0 | 0 | 5 | 966k| 18 | 5.908423e+01 | -- | Inf
1763.91/1764.41 c 1625s| 3040k| 14 | 1245 |8898k| 35 | - | 220 | 876 | 352 | 0 | 0 | 5 | 966k| 18 | 5.908423e+01 | -- | Inf
1770.20/1770.78 c 1630s| 3050k| 13 | 1245 |8898k| 35 | - | 220 | 876 | 370 | 0 | 0 | 5 | 967k| 18 | 5.908423e+01 | -- | Inf
1775.90/1776.46 c 1636s| 3060k| 15 | 1245 |8898k| 35 | - | 220 | 879 | 381 | 0 | 0 | 5 | 968k| 18 | 5.908423e+01 | -- | Inf
1780.70/1781.20 c 1640s| 3070k| 15 | 1245 |8895k| 35 | - | 220 | 880 | 572 | 0 | 0 | 5 | 969k| 18 | 5.908423e+01 | -- | Inf
1786.50/1787.09 c 1645s| 3080k| 16 | 1245 |8898k| 35 | - | 220 | 881 | 451 | 0 | 0 | 5 | 970k| 18 | 5.908423e+01 | -- | Inf
1792.70/1793.22 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1792.70/1793.22 c 1651s| 3090k| 13 | 1245 |8899k| 35 | - | 220 | 876 | 358 | 0 | 0 | 5 | 970k| 18 | 5.908423e+01 | -- | Inf
1799.40/1799.95 c 1657s| 3100k| 14 | 1245 |8901k| 35 | - | 220 | 890 | 353 | 0 | 0 | 5 | 971k| 18 | 5.908423e+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) : 1657.86
1800.10/1800.61 c Solving Nodes : 3100976
1800.10/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.10/1800.61 c Dual Bound : +5.90842279350210e+01
1800.10/1800.61 c Gap : infinite
1800.10/1800.61 c NODE 3100976
1800.10/1800.61 c DUAL BOUND 59.0842
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 : 1657.86
1800.10/1800.61 c Original Problem :
1800.10/1800.61 c Problem name : HOME/instance-1884177-1245255474.opb
1800.10/1800.61 c Variables : 220 (220 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.61 c Constraints : 880 initial, 880 maximal
1800.10/1800.61 c Presolved Problem :
1800.10/1800.61 c Problem name : t_HOME/instance-1884177-1245255474.opb
1800.10/1800.61 c Variables : 220 (220 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.61 c Constraints : 880 initial, 1180 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 : - 1 - - 1 - - - -
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 : 880+ 5 50397370 0 0 1781398 149502938 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 : 1.65 0.00 0.00 1.65 0.00
1800.10/1800.61 c logicor : 562.10 0.01 562.09 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.73 0 0 0
1800.10/1800.61 c pseudoobj : 596.02 50784402 0 0
1800.10/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.61 c propagation : 125.66 1781398 877146 877146 21.8 96761 12.1 -
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 : - - - 971047 20.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 - - 494 - (maximal pool size: 1389)
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.55 5 0 0 0 0
1800.10/1800.61 c strongcg : 0.45 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.00 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 : 1.65 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 : 53.20 1794811 0 0 0 0 3589622
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.24 6 1245 207.50 5187.50
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 : 1.65 18 5051 280.61 3061.21
1800.10/1800.61 c (at root node) : - 18 5051 280.61 -
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 : 3100976
1800.10/1800.61 c nodes (total) : 3100976
1800.10/1800.61 c nodes left : 13
1800.10/1800.61 c max depth : 35
1800.10/1800.61 c max depth (total): 35
1800.10/1800.61 c backtracks : 897336 (28.9%)
1800.10/1800.61 c delayed cutoffs : 488636
1800.10/1800.61 c repropagations : 898513 (32603732 domain reductions, 475234 cutoffs)
1800.10/1800.61 c avg switch length: 2.10
1800.10/1800.61 c switching time : 196.12
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.90842279350210e+01
1800.10/1800.61 c Gap : infinite
1800.10/1800.61 c Root Dual Bound : +5.86337543271674e+01
1800.10/1800.62 c Time complete: 1800.12.