maximize 
objective: + 734x1 + 1021x2 + 476x3 + 707x4 + 603x5 + 919x6 + 741x7 + 757x8 + 846x9 + 833x10 + 708x11 + 1052x12 + 853x13 + 766x14 + 993x15 + 819x16 + 506x17 + 881x18 + 593x19 + 471x20 + 720x21 + 913x22 + 576x23 + 701x24 + 553x25 + 900x26 + 811x27 + 821x28 + 791x29 + 752x30 + 692x31 + 495x32 + 613x33 + 929x34 + 971x35 + 1082x36 + 809x37 + 972x38 + 1015x39 + 870x40 + 784x41 + 424x42 + 886x43 + 785x44 + 714x45 + 761x46 + 881x47 + 736x48 + 875x49 + 571x50 + 612x51 + 521x52 + 912x53 + 925x54 + 582x55 + 945x56 + 526x57 + 876x58 + 856x59 + 646x60 + 875x61 + 787x62 + 786x63 + 839x64 + 994x65 + 575x66 + 588x67 + 610x68 + 499x69 + 474x70 + 1017x71 + 652x72 + 927x73 + 782x74 + 955x75 + 519x76 + 840x77 + 636x78 + 930x79 + 892x80 + 784x81 + 717x82 + 410x83 + 913x84 + 739x85 + 994x86 + 541x87 + 679x88 + 721x89 + 945x90 + 923x91 + 798x92 + 710x93 + 846x94 + 664x95 + 842x96 + 954x97 + 492x98 + 813x99 + 346x100 
subject to 
constr1: + 784x1 + 789x2 + 218x3 + 320x4 + 117x5 + 224x6 + 410x7 + 738x8 + 248x9 + 482x10 + 159x11 + 545x12 + 817x13 + 745x14 + 525x15 + 937x16 + 110x17 + 246x18 + 168x19 + 150x20 + 316x21 + 774x22 + 455x23 + 54x24 + 334x25 + 513x26 + 24x27 + 209x28 + 174x29 + 348x30 + 866x31 + 857x32 + 62x33 + 367x34 + 621x35 + 641x36 + 268x37 + 710x38 + 530x39 + 295x40 + 961x41 + 192x42 + 834x43 + 697x44 + 57x45 + 441x46 + 496x47 + 858x48 + 944x49 + 384x50 + 829x51 + 513x52 + 665x53 + 432x54 + 990x55 + 621x56 + 709x57 + 342x58 + 40x59 + 330x60 + 885x61 + 751x62 + 95x63 + 650x64 + 953x65 + 687x66 + 361x67 + 933x68 + 612x69 + 889x70 + 150x71 + 694x72 + 109x73 + 130x74 + 860x75 + 211x76 + 950x77 + 972x78 + 612x79 + 858x80 + 834x81 + 499x82 + 542x83 + 795x84 + 386x85 + 578x86 + 197x87 + 266x88 + 932x89 + 811x90 + 106x91 + 969x92 + 7x93 + 64x94 + 82x95 + 152x96 + 801x97 + 12x98 + 590x99 + 948x100 <=12605 
constr2: + 716x1 + 816x2 + 854x3 + 631x4 + 708x5 + 23x6 + 165x7 + 293x8 + 490x9 + 457x10 + 450x11 + 458x12 + 814x13 + 56x14 + 284x15 + 237x16 + 7x17 + 276x18 + 292x19 + 213x20 + 18x21 + 767x22 + 823x23 + 437x24 + 875x25 + 263x26 + 490x27 + 329x28 + 718x29 + 775x30 + 108x31 + 109x32 + 764x33 + 28x34 + 489x35 + 858x36 + 543x37 + 1000x38 + 788x39 + 592x40 + 124x41 + 337x42 + 922x43 + 75x44 + 915x45 + 222x46 + 911x47 + 285x48 + 976x49 + 839x50 + 754x51 + 46x52 + 55x53 + 386x54 + 439x55 + 790x56 + 513x57 + 717x58 + 943x59 + 510x60 + 193x61 + 343x62 + 826x63 + 890x64 + 469x65 + 380x66 + 936x67 + 23x68 + 772x69 + 124x70 + 650x71 + 37x72 + 452x73 + 299x74 + 668x75 + 715x76 + 9x77 + 566x78 + 159x79 + 132x80 + 429x81 + 130x82 + 559x83 + 709x84 + 507x85 + 853x86 + 545x87 + 523x88 + 169x89 + 969x90 + 563x91 + 615x92 + 16x93 + 484x94 + 73x95 + 434x96 + 693x97 + 281x98 + 35x99 + 598x100 <=11900 
constr3: + 93x1 + 860x2 + 551x3 + 994x4 + 299x5 + 583x6 + 591x7 + 979x8 + 809x9 + 287x10 + 411x11 + 410x12 + 959x13 + 102x14 + 717x15 + 202x16 + 838x17 + 447x18 + 919x19 + 646x20 + 476x21 + 724x22 + 36x23 + 925x24 + 285x25 + 135x26 + 520x27 + 396x28 + 222x29 + 154x30 + 425x31 + 183x32 + 577x33 + 839x34 + 707x35 + 808x36 + 711x37 + 982x38 + 324x39 + 291x40 + 329x41 + 58x42 + 932x43 + 263x44 + 613x45 + 418x46 + 730x47 + 957x48 + 889x49 + 617x50 + 678x51 + 606x52 + 56x53 + 93x54 + 11x55 + 310x56 + 168x57 + 631x58 + 257x59 + 642x60 + 63x61 + 207x62 + 475x63 + 202x64 + 528x65 + 861x66 + 445x67 + 335x68 + 354x69 + 71x70 + 299x71 + 739x72 + 891x73 + 414x74 + 98x75 + 275x76 + 591x77 + 831x78 + 831x79 + 926x80 + 35x81 + 514x82 + 361x83 + 362x84 + 991x85 + 348x86 + 632x87 + 771x88 + 439x89 + 13x90 + 482x91 + 10x92 + 448x93 + 969x94 + 585x95 + 439x96 + 395x97 + 127x98 + 206x99 + 103x100 <=12085 
constr4: + 187x1 + 979x2 + 675x3 + 467x4 + 422x5 + 827x6 + 700x7 + 310x8 + 317x9 + 876x10 + 820x11 + 956x12 + 724x13 + 923x14 + 846x15 + 851x16 + 512x17 + 474x18 + 610x19 + 132x20 + 411x21 + 184x22 + 275x23 + 86x24 + 762x25 + 983x26 + 882x27 + 38x28 + 160x29 + 772x30 + 613x31 + 919x32 + 18x33 + 81x34 + 645x35 + 979x36 + 154x37 + 938x38 + 643x39 + 672x40 + 208x41 + 106x42 + 456x43 + 489x44 + 244x45 + 795x46 + 430x47 + 682x48 + 844x49 + 775x50 + 850x51 + 577x52 + 701x53 + 985x54 + 902x55 + 660x56 + 75x57 + 578x58 + 527x59 + 502x60 + 881x61 + 565x62 + 100x63 + 801x64 + 416x65 + 74x66 + 129x67 + 907x68 + 855x69 + 555x70 + 942x71 + 873x72 + 526x73 + 392x74 + 532x75 + 324x76 + 955x77 + 250x78 + 289x79 + 509x80 + 361x81 + 337x82 + 55x83 + 881x84 + 532x85 + 423x86 + 665x87 + 501x88 + 453x89 + 633x90 + 944x91 + 161x92 + 453x93 + 977x94 + 48x95 + 204x96 + 867x97 + 205x98 + 847x99 + 171x100 <=13701 
constr5: + 438x1 + 348x2 + 799x3 + 704x4 + 65x5 + 622x6 + 567x7 + 84x8 + 754x9 + 577x10 + 942x11 + 661x12 + 897x13 + 267x14 + 427x15 + 182x16 + 432x17 + 674x18 + 356x19 + 353x20 + 111x21 + 581x22 + 285x23 + 701x24 + 76x25 + 881x26 + 956x27 + 864x28 + 317x29 + 970x30 + 478x31 + 123x32 + 814x33 + 1000x34 + 988x35 + 399x36 + 768x37 + 5x38 + 883x39 + 291x40 + 375x41 + 463x42 + 862x43 + 746x44 + 274x45 + 754x46 + 428x47 + 975x48 + 1x49 + 83x50 + 41x51 + 473x52 + 257x53 + 101x54 + 501x55 + 940x56 + 23x57 + 780x58 + 430x59 + 724x60 + 629x61 + 954x62 + 503x63 + 402x64 + 734x65 + 748x66 + 238x67 + 165x68 + 35x69 + 228x70 + 758x71 + 751x72 + 396x73 + 533x74 + 329x75 + 277x76 + 934x77 + 473x78 + 250x79 + 115x80 + 680x81 + 858x82 + 270x83 + 787x84 + 483x85 + 961x86 + 505x87 + 748x88 + 636x89 + 882x90 + 495x91 + 706x92 + 427x93 + 221x94 + 361x95 + 546x96 + 560x97 + 842x98 + 84x99 + 185x100 <=12890 
constr6: + 955x1 + 68x2 + 40x3 + 705x4 + 696x5 + 810x6 + 806x7 + 580x8 + 77x9 + 949x10 + 887x11 + 516x12 + 675x13 + 445x14 + 403x15 + 504x16 + 606x17 + 178x18 + 240x19 + 894x20 + 333x21 + 796x22 + 519x23 + 936x24 + 183x25 + 689x26 + 61x27 + 913x28 + 420x29 + 858x30 + 15x31 + 157x32 + 606x33 + 852x34 + 539x35 + 682x36 + 460x37 + 719x38 + 870x39 + 119x40 + 821x41 + 192x42 + 57x43 + 753x44 + 804x45 + 159x46 + 986x47 + 504x48 + 432x49 + 320x50 + 683x51 + 203x52 + 601x53 + 297x54 + 285x55 + 288x56 + 898x57 + 529x58 + 571x59 + 457x60 + 280x61 + 611x62 + 327x63 + 447x64 + 686x65 + 389x66 + 325x67 + 568x68 + 710x69 + 387x70 + 977x71 + 408x72 + 976x73 + 530x74 + 512x75 + 689x76 + 954x77 + 477x78 + 905x79 + 178x80 + 619x81 + 273x82 + 2x83 + 161x84 + 232x85 + 562x86 + 690x87 + 608x88 + 490x89 + 690x90 + 123x91 + 256x92 + 950x93 + 781x94 + 267x95 + 704x96 + 650x97 + 574x98 + 735x99 + 148x100 <=13113 
constr7: + 544x1 + 574x2 + 998x3 + 166x4 + 572x5 + 305x6 + 966x7 + 85x8 + 85x9 + 818x10 + 929x11 + 896x12 + 118x13 + 408x14 + 701x15 + 545x16 + 90x17 + 935x18 + 46x19 + 490x20 + 801x21 + 678x22 + 980x23 + 752x24 + 773x25 + 985x26 + 661x27 + 17x28 + 106x29 + 319x30 + 368x31 + 494x32 + 361x33 + 209x34 + 382x35 + 785x36 + 795x37 + 184x38 + 465x39 + 526x40 + 462x41 + 995x42 + 9x43 + 233x44 + 497x45 + 946x46 + 475x47 + 27x48 + 415x49 + 462x50 + 241x51 + 196x52 + 894x53 + 549x54 + 903x55 + 207x56 + 700x57 + 238x58 + 282x59 + 448x60 + 655x61 + 857x62 + 89x63 + 574x64 + 169x65 + 156x66 + 529x67 + 473x68 + 52x69 + 613x70 + 482x71 + 490x72 + 419x73 + 226x74 + 675x75 + 509x76 + 317x77 + 826x78 + 589x79 + 103x80 + 680x81 + 289x82 + 346x83 + 39x84 + 289x85 + 374x86 + 148x87 + 478x88 + 222x89 + 725x90 + 717x91 + 574x92 + 47x93 + 899x94 + 490x95 + 716x96 + 976x97 + 142x98 + 878x99 + 341x100 <=12066 
constr8: + 208x1 + 288x2 + 56x3 + 746x4 + 134x5 + 431x6 + 868x7 + 19x8 + 56x9 + 837x10 + 499x11 + 629x12 + 500x13 + 32x14 + 314x15 + 771x16 + 891x17 + 777x18 + 234x19 + 317x20 + 664x21 + 333x22 + 732x23 + 643x24 + 492x25 + 14x26 + 962x27 + 536x28 + 934x29 + 367x30 + 358x31 + 15x32 + 45x33 + 761x34 + 724x35 + 726x36 + 318x37 + 392x38 + 647x39 + 269x40 + 420x41 + 557x42 + 460x43 + 821x44 + 259x45 + 938x46 + 672x47 + 352x48 + 130x49 + 167x50 + 714x51 + 532x52 + 660x53 + 279x54 + 208x55 + 183x56 + 653x57 + 17x58 + 859x59 + 82x60 + 732x61 + 664x62 + 705x63 + 93x64 + 805x65 + 297x66 + 750x67 + 918x68 + 59x69 + 368x70 + 482x71 + 273x72 + 32x73 + 41x74 + 993x75 + 719x76 + 949x77 + 423x78 + 901x79 + 486x80 + 824x81 + 735x82 + 100x83 + 827x84 + 448x85 + 18x86 + 905x87 + 930x88 + 650x89 + 509x90 + 331x91 + 458x92 + 129x93 + 32x94 + 71x95 + 385x96 + 183x97 + 16x98 + 430x99 + 170x100 <=11586 
constr9: + 678x1 + 708x2 + 190x3 + 489x4 + 972x5 + 434x6 + 114x7 + 26x8 + 866x9 + 72x10 + 825x11 + 621x12 + 12x13 + 994x14 + 703x15 + 962x16 + 270x17 + 406x18 + 230x19 + 828x20 + 523x21 + 409x22 + 258x23 + 360x24 + 189x25 + 639x26 + 487x27 + 441x28 + 795x29 + 53x30 + 323x31 + 458x32 + 405x33 + 239x34 + 235x35 + 347x36 + 241x37 + 432x38 + 566x39 + 968x40 + 611x41 + 404x42 + 916x43 + 413x44 + 654x45 + 703x46 + 564x47 + 593x48 + 509x49 + 932x50 + 704x51 + 565x52 + 1000x53 + 653x54 + 785x55 + 611x56 + 352x57 + 822x58 + 330x59 + 559x60 + 713x61 + 560x62 + 486x63 + 582x64 + 10x65 + 414x66 + 728x67 + 793x68 + 597x69 + 977x70 + 894x71 + 432x72 + 391x73 + 804x74 + 525x75 + 494x76 + 702x77 + 175x78 + 523x79 + 664x80 + 854x81 + 20x82 + 495x83 + 805x84 + 802x85 + 730x86 + 88x87 + 629x88 + 290x89 + 317x90 + 928x91 + 937x92 + 465x93 + 10x94 + 471x95 + 702x96 + 796x97 + 627x98 + 894x99 + 209x100 <=13495 
constr10: + 418x1 + 336x2 + 138x3 + 361x4 + 950x5 + 359x6 + 885x7 + 239x8 + 261x9 + 273x10 + 611x11 + 551x12 + 759x13 + 28x14 + 650x15 + 420x16 + 800x17 + 912x18 + 839x19 + 188x20 + 588x21 + 795x22 + 184x23 + 592x24 + 500x25 + 890x26 + 629x27 + 570x28 + 443x29 + 902x30 + 837x31 + 492x32 + 839x33 + 786x34 + 602x35 + 365x36 + 872x37 + 558x38 + 107x39 + 466x40 + 890x41 + 645x42 + 198x43 + 686x44 + 58x45 + 183x46 + 866x47 + 561x48 + 322x49 + 254x50 + 437x51 + 890x52 + 596x53 + 560x54 + 419x55 + 212x56 + 25x57 + 777x58 + 505x59 + 834x60 + 167x61 + 198x62 + 308x63 + 978x64 + 380x65 + 161x66 + 317x67 + 570x68 + 813x69 + 56x70 + 953x71 + 270x72 + 605x73 + 956x74 + 73x75 + 92x76 + 886x77 + 642x78 + 183x79 + 286x80 + 384x81 + 364x82 + 83x83 + 229x84 + 508x85 + 621x86 + 64x87 + 229x88 + 96x89 + 190x90 + 979x91 + 661x92 + 24x93 + 411x94 + 940x95 + 515x96 + 89x97 + 77x98 + 348x99 + 538x100 <=12039 
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