maximize objective: + 655x1 + 627x2 + 1025x3 + 807x4 + 418x5 + 620x6 + 670x7 + 895x8 + 619x9 + 671x10 + 930x11 + 424x12 + 713x13 + 618x14 + 559x15 + 765x16 + 803x17 + 643x18 + 940x19 + 524x20 + 902x21 + 891x22 + 936x23 + 623x24 + 1022x25 + 548x26 + 626x27 + 757x28 + 1122x29 + 866x30 + 1118x31 + 566x32 + 624x33 + 555x34 + 303x35 + 883x36 + 874x37 + 801x38 + 1035x39 + 703x40 + 685x41 + 301x42 + 533x43 + 623x44 + 989x45 + 992x46 + 1021x47 + 863x48 + 788x49 + 690x50 + 1080x51 + 1037x52 + 921x53 + 758x54 + 1007x55 + 716x56 + 809x57 + 727x58 + 1067x59 + 915x60 + 499x61 + 744x62 + 505x63 + 738x64 + 741x65 + 859x66 + 774x67 + 787x68 + 606x69 + 790x70 + 430x71 + 519x72 + 681x73 + 905x74 + 448x75 + 623x76 + 645x77 + 688x78 + 607x79 + 395x80 + 713x81 + 455x82 + 653x83 + 823x84 + 511x85 + 740x86 + 821x87 + 910x88 + 708x89 + 982x90 + 557x91 + 737x92 + 781x93 + 566x94 + 648x95 + 745x96 + 627x97 + 709x98 + 955x99 + 909x100 subject to constr1: + 853x1 + 339x2 + 861x3 + 343x4 + 424x5 + 282x6 + 830x7 + 442x8 + 222x9 + 447x10 + 925x11 + 139x12 + 524x13 + 606x14 + 840x15 + 490x16 + 39x17 + 741x18 + 926x19 + 518x20 + 843x21 + 425x22 + 410x23 + 788x24 + 196x25 + 801x26 + 255x27 + 202x28 + 285x29 + 757x30 + 864x31 + 673x32 + 641x33 + 212x34 + 7x35 + 22x36 + 596x37 + 216x38 + 761x39 + 824x40 + 505x41 + 83x42 + 403x43 + 687x44 + 210x45 + 69x46 + 271x47 + 177x48 + 49x49 + 564x50 + 821x51 + 923x52 + 842x53 + 347x54 + 618x55 + 673x56 + 596x57 + 718x58 + 785x59 + 518x60 + 907x61 + 170x62 + 100x63 + 58x64 + 127x65 + 912x66 + 344x67 + 575x68 + 538x69 + 835x70 + 339x71 + 130x72 + 644x73 + 886x74 + 335x75 + 362x76 + 271x77 + 319x78 + 116x79 + 114x80 + 650x81 + 801x82 + 639x83 + 141x84 + 29x85 + 173x86 + 421x87 + 486x88 + 849x89 + 806x90 + 717x91 + 525x92 + 461x93 + 231x94 + 328x95 + 929x96 + 136x97 + 429x98 + 369x99 + 649x100 <=36209 constr2: + 265x1 + 915x2 + 629x3 + 656x4 + 640x5 + 721x6 + 921x7 + 636x8 + 35x9 + 756x10 + 46x11 + 173x12 + 56x13 + 460x14 + 93x15 + 741x16 + 622x17 + 200x18 + 138x19 + 20x20 + 890x21 + 26x22 + 779x23 + 232x24 + 858x25 + 242x26 + 325x27 + 807x28 + 971x29 + 787x30 + 475x31 + 500x32 + 962x33 + 40x34 + 437x35 + 923x36 + 740x37 + 716x38 + 489x39 + 285x40 + 767x41 + 820x42 + 173x43 + 450x44 + 965x45 + 813x46 + 952x47 + 666x48 + 541x49 + 604x50 + 531x51 + 521x52 + 511x53 + 906x54 + 363x55 + 718x56 + 946x57 + 388x58 + 843x59 + 130x60 + 24x61 + 740x62 + 108x63 + 457x64 + 212x65 + 977x66 + 780x67 + 906x68 + 209x69 + 190x70 + 191x71 + 461x72 + 130x73 + 670x74 + 120x75 + 265x76 + 161x77 + 627x78 + 878x79 + 628x80 + 568x81 + 209x82 + 871x83 + 159x84 + 521x85 + 397x86 + 917x87 + 671x88 + 742x89 + 500x90 + 378x91 + 796x92 + 936x93 + 606x94 + 381x95 + 918x96 + 304x97 + 839x98 + 418x99 + 268x100 <=39711 constr3: + 630x1 + 569x2 + 771x3 + 85x4 + 493x5 + 579x6 + 257x7 + 859x8 + 211x9 + 703x10 + 896x11 + 179x12 + 194x13 + 718x14 + 173x15 + 325x16 + 744x17 + 788x18 + 481x19 + 779x20 + 662x21 + 755x22 + 866x23 + 387x24 + 666x25 + 897x26 + 462x27 + 589x28 + 925x29 + 921x30 + 855x31 + 364x32 + 372x33 + 466x34 + 101x35 + 684x36 + 87x37 + 394x38 + 622x39 + 391x40 + 932x41 + 336x42 + 854x43 + 943x44 + 305x45 + 948x46 + 895x47 + 331x48 + 91x49 + 95x50 + 990x51 + 874x52 + 521x53 + 281x54 + 987x55 + 177x56 + 959x57 + 159x58 + 647x59 + 245x60 + 395x61 + 865x62 + 267x63 + 231x64 + 586x65 + 532x66 + 412x67 + 90x68 + 849x69 + 684x70 + 537x71 + 245x72 + 227x73 + 551x74 + 192x75 + 617x76 + 189x77 + 899x78 + 467x79 + 481x80 + 954x81 + 61x82 + 206x83 + 557x84 + 839x85 + 246x86 + 165x87 + 661x88 + 342x89 + 966x90 + 288x91 + 734x92 + 739x93 + 189x94 + 110x95 + 134x96 + 209x97 + 141x98 + 226x99 + 439x100 <=38244 constr4: + 578x1 + 593x2 + 760x3 + 261x4 + 248x5 + 172x6 + 246x7 + 735x8 + 70x9 + 378x10 + 602x11 + 464x12 + 582x13 + 231x14 + 480x15 + 499x16 + 537x17 + 769x18 + 32x19 + 256x20 + 360x21 + 854x22 + 633x23 + 512x24 + 613x25 + 61x26 + 280x27 + 490x28 + 728x29 + 238x30 + 494x31 + 475x32 + 778x33 + 681x34 + 28x35 + 200x36 + 468x37 + 519x38 + 640x39 + 603x40 + 341x41 + 146x42 + 149x43 + 959x44 + 934x45 + 877x46 + 291x47 + 980x48 + 166x49 + 851x50 + 964x51 + 832x52 + 644x53 + 161x54 + 521x55 + 804x56 + 375x57 + 299x58 + 184x59 + 938x60 + 183x61 + 959x62 + 991x63 + 479x64 + 122x65 + 83x66 + 357x67 + 276x68 + 142x69 + 407x70 + 429x71 + 364x72 + 26x73 + 307x74 + 538x75 + 566x76 + 594x77 + 71x78 + 713x79 + 584x80 + 982x81 + 836x82 + 8x83 + 951x84 + 306x85 + 949x86 + 386x87 + 672x88 + 20x89 + 293x90 + 672x91 + 342x92 + 863x93 + 239x94 + 551x95 + 570x96 + 682x97 + 888x98 + 899x99 + 395x100 <=36944 constr5: + 543x1 + 685x2 + 191x3 + 539x4 + 84x5 + 844x6 + 570x7 + 109x8 + 628x9 + 612x10 + 408x11 + 431x12 + 874x13 + 483x14 + 30x15 + 860x16 + 83x17 + 83x18 + 787x19 + 254x20 + 705x21 + 155x22 + 335x23 + 182x24 + 375x25 + 511x26 + 668x27 + 403x28 + 696x29 + 760x30 + 623x31 + 684x32 + 262x33 + 161x34 + 165x35 + 878x36 + 643x37 + 158x38 + 861x39 + 796x40 + 881x41 + 29x42 + 402x43 + 18x44 + 202x45 + 665x46 + 796x47 + 263x48 + 886x49 + 618x50 + 571x51 + 757x52 + 528x53 + 39x54 + 508x55 + 698x56 + 344x57 + 471x58 + 663x59 + 780x60 + 38x61 + 546x62 + 167x63 + 191x64 + 907x65 + 210x66 + 646x67 + 279x68 + 1000x69 + 993x70 + 467x71 + 364x72 + 291x73 + 417x74 + 541x75 + 607x76 + 653x77 + 902x78 + 820x79 + 88x80 + 20x81 + 180x82 + 788x83 + 461x84 + 449x85 + 47x86 + 201x87 + 819x88 + 481x89 + 542x90 + 217x91 + 501x92 + 820x93 + 207x94 + 916x95 + 653x96 + 639x97 + 937x98 + 828x99 + 405x100 <=37107 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