rAKA/src/model/common/solver_callback.cc

bugfixes/broken_dumper_…f05cce9ba8ca2cbca75c615…