solver performance optimizations