add exact map solver function, get solver status