An efficient distributed randomized solver with application to large dense linear systems