
Call stack:
   1: 0x7fa1cd7d0c00 <inivar_+0x2dd8>                 (libsaturne.so.0)
   2: 0x7fa1cd6ee400 <caltri_+0x1d80>                 (libsaturne.so.0)
   3: 0x7fa1cd6d1025 <cs_run+0x3e5>                   (libsaturne.so.0)
   4: 0x7fa1cd6d1165 <main+0x115>                     (libsaturne.so.0)
   5: 0x7fa1cb9b4d5d <__libc_start_main+0xfd>         (libc.so.6)
   6: 0x407369     <>                               (cs_solver)
End of stack

