maximize objective: + 576x1 + 585x2 + 831x3 + 320x4 + 872x5 + 948x6 + 695x7 + 836x8 + 746x9 + 609x10 + 1001x11 + 835x12 + 927x13 + 560x14 + 1101x15 + 879x16 + 477x17 + 697x18 + 858x19 + 702x20 + 447x21 + 503x22 + 1071x23 + 609x24 + 963x25 + 618x26 + 737x27 + 809x28 + 522x29 + 556x30 + 900x31 + 751x32 + 825x33 + 746x34 + 919x35 + 633x36 + 878x37 + 670x38 + 771x39 + 525x40 + 861x41 + 431x42 + 608x43 + 946x44 + 1187x45 + 631x46 + 435x47 + 1217x48 + 749x49 + 484x50 + 596x51 + 788x52 + 1052x53 + 618x54 + 664x55 + 875x56 + 827x57 + 331x58 + 467x59 + 759x60 + 499x61 + 590x62 + 732x63 + 819x64 + 724x65 + 880x66 + 938x67 + 444x68 + 717x69 + 798x70 + 577x71 + 656x72 + 1000x73 + 615x74 + 751x75 + 897x76 + 629x77 + 1016x78 + 1097x79 + 534x80 + 757x81 + 507x82 + 966x83 + 881x84 + 1026x85 + 877x86 + 956x87 + 735x88 + 836x89 + 674x90 + 1059x91 + 742x92 + 813x93 + 755x94 + 1064x95 + 495x96 + 1075x97 + 1177x98 + 938x99 + 680x100 subject to constr1: + 181x1 + 180x2 + 339x3 + 135x4 + 913x5 + 517x6 + 819x7 + 181x8 + 976x9 + 488x10 + 77x11 + 342x12 + 398x13 + 233x14 + 893x15 + 156x16 + 313x17 + 920x18 + 486x19 + 583x20 + 4x21 + 267x22 + 728x23 + 661x24 + 447x25 + 9x26 + 12x27 + 173x28 + 652x29 + 323x30 + 761x31 + 58x32 + 697x33 + 651x34 + 702x35 + 600x36 + 281x37 + 162x38 + 734x39 + 208x40 + 450x41 + 675x42 + 282x43 + 948x44 + 884x45 + 72x46 + 265x47 + 585x48 + 838x49 + 536x50 + 752x51 + 839x52 + 832x53 + 877x54 + 90x55 + 746x56 + 863x57 + 463x58 + 590x59 + 525x60 + 253x61 + 987x62 + 204x63 + 716x64 + 653x65 + 513x66 + 605x67 + 174x68 + 863x69 + 672x70 + 532x71 + 36x72 + 775x73 + 737x74 + 104x75 + 605x76 + 685x77 + 766x78 + 959x79 + 725x80 + 917x81 + 209x82 + 330x83 + 313x84 + 533x85 + 444x86 + 571x87 + 899x88 + 776x89 + 228x90 + 967x91 + 317x92 + 621x93 + 661x94 + 259x95 + 775x96 + 702x97 + 764x98 + 775x99 + 458x100 <=13114 constr2: + 465x1 + 182x2 + 469x3 + 336x4 + 937x5 + 91x6 + 593x7 + 49x8 + 74x9 + 690x10 + 918x11 + 439x12 + 903x13 + 884x14 + 164x15 + 756x16 + 115x17 + 624x18 + 146x19 + 752x20 + 177x21 + 889x22 + 717x23 + 356x24 + 381x25 + 697x26 + 975x27 + 213x28 + 286x29 + 828x30 + 70x31 + 890x32 + 370x33 + 941x34 + 9x35 + 5x36 + 168x37 + 417x38 + 387x39 + 393x40 + 259x41 + 101x42 + 61x43 + 815x44 + 859x45 + 768x46 + 21x47 + 528x48 + 292x49 + 24x50 + 465x51 + 161x52 + 539x53 + 990x54 + 778x55 + 290x56 + 556x57 + 257x58 + 376x59 + 694x60 + 933x61 + 467x62 + 937x63 + 680x64 + 720x65 + 309x66 + 288x67 + 89x68 + 251x69 + 427x70 + 487x71 + 51x72 + 847x73 + 135x74 + 518x75 + 861x76 + 170x77 + 870x78 + 263x79 + 989x80 + 173x81 + 61x82 + 990x83 + 903x84 + 957x85 + 874x86 + 980x87 + 535x88 + 339x89 + 683x90 + 230x91 + 104x92 + 650x93 + 631x94 + 647x95 + 178x96 + 827x97 + 597x98 + 258x99 + 862x100 <=12340 constr3: + 754x1 + 560x2 + 486x3 + 513x4 + 846x5 + 807x6 + 927x7 + 577x8 + 539x9 + 390x10 + 840x11 + 643x12 + 808x13 + 103x14 + 859x15 + 745x16 + 8x17 + 614x18 + 444x19 + 884x20 + 89x21 + 199x22 + 513x23 + 21x24 + 765x25 + 304x26 + 370x27 + 970x28 + 708x29 + 694x30 + 543x31 + 283x32 + 798x33 + 521x34 + 334x35 + 570x36 + 433x37 + 550x38 + 137x39 + 348x40 + 151x41 + 96x42 + 602x43 + 995x44 + 644x45 + 862x46 + 182x47 + 839x48 + 51x49 + 778x50 + 186x51 + 432x52 + 798x53 + 143x54 + 945x55 + 171x56 + 623x57 + 272x58 + 328x59 + 552x60 + 242x61 + 368x62 + 743x63 + 768x64 + 518x65 + 45x66 + 112x67 + 855x68 + 487x69 + 604x70 + 205x71 + 549x72 + 277x73 + 715x74 + 219x75 + 460x76 + 530x77 + 929x78 + 817x79 + 97x80 + 302x81 + 502x82 + 814x83 + 810x84 + 931x85 + 729x86 + 453x87 + 44x88 + 888x89 + 741x90 + 874x91 + 650x92 + 13x93 + 803x94 + 434x95 + 653x96 + 371x97 + 830x98 + 188x99 + 70x100 <=12947 constr4: + 521x1 + 928x2 + 929x3 + 244x4 + 206x5 + 776x6 + 188x7 + 918x8 + 482x9 + 545x10 + 594x11 + 47x12 + 922x13 + 345x14 + 760x15 + 28x16 + 815x17 + 590x18 + 711x19 + 47x20 + 238x21 + 256x22 + 721x23 + 138x24 + 6x25 + 294x26 + 704x27 + 730x28 + 60x29 + 138x30 + 594x31 + 225x32 + 678x33 + 828x34 + 854x35 + 417x36 + 777x37 + 535x38 + 902x39 + 393x40 + 450x41 + 61x42 + 554x43 + 745x44 + 695x45 + 436x46 + 120x47 + 862x48 + 715x49 + 469x50 + 598x51 + 509x52 + 908x53 + 552x54 + 403x55 + 422x56 + 837x57 + 18x58 + 848x59 + 16x60 + 145x61 + 425x62 + 418x63 + 398x64 + 342x65 + 949x66 + 732x67 + 277x68 + 846x69 + 511x70 + 343x71 + 213x72 + 788x73 + 14x74 + 481x75 + 632x76 + 883x77 + 166x78 + 510x79 + 462x80 + 63x81 + 991x82 + 737x83 + 212x84 + 911x85 + 702x86 + 353x87 + 984x88 + 593x89 + 566x90 + 604x91 + 678x92 + 131x93 + 717x94 + 876x95 + 743x96 + 994x97 + 662x98 + 523x99 + 718x100 <=13149 constr5: + 590x1 + 489x2 + 320x3 + 11x4 + 248x5 + 748x6 + 367x7 + 139x8 + 73x9 + 120x10 + 978x11 + 750x12 + 921x13 + 660x14 + 730x15 + 934x16 + 49x17 + 202x18 + 291x19 + 375x20 + 994x21 + 876x22 + 986x23 + 340x24 + 914x25 + 996x26 + 544x27 + 252x28 + 818x29 + 373x30 + 699x31 + 558x32 + 200x33 + 517x34 + 537x35 + 257x36 + 285x37 + 559x38 + 716x39 + 850x40 + 630x41 + 218x42 + 860x43 + 484x44 + 827x45 + 628x46 + 615x47 + 834x48 + 906x49 + 116x50 + 833x51 + 220x52 + 929x53 + 530x54 + 220x55 + 850x56 + 333x57 + 46x58 + 53x59 + 219x60 + 397x61 + 443x62 + 940x63 + 836x64 + 653x65 + 370x66 + 754x67 + 729x68 + 220x69 + 86x70 + 472x71 + 341x72 + 708x73 + 572x74 + 388x75 + 498x76 + 181x77 + 158x78 + 482x79 + 296x80 + 385x81 + 235x82 + 187x83 + 213x84 + 917x85 + 992x86 + 968x87 + 976x88 + 852x89 + 613x90 + 701x91 + 14x92 + 715x93 + 344x94 + 902x95 + 48x96 + 244x97 + 625x98 + 627x99 + 275x100 <=12994 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