maximize objective: + 909x1 + 617x2 + 704x3 + 815x4 + 853x5 + 892x6 + 851x7 + 769x8 + 688x9 + 1005x10 + 461x11 + 386x12 + 781x13 + 1081x14 + 821x15 + 912x16 + 649x17 + 1247x18 + 704x19 + 614x20 + 911x21 + 915x22 + 685x23 + 862x24 + 856x25 + 619x26 + 655x27 + 893x28 + 859x29 + 866x30 + 701x31 + 634x32 + 729x33 + 590x34 + 790x35 + 523x36 + 463x37 + 810x38 + 971x39 + 1032x40 + 593x41 + 625x42 + 1020x43 + 766x44 + 791x45 + 472x46 + 656x47 + 885x48 + 794x49 + 499x50 + 547x51 + 813x52 + 271x53 + 714x54 + 563x55 + 484x56 + 528x57 + 1009x58 + 719x59 + 775x60 + 496x61 + 1127x62 + 702x63 + 380x64 + 848x65 + 646x66 + 857x67 + 435x68 + 850x69 + 917x70 + 657x71 + 830x72 + 629x73 + 944x74 + 1052x75 + 1084x76 + 936x77 + 756x78 + 962x79 + 641x80 + 590x81 + 926x82 + 933x83 + 888x84 + 894x85 + 506x86 + 698x87 + 821x88 + 668x89 + 741x90 + 583x91 + 885x92 + 747x93 + 1150x94 + 909x95 + 621x96 + 805x97 + 624x98 + 708x99 + 526x100 subject to constr1: + 21x1 + 619x2 + 736x3 + 453x4 + 196x5 + 636x6 + 849x7 + 94x8 + 674x9 + 728x10 + 866x11 + 12x12 + 903x13 + 696x14 + 154x15 + 240x16 + 679x17 + 962x18 + 944x19 + 550x20 + 638x21 + 425x22 + 321x23 + 260x24 + 424x25 + 546x26 + 133x27 + 354x28 + 923x29 + 948x30 + 428x31 + 645x32 + 48x33 + 677x34 + 676x35 + 163x36 + 398x37 + 508x38 + 223x39 + 510x40 + 726x41 + 379x42 + 431x43 + 649x44 + 683x45 + 72x46 + 57x47 + 900x48 + 337x49 + 183x50 + 746x51 + 879x52 + 219x53 + 242x54 + 332x55 + 104x56 + 946x57 + 491x58 + 799x59 + 461x60 + 400x61 + 903x62 + 640x63 + 240x64 + 968x65 + 595x66 + 49x67 + 885x68 + 532x69 + 556x70 + 86x71 + 980x72 + 923x73 + 919x74 + 691x75 + 175x76 + 697x77 + 461x78 + 471x79 + 340x80 + 556x81 + 780x82 + 841x83 + 111x84 + 591x85 + 549x86 + 188x87 + 814x88 + 177x89 + 666x90 + 796x91 + 220x92 + 971x93 + 843x94 + 214x95 + 906x96 + 276x97 + 645x98 + 801x99 + 130x100 <=26241 constr2: + 685x1 + 473x2 + 278x3 + 841x4 + 667x5 + 150x6 + 488x7 + 351x8 + 303x9 + 678x10 + 268x11 + 431x12 + 304x13 + 657x14 + 7x15 + 831x16 + 195x17 + 787x18 + 370x19 + 839x20 + 608x21 + 190x22 + 646x23 + 242x24 + 660x25 + 408x26 + 511x27 + 245x28 + 253x29 + 130x30 + 770x31 + 250x32 + 345x33 + 910x34 + 919x35 + 188x36 + 302x37 + 134x38 + 717x39 + 471x40 + 496x41 + 116x42 + 831x43 + 271x44 + 939x45 + 749x46 + 610x47 + 854x48 + 567x49 + 508x50 + 332x51 + 618x52 + 44x53 + 840x54 + 460x55 + 276x56 + 426x57 + 813x58 + 403x59 + 80x60 + 730x61 + 620x62 + 622x63 + 365x64 + 169x65 + 321x66 + 800x67 + 269x68 + 795x69 + 736x70 + 474x71 + 673x72 + 665x73 + 887x74 + 986x75 + 876x76 + 536x77 + 489x78 + 380x79 + 908x80 + 481x81 + 144x82 + 739x83 + 975x84 + 311x85 + 264x86 + 709x87 + 379x88 + 397x89 + 459x90 + 202x91 + 620x92 + 324x93 + 640x94 + 379x95 + 204x96 + 981x97 + 883x98 + 227x99 + 20x100 <=25187 constr3: + 594x1 + 779x2 + 606x3 + 164x4 + 908x5 + 142x6 + 299x7 + 716x8 + 484x9 + 805x10 + 635x11 + 721x12 + 44x13 + 542x14 + 535x15 + 726x16 + 17x17 + 997x18 + 459x19 + 376x20 + 334x21 + 90x22 + 964x23 + 599x24 + 969x25 + 289x26 + 891x27 + 797x28 + 4x29 + 580x30 + 710x31 + 369x32 + 468x33 + 121x34 + 627x35 + 225x36 + 721x37 + 986x38 + 84x39 + 720x40 + 730x41 + 656x42 + 521x43 + 629x44 + 365x45 + 127x46 + 568x47 + 607x48 + 553x49 + 448x50 + 133x51 + 2x52 + 236x53 + 866x54 + 489x55 + 371x56 + 84x57 + 621x58 + 668x59 + 786x60 + 398x61 + 811x62 + 739x63 + 164x64 + 736x65 + 111x66 + 871x67 + 438x68 + 767x69 + 635x70 + 91x71 + 737x72 + 463x73 + 731x74 + 612x75 + 272x76 + 886x77 + 507x78 + 966x79 + 347x80 + 399x81 + 449x82 + 978x83 + 225x84 + 664x85 + 58x86 + 785x87 + 815x88 + 171x89 + 725x90 + 511x91 + 810x92 + 724x93 + 625x94 + 312x95 + 406x96 + 199x97 + 136x98 + 36x99 + 997x100 <=25932 constr4: + 342x1 + 649x2 + 586x3 + 70x4 + 197x5 + 518x6 + 5x7 + 363x8 + 287x9 + 634x10 + 297x11 + 289x12 + 284x13 + 631x14 + 907x15 + 389x16 + 185x17 + 587x18 + 68x19 + 659x20 + 750x21 + 953x22 + 116x23 + 654x24 + 941x25 + 414x26 + 102x27 + 622x28 + 280x29 + 306x30 + 176x31 + 860x32 + 447x33 + 539x34 + 271x35 + 479x36 + 228x37 + 696x38 + 924x39 + 685x40 + 343x41 + 643x42 + 640x43 + 537x44 + 952x45 + 124x46 + 353x47 + 142x48 + 464x49 + 484x50 + 66x51 + 927x52 + 126x53 + 152x54 + 3x55 + 100x56 + 946x57 + 986x58 + 294x59 + 724x60 + 115x61 + 766x62 + 940x63 + 829x64 + 249x65 + 162x66 + 363x67 + 181x68 + 403x69 + 283x70 + 721x71 + 862x72 + 302x73 + 246x74 + 517x75 + 883x76 + 1x77 + 317x78 + 410x79 + 437x80 + 636x81 + 430x82 + 714x83 + 259x84 + 922x85 + 667x86 + 52x87 + 78x88 + 34x89 + 260x90 + 278x91 + 80x92 + 929x93 + 388x94 + 569x95 + 312x96 + 781x97 + 253x98 + 518x99 + 542x100 <=22543 constr5: + 818x1 + 252x2 + 572x3 + 286x4 + 277x5 + 573x6 + 191x7 + 271x8 + 746x9 + 333x10 + 231x11 + 65x12 + 701x13 + 985x14 + 926x15 + 520x16 + 10x17 + 874x18 + 503x19 + 514x20 + 206x21 + 805x22 + 959x23 + 282x24 + 962x25 + 75x26 + 661x27 + 483x28 + 778x29 + 429x30 + 672x31 + 156x32 + 426x33 + 78x34 + 245x35 + 494x36 + 315x37 + 630x38 + 437x39 + 637x40 + 352x41 + 858x42 + 632x43 + 890x44 + 596x45 + 589x46 + 589x47 + 797x48 + 583x49 + 644x50 + 420x51 + 714x52 + 557x53 + 68x54 + 913x55 + 75x56 + 236x57 + 996x58 + 945x59 + 127x60 + 377x61 + 954x62 + 433x63 + 70x64 + 890x65 + 799x66 + 404x67 + 20x68 + 401x69 + 538x70 + 937x71 + 838x72 + 5x73 + 773x74 + 717x75 + 848x76 + 424x77 + 561x78 + 334x79 + 330x80 + 849x81 + 346x82 + 763x83 + 518x84 + 887x85 + 610x86 + 996x87 + 194x88 + 98x89 + 815x90 + 437x91 + 565x92 + 417x93 + 972x94 + 921x95 + 252x96 + 963x97 + 648x98 + 1x99 + 10x100 <=26437 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