maximize objective: + 771x1 + 509x2 + 640x3 + 509x4 + 641x5 + 626x6 + 640x7 + 891x8 + 960x9 + 928x10 + 975x11 + 843x12 + 654x13 + 856x14 + 612x15 + 871x16 + 731x17 + 720x18 + 771x19 + 810x20 + 1047x21 + 713x22 + 574x23 + 557x24 + 697x25 + 660x26 + 812x27 + 384x28 + 714x29 + 967x30 + 761x31 + 722x32 + 1026x33 + 850x34 + 1077x35 + 627x36 + 729x37 + 511x38 + 929x39 + 561x40 + 966x41 + 310x42 + 1086x43 + 832x44 + 700x45 + 564x46 + 602x47 + 1046x48 + 854x49 + 489x50 + 505x51 + 577x52 + 608x53 + 445x54 + 747x55 + 791x56 + 543x57 + 403x58 + 703x59 + 914x60 + 836x61 + 925x62 + 437x63 + 542x64 + 1158x65 + 691x66 + 849x67 + 927x68 + 903x69 + 864x70 + 669x71 + 724x72 + 720x73 + 570x74 + 840x75 + 358x76 + 565x77 + 639x78 + 658x79 + 851x80 + 639x81 + 492x82 + 749x83 + 761x84 + 682x85 + 740x86 + 779x87 + 601x88 + 668x89 + 866x90 + 645x91 + 550x92 + 967x93 + 890x94 + 707x95 + 804x96 + 822x97 + 475x98 + 353x99 + 830x100 subject to constr1: + 563x1 + 659x2 + 144x3 + 345x4 + 188x5 + 345x6 + 585x7 + 400x8 + 396x9 + 425x10 + 393x11 + 392x12 + 864x13 + 460x14 + 874x15 + 949x16 + 969x17 + 774x18 + 106x19 + 198x20 + 987x21 + 234x22 + 770x23 + 870x24 + 933x25 + 599x26 + 866x27 + 512x28 + 99x29 + 848x30 + 350x31 + 244x32 + 965x33 + 388x34 + 217x35 + 915x36 + 669x37 + 314x38 + 915x39 + 492x40 + 739x41 + 58x42 + 628x43 + 444x44 + 632x45 + 475x46 + 598x47 + 752x48 + 493x49 + 928x50 + 52x51 + 114x52 + 58x53 + 106x54 + 876x55 + 165x56 + 645x57 + 133x58 + 86x59 + 881x60 + 640x61 + 18x62 + 449x63 + 596x64 + 705x65 + 702x66 + 714x67 + 743x68 + 960x69 + 663x70 + 476x71 + 804x72 + 554x73 + 482x74 + 974x75 + 672x76 + 464x77 + 357x78 + 111x79 + 284x80 + 775x81 + 25x82 + 506x83 + 899x84 + 766x85 + 155x86 + 785x87 + 164x88 + 970x89 + 846x90 + 563x91 + 813x92 + 289x93 + 874x94 + 462x95 + 851x96 + 663x97 + 667x98 + 67x99 + 355x100 <=13486 constr2: + 588x1 + 89x2 + 884x3 + 128x4 + 202x5 + 635x6 + 29x7 + 730x8 + 968x9 + 426x10 + 101x11 + 987x12 + 624x13 + 911x14 + 580x15 + 306x16 + 536x17 + 132x18 + 370x19 + 691x20 + 739x21 + 75x22 + 427x23 + 500x24 + 237x25 + 945x26 + 180x27 + 256x28 + 272x29 + 376x30 + 836x31 + 657x32 + 714x33 + 632x34 + 730x35 + 16x36 + 218x37 + 179x38 + 523x39 + 508x40 + 846x41 + 114x42 + 536x43 + 684x44 + 95x45 + 698x46 + 977x47 + 621x48 + 495x49 + 670x50 + 477x51 + 490x52 + 800x53 + 116x54 + 236x55 + 134x56 + 772x57 + 567x58 + 906x59 + 515x60 + 516x61 + 656x62 + 636x63 + 624x64 + 897x65 + 515x66 + 584x67 + 940x68 + 299x69 + 578x70 + 774x71 + 805x72 + 277x73 + 500x74 + 56x75 + 191x76 + 333x77 + 692x78 + 299x79 + 206x80 + 940x81 + 281x82 + 627x83 + 993x84 + 90x85 + 529x86 + 840x87 + 516x88 + 655x89 + 564x90 + 154x91 + 20x92 + 625x93 + 897x94 + 981x95 + 1000x96 + 633x97 + 307x98 + 220x99 + 61x100 <=12749 constr3: + 84x1 + 258x2 + 463x3 + 654x4 + 834x5 + 545x6 + 277x7 + 781x8 + 961x9 + 531x10 + 664x11 + 259x12 + 334x13 + 589x14 + 388x15 + 857x16 + 792x17 + 905x18 + 213x19 + 749x20 + 277x21 + 31x22 + 178x23 + 620x24 + 690x25 + 916x26 + 205x27 + 138x28 + 355x29 + 224x30 + 696x31 + 994x32 + 302x33 + 441x34 + 863x35 + 229x36 + 959x37 + 321x38 + 327x39 + 108x40 + 459x41 + 816x42 + 394x43 + 518x44 + 6x45 + 169x46 + 231x47 + 425x48 + 643x49 + 565x50 + 460x51 + 9x52 + 431x53 + 18x54 + 443x55 + 617x56 + 276x57 + 97x58 + 238x59 + 460x60 + 359x61 + 594x62 + 738x63 + 42x64 + 464x65 + 80x66 + 836x67 + 244x68 + 564x69 + 548x70 + 774x71 + 822x72 + 20x73 + 410x74 + 327x75 + 327x76 + 755x77 + 870x78 + 678x79 + 193x80 + 163x81 + 92x82 + 973x83 + 312x84 + 380x85 + 682x86 + 390x87 + 5x88 + 273x89 + 551x90 + 670x91 + 464x92 + 643x93 + 392x94 + 51x95 + 200x96 + 98x97 + 158x98 + 375x99 + 714x100 <=11130 constr4: + 728x1 + 593x2 + 698x3 + 258x4 + 459x5 + 210x6 + 433x7 + 564x8 + 782x9 + 795x10 + 920x11 + 417x12 + 190x13 + 104x14 + 40x15 + 211x16 + 717x17 + 602x18 + 969x19 + 927x20 + 585x21 + 191x22 + 614x23 + 181x24 + 842x25 + 11x26 + 620x27 + 449x28 + 53x29 + 620x30 + 64x31 + 495x32 + 627x33 + 704x34 + 618x35 + 440x36 + 73x37 + 72x38 + 574x39 + 719x40 + 918x41 + 321x42 + 661x43 + 506x44 + 46x45 + 711x46 + 309x47 + 864x48 + 273x49 + 160x50 + 805x51 + 287x52 + 435x53 + 888x54 + 311x55 + 251x56 + 289x57 + 650x58 + 867x59 + 390x60 + 961x61 + 978x62 + 79x63 + 51x64 + 446x65 + 707x66 + 568x67 + 848x68 + 941x69 + 419x70 + 367x71 + 814x72 + 699x73 + 544x74 + 44x75 + 322x76 + 371x77 + 753x78 + 252x79 + 969x80 + 281x81 + 925x82 + 34x83 + 910x84 + 63x85 + 780x86 + 663x87 + 387x88 + 955x89 + 230x90 + 425x91 + 152x92 + 468x93 + 239x94 + 956x95 + 78x96 + 696x97 + 912x98 + 787x99 + 419x100 <=12651 constr5: + 1000x1 + 637x2 + 396x3 + 715x4 + 62x5 + 136x6 + 727x7 + 187x8 + 892x9 + 872x10 + 701x11 + 61x12 + 836x13 + 112x14 + 768x15 + 538x16 + 494x17 + 801x18 + 327x19 + 67x20 + 973x21 + 711x22 + 670x23 + 478x24 + 9x25 + 373x26 + 823x27 + 417x28 + 362x29 + 904x30 + 722x31 + 471x32 + 129x33 + 907x34 + 765x35 + 821x36 + 110x37 + 184x38 + 572x39 + 340x40 + 281x41 + 202x42 + 848x43 + 980x44 + 738x45 + 282x46 + 327x47 + 909x48 + 303x49 + 79x50 + 623x51 + 917x52 + 649x53 + 773x54 + 490x55 + 640x56 + 101x57 + 145x58 + 935x59 + 211x60 + 59x61 + 986x62 + 103x63 + 854x64 + 832x65 + 376x66 + 706x67 + 677x68 + 580x69 + 121x70 + 189x71 + 13x72 + 67x73 + 607x74 + 477x75 + 175x76 + 724x77 + 411x78 + 543x79 + 910x80 + 619x81 + 312x82 + 695x83 + 328x84 + 455x85 + 671x86 + 213x87 + 526x88 + 282x89 + 590x90 + 606x91 + 908x92 + 340x93 + 40x94 + 560x95 + 567x96 + 94x97 + 218x98 + 43x99 + 825x100 <=12451 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