0.09/0.17 c SCIP version 1.1.0.7
0.09/0.17 c LP-Solver SoPlex 1.4.1
0.09/0.17 c user parameter file <scip.set> not found - using default parameters
0.09/0.17 c read problem <HOME/instance-1884097-1245254150.opb>
0.09/0.17 c original problem has 1467 variables (1467 bin, 0 int, 0 impl, 0 cont) and 7521 constraints
0.19/0.23 c No objective function, only one solution is needed.
0.19/0.23 c start presolving problem
0.19/0.23 c presolving:
0.19/0.28 c (round 1) 37 del vars, 225 del conss, 33 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 750 impls, 0 clqs
0.19/0.29 c (round 2) 42 del vars, 369 del conss, 38 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1226 impls, 0 clqs
1.89/1.92 c (round 3) 42 del vars, 2156 del conss, 38 chg bounds, 116 chg sides, 0 chg coeffs, 6231 upgd conss, 1226 impls, 0 clqs
1.89/1.93 c presolving (4 rounds):
1.89/1.93 c 42 deleted vars, 2156 deleted constraints, 38 tightened bounds, 0 added holes, 116 changed sides, 0 changed coefficients
1.89/1.93 c 1226 implications, 0 cliques
1.89/1.93 c presolved problem has 1425 variables (1425 bin, 0 int, 0 impl, 0 cont) and 5365 constraints
1.89/1.93 c 5365 constraints of type <logicor>
1.89/1.93 c transformed objective value is always integral (scale: 1)
1.89/1.93 c Presolving Time: 1.67
1.89/1.93 c PURESAT
1.89/1.93 c -----------------------------------------------------------------------------------------------
1.89/1.93 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
1.89/1.93 c # [type: int, range: [-1,2147483647], default: 0]
1.89/1.93 c separating/flowcover/freq = c -1
1.89/1.93 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
1.89/1.93 c # [type: int, range: [-1,2147483647], default: 0]
1.89/1.93 c separating/cmir/freq = c -1
1.89/1.93 c # additional number of allowed LP iterations
1.89/1.93 c # [type: int, range: [0,2147483647], default: 1000]
1.89/1.93 c heuristics/veclendiving/maxlpiterofs = c 1500
1.89/1.93 c # maximal fraction of diving LP iterations compared to node LP iterations
1.89/1.93 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.89/1.93 c heuristics/veclendiving/maxlpiterquot = c 0.075
1.89/1.93 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
1.89/1.93 c # [type: int, range: [-1,2147483647], default: 10]
1.89/1.93 c heuristics/veclendiving/freq = c -1
1.89/1.93 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
1.89/1.93 c # [type: int, range: [-1,2147483647], default: 1]
1.89/1.93 c heuristics/simplerounding/freq = c -1
1.89/1.93 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
1.89/1.93 c # [type: int, range: [-1,2147483647], default: 10]
1.89/1.93 c heuristics/shifting/freq = c -1
1.89/1.93 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
1.89/1.93 c # [type: int, range: [-1,2147483647], default: 1]
1.89/1.93 c heuristics/rounding/freq = c -1
1.89/1.93 c # additional number of allowed LP iterations
1.89/1.93 c # [type: int, range: [0,2147483647], default: 1000]
1.89/1.93 c heuristics/rootsoldiving/maxlpiterofs = c 1500
1.89/1.93 c # maximal fraction of diving LP iterations compared to node LP iterations
1.89/1.93 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
1.89/1.93 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
1.89/1.93 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
1.89/1.93 c # [type: int, range: [-1,2147483647], default: 20]
1.89/1.93 c heuristics/rootsoldiving/freq = c -1
1.89/1.93 c # number of nodes added to the contingent of the total nodes
1.89/1.93 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.89/1.93 c heuristics/rens/nodesofs = c 2000
1.89/1.93 c # minimum percentage of integer variables that have to be fixable
1.89/1.93 c # [type: real, range: [0,1], default: 0.5]
1.89/1.93 c heuristics/rens/minfixingrate = c 0.3
1.89/1.93 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
1.89/1.93 c # [type: int, range: [-1,2147483647], default: 0]
1.89/1.93 c heuristics/rens/freq = c -1
1.89/1.93 c # additional number of allowed LP iterations
1.89/1.93 c # [type: int, range: [0,2147483647], default: 1000]
1.89/1.93 c heuristics/pscostdiving/maxlpiterofs = c 1500
1.89/1.93 c # maximal fraction of diving LP iterations compared to node LP iterations
1.89/1.93 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.89/1.93 c heuristics/pscostdiving/maxlpiterquot = c 0.075
1.89/1.93 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
1.89/1.93 c # [type: int, range: [-1,2147483647], default: 10]
1.89/1.93 c heuristics/pscostdiving/freq = c -1
1.89/1.93 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
1.89/1.93 c # [type: int, range: [-1,2147483647], default: 1]
1.89/1.93 c heuristics/oneopt/freq = c -1
1.89/1.93 c # additional number of allowed LP iterations
1.89/1.93 c # [type: int, range: [0,2147483647], default: 1000]
1.89/1.93 c heuristics/objpscostdiving/maxlpiterofs = c 1500
1.89/1.93 c # maximal fraction of diving LP iterations compared to total iteration number
1.89/1.93 c # [type: real, range: [0,1], default: 0.01]
1.89/1.93 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
1.89/1.93 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
1.89/1.93 c # [type: int, range: [-1,2147483647], default: 20]
1.89/1.93 c heuristics/objpscostdiving/freq = c -1
1.89/1.93 c # additional number of allowed LP iterations
1.89/1.93 c # [type: int, range: [0,2147483647], default: 1000]
1.89/1.93 c heuristics/linesearchdiving/maxlpiterofs = c 1500
1.89/1.93 c # maximal fraction of diving LP iterations compared to node LP iterations
1.89/1.93 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.89/1.93 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
1.89/1.93 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
1.89/1.93 c # [type: int, range: [-1,2147483647], default: 10]
1.89/1.93 c heuristics/linesearchdiving/freq = c -1
1.89/1.93 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
1.89/1.93 c # [type: int, range: [-1,2147483647], default: 10]
1.89/1.93 c heuristics/intshifting/freq = c -1
1.89/1.93 c # maximal fraction of diving LP iterations compared to node LP iterations
1.89/1.93 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.89/1.93 c heuristics/intdiving/maxlpiterquot = c 0.075
1.89/1.93 c # additional number of allowed LP iterations
1.89/1.93 c # [type: int, range: [0,2147483647], default: 1000]
1.89/1.93 c heuristics/guideddiving/maxlpiterofs = c 1500
1.89/1.93 c # maximal fraction of diving LP iterations compared to node LP iterations
1.89/1.93 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.89/1.93 c heuristics/guideddiving/maxlpiterquot = c 0.075
1.89/1.93 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
1.89/1.93 c # [type: int, range: [-1,2147483647], default: 10]
1.89/1.93 c heuristics/guideddiving/freq = c -1
1.89/1.93 c # additional number of allowed LP iterations
1.89/1.93 c # [type: int, range: [0,2147483647], default: 1000]
1.89/1.93 c heuristics/fracdiving/maxlpiterofs = c 1500
1.89/1.93 c # maximal fraction of diving LP iterations compared to node LP iterations
1.89/1.93 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.89/1.93 c heuristics/fracdiving/maxlpiterquot = c 0.075
1.89/1.93 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
1.89/1.93 c # [type: int, range: [-1,2147483647], default: 10]
1.89/1.93 c heuristics/fracdiving/freq = c -1
1.89/1.93 c # additional number of allowed LP iterations
1.89/1.93 c # [type: int, range: [0,2147483647], default: 1000]
1.89/1.93 c heuristics/feaspump/maxlpiterofs = c 2000
1.89/1.93 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
1.89/1.93 c # [type: int, range: [-1,2147483647], default: 20]
1.89/1.93 c heuristics/feaspump/freq = c -1
1.89/1.93 c # minimum percentage of integer variables that have to be fixed
1.89/1.93 c # [type: real, range: [0,1], default: 0.666]
1.89/1.93 c heuristics/crossover/minfixingrate = c 0.5
1.89/1.93 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
1.89/1.93 c # [type: real, range: [0,1], default: 0.1]
1.89/1.93 c heuristics/crossover/nodesquot = c 0.15
1.89/1.93 c # number of nodes without incumbent change that heuristic should wait
1.89/1.93 c # [type: longint, range: [0,9223372036854775807], default: 200]
1.89/1.93 c heuristics/crossover/nwaitingnodes = c 100
1.89/1.93 c # number of nodes added to the contingent of the total nodes
1.89/1.93 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.89/1.93 c heuristics/crossover/nodesofs = c 750
1.89/1.93 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
1.89/1.93 c # [type: int, range: [-1,2147483647], default: 30]
1.89/1.93 c heuristics/crossover/freq = c -1
1.89/1.93 c # additional number of allowed LP iterations
1.89/1.93 c # [type: int, range: [0,2147483647], default: 1000]
1.89/1.93 c heuristics/coefdiving/maxlpiterofs = c 1500
1.89/1.93 c # maximal fraction of diving LP iterations compared to node LP iterations
1.89/1.93 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.89/1.93 c heuristics/coefdiving/maxlpiterquot = c 0.075
1.89/1.93 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
1.89/1.93 c # [type: int, range: [-1,2147483647], default: 10]
1.89/1.93 c heuristics/coefdiving/freq = c -1
1.89/1.93 c # priority of node selection rule <dfs> in standard mode
1.89/1.93 c # [type: int, range: [-536870912,536870911], default: 0]
1.89/1.93 c nodeselection/dfs/stdpriority = c 1000000
1.89/1.93 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
1.89/1.93 c # [type: int, range: [-1,2147483647], default: -1]
1.89/1.93 c presolving/probing/maxrounds = c 0
1.89/1.93 c # should presolving try to simplify knapsacks
1.89/1.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.89/1.93 c constraints/knapsack/simplifyinequalities = c TRUE
1.89/1.93 c # should disaggregation of knapsack constraints be allowed in preprocessing?
1.89/1.93 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
1.89/1.93 c constraints/knapsack/disaggregation = c FALSE
1.89/1.93 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
1.89/1.93 c # [type: int, range: [-1,2147483647], default: -1]
1.89/1.93 c constraints/knapsack/maxnumcardlift = c 0
1.89/1.93 c # should presolving try to simplify inequalities
1.89/1.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.89/1.93 c constraints/linear/simplifyinequalities = c TRUE
1.89/1.93 c # maximal number of separation rounds in the root node (-1: unlimited)
1.89/1.93 c # [type: int, range: [-1,2147483647], default: -1]
1.89/1.93 c separating/maxroundsroot = c 5
1.89/1.93 c # maximal number of separation rounds per node (-1: unlimited)
1.89/1.93 c # [type: int, range: [-1,2147483647], default: 5]
1.89/1.93 c separating/maxrounds = c 1
1.89/1.93 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)
1.89/1.93 c # [type: char, range: {lafpsqd}, default: l]
1.89/1.93 c lp/pricing = c a
1.89/1.93 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.89/1.93 c # [type: int, range: [-1,2147483647], default: 1]
1.89/1.93 c lp/solvefreq = c 0
1.89/1.93 c # solving stops, if the given number of solutions were found (-1: no limit)
1.89/1.93 c # [type: int, range: [-1,2147483647], default: -1]
1.89/1.93 c limits/solutions = c 1
1.89/1.93 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.89/1.93 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.89/1.93 c limits/memory = c 1620
1.89/1.93 c # maximal time in seconds to run
1.89/1.93 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.89/1.93 c limits/time = c 1791
1.89/1.93 c # frequency for displaying node information lines
1.89/1.93 c # [type: int, range: [-1,2147483647], default: 100]
1.89/1.93 c display/freq = c 10000
1.89/1.93 c # should enforcement of pseudo solution be disabled?
1.89/1.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.89/1.93 c constraints/disableenfops = c TRUE
1.89/1.93 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.89/1.93 c # [type: int, range: [-1,2147483647], default: 0]
1.89/1.93 c constraints/agelimit = c 1
1.89/1.93 c # should binary conflicts be preferred?
1.89/1.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.89/1.93 c conflict/preferbinary = c TRUE
1.89/1.93 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.89/1.93 c # [type: int, range: [-1,2147483647], default: -1]
1.89/1.93 c conflict/interconss = c 0
1.89/1.93 c -----------------------------------------------------------------------------------------------
1.89/1.93 c start solving problem
1.89/1.93 c
1.99/2.04 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.99/2.04 c 1.8s| 1 | 0 | 168 | 13M| 0 | 136 |1425 |5365 |5365 |1425 |5365 | 0 | 0 | 0 | 8.987500e+01 | -- | Inf
2.29/2.35 c 2.1s| 1 | 0 | 399 | 13M| 0 | 139 |1425 |5365 |5365 |1425 |5397 | 32 | 0 | 0 | 1.083606e+02 | -- | Inf
2.89/2.95 c 2.7s| 1 | 0 | 697 | 15M| 0 | 128 |1425 |5365 |5365 |1425 |5410 | 45 | 0 | 0 | 1.133708e+02 | -- | Inf
3.69/3.76 c 3.5s| 1 | 0 | 889 | 17M| 0 | 129 |1425 |5365 |5365 |1425 |5420 | 55 | 0 | 0 | 1.149445e+02 | -- | Inf
4.89/4.99 c 4.7s| 1 | 0 | 1064 | 19M| 0 | 132 |1425 |5365 |5365 |1425 |5429 | 64 | 0 | 0 | 1.165970e+02 | -- | Inf
5.89/5.99 c 5.7s| 1 | 0 | 1255 | 22M| 0 | 115 |1425 |5365 |5365 |1425 |5438 | 73 | 0 | 0 | 1.178955e+02 | -- | Inf
10.58/10.62 c 10.3s| 1 | 2 | 1255 | 22M| 0 | 115 |1425 |5365 |5365 |1425 |5438 | 73 | 0 | 19 | 1.178955e+02 | -- | Inf
16.49/16.51 c 16.1s| 10000 | 462 | 1255 | 23M| 778 | - |1425 |5390 |2747 | 0 | 0 | 73 |3669 | 19 | 1.182500e+02 | -- | Inf
22.18/22.27 c 21.7s| 20000 | 40 | 1255 | 23M| 803 | - |1425 |5431 |3974 | 0 | 0 | 73 |7392 | 19 | 1.182500e+02 | -- | Inf
27.88/27.95 c 27.2s| 30000 | 25 | 1255 | 23M| 826 | - |1425 |5420 |3870 | 0 | 0 | 73 | 10k| 19 | 1.182500e+02 | -- | Inf
33.77/33.87 c 33.0s| 40000 | 30 | 1255 | 23M| 855 | - |1425 |5418 |3816 | 0 | 0 | 73 | 14k| 19 | 1.182500e+02 | -- | Inf
39.47/39.59 c 38.6s| 50000 | 742 | 1255 | 23M| 889 | - |1425 |5481 |2977 | 0 | 0 | 73 | 18k| 19 | 1.182500e+02 | -- | Inf
44.86/44.92 c 43.8s| 60000 | 22 | 1255 | 23M|1042 | - |1425 |5622 |3717 | 0 | 0 | 73 | 22k| 19 | 1.182500e+02 | -- | Inf
51.26/51.32 c 50.1s| 70000 | 51 | 1255 | 23M|1042 | - |1425 |5431 |3660 | 0 | 0 | 73 | 26k| 19 | 1.182500e+02 | -- | Inf
57.46/57.54 c 56.1s| 80000 | 43 | 1255 | 23M|1042 | - |1425 |5391 |3856 | 0 | 0 | 73 | 31k| 19 | 1.182500e+02 | -- | Inf
62.75/62.86 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.75/62.86 c 61.3s| 90000 | 332 | 1255 | 23M|1052 | - |1425 |5399 |3242 | 0 | 0 | 73 | 34k| 19 | 1.182500e+02 | -- | Inf
68.35/68.45 c 66.7s|100000 | 28 | 1255 | 23M|1135 | - |1425 |5414 |3877 | 0 | 0 | 73 | 37k| 19 | 1.182500e+02 | -- | Inf
75.44/75.52 c 73.7s|110000 | 31 | 1255 | 23M|1135 | - |1425 |5416 |3962 | 0 | 0 | 73 | 43k| 19 | 1.182500e+02 | -- | Inf
81.04/81.12 c 79.1s|120000 | 27 | 1255 | 23M|1144 | - |1425 |5472 |3586 | 0 | 0 | 73 | 47k| 19 | 1.182500e+02 | -- | Inf
87.33/87.48 c 85.3s|130000 | 24 | 1255 | 23M|1144 | - |1425 |5393 |3660 | 0 | 0 | 73 | 51k| 19 | 1.182500e+02 | -- | Inf
91.93/92.09 c 89.8s|140000 | 153 | 1255 | 23M|1144 | - |1425 |5428 |3542 | 0 | 0 | 73 | 53k| 19 | 1.182500e+02 | -- | Inf
97.43/97.57 c 95.2s|150000 | 245 | 1255 | 23M|1144 | - |1425 |5435 |3132 | 0 | 0 | 73 | 57k| 19 | 1.182500e+02 | -- | Inf
102.73/102.80 c 100s|160000 | 415 | 1255 | 23M|1144 | - |1425 |5425 |3061 | 0 | 0 | 73 | 59k| 19 | 1.182500e+02 | -- | Inf
107.93/108.05 c 105s|170000 | 137 | 1255 | 23M|1144 | - |1425 |5523 |3589 | 0 | 0 | 73 | 63k| 19 | 1.182500e+02 | -- | Inf
114.41/114.59 c 112s|180000 | 30 | 1255 | 23M|1144 | - |1425 |5438 |3812 | 0 | 0 | 73 | 68k| 19 | 1.182500e+02 | -- | Inf
120.82/120.90 c 118s|190000 | 61 | 1255 | 23M|1144 | - |1425 |5476 |3482 | 0 | 0 | 73 | 72k| 19 | 1.182500e+02 | -- | Inf
127.31/127.49 c 124s|200000 | 29 | 1255 | 23M|1144 | - |1425 |5411 |3952 | 0 | 0 | 73 | 77k| 19 | 1.182500e+02 | -- | Inf
133.41/133.55 c 130s|210000 | 20 | 1255 | 23M|1144 | - |1425 |5436 |3688 | 0 | 0 | 73 | 82k| 19 | 1.182500e+02 | -- | Inf
139.71/139.88 c 136s|220000 | 708 | 1255 | 23M|1144 | - |1425 |5424 |2734 | 0 | 0 | 73 | 86k| 19 | 1.182500e+02 | -- | Inf
146.20/146.38 c 143s|230000 | 37 | 1255 | 23M|1144 | - |1425 |5428 |3449 | 0 | 0 | 73 | 91k| 19 | 1.182500e+02 | -- | Inf
151.50/151.66 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.50/151.66 c 148s|240000 | 796 | 1255 | 23M|1144 | - |1425 |5427 |2635 | 0 | 0 | 73 | 94k| 19 | 1.182500e+02 | -- | Inf
155.90/156.06 c 152s|250000 | 24 | 1255 | 23M|1144 | - |1425 |5448 |3794 | 0 | 0 | 73 | 96k| 19 | 1.182500e+02 | -- | Inf
161.69/161.80 c 158s|260000 | 20 | 1255 | 23M|1144 | - |1425 |5465 |3880 | 0 | 0 | 73 | 99k| 19 | 1.182500e+02 | -- | Inf
167.79/167.91 c 164s|270000 | 28 | 1255 | 23M|1144 | - |1425 |5472 |3607 | 0 | 0 | 73 | 103k| 19 | 1.182500e+02 | -- | Inf
173.09/173.22 c 169s|280000 | 28 | 1255 | 23M|1144 | - |1425 |5454 |3599 | 0 | 0 | 73 | 106k| 19 | 1.182500e+02 | -- | Inf
178.18/178.35 c 174s|290000 | 542 | 1255 | 23M|1144 | - |1425 |5447 |2937 | 0 | 0 | 73 | 109k| 19 | 1.182500e+02 | -- | Inf
183.09/183.24 c 179s|300000 | 25 | 1255 | 23M|1144 | - |1425 |5433 |3868 | 0 | 0 | 73 | 112k| 19 | 1.182500e+02 | -- | Inf
188.68/188.80 c 184s|310000 | 162 | 1255 | 23M|1144 | - |1425 |5506 |2926 | 0 | 0 | 73 | 115k| 19 | 1.182500e+02 | -- | Inf
194.28/194.45 c 190s|320000 | 22 | 1255 | 23M|1144 | - |1425 |5434 |3925 | 0 | 0 | 73 | 118k| 19 | 1.182500e+02 | -- | Inf
198.98/199.13 c 194s|330000 | 28 | 1255 | 23M|1144 | - |1425 |5451 |3360 | 0 | 0 | 73 | 121k| 19 | 1.182500e+02 | -- | Inf
204.08/204.28 c 199s|340000 | 720 | 1255 | 23M|1144 | - |1425 |5468 |2707 | 0 | 0 | 73 | 124k| 19 | 1.182500e+02 | -- | Inf
209.18/209.34 c 204s|350000 | 28 | 1255 | 23M|1144 | - |1425 |5460 |3829 | 0 | 0 | 73 | 127k| 19 | 1.182500e+02 | -- | Inf
213.97/214.11 c 209s|360000 | 37 | 1255 | 23M|1144 | - |1425 |5420 |3879 | 0 | 0 | 73 | 129k| 19 | 1.182500e+02 | -- | Inf
220.77/220.94 c 215s|370000 | 37 | 1255 | 23M|1144 | - |1425 |5489 |3599 | 0 | 0 | 73 | 134k| 19 | 1.182500e+02 | -- | Inf
226.07/226.22 c 221s|380000 | 188 | 1255 | 23M|1144 | - |1425 |5453 |3550 | 0 | 0 | 73 | 136k| 19 | 1.182500e+02 | -- | Inf
231.47/231.62 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
231.47/231.62 c 226s|390000 | 61 | 1255 | 23M|1144 | - |1425 |5442 |3583 | 0 | 0 | 73 | 139k| 19 | 1.182500e+02 | -- | Inf
236.06/236.28 c 230s|400000 | 32 | 1255 | 23M|1144 | - |1425 |5448 |3520 | 0 | 0 | 73 | 142k| 19 | 1.182500e+02 | -- | Inf
241.96/242.14 c 236s|410000 | 34 | 1255 | 23M|1144 | - |1425 |5448 |3398 | 0 | 0 | 73 | 145k| 19 | 1.182500e+02 | -- | Inf
248.55/248.76 c 243s|420000 | 32 | 1255 | 23M|1144 | - |1425 |5491 |3701 | 0 | 0 | 73 | 149k| 19 | 1.182500e+02 | -- | Inf
254.25/254.46 c 248s|430000 | 39 | 1255 | 23M|1144 | - |1425 |5475 |3643 | 0 | 0 | 73 | 153k| 19 | 1.182500e+02 | -- | Inf
260.74/260.90 c 254s|440000 | 210 | 1255 | 23M|1144 | - |1425 |5479 |3344 | 0 | 0 | 73 | 157k| 19 | 1.182500e+02 | -- | Inf
265.84/266.02 c 259s|450000 | 418 | 1255 | 23M|1144 | - |1425 |5504 |3110 | 0 | 0 | 73 | 160k| 19 | 1.182500e+02 | -- | Inf
270.04/270.21 c 263s|460000 | 999 | 1255 | 23M|1144 | - |1425 |5506 |2249 | 0 | 0 | 73 | 162k| 19 | 1.182500e+02 | -- | Inf
276.04/276.29 c 269s|470000 | 160 | 1255 | 23M|1144 | - |1425 |5448 |3611 | 0 | 0 | 73 | 166k| 19 | 1.182500e+02 | -- | Inf
281.44/281.70 c 275s|480000 | 29 | 1255 | 23M|1144 | - |1425 |5486 |3717 | 0 | 0 | 73 | 169k| 19 | 1.182500e+02 | -- | Inf
287.13/287.35 c 280s|490000 | 28 | 1255 | 23M|1144 | - |1425 |5485 |3548 | 0 | 0 | 73 | 172k| 19 | 1.182500e+02 | -- | Inf
293.03/293.23 c 286s|500000 | 23 | 1255 | 23M|1144 | - |1425 |5494 |3515 | 0 | 0 | 73 | 176k| 19 | 1.182500e+02 | -- | Inf
298.53/298.77 c 291s|510000 | 20 | 1255 | 23M|1144 | - |1425 |5500 |3551 | 0 | 0 | 73 | 179k| 19 | 1.182500e+02 | -- | Inf
304.53/304.78 c 297s|520000 | 47 | 1255 | 23M|1144 | - |1425 |5474 |3556 | 0 | 0 | 73 | 183k| 19 | 1.182500e+02 | -- | Inf
311.02/311.25 c 303s|530000 | 30 | 1255 | 23M|1144 | - |1425 |5486 |3540 | 0 | 0 | 73 | 188k| 19 | 1.182500e+02 | -- | Inf
316.01/316.23 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
316.01/316.23 c 308s|540000 | 36 | 1255 | 23M|1144 | - |1425 |5520 |3634 | 0 | 0 | 73 | 191k| 19 | 1.182500e+02 | -- | Inf
320.71/320.94 c 313s|550000 | 731 | 1255 | 23M|1144 | - |1425 |5488 |2789 | 0 | 0 | 73 | 193k| 19 | 1.182500e+02 | -- | Inf
325.70/325.98 c 318s|560000 | 29 | 1255 | 23M|1144 | - |1425 |5507 |3698 | 0 | 0 | 73 | 196k| 19 | 1.182500e+02 | -- | Inf
330.60/330.81 c 323s|570000 | 30 | 1255 | 23M|1144 | - |1425 |5478 |3719 | 0 | 0 | 73 | 199k| 19 | 1.182500e+02 | -- | Inf
336.00/336.26 c 328s|580000 | 73 | 1255 | 23M|1144 | - |1425 |5438 |3495 | 0 | 0 | 73 | 202k| 19 | 1.182500e+02 | -- | Inf
342.10/342.32 c 334s|590000 | 190 | 1255 | 23M|1144 | - |1425 |5486 |3220 | 0 | 0 | 73 | 206k| 19 | 1.182500e+02 | -- | Inf
347.10/347.37 c 339s|600000 | 30 | 1255 | 23M|1144 | - |1425 |5481 |3417 | 0 | 0 | 73 | 208k| 19 | 1.182500e+02 | -- | Inf
352.39/352.65 c 344s|610000 | 31 | 1255 | 23M|1144 | - |1425 |5434 |3939 | 0 | 0 | 73 | 211k| 19 | 1.182500e+02 | -- | Inf
357.89/358.10 c 349s|620000 | 456 | 1255 | 23M|1144 | - |1425 |5452 |3038 | 0 | 0 | 73 | 214k| 19 | 1.182500e+02 | -- | Inf
364.49/364.72 c 356s|630000 | 32 | 1255 | 23M|1144 | - |1425 |5459 |3593 | 0 | 0 | 73 | 219k| 19 | 1.182500e+02 | -- | Inf
370.50/370.71 c 362s|640000 | 38 | 1255 | 23M|1144 | - |1425 |5510 |3435 | 0 | 0 | 73 | 223k| 19 | 1.182500e+02 | -- | Inf
376.49/376.75 c 367s|650000 | 27 | 1255 | 23M|1144 | - |1425 |5478 |3341 | 0 | 0 | 73 | 227k| 19 | 1.182500e+02 | -- | Inf
382.38/382.60 c 373s|660000 | 27 | 1255 | 23M|1144 | - |1425 |5467 |3684 | 0 | 0 | 73 | 230k| 19 | 1.182500e+02 | -- | Inf
387.17/387.41 c 378s|670000 | 58 | 1255 | 23M|1144 | - |1425 |5491 |3387 | 0 | 0 | 73 | 233k| 19 | 1.182500e+02 | -- | Inf
393.17/393.41 c 384s|680000 | 113 | 1255 | 23M|1144 | - |1425 |5412 |3390 | 0 | 0 | 73 | 237k| 19 | 1.182500e+02 | -- | Inf
399.67/399.93 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
399.67/399.93 c 390s|690000 | 35 | 1255 | 23M|1144 | - |1425 |5425 |3480 | 0 | 0 | 73 | 241k| 19 | 1.182500e+02 | -- | Inf
404.76/405.03 c 395s|700000 | 32 | 1255 | 23M|1144 | - |1425 |5430 |3482 | 0 | 0 | 73 | 244k| 19 | 1.182500e+02 | -- | Inf
410.96/411.21 c 401s|710000 | 796 | 1255 | 23M|1144 | - |1425 |5431 |2797 | 0 | 0 | 73 | 249k| 19 | 1.182500e+02 | -- | Inf
415.87/416.19 c 406s|720000 | 38 | 1255 | 23M|1144 | - |1425 |5476 |3416 | 0 | 0 | 73 | 252k| 19 | 1.182500e+02 | -- | Inf
420.87/421.17 c 411s|730000 | 692 | 1255 | 23M|1144 | - |1425 |5442 |2794 | 0 | 0 | 73 | 254k| 19 | 1.182500e+02 | -- | Inf
427.06/427.36 c 417s|740000 | 206 | 1255 | 23M|1144 | - |1425 |5432 |3383 | 0 | 0 | 73 | 259k| 19 | 1.182500e+02 | -- | Inf
431.55/431.86 c 421s|750000 | 48 | 1255 | 23M|1144 | - |1425 |5454 |3434 | 0 | 0 | 73 | 261k| 19 | 1.182500e+02 | -- | Inf
437.15/437.43 c 427s|760000 | 75 | 1255 | 23M|1144 | - |1425 |5457 |3495 | 0 | 0 | 73 | 264k| 19 | 1.182500e+02 | -- | Inf
442.16/442.41 c 431s|770000 | 27 | 1255 | 23M|1144 | - |1425 |5426 |3780 | 0 | 0 | 73 | 267k| 19 | 1.182500e+02 | -- | Inf
447.85/448.12 c 437s|780000 | 19 | 1255 | 23M|1144 | - |1425 |5482 |3318 | 0 | 0 | 73 | 270k| 19 | 1.182500e+02 | -- | Inf
454.05/454.38 c 443s|790000 | 924 | 1255 | 23M|1144 | - |1425 |5456 |2509 | 0 | 0 | 73 | 275k| 19 | 1.182500e+02 | -- | Inf
460.94/461.27 c 450s|800000 | 291 | 1255 | 23M|1144 | - |1425 |5435 |3448 | 0 | 0 | 73 | 280k| 19 | 1.182500e+02 | -- | Inf
466.74/467.06 c 456s|810000 | 25 | 1255 | 23M|1144 | - |1425 |5428 |3808 | 0 | 0 | 73 | 284k| 19 | 1.182500e+02 | -- | Inf
473.34/473.65 c 462s|820000 | 37 | 1255 | 23M|1144 | - |1425 |5422 |3445 | 0 | 0 | 73 | 288k| 19 | 1.182500e+02 | -- | Inf
479.24/479.57 c 468s|830000 | 32 | 1255 | 23M|1144 | - |1425 |5455 |3571 | 0 | 0 | 73 | 292k| 19 | 1.182500e+02 | -- | Inf
484.13/484.43 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
484.13/484.43 c 472s|840000 | 525 | 1255 | 23M|1144 | - |1425 |5422 |2896 | 0 | 0 | 73 | 294k| 19 | 1.182500e+02 | -- | Inf
489.94/490.21 c 478s|850000 | 32 | 1255 | 23M|1144 | - |1425 |5427 |3598 | 0 | 0 | 73 | 298k| 19 | 1.182500e+02 | -- | Inf
494.83/495.13 c 483s|860000 | 44 | 1255 | 23M|1144 | - |1425 |5432 |3465 | 0 | 0 | 73 | 300k| 19 | 1.182500e+02 | -- | Inf
500.14/500.49 c 488s|870000 | 71 | 1255 | 23M|1144 | - |1425 |5454 |3460 | 0 | 0 | 73 | 303k| 19 | 1.182500e+02 | -- | Inf
506.53/506.84 c 494s|880000 | 28 | 1255 | 23M|1144 | - |1425 |5488 |3358 | 0 | 0 | 73 | 308k| 19 | 1.182500e+02 | -- | Inf
512.22/512.52 c 500s|890000 | 20 | 1255 | 23M|1144 | - |1425 |5503 |3303 | 0 | 0 | 73 | 312k| 19 | 1.182500e+02 | -- | Inf
517.02/517.35 c 505s|900000 | 18 | 1255 | 23M|1144 | - |1425 |5505 |3190 | 0 | 0 | 73 | 314k| 19 | 1.182500e+02 | -- | Inf
523.52/523.86 c 511s|910000 | 193 | 1255 | 23M|1144 | - |1425 |5494 |3121 | 0 | 0 | 73 | 319k| 19 | 1.182500e+02 | -- | Inf
528.22/528.54 c 515s|920000 | 22 | 1255 | 23M|1144 | - |1425 |5431 |3389 | 0 | 0 | 73 | 322k| 19 | 1.182500e+02 | -- | Inf
533.41/533.72 c 520s|930000 | 35 | 1255 | 23M|1144 | - |1425 |5547 |3317 | 0 | 0 | 73 | 324k| 19 | 1.182500e+02 | -- | Inf
539.11/539.41 c 526s|940000 | 264 | 1255 | 23M|1144 | - |1425 |5462 |3218 | 0 | 0 | 73 | 328k| 19 | 1.182500e+02 | -- | Inf
544.51/544.84 c 531s|950000 | 26 | 1255 | 23M|1144 | - |1425 |5462 |3509 | 0 | 0 | 73 | 331k| 19 | 1.182500e+02 | -- | Inf
550.01/550.37 c 537s|960000 | 26 | 1255 | 23M|1144 | - |1425 |5461 |3427 | 0 | 0 | 73 | 335k| 19 | 1.182500e+02 | -- | Inf
556.80/557.10 c 543s|970000 | 20 | 1255 | 23M|1144 | - |1425 |5468 |3636 | 0 | 0 | 73 | 340k| 19 | 1.182500e+02 | -- | Inf
562.20/562.54 c 548s|980000 | 26 | 1255 | 23M|1144 | - |1425 |5485 |3605 | 0 | 0 | 73 | 343k| 19 | 1.182500e+02 | -- | Inf
567.80/568.17 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
567.80/568.17 c 554s|990000 | 171 | 1255 | 23M|1144 | - |1425 |5462 |3465 | 0 | 0 | 73 | 346k| 19 | 1.182500e+02 | -- | Inf
573.29/573.61 c 559s| 1000k| 25 | 1255 | 23M|1144 | - |1425 |5473 |3618 | 0 | 0 | 73 | 350k| 19 | 1.182500e+02 | -- | Inf
579.10/579.43 c 565s| 1010k| 31 | 1255 | 23M|1144 | - |1425 |5505 |3423 | 0 | 0 | 73 | 353k| 19 | 1.182500e+02 | -- | Inf
584.29/584.62 c 570s| 1020k| 25 | 1255 | 23M|1144 | - |1425 |5490 |3397 | 0 | 0 | 73 | 356k| 19 | 1.182500e+02 | -- | Inf
590.29/590.67 c 576s| 1030k| 184 | 1255 | 23M|1144 | - |1425 |5510 |3255 | 0 | 0 | 73 | 360k| 19 | 1.182500e+02 | -- | Inf
596.38/596.71 c 582s| 1040k| 28 | 1255 | 23M|1144 | - |1425 |5501 |3490 | 0 | 0 | 73 | 364k| 19 | 1.182500e+02 | -- | Inf
601.78/602.19 c 587s| 1050k| 92 | 1255 | 23M|1144 | - |1425 |5507 |3316 | 0 | 0 | 73 | 368k| 19 | 1.182500e+02 | -- | Inf
607.38/607.75 c 593s| 1060k| 26 | 1255 | 23M|1144 | - |1425 |5474 |3510 | 0 | 0 | 73 | 371k| 19 | 1.182500e+02 | -- | Inf
613.57/613.93 c 599s| 1070k| 28 | 1255 | 23M|1144 | - |1425 |5492 |3586 | 0 | 0 | 73 | 376k| 19 | 1.182500e+02 | -- | Inf
619.28/619.64 c 604s| 1080k| 39 | 1255 | 23M|1144 | - |1425 |5491 |3316 | 0 | 0 | 73 | 379k| 19 | 1.182500e+02 | -- | Inf
625.48/625.87 c 610s| 1090k| 24 | 1255 | 23M|1144 | - |1425 |5513 |3469 | 0 | 0 | 73 | 383k| 19 | 1.182500e+02 | -- | Inf
631.08/631.41 c 616s| 1100k| 971 | 1255 | 23M|1144 | - |1425 |5563 |2441 | 0 | 0 | 73 | 386k| 19 | 1.182500e+02 | -- | Inf
636.97/637.30 c 621s| 1110k| 23 | 1255 | 23M|1144 | - |1425 |5504 |3529 | 0 | 0 | 73 | 390k| 19 | 1.182500e+02 | -- | Inf
642.86/643.25 c 627s| 1120k| 60 | 1255 | 23M|1144 | - |1425 |5468 |3337 | 0 | 0 | 73 | 393k| 19 | 1.182500e+02 | -- | Inf
648.26/648.64 c 632s| 1130k| 16 | 1255 | 23M|1144 | - |1425 |5526 |3557 | 0 | 0 | 73 | 397k| 19 | 1.182500e+02 | -- | Inf
654.65/655.04 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
654.65/655.04 c 639s| 1140k| 33 | 1255 | 23M|1144 | - |1425 |5406 |3480 | 0 | 0 | 73 | 401k| 19 | 1.182500e+02 | -- | Inf
661.66/662.05 c 646s| 1150k| 19 | 1255 | 23M|1144 | - |1425 |5406 |4198 | 0 | 0 | 73 | 407k| 19 | 1.182500e+02 | -- | Inf
668.46/668.83 c 652s| 1160k| 29 | 1255 | 23M|1144 | - |1425 |5412 |4104 | 0 | 0 | 73 | 412k| 19 | 1.182500e+02 | -- | Inf
675.85/676.26 c 659s| 1170k| 28 | 1255 | 23M|1144 | - |1425 |5414 |4099 | 0 | 0 | 73 | 419k| 19 | 1.182500e+02 | -- | Inf
681.55/681.99 c 665s| 1180k| 703 | 1255 | 23M|1144 | - |1425 |5503 |2706 | 0 | 0 | 73 | 423k| 19 | 1.182500e+02 | -- | Inf
687.65/688.09 c 671s| 1190k| 31 | 1255 | 23M|1144 | - |1425 |5430 |3759 | 0 | 0 | 73 | 427k| 19 | 1.182500e+02 | -- | Inf
694.15/694.58 c 677s| 1200k| 912 | 1255 | 23M|1144 | - |1425 |5457 |2681 | 0 | 0 | 73 | 431k| 19 | 1.182500e+02 | -- | Inf
700.14/700.59 c 683s| 1210k| 119 | 1255 | 23M|1144 | - |1425 |5445 |3233 | 0 | 0 | 73 | 436k| 19 | 1.182500e+02 | -- | Inf
706.23/706.64 c 689s| 1220k| 755 | 1255 | 23M|1144 | - |1425 |5462 |2695 | 0 | 0 | 73 | 440k| 19 | 1.182500e+02 | -- | Inf
712.54/712.98 c 695s| 1230k| 25 | 1255 | 23M|1144 | - |1425 |5417 |3877 | 0 | 0 | 73 | 444k| 19 | 1.182500e+02 | -- | Inf
719.04/719.45 c 701s| 1240k| 24 | 1255 | 23M|1144 | - |1425 |5456 |3485 | 0 | 0 | 73 | 449k| 19 | 1.182500e+02 | -- | Inf
725.73/726.10 c 708s| 1250k| 28 | 1255 | 23M|1144 | - |1425 |5674 |3606 | 0 | 0 | 73 | 455k| 19 | 1.182500e+02 | -- | Inf
731.63/732.06 c 714s| 1260k| 525 | 1255 | 23M|1144 | - |1425 |5454 |2873 | 0 | 0 | 73 | 459k| 19 | 1.182500e+02 | -- | Inf
738.13/738.58 c 720s| 1270k| 448 | 1255 | 23M|1144 | - |1425 |5472 |2965 | 0 | 0 | 73 | 464k| 19 | 1.182500e+02 | -- | Inf
744.43/744.86 c 726s| 1280k| 25 | 1255 | 23M|1144 | - |1425 |5484 |3469 | 0 | 0 | 73 | 469k| 19 | 1.182500e+02 | -- | Inf
750.52/750.95 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
750.52/750.95 c 732s| 1290k| 22 | 1255 | 23M|1144 | - |1425 |5454 |3510 | 0 | 0 | 73 | 473k| 19 | 1.182500e+02 | -- | Inf
756.82/757.28 c 738s| 1300k| 22 | 1255 | 23M|1144 | - |1425 |5446 |3441 | 0 | 0 | 73 | 478k| 19 | 1.182500e+02 | -- | Inf
763.81/764.25 c 745s| 1310k| 23 | 1255 | 23M|1144 | - |1425 |5434 |3506 | 0 | 0 | 73 | 483k| 19 | 1.182500e+02 | -- | Inf
770.51/770.98 c 752s| 1320k| 24 | 1255 | 23M|1144 | - |1425 |5516 |3484 | 0 | 0 | 73 | 488k| 19 | 1.182500e+02 | -- | Inf
777.32/777.73 c 758s| 1330k| 17 | 1255 | 23M|1144 | - |1425 |5507 |3297 | 0 | 0 | 73 | 493k| 19 | 1.182500e+02 | -- | Inf
783.31/783.73 c 764s| 1340k| 24 | 1255 | 23M|1144 | - |1425 |5475 |3342 | 0 | 0 | 73 | 497k| 19 | 1.182500e+02 | -- | Inf
788.90/789.35 c 770s| 1350k| 30 | 1255 | 23M|1144 | - |1425 |5510 |3618 | 0 | 0 | 73 | 501k| 19 | 1.182500e+02 | -- | Inf
794.81/795.25 c 775s| 1360k| 23 | 1255 | 23M|1144 | - |1425 |5510 |3738 | 0 | 0 | 73 | 505k| 19 | 1.182500e+02 | -- | Inf
801.10/801.55 c 781s| 1370k| 18 | 1255 | 23M|1144 | - |1425 |5470 |3733 | 0 | 0 | 73 | 509k| 19 | 1.182500e+02 | -- | Inf
807.40/807.82 c 788s| 1380k| 390 | 1255 | 23M|1144 | - |1425 |5508 |2867 | 0 | 0 | 73 | 513k| 19 | 1.182500e+02 | -- | Inf
813.19/813.62 c 793s| 1390k| 21 | 1255 | 23M|1144 | - |1425 |5458 |3547 | 0 | 0 | 73 | 517k| 19 | 1.182500e+02 | -- | Inf
820.59/821.03 c 800s| 1400k| 43 | 1255 | 23M|1144 | - |1425 |5499 |3632 | 0 | 0 | 73 | 524k| 19 | 1.182500e+02 | -- | Inf
826.99/827.40 c 807s| 1410k| 49 | 1255 | 23M|1144 | - |1425 |5446 |3648 | 0 | 0 | 73 | 529k| 19 | 1.182500e+02 | -- | Inf
832.49/832.97 c 812s| 1420k| 200 | 1255 | 23M|1144 | - |1425 |5467 |3627 | 0 | 0 | 73 | 532k| 19 | 1.182500e+02 | -- | Inf
837.98/838.48 c 817s| 1430k| 194 | 1255 | 23M|1144 | - |1425 |5425 |3603 | 0 | 0 | 73 | 535k| 19 | 1.182500e+02 | -- | Inf
843.98/844.45 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
843.98/844.45 c 823s| 1440k| 31 | 1255 | 23M|1144 | - |1425 |5460 |3811 | 0 | 0 | 73 | 539k| 19 | 1.182500e+02 | -- | Inf
849.48/849.94 c 829s| 1450k| 40 | 1255 | 23M|1144 | - |1425 |5494 |3687 | 0 | 0 | 73 | 542k| 19 | 1.182500e+02 | -- | Inf
854.97/855.45 c 834s| 1460k| 29 | 1255 | 23M|1144 | - |1425 |5590 |3502 | 0 | 0 | 73 | 545k| 19 | 1.182500e+02 | -- | Inf
860.98/861.41 c 840s| 1470k| 32 | 1255 | 23M|1144 | - |1425 |5654 |3849 | 0 | 0 | 73 | 549k| 19 | 1.182500e+02 | -- | Inf
866.87/867.30 c 846s| 1480k| 29 | 1255 | 23M|1144 | - |1425 |5527 |3806 | 0 | 0 | 73 | 553k| 19 | 1.182500e+02 | -- | Inf
872.77/873.25 c 851s| 1490k| 34 | 1255 | 23M|1144 | - |1425 |5445 |3808 | 0 | 0 | 73 | 557k| 19 | 1.182500e+02 | -- | Inf
878.96/879.44 c 857s| 1500k| 32 | 1255 | 23M|1144 | - |1425 |5447 |3754 | 0 | 0 | 73 | 561k| 19 | 1.182500e+02 | -- | Inf
884.77/885.23 c 863s| 1510k| 26 | 1255 | 23M|1144 | - |1425 |5452 |3686 | 0 | 0 | 73 | 565k| 19 | 1.182500e+02 | -- | Inf
890.76/891.30 c 869s| 1520k| 27 | 1255 | 23M|1144 | - |1425 |5436 |3711 | 0 | 0 | 73 | 569k| 19 | 1.182500e+02 | -- | Inf
897.46/897.99 c 875s| 1530k| 22 | 1255 | 23M|1144 | - |1425 |5445 |3720 | 0 | 0 | 73 | 574k| 19 | 1.182500e+02 | -- | Inf
903.95/904.43 c 882s| 1540k| 35 | 1255 | 23M|1144 | - |1425 |5502 |3610 | 0 | 0 | 73 | 579k| 19 | 1.182500e+02 | -- | Inf
910.65/911.11 c 888s| 1550k| 31 | 1255 | 23M|1144 | - |1425 |5441 |3465 | 0 | 0 | 73 | 584k| 19 | 1.182500e+02 | -- | Inf
916.35/916.83 c 894s| 1560k| 87 | 1255 | 23M|1144 | - |1425 |5450 |3469 | 0 | 0 | 73 | 588k| 19 | 1.182500e+02 | -- | Inf
922.35/922.83 c 900s| 1570k| 540 | 1255 | 23M|1144 | - |1425 |5453 |2812 | 0 | 0 | 73 | 592k| 19 | 1.182500e+02 | -- | Inf
928.15/928.63 c 905s| 1580k| 31 | 1255 | 23M|1144 | - |1425 |5430 |3865 | 0 | 0 | 73 | 596k| 19 | 1.182500e+02 | -- | Inf
935.13/935.65 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
935.13/935.65 c 912s| 1590k| 26 | 1255 | 23M|1144 | - |1425 |5443 |3922 | 0 | 0 | 73 | 601k| 19 | 1.182500e+02 | -- | Inf
941.84/942.33 c 919s| 1600k| 23 | 1255 | 23M|1144 | - |1425 |5444 |3920 | 0 | 0 | 73 | 606k| 19 | 1.182500e+02 | -- | Inf
948.63/949.15 c 925s| 1610k| 31 | 1255 | 23M|1144 | - |1425 |5447 |3841 | 0 | 0 | 73 | 612k| 19 | 1.182500e+02 | -- | Inf
955.44/955.98 c 932s| 1620k| 59 | 1255 | 23M|1144 | - |1425 |5438 |3527 | 0 | 0 | 73 | 617k| 19 | 1.182500e+02 | -- | Inf
961.63/962.17 c 938s| 1630k| 36 | 1255 | 23M|1144 | - |1425 |5438 |3637 | 0 | 0 | 73 | 621k| 19 | 1.182500e+02 | -- | Inf
967.93/968.46 c 944s| 1640k| 175 | 1255 | 23M|1144 | - |1425 |5474 |3347 | 0 | 0 | 73 | 626k| 19 | 1.182500e+02 | -- | Inf
974.43/974.94 c 950s| 1650k| 71 | 1255 | 23M|1144 | - |1425 |5454 |3508 | 0 | 0 | 73 | 631k| 19 | 1.182500e+02 | -- | Inf
980.63/981.20 c 956s| 1660k| 31 | 1255 | 23M|1144 | - |1425 |5464 |3705 | 0 | 0 | 73 | 635k| 19 | 1.182500e+02 | -- | Inf
987.32/987.83 c 963s| 1670k| 21 | 1255 | 23M|1144 | - |1425 |5479 |3672 | 0 | 0 | 73 | 639k| 19 | 1.182500e+02 | -- | Inf
993.12/993.67 c 969s| 1680k| 28 | 1255 | 23M|1144 | - |1425 |5486 |3686 | 0 | 0 | 73 | 643k| 19 | 1.182500e+02 | -- | Inf
999.42/999.92 c 975s| 1690k| 42 | 1255 | 23M|1144 | - |1425 |5475 |3498 | 0 | 0 | 73 | 647k| 19 | 1.182500e+02 | -- | Inf
1005.11/1005.69 c 980s| 1700k| 25 | 1255 | 23M|1144 | - |1425 |5476 |3772 | 0 | 0 | 73 | 651k| 19 | 1.182500e+02 | -- | Inf
1011.21/1011.75 c 986s| 1710k| 87 | 1255 | 23M|1144 | - |1425 |5484 |3400 | 0 | 0 | 73 | 655k| 19 | 1.182500e+02 | -- | Inf
1017.50/1018.09 c 992s| 1720k| 714 | 1255 | 23M|1144 | - |1425 |5457 |2656 | 0 | 0 | 73 | 659k| 19 | 1.182500e+02 | -- | Inf
1024.20/1024.74 c 999s| 1730k| 29 | 1255 | 23M|1144 | - |1425 |5453 |3670 | 0 | 0 | 73 | 664k| 19 | 1.182500e+02 | -- | Inf
1030.21/1030.77 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1030.21/1030.77 c 1005s| 1740k| 219 | 1255 | 23M|1144 | - |1425 |5436 |3568 | 0 | 0 | 73 | 669k| 19 | 1.182500e+02 | -- | Inf
1036.50/1037.01 c 1011s| 1750k| 833 | 1255 | 23M|1144 | - |1425 |5480 |2721 | 0 | 0 | 73 | 673k| 19 | 1.182500e+02 | -- | Inf
1042.60/1043.16 c 1017s| 1760k| 32 | 1255 | 23M|1144 | - |1425 |5443 |3751 | 0 | 0 | 73 | 678k| 19 | 1.182500e+02 | -- | Inf
1048.80/1049.38 c 1023s| 1770k| 31 | 1255 | 23M|1144 | - |1425 |5449 |3768 | 0 | 0 | 73 | 682k| 19 | 1.182500e+02 | -- | Inf
1055.39/1055.92 c 1029s| 1780k| 39 | 1255 | 23M|1144 | - |1425 |5444 |3792 | 0 | 0 | 73 | 687k| 19 | 1.182500e+02 | -- | Inf
1061.38/1061.99 c 1035s| 1790k| 28 | 1255 | 23M|1144 | - |1425 |5455 |3824 | 0 | 0 | 73 | 691k| 19 | 1.182500e+02 | -- | Inf
1067.59/1068.18 c 1041s| 1800k| 41 | 1255 | 23M|1144 | - |1425 |5465 |3534 | 0 | 0 | 73 | 696k| 19 | 1.182500e+02 | -- | Inf
1073.68/1074.27 c 1047s| 1810k| 193 | 1255 | 23M|1144 | - |1425 |5473 |3404 | 0 | 0 | 73 | 699k| 19 | 1.182500e+02 | -- | Inf
1080.07/1080.64 c 1053s| 1820k| 32 | 1255 | 23M|1144 | - |1425 |5506 |3397 | 0 | 0 | 73 | 704k| 19 | 1.182500e+02 | -- | Inf
1086.67/1087.27 c 1060s| 1830k| 28 | 1255 | 23M|1144 | - |1425 |5562 |3404 | 0 | 0 | 73 | 709k| 19 | 1.182500e+02 | -- | Inf
1093.77/1094.37 c 1067s| 1840k| 30 | 1255 | 23M|1144 | - |1425 |5483 |3453 | 0 | 0 | 73 | 715k| 19 | 1.182500e+02 | -- | Inf
1100.27/1100.82 c 1073s| 1850k| 333 | 1255 | 23M|1144 | - |1425 |5482 |3021 | 0 | 0 | 73 | 719k| 19 | 1.182500e+02 | -- | Inf
1105.56/1106.12 c 1078s| 1860k| 556 | 1255 | 23M|1144 | - |1425 |5484 |2705 | 0 | 0 | 73 | 722k| 19 | 1.182500e+02 | -- | Inf
1112.06/1112.61 c 1084s| 1870k| 22 | 1255 | 23M|1144 | - |1425 |5526 |3406 | 0 | 0 | 73 | 727k| 19 | 1.182500e+02 | -- | Inf
1117.16/1117.75 c 1089s| 1880k| 34 | 1255 | 23M|1144 | - |1425 |5445 |3864 | 0 | 0 | 73 | 730k| 19 | 1.182500e+02 | -- | Inf
1121.75/1122.35 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1121.75/1122.35 c 1094s| 1890k| 37 | 1255 | 23M|1144 | - |1425 |5494 |3495 | 0 | 0 | 73 | 732k| 19 | 1.182500e+02 | -- | Inf
1127.65/1128.22 c 1100s| 1900k| 38 | 1255 | 23M|1144 | - |1425 |5395 |3795 | 0 | 0 | 73 | 736k| 19 | 1.182500e+02 | -- | Inf
1133.65/1134.26 c 1106s| 1910k| 30 | 1255 | 23M|1144 | - |1425 |5390 |3902 | 0 | 0 | 73 | 740k| 19 | 1.182500e+02 | -- | Inf
1139.85/1140.45 c 1112s| 1920k| 24 | 1255 | 23M|1144 | - |1425 |5417 |3838 | 0 | 0 | 73 | 744k| 19 | 1.182500e+02 | -- | Inf
1145.24/1145.89 c 1117s| 1930k| 40 | 1255 | 23M|1144 | - |1425 |5447 |3640 | 0 | 0 | 73 | 748k| 19 | 1.182500e+02 | -- | Inf
1151.34/1151.94 c 1123s| 1940k| 384 | 1255 | 23M|1144 | - |1425 |5415 |3083 | 0 | 0 | 73 | 752k| 19 | 1.182500e+02 | -- | Inf
1157.04/1157.67 c 1128s| 1950k| 32 | 1255 | 23M|1144 | - |1425 |5411 |3658 | 0 | 0 | 73 | 756k| 19 | 1.182500e+02 | -- | Inf
1161.74/1162.38 c 1133s| 1960k| 134 | 1255 | 23M|1144 | - |1425 |5419 |3222 | 0 | 0 | 73 | 758k| 19 | 1.182500e+02 | -- | Inf
1167.54/1168.12 c 1139s| 1970k| 27 | 1255 | 23M|1144 | - |1425 |5510 |3742 | 0 | 0 | 73 | 762k| 19 | 1.182500e+02 | -- | Inf
1172.64/1173.20 c 1144s| 1980k| 762 | 1255 | 23M|1144 | - |1425 |5445 |2710 | 0 | 0 | 73 | 765k| 19 | 1.182500e+02 | -- | Inf
1178.33/1178.92 c 1149s| 1990k| 32 | 1255 | 23M|1144 | - |1425 |5438 |3685 | 0 | 0 | 73 | 769k| 19 | 1.182500e+02 | -- | Inf
1183.23/1183.83 c 1154s| 2000k| 41 | 1255 | 23M|1144 | - |1425 |5413 |3879 | 0 | 0 | 73 | 772k| 19 | 1.182500e+02 | -- | Inf
1188.82/1189.42 c 1159s| 2010k| 499 | 1255 | 23M|1144 | - |1425 |5428 |3074 | 0 | 0 | 73 | 776k| 19 | 1.182500e+02 | -- | Inf
1195.13/1195.73 c 1165s| 2020k| 37 | 1255 | 23M|1144 | - |1425 |5447 |3550 | 0 | 0 | 73 | 780k| 19 | 1.182500e+02 | -- | Inf
1201.11/1201.70 c 1171s| 2030k| 81 | 1255 | 23M|1144 | - |1425 |5418 |3508 | 0 | 0 | 73 | 785k| 19 | 1.182500e+02 | -- | Inf
1206.42/1207.05 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1206.42/1207.05 c 1177s| 2040k| 202 | 1255 | 23M|1144 | - |1425 |5469 |3158 | 0 | 0 | 73 | 788k| 19 | 1.182500e+02 | -- | Inf
1212.92/1213.59 c 1183s| 2050k| 332 | 1255 | 23M|1144 | - |1425 |5429 |3271 | 0 | 0 | 73 | 793k| 19 | 1.182500e+02 | -- | Inf
1219.42/1220.04 c 1189s| 2060k| 38 | 1255 | 23M|1144 | - |1425 |5443 |3705 | 0 | 0 | 73 | 797k| 19 | 1.182500e+02 | -- | Inf
1224.51/1225.13 c 1194s| 2070k| 147 | 1255 | 23M|1144 | - |1425 |5433 |3131 | 0 | 0 | 73 | 800k| 19 | 1.182500e+02 | -- | Inf
1230.31/1230.93 c 1200s| 2080k| 60 | 1255 | 23M|1144 | - |1425 |5477 |3337 | 0 | 0 | 73 | 804k| 19 | 1.182500e+02 | -- | Inf
1235.71/1236.35 c 1205s| 2090k| 835 | 1255 | 23M|1144 | - |1425 |5444 |2606 | 0 | 0 | 73 | 807k| 19 | 1.182500e+02 | -- | Inf
1241.40/1242.01 c 1211s| 2100k| 23 | 1255 | 23M|1144 | - |1425 |5449 |3793 | 0 | 0 | 73 | 811k| 19 | 1.182500e+02 | -- | Inf
1247.40/1248.04 c 1216s| 2110k| 34 | 1255 | 23M|1144 | - |1425 |5546 |3799 | 0 | 0 | 73 | 815k| 19 | 1.182500e+02 | -- | Inf
1252.90/1253.54 c 1222s| 2120k| 240 | 1255 | 23M|1144 | - |1425 |5462 |3206 | 0 | 0 | 73 | 819k| 19 | 1.182500e+02 | -- | Inf
1258.10/1258.79 c 1227s| 2130k| 30 | 1255 | 23M|1144 | - |1425 |5435 |3503 | 0 | 0 | 73 | 822k| 19 | 1.182500e+02 | -- | Inf
1263.89/1264.56 c 1233s| 2140k| 28 | 1255 | 23M|1144 | - |1425 |5502 |3771 | 0 | 0 | 73 | 826k| 19 | 1.182500e+02 | -- | Inf
1268.99/1269.61 c 1238s| 2150k| 37 | 1255 | 23M|1144 | - |1425 |5476 |3828 | 0 | 0 | 73 | 829k| 19 | 1.182500e+02 | -- | Inf
1273.79/1274.48 c 1242s| 2160k| 43 | 1255 | 23M|1144 | - |1425 |5574 |3483 | 0 | 0 | 73 | 832k| 19 | 1.182500e+02 | -- | Inf
1279.18/1279.85 c 1247s| 2170k| 126 | 1255 | 23M|1144 | - |1425 |5447 |3493 | 0 | 0 | 73 | 835k| 19 | 1.182500e+02 | -- | Inf
1285.58/1286.29 c 1254s| 2180k| 847 | 1255 | 23M|1144 | - |1425 |5491 |2615 | 0 | 0 | 73 | 841k| 19 | 1.182500e+02 | -- | Inf
1290.88/1291.54 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1290.88/1291.54 c 1259s| 2190k| 159 | 1255 | 23M|1144 | - |1425 |5453 |3249 | 0 | 0 | 73 | 844k| 19 | 1.182500e+02 | -- | Inf
1296.38/1297.05 c 1264s| 2200k| 301 | 1255 | 23M|1144 | - |1425 |5482 |2959 | 0 | 0 | 73 | 848k| 19 | 1.182500e+02 | -- | Inf
1302.97/1303.60 c 1271s| 2210k| 31 | 1255 | 23M|1144 | - |1425 |5570 |3735 | 0 | 0 | 73 | 853k| 19 | 1.182500e+02 | -- | Inf
1308.77/1309.46 c 1276s| 2220k| 33 | 1255 | 23M|1144 | - |1425 |5639 |3617 | 0 | 0 | 73 | 857k| 19 | 1.182500e+02 | -- | Inf
1314.37/1315.06 c 1282s| 2230k| 823 | 1255 | 24M|1144 | - |1425 |5690 |2638 | 0 | 0 | 73 | 861k| 19 | 1.182500e+02 | -- | Inf
1320.17/1320.85 c 1287s| 2240k| 124 | 1255 | 23M|1144 | - |1425 |5647 |3565 | 0 | 0 | 73 | 865k| 19 | 1.182500e+02 | -- | Inf
1325.45/1326.18 c 1293s| 2250k| 24 | 1255 | 23M|1144 | - |1425 |5423 |3747 | 0 | 0 | 73 | 868k| 19 | 1.182500e+02 | -- | Inf
1331.45/1332.18 c 1298s| 2260k| 32 | 1255 | 23M|1144 | - |1425 |5419 |3827 | 0 | 0 | 73 | 872k| 19 | 1.182500e+02 | -- | Inf
1337.44/1338.17 c 1304s| 2270k| 26 | 1255 | 23M|1144 | - |1425 |5409 |3912 | 0 | 0 | 73 | 876k| 19 | 1.182500e+02 | -- | Inf
1343.54/1344.22 c 1310s| 2280k| 31 | 1255 | 23M|1144 | - |1425 |5409 |3755 | 0 | 0 | 73 | 881k| 19 | 1.182500e+02 | -- | Inf
1349.53/1350.29 c 1316s| 2290k| 430 | 1255 | 23M|1144 | - |1425 |5439 |3086 | 0 | 0 | 73 | 885k| 19 | 1.182500e+02 | -- | Inf
1355.64/1356.35 c 1322s| 2300k| 374 | 1255 | 23M|1144 | - |1425 |5404 |3331 | 0 | 0 | 73 | 889k| 19 | 1.182500e+02 | -- | Inf
1361.64/1362.34 c 1328s| 2310k| 91 | 1255 | 23M|1144 | - |1425 |5445 |3552 | 0 | 0 | 73 | 893k| 19 | 1.182500e+02 | -- | Inf
1368.02/1368.79 c 1334s| 2320k| 23 | 1255 | 23M|1144 | - |1425 |5416 |3729 | 0 | 0 | 73 | 898k| 19 | 1.182500e+02 | -- | Inf
1374.02/1374.75 c 1340s| 2330k| 22 | 1255 | 23M|1144 | - |1425 |5422 |3900 | 0 | 0 | 73 | 902k| 19 | 1.182500e+02 | -- | Inf
1379.92/1380.62 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1379.92/1380.62 c 1346s| 2340k| 27 | 1255 | 23M|1144 | - |1425 |5393 |3982 | 0 | 0 | 73 | 906k| 19 | 1.182500e+02 | -- | Inf
1385.01/1385.72 c 1351s| 2350k| 38 | 1255 | 23M|1144 | - |1425 |5439 |3730 | 0 | 0 | 73 | 909k| 19 | 1.182500e+02 | -- | Inf
1390.82/1391.57 c 1356s| 2360k| 204 | 1255 | 23M|1144 | - |1425 |5729 |3282 | 0 | 0 | 73 | 913k| 19 | 1.182500e+02 | -- | Inf
1397.11/1397.89 c 1363s| 2370k| 33 | 1255 | 23M|1144 | - |1425 |5423 |3862 | 0 | 0 | 73 | 918k| 19 | 1.182500e+02 | -- | Inf
1403.41/1404.12 c 1369s| 2380k| 660 | 1255 | 23M|1144 | - |1425 |5444 |2776 | 0 | 0 | 73 | 922k| 19 | 1.182500e+02 | -- | Inf
1409.61/1410.35 c 1375s| 2390k| 52 | 1255 | 23M|1144 | - |1425 |5464 |3701 | 0 | 0 | 73 | 927k| 19 | 1.182500e+02 | -- | Inf
1415.61/1416.35 c 1381s| 2400k| 367 | 1255 | 23M|1144 | - |1425 |5450 |3032 | 0 | 0 | 73 | 932k| 19 | 1.182500e+02 | -- | Inf
1421.70/1422.49 c 1386s| 2410k| 33 | 1255 | 23M|1144 | - |1425 |5421 |3727 | 0 | 0 | 73 | 936k| 19 | 1.182500e+02 | -- | Inf
1427.60/1428.35 c 1392s| 2420k| 42 | 1255 | 23M|1144 | - |1425 |5423 |3677 | 0 | 0 | 73 | 940k| 19 | 1.182500e+02 | -- | Inf
1433.60/1434.34 c 1398s| 2430k| 717 | 1255 | 23M|1144 | - |1425 |5425 |2841 | 0 | 0 | 73 | 945k| 19 | 1.182500e+02 | -- | Inf
1439.69/1440.42 c 1404s| 2440k| 48 | 1255 | 23M|1144 | - |1425 |5480 |3452 | 0 | 0 | 73 | 949k| 19 | 1.182500e+02 | -- | Inf
1446.19/1446.97 c 1410s| 2450k| 44 | 1255 | 23M|1144 | - |1425 |5470 |3712 | 0 | 0 | 73 | 954k| 19 | 1.182500e+02 | -- | Inf
1451.59/1452.31 c 1416s| 2460k| 33 | 1255 | 23M|1144 | - |1425 |5459 |3646 | 0 | 0 | 73 | 957k| 19 | 1.182500e+02 | -- | Inf
1457.89/1458.67 c 1422s| 2470k| 40 | 1255 | 23M|1144 | - |1425 |5514 |3642 | 0 | 0 | 73 | 961k| 19 | 1.182500e+02 | -- | Inf
1464.08/1464.86 c 1428s| 2480k| 37 | 1255 | 23M|1144 | - |1425 |5570 |3527 | 0 | 0 | 73 | 966k| 19 | 1.182500e+02 | -- | Inf
1469.38/1470.19 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1469.38/1470.19 c 1433s| 2490k| 51 | 1255 | 23M|1144 | - |1425 |5448 |3589 | 0 | 0 | 73 | 969k| 19 | 1.182500e+02 | -- | Inf
1476.08/1476.83 c 1440s| 2500k| 32 | 1255 | 23M|1144 | - |1425 |5467 |3577 | 0 | 0 | 73 | 974k| 19 | 1.182500e+02 | -- | Inf
1481.37/1482.12 c 1445s| 2510k| 29 | 1255 | 23M|1144 | - |1425 |5584 |3491 | 0 | 0 | 73 | 977k| 19 | 1.182500e+02 | -- | Inf
1486.87/1487.69 c 1450s| 2520k| 33 | 1255 | 23M|1144 | - |1425 |5456 |3480 | 0 | 0 | 73 | 980k| 19 | 1.182500e+02 | -- | Inf
1492.68/1493.47 c 1456s| 2530k| 26 | 1255 | 23M|1144 | - |1425 |5437 |3820 | 0 | 0 | 73 | 984k| 19 | 1.182500e+02 | -- | Inf
1498.77/1499.56 c 1462s| 2540k| 36 | 1255 | 23M|1144 | - |1425 |5431 |3649 | 0 | 0 | 73 | 988k| 19 | 1.182500e+02 | -- | Inf
1504.46/1505.26 c 1467s| 2550k| 240 | 1255 | 23M|1144 | - |1425 |5421 |3341 | 0 | 0 | 73 | 992k| 19 | 1.182500e+02 | -- | Inf
1510.57/1511.39 c 1473s| 2560k| 30 | 1255 | 23M|1144 | - |1425 |5492 |3669 | 0 | 0 | 73 | 996k| 19 | 1.182500e+02 | -- | Inf
1516.06/1516.87 c 1479s| 2570k| 46 | 1255 | 23M|1144 | - |1425 |5427 |3613 | 0 | 0 | 73 | 999k| 19 | 1.182500e+02 | -- | Inf
1522.36/1523.11 c 1485s| 2580k| 41 | 1255 | 23M|1144 | - |1425 |5415 |3704 | 0 | 0 | 73 |1004k| 19 | 1.182500e+02 | -- | Inf
1528.56/1529.31 c 1491s| 2590k| 36 | 1255 | 23M|1144 | - |1425 |5423 |3514 | 0 | 0 | 73 |1008k| 19 | 1.182500e+02 | -- | Inf
1534.56/1535.30 c 1497s| 2600k| 28 | 1255 | 23M|1144 | - |1425 |5431 |3454 | 0 | 0 | 73 |1012k| 19 | 1.182500e+02 | -- | Inf
1540.06/1540.84 c 1502s| 2610k| 53 | 1255 | 23M|1144 | - |1425 |5445 |3502 | 0 | 0 | 73 |1016k| 19 | 1.182500e+02 | -- | Inf
1545.85/1546.66 c 1508s| 2620k| 27 | 1255 | 23M|1144 | - |1425 |5605 |3439 | 0 | 0 | 73 |1019k| 19 | 1.182500e+02 | -- | Inf
1551.54/1552.36 c 1513s| 2630k| 38 | 1255 | 23M|1144 | - |1425 |5471 |3551 | 0 | 0 | 73 |1023k| 19 | 1.182500e+02 | -- | Inf
1557.64/1558.44 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1557.64/1558.44 c 1519s| 2640k| 66 | 1255 | 23M|1144 | - |1425 |5446 |3465 | 0 | 0 | 73 |1027k| 19 | 1.182500e+02 | -- | Inf
1563.84/1564.67 c 1525s| 2650k| 31 | 1255 | 23M|1144 | - |1425 |5517 |3434 | 0 | 0 | 73 |1031k| 19 | 1.182500e+02 | -- | Inf
1570.54/1571.33 c 1532s| 2660k| 27 | 1255 | 23M|1144 | - |1425 |5464 |3547 | 0 | 0 | 73 |1036k| 19 | 1.182500e+02 | -- | Inf
1576.14/1576.97 c 1537s| 2670k| 32 | 1255 | 23M|1144 | - |1425 |5477 |3243 | 0 | 0 | 73 |1040k| 19 | 1.182500e+02 | -- | Inf
1582.24/1583.03 c 1543s| 2680k| 34 | 1255 | 23M|1144 | - |1425 |5433 |3747 | 0 | 0 | 73 |1044k| 19 | 1.182500e+02 | -- | Inf
1587.54/1588.31 c 1548s| 2690k| 25 | 1255 | 23M|1144 | - |1425 |5427 |3800 | 0 | 0 | 73 |1047k| 19 | 1.182500e+02 | -- | Inf
1592.53/1593.38 c 1553s| 2700k| 531 | 1255 | 23M|1144 | - |1425 |5461 |3038 | 0 | 0 | 73 |1050k| 19 | 1.182500e+02 | -- | Inf
1598.03/1598.84 c 1558s| 2710k| 26 | 1255 | 23M|1144 | - |1425 |5427 |3918 | 0 | 0 | 73 |1054k| 19 | 1.182500e+02 | -- | Inf
1604.32/1605.13 c 1565s| 2720k| 629 | 1255 | 23M|1144 | - |1425 |5480 |2848 | 0 | 0 | 73 |1058k| 19 | 1.182500e+02 | -- | Inf
1609.53/1610.37 c 1570s| 2730k| 31 | 1255 | 23M|1144 | - |1425 |5492 |3556 | 0 | 0 | 73 |1062k| 19 | 1.182500e+02 | -- | Inf
1615.22/1616.04 c 1575s| 2740k| 29 | 1255 | 23M|1144 | - |1425 |5467 |3829 | 0 | 0 | 73 |1066k| 19 | 1.182500e+02 | -- | Inf
1620.62/1621.46 c 1580s| 2750k| 66 | 1255 | 23M|1144 | - |1425 |5434 |3688 | 0 | 0 | 73 |1069k| 19 | 1.182500e+02 | -- | Inf
1626.02/1626.84 c 1586s| 2760k| 31 | 1255 | 23M|1144 | - |1425 |5481 |3488 | 0 | 0 | 73 |1072k| 19 | 1.182500e+02 | -- | Inf
1631.21/1632.07 c 1591s| 2770k| 213 | 1255 | 23M|1144 | - |1425 |5461 |3380 | 0 | 0 | 73 |1075k| 19 | 1.182500e+02 | -- | Inf
1637.51/1638.36 c 1597s| 2780k| 35 | 1255 | 23M|1144 | - |1425 |5410 |3518 | 0 | 0 | 73 |1080k| 19 | 1.182500e+02 | -- | Inf
1642.51/1643.32 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1642.51/1643.32 c 1602s| 2790k| 77 | 1255 | 23M|1144 | - |1425 |5428 |3507 | 0 | 0 | 73 |1083k| 19 | 1.182500e+02 | -- | Inf
1647.71/1648.54 c 1607s| 2800k| 34 | 1255 | 23M|1144 | - |1425 |5431 |3680 | 0 | 0 | 73 |1086k| 19 | 1.182500e+02 | -- | Inf
1653.80/1654.64 c 1613s| 2810k| 46 | 1255 | 23M|1144 | - |1425 |5558 |3524 | 0 | 0 | 73 |1091k| 19 | 1.182500e+02 | -- | Inf
1660.29/1661.11 c 1619s| 2820k| 35 | 1255 | 23M|1144 | - |1425 |5451 |3820 | 0 | 0 | 73 |1096k| 19 | 1.182500e+02 | -- | Inf
1665.60/1666.46 c 1624s| 2830k| 35 | 1255 | 23M|1144 | - |1425 |5430 |3639 | 0 | 0 | 73 |1099k| 19 | 1.182500e+02 | -- | Inf
1671.00/1671.88 c 1630s| 2840k| 32 | 1255 | 23M|1144 | - |1425 |5475 |3604 | 0 | 0 | 73 |1102k| 19 | 1.182500e+02 | -- | Inf
1676.99/1677.84 c 1635s| 2850k| 283 | 1255 | 23M|1144 | - |1425 |5473 |3236 | 0 | 0 | 73 |1106k| 19 | 1.182500e+02 | -- | Inf
1682.39/1683.22 c 1641s| 2860k| 31 | 1255 | 23M|1144 | - |1425 |5445 |3624 | 0 | 0 | 73 |1109k| 19 | 1.182500e+02 | -- | Inf
1687.98/1688.84 c 1646s| 2870k| 370 | 1255 | 23M|1144 | - |1425 |5718 |3314 | 0 | 0 | 73 |1113k| 19 | 1.182500e+02 | -- | Inf
1693.58/1694.43 c 1652s| 2880k| 504 | 1255 | 23M|1144 | - |1425 |5420 |2939 | 0 | 0 | 73 |1116k| 19 | 1.182500e+02 | -- | Inf
1699.47/1700.32 c 1657s| 2890k| 28 | 1255 | 23M|1144 | - |1425 |5415 |3681 | 0 | 0 | 73 |1120k| 19 | 1.182500e+02 | -- | Inf
1704.98/1705.86 c 1663s| 2900k| 31 | 1255 | 23M|1144 | - |1425 |5407 |3900 | 0 | 0 | 73 |1124k| 19 | 1.182500e+02 | -- | Inf
1710.87/1711.74 c 1669s| 2910k| 612 | 1255 | 23M|1144 | - |1425 |5448 |2893 | 0 | 0 | 73 |1127k| 19 | 1.182500e+02 | -- | Inf
1716.17/1717.04 c 1674s| 2920k| 37 | 1255 | 23M|1144 | - |1425 |5510 |3876 | 0 | 0 | 73 |1131k| 19 | 1.182500e+02 | -- | Inf
1722.27/1723.14 c 1680s| 2930k| 37 | 1255 | 23M|1144 | - |1425 |5426 |3616 | 0 | 0 | 73 |1135k| 19 | 1.182500e+02 | -- | Inf
1728.97/1729.81 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1728.97/1729.81 c 1686s| 2940k| 22 | 1255 | 23M|1144 | - |1425 |5426 |3649 | 0 | 0 | 73 |1140k| 19 | 1.182500e+02 | -- | Inf
1734.96/1735.83 c 1692s| 2950k| 47 | 1255 | 23M|1144 | - |1425 |5547 |3473 | 0 | 0 | 73 |1145k| 19 | 1.182500e+02 | -- | Inf
1740.76/1741.64 c 1698s| 2960k| 26 | 1255 | 23M|1144 | - |1425 |5419 |3644 | 0 | 0 | 73 |1148k| 19 | 1.182500e+02 | -- | Inf
1746.85/1747.73 c 1704s| 2970k| 37 | 1255 | 23M|1144 | - |1425 |5439 |3711 | 0 | 0 | 73 |1153k| 19 | 1.182500e+02 | -- | Inf
1753.56/1754.42 c 1710s| 2980k| 30 | 1255 | 23M|1144 | - |1425 |5467 |3554 | 0 | 0 | 73 |1158k| 19 | 1.182500e+02 | -- | Inf
1760.55/1761.40 c 1717s| 2990k| 77 | 1255 | 23M|1144 | - |1425 |5470 |3452 | 0 | 0 | 73 |1163k| 19 | 1.182500e+02 | -- | Inf
1767.05/1767.90 c 1723s| 3000k| 38 | 1255 | 23M|1144 | - |1425 |5405 |3799 | 0 | 0 | 73 |1168k| 19 | 1.182500e+02 | -- | Inf
1773.15/1774.04 c 1729s| 3010k| 37 | 1255 | 23M|1144 | - |1425 |5437 |3488 | 0 | 0 | 73 |1173k| 19 | 1.182500e+02 | -- | Inf
1778.95/1779.83 c 1735s| 3020k| 860 | 1255 | 24M|1144 | - |1425 |5419 |2778 | 0 | 0 | 73 |1177k| 19 | 1.182500e+02 | -- | Inf
1784.45/1785.38 c 1740s| 3030k| 38 | 1255 | 23M|1144 | - |1425 |5407 |3672 | 0 | 0 | 73 |1180k| 19 | 1.182500e+02 | -- | Inf
1790.04/1790.95 c 1746s| 3040k| 132 | 1255 | 23M|1144 | - |1425 |5467 |3311 | 0 | 0 | 73 |1184k| 19 | 1.182500e+02 | -- | Inf
1795.64/1796.56 c 1751s| 3050k| 42 | 1255 | 23M|1144 | - |1425 |5388 |3560 | 0 | 0 | 73 |1188k| 19 | 1.182500e+02 | -- | Inf
1800.04/1800.90 c
1800.04/1800.90 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.90 c Solving Time (sec) : 1755.50
1800.04/1800.90 c Solving Nodes : 3056491
1800.04/1800.90 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.90 c Dual Bound : +1.18250000000000e+02
1800.04/1800.90 c Gap : infinite
1800.04/1800.90 c NODE 3056491
1800.04/1800.90 c DUAL BOUND 118.25
1800.04/1800.90 c PRIMAL BOUND 1e+20
1800.04/1800.90 c GAP 1e+20
1800.04/1800.90 s UNKNOWN
1800.04/1800.90 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.90 c Solving Time : 1755.50
1800.04/1800.90 c Original Problem :
1800.04/1800.90 c Problem name : HOME/instance-1884097-1245254150.opb
1800.04/1800.90 c Variables : 1467 (1467 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.90 c Constraints : 7521 initial, 7521 maximal
1800.04/1800.90 c Presolved Problem :
1800.04/1800.90 c Problem name : t_HOME/instance-1884097-1245254150.opb
1800.04/1800.90 c Variables : 1425 (1425 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.90 c Constraints : 5365 initial, 5915 maximal
1800.04/1800.90 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.90 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.90 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.04/1800.90 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.90 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.90 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.90 c probing : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.90 c linear : 0.37 38 3 0 38 0 1290 116 0
1800.04/1800.90 c logicor : 1.27 0 0 0 0 0 866 0 0
1800.04/1800.90 c root node : - 0 - - 0 - - - -
1800.04/1800.90 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.90 c integral : 0 0 0 1 0 0 0 0 0 2
1800.04/1800.90 c logicor : 5365+ 5 8802199 0 0 901771 18977723 0 0 0
1800.04/1800.90 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.90 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.90 c integral : 4.62 0.00 0.00 4.62 0.00
1800.04/1800.90 c logicor : 179.78 0.01 179.77 0.00 0.00
1800.04/1800.90 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.90 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.90 c rootredcost : 3.57 0 0 0
1800.04/1800.90 c pseudoobj : 740.53 13131108 0 0
1800.04/1800.90 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.90 c propagation : 53.56 901771 901733 901733 16.9 290030 16.2 -
1800.04/1800.90 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.90 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.90 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.90 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.90 c applied globally : - - - 1191763 16.7 - - -
1800.04/1800.90 c applied locally : - - - 0 0.0 - - -
1800.04/1800.90 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.90 c cut pool : 0.00 4 - - 7 - (maximal pool size: 1623)
1800.04/1800.90 c redcost : 0.00 5 0 0 0 0
1800.04/1800.90 c impliedbounds : 0.00 5 0 0 0 0
1800.04/1800.90 c intobj : 0.00 0 0 0 0 0
1800.04/1800.90 c gomory : 2.10 5 0 0 2500 0
1800.04/1800.90 c strongcg : 0.64 5 0 0 2500 0
1800.04/1800.90 c cmir : 0.00 0 0 0 0 0
1800.04/1800.90 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.90 c clique : 0.01 5 0 0 29 0
1800.04/1800.90 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.90 c mcf : 0.01 1 0 0 0 0
1800.04/1800.90 c Pricers : Time Calls Vars
1800.04/1800.90 c problem variables: 0.00 0 0
1800.04/1800.90 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.90 c relpscost : 4.62 1 0 0 0 0 2
1800.04/1800.90 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.90 c inference : 620.39 2553366 0 0 0 0 5106732
1800.04/1800.90 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.90 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.90 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.90 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.90 c random : 0.00 0 0 0 0 0 0
1800.04/1800.90 c Primal Heuristics : Time Calls Found
1800.04/1800.90 c LP solutions : 0.00 - 0
1800.04/1800.90 c pseudo solutions : 0.00 - 0
1800.04/1800.90 c simplerounding : 0.00 0 0
1800.04/1800.90 c rounding : 0.00 0 0
1800.04/1800.90 c shifting : 0.00 0 0
1800.04/1800.90 c intshifting : 0.00 0 0
1800.04/1800.90 c oneopt : 0.00 0 0
1800.04/1800.90 c fixandinfer : 0.00 0 0
1800.04/1800.90 c feaspump : 0.00 0 0
1800.04/1800.90 c coefdiving : 0.00 0 0
1800.04/1800.90 c pscostdiving : 0.00 0 0
1800.04/1800.90 c fracdiving : 0.00 0 0
1800.04/1800.90 c veclendiving : 0.00 0 0
1800.04/1800.90 c intdiving : 0.00 0 0
1800.04/1800.90 c actconsdiving : 0.00 0 0
1800.04/1800.90 c objpscostdiving : 0.00 0 0
1800.04/1800.90 c rootsoldiving : 0.00 0 0
1800.04/1800.90 c linesearchdiving : 0.00 0 0
1800.04/1800.90 c guideddiving : 0.00 0 0
1800.04/1800.90 c octane : 0.00 0 0
1800.04/1800.90 c rens : 0.00 0 0
1800.04/1800.90 c rins : 0.00 0 0
1800.04/1800.90 c localbranching : 0.00 0 0
1800.04/1800.90 c mutation : 0.00 0 0
1800.04/1800.90 c crossover : 0.00 0 0
1800.04/1800.90 c dins : 0.00 0 0
1800.04/1800.90 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.90 c primal LP : 0.01 0 0 0.00 0.00
1800.04/1800.90 c dual LP : 1.11 6 1255 209.17 1130.63
1800.04/1800.90 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.90 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.90 c strong branching : 4.62 19 4458 234.63 964.94
1800.04/1800.90 c (at root node) : - 19 4458 234.63 -
1800.04/1800.90 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.90 c B&B Tree :
1800.04/1800.90 c number of runs : 1
1800.04/1800.90 c nodes : 3056491
1800.04/1800.90 c nodes (total) : 3056491
1800.04/1800.90 c nodes left : 27
1800.04/1800.90 c max depth : 1144
1800.04/1800.90 c max depth (total): 1144
1800.04/1800.90 c backtracks : 440948 (14.4%)
1800.04/1800.90 c delayed cutoffs : 2050217
1800.04/1800.90 c repropagations : 3739308 (8777661 domain reductions, 398647 cutoffs)
1800.04/1800.90 c avg switch length: 3.88
1800.04/1800.90 c switching time : 110.10
1800.04/1800.90 c Solution :
1800.04/1800.90 c Solutions found : 0 (0 improvements)
1800.04/1800.90 c Primal Bound : -
1800.04/1800.90 c Dual Bound : +1.18250000000000e+02
1800.04/1800.90 c Gap : infinite
1800.04/1800.90 c Root Dual Bound : +1.17895522388060e+02
1800.04/1800.96 c Time complete: 1800.1.