------------------------------------------------------------------------
/export/starexec/sandbox2/solver/irankfinder/cysignals/signals.cpython-34m.so(+0x5768)[0x2b5cd4804768]
/export/starexec/sandbox2/solver/irankfinder/cysignals/signals.cpython-34m.so(+0x5948)[0x2b5cd4804948]
/export/starexec/sandbox2/solver/irankfinder/cysignals/signals.cpython-34m.so(+0x9c55)[0x2b5cd4808c55]
/lib64/libc.so.6(+0x36280)[0x2b5cc6431280]
/lib64/libc.so.6(+0x3c67b8)[0x2b5cc67c17b8]
------------------------------------------------------------------------
cysignals failed to execute cysignals-CSI: No such file or directory
------------------------------------------------------------------------
Unhandled SIGSEGV: A segmentation fault occurred.
This probably occurred because a *compiled* module has a bug
in it and is not properly wrapped with sig_on(), sig_off().
Python will now terminate.
------------------------------------------------------------------------