[SCIP] Assertion failed: (!SCIPsetIsInfinity(set, REALABS(val)))

Stefan Vigerske stefan at math.hu-berlin.de
Wed Apr 26 10:40:41 CEST 2017


Hi,

this backtrace looks like your code didn't even stop within SCIP, but 
somewhere in the C++ standard library.
The questions marked are from codes that was compiled without debugging 
enabled.
You should check that enabled debugging flags also for your own code, 
not only the SCIP library.

Stefan

On 04/26/2017 04:44 AM, Natalia Perina wrote:
> Hi Gerald,
> 
> How do I use SCIP in gdb? I am making with the opt=dbg option and then
> puttting it into gdb, but when I run gdb I get weird question marks as
> output:
> 
> (gdb) backtrace
> 
> #0  0x000000010003b509 in
> std::__1::allocator_traits<std::__1::allocator<SCIP_Var*>
>> ::construct<SCIP_Var*, SCIP_Var* const&> (__a=..., __p=0x10262ae00,
> 
>      __args=<error reading variable>) at
> /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../include/c++/v1/memory:1503
> 
> #1  std::__1::vector<SCIP_Var*, std::__1::allocator<SCIP_Var*>
>> ::__construct_at_end (this=0x0, __n=4334992704, __x=<error reading
> variable>)
> 
>      at
> /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../include/c++/v1/vector:1005
> 
> #2  std::__1::vector<SCIP_Var*, std::__1::allocator<SCIP_Var*> >::__append
> (this=0x0, __n=14, __x=@0x1024f4a00: 0x7fff7c2d6420)
> 
>      at
> /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/../include/c++/v1/vector:1055
> 
> #3  0x00000001038bf140 in ?? ()
> 
> #4  0x00000000038bf220 in ?? ()
> 
> #5  0x0000000000000000 in ?? ()
> 
> 
> Do you know why this is? Is there something special we should do to build
> for gdb?
> 
> On Sun, Apr 23, 2017 at 4:19 PM, Gerald Gamrath <gamrath at zib.de> wrote:
> 
>> Hi Natalia,
>>
>> my first guess would be that you have very large coefficients in your
>> constraints (i.e., larger than 1e+20). At least, the assert comes up since
>> a coefficient with absolute value > 1e+20 is added to an LP row.
>>
>> If not, could you run again with gdb and check where the large value comes
>> from, and perhaps send the backtrace?
>>
>> Best,
>> Gerald
>>
>>
>> Am 23.04.2017 um 20:57 schrieb Natalia Perina:
>>
>> Does any one know why I would be receiving this error when solving a scip
>> instance:
>>
>> Assertion failed: (!SCIPsetIsInfinity(set, REALABS(val))), function
>> SCIPvarAddToRow, file src/scip/var.c, line 13588.
>>
>> Abort trap: 6
>>
>> Or know what this means?
>>
>>
>> Thanks,
>>
>> Natalia
>>
>>
>>
>> --
>> Natalia Perina
>> Princeton University l 2017
>> nperina at princeton.edu
>> 202 360 9536 <(202)%20360-9536>
>>
>>
>> _______________________________________________
>> Scip mailing listScip at zib.dehttps://listserv.zib.de/mailman/listinfo/scip
>>
>>
>>
>> _______________________________________________
>> Scip mailing list
>> Scip at zib.de
>> https://listserv.zib.de/mailman/listinfo/scip
>>
>>
> 
> 
> 
> 
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> https://listserv.zib.de/mailman/listinfo/scip
> 


-- 
http://www.gams.com/~stefan


More information about the Scip mailing list