maximize objective: + 607x1 + 401x2 + 645x3 + 907x4 + 915x5 + 499x6 + 914x7 + 879x8 + 757x9 + 978x10 + 608x11 + 548x12 + 470x13 + 1167x14 + 1017x15 + 699x16 + 942x17 + 547x18 + 986x19 + 875x20 + 876x21 + 658x22 + 461x23 + 546x24 + 866x25 + 664x26 + 649x27 + 1125x28 + 362x29 + 941x30 + 817x31 + 1064x32 + 908x33 + 586x34 + 774x35 + 796x36 + 762x37 + 605x38 + 643x39 + 661x40 + 752x41 + 730x42 + 893x43 + 742x44 + 884x45 + 611x46 + 922x47 + 953x48 + 360x49 + 918x50 + 770x51 + 946x52 + 913x53 + 523x54 + 440x55 + 636x56 + 859x57 + 968x58 + 313x59 + 1114x60 + 792x61 + 800x62 + 780x63 + 817x64 + 1108x65 + 1038x66 + 655x67 + 697x68 + 700x69 + 797x70 + 1030x71 + 753x72 + 591x73 + 936x74 + 634x75 + 712x76 + 581x77 + 827x78 + 434x79 + 686x80 + 759x81 + 772x82 + 871x83 + 643x84 + 759x85 + 623x86 + 605x87 + 934x88 + 697x89 + 534x90 + 1029x91 + 650x92 + 961x93 + 509x94 + 652x95 + 571x96 + 420x97 + 673x98 + 734x99 + 735x100 subject to constr1: + 461x1 + 496x2 + 567x3 + 403x4 + 773x5 + 652x6 + 653x7 + 794x8 + 336x9 + 899x10 + 104x11 + 871x12 + 445x13 + 393x14 + 390x15 + 149x16 + 371x17 + 35x18 + 844x19 + 840x20 + 136x21 + 224x22 + 665x23 + 27x24 + 683x25 + 711x26 + 465x27 + 486x28 + 170x29 + 616x30 + 86x31 + 154x32 + 378x33 + 476x34 + 614x35 + 604x36 + 578x37 + 116x38 + 303x39 + 930x40 + 79x41 + 19x42 + 651x43 + 329x44 + 726x45 + 426x46 + 332x47 + 450x48 + 731x49 + 463x50 + 5x51 + 680x52 + 851x53 + 380x54 + 238x55 + 411x56 + 868x57 + 953x58 + 109x59 + 770x60 + 968x61 + 297x62 + 413x63 + 402x64 + 923x65 + 453x66 + 720x67 + 9x68 + 819x69 + 67x70 + 459x71 + 320x72 + 984x73 + 676x74 + 198x75 + 660x76 + 279x77 + 80x78 + 808x79 + 540x80 + 763x81 + 386x82 + 941x83 + 232x84 + 126x85 + 51x86 + 183x87 + 901x88 + 467x89 + 207x90 + 861x91 + 387x92 + 779x93 + 362x94 + 22x95 + 618x96 + 345x97 + 433x98 + 4x99 + 288x100 <=11700 constr2: + 878x1 + 88x2 + 752x3 + 381x4 + 827x5 + 407x6 + 993x7 + 320x8 + 763x9 + 987x10 + 252x11 + 601x12 + 188x13 + 981x14 + 531x15 + 166x16 + 465x17 + 797x18 + 773x19 + 258x20 + 953x21 + 796x22 + 881x23 + 176x24 + 997x25 + 804x26 + 66x27 + 483x28 + 139x29 + 457x30 + 409x31 + 955x32 + 77x33 + 948x34 + 790x35 + 519x36 + 474x37 + 315x38 + 876x39 + 534x40 + 768x41 + 962x42 + 303x43 + 43x44 + 509x45 + 383x46 + 318x47 + 67x48 + 539x49 + 289x50 + 953x51 + 464x52 + 45x53 + 70x54 + 457x55 + 820x56 + 411x57 + 727x58 + 441x59 + 364x60 + 818x61 + 828x62 + 9x63 + 593x64 + 440x65 + 759x66 + 157x67 + 760x68 + 338x69 + 697x70 + 511x71 + 365x72 + 54x73 + 934x74 + 577x75 + 425x76 + 319x77 + 530x78 + 904x79 + 288x80 + 884x81 + 312x82 + 177x83 + 425x84 + 320x85 + 342x86 + 165x87 + 996x88 + 983x89 + 882x90 + 252x91 + 549x92 + 749x93 + 115x94 + 2x95 + 91x96 + 86x97 + 744x98 + 412x99 + 887x100 <=12917 constr3: + 85x1 + 417x2 + 457x3 + 716x4 + 781x5 + 479x6 + 665x7 + 763x8 + 690x9 + 620x10 + 783x11 + 252x12 + 277x13 + 833x14 + 414x15 + 500x16 + 65x17 + 956x18 + 244x19 + 297x20 + 304x21 + 134x22 + 41x23 + 782x24 + 12x25 + 78x26 + 878x27 + 943x28 + 608x29 + 544x30 + 861x31 + 836x32 + 930x33 + 299x34 + 868x35 + 29x36 + 279x37 + 516x38 + 369x39 + 66x40 + 12x41 + 813x42 + 740x43 + 455x44 + 589x45 + 166x46 + 768x47 + 969x48 + 192x49 + 751x50 + 760x51 + 548x52 + 207x53 + 763x54 + 401x55 + 32x56 + 544x57 + 581x58 + 19x59 + 647x60 + 229x61 + 678x62 + 782x63 + 767x64 + 642x65 + 966x66 + 951x67 + 584x68 + 41x69 + 382x70 + 999x71 + 956x72 + 231x73 + 303x74 + 992x75 + 1x76 + 165x77 + 269x78 + 159x79 + 105x80 + 558x81 + 832x82 + 367x83 + 716x84 + 851x85 + 929x86 + 364x87 + 418x88 + 297x89 + 447x90 + 170x91 + 610x92 + 341x93 + 548x94 + 897x95 + 761x96 + 540x97 + 235x98 + 577x99 + 963x100 <=12813 constr4: + 733x1 + 61x2 + 77x3 + 587x4 + 539x5 + 80x6 + 41x7 + 763x8 + 444x9 + 215x10 + 179x11 + 98x12 + 411x13 + 567x14 + 851x15 + 537x16 + 637x17 + 367x18 + 170x19 + 283x20 + 237x21 + 229x22 + 131x23 + 472x24 + 273x25 + 432x26 + 204x27 + 888x28 + 425x29 + 25x30 + 675x31 + 592x32 + 650x33 + 113x34 + 329x35 + 494x36 + 215x37 + 329x38 + 752x39 + 220x40 + 874x41 + 491x42 + 164x43 + 830x44 + 942x45 + 588x46 + 818x47 + 587x48 + 60x49 + 766x50 + 802x51 + 894x52 + 887x53 + 46x54 + 598x55 + 249x56 + 984x57 + 491x58 + 376x59 + 606x60 + 720x61 + 913x62 + 302x63 + 965x64 + 793x65 + 49x66 + 764x67 + 669x68 + 556x69 + 265x70 + 885x71 + 387x72 + 464x73 + 930x74 + 425x75 + 636x76 + 431x77 + 254x78 + 5x79 + 282x80 + 321x81 + 925x82 + 990x83 + 504x84 + 84x85 + 980x86 + 323x87 + 262x88 + 371x89 + 764x90 + 598x91 + 362x92 + 562x93 + 811x94 + 104x95 + 884x96 + 330x97 + 958x98 + 295x99 + 96x100 <=12149 constr5: + 872x1 + 905x2 + 488x3 + 890x4 + 694x5 + 548x6 + 252x7 + 540x8 + 711x9 + 726x10 + 973x11 + 575x12 + 555x13 + 757x14 + 669x15 + 754x16 + 919x17 + 141x18 + 723x19 + 901x20 + 497x21 + 172x22 + 28x23 + 756x24 + 406x25 + 359x26 + 90x27 + 989x28 + 291x29 + 575x30 + 880x31 + 376x32 + 798x33 + 689x34 + 273x35 + 889x36 + 979x37 + 704x38 + 676x39 + 254x40 + 629x41 + 123x42 + 408x43 + 489x44 + 226x45 + 54x46 + 750x47 + 277x48 + 29x49 + 905x50 + 267x51 + 632x52 + 290x53 + 51x54 + 35x55 + 149x56 + 28x57 + 692x58 + 93x59 + 686x60 + 414x61 + 285x62 + 920x63 + 636x64 + 748x65 + 625x66 + 8x67 + 382x68 + 599x69 + 407x70 + 400x71 + 483x72 + 818x73 + 598x74 + 591x75 + 656x76 + 575x77 + 560x78 + 123x79 + 624x80 + 840x81 + 146x82 + 22x83 + 222x84 + 687x85 + 81x86 + 731x87 + 283x88 + 685x89 + 211x90 + 839x91 + 529x92 + 603x93 + 120x94 + 23x95 + 387x96 + 154x97 + 984x98 + 589x99 + 211x100 <=12472 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