0.09/0.19 c SCIP version 1.1.0.7
0.09/0.19 c LP-Solver SoPlex 1.4.1
0.09/0.19 c user parameter file <scip.set> not found - using default parameters
0.09/0.19 c read problem <HOME/instance-1883910-1245238126.opb>
0.09/0.19 c original problem has 930 variables (930 bin, 0 int, 0 impl, 0 cont) and 13981 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.29/0.38 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13981 upgd conss, 27900 impls, 0 clqs
0.39/0.41 c presolving (2 rounds):
0.39/0.41 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.41 c 27900 implications, 0 cliques
0.39/0.41 c presolved problem has 930 variables (930 bin, 0 int, 0 impl, 0 cont) and 13981 constraints
0.39/0.41 c 13981 constraints of type <logicor>
0.39/0.41 c transformed objective value is always integral (scale: 1)
0.39/0.41 c Presolving Time: 0.15
0.39/0.41 c PURESAT
0.39/0.41 c -----------------------------------------------------------------------------------------------
0.39/0.41 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.41 c separating/flowcover/freq = c -1
0.39/0.41 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.41 c separating/cmir/freq = c -1
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/veclendiving/maxlpiterofs = c 1500
0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.41 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.39/0.41 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.41 c heuristics/veclendiving/freq = c -1
0.39/0.41 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.41 c heuristics/simplerounding/freq = c -1
0.39/0.41 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.41 c heuristics/shifting/freq = c -1
0.39/0.41 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.41 c heuristics/rounding/freq = c -1
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.39/0.41 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.39/0.41 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.41 c heuristics/rootsoldiving/freq = c -1
0.39/0.41 c # number of nodes added to the contingent of the total nodes
0.39/0.41 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.41 c heuristics/rens/nodesofs = c 2000
0.39/0.41 c # minimum percentage of integer variables that have to be fixable
0.39/0.41 c # [type: real, range: [0,1], default: 0.5]
0.39/0.41 c heuristics/rens/minfixingrate = c 0.3
0.39/0.41 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.41 c heuristics/rens/freq = c -1
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.41 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.39/0.41 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.41 c heuristics/pscostdiving/freq = c -1
0.39/0.41 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.41 c heuristics/oneopt/freq = c -1
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.39/0.41 c # maximal fraction of diving LP iterations compared to total iteration number
0.39/0.41 c # [type: real, range: [0,1], default: 0.01]
0.39/0.41 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.39/0.41 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.41 c heuristics/objpscostdiving/freq = c -1
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.41 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.39/0.41 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.41 c heuristics/linesearchdiving/freq = c -1
0.39/0.41 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.41 c heuristics/intshifting/freq = c -1
0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.41 c heuristics/intdiving/maxlpiterquot = c 0.075
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/guideddiving/maxlpiterofs = c 1500
0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.41 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.39/0.41 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.41 c heuristics/guideddiving/freq = c -1
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/fracdiving/maxlpiterofs = c 1500
0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.41 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.39/0.41 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.41 c heuristics/fracdiving/freq = c -1
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/feaspump/maxlpiterofs = c 2000
0.39/0.41 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.41 c heuristics/feaspump/freq = c -1
0.39/0.41 c # minimum percentage of integer variables that have to be fixed
0.39/0.41 c # [type: real, range: [0,1], default: 0.666]
0.39/0.41 c heuristics/crossover/minfixingrate = c 0.5
0.39/0.41 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.39/0.41 c # [type: real, range: [0,1], default: 0.1]
0.39/0.41 c heuristics/crossover/nodesquot = c 0.15
0.39/0.41 c # number of nodes without incumbent change that heuristic should wait
0.39/0.41 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.39/0.41 c heuristics/crossover/nwaitingnodes = c 100
0.39/0.41 c # number of nodes added to the contingent of the total nodes
0.39/0.41 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.41 c heuristics/crossover/nodesofs = c 750
0.39/0.41 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 30]
0.39/0.41 c heuristics/crossover/freq = c -1
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/coefdiving/maxlpiterofs = c 1500
0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.41 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.39/0.41 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.41 c heuristics/coefdiving/freq = c -1
0.39/0.41 c # priority of node selection rule <dfs> in standard mode
0.39/0.41 c # [type: int, range: [-536870912,536870911], default: 0]
0.39/0.41 c nodeselection/dfs/stdpriority = c 1000000
0.39/0.41 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.41 c presolving/probing/maxrounds = c 0
0.39/0.41 c # should presolving try to simplify knapsacks
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c constraints/knapsack/simplifyinequalities = c TRUE
0.39/0.41 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.39/0.41 c constraints/knapsack/disaggregation = c FALSE
0.39/0.41 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.41 c constraints/knapsack/maxnumcardlift = c 0
0.39/0.41 c # should presolving try to simplify inequalities
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c constraints/linear/simplifyinequalities = c TRUE
0.39/0.41 c # maximal number of separation rounds in the root node (-1: unlimited)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.41 c separating/maxroundsroot = c 5
0.39/0.41 c # maximal number of separation rounds per node (-1: unlimited)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 5]
0.39/0.41 c separating/maxrounds = c 1
0.39/0.41 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.39/0.41 c # [type: char, range: {lafpsqd}, default: l]
0.39/0.41 c lp/pricing = c a
0.39/0.41 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.41 c lp/solvefreq = c 0
0.39/0.41 c # solving stops, if the given number of solutions were found (-1: no limit)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.41 c limits/solutions = c 1
0.39/0.41 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.41 c limits/memory = c 1620
0.39/0.41 c # maximal time in seconds to run
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.41 c limits/time = c 1791
0.39/0.41 c # frequency for displaying node information lines
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.41 c display/freq = c 10000
0.39/0.41 c # should enforcement of pseudo solution be disabled?
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c constraints/disableenfops = c TRUE
0.39/0.41 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.41 c constraints/agelimit = c 1
0.39/0.41 c # should binary conflicts be preferred?
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c conflict/preferbinary = c TRUE
0.39/0.41 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.41 c conflict/interconss = c 0
0.39/0.41 c -----------------------------------------------------------------------------------------------
0.39/0.41 c start solving problem
0.39/0.41 c
0.49/0.51 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.51 c 0.3s| 1 | 0 | 62 | 17M| 0 | 62 | 930 | 13k| 13k| 930 | 13k| 0 | 0 | 0 | 3.100000e+01 | -- | Inf
0.69/0.77 c 0.5s| 1 | 0 | 230 | 17M| 0 | 54 | 930 | 13k| 13k| 930 | 13k| 3 | 0 | 0 | 3.100000e+01 | -- | Inf
1.19/1.22 c 0.9s| 1 | 0 | 339 | 17M| 0 | 34 | 930 | 13k| 13k| 930 | 13k| 7 | 0 | 0 | 3.100000e+01 | -- | Inf
1.69/1.72 c 1.4s| 1 | 0 | 416 | 17M| 0 | 24 | 930 | 13k| 13k| 930 | 13k| 12 | 0 | 0 | 3.100000e+01 | -- | Inf
2.09/2.19 c 1.9s| 1 | 0 | 495 | 17M| 0 | 24 | 930 | 13k| 13k| 930 | 13k| 18 | 0 | 0 | 3.100000e+01 | -- | Inf
2.69/2.79 c 2.5s| 1 | 0 | 601 | 17M| 0 | 26 | 930 | 13k| 13k| 930 | 14k| 23 | 0 | 0 | 3.100000e+01 | -- | Inf
5.49/5.59 c 5.3s| 1 | 2 | 601 | 17M| 0 | 26 | 930 | 13k| 13k| 930 | 14k| 23 | 0 | 26 | 3.100000e+01 | -- | Inf
12.68/12.70 c 12.2s| 10000 | 535 | 601 | 18M| 557 | - | 930 | 13k| 11k| 0 | 0 | 23 |5734 | 26 | 3.100000e+01 | -- | Inf
19.78/19.86 c 19.1s| 20000 | 532 | 601 | 18M| 557 | - | 930 | 13k| 11k| 0 | 0 | 23 | 11k| 26 | 3.100000e+01 | -- | Inf
27.08/27.10 c 26.1s| 30000 | 539 | 601 | 18M| 557 | - | 930 | 13k| 11k| 0 | 0 | 23 | 17k| 26 | 3.100000e+01 | -- | Inf
33.77/33.89 c 32.7s| 40000 | 533 | 601 | 18M| 557 | - | 930 | 13k| 11k| 0 | 0 | 23 | 24k| 26 | 3.100000e+01 | -- | Inf
40.66/40.77 c 39.4s| 50000 | 533 | 601 | 18M| 557 | - | 930 | 13k| 11k| 0 | 0 | 23 | 30k| 26 | 3.100000e+01 | -- | Inf
47.56/47.62 c 46.0s| 60000 | 528 | 601 | 18M| 557 | - | 930 | 13k| 11k| 0 | 0 | 23 | 36k| 26 | 3.100000e+01 | -- | Inf
54.46/54.57 c 52.8s| 70000 | 526 | 601 | 18M| 557 | - | 930 | 13k| 11k| 0 | 0 | 23 | 42k| 26 | 3.100000e+01 | -- | Inf
61.56/61.69 c 59.7s| 80000 | 526 | 601 | 18M| 557 | - | 930 | 13k| 11k| 0 | 0 | 23 | 48k| 26 | 3.100000e+01 | -- | Inf
68.75/68.81 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
68.75/68.81 c 66.6s| 90000 | 527 | 601 | 18M| 557 | - | 930 | 13k| 11k| 0 | 0 | 23 | 54k| 26 | 3.100000e+01 | -- | Inf
76.05/76.12 c 73.7s|100000 | 525 | 601 | 18M| 557 | - | 930 | 13k| 11k| 0 | 0 | 23 | 60k| 26 | 3.100000e+01 | -- | Inf
83.25/83.35 c 80.7s|110000 | 529 | 601 | 18M| 557 | - | 930 | 13k| 11k| 0 | 0 | 23 | 66k| 26 | 3.100000e+01 | -- | Inf
90.54/90.63 c 87.8s|120000 | 526 | 601 | 18M| 557 | - | 930 | 13k| 11k| 0 | 0 | 23 | 73k| 26 | 3.100000e+01 | -- | Inf
97.44/97.51 c 94.4s|130000 | 529 | 601 | 18M| 557 | - | 930 | 13k| 11k| 0 | 0 | 23 | 79k| 26 | 3.100000e+01 | -- | Inf
104.74/104.86 c 102s|140000 | 525 | 601 | 18M| 557 | - | 930 | 13k| 11k| 0 | 0 | 23 | 85k| 26 | 3.100000e+01 | -- | Inf
112.14/112.25 c 109s|150000 | 530 | 601 | 18M| 557 | - | 930 | 13k| 11k| 0 | 0 | 23 | 91k| 26 | 3.100000e+01 | -- | Inf
119.33/119.42 c 116s|160000 | 523 | 601 | 18M| 557 | - | 930 | 13k| 11k| 0 | 0 | 23 | 97k| 26 | 3.100000e+01 | -- | Inf
126.13/126.22 c 122s|170000 | 526 | 601 | 18M| 557 | - | 930 | 13k| 10k| 0 | 0 | 23 | 103k| 26 | 3.100000e+01 | -- | Inf
132.93/133.09 c 129s|180000 | 537 | 601 | 18M| 557 | - | 930 | 13k| 10k| 0 | 0 | 23 | 109k| 26 | 3.100000e+01 | -- | Inf
139.73/139.89 c 136s|190000 | 534 | 601 | 18M| 557 | - | 930 | 13k| 10k| 0 | 0 | 23 | 116k| 26 | 3.100000e+01 | -- | Inf
146.92/147.08 c 143s|200000 | 533 | 601 | 18M| 557 | - | 930 | 13k| 10k| 0 | 0 | 23 | 122k| 26 | 3.100000e+01 | -- | Inf
153.52/153.69 c 149s|210000 | 537 | 601 | 18M| 557 | - | 930 | 13k| 10k| 0 | 0 | 23 | 128k| 26 | 3.100000e+01 | -- | Inf
160.62/160.71 c 156s|220000 | 536 | 601 | 18M| 557 | - | 930 | 13k| 10k| 0 | 0 | 23 | 134k| 26 | 3.100000e+01 | -- | Inf
167.71/167.81 c 163s|230000 | 541 | 601 | 18M| 557 | - | 930 | 13k| 10k| 0 | 0 | 23 | 140k| 26 | 3.100000e+01 | -- | Inf
174.61/174.76 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
174.61/174.76 c 169s|240000 | 532 | 601 | 18M| 557 | - | 930 | 13k| 10k| 0 | 0 | 23 | 146k| 26 | 3.100000e+01 | -- | Inf
181.51/181.62 c 176s|250000 | 534 | 601 | 18M| 557 | - | 930 | 13k| 10k| 0 | 0 | 23 | 152k| 26 | 3.100000e+01 | -- | Inf
187.90/188.07 c 182s|260000 | 534 | 601 | 18M| 557 | - | 930 | 13k| 10k| 0 | 0 | 23 | 158k| 26 | 3.100000e+01 | -- | Inf
194.81/194.96 c 189s|270000 | 529 | 601 | 18M| 557 | - | 930 | 13k| 10k| 0 | 0 | 23 | 165k| 26 | 3.100000e+01 | -- | Inf
201.30/201.46 c 195s|280000 | 531 | 601 | 18M| 557 | - | 930 | 13k| 10k| 0 | 0 | 23 | 170k| 26 | 3.100000e+01 | -- | Inf
207.89/208.08 c 202s|290000 | 528 | 601 | 18M| 557 | - | 930 | 13k| 10k| 0 | 0 | 23 | 176k| 26 | 3.100000e+01 | -- | Inf
214.09/214.20 c 208s|300000 | 532 | 601 | 18M| 557 | - | 930 | 13k| 10k| 0 | 0 | 23 | 182k| 26 | 3.100000e+01 | -- | Inf
220.40/220.57 c 214s|310000 | 525 | 601 | 18M| 557 | - | 930 | 13k| 10k| 0 | 0 | 23 | 188k| 26 | 3.100000e+01 | -- | Inf
226.98/227.13 c 220s|320000 | 522 | 601 | 18M| 557 | - | 930 | 13k| 10k| 0 | 0 | 23 | 194k| 26 | 3.100000e+01 | -- | Inf
234.09/234.26 c 227s|330000 | 531 | 601 | 18M| 557 | - | 930 | 13k| 10k| 0 | 0 | 23 | 200k| 26 | 3.100000e+01 | -- | Inf
241.68/241.80 c 234s|340000 | 538 | 601 | 18M| 557 | - | 930 | 13k| 10k| 0 | 0 | 23 | 206k| 26 | 3.100000e+01 | -- | Inf
249.18/249.31 c 242s|350000 | 533 | 601 | 18M| 557 | - | 930 | 13k| 10k| 0 | 0 | 23 | 212k| 26 | 3.100000e+01 | -- | Inf
256.38/256.55 c 249s|360000 | 531 | 601 | 18M| 557 | - | 930 | 13k| 10k| 0 | 0 | 23 | 218k| 26 | 3.100000e+01 | -- | Inf
263.17/263.37 c 255s|370000 | 538 | 601 | 18M| 557 | - | 930 | 13k| 10k| 0 | 0 | 23 | 224k| 26 | 3.100000e+01 | -- | Inf
269.87/270.06 c 262s|380000 | 521 | 601 | 18M| 557 | - | 930 | 13k| 10k| 0 | 0 | 23 | 230k| 26 | 3.100000e+01 | -- | Inf
276.76/276.92 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
276.76/276.92 c 268s|390000 | 522 | 601 | 18M| 557 | - | 930 | 13k| 10k| 0 | 0 | 23 | 236k| 26 | 3.100000e+01 | -- | Inf
283.47/283.61 c 275s|400000 | 527 | 601 | 18M| 557 | - | 930 | 13k| 10k| 0 | 0 | 23 | 242k| 26 | 3.100000e+01 | -- | Inf
289.87/290.06 c 281s|410000 | 529 | 601 | 18M| 557 | - | 930 | 13k| 10k| 0 | 0 | 23 | 248k| 26 | 3.100000e+01 | -- | Inf
297.06/297.21 c 288s|420000 | 528 | 601 | 18M| 557 | - | 930 | 13k| 10k| 0 | 0 | 23 | 254k| 26 | 3.100000e+01 | -- | Inf
303.65/303.82 c 295s|430000 | 523 | 601 | 18M| 557 | - | 930 | 13k| 10k| 0 | 0 | 23 | 260k| 26 | 3.100000e+01 | -- | Inf
310.35/310.56 c 301s|440000 | 534 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 266k| 26 | 3.100000e+01 | -- | Inf
316.95/317.16 c 308s|450000 | 532 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 272k| 26 | 3.100000e+01 | -- | Inf
324.15/324.33 c 314s|460000 | 525 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 279k| 26 | 3.100000e+01 | -- | Inf
330.74/330.97 c 321s|470000 | 531 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 285k| 26 | 3.100000e+01 | -- | Inf
337.35/337.55 c 327s|480000 | 524 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 291k| 26 | 3.100000e+01 | -- | Inf
344.15/344.37 c 334s|490000 | 526 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 297k| 26 | 3.100000e+01 | -- | Inf
350.84/351.05 c 340s|500000 | 528 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 303k| 26 | 3.100000e+01 | -- | Inf
357.73/357.91 c 347s|510000 | 531 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 309k| 26 | 3.100000e+01 | -- | Inf
364.64/364.82 c 354s|520000 | 530 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 315k| 26 | 3.100000e+01 | -- | Inf
371.64/371.81 c 361s|530000 | 532 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 321k| 26 | 3.100000e+01 | -- | Inf
378.93/379.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
378.93/379.14 c 368s|540000 | 532 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 327k| 26 | 3.100000e+01 | -- | Inf
386.62/386.82 c 375s|550000 | 529 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 334k| 26 | 3.100000e+01 | -- | Inf
393.72/393.94 c 382s|560000 | 527 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 340k| 26 | 3.100000e+01 | -- | Inf
400.82/401.03 c 389s|570000 | 526 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 346k| 26 | 3.100000e+01 | -- | Inf
407.92/408.17 c 396s|580000 | 536 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 352k| 26 | 3.100000e+01 | -- | Inf
414.92/415.13 c 403s|590000 | 521 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 359k| 26 | 3.100000e+01 | -- | Inf
421.81/422.07 c 409s|600000 | 522 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 365k| 26 | 3.100000e+01 | -- | Inf
428.41/428.60 c 416s|610000 | 529 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 370k| 26 | 3.100000e+01 | -- | Inf
435.60/435.88 c 423s|620000 | 523 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 377k| 26 | 3.100000e+01 | -- | Inf
442.10/442.32 c 429s|630000 | 530 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 383k| 26 | 3.100000e+01 | -- | Inf
448.90/449.18 c 436s|640000 | 535 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 389k| 26 | 3.100000e+01 | -- | Inf
456.30/456.52 c 443s|650000 | 528 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 395k| 26 | 3.100000e+01 | -- | Inf
463.30/463.56 c 450s|660000 | 528 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 401k| 26 | 3.100000e+01 | -- | Inf
470.50/470.75 c 456s|670000 | 530 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 407k| 26 | 3.100000e+01 | -- | Inf
477.69/477.98 c 463s|680000 | 538 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 413k| 26 | 3.100000e+01 | -- | Inf
484.99/485.23 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
484.99/485.23 c 471s|690000 | 532 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 419k| 26 | 3.100000e+01 | -- | Inf
492.98/493.29 c 478s|700000 | 530 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 425k| 26 | 3.100000e+01 | -- | Inf
500.38/500.68 c 486s|710000 | 534 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 432k| 26 | 3.100000e+01 | -- | Inf
507.48/507.73 c 492s|720000 | 528 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 438k| 26 | 3.100000e+01 | -- | Inf
514.78/515.07 c 499s|730000 | 527 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 444k| 26 | 3.100000e+01 | -- | Inf
522.07/522.30 c 506s|740000 | 527 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 450k| 26 | 3.100000e+01 | -- | Inf
529.37/529.62 c 514s|750000 | 535 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 457k| 26 | 3.100000e+01 | -- | Inf
536.26/536.51 c 520s|760000 | 533 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 463k| 26 | 3.100000e+01 | -- | Inf
543.36/543.61 c 527s|770000 | 528 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 469k| 26 | 3.100000e+01 | -- | Inf
550.77/551.04 c 534s|780000 | 523 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 475k| 26 | 3.100000e+01 | -- | Inf
557.75/558.06 c 541s|790000 | 518 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 481k| 26 | 3.100000e+01 | -- | Inf
564.55/564.85 c 548s|800000 | 529 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 488k| 26 | 3.100000e+01 | -- | Inf
571.95/572.21 c 555s|810000 | 524 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 494k| 26 | 3.100000e+01 | -- | Inf
578.94/579.29 c 562s|820000 | 532 | 601 | 18M| 563 | - | 930 | 13k| 10k| 0 | 0 | 23 | 500k| 26 | 3.100000e+01 | -- | Inf
586.24/586.59 c 569s|830000 | 540 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 506k| 26 | 3.100000e+01 | -- | Inf
593.54/593.82 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
593.54/593.82 c 576s|840000 | 531 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 513k| 26 | 3.100000e+01 | -- | Inf
600.54/600.84 c 583s|850000 | 534 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 519k| 26 | 3.100000e+01 | -- | Inf
608.04/608.38 c 590s|860000 | 537 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 525k| 26 | 3.100000e+01 | -- | Inf
614.34/614.62 c 596s|870000 | 528 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 531k| 26 | 3.100000e+01 | -- | Inf
620.54/620.87 c 602s|880000 | 521 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 536k| 26 | 3.100000e+01 | -- | Inf
627.33/627.64 c 609s|890000 | 528 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 542k| 26 | 3.100000e+01 | -- | Inf
634.03/634.36 c 615s|900000 | 523 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 548k| 26 | 3.100000e+01 | -- | Inf
640.73/641.08 c 622s|910000 | 524 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 554k| 26 | 3.100000e+01 | -- | Inf
647.62/647.98 c 628s|920000 | 531 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 560k| 26 | 3.100000e+01 | -- | Inf
653.92/654.27 c 634s|930000 | 534 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 566k| 26 | 3.100000e+01 | -- | Inf
660.51/660.85 c 641s|940000 | 533 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 572k| 26 | 3.100000e+01 | -- | Inf
667.32/667.64 c 647s|950000 | 529 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 578k| 26 | 3.100000e+01 | -- | Inf
673.82/674.11 c 654s|960000 | 532 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 584k| 26 | 3.100000e+01 | -- | Inf
680.21/680.56 c 660s|970000 | 523 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 590k| 26 | 3.100000e+01 | -- | Inf
687.01/687.34 c 666s|980000 | 529 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 596k| 26 | 3.100000e+01 | -- | Inf
693.10/693.48 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
693.10/693.48 c 672s|990000 | 522 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 602k| 26 | 3.100000e+01 | -- | Inf
699.60/699.96 c 679s| 1000k| 531 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 608k| 26 | 3.100000e+01 | -- | Inf
706.09/706.48 c 685s| 1010k| 526 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 614k| 26 | 3.100000e+01 | -- | Inf
712.60/712.98 c 691s| 1020k| 532 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 620k| 26 | 3.100000e+01 | -- | Inf
719.40/719.76 c 698s| 1030k| 529 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 626k| 26 | 3.100000e+01 | -- | Inf
725.89/726.28 c 704s| 1040k| 524 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 632k| 26 | 3.100000e+01 | -- | Inf
732.49/732.88 c 711s| 1050k| 529 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 638k| 26 | 3.100000e+01 | -- | Inf
738.89/739.23 c 717s| 1060k| 529 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 644k| 26 | 3.100000e+01 | -- | Inf
746.08/746.44 c 724s| 1070k| 536 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 650k| 26 | 3.100000e+01 | -- | Inf
752.98/753.36 c 730s| 1080k| 528 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 656k| 26 | 3.100000e+01 | -- | Inf
759.78/760.12 c 737s| 1090k| 525 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 662k| 26 | 3.100000e+01 | -- | Inf
767.07/767.40 c 744s| 1100k| 529 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 668k| 26 | 3.100000e+01 | -- | Inf
774.07/774.46 c 751s| 1110k| 532 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 675k| 26 | 3.100000e+01 | -- | Inf
780.58/780.96 c 757s| 1120k| 527 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 680k| 26 | 3.100000e+01 | -- | Inf
787.28/787.65 c 764s| 1130k| 523 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 686k| 26 | 3.100000e+01 | -- | Inf
794.16/794.54 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
794.16/794.54 c 770s| 1140k| 528 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 692k| 26 | 3.100000e+01 | -- | Inf
801.17/801.57 c 777s| 1150k| 523 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 698k| 26 | 3.100000e+01 | -- | Inf
808.17/808.55 c 784s| 1160k| 520 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 705k| 26 | 3.100000e+01 | -- | Inf
815.06/815.47 c 791s| 1170k| 523 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 711k| 26 | 3.100000e+01 | -- | Inf
821.95/822.33 c 797s| 1180k| 527 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 717k| 26 | 3.100000e+01 | -- | Inf
828.96/829.31 c 804s| 1190k| 532 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 723k| 26 | 3.100000e+01 | -- | Inf
836.14/836.57 c 811s| 1200k| 522 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 729k| 26 | 3.100000e+01 | -- | Inf
843.05/843.42 c 818s| 1210k| 522 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 735k| 26 | 3.100000e+01 | -- | Inf
849.85/850.28 c 824s| 1220k| 532 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 741k| 26 | 3.100000e+01 | -- | Inf
856.14/856.58 c 830s| 1230k| 526 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 747k| 26 | 3.100000e+01 | -- | Inf
862.93/863.37 c 837s| 1240k| 534 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 753k| 26 | 3.100000e+01 | -- | Inf
869.64/870.09 c 844s| 1250k| 529 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 759k| 26 | 3.100000e+01 | -- | Inf
876.13/876.51 c 850s| 1260k| 529 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 765k| 26 | 3.100000e+01 | -- | Inf
882.73/883.15 c 856s| 1270k| 527 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 771k| 26 | 3.100000e+01 | -- | Inf
889.43/889.90 c 863s| 1280k| 528 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 777k| 26 | 3.100000e+01 | -- | Inf
896.03/896.48 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
896.03/896.48 c 869s| 1290k| 531 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 783k| 26 | 3.100000e+01 | -- | Inf
902.62/903.10 c 876s| 1300k| 530 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 789k| 26 | 3.100000e+01 | -- | Inf
909.52/909.90 c 882s| 1310k| 526 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 795k| 26 | 3.100000e+01 | -- | Inf
915.92/916.37 c 888s| 1320k| 536 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 801k| 26 | 3.100000e+01 | -- | Inf
922.11/922.58 c 894s| 1330k| 531 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 807k| 26 | 3.100000e+01 | -- | Inf
929.02/929.43 c 901s| 1340k| 527 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 813k| 26 | 3.100000e+01 | -- | Inf
936.30/936.71 c 908s| 1350k| 528 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 819k| 26 | 3.100000e+01 | -- | Inf
942.61/943.05 c 914s| 1360k| 531 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 825k| 26 | 3.100000e+01 | -- | Inf
949.80/950.28 c 921s| 1370k| 529 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 831k| 26 | 3.100000e+01 | -- | Inf
956.40/956.85 c 928s| 1380k| 528 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 837k| 26 | 3.100000e+01 | -- | Inf
963.30/963.75 c 934s| 1390k| 522 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 843k| 26 | 3.100000e+01 | -- | Inf
969.90/970.39 c 941s| 1400k| 522 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 849k| 26 | 3.100000e+01 | -- | Inf
977.09/977.59 c 948s| 1410k| 525 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 855k| 26 | 3.100000e+01 | -- | Inf
984.28/984.79 c 955s| 1420k| 525 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 861k| 26 | 3.100000e+01 | -- | Inf
991.69/992.14 c 962s| 1430k| 526 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 868k| 26 | 3.100000e+01 | -- | Inf
998.79/999.27 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
998.79/999.27 c 969s| 1440k| 529 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 874k| 26 | 3.100000e+01 | -- | Inf
1005.78/1006.23 c 976s| 1450k| 522 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 880k| 26 | 3.100000e+01 | -- | Inf
1012.18/1012.61 c 982s| 1460k| 532 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 886k| 26 | 3.100000e+01 | -- | Inf
1018.78/1019.21 c 988s| 1470k| 539 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 892k| 26 | 3.100000e+01 | -- | Inf
1025.17/1025.68 c 994s| 1480k| 533 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 898k| 26 | 3.100000e+01 | -- | Inf
1031.57/1032.02 c 1001s| 1490k| 529 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 904k| 26 | 3.100000e+01 | -- | Inf
1037.97/1038.45 c 1007s| 1500k| 524 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 910k| 26 | 3.100000e+01 | -- | Inf
1043.97/1044.42 c 1013s| 1510k| 527 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 916k| 26 | 3.100000e+01 | -- | Inf
1050.27/1050.75 c 1019s| 1520k| 521 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 921k| 26 | 3.100000e+01 | -- | Inf
1056.76/1057.27 c 1025s| 1530k| 522 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 927k| 26 | 3.100000e+01 | -- | Inf
1062.76/1063.28 c 1031s| 1540k| 529 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 933k| 26 | 3.100000e+01 | -- | Inf
1070.45/1070.98 c 1038s| 1550k| 531 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 939k| 26 | 3.100000e+01 | -- | Inf
1077.46/1077.93 c 1045s| 1560k| 529 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 945k| 26 | 3.100000e+01 | -- | Inf
1083.75/1084.28 c 1051s| 1570k| 524 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 951k| 26 | 3.100000e+01 | -- | Inf
1090.35/1090.81 c 1058s| 1580k| 522 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 957k| 26 | 3.100000e+01 | -- | Inf
1096.65/1097.18 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1096.65/1097.18 c 1064s| 1590k| 522 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 963k| 26 | 3.100000e+01 | -- | Inf
1103.64/1104.15 c 1071s| 1600k| 525 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 969k| 26 | 3.100000e+01 | -- | Inf
1109.84/1110.37 c 1077s| 1610k| 521 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 975k| 26 | 3.100000e+01 | -- | Inf
1116.44/1116.97 c 1083s| 1620k| 518 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 981k| 26 | 3.100000e+01 | -- | Inf
1122.84/1123.31 c 1089s| 1630k| 530 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 987k| 26 | 3.100000e+01 | -- | Inf
1129.43/1129.93 c 1096s| 1640k| 527 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 993k| 26 | 3.100000e+01 | -- | Inf
1135.84/1136.37 c 1102s| 1650k| 520 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 | 999k| 26 | 3.100000e+01 | -- | Inf
1142.43/1142.96 c 1108s| 1660k| 528 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1005k| 26 | 3.100000e+01 | -- | Inf
1149.32/1149.80 c 1115s| 1670k| 525 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1011k| 26 | 3.100000e+01 | -- | Inf
1155.72/1156.25 c 1121s| 1680k| 530 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1017k| 26 | 3.100000e+01 | -- | Inf
1162.12/1162.61 c 1127s| 1690k| 532 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1023k| 26 | 3.100000e+01 | -- | Inf
1168.51/1169.01 c 1133s| 1700k| 528 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1029k| 26 | 3.100000e+01 | -- | Inf
1174.91/1175.44 c 1140s| 1710k| 525 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1035k| 26 | 3.100000e+01 | -- | Inf
1181.41/1181.97 c 1146s| 1720k| 519 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1041k| 26 | 3.100000e+01 | -- | Inf
1187.90/1188.41 c 1152s| 1730k| 526 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1047k| 26 | 3.100000e+01 | -- | Inf
1194.01/1194.54 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1194.01/1194.54 c 1158s| 1740k| 525 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1053k| 26 | 3.100000e+01 | -- | Inf
1200.50/1201.03 c 1164s| 1750k| 532 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1059k| 26 | 3.100000e+01 | -- | Inf
1207.01/1207.56 c 1171s| 1760k| 527 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1065k| 26 | 3.100000e+01 | -- | Inf
1213.60/1214.13 c 1177s| 1770k| 522 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1071k| 26 | 3.100000e+01 | -- | Inf
1220.20/1220.74 c 1184s| 1780k| 520 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1076k| 26 | 3.100000e+01 | -- | Inf
1226.69/1227.25 c 1190s| 1790k| 529 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1083k| 26 | 3.100000e+01 | -- | Inf
1233.39/1233.96 c 1196s| 1800k| 518 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1089k| 26 | 3.100000e+01 | -- | Inf
1240.30/1240.84 c 1203s| 1810k| 524 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1095k| 26 | 3.100000e+01 | -- | Inf
1247.49/1248.06 c 1210s| 1820k| 527 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1101k| 26 | 3.100000e+01 | -- | Inf
1254.59/1255.15 c 1217s| 1830k| 531 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1107k| 26 | 3.100000e+01 | -- | Inf
1261.58/1262.15 c 1224s| 1840k| 527 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1113k| 26 | 3.100000e+01 | -- | Inf
1268.48/1269.07 c 1230s| 1850k| 526 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1119k| 26 | 3.100000e+01 | -- | Inf
1275.68/1276.27 c 1237s| 1860k| 530 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1125k| 26 | 3.100000e+01 | -- | Inf
1283.18/1283.75 c 1245s| 1870k| 523 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1131k| 26 | 3.100000e+01 | -- | Inf
1290.36/1290.97 c 1252s| 1880k| 531 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1137k| 26 | 3.100000e+01 | -- | Inf
1297.26/1297.90 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1297.26/1297.90 c 1258s| 1890k| 518 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1143k| 26 | 3.100000e+01 | -- | Inf
1304.56/1305.15 c 1266s| 1900k| 528 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1149k| 26 | 3.100000e+01 | -- | Inf
1312.66/1313.27 c 1273s| 1910k| 520 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1156k| 26 | 3.100000e+01 | -- | Inf
1320.36/1320.95 c 1281s| 1920k| 527 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1162k| 26 | 3.100000e+01 | -- | Inf
1327.06/1327.62 c 1287s| 1930k| 521 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1168k| 26 | 3.100000e+01 | -- | Inf
1333.95/1334.51 c 1294s| 1940k| 521 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1174k| 26 | 3.100000e+01 | -- | Inf
1341.36/1341.92 c 1301s| 1950k| 522 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1180k| 26 | 3.100000e+01 | -- | Inf
1347.95/1348.57 c 1308s| 1960k| 518 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1186k| 26 | 3.100000e+01 | -- | Inf
1355.55/1356.17 c 1315s| 1970k| 529 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1192k| 26 | 3.100000e+01 | -- | Inf
1363.04/1363.63 c 1322s| 1980k| 523 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1198k| 26 | 3.100000e+01 | -- | Inf
1370.64/1371.24 c 1330s| 1990k| 534 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1204k| 26 | 3.100000e+01 | -- | Inf
1378.13/1378.78 c 1337s| 2000k| 527 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1210k| 26 | 3.100000e+01 | -- | Inf
1385.63/1386.25 c 1344s| 2010k| 529 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1216k| 26 | 3.100000e+01 | -- | Inf
1393.23/1393.84 c 1352s| 2020k| 527 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1222k| 26 | 3.100000e+01 | -- | Inf
1400.73/1401.36 c 1359s| 2030k| 523 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1228k| 26 | 3.100000e+01 | -- | Inf
1407.12/1407.77 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1407.12/1407.77 c 1365s| 2040k| 532 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1234k| 26 | 3.100000e+01 | -- | Inf
1414.03/1414.63 c 1372s| 2050k| 523 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1241k| 26 | 3.100000e+01 | -- | Inf
1420.82/1421.50 c 1379s| 2060k| 533 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1247k| 26 | 3.100000e+01 | -- | Inf
1427.31/1427.90 c 1385s| 2070k| 525 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1253k| 26 | 3.100000e+01 | -- | Inf
1434.01/1434.68 c 1391s| 2080k| 526 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1259k| 26 | 3.100000e+01 | -- | Inf
1440.51/1441.17 c 1398s| 2090k| 524 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1264k| 26 | 3.100000e+01 | -- | Inf
1447.11/1447.79 c 1404s| 2100k| 529 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1270k| 26 | 3.100000e+01 | -- | Inf
1454.01/1454.63 c 1411s| 2110k| 529 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1276k| 26 | 3.100000e+01 | -- | Inf
1460.50/1461.15 c 1417s| 2120k| 525 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1282k| 26 | 3.100000e+01 | -- | Inf
1467.50/1468.17 c 1424s| 2130k| 530 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1288k| 26 | 3.100000e+01 | -- | Inf
1474.10/1474.70 c 1430s| 2140k| 523 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1294k| 26 | 3.100000e+01 | -- | Inf
1480.60/1481.20 c 1436s| 2150k| 526 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1300k| 26 | 3.100000e+01 | -- | Inf
1486.99/1487.68 c 1443s| 2160k| 527 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1306k| 26 | 3.100000e+01 | -- | Inf
1493.59/1494.29 c 1449s| 2170k| 530 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1312k| 26 | 3.100000e+01 | -- | Inf
1500.28/1500.95 c 1456s| 2180k| 524 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1318k| 26 | 3.100000e+01 | -- | Inf
1507.39/1508.01 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1507.39/1508.01 c 1462s| 2190k| 526 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1324k| 26 | 3.100000e+01 | -- | Inf
1513.88/1514.53 c 1469s| 2200k| 521 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1330k| 26 | 3.100000e+01 | -- | Inf
1520.28/1520.99 c 1475s| 2210k| 522 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1336k| 26 | 3.100000e+01 | -- | Inf
1526.88/1527.53 c 1481s| 2220k| 518 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1342k| 26 | 3.100000e+01 | -- | Inf
1533.88/1534.56 c 1488s| 2230k| 517 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1348k| 26 | 3.100000e+01 | -- | Inf
1540.77/1541.44 c 1495s| 2240k| 519 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1354k| 26 | 3.100000e+01 | -- | Inf
1547.87/1548.51 c 1502s| 2250k| 528 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1360k| 26 | 3.100000e+01 | -- | Inf
1555.06/1555.80 c 1509s| 2260k| 529 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1366k| 26 | 3.100000e+01 | -- | Inf
1561.56/1562.20 c 1515s| 2270k| 532 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1372k| 26 | 3.100000e+01 | -- | Inf
1567.86/1568.55 c 1521s| 2280k| 519 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1378k| 26 | 3.100000e+01 | -- | Inf
1574.65/1575.32 c 1528s| 2290k| 525 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1384k| 26 | 3.100000e+01 | -- | Inf
1581.56/1582.30 c 1534s| 2300k| 525 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1390k| 26 | 3.100000e+01 | -- | Inf
1588.45/1589.18 c 1541s| 2310k| 525 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1396k| 26 | 3.100000e+01 | -- | Inf
1595.65/1596.33 c 1548s| 2320k| 522 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1402k| 26 | 3.100000e+01 | -- | Inf
1602.24/1602.95 c 1554s| 2330k| 519 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1408k| 26 | 3.100000e+01 | -- | Inf
1609.15/1609.80 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1609.15/1609.80 c 1561s| 2340k| 521 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1414k| 26 | 3.100000e+01 | -- | Inf
1616.24/1617.00 c 1568s| 2350k| 522 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1420k| 26 | 3.100000e+01 | -- | Inf
1623.54/1624.21 c 1575s| 2360k| 522 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1427k| 26 | 3.100000e+01 | -- | Inf
1630.74/1631.42 c 1582s| 2370k| 525 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1433k| 26 | 3.100000e+01 | -- | Inf
1637.93/1638.70 c 1589s| 2380k| 529 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1439k| 26 | 3.100000e+01 | -- | Inf
1645.53/1646.24 c 1597s| 2390k| 516 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1446k| 26 | 3.100000e+01 | -- | Inf
1653.02/1653.77 c 1604s| 2400k| 518 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1452k| 26 | 3.100000e+01 | -- | Inf
1660.22/1660.96 c 1611s| 2410k| 521 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1458k| 26 | 3.100000e+01 | -- | Inf
1667.52/1668.27 c 1618s| 2420k| 520 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1464k| 26 | 3.100000e+01 | -- | Inf
1674.52/1675.21 c 1625s| 2430k| 523 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1470k| 26 | 3.100000e+01 | -- | Inf
1681.92/1682.60 c 1632s| 2440k| 521 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1476k| 26 | 3.100000e+01 | -- | Inf
1688.92/1689.61 c 1639s| 2450k| 521 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1483k| 26 | 3.100000e+01 | -- | Inf
1696.01/1696.74 c 1646s| 2460k| 518 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1489k| 26 | 3.100000e+01 | -- | Inf
1702.61/1703.34 c 1652s| 2470k| 519 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1495k| 26 | 3.100000e+01 | -- | Inf
1709.70/1710.47 c 1659s| 2480k| 518 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1501k| 26 | 3.100000e+01 | -- | Inf
1717.00/1717.79 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1717.00/1717.79 c 1666s| 2490k| 527 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1507k| 26 | 3.100000e+01 | -- | Inf
1723.89/1724.67 c 1673s| 2500k| 518 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1513k| 26 | 3.100000e+01 | -- | Inf
1730.60/1731.39 c 1679s| 2510k| 512 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1519k| 26 | 3.100000e+01 | -- | Inf
1738.09/1738.84 c 1686s| 2520k| 521 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1525k| 26 | 3.100000e+01 | -- | Inf
1745.89/1746.62 c 1694s| 2530k| 526 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1531k| 26 | 3.100000e+01 | -- | Inf
1753.69/1754.48 c 1702s| 2540k| 530 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1537k| 26 | 3.100000e+01 | -- | Inf
1761.18/1761.99 c 1709s| 2550k| 522 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1543k| 26 | 3.100000e+01 | -- | Inf
1768.49/1769.26 c 1716s| 2560k| 525 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1549k| 26 | 3.100000e+01 | -- | Inf
1775.78/1776.53 c 1723s| 2570k| 520 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1556k| 26 | 3.100000e+01 | -- | Inf
1782.97/1783.79 c 1730s| 2580k| 519 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1562k| 26 | 3.100000e+01 | -- | Inf
1790.57/1791.33 c 1737s| 2590k| 516 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1568k| 26 | 3.100000e+01 | -- | Inf
1797.78/1798.50 c 1744s| 2600k| 526 | 601 | 18M| 564 | - | 930 | 13k| 10k| 0 | 0 | 23 |1574k| 26 | 3.100000e+01 | -- | Inf
1800.08/1800.80 c
1800.08/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.80 c Solving Time (sec) : 1746.51
1800.08/1800.80 c Solving Nodes : 2603316
1800.08/1800.80 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.08/1800.80 c Dual Bound : +3.10000000000000e+01
1800.08/1800.80 c Gap : infinite
1800.08/1800.80 c NODE 2603316
1800.08/1800.80 c DUAL BOUND 31
1800.08/1800.80 c PRIMAL BOUND 1e+20
1800.08/1800.80 c GAP 1e+20
1800.08/1800.80 s UNKNOWN
1800.08/1800.80 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.80 c Solving Time : 1746.51
1800.08/1800.80 c Original Problem :
1800.08/1800.80 c Problem name : HOME/instance-1883910-1245238126.opb
1800.08/1800.80 c Variables : 930 (930 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.80 c Constraints : 13981 initial, 13981 maximal
1800.08/1800.80 c Presolved Problem :
1800.08/1800.80 c Problem name : t_HOME/instance-1883910-1245238126.opb
1800.08/1800.80 c Variables : 930 (930 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.80 c Constraints : 13981 initial, 14017 maximal
1800.08/1800.80 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.80 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.80 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.80 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.80 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.80 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.80 c probing : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.80 c logicor : 0.05 0 0 0 0 0 0 0 0
1800.08/1800.80 c root node : - 0 - - 0 - - - -
1800.08/1800.80 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.80 c integral : 0 0 0 1 0 0 0 0 0 2
1800.08/1800.80 c logicor : 13981+ 5 12478895 0 0 1575393 34233337 0 0 0
1800.08/1800.80 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.80 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.80 c integral : 2.79 0.00 0.00 2.79 0.00
1800.08/1800.80 c logicor : 868.48 0.00 868.48 0.00 0.00
1800.08/1800.80 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.80 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.80 c rootredcost : 4.43 0 0 0
1800.08/1800.80 c pseudoobj : 534.54 14501784 0 0
1800.08/1800.80 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.80 c propagation : 665.70 1575393 1575393 1575393 130.9 12560 141.0 -
1800.08/1800.80 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.80 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.80 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.80 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.08/1800.80 c applied globally : - - - 173458 72.5 - - -
1800.08/1800.80 c applied locally : - - - 1403443 138.0 - - -
1800.08/1800.80 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.80 c cut pool : 0.00 4 - - 0 - (maximal pool size: 108)
1800.08/1800.80 c redcost : 0.00 5 0 0 0 0
1800.08/1800.80 c impliedbounds : 0.00 5 0 0 0 0
1800.08/1800.80 c intobj : 0.00 0 0 0 0 0
1800.08/1800.80 c gomory : 0.75 5 0 0 1681 0
1800.08/1800.80 c strongcg : 0.74 5 0 0 1972 0
1800.08/1800.80 c cmir : 0.00 0 0 0 0 0
1800.08/1800.80 c flowcover : 0.00 0 0 0 0 0
1800.08/1800.80 c clique : 0.03 5 0 0 10 0
1800.08/1800.80 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.80 c mcf : 0.02 1 0 0 0 0
1800.08/1800.80 c Pricers : Time Calls Vars
1800.08/1800.80 c problem variables: 0.00 0 0
1800.08/1800.80 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.80 c relpscost : 2.79 1 0 0 0 0 2
1800.08/1800.80 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.80 c inference : 17.22 1853785 0 0 0 0 3707570
1800.08/1800.80 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.80 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.80 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.80 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.80 c random : 0.00 0 0 0 0 0 0
1800.08/1800.80 c Primal Heuristics : Time Calls Found
1800.08/1800.80 c LP solutions : 0.00 - 0
1800.08/1800.80 c pseudo solutions : 0.00 - 0
1800.08/1800.80 c simplerounding : 0.00 0 0
1800.08/1800.80 c rounding : 0.00 0 0
1800.08/1800.80 c shifting : 0.00 0 0
1800.08/1800.80 c intshifting : 0.00 0 0
1800.08/1800.80 c oneopt : 0.00 0 0
1800.08/1800.80 c fixandinfer : 0.00 0 0
1800.08/1800.80 c feaspump : 0.00 0 0
1800.08/1800.80 c coefdiving : 0.00 0 0
1800.08/1800.80 c pscostdiving : 0.00 0 0
1800.08/1800.80 c fracdiving : 0.00 0 0
1800.08/1800.80 c veclendiving : 0.00 0 0
1800.08/1800.80 c intdiving : 0.00 0 0
1800.08/1800.80 c actconsdiving : 0.00 0 0
1800.08/1800.80 c objpscostdiving : 0.00 0 0
1800.08/1800.80 c rootsoldiving : 0.00 0 0
1800.08/1800.80 c linesearchdiving : 0.00 0 0
1800.08/1800.80 c guideddiving : 0.00 0 0
1800.08/1800.80 c octane : 0.00 0 0
1800.08/1800.80 c rens : 0.00 0 0
1800.08/1800.80 c rins : 0.00 0 0
1800.08/1800.80 c localbranching : 0.00 0 0
1800.08/1800.80 c mutation : 0.00 0 0
1800.08/1800.80 c crossover : 0.00 0 0
1800.08/1800.80 c dins : 0.00 0 0
1800.08/1800.80 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.80 c primal LP : 0.01 0 0 0.00 0.00
1800.08/1800.80 c dual LP : 0.69 6 601 100.17 871.01
1800.08/1800.80 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.80 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.80 c strong branching : 2.79 26 1908 73.38 683.87
1800.08/1800.80 c (at root node) : - 26 1908 73.38 -
1800.08/1800.80 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.80 c B&B Tree :
1800.08/1800.80 c number of runs : 1
1800.08/1800.80 c nodes : 2603316
1800.08/1800.80 c nodes (total) : 2603316
1800.08/1800.80 c nodes left : 521
1800.08/1800.80 c max depth : 564
1800.08/1800.80 c max depth (total): 564
1800.08/1800.80 c backtracks : 842059 (32.3%)
1800.08/1800.80 c delayed cutoffs : 1103736
1800.08/1800.80 c repropagations : 2271461 (19473424 domain reductions, 825863 cutoffs)
1800.08/1800.80 c avg switch length: 2.57
1800.08/1800.80 c switching time : 150.12
1800.08/1800.80 c Solution :
1800.08/1800.80 c Solutions found : 0 (0 improvements)
1800.08/1800.80 c Primal Bound : -
1800.08/1800.80 c Dual Bound : +3.10000000000000e+01
1800.08/1800.80 c Gap : infinite
1800.08/1800.80 c Root Dual Bound : +3.10000000000000e+01
1800.08/1800.87 c Time complete: 1800.13.