getRandomVector in ASSolverConf bug fix