Scheduling in crude oil refineries by Maren