+ cpu lim for every solver