Return solver final state.