SIGFPE signal (floating point exception) intercepted!

Call stack:
   1: 0x7715c4     <>                               (cs_solver)
   2: 0x834fa5     <>                               (cs_solver)
   3: 0x82fec7     <>                               (cs_solver)
   4: 0x6e2d1a     <>                               (cs_solver)
   5: 0x430677     <>                               (cs_solver)
   6: 0x431356     <>                               (cs_solver)
   7: 0x6d3b7c     <>                               (cs_solver)
   8: 0x45fdbe     <>                               (cs_solver)
   9: 0x438abb     <>                               (cs_solver)
  10: 0x43562d     <>                               (cs_solver)
  11: 0x413739     <>                               (cs_solver)
  12: 0x40f0d5     <>                               (cs_solver)
  13: 0x405e63     <>                               (cs_solver)
  14: 0x7f122bb9176d <__libc_start_main+0xed>         (libc.so.6)
  15: 0x405ea5     <>                               (cs_solver)
End of stack

