priorities for spring.mod y 1 ... all y[*] have same priority z 2 ... y will be integral if all z are ! END priorities special_ordered_set_1 SOS1_1 10 9 ... name priority #vars 'z[1,1]' 3 'z[1,2]' 6 'z[1,3]' 9 'z[1,4]' 12 'z[1,5]' 18 'z[1,6]' 36 'z[1,7]' 52 'z[1,8]' 78 'z[1,9]' 156 SOS1_2 11 9 ... name priority #vars 'z[2,1]' 3 'z[2,2]' 6 'z[2,3]' 9 'z[2,4]' 12 'z[2,5]' 18 'z[2,6]' 36 'z[2,7]' 52 'z[2,8]' 78 'z[2,9]' 156 SOS1_3 12 9 ... name priority #vars 'z[3,1]' 3 'z[3,2]' 6 'z[3,3]' 9 'z[3,4]' 12 'z[3,5]' 18 'z[3,6]' 36 'z[3,7]' 52 'z[3,8]' 78 'z[3,9]' 156 SOS1_4 13 9 ... name priority #vars 'z[4,1]' 3 'z[4,2]' 6 'z[4,3]' 9 'z[4,4]' 12 'z[4,5]' 18 'z[4,6]' 36 'z[4,7]' 52 'z[4,8]' 78 'z[4,9]' 156 SOS1_5 14 9 ... name priority #vars 'z[5,1]' 3 'z[5,2]' 6 'z[5,3]' 9 'z[5,4]' 12 'z[5,5]' 18 'z[5,6]' 36 'z[5,7]' 52 'z[5,8]' 78 'z[5,9]' 156 SOS1_6 15 9 ... name priority #vars 'z[6,1]' 3 'z[6,2]' 6 'z[6,3]' 9 'z[6,4]' 12 'z[6,5]' 18 'z[6,6]' 36 'z[6,7]' 52 'z[6,8]' 78 'z[6,9]' 156 SOS1_7 16 9 ... name priority #vars 'z[7,1]' 3 'z[7,2]' 6 'z[7,3]' 9 'z[7,4]' 12 'z[7,5]' 18 'z[7,6]' 36 'z[7,7]' 52 'z[7,8]' 78 'z[7,9]' 156 SOS1_8 17 9 ... name priority #vars 'z[8,1]' 3 'z[8,2]' 6 'z[8,3]' 9 'z[8,4]' 12 'z[8,5]' 18 'z[8,6]' 36 'z[8,7]' 52 'z[8,8]' 78 'z[8,9]' 156 SOS1_9 18 9 ... name priority #vars 'z[9,1]' 3 'z[9,2]' 6 'z[9,3]' 9 'z[9,4]' 12 'z[9,5]' 18 'z[9,6]' 36 'z[9,7]' 52 'z[9,8]' 78 'z[9,9]' 156 SOS1_10 19 9 ... name priority #vars 'z[10,1]' 3 'z[10,2]' 6 'z[10,3]' 9 'z[10,4]' 12 'z[10,5]' 18 'z[10,6]' 36 'z[10,7]' 52 'z[10,8]' 78 'z[10,9]' 156 SOS1_11 20 9 ... name priority #vars 'z[11,1]' 3 'z[11,2]' 6 'z[11,3]' 9 'z[11,4]' 12 'z[11,5]' 18 'z[11,6]' 36 'z[11,7]' 52 'z[11,8]' 78 'z[11,9]' 156 SOS1_12 21 9 ... name priority #vars 'z[12,1]' 3 'z[12,2]' 6 'z[12,3]' 9 'z[12,4]' 12 'z[12,5]' 18 'z[12,6]' 36 'z[12,7]' 52 'z[12,8]' 78 'z[12,9]' 156 SOS1_13 22 9 ... name priority #vars 'z[13,1]' 3 'z[13,2]' 6 'z[13,3]' 9 'z[13,4]' 12 'z[13,5]' 18 'z[13,6]' 36 'z[13,7]' 52 'z[13,8]' 78 'z[13,9]' 156 SOS1_14 23 9 ... name priority #vars 'z[14,1]' 3 'z[14,2]' 6 'z[14,3]' 9 'z[14,4]' 12 'z[14,5]' 18 'z[14,6]' 36 'z[14,7]' 52 'z[14,8]' 78 'z[14,9]' 156 SOS1_15 24 9 ... name priority #vars 'z[15,1]' 3 'z[15,2]' 6 'z[15,3]' 9 'z[15,4]' 12 'z[15,5]' 18 'z[15,6]' 36 'z[15,7]' 52 'z[15,8]' 78 'z[15,9]' 156 SOS1_16 25 9 ... name priority #vars 'z[16,1]' 3 'z[16,2]' 6 'z[16,3]' 9 'z[16,4]' 12 'z[16,5]' 18 'z[16,6]' 36 'z[16,7]' 52 'z[16,8]' 78 'z[16,9]' 156 SOS1_17 26 9 ... name priority #vars 'z[17,1]' 3 'z[17,2]' 6 'z[17,3]' 9 'z[17,4]' 12 'z[17,5]' 18 'z[17,6]' 36 'z[17,7]' 52 'z[17,8]' 78 'z[17,9]' 156 SOS1_18 27 9 ... name priority #vars 'z[18,1]' 3 'z[18,2]' 6 'z[18,3]' 9 'z[18,4]' 12 'z[18,5]' 18 'z[18,6]' 36 'z[18,7]' 52 'z[18,8]' 78 'z[18,9]' 156 SOS1_19 28 9 ... name priority #vars 'z[19,1]' 3 'z[19,2]' 6 'z[19,3]' 9 'z[19,4]' 12 'z[19,5]' 18 'z[19,6]' 36 'z[19,7]' 52 'z[19,8]' 78 'z[19,9]' 156 SOS1_20 29 9 ... name priority #vars 'z[20,1]' 3 'z[20,2]' 6 'z[20,3]' 9 'z[20,4]' 12 'z[20,5]' 18 'z[20,6]' 36 'z[20,7]' 52 'z[20,8]' 78 'z[20,9]' 156 SOS1_21 30 9 ... name priority #vars 'z[21,1]' 3 'z[21,2]' 6 'z[21,3]' 9 'z[21,4]' 12 'z[21,5]' 18 'z[21,6]' 36 'z[21,7]' 52 'z[21,8]' 78 'z[21,9]' 156 SOS1_22 31 9 ... name priority #vars 'z[22,1]' 3 'z[22,2]' 6 'z[22,3]' 9 'z[22,4]' 12 'z[22,5]' 18 'z[22,6]' 36 'z[22,7]' 52 'z[22,8]' 78 'z[22,9]' 156 SOS1_23 32 9 ... name priority #vars 'z[23,1]' 3 'z[23,2]' 6 'z[23,3]' 9 'z[23,4]' 12 'z[23,5]' 18 'z[23,6]' 36 'z[23,7]' 52 'z[23,8]' 78 'z[23,9]' 156 SOS1_24 33 9 ... name priority #vars 'z[24,1]' 3 'z[24,2]' 6 'z[24,3]' 9 'z[24,4]' 12 'z[24,5]' 18 'z[24,6]' 36 'z[24,7]' 52 'z[24,8]' 78 'z[24,9]' 156 SOS1_25 34 9 ... name priority #vars 'z[25,1]' 3 'z[25,2]' 6 'z[25,3]' 9 'z[25,4]' 12 'z[25,5]' 18 'z[25,6]' 36 'z[25,7]' 52 'z[25,8]' 78 'z[25,9]' 156 SOS1_26 35 9 ... name priority #vars 'z[26,1]' 3 'z[26,2]' 6 'z[26,3]' 9 'z[26,4]' 12 'z[26,5]' 18 'z[26,6]' 36 'z[26,7]' 52 'z[26,8]' 78 'z[26,9]' 156 SOS1_27 36 9 ... name priority #vars 'z[27,1]' 3 'z[27,2]' 6 'z[27,3]' 9 'z[27,4]' 12 'z[27,5]' 18 'z[27,6]' 36 'z[27,7]' 52 'z[27,8]' 78 'z[27,9]' 156 SOS1_28 37 9 ... name priority #vars 'z[28,1]' 3 'z[28,2]' 6 'z[28,3]' 9 'z[28,4]' 12 'z[28,5]' 18 'z[28,6]' 36 'z[28,7]' 52 'z[28,8]' 78 'z[28,9]' 156 SOS1_29 38 9 ... name priority #vars 'z[29,1]' 3 'z[29,2]' 6 'z[29,3]' 9 'z[29,4]' 12 'z[29,5]' 18 'z[29,6]' 36 'z[29,7]' 52 'z[29,8]' 78 'z[29,9]' 156 SOS1_30 39 9 ... name priority #vars 'z[30,1]' 3 'z[30,2]' 6 'z[30,3]' 9 'z[30,4]' 12 'z[30,5]' 18 'z[30,6]' 36 'z[30,7]' 52 'z[30,8]' 78 'z[30,9]' 156 SOS1_31 40 9 ... name priority #vars 'z[31,1]' 3 'z[31,2]' 6 'z[31,3]' 9 'z[31,4]' 12 'z[31,5]' 18 'z[31,6]' 36 'z[31,7]' 52 'z[31,8]' 78 'z[31,9]' 156 SOS1_32 41 9 ... name priority #vars 'z[32,1]' 3 'z[32,2]' 6 'z[32,3]' 9 'z[32,4]' 12 'z[32,5]' 18 'z[32,6]' 36 'z[32,7]' 52 'z[32,8]' 78 'z[32,9]' 156 SOS1_33 42 9 ... name priority #vars 'z[33,1]' 3 'z[33,2]' 6 'z[33,3]' 9 'z[33,4]' 12 'z[33,5]' 18 'z[33,6]' 36 'z[33,7]' 52 'z[33,8]' 78 'z[33,9]' 156 SOS1_34 43 9 ... name priority #vars 'z[34,1]' 3 'z[34,2]' 6 'z[34,3]' 9 'z[34,4]' 12 'z[34,5]' 18 'z[34,6]' 36 'z[34,7]' 52 'z[34,8]' 78 'z[34,9]' 156 SOS1_35 44 9 ... name priority #vars 'z[35,1]' 3 'z[35,2]' 6 'z[35,3]' 9 'z[35,4]' 12 'z[35,5]' 18 'z[35,6]' 36 'z[35,7]' 52 'z[35,8]' 78 'z[35,9]' 156 SOS1_36 45 9 ... name priority #vars 'z[36,1]' 3 'z[36,2]' 6 'z[36,3]' 9 'z[36,4]' 12 'z[36,5]' 18 'z[36,6]' 36 'z[36,7]' 52 'z[36,8]' 78 'z[36,9]' 156 SOS1_37 46 9 ... name priority #vars 'z[37,1]' 3 'z[37,2]' 6 'z[37,3]' 9 'z[37,4]' 12 'z[37,5]' 18 'z[37,6]' 36 'z[37,7]' 52 'z[37,8]' 78 'z[37,9]' 156 SOS1_38 47 9 ... name priority #vars 'z[38,1]' 3 'z[38,2]' 6 'z[38,3]' 9 'z[38,4]' 12 'z[38,5]' 18 'z[38,6]' 36 'z[38,7]' 52 'z[38,8]' 78 'z[38,9]' 156 SOS1_39 48 9 ... name priority #vars 'z[39,1]' 3 'z[39,2]' 6 'z[39,3]' 9 'z[39,4]' 12 'z[39,5]' 18 'z[39,6]' 36 'z[39,7]' 52 'z[39,8]' 78 'z[39,9]' 156 SOS1_40 49 9 ... name priority #vars 'z[40,1]' 3 'z[40,2]' 6 'z[40,3]' 9 'z[40,4]' 12 'z[40,5]' 18 'z[40,6]' 36 'z[40,7]' 52 'z[40,8]' 78 'z[40,9]' 156 SOS1_41 50 9 ... name priority #vars 'z[41,1]' 3 'z[41,2]' 6 'z[41,3]' 9 'z[41,4]' 12 'z[41,5]' 18 'z[41,6]' 36 'z[41,7]' 52 'z[41,8]' 78 'z[41,9]' 156 SOS1_42 51 9 ... name priority #vars 'z[42,1]' 3 'z[42,2]' 6 'z[42,3]' 9 'z[42,4]' 12 'z[42,5]' 18 'z[42,6]' 36 'z[42,7]' 52 'z[42,8]' 78 'z[42,9]' 156 SOS1_43 52 9 ... name priority #vars 'z[43,1]' 3 'z[43,2]' 6 'z[43,3]' 9 'z[43,4]' 12 'z[43,5]' 18 'z[43,6]' 36 'z[43,7]' 52 'z[43,8]' 78 'z[43,9]' 156 SOS1_44 53 9 ... name priority #vars 'z[44,1]' 3 'z[44,2]' 6 'z[44,3]' 9 'z[44,4]' 12 'z[44,5]' 18 'z[44,6]' 36 'z[44,7]' 52 'z[44,8]' 78 'z[44,9]' 156 SOS1_45 54 9 ... name priority #vars 'z[45,1]' 3 'z[45,2]' 6 'z[45,3]' 9 'z[45,4]' 12 'z[45,5]' 18 'z[45,6]' 36 'z[45,7]' 52 'z[45,8]' 78 'z[45,9]' 156 SOS1_46 55 9 ... name priority #vars 'z[46,1]' 3 'z[46,2]' 6 'z[46,3]' 9 'z[46,4]' 12 'z[46,5]' 18 'z[46,6]' 36 'z[46,7]' 52 'z[46,8]' 78 'z[46,9]' 156 SOS1_47 56 9 ... name priority #vars 'z[47,1]' 3 'z[47,2]' 6 'z[47,3]' 9 'z[47,4]' 12 'z[47,5]' 18 'z[47,6]' 36 'z[47,7]' 52 'z[47,8]' 78 'z[47,9]' 156 SOS1_48 57 9 ... name priority #vars 'z[48,1]' 3 'z[48,2]' 6 'z[48,3]' 9 'z[48,4]' 12 'z[48,5]' 18 'z[48,6]' 36 'z[48,7]' 52 'z[48,8]' 78 'z[48,9]' 156 END special_ordered_set_1