Понимание лог-файлов, созданных Bonmin
Я хочу получить осуществимую точку для MINLP, используя технико-экономический насос, реализованный в Bonmin, к которому я обращаюсь через Pyomo (я использую параметр SolutionLimit = 1).
Однако для некоторых проблем метод не дает такой точки в течение 30 минут, и я хочу определить причину.
Глядя на лог-файлы, выясняется, что причина в том, что первая вспомогательная MILP не решается с помощью Cbc. Фактически, для проблемы, выходящей из MINLPLib, через некоторое время в решении MILP(?), По-видимому, больше не остается никаких прог, и в журнале повторяются следующие строки:
OCbc0014I Генератор среза 0 (зондирование) - 0 срезов строки в среднем составляют 0, 0 элемента, 0 срезов столбца (0 активных) за 0, 000 секунд - новая частота равна -100
OCbc0014I Генератор среза 1 (Gomory) - 1 срезы строки в среднем 20, 0 элементов, 0 срезов столбца (0 активных) за 0, 000 секунд - новая частота равна -100
OCbc0014I Генератор среза 2 (рюкзак) - 0 срезов строки в среднем 0, 0 элементов, 0 срезов столбца (0 активных) за 0, 000 секунд - новая частота равна -100
OCbc0014I Генератор среза 3 (клик) - 0 срезов строки в среднем 0, 0 элементов, 0 срезов столбца (0 активных) за 0, 000 секунд - новая частота равна -100
OCbc0014I Генератор среза 4 (FlowCover) - 0 срезов строки в среднем составляют 0, 0 элемента, 0 срезов столбца (0 активных) за 0, 000 секунд - новая частота равна -100
OCbc0014I Генератор среза 5 (MixedIntegerRounding2) - 0 срезов строки в среднем 0, 0 элементов, 0 срезов столбца (0 активных) за 0, 000 секунд - новая частота равна -100
OCbc0010I После 0 узлов, 1 на дереве, 1e+50 наилучшее решение, наилучшее возможное -189 (0, 02 секунды) OCbc0012I Целочисленное решение -189, найденное путем округления после 2 итераций и 1 узла (0, 02 секунды)
OCbc0001I Поиск завершен - лучшая цель -189, потребовалось 2 итерации и 1 узел (0, 02 секунды)
OCbc0032I Сильное ветвление выполнено 4 раза (10 итераций), 0 узлов и фиксированные 0 переменных. OCbc0035I Максимальная глубина 0, 0 переменных, фиксированные по сниженной стоимости.
OCbc0031I 1 добавленные строки имели среднюю плотность 20 OCbc0013I В корневом узле 1 сокращение изменило цель с -189 до -189 за 2 прохода
Это совпадает с тем фактом, что единственный источник нелинейности для этой проблемы проистекает из целевой функции, и, следовательно, метод не должен иметь проблем с поиском какой-либо выполнимой точки - за исключением того, что первоначальный MILP трудно решить. В общем, мои вопросы таковы.
- Имеют ли рассматриваемые проблемы, а также случаи проблемы, структуру, которая затрудняет решение проблемы проекции ТЭО?
- Кто-нибудь может указать мне место, где я могу научиться читать лог-файлы?
- Является ли список рассылки Bonmin подходящим местом для того, чтобы задать такой вопрос?