maximize objective: + 603x1 + 637x2 + 840x3 + 1091x4 + 780x5 + 642x6 + 895x7 + 540x8 + 601x9 + 701x10 + 731x11 + 686x12 + 496x13 + 731x14 + 427x15 + 558x16 + 805x17 + 702x18 + 759x19 + 463x20 + 970x21 + 915x22 + 561x23 + 964x24 + 898x25 + 941x26 + 748x27 + 877x28 + 952x29 + 339x30 + 690x31 + 860x32 + 600x33 + 604x34 + 646x35 + 653x36 + 760x37 + 654x38 + 638x39 + 721x40 + 988x41 + 693x42 + 721x43 + 380x44 + 482x45 + 517x46 + 931x47 + 454x48 + 971x49 + 679x50 + 945x51 + 695x52 + 954x53 + 663x54 + 592x55 + 570x56 + 894x57 + 731x58 + 273x59 + 715x60 + 431x61 + 393x62 + 994x63 + 667x64 + 735x65 + 848x66 + 1094x67 + 961x68 + 671x69 + 615x70 + 815x71 + 697x72 + 523x73 + 403x74 + 725x75 + 647x76 + 623x77 + 1172x78 + 898x79 + 643x80 + 715x81 + 366x82 + 555x83 + 994x84 + 1017x85 + 915x86 + 669x87 + 883x88 + 492x89 + 660x90 + 891x91 + 581x92 + 845x93 + 860x94 + 750x95 + 775x96 + 952x97 + 640x98 + 784x99 + 535x100 subject to constr1: + 564x1 + 573x2 + 644x3 + 578x4 + 35x5 + 292x6 + 982x7 + 294x8 + 315x9 + 809x10 + 523x11 + 94x12 + 663x13 + 780x14 + 949x15 + 36x16 + 166x17 + 798x18 + 640x19 + 526x20 + 176x21 + 745x22 + 816x23 + 748x24 + 238x25 + 369x26 + 542x27 + 855x28 + 95x29 + 191x30 + 121x31 + 510x32 + 58x33 + 633x34 + 478x35 + 24x36 + 352x37 + 75x38 + 480x39 + 448x40 + 516x41 + 900x42 + 439x43 + 331x44 + 217x45 + 600x46 + 656x47 + 347x48 + 978x49 + 337x50 + 559x51 + 649x52 + 583x53 + 628x54 + 839x55 + 397x56 + 285x57 + 156x58 + 45x59 + 461x60 + 2x61 + 866x62 + 832x63 + 295x64 + 747x65 + 391x66 + 617x67 + 118x68 + 310x69 + 159x70 + 602x71 + 422x72 + 414x73 + 190x74 + 936x75 + 384x76 + 170x77 + 791x78 + 576x79 + 524x80 + 181x81 + 561x82 + 931x83 + 338x84 + 739x85 + 47x86 + 697x87 + 998x88 + 792x89 + 779x90 + 727x91 + 190x92 + 320x93 + 787x94 + 600x95 + 77x96 + 526x97 + 407x98 + 620x99 + 462x100 <=24132 constr2: + 69x1 + 120x2 + 707x3 + 768x4 + 617x5 + 344x6 + 512x7 + 212x8 + 763x9 + 553x10 + 141x11 + 463x12 + 598x13 + 582x14 + 691x15 + 647x16 + 772x17 + 404x18 + 238x19 + 295x20 + 375x21 + 302x22 + 842x23 + 771x24 + 338x25 + 363x26 + 496x27 + 99x28 + 915x29 + 41x30 + 102x31 + 799x32 + 190x33 + 413x34 + 362x35 + 422x36 + 747x37 + 290x38 + 485x39 + 775x40 + 403x41 + 429x42 + 759x43 + 676x44 + 605x45 + 474x46 + 670x47 + 170x48 + 211x49 + 440x50 + 750x51 + 721x52 + 203x53 + 285x54 + 7x55 + 467x56 + 814x57 + 346x58 + 498x59 + 214x60 + 379x61 + 148x62 + 809x63 + 873x64 + 937x65 + 607x66 + 345x67 + 313x68 + 982x69 + 523x70 + 768x71 + 945x72 + 131x73 + 148x74 + 814x75 + 203x76 + 595x77 + 107x78 + 62x79 + 105x80 + 519x81 + 86x82 + 497x83 + 930x84 + 460x85 + 319x86 + 199x87 + 918x88 + 143x89 + 367x90 + 628x91 + 39x92 + 5x93 + 81x94 + 843x95 + 37x96 + 437x97 + 918x98 + 174x99 + 824x100 <=22992 constr3: + 50x1 + 196x2 + 633x3 + 827x4 + 922x5 + 782x6 + 434x7 + 701x8 + 280x9 + 81x10 + 345x11 + 726x12 + 793x13 + 76x14 + 23x15 + 732x16 + 648x17 + 493x18 + 752x19 + 532x20 + 883x21 + 475x22 + 583x23 + 111x24 + 594x25 + 687x26 + 134x27 + 713x28 + 290x29 + 442x30 + 115x31 + 491x32 + 462x33 + 797x34 + 481x35 + 667x36 + 456x37 + 818x38 + 419x39 + 817x40 + 387x41 + 30x42 + 897x43 + 73x44 + 832x45 + 99x46 + 312x47 + 926x48 + 522x49 + 391x50 + 595x51 + 325x52 + 762x53 + 830x54 + 340x55 + 653x56 + 569x57 + 616x58 + 504x59 + 631x60 + 729x61 + 154x62 + 638x63 + 74x64 + 746x65 + 541x66 + 998x67 + 483x68 + 510x69 + 857x70 + 849x71 + 655x72 + 196x73 + 80x74 + 220x75 + 560x76 + 301x77 + 954x78 + 556x79 + 1000x80 + 919x81 + 92x82 + 16x83 + 617x84 + 909x85 + 703x86 + 313x87 + 881x88 + 67x89 + 242x90 + 835x91 + 358x92 + 386x93 + 911x94 + 192x95 + 789x96 + 751x97 + 909x98 + 305x99 + 130x100 <=26091 constr4: + 564x1 + 379x2 + 11x3 + 703x4 + 236x5 + 624x6 + 107x7 + 909x8 + 335x9 + 786x10 + 690x11 + 595x12 + 161x13 + 477x14 + 127x15 + 33x16 + 387x17 + 319x18 + 663x19 + 627x20 + 311x21 + 205x22 + 133x23 + 998x24 + 827x25 + 216x26 + 201x27 + 237x28 + 341x29 + 645x30 + 578x31 + 536x32 + 264x33 + 511x34 + 171x35 + 977x36 + 658x37 + 781x38 + 14x39 + 142x40 + 934x41 + 691x42 + 396x43 + 109x44 + 424x45 + 154x46 + 400x47 + 36x48 + 428x49 + 942x50 + 990x51 + 251x52 + 541x53 + 411x54 + 999x55 + 32x56 + 790x57 + 919x58 + 65x59 + 544x60 + 930x61 + 221x62 + 585x63 + 702x64 + 893x65 + 495x66 + 568x67 + 877x68 + 559x69 + 472x70 + 686x71 + 893x72 + 35x73 + 573x74 + 560x75 + 328x76 + 363x77 + 994x78 + 971x79 + 930x80 + 129x81 + 556x82 + 174x83 + 498x84 + 782x85 + 258x86 + 393x87 + 706x88 + 411x89 + 817x90 + 928x91 + 224x92 + 953x93 + 908x94 + 221x95 + 698x96 + 664x97 + 216x98 + 417x99 + 260x100 <=25192 constr5: + 890x1 + 113x2 + 529x3 + 561x4 + 741x5 + 55x6 + 816x7 + 259x8 + 722x9 + 134x10 + 960x11 + 787x12 + 58x13 + 952x14 + 303x15 + 567x16 + 377x17 + 642x18 + 99x19 + 110x20 + 761x21 + 521x22 + 374x23 + 12x24 + 927x25 + 939x26 + 208x27 + 902x28 + 732x29 + 213x30 + 680x31 + 437x32 + 387x33 + 616x34 + 8x35 + 155x36 + 325x37 + 34x38 + 466x39 + 134x40 + 494x41 + 206x42 + 454x43 + 55x44 + 181x45 + 875x46 + 905x47 + 650x48 + 919x49 + 261x50 + 797x51 + 403x52 + 776x53 + 53x54 + 267x55 + 100x56 + 622x57 + 113x58 + 161x59 + 761x60 + 110x61 + 364x62 + 755x63 + 176x64 + 267x65 + 388x66 + 715x67 + 753x68 + 690x69 + 662x70 + 632x71 + 570x72 + 991x73 + 105x74 + 831x75 + 951x76 + 101x77 + 644x78 + 788x79 + 91x80 + 87x81 + 537x82 + 223x83 + 817x84 + 865x85 + 854x86 + 375x87 + 833x88 + 358x89 + 960x90 + 752x91 + 331x92 + 752x93 + 966x94 + 787x95 + 165x96 + 601x97 + 638x98 + 833x99 + 741x100 <=25309 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