maximize objective: + 406x1 + 445x2 + 861x3 + 1000x4 + 826x5 + 721x6 + 504x7 + 515x8 + 868x9 + 837x10 + 726x11 + 905x12 + 349x13 + 724x14 + 1154x15 + 836x16 + 763x17 + 408x18 + 911x19 + 687x20 + 795x21 + 615x22 + 505x23 + 650x24 + 424x25 + 664x26 + 801x27 + 937x28 + 829x29 + 581x30 + 692x31 + 727x32 + 1041x33 + 852x34 + 641x35 + 841x36 + 847x37 + 552x38 + 584x39 + 667x40 + 990x41 + 885x42 + 874x43 + 806x44 + 1023x45 + 883x46 + 879x47 + 912x48 + 420x49 + 723x50 + 604x51 + 740x52 + 682x53 + 1084x54 + 503x55 + 740x56 + 969x57 + 863x58 + 1065x59 + 543x60 + 1070x61 + 880x62 + 691x63 + 782x64 + 702x65 + 770x66 + 675x67 + 875x68 + 874x69 + 672x70 + 626x71 + 728x72 + 851x73 + 458x74 + 920x75 + 495x76 + 758x77 + 872x78 + 760x79 + 909x80 + 874x81 + 474x82 + 736x83 + 896x84 + 859x85 + 1007x86 + 652x87 + 684x88 + 866x89 + 754x90 + 651x91 + 790x92 + 765x93 + 733x94 + 1127x95 + 728x96 + 806x97 + 986x98 + 1064x99 + 743x100 + 660x101 + 635x102 + 779x103 + 954x104 + 1054x105 + 625x106 + 616x107 + 1051x108 + 530x109 + 717x110 + 923x111 + 1109x112 + 876x113 + 924x114 + 650x115 + 1180x116 + 787x117 + 1115x118 + 684x119 + 629x120 + 951x121 + 768x122 + 856x123 + 307x124 + 523x125 + 726x126 + 544x127 + 820x128 + 651x129 + 638x130 + 750x131 + 400x132 + 946x133 + 835x134 + 483x135 + 916x136 + 756x137 + 1014x138 + 994x139 + 1087x140 + 881x141 + 688x142 + 692x143 + 642x144 + 635x145 + 648x146 + 480x147 + 1099x148 + 722x149 + 953x150 + 954x151 + 791x152 + 418x153 + 795x154 + 871x155 + 913x156 + 845x157 + 713x158 + 898x159 + 624x160 + 480x161 + 794x162 + 825x163 + 767x164 + 379x165 + 857x166 + 823x167 + 613x168 + 524x169 + 940x170 + 829x171 + 749x172 + 765x173 + 574x174 + 1212x175 + 595x176 + 737x177 + 885x178 + 715x179 + 456x180 + 1002x181 + 725x182 + 970x183 + 646x184 + 905x185 + 669x186 + 617x187 + 835x188 + 1162x189 + 1083x190 + 386x191 + 857x192 + 911x193 + 867x194 + 832x195 + 1030x196 + 865x197 + 634x198 + 942x199 + 859x200 + 398x201 + 577x202 + 821x203 + 782x204 + 937x205 + 868x206 + 627x207 + 562x208 + 762x209 + 497x210 + 635x211 + 656x212 + 1300x213 + 986x214 + 448x215 + 928x216 + 813x217 + 1105x218 + 1000x219 + 897x220 + 366x221 + 572x222 + 491x223 + 878x224 + 929x225 + 403x226 + 346x227 + 525x228 + 572x229 + 644x230 + 592x231 + 991x232 + 980x233 + 1044x234 + 926x235 + 868x236 + 803x237 + 644x238 + 746x239 + 854x240 + 937x241 + 996x242 + 928x243 + 980x244 + 648x245 + 783x246 + 417x247 + 730x248 + 642x249 + 971x250 subject to constr1: + 978x1 + 175x2 + 911x3 + 495x4 + 520x5 + 421x6 + 308x7 + 51x8 + 928x9 + 768x10 + 30x11 + 273x12 + 353x13 + 5x14 + 207x15 + 511x16 + 685x17 + 4x18 + 500x19 + 790x20 + 249x21 + 888x22 + 468x23 + 770x24 + 500x25 + 736x26 + 387x27 + 463x28 + 431x29 + 456x30 + 697x31 + 666x32 + 904x33 + 607x34 + 359x35 + 191x36 + 519x37 + 502x38 + 418x39 + 428x40 + 629x41 + 293x42 + 503x43 + 224x44 + 895x45 + 509x46 + 725x47 + 262x48 + 119x49 + 373x50 + 897x51 + 550x52 + 292x53 + 381x54 + 764x55 + 690x56 + 559x57 + 917x58 + 996x59 + 876x60 + 965x61 + 611x62 + 269x63 + 256x64 + 899x65 + 694x66 + 782x67 + 821x68 + 389x69 + 278x70 + 315x71 + 826x72 + 916x73 + 272x74 + 958x75 + 170x76 + 475x77 + 794x78 + 660x79 + 479x80 + 120x81 + 98x82 + 601x83 + 720x84 + 307x85 + 479x86 + 379x87 + 83x88 + 88x89 + 108x90 + 239x91 + 497x92 + 932x93 + 344x94 + 638x95 + 916x96 + 249x97 + 151x98 + 541x99 + 177x100 + 442x101 + 246x102 + 743x103 + 893x104 + 653x105 + 937x106 + 666x107 + 952x108 + 268x109 + 476x110 + 492x111 + 228x112 + 402x113 + 668x114 + 140x115 + 924x116 + 141x117 + 723x118 + 497x119 + 701x120 + 527x121 + 165x122 + 403x123 + 310x124 + 660x125 + 238x126 + 803x127 + 199x128 + 396x129 + 544x130 + 723x131 + 179x132 + 526x133 + 837x134 + 557x135 + 484x136 + 625x137 + 304x138 + 164x139 + 930x140 + 754x141 + 644x142 + 277x143 + 244x144 + 435x145 + 426x146 + 4x147 + 842x148 + 946x149 + 667x150 + 949x151 + 272x152 + 541x153 + 265x154 + 273x155 + 123x156 + 782x157 + 582x158 + 413x159 + 865x160 + 3x161 + 921x162 + 985x163 + 338x164 + 98x165 + 652x166 + 798x167 + 201x168 + 839x169 + 174x170 + 716x171 + 128x172 + 485x173 + 250x174 + 950x175 + 774x176 + 77x177 + 196x178 + 175x179 + 50x180 + 714x181 + 959x182 + 913x183 + 268x184 + 177x185 + 599x186 + 129x187 + 640x188 + 769x189 + 295x190 + 460x191 + 882x192 + 422x193 + 418x194 + 943x195 + 992x196 + 917x197 + 922x198 + 81x199 + 850x200 + 454x201 + 899x202 + 618x203 + 394x204 + 853x205 + 948x206 + 96x207 + 812x208 + 408x209 + 123x210 + 205x211 + 716x212 + 973x213 + 181x214 + 514x215 + 833x216 + 475x217 + 912x218 + 514x219 + 389x220 + 397x221 + 233x222 + 119x223 + 962x224 + 229x225 + 188x226 + 245x227 + 140x228 + 815x229 + 816x230 + 207x231 + 985x232 + 624x233 + 846x234 + 429x235 + 936x236 + 19x237 + 796x238 + 947x239 + 788x240 + 962x241 + 134x242 + 72x243 + 832x244 + 92x245 + 88x246 + 691x247 + 159x248 + 699x249 + 731x250 <=32308 constr2: + 5x1 + 490x2 + 282x3 + 885x4 + 679x5 + 793x6 + 385x7 + 399x8 + 802x9 + 70x10 + 928x11 + 437x12 + 320x13 + 132x14 + 653x15 + 703x16 + 206x17 + 322x18 + 749x19 + 482x20 + 846x21 + 111x22 + 196x23 + 174x24 + 86x25 + 285x26 + 510x27 + 829x28 + 794x29 + 110x30 + 729x31 + 369x32 + 138x33 + 191x34 + 576x35 + 442x36 + 771x37 + 39x38 + 840x39 + 306x40 + 255x41 + 197x42 + 768x43 + 521x44 + 212x45 + 796x46 + 835x47 + 175x48 + 269x49 + 712x50 + 421x51 + 165x52 + 250x53 + 470x54 + 23x55 + 506x56 + 752x57 + 21x58 + 739x59 + 263x60 + 824x61 + 830x62 + 206x63 + 921x64 + 249x65 + 564x66 + 40x67 + 729x68 + 445x69 + 571x70 + 4x71 + 181x72 + 44x73 + 67x74 + 848x75 + 973x76 + 322x77 + 689x78 + 620x79 + 517x80 + 433x81 + 858x82 + 642x83 + 102x84 + 567x85 + 455x86 + 578x87 + 179x88 + 909x89 + 646x90 + 363x91 + 107x92 + 125x93 + 366x94 + 688x95 + 35x96 + 401x97 + 809x98 + 504x99 + 505x100 + 163x101 + 775x102 + 668x103 + 81x104 + 800x105 + 278x106 + 286x107 + 864x108 + 435x109 + 268x110 + 911x111 + 770x112 + 779x113 + 872x114 + 397x115 + 788x116 + 244x117 + 939x118 + 613x119 + 256x120 + 822x121 + 290x122 + 270x123 + 19x124 + 456x125 + 584x126 + 193x127 + 912x128 + 691x129 + 949x130 + 570x131 + 931x132 + 966x133 + 474x134 + 152x135 + 613x136 + 492x137 + 792x138 + 508x139 + 667x140 + 751x141 + 963x142 + 836x143 + 989x144 + 651x145 + 225x146 + 740x147 + 583x148 + 450x149 + 234x150 + 176x151 + 353x152 + 323x153 + 743x154 + 188x155 + 823x156 + 458x157 + 483x158 + 656x159 + 1000x160 + 710x161 + 138x162 + 445x163 + 334x164 + 309x165 + 3x166 + 625x167 + 634x168 + 48x169 + 695x170 + 545x171 + 325x172 + 349x173 + 183x174 + 675x175 + 319x176 + 888x177 + 751x178 + 33x179 + 16x180 + 929x181 + 164x182 + 932x183 + 407x184 + 972x185 + 390x186 + 150x187 + 742x188 + 883x189 + 342x190 + 238x191 + 833x192 + 315x193 + 887x194 + 945x195 + 211x196 + 761x197 + 140x198 + 317x199 + 855x200 + 427x201 + 668x202 + 198x203 + 111x204 + 422x205 + 312x206 + 700x207 + 151x208 + 363x209 + 336x210 + 474x211 + 550x212 + 840x213 + 761x214 + 536x215 + 834x216 + 592x217 + 672x218 + 259x219 + 936x220 + 130x221 + 418x222 + 785x223 + 198x224 + 858x225 + 995x226 + 119x227 + 225x228 + 538x229 + 171x230 + 542x231 + 237x232 + 550x233 + 983x234 + 873x235 + 768x236 + 578x237 + 941x238 + 336x239 + 429x240 + 676x241 + 766x242 + 801x243 + 282x244 + 689x245 + 265x246 + 563x247 + 904x248 + 272x249 + 459x250 <=31356 constr3: + 459x1 + 966x2 + 712x3 + 944x4 + 835x5 + 428x6 + 955x7 + 695x8 + 157x9 + 672x10 + 735x11 + 825x12 + 371x13 + 523x14 + 905x15 + 505x16 + 516x17 + 440x18 + 768x19 + 176x20 + 229x21 + 882x22 + 690x23 + 415x24 + 590x25 + 11x26 + 393x27 + 428x28 + 815x29 + 604x30 + 595x31 + 144x32 + 998x33 + 559x34 + 325x35 + 822x36 + 379x37 + 181x38 + 485x39 + 276x40 + 789x41 + 321x42 + 330x43 + 343x44 + 796x45 + 9x46 + 707x47 + 456x48 + 678x49 + 208x50 + 361x51 + 328x52 + 949x53 + 557x54 + 302x55 + 253x56 + 487x57 + 401x58 + 755x59 + 209x60 + 476x61 + 771x62 + 411x63 + 15x64 + 429x65 + 76x66 + 240x67 + 773x68 + 329x69 + 593x70 + 825x71 + 616x72 + 814x73 + 35x74 + 176x75 + 171x76 + 801x77 + 544x78 + 437x79 + 957x80 + 215x81 + 248x82 + 69x83 + 917x84 + 287x85 + 751x86 + 136x87 + 838x88 + 982x89 + 589x90 + 453x91 + 546x92 + 256x93 + 495x94 + 830x95 + 952x96 + 910x97 + 116x98 + 147x99 + 190x100 + 589x101 + 119x102 + 615x103 + 492x104 + 872x105 + 919x106 + 780x107 + 966x108 + 755x109 + 992x110 + 71x111 + 648x112 + 55x113 + 743x114 + 556x115 + 974x116 + 956x117 + 311x118 + 848x119 + 627x120 + 329x121 + 807x122 + 280x123 + 350x124 + 253x125 + 184x126 + 228x127 + 963x128 + 907x129 + 607x130 + 611x131 + 439x132 + 215x133 + 535x134 + 758x135 + 505x136 + 908x137 + 404x138 + 756x139 + 664x140 + 481x141 + 767x142 + 617x143 + 833x144 + 198x145 + 205x146 + 525x147 + 973x148 + 890x149 + 638x150 + 821x151 + 132x152 + 162x153 + 294x154 + 444x155 + 508x156 + 785x157 + 261x158 + 711x159 + 344x160 + 187x161 + 950x162 + 315x163 + 865x164 + 720x165 + 866x166 + 655x167 + 77x168 + 704x169 + 931x170 + 601x171 + 641x172 + 794x173 + 304x174 + 810x175 + 640x176 + 181x177 + 851x178 + 401x179 + 665x180 + 179x181 + 147x182 + 240x183 + 993x184 + 416x185 + 850x186 + 264x187 + 422x188 + 862x189 + 934x190 + 181x191 + 55x192 + 590x193 + 177x194 + 585x195 + 324x196 + 303x197 + 920x198 + 970x199 + 297x200 + 814x201 + 267x202 + 995x203 + 481x204 + 665x205 + 120x206 + 419x207 + 556x208 + 915x209 + 832x210 + 415x211 + 705x212 + 670x213 + 575x214 + 248x215 + 674x216 + 796x217 + 748x218 + 941x219 + 394x220 + 180x221 + 500x222 + 502x223 + 879x224 + 565x225 + 23x226 + 630x227 + 880x228 + 155x229 + 823x230 + 630x231 + 309x232 + 165x233 + 884x234 + 425x235 + 280x236 + 747x237 + 985x238 + 475x239 + 431x240 + 616x241 + 932x242 + 752x243 + 798x244 + 827x245 + 673x246 + 22x247 + 999x248 + 148x249 + 427x250 <=34001 constr4: + 90x1 + 10x2 + 121x3 + 967x4 + 572x5 + 194x6 + 94x7 + 856x8 + 305x9 + 37x10 + 623x11 + 721x12 + 60x13 + 385x14 + 989x15 + 191x16 + 796x17 + 110x18 + 689x19 + 451x20 + 971x21 + 936x22 + 36x23 + 104x24 + 172x25 + 321x26 + 642x27 + 977x28 + 2x29 + 688x30 + 626x31 + 728x32 + 905x33 + 596x34 + 62x35 + 197x36 + 317x37 + 503x38 + 235x39 + 677x40 + 580x41 + 810x42 + 968x43 + 78x44 + 948x45 + 852x46 + 822x47 + 227x48 + 428x49 + 483x50 + 60x51 + 389x52 + 467x53 + 870x54 + 303x55 + 700x56 + 619x57 + 160x58 + 723x59 + 576x60 + 892x61 + 981x62 + 917x63 + 658x64 + 992x65 + 385x66 + 764x67 + 304x68 + 626x69 + 901x70 + 883x71 + 493x72 + 301x73 + 961x74 + 983x75 + 837x76 + 245x77 + 704x78 + 809x79 + 433x80 + 984x81 + 422x82 + 579x83 + 687x84 + 251x85 + 627x86 + 546x87 + 775x88 + 612x89 + 412x90 + 671x91 + 109x92 + 123x93 + 318x94 + 549x95 + 857x96 + 607x97 + 889x98 + 978x99 + 952x100 + 418x101 + 78x102 + 238x103 + 872x104 + 732x105 + 689x106 + 77x107 + 31x108 + 401x109 + 988x110 + 860x111 + 952x112 + 241x113 + 929x114 + 494x115 + 786x116 + 106x117 + 957x118 + 35x119 + 785x120 + 856x121 + 149x122 + 541x123 + 233x124 + 160x125 + 890x126 + 122x127 + 438x128 + 120x129 + 365x130 + 608x131 + 356x132 + 646x133 + 312x134 + 804x135 + 623x136 + 715x137 + 937x138 + 881x139 + 474x140 + 357x141 + 112x142 + 497x143 + 329x144 + 927x145 + 211x146 + 437x147 + 677x148 + 81x149 + 206x150 + 580x151 + 819x152 + 399x153 + 420x154 + 541x155 + 387x156 + 963x157 + 555x158 + 77x159 + 144x160 + 777x161 + 739x162 + 319x163 + 517x164 + 222x165 + 781x166 + 694x167 + 186x168 + 40x169 + 859x170 + 483x171 + 769x172 + 860x173 + 611x174 + 543x175 + 507x176 + 577x177 + 451x178 + 264x179 + 601x180 + 24x181 + 308x182 + 524x183 + 668x184 + 704x185 + 783x186 + 871x187 + 331x188 + 523x189 + 760x190 + 388x191 + 120x192 + 475x193 + 684x194 + 389x195 + 450x196 + 90x197 + 715x198 + 323x199 + 168x200 + 75x201 + 117x202 + 659x203 + 298x204 + 612x205 + 79x206 + 663x207 + 367x208 + 680x209 + 579x210 + 520x211 + 117x212 + 742x213 + 560x214 + 356x215 + 525x216 + 580x217 + 703x218 + 883x219 + 842x220 + 25x221 + 544x222 + 105x223 + 214x224 + 221x225 + 384x226 + 92x227 + 491x228 + 457x229 + 707x230 + 410x231 + 345x232 + 838x233 + 585x234 + 642x235 + 229x236 + 118x237 + 2x238 + 823x239 + 420x240 + 300x241 + 729x242 + 668x243 + 802x244 + 309x245 + 387x246 + 330x247 + 213x248 + 251x249 + 459x250 <=31702 constr5: + 154x1 + 480x2 + 757x3 + 309x4 + 883x5 + 136x6 + 440x7 + 462x8 + 155x9 + 993x10 + 28x11 + 709x12 + 518x13 + 126x14 + 759x15 + 341x16 + 815x17 + 282x18 + 610x19 + 462x20 + 65x21 + 114x22 + 149x23 + 551x24 + 163x25 + 319x26 + 58x27 + 267x28 + 544x29 + 796x30 + 588x31 + 237x32 + 179x33 + 124x34 + 430x35 + 277x36 + 914x37 + 72x38 + 132x39 + 520x40 + 226x41 + 859x42 + 771x43 + 802x44 + 276x45 + 390x46 + 846x47 + 979x48 + 553x49 + 963x50 + 583x51 + 593x52 + 731x53 + 834x54 + 354x55 + 363x56 + 384x57 + 812x58 + 592x59 + 577x60 + 397x61 + 435x62 + 40x63 + 964x64 + 446x65 + 902x66 + 326x67 + 337x68 + 695x69 + 302x70 + 249x71 + 669x72 + 409x73 + 10x74 + 917x75 + 120x76 + 389x77 + 650x78 + 293x79 + 529x80 + 922x81 + 557x82 + 798x83 + 964x84 + 543x85 + 827x86 + 620x87 + 766x88 + 392x89 + 514x90 + 5x91 + 749x92 + 361x93 + 458x94 + 471x95 + 80x96 + 595x97 + 495x98 + 914x99 + 898x100 + 864x101 + 345x102 + 86x103 + 693x104 + 728x105 + 221x106 + 195x107 + 160x108 + 98x109 + 585x110 + 634x111 + 768x112 + 674x113 + 906x114 + 278x115 + 664x116 + 453x117 + 814x118 + 602x119 + 32x120 + 708x121 + 137x122 + 426x123 + 111x124 + 516x125 + 663x126 + 625x127 + 696x128 + 722x129 + 670x130 + 5x131 + 30x132 + 295x133 + 585x134 + 52x135 + 887x136 + 200x137 + 212x138 + 828x139 + 778x140 + 250x141 + 508x142 + 822x143 + 216x144 + 479x145 + 865x146 + 545x147 + 443x148 + 323x149 + 610x150 + 765x151 + 481x152 + 309x153 + 247x154 + 710x155 + 815x156 + 942x157 + 949x158 + 893x159 + 206x160 + 612x161 + 908x162 + 365x163 + 630x164 + 235x165 + 807x166 + 738x167 + 293x168 + 760x169 + 560x170 + 842x171 + 957x172 + 765x173 + 970x174 + 920x175 + 601x176 + 3x177 + 611x178 + 613x179 + 110x180 + 786x181 + 736x182 + 757x183 + 569x184 + 90x185 + 662x186 + 746x187 + 605x188 + 632x189 + 913x190 + 547x191 + 441x192 + 271x193 + 8x194 + 27x195 + 722x196 + 4x197 + 267x198 + 849x199 + 389x200 + 32x201 + 857x202 + 219x203 + 507x204 + 99x205 + 851x206 + 873x207 + 627x208 + 828x209 + 104x210 + 530x211 + 369x212 + 779x213 + 415x214 + 106x215 + 568x216 + 403x217 + 982x218 + 150x219 + 352x220 + 809x221 + 558x222 + 437x223 + 208x224 + 629x225 + 90x226 + 518x227 + 386x228 + 691x229 + 83x230 + 201x231 + 633x232 + 328x233 + 246x234 + 744x235 + 827x236 + 548x237 + 272x238 + 273x239 + 206x240 + 228x241 + 550x242 + 842x243 + 980x244 + 381x245 + 431x246 + 451x247 + 422x248 + 56x249 + 894x250 <=31408 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