\ No. vars=100 No. cons=300 Density= 0.05 Range of costs= 1 to 10
\ Name of file is pk13w.lp
Maximize
obj:    7 x1 +  3 x2 +  8 x3 +  3 x4 + 10 x5 +  6 x6 +  9 x7 + 10 x8 +  4 x9 +  5 x10
 +  7 x11 +  3 x12 +  2 x13 +  7 x14 +  7 x15 +  9 x16 +  1 x17 +  9 x18 +  6 x19 + 10 x20
 +  9 x21 +  2 x22 +  4 x23 +  1 x24 +  4 x25 +  8 x26 +  5 x27 +  8 x28 +  8 x29 +  6 x30
 + 10 x31 +  4 x32 +  8 x33 +  7 x34 +  7 x35 +  7 x36 +  2 x37 +  8 x38 +  3 x39 +  5 x40
 +  3 x41 +  3 x42 +  7 x43 +  6 x44 +  5 x45 +  9 x46 +  4 x47 +  1 x48 +  9 x49 +  2 x50
 +  1 x51 +  9 x52 +  4 x53 +  1 x54 +  7 x55 +  4 x56 +  6 x57 +  6 x58 +  5 x59 +  9 x60
 +  2 x61 +  7 x62 +  8 x63 +  5 x64 +  6 x65 +  3 x66 +  5 x67 +  8 x68 +  2 x69 + 10 x70
 +  8 x71 +  7 x72 +  6 x73 +  4 x74 + 10 x75 + 10 x76 +  2 x77 +  3 x78 +  1 x79 +  4 x80
 +  2 x81 +  6 x82 +  7 x83 +  2 x84 +  5 x85 +  3 x86 +  9 x87 +  2 x88 +  7 x89 +  8 x90
 +  5 x91 +  3 x92 +  2 x93 +  8 x94 +  9 x95 +  4 x96 +  5 x97 +  4 x98 +  7 x99 +  3 x100
