fix bug in ThreadSolver
partially fix bug in VF.abs => cstr
fix bug in restoring solution
Merge branch 'feature-bugs' into develop