Solver hangs

I don't see this that often: a solver that completely hangs. 

It keeps using CPU cycles.

Without knowing the solver's internals, my (brave) guess is an infinite loop. I would argue that in production code, loops should always be protected (simply by an iteration count, or maybe a timer).