made solver interruptible