maximize 
objective: + 542x1 + 1208x2 + 989x3 + 1132x4 + 857x5 + 764x6 + 688x7 + 609x8 + 751x9 + 958x10 + 700x11 + 816x12 + 520x13 + 663x14 + 797x15 + 699x16 + 744x17 + 468x18 + 400x19 + 681x20 + 551x21 + 1077x22 + 748x23 + 724x24 + 890x25 + 708x26 + 739x27 + 1000x28 + 862x29 + 860x30 + 885x31 + 626x32 + 788x33 + 614x34 + 720x35 + 1123x36 + 647x37 + 1073x38 + 494x39 + 400x40 + 891x41 + 1020x42 + 508x43 + 389x44 + 582x45 + 659x46 + 515x47 + 510x48 + 940x49 + 794x50 + 950x51 + 414x52 + 817x53 + 1018x54 + 666x55 + 885x56 + 678x57 + 746x58 + 742x59 + 684x60 + 624x61 + 657x62 + 788x63 + 505x64 + 649x65 + 820x66 + 695x67 + 786x68 + 723x69 + 628x70 + 762x71 + 500x72 + 754x73 + 916x74 + 447x75 + 1104x76 + 1041x77 + 1142x78 + 684x79 + 410x80 + 533x81 + 760x82 + 347x83 + 732x84 + 626x85 + 527x86 + 1056x87 + 545x88 + 978x89 + 720x90 + 561x91 + 964x92 + 655x93 + 448x94 + 629x95 + 930x96 + 433x97 + 782x98 + 625x99 + 1076x100 + 1054x101 + 686x102 + 765x103 + 1034x104 + 537x105 + 602x106 + 757x107 + 830x108 + 654x109 + 717x110 + 629x111 + 1158x112 + 712x113 + 895x114 + 267x115 + 910x116 + 443x117 + 621x118 + 1037x119 + 595x120 + 777x121 + 945x122 + 794x123 + 1016x124 + 677x125 + 883x126 + 964x127 + 831x128 + 886x129 + 480x130 + 655x131 + 485x132 + 553x133 + 600x134 + 906x135 + 827x136 + 379x137 + 516x138 + 469x139 + 794x140 + 266x141 + 1062x142 + 747x143 + 792x144 + 673x145 + 974x146 + 805x147 + 1053x148 + 867x149 + 856x150 + 737x151 + 669x152 + 457x153 + 726x154 + 816x155 + 1023x156 + 832x157 + 920x158 + 975x159 + 757x160 + 757x161 + 701x162 + 1079x163 + 502x164 + 674x165 + 903x166 + 768x167 + 555x168 + 955x169 + 618x170 + 675x171 + 472x172 + 561x173 + 734x174 + 593x175 + 1151x176 + 976x177 + 729x178 + 616x179 + 860x180 + 597x181 + 941x182 + 743x183 + 422x184 + 345x185 + 992x186 + 777x187 + 1040x188 + 524x189 + 684x190 + 576x191 + 714x192 + 728x193 + 832x194 + 705x195 + 649x196 + 839x197 + 681x198 + 643x199 + 428x200 + 798x201 + 581x202 + 855x203 + 731x204 + 335x205 + 698x206 + 748x207 + 1008x208 + 965x209 + 625x210 + 862x211 + 1046x212 + 981x213 + 859x214 + 475x215 + 827x216 + 604x217 + 453x218 + 470x219 + 836x220 + 631x221 + 652x222 + 535x223 + 856x224 + 838x225 + 565x226 + 840x227 + 940x228 + 470x229 + 961x230 + 915x231 + 735x232 + 601x233 + 734x234 + 410x235 + 558x236 + 393x237 + 559x238 + 611x239 + 759x240 + 747x241 + 920x242 + 818x243 + 398x244 + 610x245 + 789x246 + 624x247 + 491x248 + 881x249 + 809x250 
subject to 
constr1: + 825x1 + 628x2 + 788x3 + 788x4 + 970x5 + 63x6 + 92x7 + 414x8 + 1000x9 + 98x10 + 397x11 + 767x12 + 547x13 + 281x14 + 579x15 + 626x16 + 695x17 + 313x18 + 617x19 + 414x20 + 739x21 + 734x22 + 941x23 + 626x24 + 399x25 + 229x26 + 133x27 + 263x28 + 23x29 + 328x30 + 296x31 + 882x32 + 537x33 + 365x34 + 84x35 + 511x36 + 984x37 + 541x38 + 619x39 + 76x40 + 191x41 + 829x42 + 365x43 + 18x44 + 92x45 + 542x46 + 500x47 + 837x48 + 482x49 + 925x50 + 841x51 + 158x52 + 245x53 + 754x54 + 962x55 + 684x56 + 99x57 + 593x58 + 536x59 + 319x60 + 191x61 + 170x62 + 794x63 + 881x64 + 493x65 + 289x66 + 883x67 + 330x68 + 580x69 + 189x70 + 180x71 + 250x72 + 903x73 + 161x74 + 417x75 + 845x76 + 962x77 + 884x78 + 68x79 + 229x80 + 508x81 + 344x82 + 605x83 + 267x84 + 481x85 + 269x86 + 612x87 + 35x88 + 421x89 + 179x90 + 716x91 + 946x92 + 312x93 + 681x94 + 415x95 + 57x96 + 107x97 + 241x98 + 321x99 + 911x100 + 767x101 + 928x102 + 14x103 + 295x104 + 568x105 + 974x106 + 738x107 + 174x108 + 699x109 + 330x110 + 93x111 + 867x112 + 958x113 + 763x114 + 251x115 + 509x116 + 32x117 + 54x118 + 612x119 + 486x120 + 644x121 + 530x122 + 144x123 + 792x124 + 656x125 + 965x126 + 368x127 + 3x128 + 869x129 + 996x130 + 645x131 + 356x132 + 7x133 + 157x134 + 858x135 + 933x136 + 618x137 + 317x138 + 696x139 + 375x140 + 73x141 + 761x142 + 413x143 + 407x144 + 86x145 + 773x146 + 467x147 + 860x148 + 8x149 + 205x150 + 714x151 + 436x152 + 888x153 + 431x154 + 781x155 + 249x156 + 953x157 + 605x158 + 821x159 + 903x160 + 338x161 + 267x162 + 520x163 + 514x164 + 990x165 + 597x166 + 175x167 + 474x168 + 862x169 + 102x170 + 235x171 + 94x172 + 235x173 + 768x174 + 365x175 + 562x176 + 526x177 + 670x178 + 127x179 + 271x180 + 371x181 + 67x182 + 629x183 + 342x184 + 649x185 + 761x186 + 627x187 + 917x188 + 82x189 + 273x190 + 278x191 + 837x192 + 611x193 + 629x194 + 490x195 + 210x196 + 555x197 + 519x198 + 999x199 + 592x200 + 411x201 + 480x202 + 482x203 + 421x204 + 329x205 + 799x206 + 548x207 + 474x208 + 140x209 + 615x210 + 445x211 + 440x212 + 376x213 + 535x214 + 638x215 + 861x216 + 655x217 + 336x218 + 98x219 + 908x220 + 147x221 + 890x222 + 202x223 + 942x224 + 926x225 + 363x226 + 978x227 + 10x228 + 766x229 + 443x230 + 320x231 + 85x232 + 449x233 + 931x234 + 142x235 + 186x236 + 188x237 + 551x238 + 827x239 + 576x240 + 939x241 + 472x242 + 286x243 + 38x244 + 663x245 + 290x246 + 749x247 + 399x248 + 11x249 + 909x250 <=92989 
constr2: + 25x1 + 773x2 + 709x3 + 695x4 + 322x5 + 480x6 + 525x7 + 380x8 + 521x9 + 923x10 + 375x11 + 210x12 + 394x13 + 42x14 + 232x15 + 176x16 + 102x17 + 198x18 + 794x19 + 271x20 + 26x21 + 196x22 + 464x23 + 967x24 + 393x25 + 945x26 + 560x27 + 331x28 + 234x29 + 261x30 + 891x31 + 96x32 + 817x33 + 42x34 + 478x35 + 944x36 + 630x37 + 307x38 + 487x39 + 529x40 + 71x41 + 701x42 + 822x43 + 444x44 + 278x45 + 215x46 + 320x47 + 566x48 + 595x49 + 473x50 + 661x51 + 992x52 + 536x53 + 718x54 + 332x55 + 71x56 + 391x57 + 16x58 + 388x59 + 139x60 + 860x61 + 111x62 + 777x63 + 216x64 + 297x65 + 986x66 + 928x67 + 446x68 + 381x69 + 641x70 + 732x71 + 825x72 + 692x73 + 840x74 + 4x75 + 784x76 + 453x77 + 180x78 + 114x79 + 85x80 + 37x81 + 771x82 + 148x83 + 297x84 + 247x85 + 422x86 + 1000x87 + 77x88 + 784x89 + 621x90 + 617x91 + 817x92 + 660x93 + 205x94 + 453x95 + 757x96 + 170x97 + 852x98 + 914x99 + 329x100 + 560x101 + 289x102 + 484x103 + 916x104 + 95x105 + 276x106 + 504x107 + 958x108 + 500x109 + 105x110 + 317x111 + 958x112 + 652x113 + 60x114 + 143x115 + 555x116 + 772x117 + 643x118 + 459x119 + 524x120 + 492x121 + 566x122 + 945x123 + 414x124 + 697x125 + 159x126 + 309x127 + 840x128 + 20x129 + 866x130 + 284x131 + 431x132 + 183x133 + 651x134 + 39x135 + 923x136 + 337x137 + 457x138 + 361x139 + 943x140 + 198x141 + 518x142 + 473x143 + 505x144 + 383x145 + 820x146 + 686x147 + 917x148 + 994x149 + 383x150 + 540x151 + 577x152 + 10x153 + 637x154 + 755x155 + 832x156 + 996x157 + 645x158 + 42x159 + 520x160 + 543x161 + 458x162 + 807x163 + 451x164 + 297x165 + 255x166 + 766x167 + 61x168 + 425x169 + 39x170 + 538x171 + 266x172 + 353x173 + 75x174 + 198x175 + 981x176 + 983x177 + 971x178 + 273x179 + 320x180 + 591x181 + 929x182 + 686x183 + 38x184 + 19x185 + 360x186 + 352x187 + 994x188 + 381x189 + 999x190 + 885x191 + 254x192 + 618x193 + 573x194 + 937x195 + 99x196 + 911x197 + 220x198 + 335x199 + 19x200 + 177x201 + 654x202 + 984x203 + 239x204 + 269x205 + 256x206 + 876x207 + 578x208 + 620x209 + 945x210 + 89x211 + 251x212 + 972x213 + 464x214 + 566x215 + 411x216 + 310x217 + 8x218 + 262x219 + 602x220 + 404x221 + 613x222 + 213x223 + 201x224 + 702x225 + 596x226 + 588x227 + 871x228 + 65x229 + 492x230 + 28x231 + 116x232 + 823x233 + 678x234 + 36x235 + 727x236 + 284x237 + 133x238 + 35x239 + 353x240 + 341x241 + 845x242 + 773x243 + 982x244 + 273x245 + 230x246 + 766x247 + 135x248 + 789x249 + 525x250 <=90399 
constr3: + 471x1 + 912x2 + 648x3 + 775x4 + 402x5 + 617x6 + 667x7 + 653x8 + 127x9 + 815x10 + 295x11 + 909x12 + 428x13 + 73x14 + 11x15 + 926x16 + 791x17 + 610x18 + 228x19 + 906x20 + 740x21 + 833x22 + 843x23 + 57x24 + 421x25 + 570x26 + 429x27 + 129x28 + 868x29 + 746x30 + 773x31 + 136x32 + 881x33 + 965x34 + 962x35 + 829x36 + 436x37 + 999x38 + 496x39 + 849x40 + 842x41 + 996x42 + 168x43 + 369x44 + 656x45 + 313x46 + 966x47 + 728x48 + 728x49 + 319x50 + 662x51 + 598x52 + 358x53 + 179x54 + 166x55 + 940x56 + 281x57 + 622x58 + 641x59 + 355x60 + 66x61 + 253x62 + 465x63 + 503x64 + 318x65 + 584x66 + 154x67 + 246x68 + 372x69 + 939x70 + 591x71 + 32x72 + 13x73 + 798x74 + 981x75 + 430x76 + 438x77 + 660x78 + 560x79 + 619x80 + 319x81 + 606x82 + 177x83 + 363x84 + 97x85 + 950x86 + 765x87 + 525x88 + 593x89 + 531x90 + 69x91 + 762x92 + 623x93 + 295x94 + 407x95 + 803x96 + 134x97 + 145x98 + 599x99 + 860x100 + 800x101 + 731x102 + 461x103 + 722x104 + 73x105 + 388x106 + 829x107 + 941x108 + 576x109 + 339x110 + 81x111 + 646x112 + 956x113 + 704x114 + 167x115 + 944x116 + 5x117 + 178x118 + 977x119 + 894x120 + 518x121 + 936x122 + 440x123 + 727x124 + 107x125 + 448x126 + 96x127 + 884x128 + 295x129 + 41x130 + 866x131 + 557x132 + 922x133 + 74x134 + 733x135 + 719x136 + 140x137 + 182x138 + 1x139 + 879x140 + 173x141 + 510x142 + 929x143 + 762x144 + 488x145 + 932x146 + 445x147 + 676x148 + 899x149 + 224x150 + 250x151 + 29x152 + 439x153 + 101x154 + 675x155 + 827x156 + 159x157 + 922x158 + 836x159 + 642x160 + 762x161 + 216x162 + 859x163 + 355x164 + 241x165 + 829x166 + 213x167 + 799x168 + 560x169 + 685x170 + 353x171 + 578x172 + 405x173 + 963x174 + 847x175 + 968x176 + 450x177 + 859x178 + 398x179 + 25x180 + 201x181 + 688x182 + 448x183 + 195x184 + 124x185 + 772x186 + 262x187 + 388x188 + 258x189 + 394x190 + 347x191 + 644x192 + 648x193 + 165x194 + 673x195 + 164x196 + 565x197 + 798x198 + 518x199 + 178x200 + 132x201 + 184x202 + 701x203 + 199x204 + 288x205 + 429x206 + 299x207 + 702x208 + 833x209 + 140x210 + 904x211 + 509x212 + 409x213 + 801x214 + 10x215 + 633x216 + 101x217 + 474x218 + 416x219 + 939x220 + 419x221 + 874x222 + 764x223 + 204x224 + 288x225 + 168x226 + 438x227 + 186x228 + 79x229 + 645x230 + 751x231 + 815x232 + 808x233 + 216x234 + 196x235 + 30x236 + 375x237 + 801x238 + 791x239 + 149x240 + 319x241 + 912x242 + 572x243 + 313x244 + 322x245 + 963x246 + 97x247 + 253x248 + 818x249 + 289x250 <=96305 
constr4: + 619x1 + 528x2 + 500x3 + 377x4 + 799x5 + 377x6 + 242x7 + 754x8 + 311x9 + 979x10 + 733x11 + 737x12 + 289x13 + 416x14 + 533x15 + 172x16 + 647x17 + 719x18 + 56x19 + 145x20 + 9x21 + 702x22 + 276x23 + 166x24 + 578x25 + 141x26 + 812x27 + 975x28 + 908x29 + 784x30 + 180x31 + 616x32 + 76x33 + 99x34 + 197x35 + 784x36 + 582x37 + 891x38 + 455x39 + 74x40 + 647x41 + 1000x42 + 553x43 + 842x44 + 460x45 + 124x46 + 402x47 + 157x48 + 430x49 + 738x50 + 797x51 + 157x52 + 522x53 + 727x54 + 526x55 + 606x56 + 57x57 + 130x58 + 592x59 + 572x60 + 596x61 + 90x62 + 241x63 + 104x64 + 334x65 + 188x66 + 740x67 + 374x68 + 119x69 + 753x70 + 861x71 + 225x72 + 132x73 + 993x74 + 402x75 + 897x76 + 704x77 + 594x78 + 734x79 + 362x80 + 416x81 + 151x82 + 133x83 + 236x84 + 9x85 + 105x86 + 583x87 + 561x88 + 642x89 + 238x90 + 676x91 + 658x92 + 657x93 + 315x94 + 819x95 + 952x96 + 591x97 + 923x98 + 435x99 + 364x100 + 763x101 + 949x102 + 550x103 + 158x104 + 183x105 + 366x106 + 448x107 + 6x108 + 340x109 + 460x110 + 771x111 + 763x112 + 510x113 + 686x114 + 672x115 + 414x116 + 335x117 + 156x118 + 413x119 + 70x120 + 533x121 + 482x122 + 386x123 + 770x124 + 467x125 + 811x126 + 881x127 + 145x128 + 384x129 + 23x130 + 192x131 + 137x132 + 585x133 + 669x134 + 369x135 + 73x136 + 175x137 + 583x138 + 468x139 + 671x140 + 337x141 + 792x142 + 744x143 + 121x144 + 576x145 + 822x146 + 559x147 + 660x148 + 404x149 + 176x150 + 442x151 + 30x152 + 121x153 + 310x154 + 881x155 + 380x156 + 585x157 + 906x158 + 84x159 + 986x160 + 745x161 + 874x162 + 461x163 + 246x164 + 699x165 + 315x166 + 550x167 + 259x168 + 822x169 + 4x170 + 4x171 + 567x172 + 775x173 + 408x174 + 38x175 + 979x176 + 509x177 + 9x178 + 312x179 + 341x180 + 608x181 + 973x182 + 245x183 + 816x184 + 599x185 + 458x186 + 161x187 + 895x188 + 148x189 + 672x190 + 842x191 + 259x192 + 665x193 + 611x194 + 762x195 + 874x196 + 399x197 + 797x198 + 549x199 + 251x200 + 794x201 + 509x202 + 210x203 + 531x204 + 149x205 + 634x206 + 723x207 + 434x208 + 470x209 + 446x210 + 989x211 + 994x212 + 146x213 + 26x214 + 391x215 + 125x216 + 887x217 + 22x218 + 530x219 + 819x220 + 708x221 + 157x222 + 421x223 + 837x224 + 705x225 + 569x226 + 453x227 + 909x228 + 93x229 + 236x230 + 742x231 + 602x232 + 27x233 + 946x234 + 541x235 + 341x236 + 532x237 + 471x238 + 633x239 + 365x240 + 883x241 + 996x242 + 717x243 + 90x244 + 635x245 + 865x246 + 598x247 + 436x248 + 473x249 + 993x250 <=92416 
constr5: + 61x1 + 897x2 + 160x3 + 849x4 + 611x5 + 376x6 + 384x7 + 374x8 + 199x9 + 640x10 + 838x11 + 728x12 + 498x13 + 488x14 + 723x15 + 147x16 + 525x17 + 405x18 + 180x19 + 431x20 + 215x21 + 669x22 + 900x23 + 349x24 + 696x25 + 966x26 + 803x27 + 921x28 + 580x29 + 13x30 + 268x31 + 189x32 + 736x33 + 504x34 + 585x35 + 747x36 + 358x37 + 547x38 + 256x39 + 8x40 + 737x41 + 987x42 + 570x43 + 114x44 + 336x45 + 795x46 + 344x47 + 143x48 + 994x49 + 298x50 + 228x51 + 3x52 + 909x53 + 561x54 + 936x55 + 783x56 + 966x57 + 429x58 + 793x59 + 137x60 + 200x61 + 441x62 + 753x63 + 481x64 + 309x65 + 417x66 + 407x67 + 61x68 + 830x69 + 342x70 + 135x71 + 585x72 + 106x73 + 340x74 + 105x75 + 208x76 + 1000x77 + 965x78 + 850x79 + 488x80 + 156x81 + 764x82 + 389x83 + 113x84 + 843x85 + 41x86 + 208x87 + 476x88 + 104x89 + 920x90 + 94x91 + 435x92 + 314x93 + 551x94 + 367x95 + 172x96 + 835x97 + 347x98 + 697x99 + 509x100 + 345x101 + 2x102 + 333x103 + 807x104 + 722x105 + 958x106 + 138x107 + 499x108 + 922x109 + 758x110 + 699x111 + 165x112 + 220x113 + 484x114 + 95x115 + 202x116 + 66x117 + 126x118 + 891x119 + 658x120 + 292x121 + 277x122 + 842x123 + 477x124 + 162x125 + 728x126 + 887x127 + 624x128 + 746x129 + 406x130 + 177x131 + 717x132 + 985x133 + 86x134 + 660x135 + 203x136 + 1x137 + 798x138 + 246x139 + 291x140 + 454x141 + 717x142 + 913x143 + 677x144 + 1x145 + 769x146 + 353x147 + 454x148 + 384x149 + 920x150 + 194x151 + 922x152 + 484x153 + 279x154 + 588x155 + 601x156 + 745x157 + 139x158 + 745x159 + 555x160 + 243x161 + 643x162 + 676x163 + 123x164 + 444x165 + 938x166 + 954x167 + 430x168 + 736x169 + 686x170 + 885x171 + 23x172 + 405x173 + 634x174 + 172x175 + 194x176 + 155x177 + 100x178 + 53x179 + 957x180 + 223x181 + 237x182 + 821x183 + 220x184 + 7x185 + 868x186 + 461x187 + 189x188 + 213x189 + 505x190 + 477x191 + 511x192 + 132x193 + 738x194 + 141x195 + 73x196 + 180x197 + 455x198 + 320x199 + 502x200 + 254x201 + 918x202 + 926x203 + 953x204 + 574x205 + 390x206 + 30x207 + 706x208 + 338x209 + 892x210 + 496x211 + 614x212 + 998x213 + 520x214 + 740x215 + 865x216 + 494x217 + 156x218 + 5x219 + 531x220 + 176x221 + 97x222 + 810x223 + 698x224 + 759x225 + 538x226 + 698x227 + 421x228 + 568x229 + 781x230 + 821x231 + 260x232 + 722x233 + 421x234 + 819x235 + 472x236 + 144x237 + 113x238 + 693x239 + 798x240 + 119x241 + 961x242 + 333x243 + 235x244 + 46x245 + 686x246 + 414x247 + 527x248 + 111x249 + 120x250 <=90239 
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