maximize 
objective: + 879x1 + 686x2 + 547x3 + 407x4 + 623x5 + 884x6 + 882x7 + 679x8 + 814x9 + 673x10 + 1156x11 + 654x12 + 606x13 + 940x14 + 490x15 + 733x16 + 910x17 + 1164x18 + 483x19 + 989x20 + 934x21 + 641x22 + 1148x23 + 1024x24 + 1136x25 + 856x26 + 702x27 + 484x28 + 1001x29 + 749x30 + 881x31 + 861x32 + 967x33 + 1033x34 + 928x35 + 582x36 + 656x37 + 971x38 + 607x39 + 372x40 + 685x41 + 553x42 + 714x43 + 866x44 + 936x45 + 1160x46 + 600x47 + 661x48 + 759x49 + 823x50 + 688x51 + 951x52 + 634x53 + 858x54 + 992x55 + 789x56 + 807x57 + 922x58 + 838x59 + 662x60 + 682x61 + 790x62 + 360x63 + 521x64 + 850x65 + 787x66 + 903x67 + 571x68 + 739x69 + 905x70 + 946x71 + 669x72 + 981x73 + 747x74 + 950x75 + 614x76 + 786x77 + 881x78 + 854x79 + 883x80 + 581x81 + 488x82 + 1014x83 + 1072x84 + 567x85 + 586x86 + 557x87 + 600x88 + 1027x89 + 851x90 + 530x91 + 961x92 + 758x93 + 346x94 + 626x95 + 682x96 + 546x97 + 879x98 + 832x99 + 708x100 
subject to 
constr1: + 859x1 + 636x2 + 338x3 + 240x4 + 511x5 + 87x6 + 829x7 + 70x8 + 593x9 + 711x10 + 681x11 + 293x12 + 620x13 + 646x14 + 644x15 + 327x16 + 537x17 + 369x18 + 650x19 + 369x20 + 506x21 + 598x22 + 139x23 + 322x24 + 833x25 + 812x26 + 414x27 + 131x28 + 846x29 + 224x30 + 440x31 + 258x32 + 179x33 + 380x34 + 698x35 + 103x36 + 720x37 + 717x38 + 62x39 + 235x40 + 773x41 + 64x42 + 735x43 + 803x44 + 595x45 + 308x46 + 499x47 + 672x48 + 713x49 + 78x50 + 570x51 + 636x52 + 968x53 + 47x54 + 795x55 + 589x56 + 125x57 + 317x58 + 195x59 + 761x60 + 314x61 + 108x62 + 13x63 + 141x64 + 531x65 + 667x66 + 984x67 + 557x68 + 1000x69 + 934x70 + 843x71 + 706x72 + 552x73 + 967x74 + 545x75 + 839x76 + 496x77 + 723x78 + 117x79 + 770x80 + 390x81 + 966x82 + 428x83 + 595x84 + 641x85 + 150x86 + 452x87 + 278x88 + 804x89 + 560x90 + 176x91 + 776x92 + 966x93 + 357x94 + 953x95 + 563x96 + 395x97 + 857x98 + 292x99 + 378x100 <=12914 
constr2: + 384x1 + 18x2 + 54x3 + 579x4 + 393x5 + 459x6 + 952x7 + 272x8 + 939x9 + 603x10 + 489x11 + 867x12 + 592x13 + 489x14 + 312x15 + 557x16 + 374x17 + 860x18 + 95x19 + 829x20 + 262x21 + 292x22 + 878x23 + 504x24 + 692x25 + 738x26 + 276x27 + 734x28 + 340x29 + 576x30 + 238x31 + 950x32 + 536x33 + 824x34 + 550x35 + 407x36 + 849x37 + 541x38 + 82x39 + 117x40 + 11x41 + 4x42 + 425x43 + 901x44 + 590x45 + 905x46 + 206x47 + 210x48 + 181x49 + 704x50 + 218x51 + 139x52 + 137x53 + 298x54 + 107x55 + 578x56 + 12x57 + 900x58 + 974x59 + 85x60 + 413x61 + 942x62 + 870x63 + 962x64 + 518x65 + 625x66 + 930x67 + 660x68 + 951x69 + 781x70 + 424x71 + 393x72 + 664x73 + 397x74 + 636x75 + 263x76 + 744x77 + 964x78 + 381x79 + 10x80 + 481x81 + 163x82 + 758x83 + 559x84 + 392x85 + 626x86 + 32x87 + 701x88 + 845x89 + 834x90 + 551x91 + 968x92 + 983x93 + 572x94 + 756x95 + 173x96 + 636x97 + 804x98 + 772x99 + 268x100 <=13123 
constr3: + 283x1 + 707x2 + 130x3 + 257x4 + 787x5 + 831x6 + 113x7 + 265x8 + 199x9 + 450x10 + 775x11 + 253x12 + 856x13 + 61x14 + 395x15 + 825x16 + 768x17 + 819x18 + 717x19 + 953x20 + 512x21 + 182x22 + 719x23 + 655x24 + 969x25 + 650x26 + 895x27 + 415x28 + 754x29 + 394x30 + 626x31 + 382x32 + 750x33 + 110x34 + 104x35 + 638x36 + 203x37 + 306x38 + 289x39 + 444x40 + 115x41 + 877x42 + 915x43 + 76x44 + 58x45 + 870x46 + 552x47 + 969x48 + 28x49 + 686x50 + 514x51 + 878x52 + 571x53 + 766x54 + 630x55 + 410x56 + 307x57 + 783x58 + 345x59 + 592x60 + 743x61 + 307x62 + 485x63 + 75x64 + 504x65 + 47x66 + 450x67 + 537x68 + 600x69 + 629x70 + 341x71 + 254x72 + 970x73 + 251x74 + 385x75 + 149x76 + 240x77 + 941x78 + 863x79 + 639x80 + 249x81 + 531x82 + 671x83 + 700x84 + 145x85 + 218x86 + 484x87 + 186x88 + 718x89 + 148x90 + 521x91 + 680x92 + 571x93 + 335x94 + 390x95 + 105x96 + 15x97 + 606x98 + 559x99 + 561x100 <=12297 
constr4: + 372x1 + 329x2 + 187x3 + 377x4 + 495x5 + 381x6 + 664x7 + 986x8 + 489x9 + 507x10 + 935x11 + 940x12 + 297x13 + 921x14 + 27x15 + 875x16 + 360x17 + 588x18 + 385x19 + 86x20 + 474x21 + 416x22 + 662x23 + 960x24 + 911x25 + 149x26 + 283x27 + 690x28 + 542x29 + 834x30 + 185x31 + 86x32 + 76x33 + 974x34 + 420x35 + 644x36 + 503x37 + 570x38 + 594x39 + 403x40 + 62x41 + 680x42 + 120x43 + 966x44 + 284x45 + 690x46 + 16x47 + 4x48 + 208x49 + 570x50 + 716x51 + 974x52 + 166x53 + 757x54 + 442x55 + 550x56 + 835x57 + 302x58 + 621x59 + 500x60 + 354x61 + 580x62 + 207x63 + 632x64 + 138x65 + 83x66 + 680x67 + 879x68 + 60x69 + 851x70 + 301x71 + 822x72 + 78x73 + 219x74 + 977x75 + 199x76 + 177x77 + 931x78 + 429x79 + 686x80 + 81x81 + 204x82 + 839x83 + 866x84 + 98x85 + 601x86 + 283x87 + 644x88 + 581x89 + 226x90 + 604x91 + 129x92 + 278x93 + 187x94 + 97x95 + 952x96 + 453x97 + 289x98 + 511x99 + 826x100 <=12018 
constr5: + 782x1 + 288x2 + 346x3 + 204x4 + 129x5 + 229x6 + 44x7 + 342x8 + 424x9 + 471x10 + 649x11 + 897x12 + 77x13 + 716x14 + 16x15 + 467x16 + 199x17 + 876x18 + 42x19 + 737x20 + 792x21 + 768x22 + 872x23 + 393x24 + 455x25 + 497x26 + 382x27 + 172x28 + 550x29 + 104x30 + 505x31 + 686x32 + 836x33 + 441x34 + 578x35 + 582x36 + 440x37 + 998x38 + 599x39 + 323x40 + 794x41 + 164x42 + 422x43 + 917x44 + 689x45 + 672x46 + 97x47 + 703x48 + 876x49 + 544x50 + 864x51 + 398x52 + 41x53 + 353x54 + 809x55 + 26x56 + 279x57 + 844x58 + 24x59 + 726x60 + 892x61 + 919x62 + 158x63 + 577x64 + 174x65 + 901x66 + 739x67 + 59x68 + 402x69 + 925x70 + 364x71 + 223x72 + 838x73 + 131x74 + 850x75 + 331x76 + 815x77 + 521x78 + 64x79 + 960x80 + 857x81 + 59x82 + 787x83 + 801x84 + 306x85 + 357x86 + 775x87 + 990x88 + 694x89 + 133x90 + 269x91 + 885x92 + 576x93 + 7x94 + 246x95 + 613x96 + 765x97 + 757x98 + 398x99 + 579x100 <=12712 
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