Add vertex hashing, NUM_SOLVERS env