0.09/0.20 c SCIP version 1.1.0.7
0.09/0.20 c LP-Solver Clp 1.8.2
0.09/0.20 c user parameter file <scip.set> not found - using default parameters
0.09/0.20 c read problem <HOME/instance-1884198-1245255947.opb>
0.09/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.79/0.81 c presolving (5 rounds):
0.79/0.81 c 42 deleted vars, 1366 deleted constraints, 30 tightened bounds, 0 added holes, 78 changed sides, 0 changed coefficients
0.79/0.81 c 1172 implications, 0 cliques
0.79/0.81 c presolved problem has 1563 variables (1563 bin, 0 int, 0 impl, 0 cont) and 6659 constraints
0.79/0.81 c 6659 constraints of type <logicor>
0.79/0.81 c transformed objective value is always integral (scale: 1)
0.79/0.81 c Presolving Time: 0.52
0.79/0.81 c PURESAT
0.79/0.81 c -----------------------------------------------------------------------------------------------
0.79/0.81 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.79/0.81 c # [type: int, range: [-1,2147483647], default: 0]
0.79/0.81 c separating/flowcover/freq = c -1
0.79/0.81 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.79/0.81 c # [type: int, range: [-1,2147483647], default: 0]
0.79/0.81 c separating/cmir/freq = c -1
0.79/0.81 c # additional number of allowed LP iterations
0.79/0.81 c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.81 c heuristics/veclendiving/maxlpiterofs = c 1500
0.79/0.81 c # maximal fraction of diving LP iterations compared to node LP iterations
0.79/0.81 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.79/0.81 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.79/0.81 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.79/0.81 c # [type: int, range: [-1,2147483647], default: 10]
0.79/0.81 c heuristics/veclendiving/freq = c -1
0.79/0.81 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.79/0.81 c # [type: int, range: [-1,2147483647], default: 1]
0.79/0.81 c heuristics/simplerounding/freq = c -1
0.79/0.81 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.79/0.81 c # [type: int, range: [-1,2147483647], default: 10]
0.79/0.81 c heuristics/shifting/freq = c -1
0.79/0.81 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.79/0.81 c # [type: int, range: [-1,2147483647], default: 1]
0.79/0.81 c heuristics/rounding/freq = c -1
0.79/0.81 c # additional number of allowed LP iterations
0.79/0.81 c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.81 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.79/0.81 c # maximal fraction of diving LP iterations compared to node LP iterations
0.79/0.81 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.79/0.81 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.79/0.81 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.79/0.81 c # [type: int, range: [-1,2147483647], default: 20]
0.79/0.81 c heuristics/rootsoldiving/freq = c -1
0.79/0.81 c # number of nodes added to the contingent of the total nodes
0.79/0.81 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.79/0.81 c heuristics/rens/nodesofs = c 2000
0.79/0.81 c # minimum percentage of integer variables that have to be fixable
0.79/0.81 c # [type: real, range: [0,1], default: 0.5]
0.79/0.81 c heuristics/rens/minfixingrate = c 0.3
0.79/0.81 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.79/0.81 c # [type: int, range: [-1,2147483647], default: 0]
0.79/0.81 c heuristics/rens/freq = c -1
0.79/0.81 c # additional number of allowed LP iterations
0.79/0.81 c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.81 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.79/0.81 c # maximal fraction of diving LP iterations compared to node LP iterations
0.79/0.81 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.79/0.81 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.79/0.81 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.79/0.81 c # [type: int, range: [-1,2147483647], default: 10]
0.79/0.81 c heuristics/pscostdiving/freq = c -1
0.79/0.81 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.79/0.81 c # [type: int, range: [-1,2147483647], default: 1]
0.79/0.81 c heuristics/oneopt/freq = c -1
0.79/0.81 c # additional number of allowed LP iterations
0.79/0.81 c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.81 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.79/0.81 c # maximal fraction of diving LP iterations compared to total iteration number
0.79/0.81 c # [type: real, range: [0,1], default: 0.01]
0.79/0.81 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.79/0.81 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.79/0.81 c # [type: int, range: [-1,2147483647], default: 20]
0.79/0.81 c heuristics/objpscostdiving/freq = c -1
0.79/0.81 c # additional number of allowed LP iterations
0.79/0.81 c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.81 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.79/0.81 c # maximal fraction of diving LP iterations compared to node LP iterations
0.79/0.81 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.79/0.81 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.79/0.81 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.79/0.81 c # [type: int, range: [-1,2147483647], default: 10]
0.79/0.81 c heuristics/linesearchdiving/freq = c -1
0.79/0.81 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.79/0.81 c # [type: int, range: [-1,2147483647], default: 10]
0.79/0.81 c heuristics/intshifting/freq = c -1
0.79/0.81 c # maximal fraction of diving LP iterations compared to node LP iterations
0.79/0.81 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.79/0.81 c heuristics/intdiving/maxlpiterquot = c 0.075
0.79/0.81 c # additional number of allowed LP iterations
0.79/0.81 c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.81 c heuristics/guideddiving/maxlpiterofs = c 1500
0.79/0.81 c # maximal fraction of diving LP iterations compared to node LP iterations
0.79/0.81 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.79/0.81 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.79/0.81 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.79/0.81 c # [type: int, range: [-1,2147483647], default: 10]
0.79/0.81 c heuristics/guideddiving/freq = c -1
0.79/0.81 c # additional number of allowed LP iterations
0.79/0.81 c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.81 c heuristics/fracdiving/maxlpiterofs = c 1500
0.79/0.81 c # maximal fraction of diving LP iterations compared to node LP iterations
0.79/0.81 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.79/0.81 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.79/0.81 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.79/0.81 c # [type: int, range: [-1,2147483647], default: 10]
0.79/0.81 c heuristics/fracdiving/freq = c -1
0.79/0.81 c # additional number of allowed LP iterations
0.79/0.81 c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.81 c heuristics/feaspump/maxlpiterofs = c 2000
0.79/0.81 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.79/0.81 c # [type: int, range: [-1,2147483647], default: 20]
0.79/0.81 c heuristics/feaspump/freq = c -1
0.79/0.81 c # minimum percentage of integer variables that have to be fixed
0.79/0.81 c # [type: real, range: [0,1], default: 0.666]
0.79/0.81 c heuristics/crossover/minfixingrate = c 0.5
0.79/0.81 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.79/0.81 c # [type: real, range: [0,1], default: 0.1]
0.79/0.81 c heuristics/crossover/nodesquot = c 0.15
0.79/0.81 c # number of nodes without incumbent change that heuristic should wait
0.79/0.81 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.79/0.81 c heuristics/crossover/nwaitingnodes = c 100
0.79/0.81 c # number of nodes added to the contingent of the total nodes
0.79/0.81 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.79/0.81 c heuristics/crossover/nodesofs = c 750
0.79/0.81 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.79/0.81 c # [type: int, range: [-1,2147483647], default: 30]
0.79/0.81 c heuristics/crossover/freq = c -1
0.79/0.81 c # additional number of allowed LP iterations
0.79/0.81 c # [type: int, range: [0,2147483647], default: 1000]
0.79/0.81 c heuristics/coefdiving/maxlpiterofs = c 1500
0.79/0.81 c # maximal fraction of diving LP iterations compared to node LP iterations
0.79/0.81 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.79/0.81 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.79/0.81 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.79/0.81 c # [type: int, range: [-1,2147483647], default: 10]
0.79/0.81 c heuristics/coefdiving/freq = c -1
0.79/0.81 c # priority of node selection rule <dfs> in standard mode
0.79/0.81 c # [type: int, range: [-536870912,536870911], default: 0]
0.79/0.81 c nodeselection/dfs/stdpriority = c 1000000
0.79/0.81 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.79/0.81 c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.81 c presolving/probing/maxrounds = c 0
0.79/0.81 c # should presolving try to simplify knapsacks
0.79/0.81 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.81 c constraints/knapsack/simplifyinequalities = c TRUE
0.79/0.81 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.79/0.81 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.79/0.81 c constraints/knapsack/disaggregation = c FALSE
0.79/0.81 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.79/0.81 c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.81 c constraints/knapsack/maxnumcardlift = c 0
0.79/0.81 c # should presolving try to simplify inequalities
0.79/0.81 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.81 c constraints/linear/simplifyinequalities = c TRUE
0.79/0.81 c # maximal number of separation rounds in the root node (-1: unlimited)
0.79/0.81 c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.81 c separating/maxroundsroot = c 5
0.79/0.81 c # maximal number of separation rounds per node (-1: unlimited)
0.79/0.81 c # [type: int, range: [-1,2147483647], default: 5]
0.79/0.81 c separating/maxrounds = c 1
0.79/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.79/0.81 c # [type: char, range: {lafpsqd}, default: l]
0.79/0.81 c lp/pricing = c a
0.79/0.81 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.79/0.81 c # [type: int, range: [-1,2147483647], default: 1]
0.79/0.81 c lp/solvefreq = c 0
0.79/0.81 c # solving stops, if the given number of solutions were found (-1: no limit)
0.79/0.81 c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.81 c limits/solutions = c 1
0.79/0.81 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.81 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.81 c limits/memory = c 1620
0.79/0.81 c # maximal time in seconds to run
0.79/0.81 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.81 c limits/time = c 1791
0.79/0.81 c # frequency for displaying node information lines
0.79/0.81 c # [type: int, range: [-1,2147483647], default: 100]
0.79/0.81 c display/freq = c 10000
0.79/0.81 c # should enforcement of pseudo solution be disabled?
0.79/0.81 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.81 c constraints/disableenfops = c TRUE
0.79/0.81 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.79/0.81 c # [type: int, range: [-1,2147483647], default: 0]
0.79/0.81 c constraints/agelimit = c 1
0.79/0.81 c # should binary conflicts be preferred?
0.79/0.81 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.81 c conflict/preferbinary = c TRUE
0.79/0.81 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.79/0.81 c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.81 c conflict/interconss = c 0
0.79/0.81 c -----------------------------------------------------------------------------------------------
0.79/0.81 c start solving problem
0.79/0.81 c
0.89/0.92 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.92 c 0.7s| 1 | 0 | 175 | 15M| 0 | 139 |1563 |6659 |6659 |1563 |6659 | 0 | 0 | 0 | 8.900000e+01 | -- | Inf
1.19/1.28 c 1.0s| 1 | 0 | 379 | 15M| 0 | 147 |1563 |6659 |6659 |1563 |6692 | 33 | 0 | 0 | 1.048431e+02 | -- | Inf
2.09/2.16 c 1.9s| 1 | 0 | 910 | 17M| 0 | 155 |1563 |6659 |6659 |1563 |6712 | 53 | 0 | 0 | 1.107258e+02 | -- | Inf
2.99/3.05 c 2.8s| 1 | 0 | 1152 | 19M| 0 | 151 |1563 |6659 |6659 |1563 |6724 | 65 | 0 | 0 | 1.131001e+02 | -- | Inf
5.49/5.52 c 5.2s| 1 | 0 | 1486 | 20M| 0 | 165 |1563 |6659 |6659 |1563 |6735 | 76 | 0 | 0 | 1.149405e+02 | -- | Inf
8.18/8.25 c 8.0s| 1 | 0 | 1679 | 22M| 0 | 167 |1563 |6659 |6659 |1563 |6742 | 83 | 0 | 0 | 1.162631e+02 | -- | Inf
16.18/16.26 c 15.9s| 1 | 2 | 1679 | 22M| 0 | 167 |1563 |6659 |6659 |1563 |6742 | 83 | 0 | 34 | 1.162631e+02 | -- | Inf
22.59/22.70 c 22.2s| 10000 | 737 | 1679 | 23M| 967 | - |1563 |6738 |3396 | 0 | 0 | 83 |2297 | 34 | 1.167930e+02 | -- | Inf
29.28/29.38 c 28.7s| 20000 | 56 | 1679 | 23M|1059 | - |1563 |6715 |5294 | 0 | 0 | 83 |5313 | 34 | 1.167930e+02 | -- | Inf
35.28/35.37 c 34.6s| 30000 | 58 | 1679 | 23M|1059 | - |1563 |6704 |5319 | 0 | 0 | 83 |7887 | 34 | 1.167930e+02 | -- | Inf
41.18/41.21 c 40.3s| 40000 | 487 | 1679 | 23M|1059 | - |1563 |6826 |3668 | 0 | 0 | 83 | 11k| 34 | 1.167930e+02 | -- | Inf
46.97/47.00 c 45.9s| 50000 | 63 | 1679 | 23M|1140 | - |1563 |6722 |5154 | 0 | 0 | 83 | 13k| 34 | 1.167930e+02 | -- | Inf
52.78/52.83 c 51.6s| 60000 | 59 | 1679 | 23M|1140 | - |1563 |6770 |5142 | 0 | 0 | 83 | 16k| 34 | 1.167930e+02 | -- | Inf
58.67/58.74 c 57.4s| 70000 | 194 | 1679 | 23M|1140 | - |1563 |6743 |4839 | 0 | 0 | 83 | 18k| 34 | 1.167930e+02 | -- | Inf
64.07/64.16 c 62.7s| 80000 | 249 | 1679 | 23M|1140 | - |1563 |6751 |4748 | 0 | 0 | 83 | 20k| 34 | 1.167930e+02 | -- | Inf
70.06/70.17 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.06/70.17 c 68.5s| 90000 | 81 | 1679 | 23M|1140 | - |1563 |6782 |5042 | 0 | 0 | 83 | 23k| 34 | 1.167930e+02 | -- | Inf
76.36/76.41 c 74.6s|100000 | 261 | 1679 | 23M|1140 | - |1563 |6801 |4583 | 0 | 0 | 83 | 26k| 34 | 1.167930e+02 | -- | Inf
81.96/82.08 c 80.1s|110000 | 359 | 1679 | 23M|1140 | - |1563 |6817 |4618 | 0 | 0 | 83 | 28k| 34 | 1.167930e+02 | -- | Inf
87.56/87.67 c 85.6s|120000 | 59 | 1679 | 23M|1140 | - |1563 |6790 |5300 | 0 | 0 | 83 | 31k| 34 | 1.167930e+02 | -- | Inf
93.85/93.93 c 91.7s|130000 | 188 | 1679 | 23M|1140 | - |1563 |6835 |4799 | 0 | 0 | 83 | 34k| 34 | 1.167930e+02 | -- | Inf
100.66/100.70 c 98.3s|140000 | 100 | 1679 | 23M|1140 | - |1563 |6802 |4856 | 0 | 0 | 83 | 37k| 34 | 1.167930e+02 | -- | Inf
107.15/107.21 c 105s|150000 | 385 | 1679 | 23M|1140 | - |1563 |6848 |4512 | 0 | 0 | 83 | 41k| 34 | 1.167930e+02 | -- | Inf
113.26/113.37 c 111s|160000 | 73 | 1679 | 23M|1140 | - |1563 |6852 |5058 | 0 | 0 | 83 | 45k| 34 | 1.167930e+02 | -- | Inf
119.95/120.09 c 117s|170000 | 49 | 1679 | 23M|1140 | - |1563 |6893 |5095 | 0 | 0 | 83 | 49k| 34 | 1.167930e+02 | -- | Inf
124.85/124.98 c 122s|180000 | 896 | 1679 | 23M|1261 | - |1563 |6901 |3482 | 0 | 0 | 83 | 50k| 34 | 1.167930e+02 | -- | Inf
131.75/131.84 c 129s|190000 | 76 | 1679 | 23M|1261 | - |1563 |6914 |4750 | 0 | 0 | 83 | 54k| 34 | 1.167930e+02 | -- | Inf
137.25/137.35 c 134s|200000 | 57 | 1679 | 23M|1261 | - |1563 |6913 |5071 | 0 | 0 | 83 | 56k| 34 | 1.167930e+02 | -- | Inf
143.25/143.36 c 140s|210000 | 58 | 1679 | 23M|1261 | - |1563 |6932 |5119 | 0 | 0 | 83 | 59k| 34 | 1.167930e+02 | -- | Inf
149.75/149.87 c 146s|220000 | 61 | 1679 | 23M|1261 | - |1563 |6908 |5333 | 0 | 0 | 83 | 62k| 34 | 1.167930e+02 | -- | Inf
155.94/156.01 c 152s|230000 | 1022 | 1679 | 24M|1261 | - |1563 |6933 |3425 | 0 | 0 | 83 | 65k| 34 | 1.167930e+02 | -- | Inf
161.15/161.25 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
161.15/161.25 c 157s|240000 | 63 | 1679 | 23M|1261 | - |1563 |6921 |4838 | 0 | 0 | 83 | 66k| 34 | 1.167930e+02 | -- | Inf
167.94/168.01 c 164s|250000 | 59 | 1679 | 23M|1261 | - |1563 |6959 |4895 | 0 | 0 | 83 | 70k| 34 | 1.167930e+02 | -- | Inf
174.04/174.15 c 170s|260000 | 1108 | 1679 | 24M|1261 | - |1563 |6931 |3217 | 0 | 0 | 83 | 74k| 34 | 1.167930e+02 | -- | Inf
180.14/180.27 c 176s|270000 | 62 | 1679 | 23M|1261 | - |1563 |6913 |4564 | 0 | 0 | 83 | 77k| 34 | 1.167930e+02 | -- | Inf
186.44/186.50 c 182s|280000 | 52 | 1679 | 23M|1261 | - |1563 |6942 |4925 | 0 | 0 | 83 | 81k| 34 | 1.167930e+02 | -- | Inf
191.14/191.29 c 187s|290000 | 351 | 1679 | 23M|1261 | - |1563 |6926 |4275 | 0 | 0 | 83 | 82k| 34 | 1.167930e+02 | -- | Inf
198.94/199.03 c 194s|300000 | 61 | 1679 | 23M|1261 | - |1563 |6950 |4759 | 0 | 0 | 83 | 87k| 34 | 1.167930e+02 | -- | Inf
206.14/206.21 c 201s|310000 | 61 | 1679 | 23M|1261 | - |1563 |6984 |4571 | 0 | 0 | 83 | 91k| 34 | 1.167930e+02 | -- | Inf
212.64/212.74 c 208s|320000 | 234 | 1679 | 23M|1261 | - |1563 |6940 |4266 | 0 | 0 | 83 | 94k| 34 | 1.167930e+02 | -- | Inf
221.13/221.23 c 216s|330000 | 60 | 1679 | 23M|1261 | - |1563 |7017 |4643 | 0 | 0 | 83 | 99k| 34 | 1.167930e+02 | -- | Inf
226.53/226.60 c 221s|340000 | 74 | 1679 | 23M|1261 | - |1563 |6926 |5054 | 0 | 0 | 83 | 101k| 34 | 1.167930e+02 | -- | Inf
232.93/233.07 c 228s|350000 | 541 | 1679 | 24M|1261 | - |1563 |6992 |3900 | 0 | 0 | 83 | 104k| 34 | 1.167930e+02 | -- | Inf
240.22/240.31 c 235s|360000 | 60 | 1679 | 23M|1261 | - |1563 |6928 |5088 | 0 | 0 | 83 | 108k| 34 | 1.167930e+02 | -- | Inf
247.33/247.45 c 242s|370000 | 142 | 1679 | 23M|1261 | - |1563 |7062 |4483 | 0 | 0 | 83 | 112k| 34 | 1.167930e+02 | -- | Inf
253.22/253.39 c 247s|380000 | 66 | 1679 | 23M|1261 | - |1563 |7136 |4500 | 0 | 0 | 83 | 115k| 34 | 1.167930e+02 | -- | Inf
260.42/260.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
260.42/260.59 c 254s|390000 | 63 | 1679 | 23M|1261 | - |1563 |6907 |5243 | 0 | 0 | 83 | 119k| 34 | 1.167930e+02 | -- | Inf
268.03/268.12 c 262s|400000 | 51 | 1679 | 23M|1261 | - |1563 |7009 |4866 | 0 | 0 | 83 | 124k| 34 | 1.167930e+02 | -- | Inf
275.22/275.32 c 269s|410000 | 63 | 1679 | 23M|1261 | - |1563 |7032 |4677 | 0 | 0 | 83 | 128k| 34 | 1.167930e+02 | -- | Inf
283.92/284.06 c 277s|420000 | 87 | 1679 | 23M|1261 | - |1563 |7104 |4424 | 0 | 0 | 83 | 134k| 34 | 1.167930e+02 | -- | Inf
292.12/292.21 c 285s|430000 | 495 | 1679 | 24M|1261 | - |1563 |7058 |4342 | 0 | 0 | 83 | 140k| 34 | 1.167930e+02 | -- | Inf
296.71/296.83 c 290s|440000 | 411 | 1679 | 24M|1261 | - |1563 |7058 |4445 | 0 | 0 | 83 | 141k| 34 | 1.167930e+02 | -- | Inf
301.82/301.91 c 295s|450000 | 69 | 1679 | 23M|1261 | - |1563 |7043 |5265 | 0 | 0 | 83 | 143k| 34 | 1.167930e+02 | -- | Inf
307.31/307.42 c 300s|460000 | 907 | 1679 | 24M|1261 | - |1563 |7074 |3564 | 0 | 0 | 83 | 145k| 34 | 1.167930e+02 | -- | Inf
312.21/312.35 c 305s|470000 | 593 | 1679 | 24M|1261 | - |1563 |7066 |3932 | 0 | 0 | 83 | 147k| 34 | 1.167930e+02 | -- | Inf
317.41/317.57 c 310s|480000 | 63 | 1679 | 23M|1261 | - |1563 |7054 |5097 | 0 | 0 | 83 | 149k| 34 | 1.167930e+02 | -- | Inf
324.01/324.13 c 316s|490000 | 405 | 1679 | 24M|1261 | - |1563 |7097 |4358 | 0 | 0 | 83 | 152k| 34 | 1.167930e+02 | -- | Inf
330.41/330.55 c 323s|500000 | 53 | 1679 | 23M|1261 | - |1563 |7087 |4988 | 0 | 0 | 83 | 155k| 34 | 1.167930e+02 | -- | Inf
335.31/335.46 c 328s|510000 | 584 | 1679 | 24M|1261 | - |1563 |7125 |3742 | 0 | 0 | 83 | 156k| 34 | 1.167930e+02 | -- | Inf
341.60/341.77 c 334s|520000 | 63 | 1679 | 23M|1261 | - |1563 |7117 |4779 | 0 | 0 | 83 | 159k| 34 | 1.167930e+02 | -- | Inf
346.71/346.80 c 339s|530000 | 65 | 1679 | 23M|1261 | - |1563 |7112 |4899 | 0 | 0 | 83 | 161k| 34 | 1.167930e+02 | -- | Inf
352.80/352.94 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
352.80/352.94 c 345s|540000 | 956 | 1679 | 24M|1261 | - |1563 |7122 |3381 | 0 | 0 | 83 | 163k| 34 | 1.167930e+02 | -- | Inf
357.50/357.69 c 349s|550000 | 859 | 1679 | 24M|1261 | - |1563 |7149 |3565 | 0 | 0 | 83 | 165k| 34 | 1.167930e+02 | -- | Inf
364.30/364.43 c 356s|560000 | 234 | 1679 | 24M|1261 | - |1563 |7133 |4921 | 0 | 0 | 83 | 168k| 34 | 1.167930e+02 | -- | Inf
370.40/370.58 c 362s|570000 | 59 | 1679 | 24M|1261 | - |1563 |7180 |5005 | 0 | 0 | 83 | 170k| 34 | 1.167930e+02 | -- | Inf
377.40/377.51 c 369s|580000 | 719 | 1679 | 24M|1261 | - |1563 |7163 |3891 | 0 | 0 | 83 | 174k| 34 | 1.167930e+02 | -- | Inf
383.09/383.28 c 374s|590000 | 94 | 1679 | 23M|1261 | - |1563 |7162 |4896 | 0 | 0 | 83 | 177k| 34 | 1.167930e+02 | -- | Inf
389.80/389.96 c 381s|600000 | 577 | 1679 | 24M|1261 | - |1563 |7247 |3760 | 0 | 0 | 83 | 180k| 34 | 1.167930e+02 | -- | Inf
394.89/395.02 c 386s|610000 | 1048 | 1679 | 24M|1261 | - |1563 |7200 |3455 | 0 | 0 | 83 | 182k| 34 | 1.167930e+02 | -- | Inf
400.69/400.89 c 391s|620000 | 1019 | 1679 | 24M|1261 | - |1563 |7212 |3288 | 0 | 0 | 83 | 184k| 34 | 1.167930e+02 | -- | Inf
405.49/405.63 c 396s|630000 | 744 | 1679 | 24M|1261 | - |1563 |7254 |3886 | 0 | 0 | 83 | 186k| 34 | 1.167930e+02 | -- | Inf
412.59/412.74 c 403s|640000 | 69 | 1679 | 24M|1261 | - |1563 |7303 |4925 | 0 | 0 | 83 | 190k| 34 | 1.167930e+02 | -- | Inf
421.09/421.30 c 411s|650000 | 533 | 1679 | 24M|1261 | - |1563 |7329 |4231 | 0 | 0 | 83 | 196k| 34 | 1.167930e+02 | -- | Inf
429.79/429.93 c 420s|660000 | 55 | 1679 | 24M|1261 | - |1563 |7314 |4926 | 0 | 0 | 83 | 202k| 34 | 1.167930e+02 | -- | Inf
436.38/436.56 c 426s|670000 | 54 | 1679 | 24M|1261 | - |1563 |7318 |4850 | 0 | 0 | 83 | 205k| 34 | 1.167930e+02 | -- | Inf
441.68/441.85 c 431s|680000 | 52 | 1679 | 24M|1261 | - |1563 |7328 |4768 | 0 | 0 | 83 | 207k| 34 | 1.167930e+02 | -- | Inf
447.98/448.19 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
447.98/448.19 c 438s|690000 | 886 | 1679 | 24M|1261 | - |1563 |7246 |3882 | 0 | 0 | 83 | 210k| 34 | 1.167930e+02 | -- | Inf
453.38/453.59 c 443s|700000 | 56 | 1679 | 24M|1261 | - |1563 |7265 |5136 | 0 | 0 | 83 | 212k| 34 | 1.167930e+02 | -- | Inf
459.58/459.73 c 449s|710000 | 65 | 1679 | 24M|1261 | - |1563 |7329 |4908 | 0 | 0 | 83 | 215k| 34 | 1.167930e+02 | -- | Inf
464.88/465.03 c 454s|720000 | 50 | 1679 | 24M|1261 | - |1563 |7309 |5234 | 0 | 0 | 83 | 217k| 34 | 1.167930e+02 | -- | Inf
470.38/470.50 c 459s|730000 | 324 | 1679 | 24M|1261 | - |1563 |7324 |4287 | 0 | 0 | 83 | 219k| 34 | 1.167930e+02 | -- | Inf
476.08/476.24 c 465s|740000 | 861 | 1679 | 24M|1261 | - |1563 |7348 |3156 | 0 | 0 | 83 | 222k| 34 | 1.167930e+02 | -- | Inf
482.17/482.31 c 471s|750000 | 79 | 1679 | 24M|1261 | - |1563 |7272 |5093 | 0 | 0 | 83 | 224k| 34 | 1.167930e+02 | -- | Inf
486.77/486.91 c 475s|760000 | 177 | 1679 | 24M|1261 | - |1563 |7329 |4241 | 0 | 0 | 83 | 226k| 34 | 1.167930e+02 | -- | Inf
492.38/492.58 c 481s|770000 | 367 | 1679 | 24M|1261 | - |1563 |7311 |4281 | 0 | 0 | 83 | 228k| 34 | 1.167930e+02 | -- | Inf
498.37/498.53 c 487s|780000 | 181 | 1679 | 24M|1261 | - |1563 |7277 |4969 | 0 | 0 | 83 | 230k| 34 | 1.167930e+02 | -- | Inf
504.17/504.31 c 492s|790000 | 50 | 1679 | 24M|1261 | - |1563 |7325 |4928 | 0 | 0 | 83 | 233k| 34 | 1.167930e+02 | -- | Inf
509.87/510.01 c 498s|800000 | 300 | 1679 | 24M|1261 | - |1563 |7386 |4764 | 0 | 0 | 83 | 235k| 34 | 1.167930e+02 | -- | Inf
516.97/517.10 c 505s|810000 | 59 | 1679 | 24M|1261 | - |1563 |7302 |4960 | 0 | 0 | 83 | 239k| 34 | 1.167930e+02 | -- | Inf
524.87/525.08 c 513s|820000 | 476 | 1679 | 24M|1261 | - |1563 |7344 |4203 | 0 | 0 | 83 | 244k| 34 | 1.167930e+02 | -- | Inf
528.87/529.06 c 517s|830000 | 94 | 1679 | 24M|1261 | - |1563 |7335 |4653 | 0 | 0 | 83 | 245k| 34 | 1.167930e+02 | -- | Inf
535.77/535.93 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
535.77/535.93 c 523s|840000 | 190 | 1679 | 24M|1261 | - |1563 |7387 |4586 | 0 | 0 | 83 | 249k| 34 | 1.167930e+02 | -- | Inf
541.46/541.68 c 529s|850000 | 1077 | 1679 | 24M|1261 | - |1563 |7418 |3121 | 0 | 0 | 83 | 251k| 34 | 1.167930e+02 | -- | Inf
547.36/547.51 c 535s|860000 | 58 | 1679 | 24M|1261 | - |1563 |7342 |4836 | 0 | 0 | 83 | 254k| 34 | 1.167930e+02 | -- | Inf
552.86/553.05 c 540s|870000 | 194 | 1679 | 24M|1261 | - |1563 |7406 |4537 | 0 | 0 | 83 | 256k| 34 | 1.167930e+02 | -- | Inf
559.77/559.96 c 547s|880000 | 89 | 1679 | 24M|1261 | - |1563 |7393 |4603 | 0 | 0 | 83 | 260k| 34 | 1.167930e+02 | -- | Inf
566.36/566.51 c 553s|890000 | 56 | 1679 | 24M|1261 | - |1563 |7435 |4919 | 0 | 0 | 83 | 263k| 34 | 1.167930e+02 | -- | Inf
572.05/572.25 c 559s|900000 | 279 | 1679 | 24M|1261 | - |1563 |7400 |4266 | 0 | 0 | 83 | 265k| 34 | 1.167930e+02 | -- | Inf
577.96/578.15 c 565s|910000 | 68 | 1679 | 24M|1261 | - |1563 |7459 |4411 | 0 | 0 | 83 | 268k| 34 | 1.167930e+02 | -- | Inf
584.96/585.12 c 571s|920000 | 319 | 1679 | 24M|1261 | - |1563 |7483 |4084 | 0 | 0 | 83 | 272k| 34 | 1.167930e+02 | -- | Inf
590.65/590.87 c 577s|930000 | 62 | 1679 | 24M|1261 | - |1563 |7514 |4436 | 0 | 0 | 83 | 274k| 34 | 1.167930e+02 | -- | Inf
597.45/597.61 c 583s|940000 | 351 | 1679 | 24M|1261 | - |1563 |7507 |4070 | 0 | 0 | 83 | 278k| 34 | 1.167930e+02 | -- | Inf
604.85/605.02 c 591s|950000 | 69 | 1679 | 24M|1261 | - |1563 |7523 |4505 | 0 | 0 | 83 | 282k| 34 | 1.167930e+02 | -- | Inf
611.85/612.00 c 598s|960000 | 62 | 1679 | 24M|1261 | - |1563 |7546 |4493 | 0 | 0 | 83 | 286k| 34 | 1.167930e+02 | -- | Inf
618.75/618.96 c 604s|970000 | 66 | 1679 | 24M|1261 | - |1563 |7539 |4505 | 0 | 0 | 83 | 290k| 34 | 1.167930e+02 | -- | Inf
624.85/625.00 c 610s|980000 | 70 | 1679 | 24M|1261 | - |1563 |7563 |4407 | 0 | 0 | 83 | 293k| 34 | 1.167930e+02 | -- | Inf
633.34/633.58 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
633.34/633.59 c 619s|990000 | 59 | 1679 | 24M|1261 | - |1563 |7602 |4585 | 0 | 0 | 83 | 299k| 34 | 1.167930e+02 | -- | Inf
639.54/639.76 c 625s| 1000k| 542 | 1679 | 24M|1261 | - |1563 |7653 |3599 | 0 | 0 | 83 | 301k| 34 | 1.167930e+02 | -- | Inf
646.24/646.42 c 631s| 1010k| 623 | 1679 | 24M|1261 | - |1563 |7644 |3468 | 0 | 0 | 83 | 305k| 34 | 1.167930e+02 | -- | Inf
652.84/653.04 c 638s| 1020k| 65 | 1679 | 24M|1261 | - |1563 |7622 |4188 | 0 | 0 | 83 | 308k| 34 | 1.167930e+02 | -- | Inf
660.33/660.59 c 645s| 1030k| 62 | 1679 | 24M|1261 | - |1563 |7669 |4405 | 0 | 0 | 83 | 312k| 34 | 1.167930e+02 | -- | Inf
666.84/667.03 c 651s| 1040k| 943 | 1679 | 24M|1261 | - |1563 |7589 |3456 | 0 | 0 | 83 | 316k| 34 | 1.167930e+02 | -- | Inf
672.83/673.02 c 657s| 1050k| 66 | 1679 | 24M|1261 | - |1563 |7561 |4329 | 0 | 0 | 83 | 319k| 34 | 1.167930e+02 | -- | Inf
677.93/678.19 c 662s| 1060k| 65 | 1679 | 24M|1261 | - |1563 |7541 |4516 | 0 | 0 | 83 | 321k| 34 | 1.167930e+02 | -- | Inf
686.53/686.70 c 670s| 1070k| 508 | 1679 | 24M|1261 | - |1563 |7590 |3695 | 0 | 0 | 83 | 326k| 34 | 1.167930e+02 | -- | Inf
692.53/692.73 c 676s| 1080k| 460 | 1679 | 24M|1261 | - |1563 |7600 |3823 | 0 | 0 | 83 | 329k| 34 | 1.167930e+02 | -- | Inf
698.83/699.06 c 682s| 1090k| 836 | 1679 | 24M|1261 | - |1563 |7594 |3555 | 0 | 0 | 83 | 332k| 34 | 1.167930e+02 | -- | Inf
704.63/704.86 c 688s| 1100k| 61 | 1679 | 24M|1261 | - |1563 |7587 |4789 | 0 | 0 | 83 | 335k| 34 | 1.167930e+02 | -- | Inf
711.73/711.98 c 695s| 1110k| 54 | 1679 | 24M|1261 | - |1563 |7669 |4436 | 0 | 0 | 83 | 339k| 34 | 1.167930e+02 | -- | Inf
718.22/718.45 c 701s| 1120k| 59 | 1679 | 24M|1261 | - |1563 |7654 |4581 | 0 | 0 | 83 | 342k| 34 | 1.167930e+02 | -- | Inf
726.82/727.05 c 710s| 1130k| 62 | 1679 | 24M|1261 | - |1563 |7672 |4495 | 0 | 0 | 83 | 347k| 34 | 1.167930e+02 | -- | Inf
733.43/733.68 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
733.43/733.68 c 716s| 1140k| 56 | 1679 | 24M|1261 | - |1563 |7666 |5212 | 0 | 0 | 83 | 351k| 34 | 1.167930e+02 | -- | Inf
740.12/740.34 c 723s| 1150k| 1007 | 1679 | 24M|1261 | - |1563 |7696 |3519 | 0 | 0 | 83 | 355k| 34 | 1.167930e+02 | -- | Inf
747.31/747.55 c 730s| 1160k| 54 | 1679 | 24M|1261 | - |1563 |7709 |4620 | 0 | 0 | 83 | 359k| 34 | 1.167930e+02 | -- | Inf
753.52/753.72 c 736s| 1170k| 885 | 1679 | 24M|1261 | - |1563 |7718 |3526 | 0 | 0 | 83 | 362k| 34 | 1.167930e+02 | -- | Inf
758.52/758.74 c 741s| 1180k| 61 | 1679 | 24M|1261 | - |1563 |7722 |4837 | 0 | 0 | 83 | 364k| 34 | 1.167930e+02 | -- | Inf
765.21/765.42 c 747s| 1190k| 49 | 1679 | 24M|1261 | - |1563 |7781 |4932 | 0 | 0 | 83 | 368k| 34 | 1.167930e+02 | -- | Inf
771.02/771.21 c 753s| 1200k| 61 | 1679 | 24M|1261 | - |1563 |7761 |4711 | 0 | 0 | 83 | 370k| 34 | 1.167930e+02 | -- | Inf
778.52/778.76 c 760s| 1210k| 56 | 1679 | 24M|1261 | - |1563 |7792 |5092 | 0 | 0 | 83 | 375k| 34 | 1.167930e+02 | -- | Inf
785.01/785.27 c 767s| 1220k| 640 | 1679 | 24M|1261 | - |1563 |7783 |4064 | 0 | 0 | 83 | 377k| 34 | 1.167930e+02 | -- | Inf
790.71/790.92 c 772s| 1230k| 52 | 1679 | 24M|1261 | - |1563 |7838 |4785 | 0 | 0 | 83 | 380k| 34 | 1.167930e+02 | -- | Inf
797.50/797.70 c 779s| 1240k| 814 | 1679 | 24M|1261 | - |1563 |7859 |3755 | 0 | 0 | 83 | 383k| 34 | 1.167930e+02 | -- | Inf
803.71/803.96 c 785s| 1250k| 52 | 1679 | 24M|1261 | - |1563 |7887 |4434 | 0 | 0 | 83 | 386k| 34 | 1.167930e+02 | -- | Inf
811.31/811.51 c 792s| 1260k| 660 | 1679 | 24M|1261 | - |1563 |7885 |3753 | 0 | 0 | 83 | 391k| 34 | 1.167930e+02 | -- | Inf
817.51/817.73 c 798s| 1270k| 72 | 1679 | 24M|1261 | - |1563 |7876 |4521 | 0 | 0 | 83 | 393k| 34 | 1.167930e+02 | -- | Inf
823.90/824.18 c 805s| 1280k| 995 | 1679 | 24M|1261 | - |1563 |7870 |3487 | 0 | 0 | 83 | 397k| 34 | 1.167930e+02 | -- | Inf
831.11/831.34 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
831.11/831.34 c 812s| 1290k| 54 | 1679 | 24M|1261 | - |1563 |7887 |4780 | 0 | 0 | 83 | 400k| 34 | 1.167930e+02 | -- | Inf
837.60/837.82 c 818s| 1300k| 139 | 1679 | 24M|1261 | - |1563 |7905 |4403 | 0 | 0 | 83 | 403k| 34 | 1.167930e+02 | -- | Inf
844.20/844.40 c 824s| 1310k| 58 | 1679 | 24M|1261 | - |1563 |7920 |4691 | 0 | 0 | 83 | 406k| 34 | 1.167930e+02 | -- | Inf
851.89/852.19 c 832s| 1320k| 52 | 1679 | 24M|1261 | - |1563 |7932 |4710 | 0 | 0 | 83 | 410k| 34 | 1.167930e+02 | -- | Inf
859.09/859.37 c 839s| 1330k| 55 | 1679 | 24M|1261 | - |1563 |7981 |4590 | 0 | 0 | 83 | 414k| 34 | 1.167930e+02 | -- | Inf
867.80/868.02 c 847s| 1340k| 54 | 1679 | 24M|1261 | - |1563 |8149 |4728 | 0 | 0 | 83 | 420k| 34 | 1.167930e+02 | -- | Inf
873.89/874.14 c 853s| 1350k| 756 | 1679 | 24M|1261 | - |1563 |8054 |3626 | 0 | 0 | 83 | 422k| 34 | 1.167930e+02 | -- | Inf
879.89/880.17 c 859s| 1360k| 582 | 1679 | 24M|1261 | - |1563 |8102 |3852 | 0 | 0 | 83 | 425k| 34 | 1.167930e+02 | -- | Inf
887.89/888.16 c 867s| 1370k| 53 | 1679 | 24M|1261 | - |1563 |8117 |4689 | 0 | 0 | 83 | 430k| 34 | 1.167930e+02 | -- | Inf
893.39/893.65 c 872s| 1380k| 56 | 1679 | 24M|1261 | - |1563 |8135 |4645 | 0 | 0 | 83 | 432k| 34 | 1.167930e+02 | -- | Inf
900.99/901.27 c 880s| 1390k| 549 | 1679 | 24M|1261 | - |1563 |8188 |3754 | 0 | 0 | 83 | 437k| 34 | 1.167930e+02 | -- | Inf
907.98/908.22 c 887s| 1400k| 71 | 1679 | 24M|1261 | - |1563 |8166 |4585 | 0 | 0 | 83 | 440k| 34 | 1.167930e+02 | -- | Inf
915.49/915.77 c 894s| 1410k| 128 | 1679 | 24M|1261 | - |1563 |8195 |4422 | 0 | 0 | 83 | 445k| 34 | 1.167930e+02 | -- | Inf
921.69/921.97 c 900s| 1420k| 220 | 1679 | 24M|1261 | - |1563 |8192 |4305 | 0 | 0 | 83 | 448k| 34 | 1.167930e+02 | -- | Inf
929.29/929.57 c 907s| 1430k| 58 | 1679 | 24M|1261 | - |1563 |8203 |4651 | 0 | 0 | 83 | 452k| 34 | 1.167930e+02 | -- | Inf
937.18/937.46 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
937.18/937.46 c 915s| 1440k| 57 | 1679 | 24M|1261 | - |1563 |8234 |5162 | 0 | 0 | 83 | 457k| 34 | 1.167930e+02 | -- | Inf
944.48/944.74 c 922s| 1450k| 55 | 1679 | 24M|1261 | - |1563 |8296 |5276 | 0 | 0 | 83 | 461k| 34 | 1.167930e+02 | -- | Inf
951.98/952.26 c 930s| 1460k| 947 | 1679 | 24M|1261 | - |1563 |8254 |3671 | 0 | 0 | 83 | 465k| 34 | 1.167930e+02 | -- | Inf
957.77/958.01 c 935s| 1470k| 176 | 1679 | 24M|1261 | - |1563 |8318 |4680 | 0 | 0 | 83 | 468k| 34 | 1.167930e+02 | -- | Inf
963.67/963.91 c 941s| 1480k| 129 | 1679 | 24M|1261 | - |1563 |8264 |4851 | 0 | 0 | 83 | 471k| 34 | 1.167930e+02 | -- | Inf
969.17/969.43 c 946s| 1490k| 98 | 1679 | 24M|1261 | - |1563 |8275 |4954 | 0 | 0 | 83 | 473k| 34 | 1.167930e+02 | -- | Inf
975.57/975.84 c 952s| 1500k| 479 | 1679 | 24M|1261 | - |1563 |8333 |4147 | 0 | 0 | 83 | 477k| 34 | 1.167930e+02 | -- | Inf
982.57/982.88 c 959s| 1510k| 59 | 1679 | 24M|1261 | - |1563 |8327 |4812 | 0 | 0 | 83 | 480k| 34 | 1.167930e+02 | -- | Inf
989.77/990.05 c 966s| 1520k| 881 | 1679 | 24M|1261 | - |1563 |8372 |3652 | 0 | 0 | 83 | 485k| 34 | 1.167930e+02 | -- | Inf
996.56/996.84 c 973s| 1530k| 57 | 1679 | 24M|1261 | - |1563 |8344 |5075 | 0 | 0 | 83 | 489k| 34 | 1.167930e+02 | -- | Inf
1003.76/1004.02 c 980s| 1540k| 245 | 1679 | 24M|1261 | - |1563 |8408 |4022 | 0 | 0 | 83 | 492k| 34 | 1.167930e+02 | -- | Inf
1011.26/1011.51 c 987s| 1550k| 55 | 1679 | 24M|1261 | - |1563 |8343 |4797 | 0 | 0 | 83 | 497k| 34 | 1.167930e+02 | -- | Inf
1017.96/1018.22 c 994s| 1560k| 400 | 1679 | 24M|1261 | - |1563 |8372 |4340 | 0 | 0 | 83 | 500k| 34 | 1.167930e+02 | -- | Inf
1023.66/1023.93 c 999s| 1570k| 59 | 1679 | 24M|1261 | - |1563 |8386 |4868 | 0 | 0 | 83 | 503k| 34 | 1.167930e+02 | -- | Inf
1030.96/1031.22 c 1007s| 1580k| 57 | 1679 | 24M|1261 | - |1563 |8405 |4727 | 0 | 0 | 83 | 507k| 34 | 1.167930e+02 | -- | Inf
1037.66/1037.96 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1037.66/1037.96 c 1013s| 1590k| 349 | 1679 | 24M|1261 | - |1563 |8442 |4230 | 0 | 0 | 83 | 511k| 34 | 1.167930e+02 | -- | Inf
1045.06/1045.37 c 1020s| 1600k| 56 | 1679 | 24M|1261 | - |1563 |8413 |4660 | 0 | 0 | 83 | 515k| 34 | 1.167930e+02 | -- | Inf
1052.56/1052.84 c 1028s| 1610k| 205 | 1679 | 24M|1261 | - |1563 |8410 |4525 | 0 | 0 | 83 | 520k| 34 | 1.167930e+02 | -- | Inf
1057.55/1057.88 c 1033s| 1620k| 53 | 1679 | 24M|1261 | - |1563 |8402 |4999 | 0 | 0 | 83 | 522k| 34 | 1.167930e+02 | -- | Inf
1064.45/1064.73 c 1039s| 1630k| 1034 | 1679 | 24M|1261 | - |1563 |8461 |3307 | 0 | 0 | 83 | 526k| 34 | 1.167930e+02 | -- | Inf
1072.05/1072.33 c 1047s| 1640k| 47 | 1679 | 24M|1261 | - |1563 |8418 |4877 | 0 | 0 | 83 | 531k| 34 | 1.167930e+02 | -- | Inf
1080.24/1080.51 c 1055s| 1650k| 194 | 1679 | 24M|1261 | - |1563 |8456 |4458 | 0 | 0 | 83 | 536k| 34 | 1.167930e+02 | -- | Inf
1085.65/1085.94 c 1060s| 1660k| 50 | 1679 | 24M|1261 | - |1563 |8425 |4872 | 0 | 0 | 83 | 538k| 34 | 1.167930e+02 | -- | Inf
1093.15/1093.49 c 1067s| 1670k| 51 | 1679 | 24M|1261 | - |1563 |8668 |4548 | 0 | 0 | 83 | 543k| 34 | 1.167930e+02 | -- | Inf
1099.05/1099.38 c 1073s| 1680k| 49 | 1679 | 24M|1261 | - |1563 |8726 |4694 | 0 | 0 | 83 | 545k| 34 | 1.167930e+02 | -- | Inf
1107.05/1107.32 c 1081s| 1690k| 51 | 1679 | 24M|1261 | - |1563 |8781 |4724 | 0 | 0 | 83 | 550k| 34 | 1.167930e+02 | -- | Inf
1115.64/1115.90 c 1089s| 1700k| 51 | 1679 | 24M|1261 | - |1563 |8437 |4747 | 0 | 0 | 83 | 556k| 34 | 1.167930e+02 | -- | Inf
1123.14/1123.49 c 1097s| 1710k| 919 | 1679 | 24M|1261 | - |1563 |8455 |3348 | 0 | 0 | 83 | 561k| 34 | 1.167930e+02 | -- | Inf
1130.03/1130.38 c 1103s| 1720k| 70 | 1679 | 24M|1261 | - |1563 |8922 |4108 | 0 | 0 | 83 | 565k| 34 | 1.167930e+02 | -- | Inf
1137.04/1137.37 c 1110s| 1730k| 412 | 1679 | 24M|1261 | - |1563 |8500 |4068 | 0 | 0 | 83 | 569k| 34 | 1.167930e+02 | -- | Inf
1143.53/1143.87 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1143.53/1143.87 c 1117s| 1740k| 60 | 1679 | 24M|1261 | - |1563 |8447 |5370 | 0 | 0 | 83 | 572k| 34 | 1.167930e+02 | -- | Inf
1149.63/1149.97 c 1122s| 1750k| 61 | 1679 | 24M|1261 | - |1563 |8487 |5115 | 0 | 0 | 83 | 575k| 34 | 1.167930e+02 | -- | Inf
1155.43/1155.73 c 1128s| 1760k| 942 | 1679 | 24M|1261 | - |1563 |8493 |3354 | 0 | 0 | 83 | 577k| 34 | 1.167930e+02 | -- | Inf
1163.02/1163.38 c 1136s| 1770k| 70 | 1679 | 24M|1261 | - |1563 |8546 |5081 | 0 | 0 | 83 | 582k| 34 | 1.167930e+02 | -- | Inf
1169.13/1169.44 c 1141s| 1780k| 112 | 1679 | 24M|1261 | - |1563 |8536 |4963 | 0 | 0 | 83 | 584k| 34 | 1.167930e+02 | -- | Inf
1175.83/1176.19 c 1148s| 1790k| 58 | 1679 | 24M|1261 | - |1563 |8524 |4983 | 0 | 0 | 83 | 588k| 34 | 1.167930e+02 | -- | Inf
1182.23/1182.52 c 1154s| 1800k| 751 | 1679 | 25M|1261 | - |1563 |9701 |3641 | 0 | 0 | 83 | 591k| 34 | 1.167930e+02 | -- | Inf
1189.32/1189.64 c 1161s| 1810k| 52 | 1679 | 25M|1261 | - |1563 | 11k|4789 | 0 | 0 | 83 | 597k| 34 | 1.167930e+02 | -- | Inf
1196.72/1197.00 c 1168s| 1820k| 67 | 1679 | 24M|1261 | - |1563 |8516 |4928 | 0 | 0 | 83 | 603k| 34 | 1.167930e+02 | -- | Inf
1204.32/1204.63 c 1176s| 1830k| 853 | 1679 | 25M|1261 | - |1563 |8522 |3814 | 0 | 0 | 83 | 607k| 34 | 1.167930e+02 | -- | Inf
1210.72/1211.00 c 1182s| 1840k| 61 | 1679 | 24M|1261 | - |1563 |8652 |4997 | 0 | 0 | 83 | 610k| 34 | 1.167930e+02 | -- | Inf
1216.32/1216.69 c 1187s| 1850k| 342 | 1679 | 25M|1261 | - |1563 |8756 |4172 | 0 | 0 | 83 | 613k| 34 | 1.167930e+02 | -- | Inf
1221.72/1222.08 c 1193s| 1860k| 52 | 1679 | 24M|1261 | - |1563 |8551 |5086 | 0 | 0 | 83 | 615k| 34 | 1.167930e+02 | -- | Inf
1227.21/1227.56 c 1198s| 1870k| 65 | 1679 | 24M|1261 | - |1563 |8610 |4530 | 0 | 0 | 83 | 617k| 34 | 1.167930e+02 | -- | Inf
1233.31/1233.60 c 1204s| 1880k| 135 | 1679 | 24M|1261 | - |1563 |8574 |4608 | 0 | 0 | 83 | 620k| 34 | 1.167930e+02 | -- | Inf
1241.41/1241.79 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1241.41/1241.79 c 1212s| 1890k| 55 | 1679 | 24M|1261 | - |1563 |8594 |5100 | 0 | 0 | 83 | 625k| 34 | 1.167930e+02 | -- | Inf
1248.31/1248.64 c 1219s| 1900k| 59 | 1679 | 24M|1261 | - |1563 |8604 |4949 | 0 | 0 | 83 | 628k| 34 | 1.167930e+02 | -- | Inf
1255.91/1256.23 c 1226s| 1910k| 53 | 1679 | 24M|1261 | - |1563 |8627 |5086 | 0 | 0 | 83 | 633k| 34 | 1.167930e+02 | -- | Inf
1262.51/1262.82 c 1233s| 1920k| 52 | 1679 | 24M|1261 | - |1563 |8627 |4762 | 0 | 0 | 83 | 635k| 34 | 1.167930e+02 | -- | Inf
1268.81/1269.10 c 1239s| 1930k| 64 | 1679 | 24M|1261 | - |1563 |8608 |4991 | 0 | 0 | 83 | 639k| 34 | 1.167930e+02 | -- | Inf
1274.91/1275.24 c 1245s| 1940k| 957 | 1679 | 25M|1261 | - |1563 |8634 |3618 | 0 | 0 | 83 | 641k| 34 | 1.167930e+02 | -- | Inf
1281.00/1281.38 c 1251s| 1950k| 633 | 1679 | 25M|1261 | - |1563 |8646 |3992 | 0 | 0 | 83 | 644k| 34 | 1.167930e+02 | -- | Inf
1287.71/1288.05 c 1257s| 1960k| 181 | 1679 | 24M|1261 | - |1563 |8643 |4615 | 0 | 0 | 83 | 647k| 34 | 1.167930e+02 | -- | Inf
1294.80/1295.12 c 1264s| 1970k| 54 | 1679 | 24M|1261 | - |1563 |8627 |5314 | 0 | 0 | 83 | 651k| 34 | 1.167930e+02 | -- | Inf
1301.40/1301.72 c 1271s| 1980k| 336 | 1679 | 24M|1261 | - |1563 |8635 |4474 | 0 | 0 | 83 | 654k| 34 | 1.167930e+02 | -- | Inf
1307.51/1307.83 c 1276s| 1990k| 654 | 1679 | 25M|1261 | - |1563 |8713 |3626 | 0 | 0 | 83 | 656k| 34 | 1.167930e+02 | -- | Inf
1313.00/1313.37 c 1282s| 2000k| 154 | 1679 | 24M|1261 | - |1563 |8719 |4638 | 0 | 0 | 83 | 658k| 34 | 1.167930e+02 | -- | Inf
1319.70/1320.09 c 1288s| 2010k| 992 | 1679 | 25M|1261 | - |1563 |8842 |3643 | 0 | 0 | 83 | 661k| 34 | 1.167930e+02 | -- | Inf
1324.99/1325.34 c 1294s| 2020k| 905 | 1679 | 25M|1261 | - |1563 |8898 |3380 | 0 | 0 | 83 | 662k| 34 | 1.167930e+02 | -- | Inf
1331.29/1331.65 c 1300s| 2030k| 56 | 1679 | 24M|1261 | - |1563 |8912 |5005 | 0 | 0 | 83 | 665k| 34 | 1.167930e+02 | -- | Inf
1338.39/1338.74 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1338.39/1338.74 c 1307s| 2040k| 137 | 1679 | 24M|1261 | - |1563 |8668 |4900 | 0 | 0 | 83 | 669k| 34 | 1.167930e+02 | -- | Inf
1344.90/1345.28 c 1313s| 2050k| 63 | 1679 | 24M|1261 | - |1563 |8675 |4913 | 0 | 0 | 83 | 672k| 34 | 1.167930e+02 | -- | Inf
1351.50/1351.90 c 1319s| 2060k| 537 | 1679 | 25M|1261 | - |1563 |8662 |4182 | 0 | 0 | 83 | 676k| 34 | 1.167930e+02 | -- | Inf
1357.29/1357.68 c 1325s| 2070k| 74 | 1679 | 24M|1261 | - |1563 |8690 |5093 | 0 | 0 | 83 | 678k| 34 | 1.167930e+02 | -- | Inf
1363.49/1363.82 c 1331s| 2080k| 74 | 1679 | 24M|1261 | - |1563 |8672 |4865 | 0 | 0 | 83 | 681k| 34 | 1.167930e+02 | -- | Inf
1370.39/1370.77 c 1338s| 2090k| 56 | 1679 | 24M|1261 | - |1563 |8690 |5211 | 0 | 0 | 83 | 685k| 34 | 1.167930e+02 | -- | Inf
1377.29/1377.64 c 1345s| 2100k| 71 | 1679 | 24M|1261 | - |1563 |8815 |4906 | 0 | 0 | 83 | 689k| 34 | 1.167930e+02 | -- | Inf
1383.48/1383.87 c 1351s| 2110k| 742 | 1679 | 25M|1261 | - |1563 |8748 |3676 | 0 | 0 | 83 | 692k| 34 | 1.167930e+02 | -- | Inf
1391.38/1391.75 c 1358s| 2120k| 96 | 1679 | 25M|1261 | - |1563 |8965 |4843 | 0 | 0 | 83 | 697k| 34 | 1.167930e+02 | -- | Inf
1398.28/1398.63 c 1365s| 2130k| 131 | 1679 | 25M|1261 | - |1563 |8994 |4889 | 0 | 0 | 83 | 701k| 34 | 1.167930e+02 | -- | Inf
1405.28/1405.68 c 1372s| 2140k| 58 | 1679 | 25M|1261 | - |1563 |9266 |4958 | 0 | 0 | 83 | 706k| 34 | 1.167930e+02 | -- | Inf
1412.08/1412.49 c 1379s| 2150k| 518 | 1679 | 25M|1261 | - |1563 |9427 |4262 | 0 | 0 | 83 | 710k| 34 | 1.167930e+02 | -- | Inf
1419.08/1419.48 c 1386s| 2160k| 80 | 1679 | 25M|1261 | - |1563 |8910 |5068 | 0 | 0 | 83 | 714k| 34 | 1.167930e+02 | -- | Inf
1425.67/1426.03 c 1392s| 2170k| 59 | 1679 | 25M|1261 | - |1563 |8983 |4948 | 0 | 0 | 83 | 718k| 34 | 1.167930e+02 | -- | Inf
1431.37/1431.78 c 1398s| 2180k| 236 | 1679 | 25M|1261 | - |1563 |9038 |4929 | 0 | 0 | 83 | 720k| 34 | 1.167930e+02 | -- | Inf
1436.87/1437.30 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1436.87/1437.30 c 1403s| 2190k| 50 | 1679 | 25M|1261 | - |1563 |9012 |5272 | 0 | 0 | 83 | 722k| 34 | 1.167930e+02 | -- | Inf
1443.16/1443.57 c 1409s| 2200k| 56 | 1679 | 25M|1261 | - |1563 |9005 |5102 | 0 | 0 | 83 | 724k| 34 | 1.167930e+02 | -- | Inf
1448.87/1449.27 c 1415s| 2210k| 671 | 1679 | 25M|1261 | - |1563 |9019 |3865 | 0 | 0 | 83 | 726k| 34 | 1.167930e+02 | -- | Inf
1454.77/1455.15 c 1420s| 2220k| 67 | 1679 | 25M|1261 | - |1563 |9049 |5063 | 0 | 0 | 83 | 729k| 34 | 1.167930e+02 | -- | Inf
1462.07/1462.47 c 1427s| 2230k| 734 | 1679 | 25M|1261 | - |1563 |9065 |3894 | 0 | 0 | 83 | 733k| 34 | 1.167930e+02 | -- | Inf
1467.47/1467.82 c 1433s| 2240k| 54 | 1679 | 25M|1261 | - |1563 |9072 |4609 | 0 | 0 | 83 | 734k| 34 | 1.167930e+02 | -- | Inf
1473.86/1474.20 c 1439s| 2250k| 550 | 1679 | 25M|1261 | - |1563 |9082 |3748 | 0 | 0 | 83 | 737k| 34 | 1.167930e+02 | -- | Inf
1480.17/1480.55 c 1445s| 2260k| 326 | 1679 | 25M|1261 | - |1563 |9048 |4745 | 0 | 0 | 83 | 740k| 34 | 1.167930e+02 | -- | Inf
1485.66/1486.05 c 1450s| 2270k| 125 | 1679 | 25M|1261 | - |1563 |9091 |4737 | 0 | 0 | 83 | 743k| 34 | 1.167930e+02 | -- | Inf
1490.85/1491.22 c 1456s| 2280k| 84 | 1679 | 25M|1261 | - |1563 |9179 |4650 | 0 | 0 | 83 | 745k| 34 | 1.167930e+02 | -- | Inf
1496.56/1496.91 c 1461s| 2290k| 610 | 1679 | 25M|1261 | - |1563 |9194 |3186 | 0 | 0 | 83 | 747k| 34 | 1.167930e+02 | -- | Inf
1502.16/1502.55 c 1467s| 2300k| 619 | 1679 | 25M|1261 | - |1563 |9230 |3626 | 0 | 0 | 83 | 750k| 34 | 1.167930e+02 | -- | Inf
1507.96/1508.34 c 1472s| 2310k| 216 | 1679 | 25M|1261 | - |1563 |9214 |4504 | 0 | 0 | 83 | 752k| 34 | 1.167930e+02 | -- | Inf
1514.66/1515.08 c 1479s| 2320k| 50 | 1679 | 25M|1261 | - |1563 |9250 |4568 | 0 | 0 | 83 | 756k| 34 | 1.167930e+02 | -- | Inf
1521.15/1521.55 c 1485s| 2330k| 396 | 1679 | 25M|1261 | - |1563 |9237 |4044 | 0 | 0 | 83 | 759k| 34 | 1.167930e+02 | -- | Inf
1527.25/1527.64 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1527.25/1527.64 c 1491s| 2340k| 52 | 1679 | 25M|1261 | - |1563 |9208 |5034 | 0 | 0 | 83 | 761k| 34 | 1.167930e+02 | -- | Inf
1533.85/1534.28 c 1498s| 2350k| 94 | 1679 | 25M|1261 | - |1563 |9257 |4722 | 0 | 0 | 83 | 764k| 34 | 1.167930e+02 | -- | Inf
1540.15/1540.57 c 1504s| 2360k| 55 | 1679 | 25M|1261 | - |1563 |9255 |4765 | 0 | 0 | 83 | 767k| 34 | 1.167930e+02 | -- | Inf
1546.15/1546.53 c 1509s| 2370k| 63 | 1679 | 25M|1261 | - |1563 |9262 |4689 | 0 | 0 | 83 | 769k| 34 | 1.167930e+02 | -- | Inf
1552.75/1553.15 c 1516s| 2380k| 49 | 1679 | 25M|1261 | - |1563 |9280 |4889 | 0 | 0 | 83 | 772k| 34 | 1.167930e+02 | -- | Inf
1559.24/1559.61 c 1522s| 2390k| 117 | 1679 | 25M|1261 | - |1563 |9309 |4795 | 0 | 0 | 83 | 775k| 34 | 1.167930e+02 | -- | Inf
1565.44/1565.89 c 1528s| 2400k| 68 | 1679 | 25M|1261 | - |1563 |9282 |5000 | 0 | 0 | 83 | 778k| 34 | 1.167930e+02 | -- | Inf
1571.54/1571.94 c 1534s| 2410k| 911 | 1679 | 25M|1261 | - |1563 |9318 |3707 | 0 | 0 | 83 | 781k| 34 | 1.167930e+02 | -- | Inf
1578.14/1578.56 c 1541s| 2420k| 62 | 1679 | 24M|1261 | - |1563 |6680 |5450 | 0 | 0 | 83 | 784k| 34 | 1.167930e+02 | -- | Inf
1586.74/1587.11 c 1549s| 2430k| 68 | 1679 | 24M|1261 | - |1563 |6712 |5245 | 0 | 0 | 83 | 790k| 34 | 1.167930e+02 | -- | Inf
1595.03/1595.41 c 1557s| 2440k| 56 | 1679 | 24M|1261 | - |1563 |6687 |5195 | 0 | 0 | 83 | 796k| 34 | 1.167930e+02 | -- | Inf
1601.04/1601.40 c 1563s| 2450k| 56 | 1679 | 24M|1261 | - |1563 |6796 |4977 | 0 | 0 | 83 | 799k| 34 | 1.167930e+02 | -- | Inf
1609.23/1609.64 c 1571s| 2460k| 60 | 1679 | 24M|1261 | - |1563 |6687 |5055 | 0 | 0 | 83 | 805k| 34 | 1.167930e+02 | -- | Inf
1617.43/1617.85 c 1579s| 2470k| 149 | 1679 | 24M|1261 | - |1563 |6775 |4821 | 0 | 0 | 83 | 810k| 34 | 1.167930e+02 | -- | Inf
1625.44/1625.89 c 1587s| 2480k| 78 | 1679 | 24M|1261 | - |1563 |6717 |4956 | 0 | 0 | 83 | 815k| 34 | 1.167930e+02 | -- | Inf
1633.33/1633.74 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1633.33/1633.74 c 1595s| 2490k| 275 | 1679 | 24M|1261 | - |1563 |6729 |4747 | 0 | 0 | 83 | 820k| 34 | 1.167930e+02 | -- | Inf
1641.13/1641.59 c 1602s| 2500k| 58 | 1679 | 24M|1261 | - |1563 |6677 |5587 | 0 | 0 | 83 | 825k| 34 | 1.167930e+02 | -- | Inf
1649.03/1649.48 c 1610s| 2510k| 55 | 1679 | 24M|1261 | - |1563 |6704 |5039 | 0 | 0 | 83 | 830k| 34 | 1.167930e+02 | -- | Inf
1657.02/1657.44 c 1618s| 2520k| 193 | 1679 | 24M|1261 | - |1563 |6728 |4912 | 0 | 0 | 83 | 836k| 34 | 1.167930e+02 | -- | Inf
1664.62/1665.06 c 1625s| 2530k| 59 | 1679 | 24M|1261 | - |1563 |6714 |4978 | 0 | 0 | 83 | 842k| 34 | 1.167930e+02 | -- | Inf
1672.22/1672.60 c 1632s| 2540k| 62 | 1679 | 24M|1261 | - |1563 |6682 |5247 | 0 | 0 | 83 | 847k| 34 | 1.167930e+02 | -- | Inf
1680.33/1680.71 c 1640s| 2550k| 55 | 1679 | 24M|1261 | - |1563 |6702 |4961 | 0 | 0 | 83 | 852k| 34 | 1.167930e+02 | -- | Inf
1689.61/1690.01 c 1649s| 2560k| 60 | 1679 | 24M|1261 | - |1563 |6703 |4915 | 0 | 0 | 83 | 859k| 34 | 1.167930e+02 | -- | Inf
1698.82/1699.26 c 1658s| 2570k| 53 | 1679 | 24M|1261 | - |1563 |6682 |5174 | 0 | 0 | 83 | 866k| 34 | 1.167930e+02 | -- | Inf
1707.41/1707.88 c 1667s| 2580k| 625 | 1679 | 24M|1261 | - |1563 |6734 |3376 | 0 | 0 | 83 | 871k| 34 | 1.167930e+02 | -- | Inf
1714.52/1714.97 c 1674s| 2590k| 685 | 1679 | 24M|1261 | - |1563 |6695 |3833 | 0 | 0 | 83 | 875k| 34 | 1.167930e+02 | -- | Inf
1721.81/1722.22 c 1681s| 2600k| 119 | 1679 | 24M|1261 | - |1563 |6904 |4507 | 0 | 0 | 83 | 879k| 34 | 1.167930e+02 | -- | Inf
1729.41/1729.84 c 1688s| 2610k| 58 | 1679 | 24M|1261 | - |1563 |7142 |5038 | 0 | 0 | 83 | 884k| 34 | 1.167930e+02 | -- | Inf
1737.71/1738.17 c 1696s| 2620k| 150 | 1679 | 24M|1261 | - |1563 |7617 |4735 | 0 | 0 | 83 | 891k| 34 | 1.167930e+02 | -- | Inf
1746.21/1746.68 c 1705s| 2630k| 55 | 1679 | 24M|1261 | - |1563 |7953 |4963 | 0 | 0 | 83 | 897k| 34 | 1.167930e+02 | -- | Inf
1753.70/1754.19 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1753.70/1754.19 c 1712s| 2640k| 61 | 1679 | 25M|1261 | - |1563 |8276 |4890 | 0 | 0 | 83 | 902k| 34 | 1.167930e+02 | -- | Inf
1762.60/1763.00 c 1721s| 2650k| 57 | 1679 | 25M|1261 | - |1563 |8605 |5000 | 0 | 0 | 83 | 909k| 34 | 1.167930e+02 | -- | Inf
1769.80/1770.23 c 1728s| 2660k| 69 | 1679 | 24M|1261 | - |1563 |6757 |4891 | 0 | 0 | 83 | 913k| 34 | 1.167930e+02 | -- | Inf
1778.00/1778.48 c 1736s| 2670k| 598 | 1679 | 24M|1261 | - |1563 |6766 |4065 | 0 | 0 | 83 | 918k| 34 | 1.167930e+02 | -- | Inf
1785.70/1786.19 c 1743s| 2680k| 66 | 1679 | 24M|1261 | - |1563 |6698 |4827 | 0 | 0 | 83 | 923k| 34 | 1.167930e+02 | -- | Inf
1793.60/1794.05 c 1751s| 2690k| 355 | 1679 | 24M|1261 | - |1563 |6747 |4378 | 0 | 0 | 83 | 928k| 34 | 1.167930e+02 | -- | Inf
1800.09/1800.50 c
1800.09/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.50 c Solving Time (sec) : 1757.24
1800.09/1800.50 c Solving Nodes : 2698049
1800.09/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.09/1800.50 c Dual Bound : +1.16793032785481e+02
1800.09/1800.50 c Gap : infinite
1800.09/1800.50 c NODE 2698049
1800.09/1800.50 c DUAL BOUND 116.793
1800.09/1800.50 c PRIMAL BOUND 1e+20
1800.09/1800.50 c GAP 1e+20
1800.09/1800.50 s UNKNOWN
1800.09/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.50 c Solving Time : 1757.24
1800.09/1800.50 c Original Problem :
1800.09/1800.50 c Problem name : HOME/instance-1884198-1245255947.opb
1800.09/1800.50 c Variables : 1605 (1605 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.50 c Constraints : 8025 initial, 8025 maximal
1800.09/1800.50 c Presolved Problem :
1800.09/1800.50 c Problem name : t_HOME/instance-1884198-1245255947.opb
1800.09/1800.50 c Variables : 1563 (1563 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.50 c Constraints : 6659 initial, 13927 maximal
1800.09/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.50 c dualfix : 0.00 4 0 0 0 0 0 0 0
1800.09/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.50 c probing : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.50 c linear : 0.33 30 8 0 30 0 1342 78 0
1800.09/1800.50 c logicor : 0.17 0 0 0 0 0 24 0 0
1800.09/1800.50 c root node : - 0 - - 0 - - - -
1800.09/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.50 c integral : 0 0 0 1 0 0 0 0 0 2
1800.09/1800.50 c logicor : 6659+ 5 7409207 0 0 713847 16425436 0 0 0
1800.09/1800.50 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.50 c integral : 7.99 0.00 0.00 7.99 0.00
1800.09/1800.50 c logicor : 188.22 0.00 188.22 0.00 0.00
1800.09/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.50 c rootredcost : 3.58 0 0 0
1800.09/1800.50 c pseudoobj : 724.06 11702413 0 0
1800.09/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.50 c propagation : 63.17 713847 713696 713696 34.3 218786 23.1 -
1800.09/1800.50 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.09/1800.50 c applied globally : - - - 932482 31.6 - - -
1800.09/1800.50 c applied locally : - - - 0 0.0 - - -
1800.09/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.50 c cut pool : 0.03 4 - - 9 - (maximal pool size: 1325)
1800.09/1800.50 c redcost : 0.00 5 0 0 0 0
1800.09/1800.50 c impliedbounds : 0.00 5 0 0 0 0
1800.09/1800.50 c intobj : 0.00 0 0 0 0 0
1800.09/1800.50 c gomory : 4.16 5 0 0 2012 0
1800.09/1800.50 c strongcg : 1.07 5 0 0 2500 0
1800.09/1800.50 c cmir : 0.00 0 0 0 0 0
1800.09/1800.50 c flowcover : 0.00 0 0 0 0 0
1800.09/1800.50 c clique : 0.01 5 0 0 27 0
1800.09/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.50 c mcf : 0.01 1 0 0 0 0
1800.09/1800.50 c Pricers : Time Calls Vars
1800.09/1800.50 c problem variables: 0.00 0 0
1800.09/1800.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.50 c relpscost : 7.99 1 0 0 0 0 2
1800.09/1800.50 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.50 c inference : 631.59 2303916 0 0 0 0 4607832
1800.09/1800.50 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.50 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.50 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.50 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.50 c random : 0.00 0 0 0 0 0 0
1800.09/1800.50 c Primal Heuristics : Time Calls Found
1800.09/1800.50 c LP solutions : 0.00 - 0
1800.09/1800.50 c pseudo solutions : 0.00 - 0
1800.09/1800.50 c simplerounding : 0.00 0 0
1800.09/1800.50 c rounding : 0.00 0 0
1800.09/1800.50 c shifting : 0.00 0 0
1800.09/1800.50 c intshifting : 0.00 0 0
1800.09/1800.50 c oneopt : 0.00 0 0
1800.09/1800.50 c fixandinfer : 0.00 0 0
1800.09/1800.50 c feaspump : 0.00 0 0
1800.09/1800.50 c coefdiving : 0.00 0 0
1800.09/1800.50 c pscostdiving : 0.00 0 0
1800.09/1800.50 c fracdiving : 0.00 0 0
1800.09/1800.50 c veclendiving : 0.00 0 0
1800.09/1800.50 c intdiving : 0.00 0 0
1800.09/1800.50 c actconsdiving : 0.00 0 0
1800.09/1800.50 c objpscostdiving : 0.00 0 0
1800.09/1800.50 c rootsoldiving : 0.00 0 0
1800.09/1800.50 c linesearchdiving : 0.00 0 0
1800.09/1800.50 c guideddiving : 0.00 0 0
1800.09/1800.50 c octane : 0.00 0 0
1800.09/1800.50 c rens : 0.00 0 0
1800.09/1800.50 c rins : 0.00 0 0
1800.09/1800.50 c localbranching : 0.00 0 0
1800.09/1800.50 c mutation : 0.00 0 0
1800.09/1800.50 c crossover : 0.00 0 0
1800.09/1800.50 c dins : 0.00 0 0
1800.09/1800.50 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.50 c primal LP : 0.01 0 0 0.00 0.00
1800.09/1800.50 c dual LP : 1.97 6 1679 279.83 852.28
1800.09/1800.50 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.50 c diving/probing LP: 0.00 0 0 0.00 -
1800.09/1800.50 c strong branching : 7.99 34 5976 175.76 747.93
1800.09/1800.50 c (at root node) : - 34 5976 175.76 -
1800.09/1800.50 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.50 c B&B Tree :
1800.09/1800.50 c number of runs : 1
1800.09/1800.50 c nodes : 2698049
1800.09/1800.50 c nodes (total) : 2698049
1800.09/1800.50 c nodes left : 57
1800.09/1800.50 c max depth : 1261
1800.09/1800.50 c max depth (total): 1261
1800.09/1800.50 c backtracks : 352482 (13.1%)
1800.09/1800.50 c delayed cutoffs : 1909729
1800.09/1800.50 c repropagations : 3727771 (7762100 domain reductions, 319715 cutoffs)
1800.09/1800.50 c avg switch length: 4.26
1800.09/1800.50 c switching time : 108.86
1800.09/1800.50 c Solution :
1800.09/1800.50 c Solutions found : 0 (0 improvements)
1800.09/1800.50 c Primal Bound : -
1800.09/1800.50 c Dual Bound : +1.16793032785481e+02
1800.09/1800.50 c Gap : infinite
1800.09/1800.50 c Root Dual Bound : +1.16263114224425e+02
1800.09/1800.57 c Time complete: 1800.16.