No longer calculate the situation that nothing is held, because it spends too much time
Add timer and improve output display in Solver class