0.19/0.20 c SCIP version 1.1.0.7
0.19/0.20 c LP-Solver SoPlex 1.4.1
0.19/0.20 c user parameter file <scip.set> not found - using default parameters
0.19/0.20 c read problem <HOME/instance-1884197-1245255946.opb>
0.19/0.20 c original problem has 1605 variables (1605 bin, 0 int, 0 impl, 0 cont) and 8025 constraints
0.19/0.26 c No objective function, only one solution is needed.
0.19/0.26 c start presolving problem
0.19/0.26 c presolving:
0.29/0.32 c (round 1) 40 del vars, 262 del conss, 28 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 778 impls, 0 clqs
0.29/0.33 c (round 2) 42 del vars, 369 del conss, 30 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1172 impls, 0 clqs
0.69/0.74 c (round 3) 42 del vars, 1365 del conss, 30 chg bounds, 78 chg sides, 0 chg coeffs, 6683 upgd conss, 1172 impls, 0 clqs
0.69/0.78 c (round 4) 42 del vars, 1366 del conss, 30 chg bounds, 78 chg sides, 0 chg coeffs, 6683 upgd conss, 1172 impls, 0 clqs
0.78/0.80 c presolving (5 rounds):
0.78/0.80 c 42 deleted vars, 1366 deleted constraints, 30 tightened bounds, 0 added holes, 78 changed sides, 0 changed coefficients
0.78/0.80 c 1172 implications, 0 cliques
0.78/0.80 c presolved problem has 1563 variables (1563 bin, 0 int, 0 impl, 0 cont) and 6659 constraints
0.78/0.80 c 6659 constraints of type <logicor>
0.78/0.80 c transformed objective value is always integral (scale: 1)
0.78/0.80 c Presolving Time: 0.51
0.78/0.80 c PURESAT
0.78/0.80 c -----------------------------------------------------------------------------------------------
0.78/0.80 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.78/0.80 c # [type: int, range: [-1,2147483647], default: 0]
0.78/0.80 c separating/flowcover/freq = c -1
0.78/0.80 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.78/0.80 c # [type: int, range: [-1,2147483647], default: 0]
0.78/0.80 c separating/cmir/freq = c -1
0.78/0.80 c # additional number of allowed LP iterations
0.78/0.80 c # [type: int, range: [0,2147483647], default: 1000]
0.78/0.80 c heuristics/veclendiving/maxlpiterofs = c 1500
0.78/0.80 c # maximal fraction of diving LP iterations compared to node LP iterations
0.78/0.80 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.78/0.80 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.78/0.80 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.78/0.80 c # [type: int, range: [-1,2147483647], default: 10]
0.78/0.80 c heuristics/veclendiving/freq = c -1
0.78/0.80 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.78/0.80 c # [type: int, range: [-1,2147483647], default: 1]
0.78/0.80 c heuristics/simplerounding/freq = c -1
0.78/0.80 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.78/0.80 c # [type: int, range: [-1,2147483647], default: 10]
0.78/0.80 c heuristics/shifting/freq = c -1
0.78/0.80 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.78/0.80 c # [type: int, range: [-1,2147483647], default: 1]
0.78/0.80 c heuristics/rounding/freq = c -1
0.78/0.80 c # additional number of allowed LP iterations
0.78/0.80 c # [type: int, range: [0,2147483647], default: 1000]
0.78/0.80 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.78/0.80 c # maximal fraction of diving LP iterations compared to node LP iterations
0.78/0.80 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.78/0.80 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.78/0.80 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.78/0.80 c # [type: int, range: [-1,2147483647], default: 20]
0.78/0.80 c heuristics/rootsoldiving/freq = c -1
0.78/0.80 c # number of nodes added to the contingent of the total nodes
0.78/0.80 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.78/0.80 c heuristics/rens/nodesofs = c 2000
0.78/0.80 c # minimum percentage of integer variables that have to be fixable
0.78/0.80 c # [type: real, range: [0,1], default: 0.5]
0.78/0.80 c heuristics/rens/minfixingrate = c 0.3
0.78/0.80 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.78/0.80 c # [type: int, range: [-1,2147483647], default: 0]
0.78/0.80 c heuristics/rens/freq = c -1
0.78/0.80 c # additional number of allowed LP iterations
0.78/0.80 c # [type: int, range: [0,2147483647], default: 1000]
0.78/0.80 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.78/0.80 c # maximal fraction of diving LP iterations compared to node LP iterations
0.78/0.80 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.78/0.80 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.78/0.80 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.78/0.80 c # [type: int, range: [-1,2147483647], default: 10]
0.78/0.80 c heuristics/pscostdiving/freq = c -1
0.78/0.80 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.78/0.80 c # [type: int, range: [-1,2147483647], default: 1]
0.78/0.80 c heuristics/oneopt/freq = c -1
0.78/0.80 c # additional number of allowed LP iterations
0.78/0.80 c # [type: int, range: [0,2147483647], default: 1000]
0.78/0.80 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.78/0.80 c # maximal fraction of diving LP iterations compared to total iteration number
0.78/0.80 c # [type: real, range: [0,1], default: 0.01]
0.78/0.80 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.78/0.80 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.78/0.80 c # [type: int, range: [-1,2147483647], default: 20]
0.78/0.80 c heuristics/objpscostdiving/freq = c -1
0.78/0.80 c # additional number of allowed LP iterations
0.78/0.80 c # [type: int, range: [0,2147483647], default: 1000]
0.78/0.80 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.78/0.80 c # maximal fraction of diving LP iterations compared to node LP iterations
0.78/0.80 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.78/0.80 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.78/0.80 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.78/0.80 c # [type: int, range: [-1,2147483647], default: 10]
0.78/0.80 c heuristics/linesearchdiving/freq = c -1
0.78/0.80 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.78/0.80 c # [type: int, range: [-1,2147483647], default: 10]
0.78/0.80 c heuristics/intshifting/freq = c -1
0.78/0.80 c # maximal fraction of diving LP iterations compared to node LP iterations
0.78/0.80 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.78/0.80 c heuristics/intdiving/maxlpiterquot = c 0.075
0.78/0.80 c # additional number of allowed LP iterations
0.78/0.80 c # [type: int, range: [0,2147483647], default: 1000]
0.78/0.80 c heuristics/guideddiving/maxlpiterofs = c 1500
0.78/0.80 c # maximal fraction of diving LP iterations compared to node LP iterations
0.78/0.80 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.78/0.80 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.78/0.80 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.78/0.80 c # [type: int, range: [-1,2147483647], default: 10]
0.78/0.80 c heuristics/guideddiving/freq = c -1
0.78/0.80 c # additional number of allowed LP iterations
0.78/0.80 c # [type: int, range: [0,2147483647], default: 1000]
0.78/0.80 c heuristics/fracdiving/maxlpiterofs = c 1500
0.78/0.80 c # maximal fraction of diving LP iterations compared to node LP iterations
0.78/0.80 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.78/0.80 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.78/0.80 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.78/0.80 c # [type: int, range: [-1,2147483647], default: 10]
0.78/0.80 c heuristics/fracdiving/freq = c -1
0.78/0.80 c # additional number of allowed LP iterations
0.78/0.80 c # [type: int, range: [0,2147483647], default: 1000]
0.78/0.80 c heuristics/feaspump/maxlpiterofs = c 2000
0.78/0.80 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.78/0.80 c # [type: int, range: [-1,2147483647], default: 20]
0.78/0.80 c heuristics/feaspump/freq = c -1
0.78/0.80 c # minimum percentage of integer variables that have to be fixed
0.78/0.80 c # [type: real, range: [0,1], default: 0.666]
0.78/0.80 c heuristics/crossover/minfixingrate = c 0.5
0.78/0.80 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.78/0.80 c # [type: real, range: [0,1], default: 0.1]
0.78/0.80 c heuristics/crossover/nodesquot = c 0.15
0.78/0.80 c # number of nodes without incumbent change that heuristic should wait
0.78/0.80 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.78/0.80 c heuristics/crossover/nwaitingnodes = c 100
0.78/0.80 c # number of nodes added to the contingent of the total nodes
0.78/0.80 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.78/0.80 c heuristics/crossover/nodesofs = c 750
0.78/0.80 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.78/0.80 c # [type: int, range: [-1,2147483647], default: 30]
0.78/0.80 c heuristics/crossover/freq = c -1
0.78/0.80 c # additional number of allowed LP iterations
0.78/0.80 c # [type: int, range: [0,2147483647], default: 1000]
0.78/0.80 c heuristics/coefdiving/maxlpiterofs = c 1500
0.78/0.80 c # maximal fraction of diving LP iterations compared to node LP iterations
0.78/0.80 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.78/0.81 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.78/0.81 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.78/0.81 c # [type: int, range: [-1,2147483647], default: 10]
0.78/0.81 c heuristics/coefdiving/freq = c -1
0.78/0.81 c # priority of node selection rule <dfs> in standard mode
0.78/0.81 c # [type: int, range: [-536870912,536870911], default: 0]
0.78/0.81 c nodeselection/dfs/stdpriority = c 1000000
0.78/0.81 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.78/0.81 c # [type: int, range: [-1,2147483647], default: -1]
0.78/0.81 c presolving/probing/maxrounds = c 0
0.78/0.81 c # should presolving try to simplify knapsacks
0.78/0.81 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.78/0.81 c constraints/knapsack/simplifyinequalities = c TRUE
0.78/0.81 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.78/0.81 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.78/0.81 c constraints/knapsack/disaggregation = c FALSE
0.78/0.81 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.78/0.81 c # [type: int, range: [-1,2147483647], default: -1]
0.78/0.81 c constraints/knapsack/maxnumcardlift = c 0
0.78/0.81 c # should presolving try to simplify inequalities
0.78/0.81 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.78/0.81 c constraints/linear/simplifyinequalities = c TRUE
0.78/0.81 c # maximal number of separation rounds in the root node (-1: unlimited)
0.78/0.81 c # [type: int, range: [-1,2147483647], default: -1]
0.78/0.81 c separating/maxroundsroot = c 5
0.78/0.81 c # maximal number of separation rounds per node (-1: unlimited)
0.78/0.81 c # [type: int, range: [-1,2147483647], default: 5]
0.78/0.81 c separating/maxrounds = c 1
0.78/0.81 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.78/0.81 c # [type: char, range: {lafpsqd}, default: l]
0.78/0.81 c lp/pricing = c a
0.78/0.81 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.78/0.81 c # [type: int, range: [-1,2147483647], default: 1]
0.78/0.81 c lp/solvefreq = c 0
0.78/0.81 c # solving stops, if the given number of solutions were found (-1: no limit)
0.78/0.81 c # [type: int, range: [-1,2147483647], default: -1]
0.78/0.81 c limits/solutions = c 1
0.78/0.81 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.78/0.81 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.78/0.81 c limits/memory = c 1620
0.78/0.81 c # maximal time in seconds to run
0.78/0.81 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.78/0.81 c limits/time = c 1791
0.78/0.81 c # frequency for displaying node information lines
0.78/0.81 c # [type: int, range: [-1,2147483647], default: 100]
0.78/0.81 c display/freq = c 10000
0.78/0.81 c # should enforcement of pseudo solution be disabled?
0.78/0.81 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.78/0.81 c constraints/disableenfops = c TRUE
0.78/0.81 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.78/0.81 c # [type: int, range: [-1,2147483647], default: 0]
0.78/0.81 c constraints/agelimit = c 1
0.78/0.81 c # should binary conflicts be preferred?
0.78/0.81 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.78/0.81 c conflict/preferbinary = c TRUE
0.78/0.81 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.78/0.81 c # [type: int, range: [-1,2147483647], default: -1]
0.78/0.81 c conflict/interconss = c 0
0.78/0.81 c -----------------------------------------------------------------------------------------------
0.78/0.81 c start solving problem
0.78/0.81 c
0.89/0.95 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.95 c 0.7s| 1 | 0 | 177 | 15M| 0 | 131 |1563 |6659 |6659 |1563 |6659 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
1.29/1.31 c 1.0s| 1 | 0 | 376 | 15M| 0 | 140 |1563 |6659 |6659 |1563 |6690 | 31 | 0 | 0 | 1.041000e+02 | -- | Inf
2.09/2.16 c 1.9s| 1 | 0 | 899 | 16M| 0 | 162 |1563 |6659 |6659 |1563 |6708 | 49 | 0 | 0 | 1.097652e+02 | -- | Inf
3.68/3.79 c 3.5s| 1 | 0 | 1116 | 18M| 0 | 151 |1563 |6659 |6659 |1563 |6725 | 66 | 0 | 0 | 1.130118e+02 | -- | Inf
6.19/6.23 c 5.9s| 1 | 0 | 1348 | 20M| 0 | 168 |1563 |6659 |6659 |1563 |6736 | 77 | 0 | 0 | 1.148972e+02 | -- | Inf
8.69/8.74 c 8.4s| 1 | 0 | 1616 | 22M| 0 | 170 |1563 |6659 |6659 |1563 |6751 | 92 | 0 | 0 | 1.168224e+02 | -- | Inf
15.98/16.05 c 15.7s| 1 | 2 | 1616 | 22M| 0 | 170 |1563 |6659 |6659 |1563 |6751 | 92 | 0 | 29 | 1.168224e+02 | -- | Inf
23.28/23.36 c 22.8s| 10000 | 40 | 1616 | 22M| 688 | - |1563 |6683 |2026 | 0 | 0 | 92 |5194 | 29 | 1.172218e+02 | -- | Inf
30.87/30.91 c 30.2s| 20000 | 41 | 1616 | 22M| 688 | - |1563 |6691 |2230 | 0 | 0 | 92 | 11k| 29 | 1.172218e+02 | -- | Inf
38.77/38.84 c 37.9s| 30000 | 33 | 1616 | 22M| 688 | - |1563 |6748 |2027 | 0 | 0 | 92 | 17k| 29 | 1.172218e+02 | -- | Inf
46.47/46.51 c 45.4s| 40000 | 53 | 1616 | 22M| 688 | - |1563 |6690 |2988 | 0 | 0 | 92 | 24k| 29 | 1.172218e+02 | -- | Inf
54.66/54.73 c 53.4s| 50000 | 39 | 1616 | 22M| 688 | - |1563 |6707 |3182 | 0 | 0 | 92 | 30k| 29 | 1.172218e+02 | -- | Inf
62.46/62.58 c 61.0s| 60000 | 45 | 1616 | 22M| 688 | - |1563 |6711 |3009 | 0 | 0 | 92 | 37k| 29 | 1.172218e+02 | -- | Inf
70.46/70.60 c 68.9s| 70000 | 42 | 1616 | 22M| 688 | - |1563 |6730 |3061 | 0 | 0 | 92 | 43k| 29 | 1.172218e+02 | -- | Inf
78.16/78.24 c 76.3s| 80000 | 40 | 1616 | 22M| 688 | - |1563 |6737 |2484 | 0 | 0 | 92 | 49k| 29 | 1.172218e+02 | -- | Inf
85.45/85.50 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.45/85.50 c 83.4s| 90000 | 38 | 1616 | 22M| 688 | - |1563 |6714 |2573 | 0 | 0 | 92 | 54k| 29 | 1.172218e+02 | -- | Inf
93.85/93.90 c 91.5s|100000 | 47 | 1616 | 22M| 688 | - |1563 |6753 |2329 | 0 | 0 | 92 | 61k| 29 | 1.172218e+02 | -- | Inf
101.45/101.51 c 99.0s|110000 | 38 | 1616 | 22M| 688 | - |1563 |6689 |3111 | 0 | 0 | 92 | 67k| 29 | 1.172218e+02 | -- | Inf
109.15/109.23 c 106s|120000 | 41 | 1616 | 22M| 688 | - |1563 |6712 |3001 | 0 | 0 | 92 | 73k| 29 | 1.172218e+02 | -- | Inf
116.85/116.99 c 114s|130000 | 37 | 1616 | 22M| 688 | - |1563 |6697 |3180 | 0 | 0 | 92 | 79k| 29 | 1.172218e+02 | -- | Inf
124.84/124.98 c 122s|140000 | 43 | 1616 | 22M| 688 | - |1563 |6729 |2981 | 0 | 0 | 92 | 86k| 29 | 1.172218e+02 | -- | Inf
133.23/133.37 c 130s|150000 | 42 | 1616 | 22M| 688 | - |1563 |6705 |3057 | 0 | 0 | 92 | 93k| 29 | 1.172218e+02 | -- | Inf
140.33/140.46 c 137s|160000 | 47 | 1616 | 22M| 818 | - |1563 |6751 |2210 | 0 | 0 | 92 | 98k| 29 | 1.172218e+02 | -- | Inf
147.73/147.80 c 144s|170000 | 44 | 1616 | 22M| 834 | - |1563 |6691 |2458 | 0 | 0 | 92 | 104k| 29 | 1.172218e+02 | -- | Inf
154.33/154.43 c 151s|180000 | 205 | 1616 | 23M| 946 | - |1563 |6750 |2798 | 0 | 0 | 92 | 108k| 29 | 1.172218e+02 | -- | Inf
161.13/161.22 c 157s|190000 | 37 | 1616 | 23M| 946 | - |1563 |6718 |3243 | 0 | 0 | 92 | 113k| 29 | 1.172218e+02 | -- | Inf
167.03/167.16 c 163s|200000 | 167 | 1616 | 23M| 946 | - |1563 |6747 |2783 | 0 | 0 | 92 | 116k| 29 | 1.172218e+02 | -- | Inf
173.42/173.53 c 169s|210000 | 114 | 1616 | 23M| 966 | - |1563 |7111 |2881 | 0 | 0 | 92 | 120k| 29 | 1.172218e+02 | -- | Inf
180.82/180.93 c 176s|220000 | 356 | 1616 | 23M| 966 | - |1563 |6707 |2979 | 0 | 0 | 92 | 125k| 29 | 1.172218e+02 | -- | Inf
186.12/186.28 c 182s|230000 | 715 | 1616 | 23M|1007 | - |1563 |6821 |3618 | 0 | 0 | 92 | 128k| 29 | 1.172218e+02 | -- | Inf
192.32/192.46 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
192.32/192.46 c 188s|240000 | 31 | 1616 | 23M|1007 | - |1563 |6929 |4977 | 0 | 0 | 92 | 131k| 29 | 1.172218e+02 | -- | Inf
197.82/197.92 c 193s|250000 | 77 | 1616 | 23M|1031 | - |1563 |6756 |4798 | 0 | 0 | 92 | 133k| 29 | 1.172218e+02 | -- | Inf
203.42/203.51 c 198s|260000 | 298 | 1616 | 23M|1031 | - |1563 |6862 |4218 | 0 | 0 | 92 | 136k| 29 | 1.172218e+02 | -- | Inf
208.71/208.81 c 204s|270000 | 33 | 1616 | 23M|1092 | - |1563 |6731 |4940 | 0 | 0 | 92 | 138k| 29 | 1.172218e+02 | -- | Inf
216.01/216.19 c 211s|280000 | 25 | 1616 | 23M|1092 | - |1563 |6752 |5221 | 0 | 0 | 92 | 143k| 29 | 1.172218e+02 | -- | Inf
222.21/222.33 c 217s|290000 | 34 | 1616 | 23M|1092 | - |1563 |6916 |4658 | 0 | 0 | 92 | 146k| 29 | 1.172218e+02 | -- | Inf
228.70/228.81 c 223s|300000 | 88 | 1616 | 23M|1092 | - |1563 |6802 |4500 | 0 | 0 | 92 | 150k| 29 | 1.172218e+02 | -- | Inf
235.60/235.74 c 230s|310000 | 37 | 1616 | 23M|1092 | - |1563 |6759 |5219 | 0 | 0 | 92 | 155k| 29 | 1.172218e+02 | -- | Inf
241.81/241.92 c 236s|320000 | 23 | 1616 | 23M|1092 | - |1563 |6948 |5295 | 0 | 0 | 92 | 158k| 29 | 1.172218e+02 | -- | Inf
248.70/248.86 c 243s|330000 | 110 | 1616 | 23M|1092 | - |1563 |7379 |4953 | 0 | 0 | 92 | 163k| 29 | 1.172218e+02 | -- | Inf
253.30/253.45 c 247s|340000 | 116 | 1616 | 23M|1092 | - |1563 |7448 |4920 | 0 | 0 | 92 | 165k| 29 | 1.172218e+02 | -- | Inf
258.69/258.84 c 252s|350000 | 432 | 1616 | 23M|1092 | - |1563 |7662 |4081 | 0 | 0 | 92 | 167k| 29 | 1.172218e+02 | -- | Inf
263.99/264.15 c 258s|360000 | 35 | 1616 | 23M|1092 | - |1563 |7864 |5109 | 0 | 0 | 92 | 170k| 29 | 1.172218e+02 | -- | Inf
269.79/269.94 c 263s|370000 | 105 | 1616 | 23M|1162 | - |1563 |7994 |4824 | 0 | 0 | 92 | 172k| 29 | 1.172218e+02 | -- | Inf
274.90/275.01 c 268s|380000 | 108 | 1616 | 23M|1162 | - |1563 |8224 |4427 | 0 | 0 | 92 | 175k| 29 | 1.172218e+02 | -- | Inf
280.78/280.95 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
280.78/280.95 c 274s|390000 | 27 | 1616 | 23M|1162 | - |1563 |8414 |4936 | 0 | 0 | 92 | 178k| 29 | 1.172218e+02 | -- | Inf
286.28/286.43 c 279s|400000 | 17 | 1616 | 24M|1162 | - |1563 |8550 |5077 | 0 | 0 | 92 | 180k| 29 | 1.172218e+02 | -- | Inf
292.58/292.73 c 286s|410000 | 23 | 1616 | 24M|1162 | - |1563 |8581 |5070 | 0 | 0 | 92 | 184k| 29 | 1.172218e+02 | -- | Inf
298.99/299.18 c 292s|420000 | 28 | 1616 | 23M|1162 | - |1563 |6805 |5028 | 0 | 0 | 92 | 188k| 29 | 1.172218e+02 | -- | Inf
303.38/303.58 c 296s|430000 | 863 | 1616 | 23M|1185 | - |1563 |6751 |3581 | 0 | 0 | 92 | 189k| 29 | 1.172218e+02 | -- | Inf
309.87/310.02 c 302s|440000 | 20 | 1616 | 23M|1190 | - |1563 |6754 |5161 | 0 | 0 | 92 | 193k| 29 | 1.172218e+02 | -- | Inf
314.38/314.52 c 307s|450000 | 22 | 1616 | 23M|1190 | - |1563 |6769 |5451 | 0 | 0 | 92 | 195k| 29 | 1.172218e+02 | -- | Inf
319.57/319.74 c 312s|460000 | 32 | 1616 | 23M|1190 | - |1563 |6874 |4959 | 0 | 0 | 92 | 197k| 29 | 1.172218e+02 | -- | Inf
326.47/326.66 c 319s|470000 | 126 | 1616 | 23M|1204 | - |1563 |7063 |4829 | 0 | 0 | 92 | 201k| 29 | 1.172218e+02 | -- | Inf
332.86/333.03 c 325s|480000 | 1107 | 1616 | 23M|1204 | - |1563 |6755 |3348 | 0 | 0 | 92 | 205k| 29 | 1.172218e+02 | -- | Inf
338.46/338.62 c 330s|490000 | 24 | 1616 | 23M|1204 | - |1563 |6850 |5074 | 0 | 0 | 92 | 207k| 29 | 1.172218e+02 | -- | Inf
344.06/344.24 c 336s|500000 | 21 | 1616 | 23M|1204 | - |1563 |6934 |5102 | 0 | 0 | 92 | 210k| 29 | 1.172218e+02 | -- | Inf
349.76/349.98 c 341s|510000 | 36 | 1616 | 23M|1204 | - |1563 |6776 |5103 | 0 | 0 | 92 | 213k| 29 | 1.172218e+02 | -- | Inf
356.46/356.62 c 348s|520000 | 34 | 1616 | 23M|1204 | - |1563 |6740 |5092 | 0 | 0 | 92 | 216k| 29 | 1.172218e+02 | -- | Inf
362.36/362.53 c 354s|530000 | 20 | 1616 | 23M|1204 | - |1563 |6742 |5326 | 0 | 0 | 92 | 218k| 29 | 1.172218e+02 | -- | Inf
367.16/367.33 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
367.16/367.33 c 358s|540000 | 102 | 1616 | 23M|1204 | - |1563 |6769 |4371 | 0 | 0 | 92 | 220k| 29 | 1.172218e+02 | -- | Inf
373.35/373.50 c 364s|550000 | 1011 | 1616 | 23M|1204 | - |1563 |6744 |3405 | 0 | 0 | 92 | 224k| 29 | 1.172218e+02 | -- | Inf
379.05/379.20 c 370s|560000 | 25 | 1616 | 23M|1204 | - |1563 |6703 |5487 | 0 | 0 | 92 | 226k| 29 | 1.172218e+02 | -- | Inf
385.65/385.80 c 376s|570000 | 959 | 1616 | 23M|1204 | - |1563 |6800 |3734 | 0 | 0 | 92 | 231k| 29 | 1.172218e+02 | -- | Inf
391.04/391.23 c 382s|580000 | 621 | 1616 | 23M|1204 | - |1563 |6739 |4189 | 0 | 0 | 92 | 234k| 29 | 1.172218e+02 | -- | Inf
396.55/396.73 c 387s|590000 | 26 | 1616 | 23M|1204 | - |1563 |6750 |5383 | 0 | 0 | 92 | 236k| 29 | 1.172218e+02 | -- | Inf
403.24/403.40 c 394s|600000 | 1005 | 1616 | 24M|1204 | - |1563 |6973 |3666 | 0 | 0 | 92 | 240k| 29 | 1.172218e+02 | -- | Inf
408.43/408.69 c 399s|610000 | 26 | 1616 | 23M|1204 | - |1563 |7133 |5248 | 0 | 0 | 92 | 243k| 29 | 1.172218e+02 | -- | Inf
414.44/414.63 c 405s|620000 | 228 | 1616 | 23M|1204 | - |1563 |6752 |4832 | 0 | 0 | 92 | 247k| 29 | 1.172218e+02 | -- | Inf
419.54/419.75 c 410s|630000 | 47 | 1616 | 23M|1204 | - |1563 |6759 |5256 | 0 | 0 | 92 | 249k| 29 | 1.172218e+02 | -- | Inf
426.33/426.50 c 416s|640000 | 401 | 1616 | 23M|1204 | - |1563 |6760 |3697 | 0 | 0 | 92 | 253k| 29 | 1.172218e+02 | -- | Inf
431.04/431.24 c 421s|650000 | 27 | 1616 | 23M|1204 | - |1563 |6752 |5308 | 0 | 0 | 92 | 255k| 29 | 1.172218e+02 | -- | Inf
436.63/436.83 c 426s|660000 | 606 | 1616 | 23M|1204 | - |1563 |6770 |4277 | 0 | 0 | 92 | 257k| 29 | 1.172218e+02 | -- | Inf
442.53/442.76 c 432s|670000 | 24 | 1616 | 23M|1204 | - |1563 |6987 |5074 | 0 | 0 | 92 | 260k| 29 | 1.172218e+02 | -- | Inf
448.83/449.09 c 438s|680000 | 180 | 1616 | 23M|1204 | - |1563 |6844 |4953 | 0 | 0 | 92 | 263k| 29 | 1.172218e+02 | -- | Inf
454.73/454.90 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
454.73/454.90 c 444s|690000 | 464 | 1616 | 23M|1204 | - |1563 |6906 |3621 | 0 | 0 | 92 | 266k| 29 | 1.172218e+02 | -- | Inf
461.12/461.38 c 450s|700000 | 22 | 1616 | 23M|1204 | - |1563 |6960 |5259 | 0 | 0 | 92 | 269k| 29 | 1.172218e+02 | -- | Inf
466.22/466.47 c 455s|710000 | 24 | 1616 | 23M|1204 | - |1563 |6737 |5297 | 0 | 0 | 92 | 271k| 29 | 1.172218e+02 | -- | Inf
472.02/472.25 c 461s|720000 | 695 | 1616 | 23M|1204 | - |1563 |6764 |3399 | 0 | 0 | 92 | 274k| 29 | 1.172218e+02 | -- | Inf
477.72/477.97 c 466s|730000 | 41 | 1616 | 23M|1204 | - |1563 |6751 |5335 | 0 | 0 | 92 | 277k| 29 | 1.172218e+02 | -- | Inf
482.61/482.90 c 471s|740000 | 1070 | 1616 | 24M|1204 | - |1563 |6813 |3440 | 0 | 0 | 92 | 279k| 29 | 1.172218e+02 | -- | Inf
488.22/488.40 c 477s|750000 | 78 | 1616 | 23M|1204 | - |1563 |6791 |5034 | 0 | 0 | 92 | 281k| 29 | 1.172218e+02 | -- | Inf
494.51/494.75 c 483s|760000 | 17 | 1616 | 23M|1204 | - |1563 |6739 |5388 | 0 | 0 | 92 | 284k| 29 | 1.172218e+02 | -- | Inf
501.31/501.55 c 489s|770000 | 19 | 1616 | 23M|1204 | - |1563 |6764 |5225 | 0 | 0 | 92 | 287k| 29 | 1.172218e+02 | -- | Inf
506.81/507.02 c 495s|780000 | 24 | 1616 | 23M|1204 | - |1563 |6757 |5391 | 0 | 0 | 92 | 290k| 29 | 1.172218e+02 | -- | Inf
515.00/515.24 c 503s|790000 | 20 | 1616 | 23M|1204 | - |1563 |6746 |5231 | 0 | 0 | 92 | 296k| 29 | 1.172218e+02 | -- | Inf
519.50/519.71 c 507s|800000 | 990 | 1616 | 23M|1204 | - |1563 |6758 |3148 | 0 | 0 | 92 | 297k| 29 | 1.172218e+02 | -- | Inf
525.10/525.36 c 513s|810000 | 934 | 1616 | 23M|1204 | - |1563 |6752 |3467 | 0 | 0 | 92 | 300k| 29 | 1.172218e+02 | -- | Inf
531.80/532.00 c 519s|820000 | 524 | 1616 | 23M|1204 | - |1563 |6730 |4251 | 0 | 0 | 92 | 303k| 29 | 1.172218e+02 | -- | Inf
537.79/538.02 c 525s|830000 | 791 | 1616 | 23M|1204 | - |1563 |6716 |3937 | 0 | 0 | 92 | 306k| 29 | 1.172218e+02 | -- | Inf
543.99/544.23 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
543.99/544.23 c 531s|840000 | 96 | 1616 | 23M|1204 | - |1563 |6718 |5134 | 0 | 0 | 92 | 309k| 29 | 1.172218e+02 | -- | Inf
549.59/549.82 c 537s|850000 | 106 | 1616 | 23M|1204 | - |1563 |6732 |5046 | 0 | 0 | 92 | 312k| 29 | 1.172218e+02 | -- | Inf
556.18/556.42 c 543s|860000 | 22 | 1616 | 23M|1204 | - |1563 |6800 |5085 | 0 | 0 | 92 | 315k| 29 | 1.172218e+02 | -- | Inf
561.99/562.28 c 549s|870000 | 77 | 1616 | 23M|1204 | - |1563 |6757 |4739 | 0 | 0 | 92 | 318k| 29 | 1.172218e+02 | -- | Inf
567.78/568.03 c 554s|880000 | 30 | 1616 | 23M|1204 | - |1563 |6748 |5113 | 0 | 0 | 92 | 321k| 29 | 1.172218e+02 | -- | Inf
573.18/573.49 c 560s|890000 | 392 | 1616 | 23M|1204 | - |1563 |6755 |4389 | 0 | 0 | 92 | 324k| 29 | 1.172218e+02 | -- | Inf
579.98/580.22 c 566s|900000 | 52 | 1616 | 23M|1204 | - |1563 |6735 |5137 | 0 | 0 | 92 | 327k| 29 | 1.172218e+02 | -- | Inf
585.87/586.12 c 572s|910000 | 26 | 1616 | 23M|1204 | - |1563 |6762 |5088 | 0 | 0 | 92 | 330k| 29 | 1.172218e+02 | -- | Inf
591.07/591.34 c 577s|920000 | 865 | 1616 | 23M|1204 | - |1563 |6747 |3950 | 0 | 0 | 92 | 332k| 29 | 1.172218e+02 | -- | Inf
598.47/598.76 c 584s|930000 | 992 | 1616 | 23M|1204 | - |1563 |6719 |3850 | 0 | 0 | 92 | 337k| 29 | 1.172218e+02 | -- | Inf
603.97/604.21 c 590s|940000 | 864 | 1616 | 23M|1204 | - |1563 |6750 |3880 | 0 | 0 | 92 | 339k| 29 | 1.172218e+02 | -- | Inf
609.86/610.10 c 595s|950000 | 28 | 1616 | 23M|1204 | - |1563 |6737 |5213 | 0 | 0 | 92 | 342k| 29 | 1.172218e+02 | -- | Inf
614.87/615.19 c 600s|960000 | 873 | 1616 | 23M|1204 | - |1563 |6786 |3504 | 0 | 0 | 92 | 345k| 29 | 1.172218e+02 | -- | Inf
621.56/621.89 c 607s|970000 | 26 | 1616 | 23M|1204 | - |1563 |6735 |5124 | 0 | 0 | 92 | 348k| 29 | 1.172218e+02 | -- | Inf
626.96/627.27 c 612s|980000 | 347 | 1616 | 23M|1204 | - |1563 |6753 |3687 | 0 | 0 | 92 | 350k| 29 | 1.172218e+02 | -- | Inf
633.86/634.18 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
633.86/634.18 c 619s|990000 | 31 | 1616 | 23M|1204 | - |1563 |6717 |5544 | 0 | 0 | 92 | 354k| 29 | 1.172218e+02 | -- | Inf
640.96/641.26 c 626s| 1000k| 24 | 1616 | 23M|1204 | - |1563 |6743 |4982 | 0 | 0 | 92 | 359k| 29 | 1.172218e+02 | -- | Inf
648.15/648.45 c 633s| 1010k| 21 | 1616 | 23M|1204 | - |1563 |6736 |4824 | 0 | 0 | 92 | 364k| 29 | 1.172218e+02 | -- | Inf
654.55/654.89 c 639s| 1020k| 591 | 1616 | 23M|1204 | - |1563 |6773 |3969 | 0 | 0 | 92 | 367k| 29 | 1.172218e+02 | -- | Inf
661.75/662.09 c 646s| 1030k| 899 | 1616 | 23M|1204 | - |1563 |6744 |3661 | 0 | 0 | 92 | 372k| 29 | 1.172218e+02 | -- | Inf
668.25/668.58 c 652s| 1040k| 766 | 1616 | 23M|1204 | - |1563 |6764 |3639 | 0 | 0 | 92 | 375k| 29 | 1.172218e+02 | -- | Inf
674.54/674.84 c 659s| 1050k| 28 | 1616 | 23M|1204 | - |1563 |6750 |4998 | 0 | 0 | 92 | 378k| 29 | 1.172218e+02 | -- | Inf
681.04/681.34 c 665s| 1060k| 93 | 1616 | 23M|1204 | - |1563 |6772 |4679 | 0 | 0 | 92 | 382k| 29 | 1.172218e+02 | -- | Inf
687.34/687.65 c 671s| 1070k| 132 | 1616 | 23M|1204 | - |1563 |6772 |4799 | 0 | 0 | 92 | 386k| 29 | 1.172218e+02 | -- | Inf
693.84/694.12 c 677s| 1080k| 22 | 1616 | 23M|1204 | - |1563 |6802 |4702 | 0 | 0 | 92 | 389k| 29 | 1.172218e+02 | -- | Inf
701.63/701.98 c 685s| 1090k| 22 | 1616 | 23M|1204 | - |1563 |6806 |4865 | 0 | 0 | 92 | 394k| 29 | 1.172218e+02 | -- | Inf
707.33/707.67 c 691s| 1100k| 31 | 1616 | 23M|1204 | - |1563 |6792 |4740 | 0 | 0 | 92 | 397k| 29 | 1.172218e+02 | -- | Inf
713.43/713.72 c 696s| 1110k| 802 | 1616 | 23M|1204 | - |1563 |6820 |3620 | 0 | 0 | 92 | 401k| 29 | 1.172218e+02 | -- | Inf
720.92/721.22 c 704s| 1120k| 37 | 1616 | 23M|1204 | - |1563 |6797 |4780 | 0 | 0 | 92 | 406k| 29 | 1.172218e+02 | -- | Inf
725.83/726.19 c 709s| 1130k| 901 | 1616 | 23M|1204 | - |1563 |6792 |3562 | 0 | 0 | 92 | 408k| 29 | 1.172218e+02 | -- | Inf
732.82/733.17 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
732.82/733.17 c 715s| 1140k| 33 | 1616 | 23M|1204 | - |1563 |6726 |5166 | 0 | 0 | 92 | 412k| 29 | 1.172218e+02 | -- | Inf
738.52/738.82 c 721s| 1150k| 44 | 1616 | 23M|1204 | - |1563 |6827 |4639 | 0 | 0 | 92 | 414k| 29 | 1.172218e+02 | -- | Inf
745.01/745.39 c 727s| 1160k| 46 | 1616 | 23M|1204 | - |1563 |6795 |4861 | 0 | 0 | 92 | 418k| 29 | 1.172218e+02 | -- | Inf
750.72/751.04 c 733s| 1170k| 377 | 1616 | 23M|1204 | - |1563 |6784 |4512 | 0 | 0 | 92 | 420k| 29 | 1.172218e+02 | -- | Inf
756.21/756.55 c 738s| 1180k| 48 | 1616 | 23M|1204 | - |1563 |6760 |4928 | 0 | 0 | 92 | 422k| 29 | 1.172218e+02 | -- | Inf
764.01/764.35 c 746s| 1190k| 30 | 1616 | 23M|1204 | - |1563 |6759 |5336 | 0 | 0 | 92 | 428k| 29 | 1.172218e+02 | -- | Inf
772.61/772.93 c 754s| 1200k| 26 | 1616 | 23M|1204 | - |1563 |6724 |5503 | 0 | 0 | 92 | 434k| 29 | 1.172218e+02 | -- | Inf
780.91/781.29 c 762s| 1210k| 27 | 1616 | 23M|1204 | - |1563 |6754 |5284 | 0 | 0 | 92 | 441k| 29 | 1.172218e+02 | -- | Inf
789.70/790.00 c 771s| 1220k| 35 | 1616 | 23M|1204 | - |1563 |6767 |5231 | 0 | 0 | 92 | 447k| 29 | 1.172218e+02 | -- | Inf
798.50/798.80 c 779s| 1230k| 33 | 1616 | 23M|1204 | - |1563 |6758 |5365 | 0 | 0 | 92 | 454k| 29 | 1.172218e+02 | -- | Inf
807.00/807.32 c 788s| 1240k| 20 | 1616 | 23M|1204 | - |1563 |6789 |5294 | 0 | 0 | 92 | 460k| 29 | 1.172218e+02 | -- | Inf
815.29/815.60 c 796s| 1250k| 23 | 1616 | 23M|1204 | - |1563 |6786 |5358 | 0 | 0 | 92 | 467k| 29 | 1.172218e+02 | -- | Inf
823.99/824.38 c 804s| 1260k| 26 | 1616 | 23M|1204 | - |1563 |6769 |5328 | 0 | 0 | 92 | 473k| 29 | 1.172218e+02 | -- | Inf
829.19/829.56 c 809s| 1270k| 26 | 1616 | 23M|1204 | - |1563 |6753 |5015 | 0 | 0 | 92 | 475k| 29 | 1.172218e+02 | -- | Inf
835.49/835.89 c 816s| 1280k| 30 | 1616 | 23M|1204 | - |1563 |7086 |4757 | 0 | 0 | 92 | 479k| 29 | 1.172218e+02 | -- | Inf
842.68/843.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
842.68/843.03 c 823s| 1290k| 32 | 1616 | 23M|1204 | - |1563 |7286 |4787 | 0 | 0 | 92 | 483k| 29 | 1.172218e+02 | -- | Inf
848.48/848.81 c 828s| 1300k| 26 | 1616 | 23M|1204 | - |1563 |6786 |4875 | 0 | 0 | 92 | 486k| 29 | 1.172218e+02 | -- | Inf
855.27/855.69 c 835s| 1310k| 29 | 1616 | 23M|1204 | - |1563 |6798 |4453 | 0 | 0 | 92 | 490k| 29 | 1.172218e+02 | -- | Inf
862.97/863.33 c 842s| 1320k| 801 | 1616 | 24M|1204 | - |1563 |6857 |3819 | 0 | 0 | 92 | 494k| 29 | 1.172218e+02 | -- | Inf
870.27/870.66 c 849s| 1330k| 41 | 1616 | 23M|1204 | - |1563 |6791 |4422 | 0 | 0 | 92 | 498k| 29 | 1.172218e+02 | -- | Inf
878.37/878.75 c 857s| 1340k| 36 | 1616 | 23M|1204 | - |1563 |6806 |4428 | 0 | 0 | 92 | 503k| 29 | 1.172218e+02 | -- | Inf
885.17/885.59 c 864s| 1350k| 111 | 1616 | 23M|1204 | - |1563 |6874 |4270 | 0 | 0 | 92 | 507k| 29 | 1.172218e+02 | -- | Inf
892.66/893.09 c 871s| 1360k| 34 | 1616 | 23M|1204 | - |1563 |6912 |4408 | 0 | 0 | 92 | 512k| 29 | 1.172218e+02 | -- | Inf
899.66/900.06 c 878s| 1370k| 449 | 1616 | 24M|1204 | - |1563 |7301 |3984 | 0 | 0 | 92 | 517k| 29 | 1.172218e+02 | -- | Inf
906.96/907.39 c 885s| 1380k| 28 | 1616 | 23M|1204 | - |1563 |6970 |4615 | 0 | 0 | 92 | 521k| 29 | 1.172218e+02 | -- | Inf
913.56/913.99 c 892s| 1390k| 151 | 1616 | 23M|1204 | - |1563 |6770 |4577 | 0 | 0 | 92 | 525k| 29 | 1.172218e+02 | -- | Inf
919.65/920.02 c 898s| 1400k| 867 | 1616 | 24M|1204 | - |1563 |6857 |3571 | 0 | 0 | 92 | 528k| 29 | 1.172218e+02 | -- | Inf
926.55/926.90 c 904s| 1410k| 37 | 1616 | 23M|1204 | - |1563 |6756 |4591 | 0 | 0 | 92 | 532k| 29 | 1.172218e+02 | -- | Inf
934.15/934.54 c 912s| 1420k| 32 | 1616 | 23M|1204 | - |1563 |6772 |4829 | 0 | 0 | 92 | 537k| 29 | 1.172218e+02 | -- | Inf
940.15/940.58 c 918s| 1430k| 32 | 1616 | 23M|1204 | - |1563 |6761 |4620 | 0 | 0 | 92 | 541k| 29 | 1.172218e+02 | -- | Inf
947.85/948.22 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
947.85/948.22 c 925s| 1440k| 32 | 1616 | 23M|1204 | - |1563 |6847 |4686 | 0 | 0 | 92 | 546k| 29 | 1.172218e+02 | -- | Inf
954.44/954.82 c 932s| 1450k| 503 | 1616 | 23M|1204 | - |1563 |6763 |4185 | 0 | 0 | 92 | 550k| 29 | 1.172218e+02 | -- | Inf
960.95/961.31 c 938s| 1460k| 30 | 1616 | 23M|1204 | - |1563 |6812 |4814 | 0 | 0 | 92 | 553k| 29 | 1.172218e+02 | -- | Inf
966.73/967.14 c 944s| 1470k| 29 | 1616 | 23M|1204 | - |1563 |6789 |4862 | 0 | 0 | 92 | 556k| 29 | 1.172218e+02 | -- | Inf
974.33/974.78 c 951s| 1480k| 28 | 1616 | 23M|1204 | - |1563 |6777 |4805 | 0 | 0 | 92 | 560k| 29 | 1.172218e+02 | -- | Inf
982.43/982.80 c 959s| 1490k| 31 | 1616 | 23M|1204 | - |1563 |6769 |4848 | 0 | 0 | 92 | 566k| 29 | 1.172218e+02 | -- | Inf
989.73/990.11 c 966s| 1500k| 730 | 1616 | 24M|1204 | - |1563 |6802 |3694 | 0 | 0 | 92 | 571k| 29 | 1.172218e+02 | -- | Inf
996.93/997.33 c 973s| 1510k| 297 | 1616 | 23M|1204 | - |1563 |6800 |4089 | 0 | 0 | 92 | 575k| 29 | 1.172218e+02 | -- | Inf
1004.12/1004.52 c 980s| 1520k| 36 | 1616 | 23M|1204 | - |1563 |6797 |4640 | 0 | 0 | 92 | 580k| 29 | 1.172218e+02 | -- | Inf
1012.23/1012.66 c 988s| 1530k| 34 | 1616 | 23M|1204 | - |1563 |6811 |4659 | 0 | 0 | 92 | 586k| 29 | 1.172218e+02 | -- | Inf
1018.92/1019.34 c 994s| 1540k| 983 | 1616 | 24M|1204 | - |1563 |6800 |3496 | 0 | 0 | 92 | 589k| 29 | 1.172218e+02 | -- | Inf
1026.01/1026.47 c 1001s| 1550k| 31 | 1616 | 23M|1204 | - |1563 |6802 |4724 | 0 | 0 | 92 | 593k| 29 | 1.172218e+02 | -- | Inf
1033.31/1033.76 c 1009s| 1560k| 819 | 1616 | 24M|1204 | - |1563 |6794 |3736 | 0 | 0 | 92 | 598k| 29 | 1.172218e+02 | -- | Inf
1040.61/1041.07 c 1016s| 1570k| 30 | 1616 | 23M|1204 | - |1563 |6856 |4606 | 0 | 0 | 92 | 603k| 29 | 1.172218e+02 | -- | Inf
1048.30/1048.79 c 1023s| 1580k| 26 | 1616 | 23M|1204 | - |1563 |6767 |5017 | 0 | 0 | 92 | 609k| 29 | 1.172218e+02 | -- | Inf
1055.10/1055.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1055.10/1055.59 c 1030s| 1590k| 103 | 1616 | 23M|1204 | - |1563 |6815 |4547 | 0 | 0 | 92 | 613k| 29 | 1.172218e+02 | -- | Inf
1062.80/1063.24 c 1037s| 1600k| 44 | 1616 | 23M|1204 | - |1563 |6744 |5155 | 0 | 0 | 92 | 618k| 29 | 1.172218e+02 | -- | Inf
1070.00/1070.47 c 1044s| 1610k| 27 | 1616 | 23M|1204 | - |1563 |6940 |5049 | 0 | 0 | 92 | 622k| 29 | 1.172218e+02 | -- | Inf
1076.30/1076.79 c 1051s| 1620k| 26 | 1616 | 23M|1204 | - |1563 |7123 |4865 | 0 | 0 | 92 | 625k| 29 | 1.172218e+02 | -- | Inf
1083.30/1083.75 c 1057s| 1630k| 32 | 1616 | 23M|1204 | - |1563 |6765 |4816 | 0 | 0 | 92 | 630k| 29 | 1.172218e+02 | -- | Inf
1088.90/1089.40 c 1063s| 1640k| 94 | 1616 | 23M|1204 | - |1563 |6809 |4800 | 0 | 0 | 92 | 632k| 29 | 1.172218e+02 | -- | Inf
1095.39/1095.85 c 1069s| 1650k| 35 | 1616 | 23M|1204 | - |1563 |6840 |4983 | 0 | 0 | 92 | 635k| 29 | 1.172218e+02 | -- | Inf
1102.09/1102.55 c 1076s| 1660k| 45 | 1616 | 23M|1204 | - |1563 |6779 |4724 | 0 | 0 | 92 | 638k| 29 | 1.172218e+02 | -- | Inf
1108.18/1108.60 c 1082s| 1670k| 34 | 1616 | 23M|1204 | - |1563 |6859 |4731 | 0 | 0 | 92 | 641k| 29 | 1.172218e+02 | -- | Inf
1114.58/1115.09 c 1088s| 1680k| 29 | 1616 | 23M|1204 | - |1563 |6746 |5075 | 0 | 0 | 92 | 645k| 29 | 1.172218e+02 | -- | Inf
1121.48/1121.98 c 1095s| 1690k| 30 | 1616 | 23M|1204 | - |1563 |6877 |4970 | 0 | 0 | 92 | 649k| 29 | 1.172218e+02 | -- | Inf
1129.18/1129.62 c 1102s| 1700k| 22 | 1616 | 23M|1204 | - |1563 |7017 |5170 | 0 | 0 | 92 | 655k| 29 | 1.172218e+02 | -- | Inf
1136.28/1136.73 c 1109s| 1710k| 33 | 1616 | 23M|1204 | - |1563 |7260 |5005 | 0 | 0 | 92 | 659k| 29 | 1.172218e+02 | -- | Inf
1142.77/1143.20 c 1115s| 1720k| 29 | 1616 | 24M|1204 | - |1563 |7543 |4838 | 0 | 0 | 92 | 663k| 29 | 1.172218e+02 | -- | Inf
1149.87/1150.37 c 1122s| 1730k| 29 | 1616 | 24M|1204 | - |1563 |7991 |4931 | 0 | 0 | 92 | 668k| 29 | 1.172218e+02 | -- | Inf
1157.27/1157.79 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1157.27/1157.79 c 1130s| 1740k| 24 | 1616 | 23M|1204 | - |1563 |6781 |4864 | 0 | 0 | 92 | 673k| 29 | 1.172218e+02 | -- | Inf
1164.57/1165.06 c 1137s| 1750k| 31 | 1616 | 23M|1204 | - |1563 |6779 |5142 | 0 | 0 | 92 | 678k| 29 | 1.172218e+02 | -- | Inf
1171.66/1172.18 c 1144s| 1760k| 32 | 1616 | 23M|1204 | - |1563 |6807 |4603 | 0 | 0 | 92 | 683k| 29 | 1.172218e+02 | -- | Inf
1178.46/1178.98 c 1150s| 1770k| 79 | 1616 | 23M|1204 | - |1563 |6794 |4916 | 0 | 0 | 92 | 687k| 29 | 1.172218e+02 | -- | Inf
1184.66/1185.11 c 1156s| 1780k| 273 | 1616 | 23M|1204 | - |1563 |6778 |4645 | 0 | 0 | 92 | 691k| 29 | 1.172218e+02 | -- | Inf
1191.06/1191.53 c 1163s| 1790k| 29 | 1616 | 23M|1204 | - |1563 |6812 |4775 | 0 | 0 | 92 | 694k| 29 | 1.172218e+02 | -- | Inf
1197.55/1198.05 c 1169s| 1800k| 739 | 1616 | 24M|1204 | - |1563 |6829 |3813 | 0 | 0 | 92 | 697k| 29 | 1.172218e+02 | -- | Inf
1204.85/1205.35 c 1176s| 1810k| 23 | 1616 | 23M|1204 | - |1563 |6903 |4633 | 0 | 0 | 92 | 702k| 29 | 1.172218e+02 | -- | Inf
1211.25/1211.78 c 1182s| 1820k| 25 | 1616 | 23M|1204 | - |1563 |6812 |5165 | 0 | 0 | 92 | 706k| 29 | 1.172218e+02 | -- | Inf
1218.05/1218.59 c 1189s| 1830k| 59 | 1616 | 23M|1204 | - |1563 |6900 |4729 | 0 | 0 | 92 | 709k| 29 | 1.172218e+02 | -- | Inf
1225.05/1225.56 c 1196s| 1840k| 34 | 1616 | 24M|1204 | - |1563 |7374 |4654 | 0 | 0 | 92 | 714k| 29 | 1.172218e+02 | -- | Inf
1232.14/1232.65 c 1203s| 1850k| 125 | 1616 | 24M|1204 | - |1563 |6805 |4963 | 0 | 0 | 92 | 719k| 29 | 1.172218e+02 | -- | Inf
1238.64/1239.12 c 1209s| 1860k| 40 | 1616 | 23M|1204 | - |1563 |6799 |4705 | 0 | 0 | 92 | 723k| 29 | 1.172218e+02 | -- | Inf
1245.14/1245.65 c 1215s| 1870k| 241 | 1616 | 24M|1204 | - |1563 |6829 |4469 | 0 | 0 | 92 | 727k| 29 | 1.172218e+02 | -- | Inf
1252.03/1252.56 c 1222s| 1880k| 25 | 1616 | 23M|1204 | - |1563 |6831 |4533 | 0 | 0 | 92 | 731k| 29 | 1.172218e+02 | -- | Inf
1259.24/1259.74 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1259.24/1259.74 c 1229s| 1890k| 29 | 1616 | 23M|1204 | - |1563 |6826 |4811 | 0 | 0 | 92 | 736k| 29 | 1.172218e+02 | -- | Inf
1266.53/1267.09 c 1236s| 1900k| 35 | 1616 | 24M|1204 | - |1563 |6870 |4413 | 0 | 0 | 92 | 741k| 29 | 1.172218e+02 | -- | Inf
1273.52/1274.00 c 1243s| 1910k| 34 | 1616 | 23M|1204 | - |1563 |6838 |4934 | 0 | 0 | 92 | 746k| 29 | 1.172218e+02 | -- | Inf
1280.32/1280.85 c 1250s| 1920k| 23 | 1616 | 23M|1204 | - |1563 |6829 |4973 | 0 | 0 | 92 | 750k| 29 | 1.172218e+02 | -- | Inf
1287.72/1288.20 c 1257s| 1930k| 40 | 1616 | 23M|1204 | - |1563 |6846 |4672 | 0 | 0 | 92 | 754k| 29 | 1.172218e+02 | -- | Inf
1294.62/1295.18 c 1264s| 1940k| 39 | 1616 | 24M|1204 | - |1563 |6878 |4621 | 0 | 0 | 92 | 759k| 29 | 1.172218e+02 | -- | Inf
1301.62/1302.18 c 1270s| 1950k| 38 | 1616 | 24M|1204 | - |1563 |6893 |4565 | 0 | 0 | 92 | 763k| 29 | 1.172218e+02 | -- | Inf
1308.71/1309.29 c 1277s| 1960k| 33 | 1616 | 24M|1204 | - |1563 |6907 |4707 | 0 | 0 | 92 | 767k| 29 | 1.172218e+02 | -- | Inf
1316.51/1317.08 c 1285s| 1970k| 29 | 1616 | 24M|1204 | - |1563 |6934 |4690 | 0 | 0 | 92 | 773k| 29 | 1.172218e+02 | -- | Inf
1323.21/1323.76 c 1291s| 1980k| 27 | 1616 | 24M|1204 | - |1563 |6962 |4494 | 0 | 0 | 92 | 776k| 29 | 1.172218e+02 | -- | Inf
1330.61/1331.11 c 1299s| 1990k| 35 | 1616 | 24M|1204 | - |1563 |6964 |4687 | 0 | 0 | 92 | 781k| 29 | 1.172218e+02 | -- | Inf
1337.20/1337.73 c 1305s| 2000k| 35 | 1616 | 24M|1204 | - |1563 |6921 |4834 | 0 | 0 | 92 | 785k| 29 | 1.172218e+02 | -- | Inf
1343.60/1344.19 c 1311s| 2010k| 861 | 1616 | 24M|1204 | - |1563 |6940 |3778 | 0 | 0 | 92 | 789k| 29 | 1.172218e+02 | -- | Inf
1349.60/1350.16 c 1317s| 2020k| 50 | 1616 | 24M|1204 | - |1563 |6918 |4899 | 0 | 0 | 92 | 792k| 29 | 1.172218e+02 | -- | Inf
1356.20/1356.78 c 1324s| 2030k| 37 | 1616 | 24M|1204 | - |1563 |6956 |4637 | 0 | 0 | 92 | 795k| 29 | 1.172218e+02 | -- | Inf
1362.70/1363.22 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1362.70/1363.22 c 1330s| 2040k| 560 | 1616 | 24M|1204 | - |1563 |7058 |3831 | 0 | 0 | 92 | 799k| 29 | 1.172218e+02 | -- | Inf
1369.59/1370.13 c 1337s| 2050k| 136 | 1616 | 24M|1204 | - |1563 |6905 |4988 | 0 | 0 | 92 | 803k| 29 | 1.172218e+02 | -- | Inf
1375.19/1375.73 c 1342s| 2060k| 946 | 1616 | 24M|1204 | - |1563 |6938 |3565 | 0 | 0 | 92 | 806k| 29 | 1.172218e+02 | -- | Inf
1382.49/1383.05 c 1349s| 2070k| 29 | 1616 | 24M|1204 | - |1563 |6942 |4673 | 0 | 0 | 92 | 810k| 29 | 1.172218e+02 | -- | Inf
1388.69/1389.28 c 1355s| 2080k| 28 | 1616 | 24M|1204 | - |1563 |6944 |4740 | 0 | 0 | 92 | 813k| 29 | 1.172218e+02 | -- | Inf
1395.58/1396.18 c 1362s| 2090k| 26 | 1616 | 24M|1204 | - |1563 |6954 |4964 | 0 | 0 | 92 | 817k| 29 | 1.172218e+02 | -- | Inf
1403.18/1403.72 c 1369s| 2100k| 30 | 1616 | 24M|1204 | - |1563 |6952 |5018 | 0 | 0 | 92 | 822k| 29 | 1.172218e+02 | -- | Inf
1409.38/1409.94 c 1375s| 2110k| 39 | 1616 | 24M|1204 | - |1563 |6929 |4600 | 0 | 0 | 92 | 826k| 29 | 1.172218e+02 | -- | Inf
1416.67/1417.20 c 1382s| 2120k| 31 | 1616 | 24M|1204 | - |1563 |6937 |4859 | 0 | 0 | 92 | 831k| 29 | 1.172218e+02 | -- | Inf
1424.37/1424.91 c 1390s| 2130k| 27 | 1616 | 24M|1204 | - |1563 |6929 |5079 | 0 | 0 | 92 | 836k| 29 | 1.172218e+02 | -- | Inf
1430.57/1431.20 c 1396s| 2140k| 41 | 1616 | 24M|1204 | - |1563 |6958 |4580 | 0 | 0 | 92 | 840k| 29 | 1.172218e+02 | -- | Inf
1438.57/1439.18 c 1404s| 2150k| 31 | 1616 | 24M|1204 | - |1563 |6946 |4787 | 0 | 0 | 92 | 845k| 29 | 1.172218e+02 | -- | Inf
1445.17/1445.77 c 1410s| 2160k| 31 | 1616 | 24M|1204 | - |1563 |6935 |4781 | 0 | 0 | 92 | 849k| 29 | 1.172218e+02 | -- | Inf
1452.27/1452.85 c 1417s| 2170k| 122 | 1616 | 24M|1204 | - |1563 |6958 |4596 | 0 | 0 | 92 | 854k| 29 | 1.172218e+02 | -- | Inf
1458.86/1459.40 c 1424s| 2180k| 30 | 1616 | 24M|1204 | - |1563 |6949 |4928 | 0 | 0 | 92 | 858k| 29 | 1.172218e+02 | -- | Inf
1466.66/1467.21 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1466.66/1467.21 c 1431s| 2190k| 29 | 1616 | 24M|1204 | - |1563 |6964 |4792 | 0 | 0 | 92 | 864k| 29 | 1.172218e+02 | -- | Inf
1474.06/1474.68 c 1438s| 2200k| 25 | 1616 | 24M|1204 | - |1563 |6975 |4815 | 0 | 0 | 92 | 869k| 29 | 1.172218e+02 | -- | Inf
1481.06/1481.62 c 1445s| 2210k| 37 | 1616 | 24M|1204 | - |1563 |6996 |4820 | 0 | 0 | 92 | 874k| 29 | 1.172218e+02 | -- | Inf
1488.55/1489.13 c 1453s| 2220k| 26 | 1616 | 24M|1204 | - |1563 |7026 |4805 | 0 | 0 | 92 | 879k| 29 | 1.172218e+02 | -- | Inf
1496.05/1496.61 c 1460s| 2230k| 127 | 1616 | 24M|1204 | - |1563 |7040 |4527 | 0 | 0 | 92 | 885k| 29 | 1.172218e+02 | -- | Inf
1503.75/1504.30 c 1467s| 2240k| 23 | 1616 | 24M|1204 | - |1563 |7068 |4779 | 0 | 0 | 92 | 890k| 29 | 1.172218e+02 | -- | Inf
1510.84/1511.45 c 1474s| 2250k| 52 | 1616 | 24M|1204 | - |1563 |7159 |4519 | 0 | 0 | 92 | 895k| 29 | 1.172218e+02 | -- | Inf
1518.14/1518.71 c 1481s| 2260k| 28 | 1616 | 24M|1204 | - |1563 |7128 |4748 | 0 | 0 | 92 | 901k| 29 | 1.172218e+02 | -- | Inf
1524.83/1525.46 c 1488s| 2270k| 50 | 1616 | 24M|1204 | - |1563 |7127 |4715 | 0 | 0 | 92 | 904k| 29 | 1.172218e+02 | -- | Inf
1531.74/1532.32 c 1495s| 2280k| 35 | 1616 | 24M|1204 | - |1563 |7212 |4690 | 0 | 0 | 92 | 909k| 29 | 1.172218e+02 | -- | Inf
1538.94/1539.58 c 1502s| 2290k| 40 | 1616 | 24M|1204 | - |1563 |7233 |4694 | 0 | 0 | 92 | 913k| 29 | 1.172218e+02 | -- | Inf
1545.83/1546.49 c 1509s| 2300k| 35 | 1616 | 24M|1204 | - |1563 |7334 |4867 | 0 | 0 | 92 | 918k| 29 | 1.172218e+02 | -- | Inf
1552.63/1553.28 c 1515s| 2310k| 40 | 1616 | 24M|1204 | - |1563 |7419 |4628 | 0 | 0 | 92 | 923k| 29 | 1.172218e+02 | -- | Inf
1559.33/1559.98 c 1522s| 2320k| 39 | 1616 | 24M|1204 | - |1563 |7451 |4877 | 0 | 0 | 92 | 927k| 29 | 1.172218e+02 | -- | Inf
1566.62/1567.20 c 1529s| 2330k| 31 | 1616 | 24M|1204 | - |1563 |7449 |4857 | 0 | 0 | 92 | 933k| 29 | 1.172218e+02 | -- | Inf
1573.02/1573.63 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1573.02/1573.63 c 1535s| 2340k| 32 | 1616 | 24M|1204 | - |1563 |7463 |4897 | 0 | 0 | 92 | 937k| 29 | 1.172218e+02 | -- | Inf
1579.72/1580.39 c 1542s| 2350k| 57 | 1616 | 24M|1204 | - |1563 |7501 |4600 | 0 | 0 | 92 | 942k| 29 | 1.172218e+02 | -- | Inf
1586.52/1587.10 c 1548s| 2360k| 37 | 1616 | 24M|1204 | - |1563 |7485 |4636 | 0 | 0 | 92 | 946k| 29 | 1.172218e+02 | -- | Inf
1593.21/1593.83 c 1555s| 2370k| 34 | 1616 | 24M|1204 | - |1563 |7655 |4654 | 0 | 0 | 92 | 951k| 29 | 1.172218e+02 | -- | Inf
1600.51/1601.17 c 1562s| 2380k| 50 | 1616 | 24M|1204 | - |1563 |7645 |4574 | 0 | 0 | 92 | 957k| 29 | 1.172218e+02 | -- | Inf
1607.31/1607.95 c 1568s| 2390k| 25 | 1616 | 24M|1204 | - |1563 |7517 |4976 | 0 | 0 | 92 | 961k| 29 | 1.172218e+02 | -- | Inf
1614.41/1615.04 c 1575s| 2400k| 123 | 1616 | 24M|1204 | - |1563 |7549 |4648 | 0 | 0 | 92 | 966k| 29 | 1.172218e+02 | -- | Inf
1621.60/1622.24 c 1582s| 2410k| 31 | 1616 | 24M|1204 | - |1563 |7572 |4735 | 0 | 0 | 92 | 971k| 29 | 1.172218e+02 | -- | Inf
1628.10/1628.70 c 1589s| 2420k| 74 | 1616 | 24M|1204 | - |1563 |7599 |4469 | 0 | 0 | 92 | 975k| 29 | 1.172218e+02 | -- | Inf
1634.90/1635.50 c 1595s| 2430k| 33 | 1616 | 24M|1204 | - |1563 |7611 |4660 | 0 | 0 | 92 | 980k| 29 | 1.172218e+02 | -- | Inf
1641.70/1642.35 c 1602s| 2440k| 24 | 1616 | 24M|1204 | - |1563 |7786 |4736 | 0 | 0 | 92 | 985k| 29 | 1.172218e+02 | -- | Inf
1648.09/1648.76 c 1608s| 2450k| 27 | 1616 | 24M|1204 | - |1563 |7664 |4382 | 0 | 0 | 92 | 989k| 29 | 1.172218e+02 | -- | Inf
1654.39/1655.00 c 1614s| 2460k| 975 | 1616 | 24M|1204 | - |1563 |6979 |3599 | 0 | 0 | 92 | 993k| 29 | 1.172218e+02 | -- | Inf
1660.89/1661.58 c 1621s| 2470k| 32 | 1616 | 24M|1204 | - |1563 |6929 |5027 | 0 | 0 | 92 | 997k| 29 | 1.172218e+02 | -- | Inf
1666.89/1667.54 c 1627s| 2480k| 44 | 1616 | 24M|1204 | - |1563 |6970 |4834 | 0 | 0 | 92 |1000k| 29 | 1.172218e+02 | -- | Inf
1673.58/1674.25 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1673.58/1674.25 c 1633s| 2490k| 41 | 1616 | 24M|1204 | - |1563 |7007 |4777 | 0 | 0 | 92 |1004k| 29 | 1.172218e+02 | -- | Inf
1680.08/1680.71 c 1639s| 2500k| 43 | 1616 | 24M|1204 | - |1563 |6958 |4825 | 0 | 0 | 92 |1008k| 29 | 1.172218e+02 | -- | Inf
1687.48/1688.16 c 1647s| 2510k| 47 | 1616 | 24M|1204 | - |1563 |7000 |4636 | 0 | 0 | 92 |1014k| 29 | 1.172218e+02 | -- | Inf
1694.78/1695.46 c 1654s| 2520k| 49 | 1616 | 24M|1204 | - |1563 |6968 |4685 | 0 | 0 | 92 |1019k| 29 | 1.172218e+02 | -- | Inf
1701.08/1701.79 c 1660s| 2530k| 33 | 1616 | 24M|1204 | - |1563 |6962 |4806 | 0 | 0 | 92 |1023k| 29 | 1.172218e+02 | -- | Inf
1708.47/1709.16 c 1667s| 2540k| 43 | 1616 | 24M|1204 | - |1563 |7018 |4702 | 0 | 0 | 92 |1028k| 29 | 1.172218e+02 | -- | Inf
1715.07/1715.73 c 1674s| 2550k| 49 | 1616 | 24M|1204 | - |1563 |6998 |4538 | 0 | 0 | 92 |1032k| 29 | 1.172218e+02 | -- | Inf
1721.47/1722.17 c 1680s| 2560k| 91 | 1616 | 24M|1204 | - |1563 |6988 |4416 | 0 | 0 | 92 |1035k| 29 | 1.172218e+02 | -- | Inf
1728.27/1728.97 c 1686s| 2570k| 34 | 1616 | 24M|1204 | - |1563 |6974 |4797 | 0 | 0 | 92 |1040k| 29 | 1.172218e+02 | -- | Inf
1736.06/1736.78 c 1694s| 2580k| 36 | 1616 | 24M|1204 | - |1563 |6953 |4970 | 0 | 0 | 92 |1046k| 29 | 1.172218e+02 | -- | Inf
1742.45/1743.20 c 1700s| 2590k| 33 | 1616 | 24M|1204 | - |1563 |6963 |4740 | 0 | 0 | 92 |1050k| 29 | 1.172218e+02 | -- | Inf
1750.26/1750.98 c 1708s| 2600k| 32 | 1616 | 24M|1204 | - |1563 |6946 |4937 | 0 | 0 | 92 |1055k| 29 | 1.172218e+02 | -- | Inf
1757.86/1758.51 c 1715s| 2610k| 755 | 1616 | 24M|1204 | - |1563 |6972 |3778 | 0 | 0 | 92 |1060k| 29 | 1.172218e+02 | -- | Inf
1763.55/1764.23 c 1721s| 2620k| 758 | 1616 | 24M|1204 | - |1563 |6988 |3754 | 0 | 0 | 92 |1063k| 29 | 1.172218e+02 | -- | Inf
1770.65/1771.30 c 1728s| 2630k| 306 | 1616 | 24M|1204 | - |1563 |6999 |4355 | 0 | 0 | 92 |1068k| 29 | 1.172218e+02 | -- | Inf
1777.05/1777.76 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1777.05/1777.76 c 1734s| 2640k| 46 | 1616 | 24M|1204 | - |1563 |6985 |4610 | 0 | 0 | 92 |1072k| 29 | 1.172218e+02 | -- | Inf
1783.54/1784.22 c 1740s| 2650k| 30 | 1616 | 24M|1204 | - |1563 |7007 |4821 | 0 | 0 | 92 |1076k| 29 | 1.172218e+02 | -- | Inf
1791.04/1791.78 c 1748s| 2660k| 40 | 1616 | 24M|1204 | - |1563 |6985 |4676 | 0 | 0 | 92 |1082k| 29 | 1.172218e+02 | -- | Inf
1799.04/1799.78 c 1756s| 2670k| 31 | 1616 | 24M|1204 | - |1563 |7051 |5064 | 0 | 0 | 92 |1088k| 29 | 1.172218e+02 | -- | Inf
1800.05/1800.70 c
1800.05/1800.70 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.70 c Solving Time (sec) : 1756.42
1800.05/1800.70 c Solving Nodes : 2671113
1800.05/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.71 c Dual Bound : +1.17221832567148e+02
1800.05/1800.71 c Gap : infinite
1800.05/1800.71 c NODE 2671113
1800.05/1800.71 c DUAL BOUND 117.222
1800.05/1800.71 c PRIMAL BOUND 1e+20
1800.05/1800.71 c GAP 1e+20
1800.05/1800.71 s UNKNOWN
1800.05/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.71 c Solving Time : 1756.42
1800.05/1800.71 c Original Problem :
1800.05/1800.71 c Problem name : HOME/instance-1884197-1245255946.opb
1800.05/1800.71 c Variables : 1605 (1605 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.71 c Constraints : 8025 initial, 8025 maximal
1800.05/1800.71 c Presolved Problem :
1800.05/1800.71 c Problem name : t_HOME/instance-1884197-1245255946.opb
1800.05/1800.71 c Variables : 1563 (1563 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.71 c Constraints : 6659 initial, 8622 maximal
1800.05/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c dualfix : 0.00 4 0 0 0 0 0 0 0
1800.05/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c probing : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.71 c linear : 0.33 30 8 0 30 0 1342 78 0
1800.05/1800.71 c logicor : 0.17 0 0 0 0 0 24 0 0
1800.05/1800.71 c root node : - 0 - - 0 - - - -
1800.05/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.71 c integral : 0 0 0 1 0 0 0 0 0 2
1800.05/1800.71 c logicor : 6659+ 5 7941142 0 0 811390 17929785 0 0 0
1800.05/1800.71 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.71 c integral : 7.29 0.00 0.00 7.29 0.00
1800.05/1800.71 c logicor : 183.43 0.01 183.42 0.00 0.00
1800.05/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.71 c rootredcost : 3.42 0 0 0
1800.05/1800.71 c pseudoobj : 731.07 11892329 0 0
1800.05/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.71 c propagation : 49.63 811390 811390 811390 17.6 277498 16.3 -
1800.05/1800.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.71 c applied globally : - - - 1088888 17.3 - - -
1800.05/1800.71 c applied locally : - - - 0 0.0 - - -
1800.05/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.71 c cut pool : 0.00 4 - - 9 - (maximal pool size: 1393)
1800.05/1800.71 c redcost : 0.00 5 0 0 0 0
1800.05/1800.71 c impliedbounds : 0.00 5 0 0 0 0
1800.05/1800.71 c intobj : 0.00 0 0 0 0 0
1800.05/1800.71 c gomory : 5.08 5 0 0 2022 0
1800.05/1800.71 c strongcg : 0.74 5 0 0 2500 0
1800.05/1800.71 c cmir : 0.00 0 0 0 0 0
1800.05/1800.71 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.71 c clique : 0.00 5 0 0 30 0
1800.05/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.71 c mcf : 0.01 1 0 0 0 0
1800.05/1800.71 c Pricers : Time Calls Vars
1800.05/1800.71 c problem variables: 0.00 0 0
1800.05/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.71 c relpscost : 7.29 1 0 0 0 0 2
1800.05/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.71 c inference : 623.55 2226485 0 0 0 0 4452970
1800.05/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.71 c random : 0.00 0 0 0 0 0 0
1800.05/1800.71 c Primal Heuristics : Time Calls Found
1800.05/1800.71 c LP solutions : 0.00 - 0
1800.05/1800.71 c pseudo solutions : 0.00 - 0
1800.05/1800.71 c simplerounding : 0.00 0 0
1800.05/1800.71 c rounding : 0.00 0 0
1800.05/1800.71 c shifting : 0.00 0 0
1800.05/1800.71 c intshifting : 0.00 0 0
1800.05/1800.71 c oneopt : 0.00 0 0
1800.05/1800.71 c fixandinfer : 0.00 0 0
1800.05/1800.71 c feaspump : 0.00 0 0
1800.05/1800.71 c coefdiving : 0.00 0 0
1800.05/1800.71 c pscostdiving : 0.00 0 0
1800.05/1800.71 c fracdiving : 0.00 0 0
1800.05/1800.71 c veclendiving : 0.00 0 0
1800.05/1800.71 c intdiving : 0.00 0 0
1800.05/1800.71 c actconsdiving : 0.00 0 0
1800.05/1800.71 c objpscostdiving : 0.00 0 0
1800.05/1800.71 c rootsoldiving : 0.00 0 0
1800.05/1800.71 c linesearchdiving : 0.00 0 0
1800.05/1800.71 c guideddiving : 0.00 0 0
1800.05/1800.71 c octane : 0.00 0 0
1800.05/1800.71 c rens : 0.00 0 0
1800.05/1800.71 c rins : 0.00 0 0
1800.05/1800.71 c localbranching : 0.00 0 0
1800.05/1800.71 c mutation : 0.00 0 0
1800.05/1800.71 c crossover : 0.00 0 0
1800.05/1800.71 c dins : 0.00 0 0
1800.05/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.71 c primal LP : 0.02 0 0 0.00 0.00
1800.05/1800.71 c dual LP : 1.90 6 1616 269.33 850.53
1800.05/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.71 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.71 c strong branching : 7.29 29 4773 164.59 654.73
1800.05/1800.71 c (at root node) : - 29 4773 164.59 -
1800.05/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.71 c B&B Tree :
1800.05/1800.71 c number of runs : 1
1800.05/1800.71 c nodes : 2671113
1800.05/1800.71 c nodes (total) : 2671113
1800.05/1800.71 c nodes left : 35
1800.05/1800.71 c max depth : 1204
1800.05/1800.71 c max depth (total): 1204
1800.05/1800.71 c backtracks : 407959 (15.3%)
1800.05/1800.71 c delayed cutoffs : 1781825
1800.05/1800.71 c repropagations : 3519326 (8464682 domain reductions, 366763 cutoffs)
1800.05/1800.71 c avg switch length: 4.06
1800.05/1800.71 c switching time : 112.62
1800.05/1800.71 c Solution :
1800.05/1800.71 c Solutions found : 0 (0 improvements)
1800.05/1800.71 c Primal Bound : -
1800.05/1800.71 c Dual Bound : +1.17221832567148e+02
1800.05/1800.71 c Gap : infinite
1800.05/1800.71 c Root Dual Bound : +1.16822354895324e+02
1800.05/1800.77 c Time complete: 1800.11.