rAKA/src/solver/solver_vector_distributed.cc

bugfixes/broken_dumper_…ba6837e25b9bbad15846259…