Есть ли ограничение на размер файла.lp или количество переменных в CBC/GLPK?

Question

Я пытаюсь решить MIP в GLPK и / или CBC. Файл.lp имеет размер 907 мегабайт и содержит примерно 5 миллионов переменных, но он даже не работает на CBC и работает более 8 дней на GLPK, но решение не найдено. Кроме того, всякий раз, когда я устанавливаю ограничение времени для GLPK, оно говорит, что TIME LIMIT EXCEEDED; ПОИСК ЗАКОНЧЕН, и мне было интересно, возможно ли получить вывод, используя окно CMD или python.

ERROR: "[base]\site-packages\pyomo\opt\base\solvers.py", 616, solve
        Solver (cbc) returned non-zero return code (-1073740791) ERROR: "[base]\site-packages\pyomo\opt\base\solvers.py", 619, solve
        See the solver log above for diagnostic information. Traceback (most recent call last):

  File "<ipython-input-1-55698ac3ed56>", line 1, in <module>
    runfile('D:/Data/Central Data Repository/Pooling Optimisation/Python Scripts/Run_Solver_From_Spyder v2.py', wdir='D:/Data/Central Data Repository/Pooling Optimisation/Python Scripts')

  File "C:\ProgramData\Anaconda2\lib\site-packages\spyder\utils\site\sitecustomize.py", line 710, in runfile
    execfile(filename, namespace)

  File "C:\ProgramData\Anaconda2\lib\site-packages\spyder\utils\site\sitecustomize.py", line 86, in execfile
    exec(compile(scripttext, filename, 'exec'), glob, loc)

  File "D:/Data/Central Data Repository/Pooling Optimisation/Python Scripts/Run_Solver_From_Spyder v2.py", line 37, in <module>
    results = opt.solve(instance, options=solver_opt, tee=True, keepfiles=True)

  File "C:\ProgramData\Anaconda2\lib\site-packages\pyomo\opt\base\solvers.py", line 623, in solve
    "Solver (%s) did not exit normally" % self.name)

ApplicationError: Solver (cbc) did not exit normally

Answer 1

Как правило, модели LP являются разрешимыми. 8 дней это слишком много. Вы можете найти сравнение решателей lp здесь " http://plato.asu.edu/ftp/lpsimp.html". Вы можете изменить свой решатель.

Если решатель находит решение до окончания, вы можете связаться с python-pyomo.

Кроме того, CBC является MIP решателем. Но вы сказали, что ваша модель LP.