(Slot13_State =?= "Claimed") + \ (Slot14_State =?= "Claimed") + \ (Slot15_State =?= "Claimed") + \ - (Slot16_State =?= "Claimed") + (Slot16_State =?= "Claimed") + \ + (Slot17_State =?= "Claimed") + \ + (Slot18_State =?= "Claimed") + \ + (Slot19_State =?= "Claimed") + \ + (Slot20_State =?= "Claimed") + \ + (Slot21_State =?= "Claimed") + \ + (Slot22_State =?= "Claimed") + \ + (Slot23_State =?= "Claimed") + \ + (Slot24_State =?= "Claimed") + \ + (Slot25_State =?= "Claimed") + \ + (Slot26_State =?= "Claimed") + \ + (Slot27_State =?= "Claimed") + \ + (Slot28_State =?= "Claimed") + \ + (Slot29_State =?= "Claimed") + \ + (Slot30_State =?= "Claimed") + \ + (Slot31_State =?= "Claimed") + \ + (Slot32_State =?= "Claimed") + \ + (Slot33_State =?= "Claimed") # Single-core jobs must run on single-core slots START_SINGLE_CORE_JOB = \
