Adds status attribute to ISolver and implement them in ClaspSolver