MaxHS v1.5: Version used in 2014 MaxSat Evaluation