maximize objective: + 731x1 + 713x2 + 577x3 + 931x4 + 377x5 + 677x6 + 541x7 + 822x8 + 709x9 + 602x10 + 555x11 + 630x12 + 444x13 + 939x14 + 606x15 + 404x16 + 817x17 + 449x18 + 528x19 + 878x20 + 810x21 + 722x22 + 279x23 + 692x24 + 842x25 + 1000x26 + 888x27 + 1089x28 + 734x29 + 1121x30 + 476x31 + 354x32 + 594x33 + 977x34 + 624x35 + 1110x36 + 905x37 + 555x38 + 917x39 + 767x40 + 753x41 + 791x42 + 943x43 + 809x44 + 592x45 + 323x46 + 1103x47 + 848x48 + 879x49 + 629x50 + 964x51 + 603x52 + 474x53 + 609x54 + 545x55 + 428x56 + 741x57 + 553x58 + 683x59 + 634x60 + 484x61 + 601x62 + 507x63 + 827x64 + 758x65 + 427x66 + 667x67 + 707x68 + 639x69 + 757x70 + 1038x71 + 533x72 + 1116x73 + 809x74 + 389x75 + 784x76 + 922x77 + 570x78 + 811x79 + 913x80 + 780x81 + 674x82 + 636x83 + 763x84 + 637x85 + 1181x86 + 905x87 + 827x88 + 1013x89 + 519x90 + 548x91 + 983x92 + 268x93 + 888x94 + 894x95 + 624x96 + 387x97 + 636x98 + 629x99 + 422x100 + 831x101 + 437x102 + 650x103 + 676x104 + 677x105 + 433x106 + 756x107 + 1074x108 + 1078x109 + 1029x110 + 527x111 + 684x112 + 1024x113 + 442x114 + 818x115 + 753x116 + 731x117 + 719x118 + 748x119 + 978x120 + 882x121 + 572x122 + 720x123 + 694x124 + 961x125 + 898x126 + 803x127 + 915x128 + 708x129 + 609x130 + 533x131 + 1005x132 + 338x133 + 616x134 + 585x135 + 994x136 + 1188x137 + 627x138 + 528x139 + 608x140 + 733x141 + 799x142 + 671x143 + 554x144 + 855x145 + 1189x146 + 844x147 + 526x148 + 895x149 + 600x150 + 508x151 + 621x152 + 973x153 + 750x154 + 955x155 + 387x156 + 642x157 + 480x158 + 404x159 + 891x160 + 1057x161 + 908x162 + 778x163 + 737x164 + 687x165 + 610x166 + 917x167 + 839x168 + 1000x169 + 599x170 + 642x171 + 712x172 + 590x173 + 840x174 + 1048x175 + 996x176 + 954x177 + 983x178 + 676x179 + 418x180 + 786x181 + 532x182 + 561x183 + 965x184 + 738x185 + 613x186 + 1089x187 + 752x188 + 477x189 + 772x190 + 592x191 + 781x192 + 932x193 + 757x194 + 1039x195 + 559x196 + 716x197 + 755x198 + 484x199 + 650x200 + 506x201 + 792x202 + 1070x203 + 700x204 + 657x205 + 825x206 + 978x207 + 484x208 + 740x209 + 1041x210 + 468x211 + 798x212 + 972x213 + 830x214 + 1077x215 + 503x216 + 584x217 + 771x218 + 795x219 + 539x220 + 969x221 + 811x222 + 1040x223 + 960x224 + 466x225 + 584x226 + 1007x227 + 730x228 + 948x229 + 799x230 + 890x231 + 882x232 + 1056x233 + 645x234 + 869x235 + 562x236 + 953x237 + 777x238 + 716x239 + 1098x240 + 992x241 + 505x242 + 649x243 + 981x244 + 1114x245 + 639x246 + 706x247 + 843x248 + 458x249 + 935x250 subject to constr1: + 785x1 + 51x2 + 304x3 + 860x4 + 852x5 + 451x6 + 353x7 + 127x8 + 642x9 + 664x10 + 667x11 + 523x12 + 599x13 + 433x14 + 528x15 + 454x16 + 126x17 + 136x18 + 498x19 + 540x20 + 49x21 + 227x22 + 27x23 + 542x24 + 521x25 + 252x26 + 542x27 + 586x28 + 676x29 + 887x30 + 297x31 + 541x32 + 793x33 + 510x34 + 839x35 + 867x36 + 340x37 + 135x38 + 88x39 + 107x40 + 682x41 + 200x42 + 775x43 + 499x44 + 124x45 + 384x46 + 806x47 + 335x48 + 755x49 + 141x50 + 892x51 + 856x52 + 160x53 + 365x54 + 10x55 + 382x56 + 609x57 + 421x58 + 985x59 + 77x60 + 810x61 + 186x62 + 411x63 + 681x64 + 889x65 + 19x66 + 555x67 + 370x68 + 304x69 + 611x70 + 870x71 + 133x72 + 912x73 + 728x74 + 342x75 + 784x76 + 954x77 + 85x78 + 210x79 + 667x80 + 493x81 + 600x82 + 655x83 + 255x84 + 679x85 + 818x86 + 629x87 + 472x88 + 996x89 + 818x90 + 18x91 + 866x92 + 183x93 + 232x94 + 175x95 + 828x96 + 347x97 + 562x98 + 932x99 + 15x100 + 896x101 + 8x102 + 731x103 + 221x104 + 430x105 + 472x106 + 239x107 + 330x108 + 587x109 + 881x110 + 756x111 + 212x112 + 764x113 + 160x114 + 91x115 + 409x116 + 486x117 + 261x118 + 84x119 + 356x120 + 82x121 + 322x122 + 882x123 + 7x124 + 938x125 + 760x126 + 84x127 + 656x128 + 814x129 + 218x130 + 97x131 + 659x132 + 260x133 + 6x134 + 577x135 + 443x136 + 635x137 + 127x138 + 683x139 + 65x140 + 510x141 + 436x142 + 419x143 + 552x144 + 369x145 + 638x146 + 384x147 + 358x148 + 453x149 + 843x150 + 374x151 + 706x152 + 571x153 + 910x154 + 536x155 + 301x156 + 371x157 + 59x158 + 667x159 + 427x160 + 938x161 + 771x162 + 987x163 + 599x164 + 460x165 + 68x166 + 966x167 + 535x168 + 999x169 + 557x170 + 538x171 + 660x172 + 363x173 + 196x174 + 975x175 + 400x176 + 874x177 + 785x178 + 293x179 + 421x180 + 372x181 + 342x182 + 692x183 + 786x184 + 704x185 + 29x186 + 749x187 + 525x188 + 466x189 + 736x190 + 180x191 + 766x192 + 975x193 + 406x194 + 257x195 + 409x196 + 17x197 + 906x198 + 27x199 + 289x200 + 602x201 + 491x202 + 780x203 + 997x204 + 242x205 + 92x206 + 930x207 + 60x208 + 457x209 + 217x210 + 763x211 + 896x212 + 492x213 + 478x214 + 566x215 + 916x216 + 328x217 + 759x218 + 241x219 + 197x220 + 663x221 + 879x222 + 910x223 + 425x224 + 253x225 + 706x226 + 140x227 + 874x228 + 137x229 + 89x230 + 383x231 + 857x232 + 524x233 + 896x234 + 568x235 + 467x236 + 932x237 + 441x238 + 586x239 + 661x240 + 597x241 + 23x242 + 385x243 + 822x244 + 980x245 + 826x246 + 483x247 + 848x248 + 595x249 + 885x250 <=94426 constr2: + 307x1 + 278x2 + 395x3 + 897x4 + 106x5 + 213x6 + 941x7 + 727x8 + 516x9 + 218x10 + 254x11 + 200x12 + 387x13 + 751x14 + 990x15 + 69x16 + 639x17 + 133x18 + 439x19 + 509x20 + 208x21 + 225x22 + 78x23 + 922x24 + 329x25 + 910x26 + 228x27 + 746x28 + 428x29 + 622x30 + 497x31 + 287x32 + 893x33 + 472x34 + 708x35 + 285x36 + 584x37 + 64x38 + 205x39 + 622x40 + 913x41 + 713x42 + 951x43 + 72x44 + 959x45 + 611x46 + 759x47 + 545x48 + 376x49 + 573x50 + 925x51 + 416x52 + 92x53 + 601x54 + 61x55 + 267x56 + 713x57 + 386x58 + 548x59 + 615x60 + 185x61 + 406x62 + 330x63 + 84x64 + 356x65 + 227x66 + 644x67 + 484x68 + 119x69 + 275x70 + 359x71 + 247x72 + 738x73 + 535x74 + 36x75 + 624x76 + 211x77 + 365x78 + 895x79 + 957x80 + 348x81 + 105x82 + 541x83 + 529x84 + 797x85 + 765x86 + 472x87 + 649x88 + 465x89 + 216x90 + 244x91 + 593x92 + 33x93 + 191x94 + 927x95 + 260x96 + 403x97 + 199x98 + 699x99 + 789x100 + 288x101 + 198x102 + 250x103 + 857x104 + 512x105 + 372x106 + 238x107 + 560x108 + 822x109 + 836x110 + 70x111 + 176x112 + 931x113 + 722x114 + 127x115 + 536x116 + 612x117 + 749x118 + 545x119 + 525x120 + 698x121 + 41x122 + 5x123 + 390x124 + 981x125 + 635x126 + 263x127 + 736x128 + 384x129 + 251x130 + 287x131 + 513x132 + 395x133 + 80x134 + 31x135 + 876x136 + 635x137 + 656x138 + 276x139 + 601x140 + 665x141 + 210x142 + 492x143 + 402x144 + 917x145 + 929x146 + 908x147 + 374x148 + 624x149 + 480x150 + 655x151 + 750x152 + 404x153 + 550x154 + 277x155 + 40x156 + 69x157 + 912x158 + 82x159 + 831x160 + 532x161 + 297x162 + 513x163 + 519x164 + 7x165 + 763x166 + 228x167 + 897x168 + 922x169 + 26x170 + 21x171 + 19x172 + 180x173 + 725x174 + 210x175 + 844x176 + 977x177 + 972x178 + 635x179 + 298x180 + 651x181 + 712x182 + 946x183 + 652x184 + 687x185 + 333x186 + 126x187 + 55x188 + 832x189 + 632x190 + 968x191 + 33x192 + 959x193 + 616x194 + 938x195 + 687x196 + 189x197 + 678x198 + 907x199 + 143x200 + 302x201 + 564x202 + 803x203 + 637x204 + 766x205 + 519x206 + 342x207 + 37x208 + 200x209 + 540x210 + 211x211 + 117x212 + 771x213 + 556x214 + 634x215 + 424x216 + 299x217 + 263x218 + 375x219 + 266x220 + 608x221 + 921x222 + 809x223 + 767x224 + 424x225 + 71x226 + 345x227 + 218x228 + 805x229 + 385x230 + 667x231 + 311x232 + 583x233 + 629x234 + 638x235 + 527x236 + 392x237 + 318x238 + 314x239 + 222x240 + 482x241 + 65x242 + 230x243 + 654x244 + 560x245 + 251x246 + 776x247 + 426x248 + 103x249 + 420x250 <=89840 constr3: + 537x1 + 58x2 + 922x3 + 341x4 + 334x5 + 321x6 + 800x7 + 432x8 + 438x9 + 328x10 + 679x11 + 731x12 + 252x13 + 728x14 + 220x15 + 556x16 + 532x17 + 618x18 + 218x19 + 676x20 + 621x21 + 574x22 + 438x23 + 187x24 + 276x25 + 750x26 + 396x27 + 327x28 + 730x29 + 720x30 + 379x31 + 92x32 + 42x33 + 830x34 + 105x35 + 738x36 + 573x37 + 454x38 + 607x39 + 977x40 + 841x41 + 15x42 + 666x43 + 766x44 + 406x45 + 354x46 + 783x47 + 123x48 + 111x49 + 549x50 + 203x51 + 39x52 + 368x53 + 134x54 + 493x55 + 58x56 + 547x57 + 100x58 + 613x59 + 975x60 + 162x61 + 237x62 + 753x63 + 847x64 + 548x65 + 766x66 + 979x67 + 857x68 + 632x69 + 790x70 + 476x71 + 196x72 + 403x73 + 602x74 + 119x75 + 288x76 + 249x77 + 390x78 + 485x79 + 80x80 + 757x81 + 48x82 + 36x83 + 912x84 + 425x85 + 877x86 + 487x87 + 270x88 + 540x89 + 112x90 + 579x91 + 978x92 + 111x93 + 838x94 + 31x95 + 157x96 + 94x97 + 371x98 + 633x99 + 267x100 + 222x101 + 426x102 + 456x103 + 551x104 + 195x105 + 654x106 + 421x107 + 763x108 + 438x109 + 132x110 + 657x111 + 460x112 + 544x113 + 628x114 + 205x115 + 927x116 + 506x117 + 484x118 + 907x119 + 927x120 + 600x121 + 51x122 + 160x123 + 177x124 + 385x125 + 557x126 + 598x127 + 774x128 + 16x129 + 164x130 + 419x131 + 126x132 + 55x133 + 553x134 + 707x135 + 252x136 + 672x137 + 829x138 + 918x139 + 477x140 + 700x141 + 811x142 + 809x143 + 736x144 + 695x145 + 585x146 + 925x147 + 76x148 + 394x149 + 730x150 + 354x151 + 341x152 + 62x153 + 660x154 + 482x155 + 309x156 + 401x157 + 594x158 + 21x159 + 657x160 + 498x161 + 218x162 + 416x163 + 491x164 + 452x165 + 68x166 + 268x167 + 481x168 + 516x169 + 263x170 + 520x171 + 847x172 + 603x173 + 827x174 + 30x175 + 586x176 + 659x177 + 230x178 + 141x179 + 176x180 + 481x181 + 327x182 + 308x183 + 31x184 + 486x185 + 772x186 + 706x187 + 700x188 + 341x189 + 548x190 + 213x191 + 744x192 + 484x193 + 620x194 + 969x195 + 242x196 + 339x197 + 34x198 + 60x199 + 863x200 + 863x201 + 179x202 + 867x203 + 346x204 + 19x205 + 517x206 + 55x207 + 435x208 + 106x209 + 963x210 + 133x211 + 168x212 + 391x213 + 692x214 + 129x215 + 263x216 + 585x217 + 234x218 + 183x219 + 271x220 + 767x221 + 187x222 + 966x223 + 946x224 + 839x225 + 778x226 + 990x227 + 83x228 + 646x229 + 683x230 + 419x231 + 70x232 + 535x233 + 585x234 + 97x235 + 108x236 + 660x237 + 80x238 + 270x239 + 451x240 + 862x241 + 201x242 + 373x243 + 591x244 + 892x245 + 872x246 + 360x247 + 812x248 + 757x249 + 447x250 <=87512 constr4: + 602x1 + 302x2 + 774x3 + 448x4 + 256x5 + 918x6 + 114x7 + 117x8 + 814x9 + 382x10 + 676x11 + 112x12 + 257x13 + 910x14 + 46x15 + 506x16 + 608x17 + 558x18 + 7x19 + 188x20 + 936x21 + 778x22 + 206x23 + 607x24 + 596x25 + 804x26 + 825x27 + 548x28 + 586x29 + 357x30 + 628x31 + 58x32 + 611x33 + 433x34 + 298x35 + 435x36 + 634x37 + 526x38 + 317x39 + 845x40 + 578x41 + 562x42 + 501x43 + 121x44 + 437x45 + 7x46 + 594x47 + 749x48 + 832x49 + 16x50 + 451x51 + 610x52 + 200x53 + 232x54 + 874x55 + 470x56 + 107x57 + 63x58 + 29x59 + 639x60 + 342x61 + 860x62 + 277x63 + 571x64 + 890x65 + 128x66 + 347x67 + 418x68 + 69x69 + 608x70 + 912x71 + 489x72 + 914x73 + 409x74 + 338x75 + 445x76 + 632x77 + 889x78 + 605x79 + 443x80 + 163x81 + 394x82 + 847x83 + 586x84 + 316x85 + 445x86 + 290x87 + 21x88 + 633x89 + 448x90 + 256x91 + 393x92 + 45x93 + 487x94 + 936x95 + 739x96 + 78x97 + 979x98 + 466x99 + 536x100 + 641x101 + 750x102 + 283x103 + 593x104 + 485x105 + 66x106 + 633x107 + 452x108 + 697x109 + 596x110 + 190x111 + 499x112 + 559x113 + 428x114 + 966x115 + 755x116 + 957x117 + 185x118 + 567x119 + 116x120 + 704x121 + 166x122 + 258x123 + 67x124 + 223x125 + 383x126 + 293x127 + 330x128 + 152x129 + 402x130 + 806x131 + 930x132 + 77x133 + 974x134 + 271x135 + 486x136 + 684x137 + 268x138 + 212x139 + 911x140 + 370x141 + 144x142 + 614x143 + 846x144 + 709x145 + 750x146 + 573x147 + 389x148 + 139x149 + 268x150 + 271x151 + 92x152 + 878x153 + 483x154 + 627x155 + 477x156 + 284x157 + 437x158 + 28x159 + 967x160 + 512x161 + 709x162 + 590x163 + 306x164 + 754x165 + 817x166 + 939x167 + 815x168 + 935x169 + 113x170 + 970x171 + 293x172 + 265x173 + 757x174 + 899x175 + 963x176 + 28x177 + 816x178 + 813x179 + 233x180 + 829x181 + 181x182 + 428x183 + 837x184 + 907x185 + 558x186 + 564x187 + 446x188 + 283x189 + 975x190 + 206x191 + 754x192 + 893x193 + 36x194 + 813x195 + 376x196 + 624x197 + 791x198 + 734x199 + 476x200 + 157x201 + 288x202 + 107x203 + 935x204 + 342x205 + 170x206 + 991x207 + 114x208 + 733x209 + 441x210 + 367x211 + 894x212 + 36x213 + 694x214 + 981x215 + 557x216 + 881x217 + 142x218 + 267x219 + 662x220 + 389x221 + 606x222 + 882x223 + 348x224 + 224x225 + 343x226 + 608x227 + 947x228 + 590x229 + 617x230 + 867x231 + 919x232 + 1000x233 + 72x234 + 895x235 + 412x236 + 978x237 + 329x238 + 985x239 + 884x240 + 304x241 + 267x242 + 986x243 + 917x244 + 720x245 + 246x246 + 330x247 + 479x248 + 78x249 + 812x250 <=95798 constr5: + 314x1 + 982x2 + 186x3 + 610x4 + 32x5 + 724x6 + 1x7 + 253x8 + 880x9 + 763x10 + 133x11 + 989x12 + 695x13 + 677x14 + 677x15 + 410x16 + 911x17 + 628x18 + 965x19 + 616x20 + 737x21 + 337x22 + 181x23 + 829x24 + 262x25 + 13x26 + 953x27 + 788x28 + 332x29 + 608x30 + 578x31 + 273x32 + 352x33 + 197x34 + 369x35 + 779x36 + 320x37 + 338x38 + 911x39 + 680x40 + 374x41 + 505x42 + 149x43 + 116x44 + 803x45 + 232x46 + 367x47 + 999x48 + 106x49 + 728x50 + 903x51 + 465x52 + 255x53 + 623x54 + 603x55 + 254x56 + 91x57 + 526x58 + 686x59 + 482x60 + 761x61 + 739x62 + 191x63 + 587x64 + 798x65 + 964x66 + 515x67 + 113x68 + 866x69 + 271x70 + 443x71 + 198x72 + 137x73 + 484x74 + 413x75 + 110x76 + 928x77 + 687x78 + 276x79 + 733x80 + 432x81 + 951x82 + 344x83 + 210x84 + 540x85 + 681x86 + 307x87 + 496x88 + 442x89 + 505x90 + 519x91 + 998x92 + 619x93 + 213x94 + 987x95 + 875x96 + 442x97 + 178x98 + 80x99 + 356x100 + 15x101 + 315x102 + 349x103 + 673x104 + 57x105 + 181x106 + 583x107 + 898x108 + 797x109 + 395x110 + 109x111 + 29x112 + 449x113 + 242x114 + 415x115 + 237x116 + 974x117 + 460x118 + 524x119 + 633x120 + 353x121 + 398x122 + 630x123 + 450x124 + 593x125 + 928x126 + 838x127 + 921x128 + 846x129 + 63x130 + 167x131 + 460x132 + 261x133 + 813x134 + 876x135 + 863x136 + 862x137 + 779x138 + 424x139 + 314x140 + 826x141 + 259x142 + 834x143 + 199x144 + 789x145 + 712x146 + 428x147 + 832x148 + 935x149 + 234x150 + 519x151 + 570x152 + 938x153 + 52x154 + 913x155 + 156x156 + 59x157 + 28x158 + 810x159 + 566x160 + 713x161 + 852x162 + 993x163 + 121x164 + 558x165 + 197x166 + 1x167 + 354x168 + 280x169 + 559x170 + 123x171 + 469x172 + 351x173 + 968x174 + 682x175 + 915x176 + 156x177 + 874x178 + 41x179 + 564x180 + 718x181 + 755x182 + 284x183 + 108x184 + 148x185 + 19x186 + 841x187 + 485x188 + 81x189 + 512x190 + 765x191 + 8x192 + 747x193 + 105x194 + 190x195 + 474x196 + 82x197 + 380x198 + 268x199 + 624x200 + 184x201 + 272x202 + 974x203 + 147x204 + 164x205 + 993x206 + 382x207 + 905x208 + 791x209 + 639x210 + 556x211 + 209x212 + 843x213 + 398x214 + 843x215 + 101x216 + 703x217 + 716x218 + 533x219 + 477x220 + 180x221 + 324x222 + 64x223 + 576x224 + 260x225 + 85x226 + 501x227 + 705x228 + 391x229 + 361x230 + 181x231 + 442x232 + 213x233 + 70x234 + 154x235 + 411x236 + 282x237 + 359x238 + 926x239 + 793x240 + 309x241 + 624x242 + 926x243 + 752x244 + 983x245 + 251x246 + 715x247 + 534x248 + 699x249 + 726x250 <=92823 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