remove ClaspSolver implementation using multithreading
some further fixes in ClaspSolver