Add progressbar for solver.
Handle EINTR while reading a user's input.