maximize 
objective: + 862x1 + 623x2 + 714x3 + 619x4 + 1000x5 + 703x6 + 953x7 + 661x8 + 782x9 + 653x10 + 587x11 + 406x12 + 685x13 + 450x14 + 829x15 + 605x16 + 880x17 + 861x18 + 784x19 + 675x20 + 621x21 + 819x22 + 515x23 + 986x24 + 695x25 + 781x26 + 506x27 + 525x28 + 888x29 + 492x30 + 707x31 + 818x32 + 606x33 + 857x34 + 1040x35 + 716x36 + 541x37 + 811x38 + 455x39 + 623x40 + 539x41 + 675x42 + 850x43 + 733x44 + 907x45 + 505x46 + 730x47 + 875x48 + 597x49 + 700x50 + 797x51 + 1007x52 + 781x53 + 999x54 + 618x55 + 943x56 + 852x57 + 1106x58 + 919x59 + 785x60 + 605x61 + 916x62 + 849x63 + 950x64 + 728x65 + 854x66 + 608x67 + 820x68 + 524x69 + 838x70 + 724x71 + 729x72 + 811x73 + 759x74 + 1060x75 + 513x76 + 472x77 + 513x78 + 749x79 + 832x80 + 529x81 + 642x82 + 843x83 + 755x84 + 680x85 + 864x86 + 902x87 + 484x88 + 693x89 + 703x90 + 723x91 + 998x92 + 384x93 + 860x94 + 893x95 + 840x96 + 999x97 + 824x98 + 851x99 + 628x100 
subject to 
constr1: + 912x1 + 419x2 + 317x3 + 687x4 + 330x5 + 579x6 + 864x7 + 709x8 + 771x9 + 281x10 + 125x11 + 763x12 + 459x13 + 63x14 + 236x15 + 162x16 + 153x17 + 748x18 + 648x19 + 507x20 + 122x21 + 106x22 + 210x23 + 106x24 + 108x25 + 550x26 + 504x27 + 11x28 + 721x29 + 490x30 + 92x31 + 30x32 + 732x33 + 274x34 + 772x35 + 777x36 + 788x37 + 353x38 + 660x39 + 418x40 + 252x41 + 833x42 + 277x43 + 401x44 + 982x45 + 748x46 + 980x47 + 999x48 + 547x49 + 973x50 + 707x51 + 777x52 + 596x53 + 733x54 + 512x55 + 755x56 + 421x57 + 319x58 + 863x59 + 285x60 + 518x61 + 971x62 + 423x63 + 741x64 + 553x65 + 227x66 + 424x67 + 410x68 + 323x69 + 159x70 + 584x71 + 212x72 + 651x73 + 560x74 + 776x75 + 204x76 + 340x77 + 670x78 + 377x79 + 248x80 + 746x81 + 427x82 + 742x83 + 483x84 + 246x85 + 564x86 + 504x87 + 149x88 + 313x89 + 67x90 + 988x91 + 247x92 + 250x93 + 334x94 + 677x95 + 109x96 + 984x97 + 716x98 + 704x99 + 306x100 <=12361 
constr2: + 190x1 + 885x2 + 692x3 + 485x4 + 401x5 + 519x6 + 909x7 + 269x8 + 595x9 + 936x10 + 397x11 + 45x12 + 278x13 + 54x14 + 241x15 + 367x16 + 823x17 + 496x18 + 645x19 + 210x20 + 288x21 + 131x22 + 143x23 + 635x24 + 859x25 + 539x26 + 300x27 + 181x28 + 239x29 + 656x30 + 389x31 + 233x32 + 869x33 + 740x34 + 999x35 + 987x36 + 7x37 + 629x38 + 845x39 + 898x40 + 573x41 + 967x42 + 966x43 + 117x44 + 975x45 + 431x46 + 574x47 + 918x48 + 2x49 + 976x50 + 581x51 + 520x52 + 82x53 + 318x54 + 706x55 + 392x56 + 979x57 + 939x58 + 237x59 + 133x60 + 304x61 + 820x62 + 439x63 + 630x64 + 760x65 + 411x66 + 90x67 + 296x68 + 508x69 + 283x70 + 936x71 + 908x72 + 481x73 + 741x74 + 812x75 + 322x76 + 277x77 + 534x78 + 523x79 + 600x80 + 140x81 + 772x82 + 993x83 + 185x84 + 808x85 + 300x86 + 395x87 + 669x88 + 929x89 + 133x90 + 231x91 + 732x92 + 2x93 + 154x94 + 157x95 + 987x96 + 184x97 + 443x98 + 509x99 + 114x100 <=12726 
constr3: + 784x1 + 736x2 + 573x3 + 91x4 + 983x5 + 482x6 + 929x7 + 571x8 + 161x9 + 41x10 + 449x11 + 317x12 + 590x13 + 901x14 + 360x15 + 203x16 + 112x17 + 686x18 + 882x19 + 364x20 + 22x21 + 970x22 + 756x23 + 340x24 + 765x25 + 538x26 + 32x27 + 926x28 + 451x29 + 627x30 + 831x31 + 738x32 + 787x33 + 181x34 + 637x35 + 447x36 + 736x37 + 965x38 + 267x39 + 439x40 + 442x41 + 35x42 + 127x43 + 253x44 + 89x45 + 699x46 + 356x47 + 471x48 + 252x49 + 19x50 + 185x51 + 347x52 + 184x53 + 153x54 + 777x55 + 907x56 + 26x57 + 483x58 + 360x59 + 121x60 + 27x61 + 539x62 + 897x63 + 592x64 + 310x65 + 745x66 + 816x67 + 952x68 + 778x69 + 518x70 + 579x71 + 559x72 + 8x73 + 225x74 + 214x75 + 32x76 + 364x77 + 516x78 + 682x79 + 637x80 + 251x81 + 476x82 + 198x83 + 468x84 + 337x85 + 403x86 + 297x87 + 51x88 + 359x89 + 205x90 + 389x91 + 682x92 + 135x93 + 76x94 + 43x95 + 157x96 + 144x97 + 420x98 + 981x99 + 558x100 <=11144 
constr4: + 375x1 + 486x2 + 112x3 + 924x4 + 819x5 + 797x6 + 246x7 + 254x8 + 63x9 + 491x10 + 77x11 + 781x12 + 278x13 + 400x14 + 465x15 + 549x16 + 856x17 + 455x18 + 810x19 + 906x20 + 110x21 + 321x22 + 710x23 + 698x24 + 383x25 + 918x26 + 868x27 + 271x28 + 992x29 + 135x30 + 581x31 + 728x32 + 246x33 + 301x34 + 843x35 + 884x36 + 372x37 + 567x38 + 639x39 + 30x40 + 290x41 + 845x42 + 3x43 + 807x44 + 731x45 + 72x46 + 412x47 + 391x48 + 805x49 + 598x50 + 77x51 + 505x52 + 230x53 + 78x54 + 796x55 + 769x56 + 67x57 + 760x58 + 701x59 + 439x60 + 560x61 + 522x62 + 480x63 + 368x64 + 799x65 + 873x66 + 316x67 + 384x68 + 1x69 + 982x70 + 456x71 + 146x72 + 837x73 + 284x74 + 957x75 + 979x76 + 156x77 + 635x78 + 573x79 + 770x80 + 400x81 + 439x82 + 122x83 + 473x84 + 439x85 + 429x86 + 534x87 + 936x88 + 12x89 + 82x90 + 670x91 + 917x92 + 160x93 + 540x94 + 958x95 + 357x96 + 130x97 + 669x98 + 802x99 + 729x100 <=12748 
constr5: + 652x1 + 962x2 + 106x3 + 665x4 + 185x5 + 64x6 + 395x7 + 617x8 + 631x9 + 474x10 + 669x11 + 438x12 + 385x13 + 834x14 + 464x15 + 792x16 + 66x17 + 725x18 + 157x19 + 981x20 + 120x21 + 221x22 + 399x23 + 393x24 + 406x25 + 157x26 + 102x27 + 318x28 + 256x29 + 238x30 + 303x31 + 581x32 + 804x33 + 828x34 + 180x35 + 90x36 + 37x37 + 528x38 + 108x39 + 473x40 + 310x41 + 68x42 + 227x43 + 892x44 + 353x45 + 192x46 + 120x47 + 271x48 + 277x49 + 255x50 + 81x51 + 897x52 + 593x53 + 456x54 + 7x55 + 378x56 + 756x57 + 206x58 + 185x59 + 853x60 + 951x61 + 846x62 + 616x63 + 429x64 + 473x65 + 532x66 + 847x67 + 671x68 + 17x69 + 500x70 + 313x71 + 587x72 + 185x73 + 601x74 + 728x75 + 66x76 + 423x77 + 704x78 + 138x79 + 382x80 + 10x81 + 402x82 + 530x83 + 420x84 + 782x85 + 156x86 + 111x87 + 210x88 + 200x89 + 918x90 + 358x91 + 1000x92 + 145x93 + 381x94 + 272x95 + 889x96 + 819x97 + 960x98 + 227x99 + 630x100 <=10903 
constr6: + 205x1 + 357x2 + 794x3 + 127x4 + 782x5 + 890x6 + 996x7 + 640x8 + 867x9 + 115x10 + 61x11 + 117x12 + 808x13 + 558x14 + 679x15 + 30x16 + 728x17 + 8x18 + 894x19 + 888x20 + 572x21 + 229x22 + 886x23 + 849x24 + 453x25 + 442x26 + 597x27 + 169x28 + 771x29 + 939x30 + 16x31 + 401x32 + 369x33 + 27x34 + 830x35 + 853x36 + 471x37 + 222x38 + 503x39 + 40x40 + 413x41 + 720x42 + 466x43 + 364x44 + 519x45 + 444x46 + 49x47 + 879x48 + 157x49 + 180x50 + 734x51 + 932x52 + 544x53 + 708x54 + 449x55 + 390x56 + 948x57 + 949x58 + 880x59 + 69x60 + 95x61 + 154x62 + 325x63 + 926x64 + 502x65 + 988x66 + 431x67 + 652x68 + 690x69 + 214x70 + 600x71 + 897x72 + 477x73 + 64x74 + 889x75 + 139x76 + 831x77 + 20x78 + 576x79 + 398x80 + 791x81 + 393x82 + 268x83 + 293x84 + 90x85 + 859x86 + 303x87 + 128x88 + 156x89 + 143x90 + 441x91 + 517x92 + 633x93 + 999x94 + 611x95 + 590x96 + 979x97 + 971x98 + 634x99 + 702x100 <=12837 
constr7: + 721x1 + 721x2 + 520x3 + 819x4 + 932x5 + 10x6 + 898x7 + 978x8 + 737x9 + 572x10 + 771x11 + 229x12 + 501x13 + 455x14 + 939x15 + 981x16 + 723x17 + 817x18 + 655x19 + 312x20 + 63x21 + 743x22 + 95x23 + 496x24 + 528x25 + 34x26 + 514x27 + 522x28 + 168x29 + 21x30 + 746x31 + 841x32 + 611x33 + 232x34 + 607x35 + 158x36 + 104x37 + 206x38 + 92x39 + 616x40 + 531x41 + 399x42 + 99x43 + 219x44 + 615x45 + 653x46 + 913x47 + 362x48 + 332x49 + 190x50 + 290x51 + 860x52 + 803x53 + 558x54 + 691x55 + 888x56 + 997x57 + 682x58 + 249x59 + 824x60 + 893x61 + 740x62 + 797x63 + 503x64 + 17x65 + 634x66 + 156x67 + 705x68 + 243x69 + 317x70 + 32x71 + 311x72 + 119x73 + 658x74 + 600x75 + 959x76 + 685x77 + 827x78 + 391x79 + 166x80 + 572x81 + 451x82 + 176x83 + 973x84 + 738x85 + 643x86 + 805x87 + 164x88 + 862x89 + 839x90 + 986x91 + 577x92 + 130x93 + 208x94 + 388x95 + 174x96 + 665x97 + 519x98 + 504x99 + 534x100 <=13126 
constr8: + 52x1 + 95x2 + 77x3 + 982x4 + 708x5 + 143x6 + 729x7 + 787x8 + 647x9 + 138x10 + 765x11 + 943x12 + 243x13 + 7x14 + 856x15 + 59x16 + 684x17 + 143x18 + 44x19 + 387x20 + 717x21 + 34x22 + 698x23 + 605x24 + 847x25 + 128x26 + 542x27 + 775x28 + 589x29 + 112x30 + 171x31 + 387x32 + 924x33 + 770x34 + 84x35 + 836x36 + 43x37 + 886x38 + 55x39 + 245x40 + 430x41 + 993x42 + 530x43 + 374x44 + 377x45 + 667x46 + 59x47 + 734x48 + 375x49 + 449x50 + 513x51 + 215x52 + 993x53 + 730x54 + 316x55 + 404x56 + 165x57 + 916x58 + 621x59 + 747x60 + 660x61 + 805x62 + 324x63 + 522x64 + 705x65 + 665x66 + 637x67 + 747x68 + 10x69 + 782x70 + 562x71 + 87x72 + 416x73 + 120x74 + 608x75 + 267x76 + 151x77 + 638x78 + 89x79 + 358x80 + 5x81 + 737x82 + 812x83 + 430x84 + 962x85 + 256x86 + 342x87 + 518x88 + 427x89 + 309x90 + 174x91 + 424x92 + 286x93 + 156x94 + 244x95 + 401x96 + 701x97 + 113x98 + 888x99 + 641x100 <=11631 
constr9: + 731x1 + 895x2 + 578x3 + 807x4 + 375x5 + 32x6 + 716x7 + 951x8 + 740x9 + 600x10 + 201x11 + 35x12 + 452x13 + 40x14 + 572x15 + 642x16 + 200x17 + 179x18 + 929x19 + 162x20 + 897x21 + 594x22 + 324x23 + 735x24 + 483x25 + 664x26 + 323x27 + 1x28 + 135x29 + 236x30 + 180x31 + 575x32 + 236x33 + 226x34 + 78x35 + 414x36 + 602x37 + 257x38 + 841x39 + 184x40 + 463x41 + 98x42 + 996x43 + 308x44 + 822x45 + 333x46 + 922x47 + 817x48 + 587x49 + 932x50 + 412x51 + 298x52 + 831x53 + 844x54 + 149x55 + 968x56 + 803x57 + 686x58 + 368x59 + 203x60 + 687x61 + 474x62 + 658x63 + 966x64 + 559x65 + 406x66 + 919x67 + 821x68 + 10x69 + 642x70 + 461x71 + 551x72 + 178x73 + 843x74 + 954x75 + 235x76 + 138x77 + 217x78 + 486x79 + 52x80 + 612x81 + 346x82 + 168x83 + 629x84 + 870x85 + 378x86 + 530x87 + 235x88 + 175x89 + 56x90 + 300x91 + 701x92 + 493x93 + 746x94 + 962x95 + 516x96 + 340x97 + 236x98 + 604x99 + 218x100 <=12259 
constr10: + 269x1 + 51x2 + 785x3 + 460x4 + 45x5 + 484x6 + 434x7 + 311x8 + 113x9 + 771x10 + 920x11 + 267x12 + 298x13 + 725x14 + 293x15 + 298x16 + 412x17 + 372x18 + 307x19 + 776x20 + 758x21 + 470x22 + 687x23 + 328x24 + 609x25 + 596x26 + 995x27 + 130x28 + 753x29 + 987x30 + 518x31 + 6x32 + 205x33 + 901x34 + 588x35 + 215x36 + 62x37 + 69x38 + 446x39 + 775x40 + 681x41 + 628x42 + 375x43 + 743x44 + 741x45 + 470x46 + 227x47 + 731x48 + 475x49 + 251x50 + 351x51 + 191x52 + 392x53 + 559x54 + 977x55 + 732x56 + 548x57 + 513x58 + 158x59 + 464x60 + 583x61 + 260x62 + 389x63 + 329x64 + 97x65 + 391x66 + 839x67 + 944x68 + 535x69 + 44x70 + 643x71 + 613x72 + 932x73 + 739x74 + 268x75 + 582x76 + 645x77 + 220x78 + 521x79 + 23x80 + 370x81 + 455x82 + 567x83 + 904x84 + 381x85 + 891x86 + 497x87 + 233x88 + 44x89 + 840x90 + 347x91 + 374x92 + 919x93 + 894x94 + 897x95 + 771x96 + 681x97 + 274x98 + 842x99 + 134x100 <=12402 
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