fix bugs in solver host manager.