Mpi worker master fixups

[ebhardjan]

Let me know what you guys think, I pretty much rewrote the whole dpll solver...