maximize objective: + 846x1 + 578x2 + 811x3 + 890x4 + 795x5 + 521x6 + 718x7 + 757x8 + 995x9 + 825x10 + 843x11 + 874x12 + 834x13 + 831x14 + 556x15 + 601x16 + 472x17 + 487x18 + 640x19 + 885x20 + 766x21 + 867x22 + 849x23 + 1053x24 + 532x25 + 1120x26 + 664x27 + 1030x28 + 624x29 + 627x30 + 905x31 + 1051x32 + 532x33 + 906x34 + 695x35 + 1121x36 + 771x37 + 845x38 + 735x39 + 759x40 + 684x41 + 1088x42 + 773x43 + 967x44 + 942x45 + 906x46 + 626x47 + 827x48 + 814x49 + 573x50 + 851x51 + 925x52 + 670x53 + 551x54 + 557x55 + 596x56 + 669x57 + 717x58 + 907x59 + 810x60 + 454x61 + 985x62 + 1028x63 + 940x64 + 864x65 + 834x66 + 569x67 + 758x68 + 689x69 + 718x70 + 922x71 + 522x72 + 885x73 + 438x74 + 924x75 + 721x76 + 506x77 + 891x78 + 774x79 + 904x80 + 895x81 + 525x82 + 743x83 + 452x84 + 915x85 + 636x86 + 982x87 + 634x88 + 585x89 + 602x90 + 768x91 + 711x92 + 707x93 + 914x94 + 858x95 + 757x96 + 915x97 + 689x98 + 798x99 + 646x100 subject to constr1: + 478x1 + 209x2 + 549x3 + 155x4 + 805x5 + 64x6 + 528x7 + 904x8 + 832x9 + 14x10 + 606x11 + 436x12 + 221x13 + 937x14 + 477x15 + 646x16 + 472x17 + 708x18 + 678x19 + 633x20 + 7x21 + 110x22 + 435x23 + 929x24 + 925x25 + 584x26 + 556x27 + 795x28 + 435x29 + 73x30 + 934x31 + 534x32 + 355x33 + 954x34 + 834x35 + 347x36 + 730x37 + 872x38 + 407x39 + 789x40 + 968x41 + 924x42 + 519x43 + 945x44 + 704x45 + 997x46 + 866x47 + 380x48 + 248x49 + 96x50 + 476x51 + 7x52 + 752x53 + 565x54 + 799x55 + 827x56 + 99x57 + 769x58 + 9x59 + 228x60 + 590x61 + 786x62 + 355x63 + 263x64 + 955x65 + 590x66 + 255x67 + 604x68 + 989x69 + 723x70 + 191x71 + 258x72 + 664x73 + 37x74 + 805x75 + 836x76 + 552x77 + 792x78 + 86x79 + 935x80 + 711x81 + 868x82 + 373x83 + 9x84 + 635x85 + 641x86 + 441x87 + 305x88 + 669x89 + 647x90 + 686x91 + 640x92 + 625x93 + 615x94 + 165x95 + 491x96 + 934x97 + 6x98 + 34x99 + 717x100 <=13653 constr2: + 598x1 + 280x2 + 441x3 + 103x4 + 594x5 + 278x6 + 272x7 + 703x8 + 781x9 + 701x10 + 338x11 + 273x12 + 821x13 + 798x14 + 801x15 + 376x16 + 712x17 + 164x18 + 937x19 + 602x20 + 156x21 + 114x22 + 220x23 + 343x24 + 749x25 + 713x26 + 121x27 + 240x28 + 21x29 + 26x30 + 580x31 + 760x32 + 29x33 + 295x34 + 516x35 + 707x36 + 429x37 + 209x38 + 375x39 + 112x40 + 397x41 + 809x42 + 782x43 + 712x44 + 306x45 + 529x46 + 375x47 + 212x48 + 335x49 + 510x50 + 662x51 + 16x52 + 457x53 + 699x54 + 123x55 + 393x56 + 160x57 + 710x58 + 90x59 + 896x60 + 246x61 + 409x62 + 877x63 + 475x64 + 674x65 + 1x66 + 274x67 + 584x68 + 450x69 + 94x70 + 915x71 + 841x72 + 25x73 + 599x74 + 377x75 + 934x76 + 270x77 + 634x78 + 752x79 + 669x80 + 704x81 + 838x82 + 953x83 + 970x84 + 467x85 + 329x86 + 787x87 + 54x88 + 516x89 + 561x90 + 358x91 + 433x92 + 715x93 + 11x94 + 860x95 + 888x96 + 613x97 + 949x98 + 296x99 + 300x100 <=12041 constr3: + 7x1 + 60x2 + 644x3 + 944x4 + 50x5 + 492x6 + 580x7 + 209x8 + 353x9 + 323x10 + 308x11 + 875x12 + 780x13 + 324x14 + 178x15 + 479x16 + 226x17 + 637x18 + 251x19 + 870x20 + 392x21 + 1000x22 + 782x23 + 652x24 + 371x25 + 929x26 + 274x27 + 693x28 + 919x29 + 12x30 + 737x31 + 321x32 + 758x33 + 707x34 + 122x35 + 383x36 + 775x37 + 538x38 + 111x39 + 170x40 + 500x41 + 740x42 + 995x43 + 630x44 + 210x45 + 697x46 + 200x47 + 688x48 + 542x49 + 654x50 + 668x51 + 57x52 + 820x53 + 315x54 + 946x55 + 17x56 + 695x57 + 354x58 + 47x59 + 99x60 + 47x61 + 541x62 + 939x63 + 933x64 + 965x65 + 500x66 + 92x67 + 396x68 + 192x69 + 497x70 + 185x71 + 41x72 + 262x73 + 196x74 + 180x75 + 781x76 + 562x77 + 773x78 + 917x79 + 798x80 + 63x81 + 813x82 + 837x83 + 575x84 + 288x85 + 43x86 + 465x87 + 280x88 + 773x89 + 951x90 + 987x91 + 523x92 + 445x93 + 208x94 + 47x95 + 553x96 + 662x97 + 606x98 + 411x99 + 200x100 <=12159 constr4: + 518x1 + 448x2 + 516x3 + 406x4 + 727x5 + 939x6 + 575x7 + 82x8 + 628x9 + 78x10 + 950x11 + 135x12 + 510x13 + 481x14 + 671x15 + 359x16 + 436x17 + 575x18 + 916x19 + 89x20 + 999x21 + 15x22 + 245x23 + 891x24 + 713x25 + 470x26 + 469x27 + 654x28 + 489x29 + 826x30 + 582x31 + 451x32 + 887x33 + 559x34 + 613x35 + 441x36 + 591x37 + 314x38 + 78x39 + 564x40 + 120x41 + 463x42 + 190x43 + 388x44 + 674x45 + 426x46 + 498x47 + 859x48 + 665x49 + 15x50 + 443x51 + 916x52 + 299x53 + 779x54 + 158x55 + 804x56 + 211x57 + 567x58 + 572x59 + 602x60 + 620x61 + 127x62 + 222x63 + 317x64 + 893x65 + 943x66 + 951x67 + 450x68 + 855x69 + 136x70 + 927x71 + 234x72 + 974x73 + 93x74 + 555x75 + 69x76 + 651x77 + 817x78 + 990x79 + 658x80 + 758x81 + 324x82 + 149x83 + 361x84 + 747x85 + 338x86 + 405x87 + 374x88 + 916x89 + 57x90 + 525x91 + 358x92 + 840x93 + 182x94 + 827x95 + 406x96 + 583x97 + 335x98 + 32x99 + 793x100 <=12833 constr5: + 821x1 + 390x2 + 11x3 + 542x4 + 279x5 + 386x6 + 694x7 + 586x8 + 377x9 + 757x10 + 234x11 + 691x12 + 491x13 + 710x14 + 171x15 + 80x16 + 183x17 + 28x18 + 315x19 + 457x20 + 331x21 + 751x22 + 992x23 + 706x24 + 238x25 + 758x26 + 309x27 + 606x28 + 389x29 + 952x30 + 393x31 + 958x32 + 867x33 + 923x34 + 97x35 + 678x36 + 114x37 + 542x38 + 518x39 + 867x40 + 92x41 + 519x42 + 199x43 + 496x44 + 792x45 + 932x46 + 141x47 + 393x48 + 517x49 + 282x50 + 96x51 + 813x52 + 576x53 + 238x54 + 900x55 + 326x56 + 973x57 + 863x58 + 923x59 + 477x60 + 39x61 + 329x62 + 761x63 + 792x64 + 208x65 + 288x66 + 835x67 + 580x68 + 479x69 + 80x70 + 973x71 + 40x72 + 645x73 + 542x74 + 197x75 + 423x76 + 349x77 + 534x78 + 722x79 + 907x80 + 503x81 + 235x82 + 604x83 + 18x84 + 531x85 + 969x86 + 906x87 + 954x88 + 277x89 + 602x90 + 342x91 + 91x92 + 877x93 + 786x94 + 434x95 + 737x96 + 132x97 + 204x98 + 750x99 + 390x100 <=12701 constr6: + 830x1 + 72x2 + 961x3 + 289x4 + 882x5 + 131x6 + 723x7 + 265x8 + 467x9 + 613x10 + 307x11 + 896x12 + 427x13 + 424x14 + 38x15 + 320x16 + 228x17 + 333x18 + 234x19 + 222x20 + 687x21 + 783x22 + 350x23 + 960x24 + 472x25 + 196x26 + 202x27 + 592x28 + 231x29 + 255x30 + 789x31 + 461x32 + 544x33 + 71x34 + 954x35 + 622x36 + 29x37 + 61x38 + 618x39 + 790x40 + 208x41 + 48x42 + 552x43 + 687x44 + 723x45 + 552x46 + 783x47 + 942x48 + 924x49 + 348x50 + 300x51 + 586x52 + 577x53 + 380x54 + 378x55 + 876x56 + 79x57 + 678x58 + 585x59 + 980x60 + 170x61 + 266x62 + 470x63 + 426x64 + 987x65 + 716x66 + 385x67 + 175x68 + 381x69 + 508x70 + 370x71 + 279x72 + 790x73 + 503x74 + 145x75 + 967x76 + 54x77 + 724x78 + 798x79 + 622x80 + 25x81 + 278x82 + 319x83 + 93x84 + 629x85 + 236x86 + 203x87 + 70x88 + 410x89 + 441x90 + 905x91 + 655x92 + 452x93 + 924x94 + 730x95 + 355x96 + 681x97 + 664x98 + 950x99 + 212x100 <=12121 constr7: + 2x1 + 281x2 + 882x3 + 914x4 + 652x5 + 659x6 + 733x7 + 553x8 + 693x9 + 747x10 + 997x11 + 535x12 + 701x13 + 170x14 + 236x15 + 921x16 + 130x17 + 428x18 + 553x19 + 520x20 + 633x21 + 941x22 + 440x23 + 959x24 + 349x25 + 318x26 + 153x27 + 529x28 + 601x29 + 122x30 + 145x31 + 820x32 + 101x33 + 660x34 + 867x35 + 928x36 + 923x37 + 52x38 + 533x39 + 550x40 + 750x41 + 525x42 + 98x43 + 600x44 + 271x45 + 624x46 + 794x47 + 69x48 + 368x49 + 134x50 + 963x51 + 641x52 + 68x53 + 952x54 + 270x55 + 597x56 + 277x57 + 7x58 + 666x59 + 508x60 + 179x61 + 83x62 + 425x63 + 681x64 + 653x65 + 788x66 + 989x67 + 993x68 + 649x69 + 929x70 + 952x71 + 492x72 + 643x73 + 203x74 + 773x75 + 715x76 + 512x77 + 25x78 + 698x79 + 432x80 + 775x81 + 234x82 + 154x83 + 360x84 + 28x85 + 268x86 + 205x87 + 98x88 + 420x89 + 416x90 + 846x91 + 292x92 + 304x93 + 90x94 + 512x95 + 833x96 + 705x97 + 977x98 + 255x99 + 525x100 <=12806 constr8: + 872x1 + 394x2 + 735x3 + 740x4 + 91x5 + 21x6 + 272x7 + 518x8 + 886x9 + 540x10 + 452x11 + 964x12 + 319x13 + 7x14 + 958x15 + 350x16 + 976x17 + 1x18 + 851x19 + 652x20 + 802x21 + 136x22 + 685x23 + 89x24 + 14x25 + 935x26 + 387x27 + 678x28 + 915x29 + 243x30 + 322x31 + 916x32 + 783x33 + 32x34 + 818x35 + 943x36 + 654x37 + 457x38 + 257x39 + 322x40 + 315x41 + 426x42 + 520x43 + 743x44 + 273x45 + 901x46 + 855x47 + 956x48 + 368x49 + 510x50 + 777x51 + 972x52 + 752x53 + 463x54 + 518x55 + 155x56 + 343x57 + 499x58 + 837x59 + 206x60 + 707x61 + 468x62 + 494x63 + 998x64 + 30x65 + 746x66 + 401x67 + 715x68 + 964x69 + 322x70 + 273x71 + 952x72 + 638x73 + 882x74 + 933x75 + 674x76 + 284x77 + 765x78 + 436x79 + 264x80 + 812x81 + 476x82 + 582x83 + 434x84 + 437x85 + 558x86 + 795x87 + 881x88 + 242x89 + 909x90 + 68x91 + 539x92 + 879x93 + 465x94 + 651x95 + 114x96 + 253x97 + 993x98 + 483x99 + 657x100 <=13888 constr9: + 957x1 + 893x2 + 975x3 + 742x4 + 687x5 + 732x6 + 916x7 + 790x8 + 232x9 + 150x10 + 942x11 + 643x12 + 908x13 + 593x14 + 363x15 + 238x16 + 97x17 + 517x18 + 913x19 + 709x20 + 119x21 + 382x22 + 625x23 + 851x24 + 233x25 + 988x26 + 624x27 + 354x28 + 708x29 + 476x30 + 793x31 + 569x32 + 642x33 + 620x34 + 436x35 + 701x36 + 214x37 + 49x38 + 261x39 + 481x40 + 909x41 + 705x42 + 724x43 + 365x44 + 409x45 + 880x46 + 480x47 + 944x48 + 276x49 + 603x50 + 851x51 + 518x52 + 70x53 + 381x54 + 243x55 + 447x56 + 479x57 + 421x58 + 590x59 + 245x60 + 644x61 + 988x62 + 555x63 + 771x64 + 634x65 + 47x66 + 72x67 + 813x68 + 891x69 + 457x70 + 487x71 + 196x72 + 875x73 + 317x74 + 552x75 + 215x76 + 521x77 + 599x78 + 324x79 + 704x80 + 591x81 + 16x82 + 999x83 + 931x84 + 880x85 + 923x86 + 995x87 + 223x88 + 563x89 + 82x90 + 372x91 + 290x92 + 764x93 + 568x94 + 792x95 + 247x96 + 317x97 + 493x98 + 714x99 + 574x100 <=13915 constr10: + 383x1 + 363x2 + 611x3 + 279x4 + 531x5 + 739x6 + 303x7 + 183x8 + 910x9 + 102x10 + 481x11 + 30x12 + 496x13 + 53x14 + 862x15 + 782x16 + 555x17 + 807x18 + 377x19 + 203x20 + 572x21 + 926x22 + 908x23 + 739x24 + 692x25 + 808x26 + 489x27 + 804x28 + 915x29 + 70x30 + 540x31 + 456x32 + 273x33 + 727x34 + 681x35 + 666x36 + 579x37 + 658x38 + 740x39 + 542x40 + 927x41 + 989x42 + 636x43 + 26x44 + 985x45 + 249x46 + 823x47 + 645x48 + 257x49 + 617x50 + 685x51 + 235x52 + 595x53 + 607x54 + 780x55 + 582x56 + 740x57 + 853x58 + 894x59 + 612x60 + 724x61 + 899x62 + 676x63 + 371x64 + 833x65 + 526x66 + 240x67 + 885x68 + 797x69 + 162x70 + 269x71 + 700x72 + 381x73 + 413x74 + 136x75 + 923x76 + 889x77 + 772x78 + 147x79 + 74x80 + 137x81 + 258x82 + 246x83 + 527x84 + 94x85 + 413x86 + 452x87 + 485x88 + 212x89 + 630x90 + 822x91 + 662x92 + 881x93 + 731x94 + 58x95 + 743x96 + 791x97 + 287x98 + 97x99 + 56x100 <=13493 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