Note
Go to the end to download the full example code.
Evaluate variability of a DOcplex model#
We will evaluate variability of the instance glass4 from MIPLIB 2010 using the docplex-extensions library.
Reference: Koch, Thorsten, Tobias Achterberg, Erling Andersen, Oliver Bastert, Timo Berthold, Robert E. Bixby, Emilie Danna et al. “MIPLIB 2010: Mixed integer programming library version 5.” Mathematical Programming Computation 3 (2011): 103-163.
Ensure DOcplex and its required dependecies are installed correctly#
from docplex.mp.check_list import run_docplex_check_list
run_docplex_check_list()
* system is: Linux 64bit
* Python version 3.10.17, located at: /home/docs/checkouts/readthedocs.org/user_builds/docplex-extensions/envs/stable/bin/python
* docplex is present, version is 2.29.245
* CPLEX library is present, version is 22.1.2.0, located at: /home/docs/checkouts/readthedocs.org/user_builds/docplex-extensions/envs/stable/lib/python3.10/site-packages
* pandas is present, version is 2.2.3
* Your cplex version 22.1.2.0 is the latest available
! Cplex promotional version, limited to 1000 variables, 1000 constraints
* diagnostics: 2
-- Module cloudpickle is missing, run: pip install cloudpickle
-- Your local CPLEX edition is limited. Consider purchasing a full license.
Import libraries#
from pathlib import Path
from urllib.request import urlopen
from docplex.mp.model_reader import ModelReader
import docplex_extensions as dex
Fetch the instance#
Path('instances').mkdir(exist_ok=True)
name = 'glass4.mps.gz'
response = urlopen(f'https://miplib.zib.de/WebData/instances/{name}')
response_OK = True
if response.getcode() == 200:
with open(f'instances/{name}', 'wb') as fp:
fp.write(response.read())
else:
response_OK = False
print(f'Could not fetch the instance {name} from MIPLIB 2010')
Run the runseeds procedure#
if response_OK:
model = ModelReader.read('instances/glass4.mps.gz')
model.parameters.timelimit = 5
dex.runseeds(model, count=3, log_output=True)
=== Starting variability optimization #1 ===
Tried aggregator 1 time.
MIP Presolve eliminated 4 rows and 5 columns.
MIP Presolve modified 88 coefficients.
Reduced MIP has 392 rows, 317 columns, and 1799 nonzeros.
Reduced MIP has 298 binaries, 0 generals, 0 SOSs, and 0 indicators.
Presolve time = 0.00 sec. (0.81 ticks)
Probing time = 0.00 sec. (0.59 ticks)
Tried aggregator 1 time.
Detecting symmetries...
Reduced MIP has 392 rows, 317 columns, and 1799 nonzeros.
Reduced MIP has 298 binaries, 0 generals, 0 SOSs, and 0 indicators.
Presolve time = 0.00 sec. (1.08 ticks)
Probing time = 0.00 sec. (0.59 ticks)
Clique table members: 192.
MIP emphasis: balance optimality and feasibility.
MIP search method: dynamic search.
Parallel mode: deterministic, using up to 2 threads.
Root relaxation solution time = 0.00 sec. (0.48 ticks)
Nodes Cuts/
Node Left Objective IInf Best Integer Best Bound ItCnt Gap
* 0+ 0 3.69170e+09 8.00002e+08 78.33%
0 0 8.00002e+08 72 3.69170e+09 8.00002e+08 36 78.33%
0 0 8.00002e+08 72 3.69170e+09 Cuts: 72 130 78.33%
0 0 8.00002e+08 72 3.69170e+09 Cuts: 96 218 78.33%
* 0+ 0 3.66670e+09 8.00002e+08 78.18%
* 0+ 0 2.90003e+09 8.00002e+08 72.41%
0 2 8.00002e+08 72 2.90003e+09 8.00002e+08 218 72.41%
Elapsed time = 0.03 sec. (36.17 ticks, tree = 0.02 MB, solutions = 3)
* 90+ 65 2.55002e+09 8.00003e+08 68.63%
* 140+ 99 2.53336e+09 8.00003e+08 68.42%
* 250+ 209 2.50002e+09 8.00003e+08 68.00%
* 518+ 315 2.44502e+09 8.00003e+08 67.28%
* 518+ 296 2.28336e+09 8.00003e+08 64.96%
* 518+ 296 2.26669e+09 8.00003e+08 64.71%
* 518+ 416 2.19169e+09 8.00003e+08 63.50%
* 518+ 296 2.15002e+09 8.00003e+08 62.79%
* 518+ 296 2.15002e+09 8.00003e+08 62.79%
* 1027+ 858 2.15002e+09 8.00003e+08 62.79%
* 1027+ 858 2.10002e+09 8.00003e+08 61.90%
* 1027+ 858 2.07780e+09 8.00003e+08 61.50%
1027 740 8.00007e+08 56 2.07780e+09 8.00003e+08 4987 61.50%
* 1051+ 858 2.00557e+09 8.00003e+08 60.11%
Performing restart 1
Repeating presolve.
Tried aggregator 1 time.
MIP Presolve modified 606 coefficients.
Reduced MIP has 392 rows, 317 columns, and 1799 nonzeros.
Reduced MIP has 298 binaries, 0 generals, 0 SOSs, and 0 indicators.
Presolve time = 0.00 sec. (0.87 ticks)
Tried aggregator 1 time.
Reduced MIP has 392 rows, 317 columns, and 1799 nonzeros.
Reduced MIP has 298 binaries, 0 generals, 0 SOSs, and 0 indicators.
Presolve time = 0.00 sec. (1.13 ticks)
Represolve time = 0.00 sec. (3.70 ticks)
1130 0 8.00003e+08 129 2.00557e+09 Cuts: 198 6443 60.11%
1130 0 8.00003e+08 135 2.00557e+09 Cuts: 198 6534 60.11%
1130 0 8.00004e+08 144 2.00557e+09 Cuts: 198 6619 60.11%
1130 0 8.00004e+08 151 2.00557e+09 Cuts: 198 6696 60.11%
1130 0 8.00004e+08 104 2.00557e+09 Cuts: 198 6828 60.11%
1130 0 8.00005e+08 111 2.00557e+09 Cuts: 193 6904 60.11%
1130 0 8.00005e+08 117 2.00557e+09 Cuts: 183 6970 60.11%
1130 0 8.00005e+08 130 2.00557e+09 Cuts: 198 7052 60.11%
1130 0 8.00005e+08 130 2.00557e+09 Cuts: 198 7122 60.11%
1130 0 8.00005e+08 128 2.00557e+09 Cuts: 198 7169 60.11%
1130 0 8.00005e+08 140 2.00557e+09 Cuts: 198 7235 60.11%
1130 0 8.00005e+08 127 2.00557e+09 Cuts: 117 7313 60.11%
1130 0 8.00005e+08 128 2.00557e+09 Cuts: 198 7375 60.11%
1130 0 8.00005e+08 110 2.00557e+09 Cuts: 188 7442 60.11%
1130 0 8.00005e+08 108 2.00557e+09 Cuts: 198 7520 60.11%
* 1130+ 0 2.00002e+09 8.00005e+08 60.00%
1130 0 8.00005e+08 103 2.00002e+09 Cuts: 198 7615 60.00%
* 1130+ 0 1.95002e+09 8.00005e+08 58.97%
* 1130+ 0 1.90002e+09 8.00005e+08 57.89%
* 1130+ 0 1.90002e+09 8.00005e+08 57.89%
1130 0 -1.00000e+75 0 1.90002e+09 8.00005e+08 7615 57.89%
1130 2 8.00005e+08 93 1.90002e+09 8.00005e+08 7615 57.89%
1262 104 1.70001e+09 65 1.90002e+09 8.00005e+08 8958 57.89%
* 1330+ 157 1.90002e+09 8.00005e+08 57.89%
* 1347+ 89 1.88335e+09 8.00005e+08 57.52%
1606 415 1.54483e+09 35 1.88335e+09 8.00005e+08 11193 57.52%
* 1630+ 435 1.88002e+09 8.00005e+08 57.45%
* 1630+ 317 1.87502e+09 8.00005e+08 57.33%
* 1843 517 integral 0 1.85002e+09 8.00005e+08 11846 56.76%
* 1893+ 522 1.70002e+09 8.00005e+08 52.94%
* 1893+ 522 1.70001e+09 8.00005e+08 52.94%
2209 797 1.60001e+09 23 1.70001e+09 8.00005e+08 14823 52.94%
* 2429+ 1060 1.70001e+09 8.00005e+08 52.94%
* 2629+ 1148 1.70001e+09 8.00005e+08 52.94%
2629 1150 1.40001e+09 69 1.70001e+09 8.00005e+08 18759 52.94%
3027 1493 1.60001e+09 53 1.70001e+09 8.00005e+08 23057 52.94%
3932 2268 8.10089e+08 101 1.70001e+09 8.00005e+08 31040 52.94%
5129 3310 1.43334e+09 43 1.70001e+09 8.00006e+08 41491 52.94%
8871 6449 1.00000e+09 89 1.70001e+09 8.14760e+08 80700 52.07%
Elapsed time = 2.67 sec. (3639.16 ticks, tree = 2.45 MB, solutions = 36)
12349 9277 1.30001e+09 63 1.70001e+09 8.36369e+08 118441 50.80%
15507 11996 1.60001e+09 68 1.70001e+09 8.50006e+08 157737 50.00%
Clique cuts applied: 2
Cover cuts applied: 2
Implied bound cuts applied: 103
Flow cuts applied: 21
Mixed integer rounding cuts applied: 231
Gomory fractional cuts applied: 36
Root node processing (before b&c):
Real time = 0.03 sec. (36.05 ticks)
Parallel b&c, 2 threads:
Real time = 4.98 sec. (7063.34 ticks)
Sync time (average) = 0.13 sec.
Wait time (average) = 0.00 sec.
------------
Total (root+branch&cut) = 5.00 sec. (7099.38 ticks)
=== Starting variability optimization #2 ===
Tried aggregator 1 time.
MIP Presolve eliminated 4 rows and 5 columns.
MIP Presolve modified 88 coefficients.
Reduced MIP has 392 rows, 317 columns, and 1799 nonzeros.
Reduced MIP has 298 binaries, 0 generals, 0 SOSs, and 0 indicators.
Presolve time = 0.00 sec. (0.81 ticks)
Probing time = 0.00 sec. (0.59 ticks)
Tried aggregator 1 time.
Detecting symmetries...
Reduced MIP has 392 rows, 317 columns, and 1799 nonzeros.
Reduced MIP has 298 binaries, 0 generals, 0 SOSs, and 0 indicators.
Presolve time = 0.00 sec. (1.08 ticks)
Probing time = 0.00 sec. (0.59 ticks)
Clique table members: 192.
MIP emphasis: balance optimality and feasibility.
MIP search method: dynamic search.
Parallel mode: deterministic, using up to 2 threads.
Root relaxation solution time = 0.00 sec. (0.48 ticks)
Nodes Cuts/
Node Left Objective IInf Best Integer Best Bound ItCnt Gap
* 0+ 0 3.69170e+09 8.00002e+08 78.33%
0 0 8.00002e+08 72 3.69170e+09 8.00002e+08 36 78.33%
0 0 8.00002e+08 72 3.69170e+09 Cuts: 72 130 78.33%
0 0 8.00002e+08 72 3.69170e+09 Cuts: 97 222 78.33%
0 2 8.00002e+08 72 3.69170e+09 8.00002e+08 222 78.33%
Elapsed time = 0.02 sec. (33.19 ticks, tree = 0.02 MB, solutions = 1)
* 10+ 1 3.32503e+09 8.00002e+08 75.94%
* 22+ 1 3.32501e+09 8.00002e+08 75.94%
* 108+ 82 2.53336e+09 8.00002e+08 68.42%
* 160+ 121 2.45336e+09 8.00003e+08 67.39%
* 190+ 173 2.40002e+09 8.00003e+08 66.67%
* 260+ 213 2.33002e+09 8.00003e+08 65.67%
* 336+ 234 2.10002e+09 8.00003e+08 61.91%
* 540+ 436 2.10002e+09 8.00003e+08 61.90%
* 856+ 696 2.10002e+09 8.00003e+08 61.90%
878 711 8.00004e+08 79 2.10002e+09 8.00003e+08 4126 61.90%
* 962+ 801 2.10002e+09 8.00003e+08 61.90%
* 962+ 801 2.10002e+09 8.00003e+08 61.90%
* 963+ 886 2.08752e+09 8.00003e+08 61.68%
* 963+ 886 2.08002e+09 8.00003e+08 61.54%
Performing restart 1
Repeating presolve.
Tried aggregator 1 time.
MIP Presolve modified 606 coefficients.
Reduced MIP has 392 rows, 317 columns, and 1799 nonzeros.
Reduced MIP has 298 binaries, 0 generals, 0 SOSs, and 0 indicators.
Presolve time = 0.00 sec. (0.87 ticks)
Tried aggregator 1 time.
Reduced MIP has 392 rows, 317 columns, and 1799 nonzeros.
Reduced MIP has 298 binaries, 0 generals, 0 SOSs, and 0 indicators.
Presolve time = 0.00 sec. (1.13 ticks)
Represolve time = 0.00 sec. (3.72 ticks)
1193 0 8.00003e+08 113 2.08002e+09 Cuts: 162 6940 61.54%
1193 0 8.00004e+08 90 2.08002e+09 Cuts: 198 7007 61.54%
1193 0 8.00004e+08 100 2.08002e+09 Cuts: 198 7087 61.54%
1193 0 8.00004e+08 98 2.08002e+09 Cuts: 198 7167 61.54%
1193 0 8.00004e+08 130 2.08002e+09 Cuts: 198 7260 61.54%
1193 0 8.00004e+08 130 2.08002e+09 Cuts: 198 7318 61.54%
1193 0 8.00004e+08 142 2.08002e+09 Cuts: 198 7377 61.54%
1193 0 8.00004e+08 100 2.08002e+09 Cuts: 165 7506 61.54%
1193 0 8.00005e+08 104 2.08002e+09 Cuts: 198 7613 61.54%
1193 0 8.00005e+08 100 2.08002e+09 Cuts: 198 7711 61.54%
1193 0 8.00005e+08 112 2.08002e+09 Cuts: 188 7779 61.54%
* 1193+ 0 2.00002e+09 8.00005e+08 60.00%
1193 0 8.00005e+08 111 2.00002e+09 Cuts: 169 7859 60.00%
1193 0 8.00005e+08 104 2.00002e+09 Cuts: 99 7917 60.00%
1193 0 8.00005e+08 104 2.00002e+09 Cuts: 144 7974 60.00%
1193 2 8.00005e+08 88 2.00002e+09 8.00005e+08 7974 60.00%
1393 147 1.36668e+09 43 2.00002e+09 8.00005e+08 9035 60.00%
* 1428+ 70 1.97502e+09 8.00005e+08 59.49%
* 1433+ 70 1.96668e+09 8.00005e+08 59.32%
* 1558+ 238 1.95001e+09 8.00005e+08 58.97%
* 1561+ 238 1.94446e+09 8.00005e+08 58.86%
* 1563+ 238 1.90001e+09 8.00005e+08 57.89%
* 1693+ 369 1.90001e+09 8.00005e+08 57.89%
* 1893+ 466 1.89287e+09 8.00005e+08 57.74%
1895 534 1.30001e+09 45 1.89287e+09 8.00005e+08 11026 57.74%
* 1924+ 476 1.85002e+09 8.00005e+08 56.76%
* 2073+ 476 1.83335e+09 8.00005e+08 56.36%
* 2283+ 743 1.83335e+09 8.00005e+08 56.36%
* 2292+ 743 1.80002e+09 8.00005e+08 55.56%
* 2292+ 761 1.80002e+09 8.00005e+08 55.56%
* 2292+ 743 1.71430e+09 8.00005e+08 53.33%
2297 650 1.10001e+09 68 1.71430e+09 8.00005e+08 13250 53.33%
2683 997 cutoff 1.71430e+09 8.00005e+08 16986 53.33%
3116 1282 8.00005e+08 79 1.71430e+09 8.00005e+08 19169 53.33%
4251 2150 1.50001e+09 52 1.71430e+09 8.00005e+08 26638 53.33%
* 5046 2724 integral 0 1.70002e+09 8.00005e+08 30998 52.94%
5537 3116 1.10001e+09 59 1.70002e+09 8.00005e+08 34057 52.94%
* 6292 3606 integral 0 1.66668e+09 8.00005e+08 37539 52.00%
Elapsed time = 2.27 sec. (3095.20 ticks, tree = 1.30 MB, solutions = 39)
* 8375+ 4924 1.66668e+09 8.00005e+08 52.00%
* 8422+ 5173 1.64668e+09 8.00005e+08 51.42%
* 8490+ 5008 1.64668e+09 8.00005e+08 51.42%
10282 6231 cutoff 1.64668e+09 8.00006e+08 69786 51.42%
* 10941 6701 integral 0 1.64502e+09 8.00006e+08 74572 51.37%
14359 9482 infeasible 1.64502e+09 8.00006e+08 110120 51.37%
* 18015+12367 1.64002e+09 8.00007e+08 51.22%
* 18015+12367 1.62502e+09 8.00007e+08 50.77%
GUB cover cuts applied: 1
Clique cuts applied: 5
Cover cuts applied: 7
Implied bound cuts applied: 57
Flow cuts applied: 12
Mixed integer rounding cuts applied: 167
Gomory fractional cuts applied: 25
Root node processing (before b&c):
Real time = 0.02 sec. (33.08 ticks)
Parallel b&c, 2 threads:
Real time = 4.98 sec. (6940.45 ticks)
Sync time (average) = 0.16 sec.
Wait time (average) = 0.00 sec.
------------
Total (root+branch&cut) = 5.00 sec. (6973.53 ticks)
=== Starting variability optimization #3 ===
Tried aggregator 1 time.
MIP Presolve eliminated 4 rows and 5 columns.
MIP Presolve modified 88 coefficients.
Reduced MIP has 392 rows, 317 columns, and 1799 nonzeros.
Reduced MIP has 298 binaries, 0 generals, 0 SOSs, and 0 indicators.
Presolve time = 0.00 sec. (0.81 ticks)
Probing time = 0.00 sec. (0.59 ticks)
Tried aggregator 1 time.
Detecting symmetries...
Reduced MIP has 392 rows, 317 columns, and 1799 nonzeros.
Reduced MIP has 298 binaries, 0 generals, 0 SOSs, and 0 indicators.
Presolve time = 0.00 sec. (1.08 ticks)
Probing time = 0.00 sec. (0.59 ticks)
Clique table members: 192.
MIP emphasis: balance optimality and feasibility.
MIP search method: dynamic search.
Parallel mode: deterministic, using up to 2 threads.
Root relaxation solution time = 0.00 sec. (0.48 ticks)
Nodes Cuts/
Node Left Objective IInf Best Integer Best Bound ItCnt Gap
* 0+ 0 3.69170e+09 8.00002e+08 78.33%
0 0 8.00002e+08 72 3.69170e+09 8.00002e+08 36 78.33%
0 0 8.00002e+08 72 3.69170e+09 Cuts: 72 130 78.33%
0 0 8.00002e+08 72 3.69170e+09 Cuts: 88 216 78.33%
0 2 8.00002e+08 72 3.69170e+09 8.00002e+08 216 78.33%
Elapsed time = 0.02 sec. (31.39 ticks, tree = 0.02 MB, solutions = 1)
* 10+ 10 3.17503e+09 8.00002e+08 74.80%
* 396+ 310 3.06670e+09 8.00002e+08 73.91%
* 601+ 463 3.00003e+09 8.00002e+08 73.33%
* 601+ 463 3.00002e+09 8.00002e+08 73.33%
* 601+ 501 2.86669e+09 8.00002e+08 72.09%
* 601+ 501 2.81669e+09 8.00002e+08 71.60%
* 601+ 501 2.63336e+09 8.00002e+08 69.62%
* 601+ 463 2.63336e+09 8.00002e+08 69.62%
* 601+ 501 2.60002e+09 8.00002e+08 69.23%
* 621+ 463 2.55002e+09 8.00002e+08 68.63%
* 841+ 606 2.41669e+09 8.00003e+08 66.90%
* 842+ 606 2.41541e+09 8.00003e+08 66.88%
* 842+ 606 2.40002e+09 8.00003e+08 66.67%
* 842+ 606 2.40002e+09 8.00003e+08 66.67%
* 842+ 606 2.26669e+09 8.00003e+08 64.71%
* 842+ 606 2.20002e+09 8.00003e+08 63.64%
842 608 1.80001e+09 65 2.20002e+09 8.00003e+08 3975 63.64%
* 844+ 736 2.20002e+09 8.00003e+08 63.64%
* 844+ 736 2.15002e+09 8.00003e+08 62.79%
* 844+ 736 2.13336e+09 8.00003e+08 62.50%
* 844+ 736 2.11669e+09 8.00003e+08 62.20%
* 945+ 717 2.10002e+09 8.00003e+08 61.91%
Performing restart 1
Repeating presolve.
Tried aggregator 1 time.
MIP Presolve modified 606 coefficients.
Reduced MIP has 392 rows, 317 columns, and 1799 nonzeros.
Reduced MIP has 298 binaries, 0 generals, 0 SOSs, and 0 indicators.
Presolve time = 0.00 sec. (0.87 ticks)
Tried aggregator 1 time.
Reduced MIP has 392 rows, 317 columns, and 1799 nonzeros.
Reduced MIP has 298 binaries, 0 generals, 0 SOSs, and 0 indicators.
Presolve time = 0.00 sec. (1.13 ticks)
Represolve time = 0.00 sec. (3.76 ticks)
946 0 8.00003e+08 113 2.10002e+09 Cuts: 154 5379 61.90%
946 0 8.00004e+08 97 2.10002e+09 Cuts: 198 5449 61.90%
946 0 8.00004e+08 109 2.10002e+09 Cuts: 198 5509 61.90%
946 0 8.00004e+08 92 2.10002e+09 Cuts: 198 5581 61.90%
946 0 8.00004e+08 119 2.10002e+09 Cuts: 198 5646 61.90%
946 0 8.00004e+08 110 2.10002e+09 Cuts: 198 5721 61.90%
946 0 8.00004e+08 113 2.10002e+09 Cuts: 198 5786 61.90%
946 0 8.00004e+08 130 2.10002e+09 Cuts: 198 5852 61.90%
946 0 8.00004e+08 112 2.10002e+09 Cuts: 198 5971 61.90%
946 0 8.00004e+08 99 2.10002e+09 Cuts: 198 6070 61.90%
946 0 8.00005e+08 99 2.10002e+09 Cuts: 198 6152 61.90%
* 946+ 0 2.10002e+09 8.00005e+08 61.90%
946 0 8.00005e+08 90 2.10002e+09 Cuts: 180 6232 61.90%
946 0 8.00005e+08 102 2.10002e+09 Cuts: 174 6286 61.90%
946 0 8.00005e+08 97 2.10002e+09 Cuts: 198 6361 61.90%
946 2 8.00005e+08 88 2.10002e+09 8.00005e+08 6361 61.90%
* 1005+ 1 2.10002e+09 8.00005e+08 61.90%
* 1180+ 119 2.06668e+09 8.00005e+08 61.29%
* 1182+ 119 2.05002e+09 8.00005e+08 60.98%
* 1185+ 119 2.05002e+09 8.00005e+08 60.98%
* 1185+ 119 2.05002e+09 8.00005e+08 60.98%
* 1186+ 119 2.00002e+09 8.00005e+08 60.00%
* 1194+ 119 2.00002e+09 8.00005e+08 60.00%
* 1207+ 119 2.00002e+09 8.00005e+08 60.00%
* 1246+ 223 1.86668e+09 8.00005e+08 57.14%
* 1246+ 223 1.86668e+09 8.00005e+08 57.14%
1246 225 1.80001e+09 48 1.86668e+09 8.00005e+08 7804 57.14%
* 1546+ 460 1.86668e+09 8.00005e+08 57.14%
* 1746+ 607 1.86668e+09 8.00006e+08 57.14%
1746 551 1.70001e+09 20 1.86668e+09 8.00006e+08 10098 57.14%
* 2046+ 789 1.86668e+09 8.00006e+08 57.14%
* 2087+ 715 1.85002e+09 8.00006e+08 56.76%
* 2146+ 683 1.80002e+09 8.00006e+08 55.56%
2346 878 1.80001e+09 34 1.80002e+09 8.00006e+08 12625 55.56%
* 2396+ 1007 1.80002e+09 8.00006e+08 55.56%
2725 1344 1.03334e+09 48 1.80002e+09 8.00006e+08 16127 55.56%
3936 2252 9.00005e+08 57 1.80002e+09 8.00006e+08 22757 55.56%
5406 3625 8.12317e+08 67 1.80002e+09 8.00006e+08 32606 55.56%
6931 4743 8.00006e+08 37 1.80002e+09 8.00006e+08 41880 55.56%
12434 9397 1.80001e+09 8 1.80002e+09 8.05183e+08 83524 55.27%
Elapsed time = 2.79 sec. (3925.83 ticks, tree = 3.71 MB, solutions = 47)
17403 13606 1.50001e+09 45 1.80002e+09 8.27279e+08 126507 54.04%
* 17711+14316 1.80002e+09 8.27913e+08 54.01%
* 17711+14316 1.75002e+09 8.27913e+08 52.69%
* 17711+14316 1.70002e+09 8.27913e+08 51.30%
* 17711+14316 1.70001e+09 8.27913e+08 51.30%
* 17711+13981 1.67502e+09 8.27913e+08 50.57%
* 17711+13981 1.66668e+09 8.27913e+08 50.33%
17711 13981 1.66668e+09 0 1.66668e+09 8.27913e+08 130496 50.33%
Starting limited solution polishing.
Clique cuts applied: 5
Cover cuts applied: 4
Implied bound cuts applied: 83
Flow cuts applied: 18
Mixed integer rounding cuts applied: 197
Gomory fractional cuts applied: 35
Root node processing (before b&c):
Real time = 0.02 sec. (31.32 ticks)
Parallel b&c, 2 threads:
Real time = 4.98 sec. (6751.10 ticks)
Sync time (average) = 0.15 sec.
Wait time (average) = 0.00 sec.
------------
Total (root+branch&cut) = 5.00 sec. (6782.41 ticks)
====== runseeds statistics of 3 runs
exit sol objective gap iteration node runtime dettime
run code stat value (%) count count seconds ticks
1 0 107 1.70001e+09 49.02 189726 17849 5.00 7099.40
2 0 107 1.62502e+09 50.77 150403 18015 5.00 6973.55
3 0 107 1.66668e+09 49.82 148249 18968 5.00 6782.43
Exit codes:
0 : No error
Optimization status codes:
objective gap iteration node runtime dettime
value (%) count count seconds ticks
107 : time limit exceeded (3 times)
average: 1.6639e+09 49.87 162793 18277 5.00 6951.79
minimum: 1.62502e+09 49.02 148249 17849 5.00 6782.43
maximum: 1.70001e+09 50.77 189726 18968 5.00 7099.40
std dev: 3.75765e+07 0.88 23350 604 0.00 159.60
Total running time of the script: (0 minutes 15.678 seconds)