maximize objective: + 708x1 + 759x2 + 821x3 + 523x4 + 788x5 + 833x6 + 740x7 + 637x8 + 635x9 + 627x10 + 784x11 + 659x12 + 365x13 + 798x14 + 777x15 + 741x16 + 661x17 + 1016x18 + 509x19 + 623x20 + 687x21 + 702x22 + 811x23 + 888x24 + 841x25 + 789x26 + 697x27 + 716x28 + 778x29 + 495x30 + 832x31 + 812x32 + 995x33 + 759x34 + 1104x35 + 1014x36 + 952x37 + 674x38 + 960x39 + 986x40 + 942x41 + 846x42 + 889x43 + 719x44 + 588x45 + 881x46 + 573x47 + 805x48 + 1076x49 + 834x50 + 952x51 + 755x52 + 890x53 + 917x54 + 799x55 + 520x56 + 767x57 + 418x58 + 684x59 + 774x60 + 770x61 + 926x62 + 884x63 + 971x64 + 866x65 + 709x66 + 885x67 + 1061x68 + 464x69 + 694x70 + 966x71 + 997x72 + 812x73 + 924x74 + 878x75 + 569x76 + 948x77 + 932x78 + 812x79 + 722x80 + 741x81 + 737x82 + 801x83 + 1105x84 + 720x85 + 867x86 + 527x87 + 973x88 + 623x89 + 817x90 + 427x91 + 457x92 + 532x93 + 867x94 + 564x95 + 659x96 + 645x97 + 739x98 + 965x99 + 1026x100 + 969x101 + 737x102 + 385x103 + 450x104 + 725x105 + 688x106 + 942x107 + 716x108 + 1221x109 + 711x110 + 622x111 + 874x112 + 491x113 + 523x114 + 773x115 + 525x116 + 616x117 + 669x118 + 695x119 + 811x120 + 311x121 + 806x122 + 1066x123 + 780x124 + 898x125 + 885x126 + 860x127 + 557x128 + 799x129 + 406x130 + 603x131 + 585x132 + 855x133 + 674x134 + 298x135 + 553x136 + 542x137 + 552x138 + 780x139 + 882x140 + 429x141 + 584x142 + 921x143 + 549x144 + 671x145 + 470x146 + 829x147 + 1113x148 + 906x149 + 979x150 + 810x151 + 779x152 + 791x153 + 853x154 + 932x155 + 743x156 + 918x157 + 883x158 + 1067x159 + 694x160 + 709x161 + 634x162 + 550x163 + 424x164 + 661x165 + 969x166 + 658x167 + 1053x168 + 924x169 + 606x170 + 880x171 + 912x172 + 413x173 + 629x174 + 1008x175 + 779x176 + 940x177 + 1275x178 + 746x179 + 632x180 + 1150x181 + 895x182 + 741x183 + 686x184 + 501x185 + 920x186 + 1026x187 + 949x188 + 990x189 + 803x190 + 820x191 + 415x192 + 473x193 + 701x194 + 663x195 + 824x196 + 733x197 + 812x198 + 789x199 + 1001x200 + 714x201 + 387x202 + 776x203 + 957x204 + 780x205 + 692x206 + 835x207 + 1107x208 + 660x209 + 1055x210 + 604x211 + 1054x212 + 1207x213 + 836x214 + 548x215 + 603x216 + 850x217 + 795x218 + 776x219 + 709x220 + 503x221 + 809x222 + 373x223 + 866x224 + 802x225 + 375x226 + 773x227 + 825x228 + 497x229 + 1124x230 + 698x231 + 545x232 + 998x233 + 920x234 + 591x235 + 668x236 + 764x237 + 775x238 + 698x239 + 1071x240 + 644x241 + 766x242 + 781x243 + 793x244 + 714x245 + 868x246 + 657x247 + 948x248 + 451x249 + 566x250 subject to constr1: + 655x1 + 765x2 + 267x3 + 869x4 + 161x5 + 830x6 + 517x7 + 796x8 + 267x9 + 715x10 + 888x11 + 478x12 + 263x13 + 946x14 + 522x15 + 931x16 + 923x17 + 852x18 + 329x19 + 26x20 + 416x21 + 541x22 + 804x23 + 693x24 + 472x25 + 844x26 + 162x27 + 239x28 + 426x29 + 926x30 + 422x31 + 175x32 + 501x33 + 563x34 + 624x35 + 777x36 + 502x37 + 893x38 + 770x39 + 608x40 + 434x41 + 564x42 + 903x43 + 621x44 + 969x45 + 675x46 + 867x47 + 22x48 + 232x49 + 544x50 + 906x51 + 72x52 + 181x53 + 823x54 + 482x55 + 34x56 + 377x57 + 395x58 + 56x59 + 31x60 + 112x61 + 49x62 + 860x63 + 689x64 + 143x65 + 628x66 + 467x67 + 718x68 + 929x69 + 1000x70 + 648x71 + 148x72 + 546x73 + 383x74 + 482x75 + 459x76 + 8x77 + 53x78 + 43x79 + 175x80 + 268x81 + 124x82 + 190x83 + 210x84 + 77x85 + 127x86 + 222x87 + 403x88 + 647x89 + 848x90 + 6x91 + 457x92 + 501x93 + 447x94 + 61x95 + 94x96 + 636x97 + 265x98 + 533x99 + 707x100 + 243x101 + 612x102 + 840x103 + 280x104 + 675x105 + 980x106 + 177x107 + 272x108 + 946x109 + 951x110 + 307x111 + 421x112 + 624x113 + 176x114 + 588x115 + 329x116 + 246x117 + 6x118 + 728x119 + 576x120 + 202x121 + 978x122 + 85x123 + 518x124 + 659x125 + 539x126 + 449x127 + 20x128 + 876x129 + 177x130 + 902x131 + 970x132 + 930x133 + 675x134 + 65x135 + 691x136 + 661x137 + 793x138 + 886x139 + 316x140 + 273x141 + 257x142 + 483x143 + 922x144 + 194x145 + 755x146 + 158x147 + 293x148 + 754x149 + 867x150 + 431x151 + 921x152 + 106x153 + 193x154 + 549x155 + 727x156 + 33x157 + 218x158 + 946x159 + 389x160 + 527x161 + 701x162 + 70x163 + 242x164 + 704x165 + 221x166 + 236x167 + 967x168 + 721x169 + 969x170 + 687x171 + 358x172 + 236x173 + 412x174 + 818x175 + 660x176 + 252x177 + 549x178 + 66x179 + 175x180 + 656x181 + 367x182 + 564x183 + 702x184 + 423x185 + 838x186 + 765x187 + 802x188 + 599x189 + 702x190 + 966x191 + 15x192 + 397x193 + 644x194 + 412x195 + 466x196 + 428x197 + 65x198 + 833x199 + 747x200 + 838x201 + 49x202 + 4x203 + 840x204 + 467x205 + 639x206 + 665x207 + 981x208 + 69x209 + 415x210 + 664x211 + 253x212 + 695x213 + 945x214 + 551x215 + 6x216 + 593x217 + 889x218 + 750x219 + 208x220 + 181x221 + 991x222 + 190x223 + 772x224 + 831x225 + 446x226 + 953x227 + 796x228 + 422x229 + 807x230 + 831x231 + 334x232 + 372x233 + 979x234 + 911x235 + 944x236 + 55x237 + 715x238 + 568x239 + 587x240 + 61x241 + 144x242 + 346x243 + 88x244 + 770x245 + 361x246 + 151x247 + 515x248 + 361x249 + 256x250 <=31492 constr2: + 864x1 + 385x2 + 132x3 + 100x4 + 329x5 + 658x6 + 475x7 + 716x8 + 61x9 + 359x10 + 230x11 + 832x12 + 704x13 + 322x14 + 683x15 + 871x16 + 358x17 + 368x18 + 542x19 + 663x20 + 102x21 + 775x22 + 644x23 + 929x24 + 990x25 + 680x26 + 534x27 + 393x28 + 85x29 + 267x30 + 542x31 + 790x32 + 651x33 + 213x34 + 722x35 + 597x36 + 825x37 + 34x38 + 819x39 + 461x40 + 519x41 + 562x42 + 549x43 + 307x44 + 418x45 + 429x46 + 44x47 + 772x48 + 178x49 + 246x50 + 930x51 + 596x52 + 340x53 + 202x54 + 379x55 + 361x56 + 284x57 + 237x58 + 29x59 + 598x60 + 337x61 + 664x62 + 488x63 + 968x64 + 998x65 + 84x66 + 377x67 + 603x68 + 148x69 + 852x70 + 422x71 + 626x72 + 224x73 + 486x74 + 833x75 + 185x76 + 741x77 + 737x78 + 189x79 + 362x80 + 618x81 + 460x82 + 906x83 + 409x84 + 386x85 + 114x86 + 56x87 + 968x88 + 334x89 + 14x90 + 285x91 + 90x92 + 386x93 + 696x94 + 927x95 + 440x96 + 210x97 + 133x98 + 280x99 + 789x100 + 730x101 + 425x102 + 148x103 + 322x104 + 488x105 + 188x106 + 156x107 + 505x108 + 402x109 + 148x110 + 536x111 + 258x112 + 503x113 + 328x114 + 78x115 + 478x116 + 71x117 + 352x118 + 381x119 + 679x120 + 122x121 + 405x122 + 488x123 + 532x124 + 513x125 + 484x126 + 123x127 + 254x128 + 934x129 + 402x130 + 535x131 + 308x132 + 340x133 + 887x134 + 470x135 + 294x136 + 430x137 + 2x138 + 349x139 + 787x140 + 161x141 + 696x142 + 964x143 + 243x144 + 73x145 + 219x146 + 511x147 + 804x148 + 260x149 + 652x150 + 289x151 + 590x152 + 513x153 + 617x154 + 813x155 + 837x156 + 958x157 + 205x158 + 413x159 + 929x160 + 235x161 + 514x162 + 167x163 + 399x164 + 170x165 + 503x166 + 626x167 + 989x168 + 660x169 + 169x170 + 628x171 + 104x172 + 42x173 + 771x174 + 265x175 + 502x176 + 448x177 + 637x178 + 259x179 + 99x180 + 545x181 + 38x182 + 628x183 + 196x184 + 482x185 + 994x186 + 357x187 + 4x188 + 760x189 + 929x190 + 972x191 + 81x192 + 289x193 + 461x194 + 422x195 + 854x196 + 980x197 + 129x198 + 698x199 + 488x200 + 823x201 + 209x202 + 738x203 + 848x204 + 564x205 + 590x206 + 1000x207 + 386x208 + 627x209 + 902x210 + 764x211 + 929x212 + 550x213 + 430x214 + 479x215 + 697x216 + 654x217 + 927x218 + 902x219 + 282x220 + 689x221 + 785x222 + 512x223 + 799x224 + 688x225 + 514x226 + 6x227 + 946x228 + 25x229 + 981x230 + 373x231 + 806x232 + 522x233 + 618x234 + 269x235 + 425x236 + 512x237 + 729x238 + 799x239 + 648x240 + 491x241 + 6x242 + 921x243 + 113x244 + 930x245 + 108x246 + 64x247 + 926x248 + 69x249 + 18x250 <=30295 constr3: + 458x1 + 238x2 + 775x3 + 29x4 + 353x5 + 267x6 + 831x7 + 691x8 + 774x9 + 35x10 + 58x11 + 866x12 + 107x13 + 359x14 + 931x15 + 564x16 + 343x17 + 262x18 + 166x19 + 356x20 + 136x21 + 975x22 + 567x23 + 917x24 + 618x25 + 16x26 + 534x27 + 407x28 + 377x29 + 114x30 + 111x31 + 73x32 + 184x33 + 456x34 + 546x35 + 45x36 + 119x37 + 907x38 + 839x39 + 446x40 + 574x41 + 264x42 + 327x43 + 186x44 + 197x45 + 732x46 + 643x47 + 31x48 + 999x49 + 636x50 + 69x51 + 767x52 + 786x53 + 223x54 + 497x55 + 115x56 + 127x57 + 792x58 + 9x59 + 561x60 + 17x61 + 965x62 + 275x63 + 878x64 + 464x65 + 841x66 + 331x67 + 505x68 + 739x69 + 10x70 + 176x71 + 980x72 + 407x73 + 793x74 + 344x75 + 468x76 + 9x77 + 676x78 + 361x79 + 371x80 + 429x81 + 542x82 + 799x83 + 850x84 + 365x85 + 649x86 + 799x87 + 520x88 + 712x89 + 609x90 + 269x91 + 625x92 + 352x93 + 280x94 + 10x95 + 727x96 + 138x97 + 777x98 + 186x99 + 745x100 + 747x101 + 29x102 + 185x103 + 470x104 + 31x105 + 335x106 + 420x107 + 831x108 + 985x109 + 344x110 + 975x111 + 520x112 + 585x113 + 57x114 + 889x115 + 85x116 + 793x117 + 909x118 + 409x119 + 796x120 + 558x121 + 490x122 + 720x123 + 246x124 + 895x125 + 563x126 + 339x127 + 357x128 + 734x129 + 502x130 + 663x131 + 157x132 + 449x133 + 358x134 + 91x135 + 298x136 + 56x137 + 153x138 + 827x139 + 221x140 + 636x141 + 823x142 + 179x143 + 550x144 + 572x145 + 279x146 + 678x147 + 544x148 + 295x149 + 361x150 + 377x151 + 583x152 + 304x153 + 939x154 + 266x155 + 970x156 + 156x157 + 717x158 + 704x159 + 248x160 + 933x161 + 507x162 + 577x163 + 29x164 + 524x165 + 789x166 + 766x167 + 361x168 + 385x169 + 296x170 + 871x171 + 476x172 + 546x173 + 602x174 + 853x175 + 580x176 + 717x177 + 856x178 + 228x179 + 194x180 + 469x181 + 232x182 + 861x183 + 496x184 + 510x185 + 245x186 + 845x187 + 163x188 + 25x189 + 582x190 + 887x191 + 856x192 + 174x193 + 829x194 + 777x195 + 936x196 + 189x197 + 513x198 + 193x199 + 763x200 + 538x201 + 59x202 + 582x203 + 262x204 + 836x205 + 104x206 + 759x207 + 172x208 + 500x209 + 987x210 + 404x211 + 293x212 + 685x213 + 215x214 + 438x215 + 129x216 + 728x217 + 551x218 + 887x219 + 787x220 + 925x221 + 631x222 + 320x223 + 846x224 + 49x225 + 295x226 + 607x227 + 120x228 + 730x229 + 426x230 + 773x231 + 816x232 + 795x233 + 826x234 + 25x235 + 601x236 + 1000x237 + 849x238 + 767x239 + 860x240 + 161x241 + 888x242 + 261x243 + 760x244 + 382x245 + 872x246 + 563x247 + 281x248 + 662x249 + 714x250 <=30997 constr4: + 552x1 + 928x2 + 352x3 + 271x4 + 621x5 + 392x6 + 374x7 + 278x8 + 138x9 + 644x10 + 277x11 + 57x12 + 250x13 + 576x14 + 821x15 + 534x16 + 527x17 + 879x18 + 72x19 + 366x20 + 629x21 + 158x22 + 324x23 + 792x24 + 424x25 + 802x26 + 608x27 + 699x28 + 37x29 + 31x30 + 241x31 + 909x32 + 570x33 + 731x34 + 642x35 + 311x36 + 444x37 + 879x38 + 653x39 + 940x40 + 11x41 + 931x42 + 260x43 + 101x44 + 15x45 + 843x46 + 270x47 + 598x48 + 914x49 + 534x50 + 155x51 + 47x52 + 747x53 + 552x54 + 837x55 + 786x56 + 245x57 + 293x58 + 948x59 + 591x60 + 844x61 + 364x62 + 80x63 + 865x64 + 395x65 + 5x66 + 436x67 + 494x68 + 165x69 + 130x70 + 543x71 + 457x72 + 58x73 + 231x74 + 417x75 + 423x76 + 877x77 + 625x78 + 488x79 + 755x80 + 272x81 + 671x82 + 193x83 + 682x84 + 167x85 + 812x86 + 5x87 + 207x88 + 340x89 + 927x90 + 824x91 + 380x92 + 79x93 + 545x94 + 483x95 + 93x96 + 979x97 + 844x98 + 444x99 + 196x100 + 506x101 + 19x102 + 459x103 + 323x104 + 910x105 + 686x106 + 860x107 + 54x108 + 452x109 + 138x110 + 738x111 + 292x112 + 185x113 + 218x114 + 666x115 + 770x116 + 281x117 + 72x118 + 51x119 + 406x120 + 356x121 + 994x122 + 966x123 + 67x124 + 719x125 + 812x126 + 442x127 + 889x128 + 540x129 + 9x130 + 452x131 + 730x132 + 529x133 + 89x134 + 737x135 + 821x136 + 696x137 + 265x138 + 467x139 + 427x140 + 76x141 + 110x142 + 508x143 + 514x144 + 734x145 + 695x146 + 662x147 + 668x148 + 899x149 + 821x150 + 423x151 + 823x152 + 134x153 + 140x154 + 941x155 + 283x156 + 852x157 + 846x158 + 405x159 + 566x160 + 556x161 + 316x162 + 315x163 + 575x164 + 19x165 + 628x166 + 633x167 + 13x168 + 808x169 + 529x170 + 192x171 + 909x172 + 660x173 + 477x174 + 207x175 + 276x176 + 567x177 + 982x178 + 806x179 + 210x180 + 707x181 + 916x182 + 721x183 + 147x184 + 82x185 + 374x186 + 621x187 + 829x188 + 982x189 + 72x190 + 45x191 + 756x192 + 4x193 + 709x194 + 729x195 + 612x196 + 567x197 + 667x198 + 395x199 + 979x200 + 134x201 + 164x202 + 593x203 + 268x204 + 997x205 + 150x206 + 697x207 + 987x208 + 524x209 + 319x210 + 329x211 + 860x212 + 738x213 + 491x214 + 769x215 + 154x216 + 871x217 + 528x218 + 183x219 + 208x220 + 260x221 + 888x222 + 416x223 + 873x224 + 659x225 + 188x226 + 159x227 + 889x228 + 182x229 + 680x230 + 423x231 + 119x232 + 825x233 + 451x234 + 1000x235 + 441x236 + 294x237 + 19x238 + 68x239 + 70x240 + 476x241 + 538x242 + 999x243 + 249x244 + 207x245 + 659x246 + 848x247 + 99x248 + 134x249 + 330x250 <=30350 constr5: + 177x1 + 557x2 + 647x3 + 207x4 + 568x5 + 119x6 + 490x7 + 185x8 + 443x9 + 620x10 + 520x11 + 882x12 + 342x13 + 386x14 + 298x15 + 262x16 + 885x17 + 763x18 + 873x19 + 714x20 + 791x21 + 965x22 + 560x23 + 831x24 + 424x25 + 409x26 + 443x27 + 508x28 + 925x29 + 326x30 + 767x31 + 332x32 + 925x33 + 411x34 + 823x35 + 845x36 + 468x37 + 246x38 + 33x39 + 884x40 + 959x41 + 423x42 + 813x43 + 232x44 + 463x45 + 212x46 + 464x47 + 829x48 + 718x49 + 507x50 + 700x51 + 77x52 + 98x53 + 737x54 + 408x55 + 982x56 + 748x57 + 309x58 + 654x59 + 334x60 + 888x61 + 428x62 + 233x63 + 678x64 + 586x65 + 778x66 + 811x67 + 666x68 + 77x69 + 21x70 + 784x71 + 668x72 + 922x73 + 618x74 + 476x75 + 667x76 + 786x77 + 116x78 + 501x79 + 744x80 + 812x81 + 112x82 + 855x83 + 922x84 + 374x85 + 393x86 + 684x87 + 366x88 + 260x89 + 317x90 + 160x91 + 176x92 + 849x93 + 84x94 + 189x95 + 872x96 + 624x97 + 995x98 + 980x99 + 973x100 + 969x101 + 997x102 + 38x103 + 211x104 + 84x105 + 388x106 + 806x107 + 796x108 + 999x109 + 170x110 + 78x111 + 423x112 + 552x113 + 883x114 + 68x115 + 42x116 + 457x117 + 30x118 + 11x119 + 489x120 + 247x121 + 735x122 + 696x123 + 284x124 + 608x125 + 454x126 + 555x127 + 546x128 + 879x129 + 638x130 + 418x131 + 48x132 + 482x133 + 813x134 + 52x135 + 544x136 + 574x137 + 853x138 + 210x139 + 505x140 + 783x141 + 927x142 + 902x143 + 178x144 + 929x145 + 363x146 + 177x147 + 974x148 + 645x149 + 527x150 + 581x151 + 446x152 + 837x153 + 733x154 + 647x155 + 417x156 + 654x157 + 555x158 + 819x159 + 388x160 + 424x161 + 913x162 + 20x163 + 146x164 + 638x165 + 589x166 + 882x167 + 826x168 + 54x169 + 302x170 + 746x171 + 659x172 + 432x173 + 26x174 + 939x175 + 376x176 + 703x177 + 960x178 + 438x179 + 228x180 + 921x181 + 549x182 + 548x183 + 156x184 + 230x185 + 719x186 + 973x187 + 543x188 + 930x189 + 883x190 + 892x191 + 214x192 + 474x193 + 199x194 + 331x195 + 267x196 + 615x197 + 766x198 + 79x199 + 811x200 + 262x201 + 191x202 + 579x203 + 330x204 + 772x205 + 124x206 + 350x207 + 747x208 + 706x209 + 251x210 + 221x211 + 757x212 + 957x213 + 311x214 + 94x215 + 204x216 + 466x217 + 964x218 + 817x219 + 69x220 + 67x221 + 485x222 + 255x223 + 967x224 + 548x225 + 37x226 + 79x227 + 618x228 + 581x229 + 335x230 + 924x231 + 305x232 + 237x233 + 606x234 + 528x235 + 567x236 + 778x237 + 196x238 + 399x239 + 914x240 + 147x241 + 212x242 + 540x243 + 793x244 + 881x245 + 278x246 + 900x247 + 695x248 + 889x249 + 141x250 <=32889 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