maximize objective: + 504x1 + 800x2 + 801x3 + 1049x4 + 588x5 + 787x6 + 849x7 + 682x8 + 731x9 + 302x10 + 930x11 + 653x12 + 337x13 + 742x14 + 1080x15 + 709x16 + 593x17 + 816x18 + 1009x19 + 811x20 + 1132x21 + 894x22 + 987x23 + 768x24 + 660x25 + 498x26 + 670x27 + 1019x28 + 679x29 + 767x30 + 589x31 + 722x32 + 944x33 + 1076x34 + 1019x35 + 382x36 + 685x37 + 652x38 + 686x39 + 705x40 + 1009x41 + 858x42 + 807x43 + 1011x44 + 626x45 + 449x46 + 714x47 + 428x48 + 819x49 + 567x50 + 716x51 + 935x52 + 662x53 + 425x54 + 805x55 + 802x56 + 936x57 + 840x58 + 895x59 + 856x60 + 1036x61 + 889x62 + 1177x63 + 910x64 + 888x65 + 801x66 + 1038x67 + 628x68 + 786x69 + 485x70 + 895x71 + 459x72 + 599x73 + 858x74 + 313x75 + 739x76 + 836x77 + 463x78 + 846x79 + 425x80 + 857x81 + 994x82 + 543x83 + 1176x84 + 626x85 + 567x86 + 264x87 + 912x88 + 630x89 + 629x90 + 810x91 + 606x92 + 599x93 + 779x94 + 579x95 + 1006x96 + 810x97 + 671x98 + 945x99 + 749x100 subject to constr1: + 5x1 + 638x2 + 952x3 + 501x4 + 926x5 + 267x6 + 878x7 + 459x8 + 826x9 + 99x10 + 201x11 + 870x12 + 468x13 + 782x14 + 219x15 + 363x16 + 213x17 + 969x18 + 925x19 + 848x20 + 905x21 + 71x22 + 827x23 + 449x24 + 504x25 + 190x26 + 697x27 + 984x28 + 702x29 + 729x30 + 424x31 + 85x32 + 306x33 + 881x34 + 518x35 + 91x36 + 647x37 + 698x38 + 353x39 + 487x40 + 924x41 + 566x42 + 866x43 + 566x44 + 307x45 + 564x46 + 105x47 + 405x48 + 772x49 + 62x50 + 20x51 + 824x52 + 551x53 + 894x54 + 679x55 + 640x56 + 916x57 + 974x58 + 370x59 + 741x60 + 347x61 + 337x62 + 613x63 + 302x64 + 682x65 + 157x66 + 708x67 + 275x68 + 393x69 + 470x70 + 763x71 + 63x72 + 311x73 + 257x74 + 40x75 + 486x76 + 587x77 + 773x78 + 603x79 + 66x80 + 218x81 + 977x82 + 295x83 + 590x84 + 603x85 + 285x86 + 277x87 + 447x88 + 844x89 + 802x90 + 173x91 + 157x92 + 98x93 + 856x94 + 243x95 + 821x96 + 491x97 + 628x98 + 130x99 + 748x100 <=25810 constr2: + 100x1 + 606x2 + 436x3 + 611x4 + 290x5 + 667x6 + 805x7 + 77x8 + 625x9 + 56x10 + 883x11 + 577x12 + 70x13 + 657x14 + 806x15 + 224x16 + 500x17 + 92x18 + 207x19 + 254x20 + 368x21 + 801x22 + 249x23 + 985x24 + 94x25 + 142x26 + 122x27 + 754x28 + 415x29 + 484x30 + 824x31 + 206x32 + 945x33 + 779x34 + 676x35 + 11x36 + 413x37 + 326x38 + 600x39 + 859x40 + 375x41 + 942x42 + 87x43 + 931x44 + 96x45 + 543x46 + 505x47 + 880x48 + 83x49 + 509x50 + 259x51 + 438x52 + 49x53 + 364x54 + 336x55 + 743x56 + 100x57 + 162x58 + 730x59 + 902x60 + 614x61 + 646x62 + 886x63 + 721x64 + 200x65 + 541x66 + 531x67 + 64x68 + 553x69 + 24x70 + 224x71 + 192x72 + 189x73 + 606x74 + 336x75 + 734x76 + 385x77 + 35x78 + 400x79 + 13x80 + 359x81 + 910x82 + 202x83 + 989x84 + 534x85 + 683x86 + 528x87 + 865x88 + 823x89 + 533x90 + 826x91 + 519x92 + 335x93 + 833x94 + 772x95 + 902x96 + 839x97 + 19x98 + 256x99 + 561x100 <=23906 constr3: + 830x1 + 49x2 + 71x3 + 741x4 + 353x5 + 338x6 + 495x7 + 356x8 + 344x9 + 868x10 + 394x11 + 151x12 + 736x13 + 551x14 + 548x15 + 429x16 + 720x17 + 909x18 + 515x19 + 14x20 + 900x21 + 215x22 + 612x23 + 15x24 + 611x25 + 726x26 + 298x27 + 427x28 + 473x29 + 62x30 + 85x31 + 910x32 + 451x33 + 955x34 + 891x35 + 241x36 + 326x37 + 72x38 + 634x39 + 83x40 + 862x41 + 739x42 + 985x43 + 126x44 + 559x45 + 34x46 + 785x47 + 429x48 + 822x49 + 228x50 + 343x51 + 231x52 + 837x53 + 119x54 + 31x55 + 557x56 + 720x57 + 37x58 + 639x59 + 586x60 + 643x61 + 94x62 + 993x63 + 815x64 + 640x65 + 20x66 + 262x67 + 500x68 + 194x69 + 392x70 + 802x71 + 125x72 + 146x73 + 840x74 + 260x75 + 379x76 + 572x77 + 605x78 + 842x79 + 350x80 + 72x81 + 317x82 + 422x83 + 858x84 + 842x85 + 502x86 + 2x87 + 929x88 + 33x89 + 742x90 + 797x91 + 666x92 + 831x93 + 418x94 + 163x95 + 828x96 + 406x97 + 860x98 + 886x99 + 166x100 <=24141 constr4: + 285x1 + 459x2 + 23x3 + 914x4 + 420x5 + 930x6 + 898x7 + 652x8 + 686x9 + 161x10 + 925x11 + 774x12 + 23x13 + 123x14 + 982x15 + 81x16 + 522x17 + 964x18 + 423x19 + 211x20 + 164x21 + 312x22 + 667x23 + 867x24 + 381x25 + 755x26 + 293x27 + 30x28 + 308x29 + 749x30 + 828x31 + 655x32 + 487x33 + 386x34 + 833x35 + 568x36 + 997x37 + 730x38 + 941x39 + 995x40 + 213x41 + 477x42 + 914x43 + 975x44 + 242x45 + 852x46 + 616x47 + 83x48 + 885x49 + 824x50 + 396x51 + 331x52 + 49x53 + 484x54 + 432x55 + 622x56 + 572x57 + 705x58 + 749x59 + 116x60 + 922x61 + 525x62 + 977x63 + 759x64 + 929x65 + 626x66 + 440x67 + 433x68 + 437x69 + 456x70 + 555x71 + 527x72 + 169x73 + 210x74 + 203x75 + 376x76 + 82x77 + 209x78 + 813x79 + 728x80 + 644x81 + 443x82 + 539x83 + 978x84 + 176x85 + 257x86 + 173x87 + 737x88 + 852x89 + 211x90 + 644x91 + 310x92 + 145x93 + 292x94 + 579x95 + 807x96 + 371x97 + 518x98 + 564x99 + 3x100 <=26279 constr5: + 851x1 + 123x2 + 966x3 + 976x4 + 668x5 + 128x6 + 927x7 + 929x8 + 215x9 + 162x10 + 347x11 + 344x12 + 374x13 + 901x14 + 674x15 + 991x16 + 515x17 + 129x18 + 563x19 + 558x20 + 838x21 + 635x22 + 371x23 + 220x24 + 121x25 + 652x26 + 243x27 + 966x28 + 508x29 + 44x30 + 132x31 + 232x32 + 367x33 + 476x34 + 524x35 + 607x36 + 827x37 + 414x38 + 894x39 + 202x40 + 791x41 + 174x42 + 123x43 + 404x44 + 356x45 + 85x46 + 602x47 + 202x48 + 119x49 + 89x50 + 400x51 + 804x52 + 313x53 + 214x54 + 456x55 + 910x56 + 849x57 + 931x58 + 169x59 + 708x60 + 436x61 + 836x62 + 818x63 + 759x64 + 434x65 + 291x66 + 942x67 + 986x68 + 328x69 + 366x70 + 424x71 + 987x72 + 820x73 + 974x74 + 405x75 + 146x76 + 269x77 + 68x78 + 331x79 + 595x80 + 830x81 + 164x82 + 773x83 + 427x84 + 694x85 + 71x86 + 244x87 + 669x88 + 41x89 + 490x90 + 685x91 + 113x92 + 884x93 + 104x94 + 269x95 + 217x96 + 51x97 + 72x98 + 756x99 + 59x100 <=24071 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 end