solver_info.h some