Subject To
c1:   x2 + x39 + x61 + x69 + x75 + x97  <= 1
c2:   x21 + x23 + x64 + x65 + x72 + x99  <= 1
c3:   x43 + x63  <= 1
c4:   x30 + x87  <= 1
c5:   x26 + x27 + x31 + x54 + x73 + x85  <= 1
c6:   x17 + x42 + x44  <= 1
c7:   x32 + x33 + x47 + x49 + x66  <= 1
c8:   x5 + x17 + x42 + x49 + x59 + x66 + x83 + x92  <= 1
c9:   x4 + x14 + x42 + x67 + x86  <= 1
c10:   x3 + x23 + x69 + x86  <= 1
c11:   x4 + x5 + x7 + x35 + x85  <= 1
c12:   x41 + x74 + x89  <= 1
c13:   x32 + x56 + x80  <= 1
c14:   x21 + x52 + x63 + x85 + x93  <= 1
c15:   x3 + x9 + x13 + x46 + x57 + x70 + x72 + x86 + x93  <= 1
c16:   x9 + x15 + x21 + x79  <= 1
c17:   x44 + x74 + x93 + x96  <= 1
c18:   x9 + x15 + x50 + x56 + x79  <= 1
c19:   x21 + x38 + x56 + x93  <= 1
c20:   x67 + x79 + x95  <= 1
c21:   x38 + x99  <= 1
c22:   x7 + x49 + x54  <= 1
c23:   x37 + x66 + x71 + x76 + x83  <= 1
c24:   x12 + x42 + x96 + x97  <= 1
c25:   x26 + x30 + x50 + x66 + x67 + x69  <= 1
c26:   x5 + x75 + x91  <= 1
c27:   x33 + x68 + x77 + x85 + x95  <= 1
c28:   x12 + x20 + x62 + x76 + x87 + x88  <= 1
c29:   x11 + x38  <= 1
c30:   x29 + x50 + x59 + x62  <= 1
c31:   x2 + x6 + x17 + x23 + x47 + x48 + x85  <= 1
c32:   x18 + x32 + x43 + x50 + x69 + x71  <= 1
c33:   x4 + x39 + x60 + x78  <= 1
c34:   x14 + x34 + x61 + x97  <= 1
c35:   x15 + x83  <= 1
c36:   x5 + x29 + x33 + x40 + x56 + x82  <= 1
c37:   x9 + x13 + x16 + x21  <= 1
c38:   x9 + x19 + x31 + x41 + x60 + x67 + x81 + x86 + x87  <= 1
c39:   x13 + x77 + x78  <= 1
c40:   x30 + x38 + x78  <= 1
c41:   x14 + x22 + x70 + x78 + x82 + x95  <= 1
c42:   x11 + x14 + x33 + x39 + x45 + x62 + x66 + x70 + x98  <= 1
c43:   x12 + x17 + x20 + x30 + x50 + x62 + x88  <= 1
c44:   x11 + x38 + x40 + x54  <= 1
c45:   x3 + x6 + x16 + x55 + x57 + x84  <= 1
c46:   x19 + x40  <= 1
c47:   x11 + x19 + x37  <= 1
c48:   x22 + x25 + x73 + x84 + x90 + x97  <= 1
c49:   x23 + x27 + x30 + x80 + x82 + x96  <= 1
c50:   x4 + x23 + x28 + x33 + x43 + x56 + x77 + x88 + x99  <= 1
c51:   x44 + x65 + x72  <= 1
c52:   x13 + x14 + x33 + x44 + x70 + x86  <= 1
c53:   x7 + x8 + x12 + x25 + x85 + x91  <= 1
c54:   x6  <= 1
c55:   x75 + x98  <= 1
c56:   x41 + x46 + x91  <= 1
c57:   x1 + x4 + x20 + x47 + x76 + x79 + x88 + x99  <= 1
c58:   x34 + x59 + x61  <= 1
c59:   x5 + x49 + x61 + x79  <= 1
c60:   x13 + x48 + x71 + x83 + x95 + x96 + x98  <= 1
c61:   x36  <= 1
c62:   x72  <= 1
c63:   x9 + x32 + x39 + x71 + x77 + x81 + x85 + x88 + x91 + x92  <= 1
c64:   x17 + x65 + x83 + x93  <= 1
c65:   x4 + x27 + x33 + x53 + x88  <= 1
c66:   x37 + x54 + x91  <= 1
c67:   x53 + x100  <= 1
c68:   x30 + x49 + x51 + x53 + x61 + x90 + x93  <= 1
c69:   x1 + x31 + x56  <= 1
c71:   x24 + x28 + x69 + x70 + x87  <= 1
c72:   x55 + x82  <= 1
c73:   x22 + x28 + x31 + x62 + x85  <= 1
c74:   x16 + x24 + x25 + x43 + x49 + x64 + x79  <= 1
c75:   x4 + x7 + x23 + x41 + x78 + x100  <= 1
c76:   x11 + x25 + x73 + x77 + x92  <= 1
c77:   x16 + x22 + x42 + x43  <= 1
c78:   x7 + x83 + x98 + x100  <= 1
c79:   x8 + x25  <= 1
c80:   x15 + x53 + x75  <= 1
c81:   x81 + x88 + x89  <= 1
c82:   x10 + x54 + x84 + x95  <= 1
c83:   x22 + x65 + x79 + x95  <= 1
c84:   x18 + x29 + x43 + x54 + x67 + x82  <= 1
c85:   x2 + x28 + x34 + x62 + x76  <= 1
c86:   x52 + x70 + x77 + x81  <= 1
c87:   x4 + x14 + x22 + x50 + x93 + x96  <= 1
c88:   x15 + x54  <= 1
c89:   x4 + x17 + x68 + x82 + x96 + x98  <= 1
c90:   x22 + x34 + x58 + x63 + x66 + x90 + x93  <= 1
c91:   x25 + x27 + x57 + x72 + x87 + x90  <= 1
c92:   x29 + x35 + x40 + x60 + x66 + x82  <= 1
c93:   x17 + x33 + x37 + x62 + x89  <= 1
c94:   x35 + x40 + x69 + x92  <= 1
c95:   x37 + x49 + x58 + x66 + x77 + x80 + x93  <= 1
c96:   x10  <= 1
c97:   x16 + x42 + x55 + x59 + x63 + x69 + x74  <= 1
c98:   x5 + x9 + x16 + x43 + x51 + x62 + x67 + x81  <= 1
c99:   x9 + x43 + x44 + x62 + x82 + x83  <= 1
c100:   x4 + x62 + x74  <= 1
c101:   x18 + x22 + x30 + x34 + x56 + x69  <= 1
c102:   x32 + x34 + x35 + x93  <= 1
c103:   x18 + x42 + x46 + x61 + x73 + x74 + x89  <= 1
c105:   x1 + x16 + x53 + x56 + x69 + x78 + x86 + x96  <= 1
c107:   x46 + x52 + x62 + x69  <= 1
c108:   x1 + x12 + x37 + x66 + x68 + x76 + x89 + x90 + x99  <= 1
c109:   x17 + x42 + x59 + x66  <= 1
c110:   x35 + x36 + x56 + x71 + x100  <= 1
c111:   x21 + x28 + x31 + x55 + x70 + x79  <= 1
c112:   x20 + x52  <= 1
c113:   x19 + x43 + x45 + x65 + x73  <= 1
c114:   x7 + x13 + x36 + x43 + x77 + x82 + x83  <= 1
c115:   x15 + x38 + x41 + x63 + x80 + x85  <= 1
c116:   x3 + x21 + x26 + x39 + x42 + x83 + x98  <= 1
c117:   x1 + x8 + x27 + x42 + x63 + x67  <= 1
c118:   x31 + x44 + x63 + x72 + x94  <= 1
c119:   x36 + x40 + x41  <= 1
c120:   x38 + x43 + x54 + x56 + x67  <= 1
c121:   x19 + x39 + x50 + x75  <= 1
c122:   x19 + x31  <= 1
c123:   x34 + x55  <= 1
c124:   x33 + x36 + x43 + x47 + x90 + x95  <= 1
c125:   x48 + x50 + x74 + x79 + x88  <= 1
c126:   x25 + x27 + x30 + x43 + x49 + x72 + x83 + x97  <= 1
c127:   x2 + x14 + x25 + x27 + x41 + x58 + x67 + x96 + x100  <= 1
c128:   x28 + x32 + x72 + x84 + x85 + x88  <= 1
c129:   x4 + x29 + x39 + x72 + x77 + x82  <= 1
c130:   x4 + x11 + x54 + x61 + x68 + x99  <= 1
c131:   x18 + x37 + x97  <= 1
c132:   x6 + x8 + x12 + x25 + x44 + x51  <= 1
c133:   x9 + x31 + x40 + x61 + x68  <= 1
c134:   x38  <= 1
c135:   x3 + x21 + x23 + x25 + x72 + x93  <= 1
c136:   x17 + x49 + x56 + x58  <= 1
c137:   x25 + x63 + x94 + x95  <= 1
c138:   x29 + x72  <= 1
c139:   x36 + x53 + x54  <= 1
c140:   x5 + x12 + x42 + x46 + x53 + x63 + x70 + x73  <= 1
c141:   x9 + x11 + x22  <= 1
c142:   x12 + x13 + x94 + x98  <= 1
c143:   x42 + x53 + x68 + x72 + x90 + x100  <= 1
c144:   x13 + x27 + x52 + x68 + x70 + x90 + x96  <= 1
c145:   x14 + x46 + x47 + x50 + x78 + x81  <= 1
c146:   x2 + x6 + x45 + x57  <= 1
c147:   x28 + x41 + x90  <= 1
c148:   x14 + x18 + x78 + x82 + x86 + x96  <= 1
c149:   x28 + x75 + x96  <= 1
c150:   x8 + x37 + x53 + x85  <= 1
c151:   x1 + x19 + x26 + x27 + x29 + x83 + x93  <= 1
c152:   x33  <= 1
c153:   x42 + x48 + x51 + x78 + x88  <= 1
c154:   x22 + x27 + x62 + x72 + x94 + x96  <= 1
c155:   x27 + x33 + x36  <= 1
c156:   x48 + x98  <= 1
c157:   x31 + x32 + x48 + x63  <= 1
c158:   x20 + x48 + x61 + x79 + x90  <= 1
c159:   x20 + x27 + x54  <= 1
c160:   x55  <= 1
c161:   x30 + x42 + x77 + x81  <= 1
c162:   x21 + x24 + x28 + x32 + x48 + x65 + x69  <= 1
c163:   x44 + x51 + x58 + x92  <= 1
c164:   x9 + x73  <= 1
c165:   x12 + x30 + x38 + x47 + x59 + x68  <= 1
c166:   x15 + x22 + x23 + x39 + x40 + x43 + x48 + x70 + x83 + x96
 + x100  <= 1
