rAKA/src/solver/solver_vector_distributed.cc

bugfixes/broken_dumper_…8a8cbaa538176de9d810baf…