maximize objective: + 845x1 + 791x2 + 1028x3 + 822x4 + 592x5 + 552x6 + 757x7 + 778x8 + 771x9 + 714x10 + 843x11 + 909x12 + 1080x13 + 694x14 + 718x15 + 581x16 + 589x17 + 1116x18 + 692x19 + 957x20 + 500x21 + 981x22 + 998x23 + 766x24 + 787x25 + 748x26 + 809x27 + 940x28 + 756x29 + 942x30 + 826x31 + 841x32 + 760x33 + 866x34 + 830x35 + 721x36 + 875x37 + 675x38 + 588x39 + 956x40 + 691x41 + 655x42 + 659x43 + 786x44 + 955x45 + 683x46 + 861x47 + 827x48 + 1122x49 + 840x50 + 825x51 + 772x52 + 671x53 + 836x54 + 672x55 + 859x56 + 932x57 + 927x58 + 582x59 + 852x60 + 870x61 + 840x62 + 879x63 + 808x64 + 763x65 + 714x66 + 722x67 + 872x68 + 780x69 + 797x70 + 858x71 + 771x72 + 828x73 + 608x74 + 859x75 + 571x76 + 720x77 + 668x78 + 601x79 + 905x80 + 930x81 + 602x82 + 706x83 + 981x84 + 872x85 + 810x86 + 1067x87 + 771x88 + 758x89 + 945x90 + 804x91 + 698x92 + 862x93 + 666x94 + 728x95 + 862x96 + 901x97 + 639x98 + 734x99 + 826x100 subject to constr1: + 473x1 + 329x2 + 827x3 + 739x4 + 848x5 + 742x6 + 101x7 + 994x8 + 385x9 + 650x10 + 381x11 + 968x12 + 982x13 + 632x14 + 521x15 + 268x16 + 904x17 + 441x18 + 487x19 + 740x20 + 964x21 + 917x22 + 480x23 + 791x24 + 544x25 + 845x26 + 276x27 + 32x28 + 537x29 + 818x30 + 869x31 + 451x32 + 201x33 + 923x34 + 300x35 + 420x36 + 155x37 + 912x38 + 412x39 + 564x40 + 503x41 + 698x42 + 79x43 + 179x44 + 19x45 + 583x46 + 899x47 + 780x48 + 680x49 + 702x50 + 573x51 + 451x52 + 320x53 + 63x54 + 194x55 + 511x56 + 640x57 + 672x58 + 463x59 + 624x60 + 618x61 + 534x62 + 798x63 + 255x64 + 39x65 + 522x66 + 733x67 + 144x68 + 662x69 + 143x70 + 205x71 + 64x72 + 319x73 + 765x74 + 64x75 + 94x76 + 351x77 + 672x78 + 744x79 + 443x80 + 577x81 + 917x82 + 847x83 + 657x84 + 280x85 + 433x86 + 730x87 + 861x88 + 31x89 + 490x90 + 765x91 + 732x92 + 357x93 + 218x94 + 661x95 + 687x96 + 626x97 + 46x98 + 607x99 + 902x100 <=26525 constr2: + 386x1 + 459x2 + 939x3 + 350x4 + 219x5 + 700x6 + 520x7 + 466x8 + 184x9 + 291x10 + 806x11 + 242x12 + 155x13 + 437x14 + 847x15 + 910x16 + 821x17 + 828x18 + 715x19 + 225x20 + 566x21 + 499x22 + 341x23 + 982x24 + 539x25 + 883x26 + 761x27 + 411x28 + 210x29 + 48x30 + 441x31 + 504x32 + 726x33 + 667x34 + 636x35 + 870x36 + 818x37 + 982x38 + 46x39 + 791x40 + 648x41 + 617x42 + 406x43 + 753x44 + 815x45 + 15x46 + 450x47 + 202x48 + 606x49 + 295x50 + 35x51 + 651x52 + 467x53 + 531x54 + 160x55 + 204x56 + 170x57 + 331x58 + 595x59 + 683x60 + 343x61 + 480x62 + 477x63 + 660x64 + 74x65 + 359x66 + 514x67 + 432x68 + 108x69 + 563x70 + 820x71 + 237x72 + 93x73 + 73x74 + 824x75 + 912x76 + 260x77 + 338x78 + 419x79 + 269x80 + 219x81 + 739x82 + 539x83 + 707x84 + 960x85 + 588x86 + 141x87 + 976x88 + 180x89 + 146x90 + 994x91 + 583x92 + 417x93 + 764x94 + 529x95 + 364x96 + 510x97 + 680x98 + 122x99 + 971x100 <=25120 constr3: + 386x1 + 260x2 + 432x3 + 20x4 + 793x5 + 172x6 + 68x7 + 479x8 + 34x9 + 494x10 + 160x11 + 823x12 + 236x13 + 775x14 + 410x15 + 392x16 + 412x17 + 603x18 + 549x19 + 848x20 + 416x21 + 999x22 + 751x23 + 855x24 + 592x25 + 423x26 + 61x27 + 46x28 + 570x29 + 790x30 + 975x31 + 481x32 + 18x33 + 824x34 + 354x35 + 28x36 + 475x37 + 905x38 + 249x39 + 878x40 + 985x41 + 508x42 + 426x43 + 552x44 + 386x45 + 107x46 + 794x47 + 996x48 + 959x49 + 378x50 + 296x51 + 582x52 + 254x53 + 274x54 + 154x55 + 299x56 + 637x57 + 446x58 + 419x59 + 651x60 + 711x61 + 399x62 + 79x63 + 81x64 + 446x65 + 176x66 + 939x67 + 893x68 + 556x69 + 121x70 + 135x71 + 821x72 + 33x73 + 36x74 + 921x75 + 352x76 + 851x77 + 224x78 + 329x79 + 702x80 + 810x81 + 417x82 + 942x83 + 680x84 + 687x85 + 444x86 + 523x87 + 307x88 + 159x89 + 923x90 + 593x91 + 796x92 + 843x93 + 5x94 + 11x95 + 250x96 + 181x97 + 635x98 + 651x99 + 758x100 <=24280 constr4: + 674x1 + 915x2 + 64x3 + 380x4 + 170x5 + 436x6 + 156x7 + 630x8 + 273x9 + 398x10 + 687x11 + 517x12 + 547x13 + 159x14 + 622x15 + 623x16 + 929x17 + 996x18 + 441x19 + 399x20 + 302x21 + 950x22 + 687x23 + 143x24 + 568x25 + 424x26 + 770x27 + 294x28 + 39x29 + 690x30 + 370x31 + 441x32 + 391x33 + 935x34 + 866x35 + 523x36 + 461x37 + 935x38 + 596x39 + 468x40 + 747x41 + 452x42 + 38x43 + 811x44 + 988x45 + 372x46 + 425x47 + 99x48 + 654x49 + 739x50 + 757x51 + 687x52 + 282x53 + 950x54 + 455x55 + 261x56 + 709x57 + 487x58 + 925x59 + 643x60 + 676x61 + 996x62 + 855x63 + 269x64 + 186x65 + 846x66 + 870x67 + 505x68 + 809x69 + 690x70 + 281x71 + 993x72 + 289x73 + 458x74 + 580x75 + 310x76 + 92x77 + 601x78 + 783x79 + 308x80 + 453x81 + 496x82 + 279x83 + 410x84 + 388x85 + 51x86 + 527x87 + 998x88 + 11x89 + 275x90 + 308x91 + 555x92 + 53x93 + 145x94 + 211x95 + 9x96 + 299x97 + 399x98 + 667x99 + 248x100 <=25265 constr5: + 654x1 + 567x2 + 899x3 + 772x4 + 372x5 + 809x6 + 473x7 + 103x8 + 123x9 + 949x10 + 775x11 + 658x12 + 142x13 + 644x14 + 614x15 + 98x16 + 515x17 + 550x18 + 647x19 + 410x20 + 904x21 + 723x22 + 711x23 + 412x24 + 969x25 + 594x26 + 726x27 + 711x28 + 354x29 + 827x30 + 115x31 + 495x32 + 276x33 + 294x34 + 553x35 + 815x36 + 922x37 + 448x38 + 447x39 + 335x40 + 881x41 + 760x42 + 594x43 + 997x44 + 458x45 + 806x46 + 867x47 + 941x48 + 326x49 + 142x50 + 745x51 + 529x52 + 46x53 + 783x54 + 725x55 + 191x56 + 527x57 + 735x58 + 799x59 + 93x60 + 968x61 + 450x62 + 563x63 + 813x64 + 260x65 + 766x66 + 459x67 + 176x68 + 21x69 + 335x70 + 188x71 + 276x72 + 775x73 + 12x74 + 80x75 + 221x76 + 591x77 + 694x78 + 406x79 + 957x80 + 327x81 + 692x82 + 323x83 + 363x84 + 244x85 + 424x86 + 671x87 + 460x88 + 905x89 + 662x90 + 175x91 + 157x92 + 907x93 + 602x94 + 398x95 + 899x96 + 28x97 + 47x98 + 179x99 + 585x100 <=26205 constr6: + 508x1 + 215x2 + 648x3 + 95x4 + 747x5 + 78x6 + 952x7 + 898x8 + 191x9 + 573x10 + 94x11 + 752x12 + 862x13 + 463x14 + 302x15 + 896x16 + 66x17 + 933x18 + 132x19 + 915x20 + 119x21 + 570x22 + 550x23 + 573x24 + 933x25 + 173x26 + 962x27 + 578x28 + 78x29 + 906x30 + 455x31 + 280x32 + 375x33 + 152x34 + 581x35 + 480x36 + 119x37 + 40x38 + 811x39 + 340x40 + 593x41 + 418x42 + 829x43 + 831x44 + 41x45 + 423x46 + 713x47 + 88x48 + 696x49 + 615x50 + 494x51 + 308x52 + 719x53 + 120x54 + 963x55 + 294x56 + 189x57 + 299x58 + 168x59 + 728x60 + 209x61 + 974x62 + 912x63 + 942x64 + 71x65 + 225x66 + 929x67 + 783x68 + 978x69 + 609x70 + 673x71 + 835x72 + 821x73 + 62x74 + 464x75 + 987x76 + 122x77 + 405x78 + 238x79 + 874x80 + 846x81 + 325x82 + 331x83 + 287x84 + 867x85 + 842x86 + 336x87 + 944x88 + 347x89 + 971x90 + 656x91 + 358x92 + 293x93 + 52x94 + 517x95 + 763x96 + 498x97 + 298x98 + 205x99 + 180x100 <=25477 constr7: + 252x1 + 898x2 + 130x3 + 414x4 + 587x5 + 352x6 + 426x7 + 906x8 + 127x9 + 177x10 + 202x11 + 936x12 + 613x13 + 471x14 + 19x15 + 92x16 + 490x17 + 968x18 + 234x19 + 659x20 + 696x21 + 429x22 + 793x23 + 69x24 + 275x25 + 875x26 + 424x27 + 143x28 + 482x29 + 788x30 + 648x31 + 207x32 + 174x33 + 259x34 + 189x35 + 551x36 + 60x37 + 457x38 + 97x39 + 869x40 + 154x41 + 442x42 + 280x43 + 161x44 + 548x45 + 710x46 + 432x47 + 555x48 + 660x49 + 897x50 + 108x51 + 551x52 + 514x53 + 930x54 + 516x55 + 819x56 + 937x57 + 348x58 + 127x59 + 458x60 + 302x61 + 894x62 + 228x63 + 992x64 + 582x65 + 602x66 + 739x67 + 460x68 + 631x69 + 256x70 + 894x71 + 516x72 + 138x73 + 304x74 + 558x75 + 644x76 + 427x77 + 786x78 + 936x79 + 100x80 + 449x81 + 893x82 + 516x83 + 708x84 + 3x85 + 585x86 + 489x87 + 393x88 + 601x89 + 6x90 + 2x91 + 828x92 + 694x93 + 369x94 + 246x95 + 23x96 + 854x97 + 849x98 + 547x99 + 335x100 <=23982 constr8: + 75x1 + 253x2 + 496x3 + 311x4 + 320x5 + 500x6 + 469x7 + 762x8 + 946x9 + 458x10 + 699x11 + 511x12 + 537x13 + 925x14 + 435x15 + 426x16 + 586x17 + 987x18 + 103x19 + 471x20 + 194x21 + 89x22 + 842x23 + 813x24 + 850x25 + 212x26 + 201x27 + 915x28 + 437x29 + 248x30 + 262x31 + 878x32 + 930x33 + 201x34 + 545x35 + 78x36 + 778x37 + 237x38 + 629x39 + 564x40 + 489x41 + 734x42 + 83x43 + 932x44 + 677x45 + 361x46 + 952x47 + 977x48 + 607x49 + 279x50 + 319x51 + 789x52 + 412x53 + 470x54 + 551x55 + 253x56 + 114x57 + 511x58 + 619x59 + 806x60 + 619x61 + 54x62 + 180x63 + 699x64 + 116x65 + 636x66 + 247x67 + 769x68 + 666x69 + 820x70 + 765x71 + 376x72 + 665x73 + 15x74 + 782x75 + 866x76 + 923x77 + 271x78 + 37x79 + 145x80 + 867x81 + 926x82 + 57x83 + 978x84 + 95x85 + 189x86 + 913x87 + 660x88 + 823x89 + 371x90 + 293x91 + 31x92 + 761x93 + 83x94 + 941x95 + 452x96 + 543x97 + 413x98 + 306x99 + 928x100 <=25695 constr9: + 903x1 + 24x2 + 950x3 + 431x4 + 768x5 + 876x6 + 917x7 + 411x8 + 405x9 + 825x10 + 536x11 + 922x12 + 852x13 + 639x14 + 269x15 + 728x16 + 84x17 + 220x18 + 359x19 + 58x20 + 232x21 + 448x22 + 743x23 + 213x24 + 989x25 + 928x26 + 368x27 + 466x28 + 813x29 + 636x30 + 387x31 + 923x32 + 553x33 + 25x34 + 208x35 + 10x36 + 16x37 + 749x38 + 175x39 + 717x40 + 323x41 + 895x42 + 481x43 + 739x44 + 508x45 + 450x46 + 402x47 + 622x48 + 825x49 + 942x50 + 435x51 + 678x52 + 285x53 + 180x54 + 520x55 + 106x56 + 345x57 + 973x58 + 398x59 + 581x60 + 445x61 + 961x62 + 722x63 + 481x64 + 448x65 + 632x66 + 138x67 + 599x68 + 848x69 + 851x70 + 741x71 + 138x72 + 715x73 + 520x74 + 714x75 + 78x76 + 466x77 + 176x78 + 401x79 + 68x80 + 840x81 + 128x82 + 98x83 + 498x84 + 150x85 + 258x86 + 441x87 + 52x88 + 100x89 + 144x90 + 311x91 + 77x92 + 415x93 + 134x94 + 271x95 + 228x96 + 261x97 + 125x98 + 757x99 + 127x100 <=23511 constr10: + 625x1 + 414x2 + 527x3 + 776x4 + 158x5 + 141x6 + 489x7 + 322x8 + 814x9 + 881x10 + 777x11 + 833x12 + 952x13 + 492x14 + 887x15 + 700x16 + 147x17 + 223x18 + 586x19 + 988x20 + 134x21 + 164x22 + 106x23 + 282x24 + 923x25 + 608x26 + 258x27 + 843x28 + 734x29 + 878x30 + 961x31 + 34x32 + 161x33 + 221x34 + 245x35 + 632x36 + 837x37 + 596x38 + 710x39 + 134x40 + 560x41 + 483x42 + 235x43 + 279x44 + 289x45 + 146x46 + 520x47 + 446x48 + 357x49 + 870x50 + 994x51 + 979x52 + 167x53 + 758x54 + 56x55 + 660x56 + 89x57 + 161x58 + 402x59 + 597x60 + 685x61 + 742x62 + 990x63 + 968x64 + 498x65 + 840x66 + 102x67 + 835x68 + 703x69 + 200x70 + 395x71 + 620x72 + 937x73 + 385x74 + 743x75 + 124x76 + 356x77 + 137x78 + 598x79 + 406x80 + 243x81 + 308x82 + 506x83 + 679x84 + 456x85 + 752x86 + 921x87 + 955x88 + 954x89 + 657x90 + 455x91 + 660x92 + 233x93 + 962x94 + 267x95 + 89x96 + 595x97 + 392x98 + 35x99 + 567x100 <=26096 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