build speedup
regenerated
regenerated
added clang
added config for solver threads