c167:   x7 + x18 + x25 + x55 + x65 + x84  <= 1
c168:   x20 + x45 + x49 + x58 + x59  <= 1
c169:   x3 + x7 + x39 + x71  <= 1
c170:   x29 + x53 + x61 + x69 + x83 + x100  <= 1
c171:   x3  <= 1
c172:   x12 + x65 + x80 + x90 + x91  <= 1
c173:   x5 + x18 + x20 + x23 + x71 + x75 + x97  <= 1
c174:   x4 + x26 + x34 + x42 + x75 + x81 + x90 + x99  <= 1
c175:   x2 + x6 + x44 + x48 + x52 + x57 + x59 + x61 + x74  <= 1
c176:   x11 + x13 + x28 + x32 + x62 + x71  <= 1
c177:   x31 + x54  <= 1
c178:   x6 + x16 + x36 + x55 + x91  <= 1
c179:   x3 + x13 + x17 + x28 + x39 + x58 + x85 + x91  <= 1
c180:   x5 + x16 + x22 + x38 + x75 + x77 + x91 + x95 + x98  <= 1
c181:   x2 + x73 + x95  <= 1
c182:   x2 + x29 + x41 + x53 + x57 + x69 + x78 + x85  <= 1
c183:   x6 + x42 + x50 + x94  <= 1
c184:   x5 + x44 + x47 + x54 + x58 + x64  <= 1
c185:   x30 + x32 + x46  <= 1
c186:   x56 + x67 + x84  <= 1
c187:   x3 + x5 + x36 + x56 + x86  <= 1
c188:   x1 + x90 + x95 + x96  <= 1
c189:   x71 + x73 + x81 + x100  <= 1
c190:   x36 + x49 + x63  <= 1
c191:   x71 + x83  <= 1
c192:   x4 + x17 + x21 + x30 + x79 + x82 + x84  <= 1
c193:   x15 + x18 + x87  <= 1
c194:   x21 + x36 + x50 + x58 + x91  <= 1
c195:   x3 + x24 + x62 + x88 + x89  <= 1
c196:   x24 + x30 + x57 + x62 + x63 + x65 + x89  <= 1
c197:   x6 + x15 + x39 + x51 + x66 + x67 + x80  <= 1
c198:   x40 + x66 + x71  <= 1
c199:   x15 + x39 + x54 + x66 + x80 + x88 + x91  <= 1
c200:   x4 + x33 + x43 + x45 + x55  <= 1
c201:   x48  <= 1
c202:   x9 + x33 + x46 + x49 + x50 + x52 + x64 + x68 + x72 + x78
 + x93 + x95  <= 1
