An Application of Constraint Programming to Superblock Instruction Scheduling