[SCIP] SCIP multithreading solver DFiberSCIP to solve IP

Ambros Gleixner gleixner at zib.de
Wed Apr 29 10:21:39 CEST 2020


Hi David,

I am happy you are so excited about the SCIP Optimization Suite. 
Because there are many people subscribed to this mailing list, can you 
please in the future make sure to collect all relevant information first 
and report them in one e-mail at a time.  Otherwise, we are not even 
sure, which question is still relevant.

Now, e.g., has the infeasibility problem already been resolved?  SCIP 
currently has no powerful method to analyze infeasibilities.  However, 
you could build your own slack model by either adding

- a continuous slack variable to each of your suspicious constraints, or

- convert them into a big-M constraint with an auxiliary binary 
activation variable,

and then minimize the sum of slacks or binaries.  The solution to such 
an auxiliary MIP may give you good hints on modeling errors.

FiberSCIP can currently not be used through the Java interface, but you 
could use the SCIPwriteOrigProblem method to write a MPS file of your 
Java model, and then solve it on the command line with FiberSCIP, see 
the ug/README file in the SCIP Optimization Suite release.

Best,
Ambros



Am 29.04.20 um 08:36 schrieb usa usa:
> Hi,
> 
> I am trying to solve an Integer programming model by running 
> java scip from IntelliJ Idea (community 2019.2) on macbook pro.
> 
> My java is 11.
> My scipoptsuite: 6.0.2.
> My jscip cheked out from https://github.com/SCIP-Interfaces/JSCIPOpt
> 
> My integer programming model took long time to be solved by SCIP solver.
> 
> Based on this
> https://scip.zib.de/workshop2014/parascip_libraries.pdf
> 
> I would like to find how to use FiberSCIP to improve the performance.
> 
> Could anyone help me with this or point out some docs that may be helpful?
> 
> thanks
> 
> David
> 
> 
> 
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> https://listserv.zib.de/mailman/listinfo/scip
> 

-- 
Ambros Gleixner, Research Group Mathematical Optimization Methods at 
Zuse Institute Berlin, http://www.zib.de/gleixner


More information about the Scip mailing list