Miscellaneous tweaks to solver config and constraint weighting.