[SCIP] informatin about checkLazyBounds

[Jakob Witzig]

Hi Wei Kai,

both methods are internal methods and wrapped by SCIPisInfinity and 
SCIPisFeasLE, respectively. The first method checks whether a given 
value is equal to the internal infinity value (default: 1e+20), the 
second method checks whether the relative difference of two values is 
not greater than the feasibility tolerance (default: 1e-06).

In your case the lazy upper bound seems to be finite and the primal 
solution of the corresponding column seems to be greater than this bound.

Best
Jakob


Am 23.05.2016 um 09:38 schrieb weikaimas at 163.com:
> Hi Matthias,
>
> I implemented a branch and price algorithm. After hundreds rounds, it
> crashed with the following information.
>
> "coloring.linux.x86_64.gnu.gdb.cpx: src/scip/lp.c:14418:
> checkLazyBounds: Assertion `SCIPsetIsInfinity(set, col->lazyub) ||
> SCIPsetIsFeasLE(set, col->primsol, col->lazyub)' failed.
> Aborted (core dumped)"
>
> I cannot find any information about SCIPsetIsInfinity and
> SCIPsetIsFeasLE in the manual.
>
> Beat regards,
>
> Wei Kai.
>
>
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> http://listserv.zib.de/mailman/listinfo/scip
>


-- 
Jakob Witzig

Zuse Institute Berlin (ZIB)

Division Mathematical Optimization and Scientific Information
Research Group Mathematical Optimization Methods

Takustrasse 7
14195 Berlin

Tel. : +49 (0)30 84185-416
Fax  : +49 (0)30 84185-269
email: witzig at zib.de