MaxHS v1.0: Version used in 2013 MaxSat Evaluation