5 ms·

I confess I would expect a lot of those would be linear programming more than sat? Mixed integer would not surprise me.