maximize 
objective: + 633x1 + 686x2 + 828x3 + 448x4 + 488x5 + 886x6 + 673x7 + 780x8 + 668x9 + 422x10 + 464x11 + 760x12 + 842x13 + 637x14 + 574x15 + 841x16 + 532x17 + 947x18 + 712x19 + 734x20 + 815x21 + 873x22 + 945x23 + 407x24 + 798x25 + 717x26 + 640x27 + 688x28 + 805x29 + 863x30 + 796x31 + 597x32 + 730x33 + 493x34 + 541x35 + 871x36 + 448x37 + 557x38 + 690x39 + 801x40 + 690x41 + 748x42 + 853x43 + 906x44 + 593x45 + 925x46 + 916x47 + 624x48 + 681x49 + 669x50 + 579x51 + 926x52 + 703x53 + 430x54 + 1023x55 + 554x56 + 854x57 + 809x58 + 785x59 + 712x60 + 564x61 + 1030x62 + 917x63 + 660x64 + 1058x65 + 634x66 + 457x67 + 972x68 + 1028x69 + 580x70 + 932x71 + 723x72 + 669x73 + 487x74 + 440x75 + 650x76 + 623x77 + 621x78 + 605x79 + 488x80 + 848x81 + 784x82 + 913x83 + 521x84 + 590x85 + 677x86 + 646x87 + 656x88 + 688x89 + 939x90 + 867x91 + 483x92 + 328x93 + 534x94 + 578x95 + 477x96 + 676x97 + 800x98 + 680x99 + 628x100 
subject to 
constr1: + 566x1 + 792x2 + 258x3 + 359x4 + 889x5 + 527x6 + 473x7 + 390x8 + 315x9 + 249x10 + 664x11 + 550x12 + 188x13 + 674x14 + 482x15 + 763x16 + 786x17 + 675x18 + 162x19 + 739x20 + 226x21 + 679x22 + 588x23 + 21x24 + 568x25 + 191x26 + 396x27 + 531x28 + 535x29 + 542x30 + 592x31 + 254x32 + 408x33 + 235x34 + 510x35 + 317x36 + 851x37 + 330x38 + 197x39 + 141x40 + 134x41 + 530x42 + 749x43 + 631x44 + 264x45 + 708x46 + 677x47 + 637x48 + 892x49 + 184x50 + 128x51 + 547x52 + 822x53 + 224x54 + 607x55 + 869x56 + 270x57 + 473x58 + 453x59 + 836x60 + 344x61 + 804x62 + 269x63 + 471x64 + 488x65 + 49x66 + 28x67 + 411x68 + 366x69 + 622x70 + 190x71 + 291x72 + 21x73 + 227x74 + 105x75 + 294x76 + 67x77 + 630x78 + 731x79 + 228x80 + 296x81 + 540x82 + 388x83 + 862x84 + 790x85 + 838x86 + 363x87 + 975x88 + 965x89 + 599x90 + 610x91 + 391x92 + 171x93 + 55x94 + 761x95 + 49x96 + 942x97 + 689x98 + 148x99 + 649x100 <=11741 
constr2: + 74x1 + 972x2 + 955x3 + 264x4 + 113x5 + 972x6 + 245x7 + 483x8 + 525x9 + 854x10 + 3x11 + 799x12 + 478x13 + 590x14 + 293x15 + 605x16 + 156x17 + 57x18 + 648x19 + 21x20 + 515x21 + 441x22 + 475x23 + 204x24 + 482x25 + 756x26 + 636x27 + 124x28 + 826x29 + 163x30 + 309x31 + 400x32 + 919x33 + 883x34 + 109x35 + 228x36 + 1000x37 + 182x38 + 408x39 + 966x40 + 870x41 + 431x42 + 966x43 + 360x44 + 606x45 + 967x46 + 533x47 + 824x48 + 783x49 + 50x50 + 670x51 + 662x52 + 242x53 + 424x54 + 919x55 + 570x56 + 812x57 + 773x58 + 109x59 + 273x60 + 653x61 + 496x62 + 912x63 + 854x64 + 918x65 + 724x66 + 684x67 + 792x68 + 964x69 + 56x70 + 99x71 + 871x72 + 175x73 + 38x74 + 44x75 + 125x76 + 305x77 + 622x78 + 522x79 + 391x80 + 607x81 + 920x82 + 748x83 + 225x84 + 617x85 + 292x86 + 79x87 + 451x88 + 1x89 + 673x90 + 974x91 + 118x92 + 158x93 + 263x94 + 853x95 + 564x96 + 925x97 + 566x98 + 288x99 + 73x100 <=12654 
constr3: + 740x1 + 347x2 + 550x3 + 222x4 + 583x5 + 829x6 + 237x7 + 288x8 + 886x9 + 524x10 + 636x11 + 770x12 + 100x13 + 940x14 + 83x15 + 856x16 + 872x17 + 804x18 + 587x19 + 630x20 + 962x21 + 425x22 + 437x23 + 187x24 + 229x25 + 825x26 + 59x27 + 442x28 + 566x29 + 113x30 + 480x31 + 170x32 + 985x33 + 54x34 + 561x35 + 563x36 + 542x37 + 356x38 + 192x39 + 15x40 + 581x41 + 655x42 + 588x43 + 321x44 + 879x45 + 781x46 + 755x47 + 833x48 + 160x49 + 736x50 + 338x51 + 483x52 + 213x53 + 629x54 + 122x55 + 290x56 + 978x57 + 93x58 + 723x59 + 992x60 + 841x61 + 6x62 + 629x63 + 618x64 + 113x65 + 33x66 + 891x67 + 869x68 + 340x69 + 34x70 + 206x71 + 220x72 + 614x73 + 322x74 + 50x75 + 692x76 + 791x77 + 284x78 + 259x79 + 485x80 + 783x81 + 185x82 + 493x83 + 281x84 + 812x85 + 819x86 + 998x87 + 674x88 + 437x89 + 996x90 + 533x91 + 78x92 + 52x93 + 285x94 + 55x95 + 697x96 + 390x97 + 853x98 + 333x99 + 406x100 <=12314 
constr4: + 569x1 + 288x2 + 686x3 + 253x4 + 362x5 + 379x6 + 726x7 + 963x8 + 59x9 + 456x10 + 436x11 + 581x12 + 575x13 + 30x14 + 708x15 + 586x16 + 118x17 + 470x18 + 145x19 + 563x20 + 863x21 + 13x22 + 904x23 + 155x24 + 808x25 + 924x26 + 421x27 + 199x28 + 606x29 + 938x30 + 174x31 + 332x32 + 126x33 + 100x34 + 690x35 + 979x36 + 191x37 + 930x38 + 279x39 + 734x40 + 213x41 + 705x42 + 542x43 + 95x44 + 751x45 + 936x46 + 903x47 + 852x48 + 867x49 + 451x50 + 827x51 + 693x52 + 198x53 + 176x54 + 821x55 + 41x56 + 558x57 + 302x58 + 272x59 + 355x60 + 707x61 + 191x62 + 200x63 + 633x64 + 281x65 + 465x66 + 384x67 + 238x68 + 855x69 + 400x70 + 710x71 + 500x72 + 853x73 + 376x74 + 944x75 + 52x76 + 751x77 + 350x78 + 261x79 + 129x80 + 795x81 + 500x82 + 419x83 + 239x84 + 308x85 + 302x86 + 228x87 + 911x88 + 53x89 + 192x90 + 568x91 + 375x92 + 93x93 + 140x94 + 225x95 + 651x96 + 76x97 + 701x98 + 352x99 + 542x100 <=11707 
constr5: + 865x1 + 228x2 + 443x3 + 119x4 + 649x5 + 213x6 + 123x7 + 612x8 + 167x9 + 40x10 + 463x11 + 823x12 + 783x13 + 361x14 + 178x15 + 123x16 + 48x17 + 455x18 + 333x19 + 996x20 + 117x21 + 308x22 + 844x23 + 210x24 + 618x25 + 490x26 + 329x27 + 92x28 + 158x29 + 368x30 + 524x31 + 219x32 + 885x33 + 174x34 + 237x35 + 270x36 + 579x37 + 126x38 + 743x39 + 983x40 + 352x41 + 23x42 + 452x43 + 400x44 + 478x45 + 873x46 + 472x47 + 7x48 + 427x49 + 554x50 + 143x51 + 194x52 + 182x53 + 762x54 + 589x55 + 251x56 + 828x57 + 336x58 + 554x59 + 18x60 + 944x61 + 890x62 + 242x63 + 501x64 + 36x65 + 247x66 + 45x67 + 992x68 + 226x69 + 430x70 + 811x71 + 45x72 + 808x73 + 98x74 + 437x75 + 986x76 + 367x77 + 44x78 + 84x79 + 229x80 + 907x81 + 999x82 + 627x83 + 223x84 + 681x85 + 601x86 + 635x87 + 940x88 + 185x89 + 254x90 + 506x91 + 550x92 + 224x93 + 628x94 + 730x95 + 132x96 + 124x97 + 543x98 + 851x99 + 455x100 <=10862 
constr6: + 942x1 + 138x2 + 984x3 + 726x4 + 497x5 + 922x6 + 354x7 + 534x8 + 245x9 + 819x10 + 679x11 + 171x12 + 178x13 + 278x14 + 16x15 + 397x16 + 420x17 + 737x18 + 694x19 + 619x20 + 147x21 + 373x22 + 754x23 + 472x24 + 96x25 + 342x26 + 558x27 + 296x28 + 183x29 + 405x30 + 438x31 + 113x32 + 223x33 + 365x34 + 798x35 + 90x36 + 66x37 + 630x38 + 939x39 + 820x40 + 741x41 + 309x42 + 33x43 + 122x44 + 311x45 + 129x46 + 808x47 + 386x48 + 513x49 + 323x50 + 357x51 + 377x52 + 89x53 + 373x54 + 665x55 + 856x56 + 959x57 + 959x58 + 708x59 + 225x60 + 932x61 + 497x62 + 15x63 + 855x64 + 797x65 + 228x66 + 669x67 + 16x68 + 620x69 + 375x70 + 423x71 + 284x72 + 328x73 + 27x74 + 337x75 + 651x76 + 906x77 + 605x78 + 297x79 + 456x80 + 143x81 + 606x82 + 865x83 + 814x84 + 76x85 + 181x86 + 568x87 + 438x88 + 285x89 + 111x90 + 581x91 + 55x92 + 475x93 + 732x94 + 126x95 + 858x96 + 769x97 + 409x98 + 660x99 + 290x100 <=11515 
constr7: + 717x1 + 932x2 + 767x3 + 654x4 + 479x5 + 884x6 + 361x7 + 532x8 + 947x9 + 12x10 + 203x11 + 765x12 + 798x13 + 539x14 + 105x15 + 739x16 + 626x17 + 349x18 + 823x19 + 242x20 + 154x21 + 759x22 + 616x23 + 665x24 + 212x25 + 341x26 + 275x27 + 424x28 + 546x29 + 596x30 + 180x31 + 207x32 + 839x33 + 558x34 + 963x35 + 554x36 + 41x37 + 496x38 + 822x39 + 286x40 + 106x41 + 509x42 + 584x43 + 994x44 + 574x45 + 473x46 + 310x47 + 398x48 + 717x49 + 606x50 + 822x51 + 956x52 + 646x53 + 870x54 + 742x55 + 449x56 + 160x57 + 109x58 + 229x59 + 450x60 + 144x61 + 571x62 + 820x63 + 38x64 + 920x65 + 292x66 + 34x67 + 200x68 + 702x69 + 344x70 + 19x71 + 105x72 + 816x73 + 737x74 + 686x75 + 255x76 + 336x77 + 161x78 + 360x79 + 320x80 + 244x81 + 71x82 + 684x83 + 324x84 + 986x85 + 509x86 + 927x87 + 237x88 + 557x89 + 835x90 + 789x91 + 728x92 + 811x93 + 57x94 + 518x95 + 265x96 + 586x97 + 494x98 + 197x99 + 632x100 <=12506 
constr8: + 150x1 + 380x2 + 894x3 + 229x4 + 124x5 + 888x6 + 325x7 + 716x8 + 323x9 + 290x10 + 15x11 + 473x12 + 327x13 + 345x14 + 26x15 + 218x16 + 165x17 + 675x18 + 91x19 + 839x20 + 101x21 + 103x22 + 250x23 + 802x24 + 475x25 + 707x26 + 624x27 + 878x28 + 684x29 + 541x30 + 236x31 + 18x32 + 449x33 + 419x34 + 576x35 + 570x36 + 606x37 + 472x38 + 47x39 + 905x40 + 311x41 + 948x42 + 450x43 + 569x44 + 238x45 + 579x46 + 263x47 + 334x48 + 783x49 + 305x50 + 497x51 + 805x52 + 407x53 + 50x54 + 406x55 + 184x56 + 297x57 + 812x58 + 66x59 + 311x60 + 215x61 + 360x62 + 430x63 + 117x64 + 968x65 + 445x66 + 232x67 + 784x68 + 686x69 + 251x70 + 890x71 + 478x72 + 380x73 + 160x74 + 186x75 + 63x76 + 242x77 + 709x78 + 540x79 + 263x80 + 744x81 + 966x82 + 290x83 + 433x84 + 316x85 + 827x86 + 310x87 + 906x88 + 43x89 + 593x90 + 725x91 + 506x92 + 401x93 + 664x94 + 556x95 + 819x96 + 378x97 + 147x98 + 752x99 + 39x100 <=11096 
constr9: + 84x1 + 537x2 + 927x3 + 379x4 + 986x5 + 350x6 + 623x7 + 85x8 + 521x9 + 224x10 + 497x11 + 655x12 + 488x13 + 162x14 + 797x15 + 689x16 + 586x17 + 443x18 + 53x19 + 896x20 + 555x21 + 676x22 + 825x23 + 80x24 + 924x25 + 716x26 + 886x27 + 66x28 + 726x29 + 612x30 + 598x31 + 174x32 + 905x33 + 193x34 + 725x35 + 984x36 + 122x37 + 572x38 + 576x39 + 42x40 + 485x41 + 164x42 + 806x43 + 516x44 + 600x45 + 30x46 + 924x47 + 822x48 + 203x49 + 850x50 + 913x51 + 138x52 + 976x53 + 621x54 + 470x55 + 929x56 + 383x57 + 29x58 + 724x59 + 700x60 + 295x61 + 792x62 + 882x63 + 7x64 + 707x65 + 100x66 + 349x67 + 956x68 + 314x69 + 125x70 + 974x71 + 550x72 + 925x73 + 815x74 + 170x75 + 984x76 + 662x77 + 177x78 + 989x79 + 520x80 + 301x81 + 854x82 + 507x83 + 511x84 + 290x85 + 851x86 + 180x87 + 158x88 + 66x89 + 202x90 + 869x91 + 615x92 + 506x93 + 112x94 + 598x95 + 401x96 + 740x97 + 457x98 + 663x99 + 89x100 <=13121 
constr10: + 4x1 + 630x2 + 625x3 + 432x4 + 161x5 + 20x6 + 486x7 + 785x8 + 868x9 + 308x10 + 656x11 + 215x12 + 242x13 + 49x14 + 179x15 + 489x16 + 554x17 + 262x18 + 50x19 + 77x20 + 485x21 + 851x22 + 386x23 + 605x24 + 320x25 + 396x26 + 920x27 + 123x28 + 475x29 + 248x30 + 491x31 + 534x32 + 95x33 + 185x34 + 216x35 + 26x36 + 130x37 + 704x38 + 450x39 + 473x40 + 481x41 + 598x42 + 775x43 + 315x44 + 842x45 + 43x46 + 232x47 + 134x48 + 359x49 + 383x50 + 128x51 + 279x52 + 841x53 + 145x54 + 834x55 + 516x56 + 538x57 + 635x58 + 296x59 + 687x60 + 305x61 + 706x62 + 688x63 + 266x64 + 635x65 + 286x66 + 85x67 + 106x68 + 758x69 + 510x70 + 253x71 + 726x72 + 302x73 + 856x74 + 536x75 + 204x76 + 603x77 + 227x78 + 75x79 + 104x80 + 904x81 + 677x82 + 272x83 + 260x84 + 21x85 + 268x86 + 38x87 + 861x88 + 495x89 + 453x90 + 432x91 + 347x92 + 76x93 + 150x94 + 607x95 + 159x96 + 977x97 + 596x98 + 445x99 + 730x100 <=10316 
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