restored vituals in solver.hpp