Usage: solver_cmd levelnumber