maximize 
objective: + 486x1 + 737x2 + 887x3 + 556x4 + 775x5 + 314x6 + 592x7 + 522x8 + 694x9 + 388x10 + 702x11 + 598x12 + 916x13 + 722x14 + 895x15 + 696x16 + 561x17 + 479x18 + 964x19 + 650x20 + 849x21 + 541x22 + 996x23 + 504x24 + 791x25 + 499x26 + 309x27 + 895x28 + 482x29 + 862x30 + 793x31 + 860x32 + 886x33 + 544x34 + 667x35 + 539x36 + 719x37 + 722x38 + 592x39 + 951x40 + 602x41 + 882x42 + 502x43 + 1003x44 + 626x45 + 827x46 + 742x47 + 709x48 + 737x49 + 589x50 + 689x51 + 594x52 + 750x53 + 866x54 + 633x55 + 763x56 + 559x57 + 926x58 + 563x59 + 671x60 + 651x61 + 907x62 + 630x63 + 688x64 + 735x65 + 704x66 + 1004x67 + 480x68 + 474x69 + 729x70 + 523x71 + 867x72 + 701x73 + 959x74 + 833x75 + 972x76 + 818x77 + 665x78 + 866x79 + 589x80 + 698x81 + 501x82 + 844x83 + 857x84 + 723x85 + 504x86 + 834x87 + 754x88 + 961x89 + 427x90 + 1052x91 + 906x92 + 851x93 + 713x94 + 859x95 + 587x96 + 841x97 + 604x98 + 671x99 + 912x100 
subject to 
constr1: + 859x1 + 750x2 + 83x3 + 297x4 + 690x5 + 10x6 + 347x7 + 466x8 + 696x9 + 397x10 + 695x11 + 171x12 + 319x13 + 48x14 + 821x15 + 352x16 + 571x17 + 828x18 + 109x19 + 131x20 + 19x21 + 193x22 + 840x23 + 141x24 + 522x25 + 496x26 + 247x27 + 923x28 + 502x29 + 434x30 + 227x31 + 608x32 + 726x33 + 669x34 + 887x35 + 93x36 + 779x37 + 626x38 + 655x39 + 139x40 + 813x41 + 944x42 + 528x43 + 597x44 + 106x45 + 286x46 + 492x47 + 598x48 + 135x49 + 530x50 + 452x51 + 902x52 + 143x53 + 732x54 + 244x55 + 540x56 + 51x57 + 114x58 + 309x59 + 98x60 + 935x61 + 690x62 + 205x63 + 418x64 + 681x65 + 337x66 + 151x67 + 580x68 + 656x69 + 6x70 + 250x71 + 237x72 + 320x73 + 774x74 + 586x75 + 967x76 + 927x77 + 525x78 + 289x79 + 475x80 + 375x81 + 289x82 + 699x83 + 823x84 + 65x85 + 151x86 + 332x87 + 471x88 + 54x89 + 450x90 + 401x91 + 452x92 + 750x93 + 63x94 + 57x95 + 928x96 + 340x97 + 297x98 + 2x99 + 901x100 <=11222 
constr2: + 71x1 + 518x2 + 452x3 + 336x4 + 329x5 + 798x6 + 830x7 + 17x8 + 13x9 + 174x10 + 578x11 + 287x12 + 403x13 + 657x14 + 377x15 + 333x16 + 844x17 + 937x18 + 629x19 + 79x20 + 684x21 + 808x22 + 499x23 + 403x24 + 97x25 + 162x26 + 45x27 + 928x28 + 544x29 + 646x30 + 601x31 + 24x32 + 82x33 + 696x34 + 996x35 + 148x36 + 105x37 + 944x38 + 412x39 + 379x40 + 901x41 + 505x42 + 679x43 + 82x44 + 788x45 + 737x46 + 743x47 + 466x48 + 533x49 + 442x50 + 314x51 + 485x52 + 851x53 + 45x54 + 3x55 + 262x56 + 666x57 + 458x58 + 474x59 + 187x60 + 355x61 + 495x62 + 372x63 + 580x64 + 48x65 + 15x66 + 499x67 + 201x68 + 438x69 + 461x70 + 819x71 + 741x72 + 965x73 + 492x74 + 490x75 + 884x76 + 553x77 + 185x78 + 853x79 + 149x80 + 334x81 + 955x82 + 673x83 + 783x84 + 157x85 + 264x86 + 880x87 + 165x88 + 752x89 + 895x90 + 368x91 + 985x92 + 223x93 + 509x94 + 699x95 + 491x96 + 473x97 + 576x98 + 920x99 + 694x100 <=12219 
constr3: + 970x1 + 845x2 + 964x3 + 454x4 + 655x5 + 514x6 + 89x7 + 156x8 + 642x9 + 442x10 + 258x11 + 597x12 + 981x13 + 164x14 + 875x15 + 814x16 + 888x17 + 122x18 + 595x19 + 72x20 + 956x21 + 50x22 + 327x23 + 275x24 + 123x25 + 671x26 + 301x27 + 803x28 + 325x29 + 653x30 + 173x31 + 573x32 + 868x33 + 679x34 + 95x35 + 392x36 + 954x37 + 344x38 + 900x39 + 876x40 + 455x41 + 731x42 + 775x43 + 923x44 + 516x45 + 459x46 + 272x47 + 858x48 + 254x49 + 362x50 + 108x51 + 838x52 + 948x53 + 667x54 + 366x55 + 519x56 + 880x57 + 446x58 + 91x59 + 157x60 + 253x61 + 454x62 + 744x63 + 988x64 + 684x65 + 27x66 + 652x67 + 90x68 + 222x69 + 464x70 + 765x71 + 226x72 + 848x73 + 61x74 + 180x75 + 296x76 + 818x77 + 331x78 + 791x79 + 475x80 + 455x81 + 441x82 + 874x83 + 913x84 + 706x85 + 424x86 + 381x87 + 390x88 + 844x89 + 385x90 + 12x91 + 322x92 + 367x93 + 818x94 + 769x95 + 837x96 + 962x97 + 810x98 + 106x99 + 907x100 <=13288 
constr4: + 355x1 + 218x2 + 866x3 + 136x4 + 366x5 + 223x6 + 584x7 + 546x8 + 608x9 + 505x10 + 9x11 + 665x12 + 609x13 + 134x14 + 150x15 + 103x16 + 45x17 + 868x18 + 382x19 + 304x20 + 521x21 + 288x22 + 273x23 + 120x24 + 693x25 + 289x26 + 34x27 + 758x28 + 167x29 + 195x30 + 730x31 + 333x32 + 553x33 + 653x34 + 36x35 + 276x36 + 240x37 + 330x38 + 292x39 + 562x40 + 908x41 + 39x42 + 150x43 + 636x44 + 526x45 + 537x46 + 384x47 + 506x48 + 853x49 + 12x50 + 23x51 + 653x52 + 870x53 + 44x54 + 578x55 + 272x56 + 254x57 + 276x58 + 433x59 + 833x60 + 217x61 + 135x62 + 220x63 + 910x64 + 625x65 + 449x66 + 754x67 + 224x68 + 390x69 + 509x70 + 176x71 + 592x72 + 280x73 + 765x74 + 549x75 + 876x76 + 468x77 + 995x78 + 127x79 + 416x80 + 322x81 + 739x82 + 841x83 + 36x84 + 539x85 + 788x86 + 895x87 + 322x88 + 451x89 + 426x90 + 743x91 + 652x92 + 722x93 + 133x94 + 607x95 + 79x96 + 682x97 + 991x98 + 381x99 + 602x100 <=11109 
constr5: + 728x1 + 904x2 + 531x3 + 245x4 + 890x5 + 306x6 + 192x7 + 81x8 + 157x9 + 171x10 + 589x11 + 651x12 + 484x13 + 630x14 + 251x15 + 31x16 + 400x17 + 209x18 + 687x19 + 174x20 + 986x21 + 948x22 + 155x23 + 248x24 + 977x25 + 246x26 + 884x27 + 873x28 + 140x29 + 526x30 + 621x31 + 475x32 + 782x33 + 516x34 + 990x35 + 487x36 + 980x37 + 294x38 + 172x39 + 618x40 + 232x41 + 978x42 + 543x43 + 921x44 + 676x45 + 671x46 + 550x47 + 725x48 + 477x49 + 546x50 + 451x51 + 92x52 + 333x53 + 57x54 + 974x55 + 398x56 + 502x57 + 544x58 + 74x59 + 378x60 + 23x61 + 775x62 + 130x63 + 419x64 + 609x65 + 56x66 + 913x67 + 343x68 + 862x69 + 458x70 + 772x71 + 673x72 + 790x73 + 415x74 + 264x75 + 531x76 + 72x77 + 246x78 + 682x79 + 645x80 + 19x81 + 55x82 + 179x83 + 932x84 + 107x85 + 833x86 + 616x87 + 620x88 + 970x89 + 422x90 + 931x91 + 115x92 + 891x93 + 553x94 + 139x95 + 682x96 + 415x97 + 93x98 + 924x99 + 501x100 <=12507 
constr6: + 382x1 + 765x2 + 846x3 + 101x4 + 381x5 + 731x6 + 518x7 + 377x8 + 618x9 + 905x10 + 703x11 + 65x12 + 961x13 + 777x14 + 590x15 + 142x16 + 228x17 + 293x18 + 912x19 + 875x20 + 43x21 + 750x22 + 773x23 + 124x24 + 145x25 + 149x26 + 297x27 + 792x28 + 98x29 + 674x30 + 374x31 + 472x32 + 998x33 + 280x34 + 899x35 + 733x36 + 247x37 + 493x38 + 106x39 + 483x40 + 402x41 + 139x42 + 84x43 + 464x44 + 695x45 + 840x46 + 741x47 + 298x48 + 384x49 + 85x50 + 576x51 + 635x52 + 307x53 + 256x54 + 344x55 + 109x56 + 488x57 + 482x58 + 828x59 + 717x60 + 9x61 + 168x62 + 184x63 + 594x64 + 700x65 + 2x66 + 850x67 + 147x68 + 83x69 + 286x70 + 555x71 + 161x72 + 46x73 + 833x74 + 642x75 + 833x76 + 301x77 + 619x78 + 344x79 + 568x80 + 407x81 + 328x82 + 662x83 + 580x84 + 33x85 + 917x86 + 726x87 + 366x88 + 695x89 + 408x90 + 443x91 + 169x92 + 956x93 + 494x94 + 465x95 + 98x96 + 858x97 + 100x98 + 196x99 + 893x100 <=11673 
constr7: + 737x1 + 245x2 + 427x3 + 923x4 + 479x5 + 46x6 + 841x7 + 837x8 + 779x9 + 42x10 + 446x11 + 943x12 + 898x13 + 238x14 + 410x15 + 597x16 + 181x17 + 260x18 + 957x19 + 479x20 + 385x21 + 416x22 + 359x23 + 836x24 + 436x25 + 589x26 + 131x27 + 808x28 + 840x29 + 909x30 + 849x31 + 732x32 + 49x33 + 290x34 + 8x35 + 33x36 + 702x37 + 463x38 + 24x39 + 189x40 + 354x41 + 286x42 + 825x43 + 545x44 + 295x45 + 736x46 + 405x47 + 856x48 + 471x49 + 598x50 + 110x51 + 232x52 + 243x53 + 466x54 + 47x55 + 382x56 + 400x57 + 940x58 + 587x59 + 603x60 + 388x61 + 165x62 + 369x63 + 169x64 + 315x65 + 126x66 + 154x67 + 419x68 + 90x69 + 246x70 + 184x71 + 271x72 + 704x73 + 150x74 + 750x75 + 853x76 + 344x77 + 909x78 + 647x79 + 964x80 + 240x81 + 562x82 + 984x83 + 697x84 + 726x85 + 612x86 + 21x87 + 447x88 + 951x89 + 51x90 + 740x91 + 797x92 + 783x93 + 309x94 + 659x95 + 682x96 + 216x97 + 776x98 + 146x99 + 601x100 <=12103 
constr8: + 19x1 + 187x2 + 193x3 + 444x4 + 431x5 + 146x6 + 296x7 + 938x8 + 164x9 + 245x10 + 248x11 + 737x12 + 815x13 + 264x14 + 180x15 + 538x16 + 435x17 + 617x18 + 975x19 + 878x20 + 955x21 + 747x22 + 524x23 + 220x24 + 146x25 + 876x26 + 40x27 + 960x28 + 191x29 + 745x30 + 600x31 + 922x32 + 705x33 + 709x34 + 266x35 + 580x36 + 822x37 + 875x38 + 493x39 + 698x40 + 108x41 + 401x42 + 199x43 + 502x44 + 676x45 + 905x46 + 258x47 + 82x48 + 737x49 + 638x50 + 950x51 + 269x52 + 428x53 + 635x54 + 372x55 + 370x56 + 900x57 + 107x58 + 712x59 + 203x60 + 64x61 + 392x62 + 92x63 + 624x64 + 973x65 + 476x66 + 572x67 + 991x68 + 390x69 + 185x70 + 406x71 + 923x72 + 670x73 + 433x74 + 141x75 + 565x76 + 63x77 + 932x78 + 346x79 + 179x80 + 840x81 + 5x82 + 169x83 + 955x84 + 72x85 + 340x86 + 980x87 + 565x88 + 309x89 + 177x90 + 218x91 + 819x92 + 419x93 + 325x94 + 462x95 + 2x96 + 413x97 + 249x98 + 87x99 + 501x100 <=11900 
constr9: + 101x1 + 243x2 + 594x3 + 230x4 + 116x5 + 100x6 + 826x7 + 668x8 + 368x9 + 650x10 + 763x11 + 107x12 + 24x13 + 214x14 + 969x15 + 479x16 + 584x17 + 37x18 + 771x19 + 718x20 + 709x21 + 127x22 + 287x23 + 424x24 + 224x25 + 937x26 + 813x27 + 479x28 + 459x29 + 491x30 + 738x31 + 142x32 + 541x33 + 233x34 + 651x35 + 596x36 + 85x37 + 26x38 + 421x39 + 837x40 + 671x41 + 74x42 + 630x43 + 436x44 + 642x45 + 696x46 + 262x47 + 594x48 + 813x49 + 687x50 + 971x51 + 101x52 + 973x53 + 700x54 + 759x55 + 378x56 + 440x57 + 940x58 + 281x59 + 841x60 + 150x61 + 67x62 + 31x63 + 154x64 + 357x65 + 428x66 + 894x67 + 587x68 + 753x69 + 772x70 + 671x71 + 766x72 + 509x73 + 77x74 + 330x75 + 396x76 + 580x77 + 979x78 + 447x79 + 565x80 + 62x81 + 569x82 + 529x83 + 115x84 + 580x85 + 41x86 + 585x87 + 17x88 + 714x89 + 61x90 + 964x91 + 926x92 + 526x93 + 240x94 + 883x95 + 57x96 + 277x97 + 811x98 + 678x99 + 900x100 <=12180 
constr10: + 600x1 + 65x2 + 272x3 + 433x4 + 641x5 + 242x6 + 209x7 + 741x8 + 104x9 + 64x10 + 966x11 + 94x12 + 91x13 + 211x14 + 432x15 + 214x16 + 545x17 + 461x18 + 134x19 + 653x20 + 614x21 + 580x22 + 988x23 + 239x24 + 4x25 + 211x26 + 97x27 + 275x28 + 557x29 + 223x30 + 849x31 + 55x32 + 947x33 + 570x34 + 263x35 + 484x36 + 979x37 + 778x38 + 409x39 + 885x40 + 245x41 + 118x42 + 440x43 + 166x44 + 581x45 + 462x46 + 622x47 + 751x48 + 494x49 + 904x50 + 654x51 + 341x52 + 164x53 + 794x54 + 514x55 + 341x56 + 534x57 + 347x58 + 583x59 + 511x60 + 605x61 + 751x62 + 520x63 + 932x64 + 720x65 + 814x66 + 798x67 + 848x68 + 659x69 + 372x70 + 570x71 + 837x72 + 411x73 + 942x74 + 376x75 + 669x76 + 202x77 + 417x78 + 380x79 + 134x80 + 355x81 + 787x82 + 737x83 + 811x84 + 844x85 + 550x86 + 661x87 + 150x88 + 910x89 + 648x90 + 902x91 + 447x92 + 54x93 + 804x94 + 531x95 + 3x96 + 81x97 + 262x98 + 978x99 + 125x100 <=12336 
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