maximize objective: + 1018x1 + 396x2 + 593x3 + 784x4 + 284x5 + 848x6 + 380x7 + 1077x8 + 948x9 + 928x10 + 786x11 + 605x12 + 638x13 + 877x14 + 930x15 + 500x16 + 441x17 + 785x18 + 726x19 + 720x20 + 535x21 + 633x22 + 595x23 + 794x24 + 1007x25 + 681x26 + 715x27 + 872x28 + 649x29 + 842x30 + 685x31 + 455x32 + 920x33 + 553x34 + 668x35 + 867x36 + 905x37 + 812x38 + 493x39 + 708x40 + 451x41 + 886x42 + 637x43 + 817x44 + 644x45 + 589x46 + 594x47 + 809x48 + 975x49 + 810x50 + 917x51 + 795x52 + 961x53 + 929x54 + 605x55 + 915x56 + 878x57 + 655x58 + 719x59 + 1084x60 + 785x61 + 891x62 + 615x63 + 681x64 + 721x65 + 771x66 + 599x67 + 681x68 + 690x69 + 721x70 + 693x71 + 826x72 + 709x73 + 694x74 + 803x75 + 940x76 + 712x77 + 650x78 + 671x79 + 582x80 + 371x81 + 599x82 + 590x83 + 909x84 + 749x85 + 684x86 + 566x87 + 1168x88 + 950x89 + 992x90 + 796x91 + 954x92 + 701x93 + 768x94 + 477x95 + 683x96 + 706x97 + 940x98 + 633x99 + 653x100 subject to constr1: + 731x1 + 176x2 + 418x3 + 308x4 + 107x5 + 946x6 + 121x7 + 669x8 + 431x9 + 276x10 + 690x11 + 18x12 + 115x13 + 978x14 + 217x15 + 70x16 + 479x17 + 347x18 + 461x19 + 101x20 + 524x21 + 353x22 + 556x23 + 390x24 + 992x25 + 93x26 + 735x27 + 610x28 + 136x29 + 512x30 + 20x31 + 250x32 + 330x33 + 346x34 + 527x35 + 114x36 + 728x37 + 979x38 + 424x39 + 791x40 + 83x41 + 690x42 + 115x43 + 233x44 + 309x45 + 785x46 + 370x47 + 409x48 + 861x49 + 60x50 + 746x51 + 706x52 + 392x53 + 638x54 + 408x55 + 295x56 + 388x57 + 250x58 + 930x59 + 727x60 + 61x61 + 994x62 + 397x63 + 667x64 + 963x65 + 866x66 + 490x67 + 131x68 + 345x69 + 729x70 + 775x71 + 196x72 + 199x73 + 861x74 + 127x75 + 235x76 + 266x77 + 483x78 + 961x79 + 349x80 + 592x81 + 689x82 + 353x83 + 822x84 + 86x85 + 676x86 + 201x87 + 942x88 + 933x89 + 416x90 + 21x91 + 570x92 + 392x93 + 731x94 + 705x95 + 968x96 + 823x97 + 984x98 + 675x99 + 377x100 <=24258 constr2: + 1000x1 + 61x2 + 448x3 + 660x4 + 122x5 + 523x6 + 583x7 + 358x8 + 930x9 + 633x10 + 39x11 + 587x12 + 442x13 + 567x14 + 130x15 + 378x16 + 492x17 + 531x18 + 30x19 + 364x20 + 234x21 + 638x22 + 728x23 + 236x24 + 843x25 + 99x26 + 199x27 + 491x28 + 324x29 + 893x30 + 945x31 + 458x32 + 733x33 + 6x34 + 360x35 + 399x36 + 886x37 + 967x38 + 66x39 + 995x40 + 317x41 + 962x42 + 764x43 + 329x44 + 402x45 + 584x46 + 724x47 + 199x48 + 876x49 + 204x50 + 641x51 + 266x52 + 747x53 + 676x54 + 498x55 + 715x56 + 661x57 + 411x58 + 944x59 + 547x60 + 36x61 + 640x62 + 429x63 + 344x64 + 958x65 + 996x66 + 546x67 + 372x68 + 211x69 + 494x70 + 658x71 + 202x72 + 980x73 + 367x74 + 407x75 + 760x76 + 920x77 + 644x78 + 744x79 + 163x80 + 37x81 + 94x82 + 119x83 + 94x84 + 456x85 + 379x86 + 812x87 + 360x88 + 238x89 + 147x90 + 956x91 + 424x92 + 750x93 + 290x94 + 519x95 + 129x96 + 629x97 + 632x98 + 452x99 + 517x100 <=24875 constr3: + 503x1 + 194x2 + 237x3 + 859x4 + 309x5 + 143x6 + 426x7 + 273x8 + 596x9 + 202x10 + 598x11 + 279x12 + 615x13 + 2x14 + 739x15 + 41x16 + 730x17 + 379x18 + 414x19 + 579x20 + 734x21 + 186x22 + 363x23 + 153x24 + 411x25 + 690x26 + 335x27 + 966x28 + 304x29 + 218x30 + 103x31 + 281x32 + 396x33 + 243x34 + 411x35 + 206x36 + 770x37 + 522x38 + 618x39 + 2x40 + 22x41 + 498x42 + 421x43 + 916x44 + 787x45 + 663x46 + 347x47 + 739x48 + 928x49 + 554x50 + 544x51 + 908x52 + 149x53 + 344x54 + 868x55 + 208x56 + 953x57 + 705x58 + 564x59 + 903x60 + 81x61 + 153x62 + 475x63 + 15x64 + 208x65 + 64x66 + 54x67 + 307x68 + 898x69 + 601x70 + 666x71 + 292x72 + 943x73 + 93x74 + 382x75 + 728x76 + 567x77 + 446x78 + 208x79 + 100x80 + 329x81 + 411x82 + 705x83 + 243x84 + 556x85 + 70x86 + 664x87 + 804x88 + 234x89 + 54x90 + 855x91 + 812x92 + 895x93 + 309x94 + 119x95 + 121x96 + 413x97 + 97x98 + 300x99 + 354x100 <=21839 constr4: + 533x1 + 716x2 + 432x3 + 231x4 + 94x5 + 795x6 + 377x7 + 572x8 + 813x9 + 190x10 + 234x11 + 708x12 + 904x13 + 395x14 + 666x15 + 71x16 + 330x17 + 979x18 + 982x19 + 132x20 + 333x21 + 938x22 + 351x23 + 925x24 + 219x25 + 191x26 + 236x27 + 669x28 + 11x29 + 639x30 + 13x31 + 130x32 + 356x33 + 66x34 + 589x35 + 115x36 + 130x37 + 962x38 + 101x39 + 824x40 + 916x41 + 599x42 + 680x43 + 891x44 + 74x45 + 44x46 + 922x47 + 706x48 + 687x49 + 391x50 + 239x51 + 897x52 + 250x53 + 108x54 + 997x55 + 66x56 + 899x57 + 470x58 + 209x59 + 477x60 + 848x61 + 466x62 + 627x63 + 781x64 + 117x65 + 19x66 + 992x67 + 752x68 + 630x69 + 508x70 + 211x71 + 756x72 + 876x73 + 314x74 + 451x75 + 721x76 + 720x77 + 678x78 + 770x79 + 355x80 + 147x81 + 491x82 + 963x83 + 708x84 + 905x85 + 868x86 + 233x87 + 419x88 + 553x89 + 987x90 + 464x91 + 871x92 + 301x93 + 440x94 + 764x95 + 810x96 + 106x97 + 344x98 + 611x99 + 389x100 <=25720 constr5: + 159x1 + 361x2 + 163x3 + 231x4 + 461x5 + 374x6 + 331x7 + 478x8 + 411x9 + 168x10 + 234x11 + 817x12 + 70x13 + 167x14 + 562x15 + 451x16 + 978x17 + 307x18 + 995x19 + 528x20 + 404x21 + 749x22 + 143x23 + 620x24 + 899x25 + 907x26 + 849x27 + 544x28 + 218x29 + 280x30 + 828x31 + 252x32 + 974x33 + 768x34 + 140x35 + 939x36 + 816x37 + 756x38 + 519x39 + 185x40 + 402x41 + 402x42 + 602x43 + 486x44 + 353x45 + 938x46 + 859x47 + 991x48 + 302x49 + 528x50 + 482x51 + 529x52 + 748x53 + 164x54 + 966x55 + 700x56 + 625x57 + 299x58 + 801x59 + 673x60 + 421x61 + 931x62 + 603x63 + 844x64 + 484x65 + 226x66 + 360x67 + 463x68 + 619x69 + 299x70 + 560x71 + 308x72 + 405x73 + 53x74 + 425x75 + 344x76 + 498x77 + 260x78 + 255x79 + 400x80 + 164x81 + 492x82 + 391x83 + 917x84 + 881x85 + 345x86 + 303x87 + 368x88 + 919x89 + 63x90 + 805x91 + 11x92 + 451x93 + 802x94 + 82x95 + 804x96 + 856x97 + 317x98 + 996x99 + 211x100 <=25411 constr6: + 392x1 + 84x2 + 110x3 + 590x4 + 52x5 + 112x6 + 752x7 + 737x8 + 83x9 + 222x10 + 102x11 + 959x12 + 772x13 + 102x14 + 682x15 + 14x16 + 780x17 + 267x18 + 400x19 + 550x20 + 142x21 + 200x22 + 773x23 + 432x24 + 189x25 + 869x26 + 751x27 + 590x28 + 874x29 + 876x30 + 563x31 + 950x32 + 958x33 + 286x34 + 544x35 + 982x36 + 967x37 + 820x38 + 663x39 + 599x40 + 451x41 + 383x42 + 559x43 + 226x44 + 94x45 + 118x46 + 114x47 + 35x48 + 651x49 + 843x50 + 922x51 + 455x52 + 108x53 + 493x54 + 185x55 + 702x56 + 50x57 + 971x58 + 514x59 + 328x60 + 618x61 + 53x62 + 995x63 + 42x64 + 214x65 + 554x66 + 279x67 + 110x68 + 159x69 + 504x70 + 965x71 + 763x72 + 555x73 + 168x74 + 739x75 + 202x76 + 714x77 + 85x78 + 872x79 + 251x80 + 312x81 + 153x82 + 876x83 + 731x84 + 91x85 + 278x86 + 944x87 + 646x88 + 985x89 + 884x90 + 389x91 + 892x92 + 17x93 + 248x94 + 565x95 + 973x96 + 126x97 + 631x98 + 147x99 + 412x100 <=24067 constr7: + 163x1 + 509x2 + 732x3 + 118x4 + 953x5 + 936x6 + 98x7 + 862x8 + 977x9 + 795x10 + 708x11 + 64x12 + 418x13 + 675x14 + 151x15 + 1x16 + 50x17 + 140x18 + 59x19 + 752x20 + 325x21 + 553x22 + 38x23 + 128x24 + 990x25 + 181x26 + 737x27 + 289x28 + 736x29 + 501x30 + 396x31 + 234x32 + 362x33 + 194x34 + 833x35 + 910x36 + 439x37 + 447x38 + 203x39 + 928x40 + 378x41 + 895x42 + 637x43 + 464x44 + 625x45 + 827x46 + 51x47 + 635x48 + 633x49 + 982x50 + 962x51 + 797x52 + 931x53 + 321x54 + 237x55 + 862x56 + 912x57 + 126x58 + 774x59 + 428x60 + 922x61 + 245x62 + 849x63 + 430x64 + 903x65 + 239x66 + 335x67 + 980x68 + 948x69 + 398x70 + 575x71 + 327x72 + 869x73 + 745x74 + 405x75 + 572x76 + 734x77 + 657x78 + 992x79 + 208x80 + 712x81 + 261x82 + 884x83 + 451x84 + 508x85 + 701x86 + 412x87 + 892x88 + 81x89 + 368x90 + 437x91 + 655x92 + 102x93 + 646x94 + 515x95 + 833x96 + 383x97 + 341x98 + 100x99 + 64x100 <=26371 constr8: + 952x1 + 117x2 + 310x3 + 731x4 + 394x5 + 562x6 + 249x7 + 565x8 + 847x9 + 916x10 + 269x11 + 808x12 + 311x13 + 448x14 + 554x15 + 443x16 + 65x17 + 372x18 + 865x19 + 995x20 + 249x21 + 981x22 + 213x23 + 595x24 + 764x25 + 657x26 + 513x27 + 251x28 + 19x29 + 516x30 + 721x31 + 186x32 + 763x33 + 634x34 + 384x35 + 19x36 + 745x37 + 809x38 + 212x39 + 513x40 + 838x41 + 988x42 + 827x43 + 962x44 + 679x45 + 799x46 + 731x47 + 165x48 + 449x49 + 183x50 + 781x51 + 923x52 + 622x53 + 588x54 + 160x55 + 998x56 + 770x57 + 861x58 + 308x59 + 932x60 + 324x61 + 562x62 + 357x63 + 34x64 + 997x65 + 616x66 + 956x67 + 817x68 + 11x69 + 503x70 + 60x71 + 545x72 + 490x73 + 194x74 + 721x75 + 944x76 + 751x77 + 123x78 + 137x79 + 64x80 + 44x81 + 149x82 + 223x83 + 404x84 + 562x85 + 366x86 + 292x87 + 905x88 + 985x89 + 779x90 + 316x91 + 172x92 + 193x93 + 761x94 + 593x95 + 352x96 + 575x97 + 892x98 + 762x99 + 956x100 <=26784 constr9: + 662x1 + 443x2 + 594x3 + 685x4 + 51x5 + 486x6 + 656x7 + 464x8 + 919x9 + 780x10 + 290x11 + 182x12 + 610x13 + 918x14 + 904x15 + 910x16 + 187x17 + 739x18 + 889x19 + 20x20 + 114x21 + 98x22 + 297x23 + 171x24 + 210x25 + 17x26 + 349x27 + 243x28 + 792x29 + 465x30 + 956x31 + 779x32 + 628x33 + 213x34 + 341x35 + 781x36 + 682x37 + 286x38 + 448x39 + 52x40 + 495x41 + 913x42 + 207x43 + 222x44 + 675x45 + 75x46 + 416x47 + 353x48 + 771x49 + 449x50 + 265x51 + 639x52 + 468x53 + 674x54 + 658x55 + 409x56 + 951x57 + 713x58 + 737x59 + 941x60 + 712x61 + 268x62 + 568x63 + 303x64 + 60x65 + 486x66 + 95x67 + 41x68 + 77x69 + 348x70 + 97x71 + 602x72 + 247x73 + 914x74 + 167x75 + 408x76 + 840x77 + 139x78 + 463x79 + 389x80 + 41x81 + 27x82 + 226x83 + 346x84 + 127x85 + 228x86 + 152x87 + 806x88 + 913x89 + 554x90 + 668x91 + 269x92 + 239x93 + 871x94 + 743x95 + 825x96 + 262x97 + 646x98 + 678x99 + 265x100 <=23226 constr10: + 470x1 + 432x2 + 410x3 + 60x4 + 168x5 + 264x6 + 179x7 + 859x8 + 80x9 + 263x10 + 396x11 + 186x12 + 414x13 + 550x14 + 77x15 + 925x16 + 12x17 + 719x18 + 715x19 + 794x20 + 510x21 + 27x22 + 319x23 + 106x24 + 349x25 + 10x26 + 273x27 + 79x28 + 763x29 + 163x30 + 410x31 + 381x32 + 468x33 + 393x34 + 916x35 + 808x36 + 400x37 + 458x38 + 283x39 + 825x40 + 370x41 + 534x42 + 680x43 + 815x44 + 760x45 + 116x46 + 617x47 + 448x48 + 649x49 + 204x50 + 394x51 + 477x52 + 384x53 + 636x54 + 826x55 + 230x56 + 323x57 + 123x58 + 597x59 + 546x60 + 9x61 + 528x62 + 109x63 + 140x64 + 983x65 + 24x66 + 183x67 + 511x68 + 313x69 + 544x70 + 782x71 + 840x72 + 297x73 + 673x74 + 731x75 + 398x76 + 409x77 + 373x78 + 215x79 + 578x80 + 568x81 + 210x82 + 118x83 + 238x84 + 398x85 + 206x86 + 124x87 + 543x88 + 47x89 + 749x90 + 268x91 + 682x92 + 210x93 + 314x94 + 84x95 + 656x96 + 463x97 + 52x98 + 730x99 + 737x100 <=20840 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