maximize objective: + 714x1 + 540x2 + 915x3 + 444x4 + 528x5 + 954x6 + 791x7 + 858x8 + 350x9 + 366x10 + 392x11 + 1060x12 + 1074x13 + 1109x14 + 936x15 + 448x16 + 515x17 + 447x18 + 704x19 + 650x20 + 414x21 + 535x22 + 417x23 + 1019x24 + 1192x25 + 569x26 + 733x27 + 792x28 + 784x29 + 1140x30 + 820x31 + 852x32 + 630x33 + 634x34 + 759x35 + 184x36 + 638x37 + 933x38 + 781x39 + 901x40 + 983x41 + 1160x42 + 483x43 + 859x44 + 616x45 + 869x46 + 970x47 + 628x48 + 651x49 + 704x50 + 594x51 + 808x52 + 670x53 + 815x54 + 531x55 + 551x56 + 1069x57 + 766x58 + 489x59 + 940x60 + 942x61 + 446x62 + 977x63 + 846x64 + 767x65 + 704x66 + 770x67 + 664x68 + 971x69 + 707x70 + 953x71 + 1048x72 + 559x73 + 546x74 + 632x75 + 1038x76 + 978x77 + 1015x78 + 613x79 + 1009x80 + 463x81 + 1119x82 + 676x83 + 954x84 + 1012x85 + 596x86 + 967x87 + 599x88 + 629x89 + 753x90 + 892x91 + 515x92 + 541x93 + 958x94 + 1021x95 + 779x96 + 953x97 + 662x98 + 911x99 + 847x100 + 888x101 + 834x102 + 547x103 + 1026x104 + 715x105 + 745x106 + 762x107 + 638x108 + 546x109 + 741x110 + 941x111 + 1054x112 + 686x113 + 1133x114 + 809x115 + 756x116 + 886x117 + 492x118 + 1115x119 + 870x120 + 667x121 + 809x122 + 681x123 + 704x124 + 966x125 + 913x126 + 803x127 + 788x128 + 1138x129 + 691x130 + 1000x131 + 762x132 + 883x133 + 494x134 + 672x135 + 852x136 + 982x137 + 318x138 + 845x139 + 1111x140 + 1051x141 + 528x142 + 1093x143 + 539x144 + 377x145 + 887x146 + 632x147 + 679x148 + 830x149 + 885x150 + 637x151 + 998x152 + 885x153 + 790x154 + 711x155 + 1193x156 + 563x157 + 340x158 + 655x159 + 773x160 + 962x161 + 505x162 + 1126x163 + 361x164 + 509x165 + 533x166 + 703x167 + 447x168 + 665x169 + 929x170 + 1189x171 + 415x172 + 655x173 + 579x174 + 888x175 + 765x176 + 863x177 + 636x178 + 1016x179 + 729x180 + 958x181 + 664x182 + 754x183 + 574x184 + 766x185 + 877x186 + 1134x187 + 642x188 + 627x189 + 725x190 + 710x191 + 669x192 + 365x193 + 605x194 + 685x195 + 866x196 + 679x197 + 550x198 + 811x199 + 868x200 + 415x201 + 824x202 + 719x203 + 903x204 + 776x205 + 1077x206 + 686x207 + 271x208 + 792x209 + 763x210 + 925x211 + 716x212 + 549x213 + 1075x214 + 559x215 + 875x216 + 926x217 + 907x218 + 705x219 + 952x220 + 912x221 + 835x222 + 773x223 + 1018x224 + 959x225 + 751x226 + 944x227 + 1090x228 + 425x229 + 255x230 + 761x231 + 806x232 + 278x233 + 680x234 + 678x235 + 1033x236 + 1139x237 + 531x238 + 955x239 + 807x240 + 562x241 + 383x242 + 620x243 + 965x244 + 966x245 + 1102x246 + 469x247 + 709x248 + 695x249 + 940x250 subject to constr1: + 359x1 + 127x2 + 398x3 + 495x4 + 201x5 + 863x6 + 83x7 + 742x8 + 59x9 + 41x10 + 140x11 + 809x12 + 860x13 + 706x14 + 6x15 + 3x16 + 293x17 + 95x18 + 368x19 + 268x20 + 34x21 + 553x22 + 256x23 + 464x24 + 344x25 + 262x26 + 325x27 + 507x28 + 330x29 + 521x30 + 888x31 + 396x32 + 564x33 + 20x34 + 810x35 + 52x36 + 124x37 + 563x38 + 604x39 + 317x40 + 604x41 + 720x42 + 232x43 + 698x44 + 312x45 + 957x46 + 483x47 + 627x48 + 327x49 + 190x50 + 191x51 + 557x52 + 452x53 + 770x54 + 562x55 + 531x56 + 849x57 + 918x58 + 32x59 + 703x60 + 792x61 + 80x62 + 449x63 + 950x64 + 794x65 + 763x66 + 2x67 + 495x68 + 131x69 + 15x70 + 12x71 + 554x72 + 140x73 + 182x74 + 687x75 + 104x76 + 886x77 + 559x78 + 37x79 + 478x80 + 518x81 + 978x82 + 206x83 + 641x84 + 150x85 + 392x86 + 415x87 + 96x88 + 638x89 + 104x90 + 385x91 + 188x92 + 340x93 + 577x94 + 683x95 + 153x96 + 617x97 + 987x98 + 599x99 + 41x100 + 671x101 + 300x102 + 20x103 + 733x104 + 59x105 + 907x106 + 985x107 + 315x108 + 606x109 + 270x110 + 293x111 + 581x112 + 123x113 + 828x114 + 558x115 + 687x116 + 536x117 + 506x118 + 928x119 + 807x120 + 333x121 + 886x122 + 305x123 + 354x124 + 574x125 + 933x126 + 230x127 + 11x128 + 673x129 + 29x130 + 336x131 + 114x132 + 878x133 + 817x134 + 372x135 + 334x136 + 289x137 + 776x138 + 485x139 + 826x140 + 952x141 + 245x142 + 906x143 + 393x144 + 397x145 + 508x146 + 575x147 + 609x148 + 243x149 + 521x150 + 708x151 + 904x152 + 936x153 + 960x154 + 360x155 + 338x156 + 855x157 + 156x158 + 996x159 + 125x160 + 138x161 + 320x162 + 830x163 + 115x164 + 346x165 + 215x166 + 540x167 + 125x168 + 294x169 + 836x170 + 429x171 + 415x172 + 325x173 + 345x174 + 29x175 + 424x176 + 972x177 + 953x178 + 929x179 + 830x180 + 590x181 + 92x182 + 629x183 + 451x184 + 678x185 + 725x186 + 998x187 + 482x188 + 157x189 + 268x190 + 379x191 + 223x192 + 29x193 + 533x194 + 113x195 + 418x196 + 122x197 + 693x198 + 795x199 + 466x200 + 683x201 + 304x202 + 238x203 + 760x204 + 116x205 + 756x206 + 78x207 + 315x208 + 248x209 + 267x210 + 707x211 + 677x212 + 817x213 + 963x214 + 825x215 + 408x216 + 703x217 + 981x218 + 778x219 + 643x220 + 986x221 + 384x222 + 43x223 + 321x224 + 200x225 + 739x226 + 561x227 + 144x228 + 406x229 + 4x230 + 370x231 + 380x232 + 63x233 + 563x234 + 147x235 + 591x236 + 868x237 + 446x238 + 197x239 + 298x240 + 1x241 + 187x242 + 110x243 + 528x244 + 388x245 + 127x246 + 929x247 + 791x248 + 156x249 + 161x250 <=28736 constr2: + 909x1 + 117x2 + 461x3 + 325x4 + 918x5 + 867x6 + 45x7 + 106x8 + 197x9 + 620x10 + 390x11 + 915x12 + 832x13 + 949x14 + 882x15 + 398x16 + 338x17 + 74x18 + 583x19 + 166x20 + 97x21 + 197x22 + 544x23 + 920x24 + 754x25 + 197x26 + 687x27 + 895x28 + 836x29 + 743x30 + 555x31 + 168x32 + 246x33 + 175x34 + 694x35 + 6x36 + 426x37 + 597x38 + 795x39 + 579x40 + 926x41 + 920x42 + 186x43 + 979x44 + 407x45 + 844x46 + 964x47 + 760x48 + 804x49 + 819x50 + 717x51 + 220x52 + 683x53 + 196x54 + 259x55 + 539x56 + 830x57 + 477x58 + 555x59 + 596x60 + 707x61 + 770x62 + 190x63 + 539x64 + 758x65 + 835x66 + 254x67 + 888x68 + 487x69 + 607x70 + 755x71 + 661x72 + 300x73 + 555x74 + 131x75 + 835x76 + 884x77 + 864x78 + 365x79 + 769x80 + 257x81 + 248x82 + 412x83 + 697x84 + 890x85 + 71x86 + 604x87 + 51x88 + 715x89 + 137x90 + 54x91 + 109x92 + 430x93 + 430x94 + 188x95 + 209x96 + 61x97 + 88x98 + 859x99 + 917x100 + 823x101 + 889x102 + 531x103 + 329x104 + 982x105 + 549x106 + 480x107 + 603x108 + 90x109 + 403x110 + 518x111 + 482x112 + 448x113 + 690x114 + 270x115 + 468x116 + 688x117 + 493x118 + 874x119 + 632x120 + 129x121 + 455x122 + 634x123 + 99x124 + 460x125 + 717x126 + 285x127 + 51x128 + 651x129 + 902x130 + 455x131 + 893x132 + 880x133 + 723x134 + 341x135 + 958x136 + 285x137 + 133x138 + 409x139 + 724x140 + 39x141 + 211x142 + 389x143 + 819x144 + 618x145 + 217x146 + 578x147 + 958x148 + 771x149 + 424x150 + 134x151 + 627x152 + 207x153 + 616x154 + 502x155 + 781x156 + 214x157 + 373x158 + 217x159 + 336x160 + 367x161 + 220x162 + 441x163 + 95x164 + 603x165 + 52x166 + 168x167 + 325x168 + 633x169 + 285x170 + 854x171 + 189x172 + 548x173 + 634x174 + 324x175 + 402x176 + 279x177 + 645x178 + 544x179 + 838x180 + 867x181 + 951x182 + 590x183 + 243x184 + 198x185 + 852x186 + 787x187 + 387x188 + 604x189 + 576x190 + 97x191 + 272x192 + 2x193 + 196x194 + 369x195 + 891x196 + 967x197 + 878x198 + 604x199 + 909x200 + 97x201 + 956x202 + 135x203 + 7x204 + 929x205 + 606x206 + 202x207 + 25x208 + 894x209 + 998x210 + 368x211 + 637x212 + 434x213 + 521x214 + 220x215 + 929x216 + 998x217 + 603x218 + 535x219 + 470x220 + 342x221 + 324x222 + 108x223 + 468x224 + 692x225 + 724x226 + 783x227 + 666x228 + 214x229 + 327x230 + 545x231 + 823x232 + 399x233 + 305x234 + 333x235 + 969x236 + 757x237 + 192x238 + 672x239 + 344x240 + 808x241 + 44x242 + 402x243 + 362x244 + 726x245 + 944x246 + 71x247 + 997x248 + 614x249 + 749x250 <=32219 constr3: + 252x1 + 62x2 + 635x3 + 210x4 + 433x5 + 932x6 + 684x7 + 678x8 + 148x9 + 355x10 + 78x11 + 353x12 + 959x13 + 578x14 + 368x15 + 470x16 + 143x17 + 420x18 + 106x19 + 281x20 + 60x21 + 486x22 + 477x23 + 759x24 + 991x25 + 341x26 + 192x27 + 82x28 + 799x29 + 925x30 + 471x31 + 450x32 + 433x33 + 817x34 + 188x35 + 186x36 + 170x37 + 375x38 + 643x39 + 672x40 + 614x41 + 143x42 + 23x43 + 34x44 + 887x45 + 390x46 + 719x47 + 329x48 + 21x49 + 487x50 + 77x51 + 887x52 + 928x53 + 212x54 + 236x55 + 95x56 + 629x57 + 919x58 + 847x59 + 465x60 + 828x61 + 131x62 + 569x63 + 538x64 + 958x65 + 106x66 + 201x67 + 797x68 + 951x69 + 605x70 + 881x71 + 763x72 + 327x73 + 301x74 + 314x75 + 812x76 + 208x77 + 876x78 + 42x79 + 971x80 + 575x81 + 850x82 + 505x83 + 851x84 + 675x85 + 217x86 + 838x87 + 748x88 + 270x89 + 527x90 + 204x91 + 675x92 + 190x93 + 663x94 + 860x95 + 124x96 + 699x97 + 382x98 + 673x99 + 713x100 + 174x101 + 438x102 + 286x103 + 752x104 + 814x105 + 885x106 + 711x107 + 181x108 + 570x109 + 283x110 + 346x111 + 996x112 + 405x113 + 206x114 + 484x115 + 141x116 + 309x117 + 829x118 + 611x119 + 622x120 + 321x121 + 78x122 + 271x123 + 657x124 + 990x125 + 40x126 + 639x127 + 762x128 + 912x129 + 120x130 + 797x131 + 431x132 + 153x133 + 20x134 + 929x135 + 413x136 + 827x137 + 200x138 + 238x139 + 766x140 + 765x141 + 564x142 + 982x143 + 445x144 + 264x145 + 802x146 + 375x147 + 317x148 + 374x149 + 313x150 + 834x151 + 364x152 + 647x153 + 803x154 + 551x155 + 715x156 + 635x157 + 110x158 + 315x159 + 515x160 + 382x161 + 341x162 + 868x163 + 575x164 + 431x165 + 196x166 + 995x167 + 267x168 + 575x169 + 638x170 + 646x171 + 319x172 + 585x173 + 70x174 + 720x175 + 332x176 + 126x177 + 207x178 + 337x179 + 763x180 + 486x181 + 100x182 + 364x183 + 600x184 + 30x185 + 719x186 + 582x187 + 514x188 + 604x189 + 730x190 + 479x191 + 350x192 + 276x193 + 855x194 + 840x195 + 825x196 + 464x197 + 216x198 + 547x199 + 274x200 + 184x201 + 838x202 + 488x203 + 649x204 + 431x205 + 322x206 + 670x207 + 186x208 + 889x209 + 700x210 + 187x211 + 759x212 + 334x213 + 791x214 + 473x215 + 160x216 + 712x217 + 625x218 + 161x219 + 540x220 + 684x221 + 84x222 + 837x223 + 821x224 + 986x225 + 486x226 + 231x227 + 756x228 + 172x229 + 32x230 + 530x231 + 138x232 + 8x233 + 528x234 + 44x235 + 458x236 + 774x237 + 239x238 + 360x239 + 975x240 + 904x241 + 186x242 + 845x243 + 408x244 + 677x245 + 617x246 + 545x247 + 622x248 + 852x249 + 873x250 <=31080 constr4: + 51x1 + 410x2 + 264x3 + 826x4 + 203x5 + 846x6 + 824x7 + 144x8 + 58x9 + 538x10 + 155x11 + 458x12 + 304x13 + 307x14 + 318x15 + 917x16 + 89x17 + 739x18 + 390x19 + 677x20 + 431x21 + 411x22 + 748x23 + 280x24 + 959x25 + 176x26 + 115x27 + 747x28 + 611x29 + 768x30 + 370x31 + 600x32 + 578x33 + 332x34 + 41x35 + 14x36 + 41x37 + 395x38 + 326x39 + 992x40 + 832x41 + 930x42 + 246x43 + 481x44 + 805x45 + 437x46 + 610x47 + 300x48 + 968x49 + 916x50 + 127x51 + 893x52 + 171x53 + 413x54 + 379x55 + 222x56 + 904x57 + 886x58 + 16x59 + 516x60 + 816x61 + 896x62 + 570x63 + 958x64 + 799x65 + 105x66 + 784x67 + 104x68 + 465x69 + 642x70 + 181x71 + 739x72 + 98x73 + 283x74 + 651x75 + 786x76 + 920x77 + 160x78 + 532x79 + 989x80 + 217x81 + 700x82 + 673x83 + 310x84 + 748x85 + 183x86 + 751x87 + 197x88 + 857x89 + 185x90 + 892x91 + 660x92 + 488x93 + 740x94 + 980x95 + 186x96 + 266x97 + 891x98 + 564x99 + 719x100 + 697x101 + 740x102 + 603x103 + 884x104 + 896x105 + 847x106 + 116x107 + 696x108 + 346x109 + 83x110 + 957x111 + 849x112 + 404x113 + 933x114 + 20x115 + 753x116 + 209x117 + 56x118 + 270x119 + 13x120 + 722x121 + 619x122 + 256x123 + 852x124 + 994x125 + 13x126 + 817x127 + 4x128 + 794x129 + 209x130 + 525x131 + 420x132 + 841x133 + 49x134 + 658x135 + 472x136 + 993x137 + 156x138 + 456x139 + 696x140 + 962x141 + 560x142 + 212x143 + 760x144 + 360x145 + 46x146 + 465x147 + 749x148 + 483x149 + 184x150 + 498x151 + 957x152 + 434x153 + 786x154 + 994x155 + 931x156 + 191x157 + 171x158 + 216x159 + 221x160 + 1000x161 + 939x162 + 419x163 + 166x164 + 419x165 + 442x166 + 169x167 + 105x168 + 958x169 + 412x170 + 864x171 + 676x172 + 762x173 + 150x174 + 545x175 + 153x176 + 182x177 + 831x178 + 911x179 + 923x180 + 378x181 + 158x182 + 451x183 + 405x184 + 658x185 + 416x186 + 532x187 + 834x188 + 510x189 + 182x190 + 73x191 + 892x192 + 692x193 + 16x194 + 767x195 + 549x196 + 293x197 + 229x198 + 881x199 + 863x200 + 855x201 + 101x202 + 762x203 + 228x204 + 384x205 + 388x206 + 660x207 + 12x208 + 461x209 + 439x210 + 566x211 + 138x212 + 350x213 + 780x214 + 135x215 + 446x216 + 858x217 + 59x218 + 365x219 + 272x220 + 497x221 + 150x222 + 668x223 + 161x224 + 245x225 + 506x226 + 695x227 + 634x228 + 976x229 + 235x230 + 224x231 + 681x232 + 244x233 + 377x234 + 720x235 + 343x236 + 348x237 + 788x238 + 717x239 + 338x240 + 286x241 + 616x242 + 174x243 + 891x244 + 966x245 + 592x246 + 176x247 + 559x248 + 457x249 + 932x250 <=31637 constr5: + 830x1 + 518x2 + 646x3 + 227x4 + 505x5 + 421x6 + 228x7 + 368x8 + 637x9 + 116x10 + 627x11 + 724x12 + 856x13 + 743x14 + 716x15 + 446x16 + 841x17 + 645x18 + 56x19 + 372x20 + 796x21 + 682x22 + 9x23 + 696x24 + 624x25 + 309x26 + 674x27 + 116x28 + 724x29 + 936x30 + 912x31 + 772x32 + 565x33 + 547x34 + 261x35 + 541x36 + 9x37 + 384x38 + 545x39 + 313x40 + 864x41 + 860x42 + 751x43 + 472x44 + 120x45 + 554x46 + 824x47 + 645x48 + 533x49 + 695x50 + 18x51 + 606x52 + 202x53 + 149x54 + 782x55 + 609x56 + 802x57 + 224x58 + 108x59 + 614x60 + 317x61 + 90x62 + 943x63 + 977x64 + 284x65 + 39x66 + 832x67 + 892x68 + 595x69 + 9x70 + 523x71 + 254x72 + 416x73 + 129x74 + 268x75 + 462x76 + 280x77 + 865x78 + 688x79 + 134x80 + 580x81 + 988x82 + 395x83 + 160x84 + 158x85 + 858x86 + 948x87 + 177x88 + 206x89 + 637x90 + 474x91 + 559x92 + 946x93 + 317x94 + 765x95 + 772x96 + 769x97 + 771x98 + 957x99 + 128x100 + 831x101 + 576x102 + 827x103 + 160x104 + 478x105 + 123x106 + 977x107 + 888x108 + 56x109 + 749x110 + 155x111 + 969x112 + 767x113 + 653x114 + 994x115 + 987x116 + 344x117 + 481x118 + 652x119 + 49x120 + 403x121 + 179x122 + 629x123 + 632x124 + 596x125 + 696x126 + 859x127 + 973x128 + 879x129 + 223x130 + 885x131 + 1x132 + 741x133 + 150x134 + 81x135 + 357x136 + 1000x137 + 211x138 + 560x139 + 453x140 + 624x141 + 61x142 + 802x143 + 30x144 + 20x145 + 985x146 + 504x147 + 479x148 + 896x149 + 707x150 + 534x151 + 698x152 + 497x153 + 419x154 + 309x155 + 791x156 + 865x157 + 91x158 + 969x159 + 292x160 + 539x161 + 42x162 + 975x163 + 310x164 + 573x165 + 578x166 + 173x167 + 998x168 + 8x169 + 393x170 + 807x171 + 68x172 + 617x173 + 209x174 + 540x175 + 21x176 + 269x177 + 216x178 + 957x179 + 4x180 + 639x181 + 312x182 + 729x183 + 258x184 + 433x185 + 324x186 + 897x187 + 901x188 + 883x189 + 687x190 + 335x191 + 729x192 + 518x193 + 276x194 + 468x195 + 529x196 + 960x197 + 28x198 + 254x199 + 363x200 + 133x201 + 372x202 + 926x203 + 391x204 + 586x205 + 850x206 + 707x207 + 310x208 + 817x209 + 211x210 + 568x211 + 442x212 + 83x213 + 551x214 + 406x215 + 922x216 + 761x217 + 567x218 + 658x219 + 874x220 + 161x221 + 915x222 + 692x223 + 948x224 + 585x225 + 606x226 + 20x227 + 872x228 + 292x229 + 382x230 + 741x231 + 860x232 + 543x233 + 484x234 + 470x235 + 517x236 + 771x237 + 960x238 + 437x239 + 553x240 + 272x241 + 538x242 + 667x243 + 345x244 + 430x245 + 768x246 + 229x247 + 474x248 + 35x249 + 915x250 <=32791 binaries 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 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 end