maximize 
objective: + 793x1 + 756x2 + 923x3 + 915x4 + 833x5 + 667x6 + 701x7 + 700x8 + 311x9 + 891x10 + 790x11 + 835x12 + 569x13 + 795x14 + 860x15 + 1091x16 + 368x17 + 817x18 + 961x19 + 711x20 + 801x21 + 859x22 + 567x23 + 939x24 + 950x25 + 1049x26 + 791x27 + 762x28 + 491x29 + 753x30 + 835x31 + 368x32 + 882x33 + 830x34 + 809x35 + 885x36 + 955x37 + 772x38 + 909x39 + 458x40 + 847x41 + 351x42 + 748x43 + 675x44 + 509x45 + 990x46 + 489x47 + 491x48 + 706x49 + 796x50 + 785x51 + 686x52 + 634x53 + 932x54 + 555x55 + 949x56 + 926x57 + 932x58 + 719x59 + 534x60 + 544x61 + 999x62 + 729x63 + 565x64 + 1073x65 + 639x66 + 722x67 + 641x68 + 527x69 + 655x70 + 868x71 + 786x72 + 558x73 + 760x74 + 845x75 + 663x76 + 1047x77 + 659x78 + 623x79 + 723x80 + 726x81 + 570x82 + 510x83 + 666x84 + 824x85 + 498x86 + 738x87 + 663x88 + 756x89 + 653x90 + 443x91 + 983x92 + 858x93 + 529x94 + 487x95 + 614x96 + 593x97 + 862x98 + 610x99 + 672x100 
subject to 
constr1: + 292x1 + 819x2 + 468x3 + 428x4 + 992x5 + 241x6 + 417x7 + 939x8 + 44x9 + 447x10 + 546x11 + 134x12 + 639x13 + 806x14 + 150x15 + 962x16 + 229x17 + 273x18 + 457x19 + 552x20 + 189x21 + 38x22 + 277x23 + 987x24 + 390x25 + 978x26 + 734x27 + 807x28 + 261x29 + 833x30 + 584x31 + 162x32 + 440x33 + 64x34 + 697x35 + 724x36 + 495x37 + 323x38 + 718x39 + 654x40 + 184x41 + 5x42 + 182x43 + 292x44 + 207x45 + 370x46 + 592x47 + 145x48 + 735x49 + 86x50 + 542x51 + 31x52 + 956x53 + 204x54 + 87x55 + 844x56 + 684x57 + 63x58 + 485x59 + 499x60 + 80x61 + 720x62 + 243x63 + 319x64 + 782x65 + 571x66 + 972x67 + 72x68 + 612x69 + 458x70 + 395x71 + 19x72 + 764x73 + 902x74 + 6x75 + 187x76 + 779x77 + 178x78 + 714x79 + 450x80 + 768x81 + 454x82 + 37x83 + 934x84 + 796x85 + 572x86 + 909x87 + 803x88 + 885x89 + 235x90 + 556x91 + 172x92 + 714x93 + 327x94 + 816x95 + 106x96 + 79x97 + 45x98 + 148x99 + 864x100 <=11707 
constr2: + 414x1 + 271x2 + 673x3 + 955x4 + 697x5 + 869x6 + 290x7 + 765x8 + 634x9 + 781x10 + 514x11 + 252x12 + 662x13 + 704x14 + 205x15 + 869x16 + 469x17 + 501x18 + 793x19 + 738x20 + 403x21 + 305x22 + 619x23 + 604x24 + 676x25 + 789x26 + 977x27 + 1x28 + 777x29 + 973x30 + 43x31 + 388x32 + 813x33 + 554x34 + 424x35 + 823x36 + 814x37 + 951x38 + 337x39 + 864x40 + 588x41 + 668x42 + 104x43 + 135x44 + 515x45 + 484x46 + 183x47 + 731x48 + 272x49 + 983x50 + 129x51 + 496x52 + 333x53 + 791x54 + 841x55 + 393x56 + 85x57 + 946x58 + 812x59 + 925x60 + 318x61 + 396x62 + 967x63 + 987x64 + 793x65 + 266x66 + 631x67 + 493x68 + 707x69 + 982x70 + 949x71 + 382x72 + 297x73 + 30x74 + 14x75 + 658x76 + 806x77 + 763x78 + 763x79 + 850x80 + 340x81 + 178x82 + 30x83 + 204x84 + 155x85 + 69x86 + 655x87 + 269x88 + 133x89 + 807x90 + 217x91 + 846x92 + 525x93 + 673x94 + 32x95 + 135x96 + 875x97 + 767x98 + 927x99 + 46x100 <=13635 
constr3: + 353x1 + 346x2 + 187x3 + 109x4 + 490x5 + 387x6 + 578x7 + 127x8 + 7x9 + 221x10 + 305x11 + 841x12 + 881x13 + 183x14 + 647x15 + 664x16 + 646x17 + 532x18 + 757x19 + 550x20 + 316x21 + 243x22 + 810x23 + 404x24 + 982x25 + 877x26 + 312x27 + 894x28 + 185x29 + 122x30 + 824x31 + 770x32 + 182x33 + 674x34 + 614x35 + 431x36 + 429x37 + 268x38 + 84x39 + 52x40 + 510x41 + 392x42 + 664x43 + 215x44 + 175x45 + 726x46 + 85x47 + 650x48 + 428x49 + 819x50 + 570x51 + 917x52 + 970x53 + 831x54 + 245x55 + 983x56 + 658x57 + 703x58 + 445x59 + 690x60 + 157x61 + 490x62 + 713x63 + 465x64 + 620x65 + 918x66 + 52x67 + 786x68 + 988x69 + 297x70 + 166x71 + 923x72 + 396x73 + 831x74 + 193x75 + 310x76 + 575x77 + 702x78 + 560x79 + 452x80 + 887x81 + 194x82 + 87x83 + 643x84 + 735x85 + 546x86 + 666x87 + 943x88 + 279x89 + 327x90 + 263x91 + 537x92 + 62x93 + 272x94 + 635x95 + 371x96 + 473x97 + 583x98 + 358x99 + 511x100 <=12482 
constr4: + 110x1 + 33x2 + 870x3 + 970x4 + 735x5 + 871x6 + 507x7 + 52x8 + 735x9 + 711x10 + 631x11 + 332x12 + 326x13 + 634x14 + 492x15 + 358x16 + 556x17 + 532x18 + 259x19 + 852x20 + 191x21 + 478x22 + 400x23 + 813x24 + 708x25 + 731x26 + 742x27 + 240x28 + 544x29 + 188x30 + 348x31 + 302x32 + 276x33 + 204x34 + 356x35 + 634x36 + 753x37 + 634x38 + 488x39 + 266x40 + 153x41 + 218x42 + 579x43 + 228x44 + 737x45 + 203x46 + 768x47 + 287x48 + 752x49 + 102x50 + 622x51 + 558x52 + 265x53 + 435x54 + 982x55 + 484x56 + 512x57 + 68x58 + 66x59 + 31x60 + 550x61 + 270x62 + 637x63 + 447x64 + 572x65 + 706x66 + 666x67 + 100x68 + 129x69 + 792x70 + 510x71 + 833x72 + 860x73 + 622x74 + 956x75 + 122x76 + 336x77 + 212x78 + 397x79 + 14x80 + 411x81 + 968x82 + 772x83 + 812x84 + 757x85 + 263x86 + 402x87 + 879x88 + 656x89 + 114x90 + 54x91 + 682x92 + 132x93 + 220x94 + 570x95 + 290x96 + 624x97 + 837x98 + 486x99 + 758x100 <=12083 
constr5: + 463x1 + 800x2 + 981x3 + 527x4 + 496x5 + 260x6 + 802x7 + 671x8 + 28x9 + 61x10 + 584x11 + 715x12 + 461x13 + 776x14 + 68x15 + 648x16 + 147x17 + 809x18 + 547x19 + 919x20 + 702x21 + 173x22 + 267x23 + 104x24 + 459x25 + 910x26 + 523x27 + 839x28 + 895x29 + 826x30 + 849x31 + 745x32 + 116x33 + 666x34 + 271x35 + 413x36 + 774x37 + 331x38 + 964x39 + 43x40 + 100x41 + 631x42 + 876x43 + 926x44 + 135x45 + 809x46 + 751x47 + 304x48 + 372x49 + 474x50 + 338x51 + 882x52 + 513x53 + 646x54 + 376x55 + 184x56 + 314x57 + 533x58 + 599x59 + 158x60 + 921x61 + 771x62 + 738x63 + 173x64 + 598x65 + 647x66 + 546x67 + 219x68 + 708x69 + 972x70 + 475x71 + 614x72 + 136x73 + 889x74 + 471x75 + 775x76 + 271x77 + 816x78 + 709x79 + 998x80 + 750x81 + 673x82 + 887x83 + 409x84 + 257x85 + 172x86 + 471x87 + 556x88 + 705x89 + 297x90 + 703x91 + 975x92 + 310x93 + 8x94 + 946x95 + 362x96 + 343x97 + 855x98 + 238x99 + 497x100 <=13604 
constr6: + 620x1 + 22x2 + 943x3 + 736x4 + 104x5 + 588x6 + 906x7 + 517x8 + 247x9 + 880x10 + 710x11 + 920x12 + 131x13 + 143x14 + 410x15 + 964x16 + 175x17 + 720x18 + 518x19 + 58x20 + 328x21 + 729x22 + 467x23 + 770x24 + 974x25 + 735x26 + 217x27 + 608x28 + 774x29 + 880x30 + 741x31 + 159x32 + 669x33 + 185x34 + 927x35 + 737x36 + 660x37 + 727x38 + 444x39 + 234x40 + 278x41 + 86x42 + 169x43 + 240x44 + 514x45 + 867x46 + 314x47 + 139x48 + 345x49 + 497x50 + 829x51 + 508x52 + 335x53 + 837x54 + 786x55 + 990x56 + 898x57 + 555x58 + 103x59 + 719x60 + 3x61 + 868x62 + 13x63 + 941x64 + 855x65 + 334x66 + 564x67 + 689x68 + 452x69 + 394x70 + 615x71 + 597x72 + 116x73 + 852x74 + 615x75 + 636x76 + 588x77 + 917x78 + 40x79 + 118x80 + 153x81 + 576x82 + 902x83 + 696x84 + 335x85 + 254x86 + 285x87 + 69x88 + 672x89 + 537x90 + 107x91 + 943x92 + 831x93 + 283x94 + 207x95 + 475x96 + 946x97 + 277x98 + 638x99 + 872x100 <=13138 
constr7: + 281x1 + 462x2 + 441x3 + 173x4 + 889x5 + 66x6 + 687x7 + 693x8 + 263x9 + 846x10 + 756x11 + 677x12 + 54x13 + 732x14 + 575x15 + 927x16 + 86x17 + 91x18 + 924x19 + 405x20 + 658x21 + 620x22 + 846x23 + 39x24 + 976x25 + 836x26 + 42x27 + 217x28 + 87x29 + 220x30 + 580x31 + 309x32 + 402x33 + 283x34 + 210x35 + 588x36 + 494x37 + 14x38 + 979x39 + 276x40 + 605x41 + 61x42 + 429x43 + 719x44 + 344x45 + 605x46 + 104x47 + 177x48 + 110x49 + 13x50 + 86x51 + 384x52 + 55x53 + 905x54 + 280x55 + 441x56 + 384x57 + 792x58 + 967x59 + 215x60 + 956x61 + 542x62 + 703x63 + 234x64 + 527x65 + 832x66 + 244x67 + 592x68 + 666x69 + 387x70 + 889x71 + 455x72 + 668x73 + 219x74 + 524x75 + 974x76 + 855x77 + 308x78 + 91x79 + 166x80 + 310x81 + 235x82 + 725x83 + 356x84 + 136x85 + 434x86 + 784x87 + 92x88 + 222x89 + 733x90 + 694x91 + 412x92 + 75x93 + 784x94 + 431x95 + 854x96 + 56x97 + 565x98 + 821x99 + 299x100 <=11558 
constr8: + 749x1 + 807x2 + 1x3 + 815x4 + 198x5 + 527x6 + 233x7 + 529x8 + 260x9 + 817x10 + 318x11 + 127x12 + 47x13 + 221x14 + 518x15 + 427x16 + 11x17 + 415x18 + 151x19 + 679x20 + 274x21 + 494x22 + 199x23 + 810x24 + 267x25 + 892x26 + 603x27 + 352x28 + 77x29 + 259x30 + 21x31 + 107x32 + 319x33 + 530x34 + 244x35 + 844x36 + 91x37 + 441x38 + 547x39 + 831x40 + 301x41 + 43x42 + 146x43 + 730x44 + 671x45 + 292x46 + 876x47 + 131x48 + 98x49 + 687x50 + 981x51 + 332x52 + 84x53 + 457x54 + 417x55 + 1000x56 + 660x57 + 746x58 + 636x59 + 194x60 + 903x61 + 937x62 + 422x63 + 617x64 + 632x65 + 516x66 + 731x67 + 78x68 + 233x69 + 42x70 + 187x71 + 922x72 + 28x73 + 834x74 + 350x75 + 623x76 + 688x77 + 479x78 + 541x79 + 525x80 + 116x81 + 26x82 + 825x83 + 689x84 + 884x85 + 558x86 + 389x87 + 5x88 + 759x89 + 625x90 + 666x91 + 978x92 + 765x93 + 479x94 + 326x95 + 950x96 + 408x97 + 358x98 + 379x99 + 493x100 <=11625 
constr9: + 202x1 + 122x2 + 137x3 + 432x4 + 96x5 + 902x6 + 355x7 + 432x8 + 289x9 + 439x10 + 218x11 + 98x12 + 857x13 + 609x14 + 812x15 + 832x16 + 59x17 + 749x18 + 810x19 + 602x20 + 834x21 + 977x22 + 636x23 + 585x24 + 583x25 + 246x26 + 605x27 + 888x28 + 512x29 + 352x30 + 831x31 + 41x32 + 492x33 + 792x34 + 644x35 + 891x36 + 697x37 + 665x38 + 929x39 + 60x40 + 658x41 + 540x42 + 107x43 + 392x44 + 721x45 + 315x46 + 254x47 + 815x48 + 752x49 + 536x50 + 714x51 + 464x52 + 999x53 + 651x54 + 140x55 + 640x56 + 501x57 + 150x58 + 325x59 + 736x60 + 111x61 + 889x62 + 533x63 + 417x64 + 825x65 + 948x66 + 221x67 + 113x68 + 96x69 + 936x70 + 719x71 + 547x72 + 131x73 + 236x74 + 439x75 + 544x76 + 645x77 + 889x78 + 806x79 + 975x80 + 491x81 + 972x82 + 90x83 + 389x84 + 205x85 + 430x86 + 183x87 + 205x88 + 583x89 + 422x90 + 116x91 + 998x92 + 677x93 + 833x94 + 117x95 + 527x96 + 840x97 + 39x98 + 876x99 + 811x100 <=13137 
constr10: + 395x1 + 933x2 + 327x3 + 981x4 + 500x5 + 233x6 + 175x7 + 586x8 + 403x9 + 10x10 + 773x11 + 320x12 + 796x13 + 131x14 + 197x15 + 2x16 + 172x17 + 499x18 + 352x19 + 553x20 + 350x21 + 774x22 + 571x23 + 698x24 + 986x25 + 449x26 + 561x27 + 786x28 + 402x29 + 528x30 + 881x31 + 57x32 + 236x33 + 576x34 + 391x35 + 889x36 + 14x37 + 323x38 + 843x39 + 606x40 + 309x41 + 526x42 + 339x43 + 370x44 + 108x45 + 637x46 + 321x47 + 752x48 + 997x49 + 209x50 + 181x51 + 4x52 + 8x53 + 543x54 + 545x55 + 524x56 + 959x57 + 168x58 + 255x59 + 281x60 + 61x61 + 200x62 + 3x63 + 212x64 + 634x65 + 415x66 + 503x67 + 545x68 + 608x69 + 313x70 + 930x71 + 820x72 + 282x73 + 686x74 + 336x75 + 86x76 + 321x77 + 896x78 + 247x79 + 749x80 + 310x81 + 849x82 + 551x83 + 550x84 + 991x85 + 8x86 + 696x87 + 452x88 + 746x89 + 55x90 + 704x91 + 614x92 + 523x93 + 86x94 + 43x95 + 66x96 + 605x97 + 173x98 + 600x99 + 195x100 <=11240 
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