Weighted Interval Scheduling Solver