isl_scheduler.c: setup_lp: return isl_stat