maximize objective: + 1062x1 + 838x2 + 865x3 + 709x4 + 550x5 + 861x6 + 583x7 + 631x8 + 399x9 + 533x10 + 513x11 + 702x12 + 870x13 + 716x14 + 901x15 + 784x16 + 548x17 + 654x18 + 678x19 + 528x20 + 392x21 + 713x22 + 542x23 + 501x24 + 351x25 + 638x26 + 473x27 + 815x28 + 897x29 + 786x30 + 955x31 + 980x32 + 333x33 + 971x34 + 810x35 + 1091x36 + 913x37 + 691x38 + 909x39 + 526x40 + 1131x41 + 955x42 + 910x43 + 950x44 + 1061x45 + 751x46 + 847x47 + 624x48 + 807x49 + 574x50 + 683x51 + 778x52 + 1038x53 + 616x54 + 973x55 + 1006x56 + 610x57 + 983x58 + 554x59 + 1002x60 + 719x61 + 500x62 + 713x63 + 714x64 + 898x65 + 584x66 + 582x67 + 810x68 + 691x69 + 1074x70 + 744x71 + 553x72 + 1108x73 + 673x74 + 589x75 + 795x76 + 758x77 + 372x78 + 759x79 + 475x80 + 847x81 + 879x82 + 742x83 + 764x84 + 575x85 + 837x86 + 614x87 + 491x88 + 1068x89 + 685x90 + 498x91 + 654x92 + 507x93 + 871x94 + 815x95 + 700x96 + 612x97 + 835x98 + 1032x99 + 660x100 subject to constr1: + 749x1 + 429x2 + 939x3 + 514x4 + 890x5 + 858x6 + 235x7 + 53x8 + 860x9 + 886x10 + 611x11 + 866x12 + 237x13 + 519x14 + 187x15 + 617x16 + 507x17 + 708x18 + 616x19 + 607x20 + 246x21 + 195x22 + 42x23 + 929x24 + 576x25 + 227x26 + 728x27 + 312x28 + 785x29 + 176x30 + 812x31 + 435x32 + 127x33 + 986x34 + 574x35 + 111x36 + 792x37 + 469x38 + 657x39 + 270x40 + 183x41 + 919x42 + 872x43 + 778x44 + 520x45 + 995x46 + 950x47 + 761x48 + 44x49 + 336x50 + 944x51 + 262x52 + 379x53 + 1000x54 + 251x55 + 979x56 + 421x57 + 985x58 + 908x59 + 505x60 + 366x61 + 62x62 + 484x63 + 906x64 + 717x65 + 475x66 + 624x67 + 85x68 + 803x69 + 771x70 + 258x71 + 407x72 + 276x73 + 513x74 + 225x75 + 618x76 + 183x77 + 80x78 + 9x79 + 663x80 + 773x81 + 603x82 + 106x83 + 594x84 + 483x85 + 332x86 + 969x87 + 953x88 + 967x89 + 325x90 + 337x91 + 268x92 + 748x93 + 808x94 + 815x95 + 204x96 + 670x97 + 143x98 + 688x99 + 932x100 <=40929 constr2: + 821x1 + 170x2 + 516x3 + 272x4 + 537x5 + 421x6 + 319x7 + 840x8 + 122x9 + 125x10 + 251x11 + 299x12 + 380x13 + 342x14 + 607x15 + 970x16 + 260x17 + 222x18 + 229x19 + 107x20 + 534x21 + 502x22 + 718x23 + 83x24 + 90x25 + 6x26 + 94x27 + 136x28 + 978x29 + 174x30 + 712x31 + 588x32 + 196x33 + 629x34 + 15x35 + 802x36 + 672x37 + 330x38 + 913x39 + 717x40 + 993x41 + 195x42 + 293x43 + 540x44 + 627x45 + 784x46 + 598x47 + 200x48 + 408x49 + 22x50 + 326x51 + 826x52 + 746x53 + 405x54 + 868x55 + 172x56 + 704x57 + 801x58 + 337x59 + 870x60 + 170x61 + 385x62 + 517x63 + 501x64 + 202x65 + 121x66 + 301x67 + 522x68 + 224x69 + 328x70 + 417x71 + 193x72 + 300x73 + 745x74 + 318x75 + 620x76 + 345x77 + 633x78 + 576x79 + 66x80 + 310x81 + 637x82 + 590x83 + 779x84 + 532x85 + 321x86 + 19x87 + 505x88 + 127x89 + 121x90 + 287x91 + 166x92 + 612x93 + 296x94 + 346x95 + 559x96 + 567x97 + 945x98 + 412x99 + 91x100 <=32340 constr3: + 809x1 + 440x2 + 349x3 + 955x4 + 539x5 + 175x6 + 935x7 + 826x8 + 438x9 + 690x10 + 989x11 + 865x12 + 38x13 + 219x14 + 539x15 + 537x16 + 427x17 + 707x18 + 514x19 + 720x20 + 813x21 + 676x22 + 721x23 + 375x24 + 514x25 + 289x26 + 13x27 + 929x28 + 705x29 + 642x30 + 653x31 + 220x32 + 579x33 + 321x34 + 877x35 + 901x36 + 431x37 + 510x38 + 88x39 + 341x40 + 882x41 + 459x42 + 93x43 + 566x44 + 353x45 + 238x46 + 261x47 + 27x48 + 734x49 + 722x50 + 578x51 + 738x52 + 676x53 + 196x54 + 215x55 + 747x56 + 619x57 + 222x58 + 287x59 + 453x60 + 257x61 + 78x62 + 359x63 + 749x64 + 527x65 + 564x66 + 51x67 + 438x68 + 847x69 + 486x70 + 913x71 + 175x72 + 958x73 + 843x74 + 95x75 + 415x76 + 237x77 + 185x78 + 573x79 + 1x80 + 135x81 + 623x82 + 83x83 + 687x84 + 315x85 + 497x86 + 537x87 + 816x88 + 511x89 + 583x90 + 512x91 + 482x92 + 248x93 + 901x94 + 595x95 + 110x96 + 483x97 + 928x98 + 565x99 + 182x100 <=37439 constr4: + 347x1 + 926x2 + 577x3 + 462x4 + 553x5 + 682x6 + 780x7 + 869x8 + 596x9 + 97x10 + 323x11 + 571x12 + 614x13 + 904x14 + 780x15 + 903x16 + 554x17 + 410x18 + 486x19 + 784x20 + 78x21 + 259x22 + 447x23 + 576x24 + 229x25 + 542x26 + 457x27 + 862x28 + 817x29 + 574x30 + 460x31 + 956x32 + 483x33 + 438x34 + 49x35 + 396x36 + 323x37 + 449x38 + 348x39 + 592x40 + 789x41 + 801x42 + 319x43 + 208x44 + 921x45 + 160x46 + 534x47 + 467x48 + 137x49 + 784x50 + 127x51 + 137x52 + 49x53 + 75x54 + 965x55 + 38x56 + 136x57 + 217x58 + 305x59 + 623x60 + 504x61 + 61x62 + 191x63 + 330x64 + 727x65 + 647x66 + 489x67 + 831x68 + 300x69 + 551x70 + 110x71 + 760x72 + 864x73 + 438x74 + 936x75 + 978x76 + 954x77 + 453x78 + 625x79 + 969x80 + 265x81 + 786x82 + 19x83 + 28x84 + 454x85 + 21x86 + 818x87 + 614x88 + 361x89 + 695x90 + 458x91 + 904x92 + 57x93 + 422x94 + 327x95 + 614x96 + 240x97 + 728x98 + 856x99 + 912x100 <=37982 constr5: + 284x1 + 797x2 + 795x3 + 989x4 + 558x5 + 634x6 + 511x7 + 535x8 + 144x9 + 711x10 + 676x11 + 906x12 + 56x13 + 136x14 + 755x15 + 434x16 + 167x17 + 492x18 + 941x19 + 558x20 + 753x21 + 527x22 + 37x23 + 40x24 + 58x25 + 784x26 + 852x27 + 562x28 + 637x29 + 177x30 + 607x31 + 680x32 + 915x33 + 930x34 + 707x35 + 639x36 + 597x37 + 101x38 + 412x39 + 897x40 + 763x41 + 799x42 + 729x43 + 285x44 + 856x45 + 35x46 + 423x47 + 153x48 + 595x49 + 46x50 + 79x51 + 103x52 + 614x53 + 50x54 + 657x55 + 729x56 + 701x57 + 211x58 + 93x59 + 668x60 + 222x61 + 971x62 + 926x63 + 765x64 + 442x65 + 326x66 + 101x67 + 46x68 + 327x69 + 565x70 + 271x71 + 206x72 + 851x73 + 748x74 + 701x75 + 860x76 + 696x77 + 770x78 + 839x79 + 882x80 + 755x81 + 411x82 + 160x83 + 922x84 + 170x85 + 383x86 + 199x87 + 25x88 + 944x89 + 472x90 + 795x91 + 941x92 + 987x93 + 406x94 + 333x95 + 392x96 + 880x97 + 298x98 + 810x99 + 522x100 <=39675 constr6: + 851x1 + 309x2 + 215x3 + 432x4 + 824x5 + 758x6 + 627x7 + 590x8 + 296x9 + 414x10 + 618x11 + 909x12 + 965x13 + 716x14 + 991x15 + 733x16 + 100x17 + 966x18 + 39x19 + 809x20 + 125x21 + 430x22 + 278x23 + 293x24 + 148x25 + 561x26 + 3x27 + 145x28 + 85x29 + 326x30 + 82x31 + 354x32 + 193x33 + 395x34 + 101x35 + 901x36 + 403x37 + 430x38 + 185x39 + 411x40 + 601x41 + 54x42 + 873x43 + 346x44 + 619x45 + 792x46 + 726x47 + 393x48 + 773x49 + 488x50 + 817x51 + 89x52 + 348x53 + 422x54 + 582x55 + 917x56 + 842x57 + 836x58 + 217x59 + 200x60 + 217x61 + 289x62 + 277x63 + 808x64 + 833x65 + 903x66 + 352x67 + 766x68 + 611x69 + 532x70 + 168x71 + 234x72 + 937x73 + 98x74 + 444x75 + 433x76 + 179x77 + 335x78 + 930x79 + 806x80 + 779x81 + 957x82 + 436x83 + 466x84 + 555x85 + 415x86 + 554x87 + 211x88 + 891x89 + 880x90 + 678x91 + 325x92 + 45x93 + 235x94 + 402x95 + 123x96 + 940x97 + 1x98 + 121x99 + 75x100 <=36140 constr7: + 80x1 + 999x2 + 551x3 + 717x4 + 394x5 + 971x6 + 738x7 + 770x8 + 415x9 + 210x10 + 54x11 + 84x12 + 631x13 + 396x14 + 65x15 + 666x16 + 299x17 + 314x18 + 459x19 + 320x20 + 113x21 + 124x22 + 427x23 + 184x24 + 639x25 + 380x26 + 346x27 + 282x28 + 369x29 + 338x30 + 56x31 + 700x32 + 210x33 + 935x34 + 120x35 + 954x36 + 979x37 + 649x38 + 356x39 + 13x40 + 935x41 + 753x42 + 424x43 + 779x44 + 762x45 + 381x46 + 832x47 + 706x48 + 133x49 + 654x50 + 441x51 + 828x52 + 475x53 + 89x54 + 696x55 + 496x56 + 377x57 + 342x58 + 876x59 + 711x60 + 199x61 + 418x62 + 69x63 + 873x64 + 9x65 + 613x66 + 377x67 + 555x68 + 388x69 + 891x70 + 698x71 + 713x72 + 417x73 + 162x74 + 17x75 + 723x76 + 131x77 + 273x78 + 433x79 + 266x80 + 216x81 + 675x82 + 523x83 + 599x84 + 633x85 + 542x86 + 517x87 + 111x88 + 938x89 + 438x90 + 641x91 + 344x92 + 665x93 + 224x94 + 103x95 + 186x96 + 558x97 + 168x98 + 866x99 + 102x100 <=34703 constr8: + 774x1 + 241x2 + 427x3 + 16x4 + 79x5 + 40x6 + 384x7 + 188x8 + 546x9 + 983x10 + 59x11 + 850x12 + 548x13 + 482x14 + 610x15 + 401x16 + 236x17 + 35x18 + 649x19 + 468x20 + 146x21 + 854x22 + 169x23 + 326x24 + 220x25 + 828x26 + 831x27 + 55x28 + 471x29 + 744x30 + 853x31 + 621x32 + 207x33 + 28x34 + 400x35 + 657x36 + 511x37 + 689x38 + 31x39 + 190x40 + 576x41 + 207x42 + 862x43 + 322x44 + 666x45 + 418x46 + 486x47 + 49x48 + 83x49 + 209x50 + 885x51 + 598x52 + 825x53 + 710x54 + 636x55 + 778x56 + 9x57 + 783x58 + 956x59 + 792x60 + 742x61 + 47x62 + 408x63 + 646x64 + 753x65 + 899x66 + 577x67 + 731x68 + 843x69 + 813x70 + 572x71 + 721x72 + 707x73 + 426x74 + 564x75 + 137x76 + 944x77 + 388x78 + 582x79 + 569x80 + 429x81 + 184x82 + 281x83 + 895x84 + 408x85 + 293x86 + 97x87 + 794x88 + 633x89 + 728x90 + 144x91 + 997x92 + 362x93 + 786x94 + 787x95 + 922x96 + 627x97 + 750x98 + 110x99 + 928x100 <=38191 constr9: + 506x1 + 516x2 + 967x3 + 980x4 + 885x5 + 136x6 + 611x7 + 113x8 + 64x9 + 71x10 + 211x11 + 656x12 + 988x13 + 398x14 + 852x15 + 109x16 + 94x17 + 59x18 + 721x19 + 215x20 + 379x21 + 320x22 + 393x23 + 701x24 + 467x25 + 771x26 + 128x27 + 937x28 + 37x29 + 799x30 + 182x31 + 294x32 + 309x33 + 839x34 + 130x35 + 681x36 + 973x37 + 152x38 + 716x39 + 657x40 + 777x41 + 476x42 + 29x43 + 821x44 + 928x45 + 78x46 + 183x47 + 586x48 + 994x49 + 865x50 + 324x51 + 89x52 + 455x53 + 534x54 + 895x55 + 458x56 + 194x57 + 745x58 + 141x59 + 387x60 + 807x61 + 43x62 + 706x63 + 471x64 + 58x65 + 990x66 + 779x67 + 975x68 + 827x69 + 842x70 + 86x71 + 536x72 + 443x73 + 546x74 + 643x75 + 482x76 + 567x77 + 229x78 + 818x79 + 28x80 + 455x81 + 966x82 + 601x83 + 440x84 + 829x85 + 595x86 + 108x87 + 715x88 + 54x89 + 389x90 + 259x91 + 480x92 + 58x93 + 500x94 + 393x95 + 225x96 + 939x97 + 40x98 + 818x99 + 757x100 <=37105 constr10: + 455x1 + 591x2 + 963x3 + 112x4 + 190x5 + 698x6 + 6x7 + 565x8 + 451x9 + 182x10 + 100x11 + 964x12 + 426x13 + 90x14 + 897x15 + 36x16 + 85x17 + 46x18 + 54x19 + 279x20 + 94x21 + 14x22 + 721x23 + 328x24 + 524x25 + 505x26 + 452x27 + 381x28 + 439x29 + 301x30 + 265x31 + 900x32 + 90x33 + 798x34 + 312x35 + 871x36 + 986x37 + 907x38 + 414x39 + 208x40 + 346x41 + 742x42 + 334x43 + 819x44 + 932x45 + 63x46 + 900x47 + 621x48 + 800x49 + 679x50 + 182x51 + 552x52 + 972x53 + 101x54 + 952x55 + 91x56 + 167x57 + 411x58 + 819x59 + 659x60 + 350x61 + 182x62 + 550x63 + 253x64 + 882x65 + 184x66 + 136x67 + 127x68 + 640x69 + 157x70 + 882x71 + 289x72 + 638x73 + 575x74 + 624x75 + 71x76 + 838x77 + 178x78 + 249x79 + 379x80 + 4x81 + 375x82 + 507x83 + 756x84 + 344x85 + 833x86 + 488x87 + 137x88 + 402x89 + 121x90 + 230x91 + 604x92 + 304x93 + 794x94 + 913x95 + 638x96 + 209x97 + 788x98 + 697x99 + 550x100 <=34290 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