Pareto Search vs Weighted Search in Multi-objective SBSE