c203:   x13 + x49 + x85  <= 1
c205:   x23 + x42 + x47 + x55 + x61  <= 1
c206:   x1 + x23 + x65 + x79  <= 1
c207:   x24 + x26 + x37 + x43 + x61  <= 1
c208:   x26 + x30 + x39 + x49 + x97  <= 1
c209:   x21 + x25 + x78 + x90  <= 1
c210:   x12 + x27 + x50 + x54 + x80 + x97  <= 1
c211:   x19 + x35 + x83 + x90  <= 1
c212:   x3 + x31 + x32 + x58 + x77 + x80 + x82 + x92  <= 1
c213:   x48 + x56 + x60 + x64 + x70 + x86 + x92  <= 1
c214:   x8 + x42 + x43 + x54 + x55 + x81 + x82 + x93  <= 1
c215:   x26  <= 1
c216:   x2 + x29 + x33 + x68 + x71 + x72 + x93  <= 1
c217:   x53  <= 1
c218:   x39 + x45 + x53 + x78  <= 1
c219:   x34 + x43 + x55 + x56 + x65 + x99  <= 1
c220:   x11 + x37 + x38 + x44 + x65 + x97  <= 1
c221:   x15 + x17 + x25 + x30 + x62 + x78 + x87 + x89 + x93  <= 1
c222:   x10 + x37 + x39 + x74  <= 1
c223:   x35 + x53 + x63 + x81  <= 1
c224:   x5 + x53 + x62 + x86 + x100  <= 1
c225:   x14 + x25 + x61 + x77 + x87 + x99  <= 1
c226:   x2 + x3 + x37 + x68 + x85  <= 1
c227:   x30 + x47 + x60 + x70 + x76 + x96  <= 1
c228:   x15 + x36 + x69 + x99  <= 1
c229:   x63 + x81  <= 1
c230:   x7 + x73 + x79 + x83 + x97  <= 1
c231:   x3 + x6 + x14 + x39 + x91  <= 1
c232:   x4 + x6 + x28 + x42 + x47 + x50 + x92  <= 1
c233:   x35 + x37 + x47 + x51 + x70  <= 1
c234:   x57 + x59 + x69 + x88 + x93 + x100  <= 1
c235:   x53 + x67 + x82  <= 1
c236:   x2 + x7 + x34 + x39 + x98  <= 1
c237:   x32 + x78 + x79 + x84 + x92  <= 1
c238:   x37 + x41 + x45 + x53 + x63 + x66 + x85 + x86  <= 1
c239:   x23 + x85 + x91 + x99  <= 1
c240:   x14 + x16 + x17  <= 1
c241:   x41 + x58 + x64 + x66 + x77 + x82  <= 1
c242:   x29 + x37 + x60 + x98  <= 1
c243:   x11 + x45 + x57 + x61 + x68  <= 1
c244:   x28 + x43  <= 1
c245:   x3 + x7 + x40 + x93  <= 1
c246:   x27 + x33 + x88  <= 1
c247:   x1 + x17 + x51 + x68 + x83 + x85  <= 1
c248:   x14 + x94  <= 1
c249:   x24 + x56 + x81 + x82 + x92  <= 1
c250:   x23 + x24 + x26 + x68 + x73 + x83  <= 1
c251:   x9 + x17 + x18 + x27 + x72  <= 1
c252:   x8 + x49 + x55 + x68  <= 1
c253:   x9 + x14 + x39 + x61 + x66 + x71 + x84 + x87  <= 1
c254:   x34 + x78 + x81 + x94 + x95 + x98  <= 1
c255:   x3 + x71  <= 1
c256:   x9 + x49 + x57 + x66 + x83 + x91  <= 1
c257:   x2 + x7 + x12 + x25 + x34 + x64 + x78  <= 1
c258:   x1 + x46 + x49 + x56 + x61 + x78 + x92  <= 1
c259:   x1 + x4 + x8 + x38 + x66 + x76 + x79  <= 1
c260:   x23 + x65 + x75  <= 1
c261:   x17 + x33 + x54 + x61 + x71 + x76 + x89  <= 1
c262:   x1 + x17 + x18 + x26 + x43 + x59 + x80 + x92  <= 1
c263:   x32 + x51 + x52 + x63 + x64 + x82 + x86 + x89 + x96  <= 1
c264:   x28 + x58  <= 1
c265:   x36  <= 1
c266:   x55 + x90  <= 1
c267:   x7 + x38 + x64 + x68 + x86  <= 1
c268:   x9 + x17 + x26 + x31 + x50 + x83 + x85  <= 1
c269:   x23 + x35 + x36 + x66 + x76 + x87 + x98  <= 1
c270:   x6 + x14 + x23 + x24 + x26 + x34 + x42 + x81  <= 1
c271:   x16 + x17 + x25 + x66 + x88  <= 1
c272:   x3 + x26 + x48 + x83 + x89  <= 1
c273:   x4 + x12 + x36 + x52 + x57 + x66 + x73  <= 1
c274:   x5 + x29 + x46 + x47 + x62 + x69 + x78 + x90  <= 1
c275:   x5 + x7 + x34 + x67 + x87  <= 1
c276:   x5 + x8 + x69  <= 1
c277:   x16 + x62 + x84 + x97  <= 1
c278:   x28 + x77 + x92  <= 1
c279:   x17 + x68  <= 1
c280:   x8 + x30 + x45 + x89  <= 1
c281:   x14 + x17 + x33 + x47 + x79  <= 1
c282:   x43 + x59 + x64 + x94  <= 1
c283:   x15 + x54 + x84 + x99  <= 1
c284:   x42 + x55  <= 1
c285:   x54 + x57 + x98  <= 1
c286:   x40 + x68 + x73  <= 1
c287:   x12 + x30 + x59 + x63  <= 1
c288:   x28 + x57 + x72  <= 1
c289:   x34 + x60  <= 1
c290:   x12 + x24 + x50 + x100  <= 1
c291:   x6 + x8 + x15 + x19 + x34 + x50 + x78 + x86  <= 1
c292:   x1 + x14 + x22 + x25 + x34 + x56 + x73 + x77 + x83  <= 1
c293:   x18 + x23 + x32 + x50 + x51 + x79 + x96  <= 1
c294:   x1 + x20 + x30 + x44 + x65 + x88 + x97  <= 1
c295:   x44 + x60 + x62 + x92  <= 1
c296:   x4 + x7 + x13 + x19 + x21 + x25 + x69 + x70 + x86  <= 1
c297:   x26 + x29 + x48 + x54 + x96  <= 1
c298:   x26 + x67 + x69  <= 1
c299:   x6 + x10 + x56 + x61 + x72 + x84  <= 1
c300:   x2 + x36 + x62 + x67 + x71 + x77  <= 1
INTEGERS
 x1
 x2
 x3
 x4
 x5
 x6
 x7
 x8
 x9
 x10
 x11
 x12
 x13
 x14
 x15
 x16
 x17
 x18
 x19
 x20
 x21
 x22
 x23
 x24
 x25
 x26
 x27
 x28
 x29
 x30
 x31
 x32
 x33
 x34
 x35
 x36
 x37
 x38
 x39
 x40
 x41
 x42
 x43
 x44
 x45
 x46
 x47
 x48
 x49
 x50
 x51
 x52
 x53
 x54
 x55
 x56
 x57
 x58
 x59
 x60
 x61
 x62
 x63
 x64
 x65
 x66
 x67
 x68
 x69
 x70
 x71
 x72
 x73
 x74
 x75
 x76
 x77
 x78
 x79
 x80
 x81
 x82
 x83
 x84
 x85
 x86
 x87
 x88
 x89
 x90
 x91
 x92
 x93
 x94
 x95
 x96
 x97
 x98
 x99
 x100
End