maximize 
objective: + 778x1 + 748x2 + 567x3 + 769x4 + 412x5 + 605x6 + 530x7 + 963x8 + 437x9 + 821x10 + 772x11 + 937x12 + 638x13 + 726x14 + 369x15 + 887x16 + 908x17 + 433x18 + 989x19 + 728x20 + 863x21 + 906x22 + 587x23 + 544x24 + 666x25 + 878x26 + 814x27 + 697x28 + 867x29 + 803x30 + 842x31 + 936x32 + 834x33 + 1032x34 + 779x35 + 840x36 + 960x37 + 845x38 + 705x39 + 783x40 + 618x41 + 993x42 + 793x43 + 1022x44 + 891x45 + 592x46 + 730x47 + 532x48 + 698x49 + 575x50 + 512x51 + 741x52 + 647x53 + 1042x54 + 422x55 + 846x56 + 962x57 + 754x58 + 766x59 + 867x60 + 733x61 + 856x62 + 957x63 + 795x64 + 491x65 + 697x66 + 976x67 + 471x68 + 599x69 + 763x70 + 863x71 + 912x72 + 942x73 + 650x74 + 710x75 + 638x76 + 493x77 + 540x78 + 818x79 + 872x80 + 803x81 + 833x82 + 906x83 + 774x84 + 468x85 + 592x86 + 617x87 + 895x88 + 747x89 + 547x90 + 670x91 + 841x92 + 394x93 + 586x94 + 495x95 + 545x96 + 711x97 + 411x98 + 562x99 + 589x100 
subject to 
constr1: + 823x1 + 297x2 + 543x3 + 954x4 + 358x5 + 187x6 + 465x7 + 477x8 + 124x9 + 709x10 + 797x11 + 685x12 + 37x13 + 362x14 + 60x15 + 126x16 + 834x17 + 313x18 + 912x19 + 22x20 + 768x21 + 343x22 + 547x23 + 288x24 + 162x25 + 426x26 + 167x27 + 693x28 + 124x29 + 262x30 + 994x31 + 761x32 + 95x33 + 856x34 + 253x35 + 939x36 + 411x37 + 844x38 + 464x39 + 203x40 + 839x41 + 814x42 + 695x43 + 808x44 + 490x45 + 954x46 + 731x47 + 217x48 + 943x49 + 21x50 + 569x51 + 255x52 + 498x53 + 816x54 + 522x55 + 332x56 + 862x57 + 335x58 + 800x59 + 151x60 + 177x61 + 286x62 + 971x63 + 42x64 + 262x65 + 454x66 + 150x67 + 514x68 + 169x69 + 186x70 + 45x71 + 140x72 + 400x73 + 957x74 + 99x75 + 167x76 + 454x77 + 391x78 + 805x79 + 942x80 + 927x81 + 420x82 + 400x83 + 81x84 + 315x85 + 890x86 + 35x87 + 736x88 + 914x89 + 822x90 + 469x91 + 1000x92 + 27x93 + 294x94 + 380x95 + 441x96 + 397x97 + 308x98 + 354x99 + 893x100 <=12013 
constr2: + 794x1 + 167x2 + 88x3 + 929x4 + 206x5 + 777x6 + 327x7 + 392x8 + 171x9 + 881x10 + 883x11 + 492x12 + 162x13 + 774x14 + 198x15 + 52x16 + 721x17 + 144x18 + 518x19 + 516x20 + 408x21 + 190x22 + 86x23 + 360x24 + 409x25 + 502x26 + 757x27 + 214x28 + 875x29 + 569x30 + 865x31 + 270x32 + 61x33 + 523x34 + 273x35 + 802x36 + 266x37 + 11x38 + 812x39 + 325x40 + 873x41 + 414x42 + 597x43 + 421x44 + 561x45 + 52x46 + 707x47 + 232x48 + 606x49 + 935x50 + 363x51 + 352x52 + 735x53 + 679x54 + 908x55 + 559x56 + 748x57 + 448x58 + 366x59 + 441x60 + 912x61 + 254x62 + 866x63 + 811x64 + 506x65 + 469x66 + 775x67 + 583x68 + 658x69 + 330x70 + 938x71 + 780x72 + 174x73 + 841x74 + 378x75 + 104x76 + 106x77 + 621x78 + 247x79 + 429x80 + 82x81 + 410x82 + 297x83 + 748x84 + 127x85 + 162x86 + 607x87 + 901x88 + 922x89 + 449x90 + 198x91 + 561x92 + 28x93 + 82x94 + 350x95 + 429x96 + 817x97 + 77x98 + 267x99 + 224x100 <=11822 
constr3: + 1000x1 + 343x2 + 896x3 + 319x4 + 451x5 + 952x6 + 851x7 + 44x8 + 623x9 + 786x10 + 785x11 + 123x12 + 411x13 + 30x14 + 704x15 + 568x16 + 656x17 + 447x18 + 967x19 + 433x20 + 733x21 + 379x22 + 582x23 + 376x24 + 583x25 + 173x26 + 28x27 + 245x28 + 370x29 + 436x30 + 452x31 + 501x32 + 515x33 + 57x34 + 295x35 + 476x36 + 465x37 + 395x38 + 672x39 + 571x40 + 239x41 + 482x42 + 706x43 + 306x44 + 386x45 + 277x46 + 306x47 + 268x48 + 163x49 + 972x50 + 651x51 + 181x52 + 436x53 + 357x54 + 269x55 + 508x56 + 242x57 + 816x58 + 422x59 + 353x60 + 766x61 + 417x62 + 764x63 + 549x64 + 731x65 + 112x66 + 391x67 + 228x68 + 967x69 + 834x70 + 297x71 + 371x72 + 154x73 + 350x74 + 738x75 + 713x76 + 416x77 + 647x78 + 317x79 + 664x80 + 94x81 + 884x82 + 972x83 + 608x84 + 743x85 + 592x86 + 581x87 + 479x88 + 739x89 + 698x90 + 233x91 + 594x92 + 60x93 + 677x94 + 433x95 + 866x96 + 248x97 + 621x98 + 783x99 + 63x100 <=12357 
constr4: + 861x1 + 950x2 + 605x3 + 262x4 + 408x5 + 125x6 + 256x7 + 522x8 + 132x9 + 955x10 + 914x11 + 395x12 + 203x13 + 724x14 + 122x15 + 689x16 + 822x17 + 308x18 + 564x19 + 863x20 + 116x21 + 676x22 + 744x23 + 248x24 + 228x25 + 191x26 + 651x27 + 539x28 + 739x29 + 560x30 + 488x31 + 677x32 + 811x33 + 279x34 + 581x35 + 114x36 + 578x37 + 551x38 + 749x39 + 884x40 + 390x41 + 569x42 + 840x43 + 767x44 + 849x45 + 438x46 + 405x47 + 378x48 + 993x49 + 743x50 + 299x51 + 134x52 + 20x53 + 541x54 + 185x55 + 107x56 + 934x57 + 416x58 + 644x59 + 479x60 + 178x61 + 607x62 + 402x63 + 278x64 + 98x65 + 836x66 + 632x67 + 465x68 + 79x69 + 701x70 + 889x71 + 230x72 + 430x73 + 338x74 + 568x75 + 371x76 + 161x77 + 138x78 + 540x79 + 833x80 + 569x81 + 459x82 + 825x83 + 50x84 + 172x85 + 486x86 + 134x87 + 171x88 + 298x89 + 895x90 + 898x91 + 32x92 + 383x93 + 845x94 + 532x95 + 746x96 + 761x97 + 421x98 + 967x99 + 369x100 <=12501 
constr5: + 398x1 + 118x2 + 923x3 + 898x4 + 253x5 + 733x6 + 834x7 + 694x8 + 105x9 + 103x10 + 127x11 + 960x12 + 780x13 + 568x14 + 751x15 + 804x16 + 290x17 + 334x18 + 276x19 + 952x20 + 897x21 + 724x22 + 397x23 + 60x24 + 241x25 + 983x26 + 768x27 + 473x28 + 991x29 + 691x30 + 290x31 + 315x32 + 97x33 + 979x34 + 516x35 + 734x36 + 241x37 + 171x38 + 870x39 + 281x40 + 723x41 + 549x42 + 112x43 + 869x44 + 316x45 + 429x46 + 413x47 + 108x48 + 8x49 + 149x50 + 486x51 + 634x52 + 994x53 + 480x54 + 391x55 + 557x56 + 712x57 + 440x58 + 179x59 + 59x60 + 206x61 + 245x62 + 337x63 + 79x64 + 40x65 + 395x66 + 444x67 + 99x68 + 540x69 + 691x70 + 939x71 + 573x72 + 893x73 + 325x74 + 85x75 + 650x76 + 553x77 + 722x78 + 874x79 + 106x80 + 725x81 + 324x82 + 978x83 + 145x84 + 541x85 + 58x86 + 390x87 + 641x88 + 293x89 + 29x90 + 416x91 + 616x92 + 510x93 + 308x94 + 571x95 + 333x96 + 929x97 + 111x98 + 130x99 + 257x100 <=11832 
constr6: + 677x1 + 581x2 + 34x3 + 600x4 + 33x5 + 214x6 + 823x7 + 669x8 + 785x9 + 912x10 + 535x11 + 231x12 + 145x13 + 491x14 + 384x15 + 692x16 + 946x17 + 443x18 + 635x19 + 257x20 + 854x21 + 736x22 + 773x23 + 695x24 + 693x25 + 351x26 + 721x27 + 573x28 + 774x29 + 806x30 + 647x31 + 985x32 + 173x33 + 914x34 + 179x35 + 219x36 + 398x37 + 633x38 + 910x39 + 431x40 + 69x41 + 479x42 + 220x43 + 40x44 + 116x45 + 377x46 + 914x47 + 621x48 + 73x49 + 562x50 + 165x51 + 173x52 + 37x53 + 945x54 + 195x55 + 826x56 + 237x57 + 631x58 + 779x59 + 655x60 + 422x61 + 97x62 + 411x63 + 569x64 + 466x65 + 314x66 + 893x67 + 183x68 + 317x69 + 469x70 + 113x71 + 488x72 + 614x73 + 221x74 + 321x75 + 688x76 + 718x77 + 414x78 + 726x79 + 555x80 + 170x81 + 200x82 + 749x83 + 590x84 + 321x85 + 742x86 + 506x87 + 48x88 + 845x89 + 955x90 + 232x91 + 563x92 + 25x93 + 463x94 + 254x95 + 202x96 + 454x97 + 188x98 + 961x99 + 530x100 <=12166 
constr7: + 420x1 + 939x2 + 545x3 + 600x4 + 315x5 + 957x6 + 189x7 + 454x8 + 408x9 + 203x10 + 325x11 + 861x12 + 782x13 + 156x14 + 419x15 + 994x16 + 26x17 + 314x18 + 641x19 + 840x20 + 140x21 + 683x22 + 601x23 + 569x24 + 39x25 + 856x26 + 119x27 + 356x28 + 951x29 + 728x30 + 663x31 + 733x32 + 413x33 + 266x34 + 501x35 + 735x36 + 524x37 + 820x38 + 977x39 + 674x40 + 945x41 + 743x42 + 94x43 + 581x44 + 300x45 + 14x46 + 471x47 + 234x48 + 8x49 + 82x50 + 185x51 + 660x52 + 205x53 + 192x54 + 902x55 + 609x56 + 296x57 + 325x58 + 599x59 + 711x60 + 767x61 + 447x62 + 310x63 + 784x64 + 607x65 + 538x66 + 855x67 + 605x68 + 49x69 + 428x70 + 332x71 + 348x72 + 929x73 + 202x74 + 67x75 + 33x76 + 644x77 + 447x78 + 696x79 + 750x80 + 732x81 + 337x82 + 601x83 + 242x84 + 805x85 + 641x86 + 646x87 + 442x88 + 397x89 + 389x90 + 397x91 + 691x92 + 861x93 + 104x94 + 943x95 + 107x96 + 850x97 + 244x98 + 661x99 + 898x100 <=12680 
constr8: + 387x1 + 21x2 + 399x3 + 995x4 + 728x5 + 917x6 + 386x7 + 746x8 + 350x9 + 71x10 + 919x11 + 646x12 + 197x13 + 532x14 + 235x15 + 459x16 + 166x17 + 279x18 + 610x19 + 190x20 + 12x21 + 969x22 + 635x23 + 159x24 + 186x25 + 11x26 + 866x27 + 645x28 + 294x29 + 576x30 + 319x31 + 278x32 + 720x33 + 550x34 + 818x35 + 569x36 + 854x37 + 856x38 + 611x39 + 689x40 + 715x41 + 893x42 + 692x43 + 545x44 + 475x45 + 61x46 + 845x47 + 768x48 + 430x49 + 65x50 + 834x51 + 564x52 + 191x53 + 616x54 + 6x55 + 493x56 + 308x57 + 33x58 + 183x59 + 776x60 + 932x61 + 356x62 + 879x63 + 384x64 + 458x65 + 287x66 + 29x67 + 309x68 + 820x69 + 458x70 + 415x71 + 340x72 + 185x73 + 401x74 + 598x75 + 737x76 + 246x77 + 716x78 + 767x79 + 991x80 + 503x81 + 816x82 + 622x83 + 635x84 + 214x85 + 355x86 + 929x87 + 276x88 + 93x89 + 50x90 + 189x91 + 395x92 + 363x93 + 347x94 + 267x95 + 66x96 + 392x97 + 57x98 + 199x99 + 350x100 <=11692 
constr9: + 744x1 + 27x2 + 118x3 + 692x4 + 434x5 + 99x6 + 950x7 + 797x8 + 726x9 + 688x10 + 755x11 + 769x12 + 136x13 + 363x14 + 5x15 + 68x16 + 271x17 + 305x18 + 858x19 + 67x20 + 20x21 + 29x22 + 981x23 + 830x24 + 954x25 + 706x26 + 291x27 + 683x28 + 842x29 + 699x30 + 993x31 + 421x32 + 588x33 + 804x34 + 616x35 + 873x36 + 821x37 + 117x38 + 628x39 + 733x40 + 203x41 + 873x42 + 439x43 + 414x44 + 842x45 + 554x46 + 816x47 + 888x48 + 555x49 + 58x50 + 202x51 + 172x52 + 793x53 + 650x54 + 150x55 + 696x56 + 148x57 + 763x58 + 177x59 + 34x60 + 745x61 + 606x62 + 875x63 + 75x64 + 311x65 + 964x66 + 524x67 + 827x68 + 626x69 + 292x70 + 935x71 + 840x72 + 38x73 + 800x74 + 564x75 + 982x76 + 587x77 + 326x78 + 614x79 + 477x80 + 99x81 + 607x82 + 713x83 + 102x84 + 572x85 + 218x86 + 553x87 + 507x88 + 222x89 + 14x90 + 723x91 + 433x92 + 27x93 + 953x94 + 268x95 + 990x96 + 18x97 + 780x98 + 35x99 + 402x100 <=12793 
constr10: + 890x1 + 786x2 + 512x3 + 776x4 + 430x5 + 396x6 + 57x7 + 505x8 + 493x9 + 863x10 + 456x11 + 44x12 + 542x13 + 576x14 + 790x15 + 112x16 + 206x17 + 748x18 + 542x19 + 829x20 + 297x21 + 122x22 + 146x23 + 398x24 + 306x25 + 701x26 + 397x27 + 207x28 + 347x29 + 763x30 + 989x31 + 494x32 + 267x33 + 543x34 + 191x35 + 91x36 + 883x37 + 62x38 + 191x39 + 759x40 + 903x41 + 131x42 + 198x43 + 926x44 + 292x45 + 523x46 + 714x47 + 667x48 + 461x49 + 577x50 + 733x51 + 128x52 + 262x53 + 151x54 + 309x55 + 658x56 + 653x57 + 129x58 + 214x59 + 590x60 + 244x61 + 289x62 + 338x63 + 671x64 + 407x65 + 58x66 + 603x67 + 626x68 + 973x69 + 61x70 + 350x71 + 960x72 + 849x73 + 189x74 + 192x75 + 49x76 + 597x77 + 947x78 + 645x79 + 208x80 + 99x81 + 128x82 + 773x83 + 458x84 + 612x85 + 334x86 + 421x87 + 454x88 + 292x89 + 997x90 + 935x91 + 132x92 + 28x93 + 671x94 + 217x95 + 245x96 + 877x97 + 75x98 + 877x99 + 118x100 <=11481 
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