maximize 
objective: + 803x1 + 728x2 + 743x3 + 464x4 + 853x5 + 587x6 + 856x7 + 579x8 + 359x9 + 635x10 + 661x11 + 679x12 + 583x13 + 1026x14 + 637x15 + 652x16 + 603x17 + 583x18 + 1017x19 + 817x20 + 633x21 + 633x22 + 672x23 + 540x24 + 732x25 + 879x26 + 1031x27 + 801x28 + 892x29 + 1030x30 + 844x31 + 659x32 + 952x33 + 917x34 + 1078x35 + 1012x36 + 709x37 + 699x38 + 1091x39 + 887x40 + 802x41 + 1016x42 + 757x43 + 810x44 + 1023x45 + 757x46 + 518x47 + 632x48 + 1091x49 + 595x50 + 630x51 + 916x52 + 759x53 + 674x54 + 553x55 + 703x56 + 530x57 + 790x58 + 628x59 + 671x60 + 667x61 + 885x62 + 527x63 + 970x64 + 683x65 + 716x66 + 714x67 + 919x68 + 504x69 + 703x70 + 924x71 + 533x72 + 510x73 + 993x74 + 840x75 + 538x76 + 909x77 + 884x78 + 639x79 + 811x80 + 1000x81 + 267x82 + 632x83 + 937x84 + 875x85 + 768x86 + 928x87 + 378x88 + 948x89 + 628x90 + 530x91 + 676x92 + 662x93 + 490x94 + 1006x95 + 949x96 + 822x97 + 694x98 + 1013x99 + 600x100 
subject to 
constr1: + 300x1 + 78x2 + 275x3 + 724x4 + 674x5 + 227x6 + 84x7 + 587x8 + 768x9 + 51x10 + 446x11 + 955x12 + 886x13 + 871x14 + 557x15 + 978x16 + 336x17 + 442x18 + 71x19 + 222x20 + 505x21 + 327x22 + 706x23 + 86x24 + 596x25 + 257x26 + 726x27 + 420x28 + 835x29 + 792x30 + 739x31 + 373x32 + 796x33 + 769x34 + 745x35 + 540x36 + 966x37 + 450x38 + 721x39 + 242x40 + 559x41 + 352x42 + 990x43 + 951x44 + 875x45 + 329x46 + 803x47 + 892x48 + 52x49 + 681x50 + 388x51 + 824x52 + 892x53 + 381x54 + 52x55 + 774x56 + 372x57 + 368x58 + 969x59 + 929x60 + 378x61 + 449x62 + 249x63 + 255x64 + 123x65 + 745x66 + 978x67 + 862x68 + 302x69 + 549x70 + 229x71 + 418x72 + 389x73 + 768x74 + 961x75 + 186x76 + 657x77 + 717x78 + 254x79 + 533x80 + 733x81 + 144x82 + 208x83 + 928x84 + 919x85 + 402x86 + 536x87 + 900x88 + 893x89 + 814x90 + 121x91 + 601x92 + 262x93 + 207x94 + 735x95 + 125x96 + 755x97 + 581x98 + 464x99 + 674x100 <=13640 
constr2: + 297x1 + 539x2 + 903x3 + 75x4 + 384x5 + 474x6 + 909x7 + 5x8 + 97x9 + 323x10 + 326x11 + 125x12 + 578x13 + 415x14 + 420x15 + 581x16 + 272x17 + 455x18 + 895x19 + 294x20 + 633x21 + 858x22 + 215x23 + 157x24 + 807x25 + 322x26 + 670x27 + 997x28 + 315x29 + 101x30 + 489x31 + 784x32 + 479x33 + 836x34 + 224x35 + 917x36 + 898x37 + 894x38 + 347x39 + 576x40 + 434x41 + 834x42 + 243x43 + 940x44 + 403x45 + 326x46 + 408x47 + 353x48 + 945x49 + 307x50 + 48x51 + 302x52 + 287x53 + 621x54 + 546x55 + 749x56 + 869x57 + 147x58 + 870x59 + 329x60 + 115x61 + 450x62 + 534x63 + 592x64 + 609x65 + 25x66 + 16x67 + 392x68 + 202x69 + 5x70 + 818x71 + 195x72 + 444x73 + 571x74 + 948x75 + 154x76 + 552x77 + 567x78 + 820x79 + 243x80 + 537x81 + 358x82 + 260x83 + 706x84 + 471x85 + 237x86 + 676x87 + 281x88 + 145x89 + 273x90 + 567x91 + 87x92 + 692x93 + 787x94 + 878x95 + 857x96 + 821x97 + 89x98 + 983x99 + 388x100 <=12048 
constr3: + 24x1 + 638x2 + 899x3 + 982x4 + 207x5 + 788x6 + 194x7 + 455x8 + 217x9 + 71x10 + 799x11 + 539x12 + 720x13 + 713x14 + 443x15 + 268x16 + 257x17 + 861x18 + 891x19 + 857x20 + 633x21 + 620x22 + 336x23 + 912x24 + 500x25 + 361x26 + 66x27 + 469x28 + 789x29 + 717x30 + 244x31 + 73x32 + 780x33 + 801x34 + 894x35 + 185x36 + 947x37 + 680x38 + 917x39 + 275x40 + 887x41 + 792x42 + 986x43 + 424x44 + 167x45 + 108x46 + 389x47 + 258x48 + 941x49 + 963x50 + 47x51 + 869x52 + 711x53 + 117x54 + 170x55 + 725x56 + 221x57 + 131x58 + 370x59 + 371x60 + 792x61 + 460x62 + 264x63 + 518x64 + 111x65 + 127x66 + 370x67 + 875x68 + 121x69 + 69x70 + 396x71 + 485x72 + 433x73 + 305x74 + 589x75 + 908x76 + 460x77 + 214x78 + 1x79 + 389x80 + 972x81 + 31x82 + 426x83 + 836x84 + 986x85 + 20x86 + 941x87 + 652x88 + 222x89 + 914x90 + 93x91 + 634x92 + 646x93 + 343x94 + 923x95 + 613x96 + 808x97 + 264x98 + 160x99 + 254x100 <=12574 
constr4: + 791x1 + 715x2 + 560x3 + 703x4 + 415x5 + 363x6 + 239x7 + 357x8 + 953x9 + 567x10 + 368x11 + 349x12 + 21x13 + 874x14 + 874x15 + 872x16 + 443x17 + 56x18 + 632x19 + 798x20 + 255x21 + 773x22 + 36x23 + 692x24 + 239x25 + 485x26 + 980x27 + 381x28 + 886x29 + 875x30 + 592x31 + 345x32 + 863x33 + 778x34 + 985x35 + 520x36 + 385x37 + 110x38 + 905x39 + 501x40 + 69x41 + 944x42 + 922x43 + 106x44 + 680x45 + 315x46 + 735x47 + 912x48 + 904x49 + 585x50 + 877x51 + 475x52 + 136x53 + 92x54 + 495x55 + 799x56 + 300x57 + 479x58 + 540x59 + 125x60 + 820x61 + 712x62 + 258x63 + 299x64 + 776x65 + 587x66 + 358x67 + 503x68 + 815x69 + 168x70 + 979x71 + 658x72 + 840x73 + 984x74 + 974x75 + 532x76 + 765x77 + 962x78 + 851x79 + 323x80 + 963x81 + 904x82 + 185x83 + 507x84 + 762x85 + 40x86 + 798x87 + 108x88 + 628x89 + 547x90 + 123x91 + 127x92 + 231x93 + 8x94 + 781x95 + 862x96 + 810x97 + 638x98 + 248x99 + 198x100 <=13915 
constr5: + 98x1 + 947x2 + 956x3 + 509x4 + 298x5 + 728x6 + 253x7 + 779x8 + 244x9 + 208x10 + 324x11 + 227x12 + 50x13 + 708x14 + 719x15 + 158x16 + 787x17 + 33x18 + 536x19 + 60x20 + 327x21 + 852x22 + 128x23 + 105x24 + 968x25 + 314x26 + 978x27 + 368x28 + 318x29 + 826x30 + 407x31 + 123x32 + 617x33 + 943x34 + 757x35 + 326x36 + 620x37 + 687x38 + 63x39 + 439x40 + 614x41 + 533x42 + 522x43 + 174x44 + 439x45 + 862x46 + 981x47 + 972x48 + 789x49 + 573x50 + 262x51 + 989x52 + 573x53 + 184x54 + 604x55 + 828x56 + 336x57 + 503x58 + 1000x59 + 515x60 + 954x61 + 751x62 + 627x63 + 776x64 + 676x65 + 899x66 + 870x67 + 974x68 + 516x69 + 5x70 + 891x71 + 848x72 + 218x73 + 664x74 + 79x75 + 542x76 + 938x77 + 397x78 + 660x79 + 397x80 + 567x81 + 183x82 + 96x83 + 592x84 + 846x85 + 271x86 + 943x87 + 201x88 + 558x89 + 926x90 + 961x91 + 357x92 + 216x93 + 110x94 + 419x95 + 627x96 + 267x97 + 111x98 + 742x99 + 211x100 <=13232 
constr6: + 4x1 + 459x2 + 106x3 + 86x4 + 392x5 + 345x6 + 585x7 + 761x8 + 193x9 + 746x10 + 19x11 + 393x12 + 73x13 + 932x14 + 117x15 + 389x16 + 2x17 + 10x18 + 184x19 + 406x20 + 314x21 + 256x22 + 3x23 + 544x24 + 903x25 + 839x26 + 640x27 + 893x28 + 606x29 + 660x30 + 622x31 + 86x32 + 475x33 + 297x34 + 420x35 + 672x36 + 928x37 + 409x38 + 969x39 + 696x40 + 694x41 + 276x42 + 507x43 + 431x44 + 252x45 + 910x46 + 206x47 + 260x48 + 666x49 + 464x50 + 784x51 + 372x52 + 740x53 + 948x54 + 998x55 + 314x56 + 887x57 + 968x58 + 257x59 + 230x60 + 62x61 + 410x62 + 718x63 + 543x64 + 553x65 + 397x66 + 728x67 + 640x68 + 306x69 + 471x70 + 118x71 + 499x72 + 463x73 + 987x74 + 916x75 + 425x76 + 198x77 + 525x78 + 435x79 + 677x80 + 301x81 + 329x82 + 775x83 + 699x84 + 892x85 + 242x86 + 620x87 + 36x88 + 881x89 + 3x90 + 192x91 + 806x92 + 761x93 + 543x94 + 806x95 + 118x96 + 543x97 + 810x98 + 272x99 + 461x100 <=12190 
constr7: + 926x1 + 396x2 + 649x3 + 219x4 + 598x5 + 352x6 + 454x7 + 493x8 + 1x9 + 968x10 + 979x11 + 240x12 + 675x13 + 6x14 + 373x15 + 499x16 + 51x17 + 699x18 + 731x19 + 134x20 + 899x21 + 312x22 + 402x23 + 997x24 + 449x25 + 494x26 + 621x27 + 938x28 + 211x29 + 749x30 + 169x31 + 118x32 + 413x33 + 367x34 + 514x35 + 726x36 + 802x37 + 170x38 + 440x39 + 501x40 + 132x41 + 679x42 + 671x43 + 373x44 + 164x45 + 295x46 + 137x47 + 860x48 + 184x49 + 358x50 + 299x51 + 696x52 + 263x53 + 966x54 + 570x55 + 155x56 + 629x57 + 12x58 + 164x59 + 261x60 + 471x61 + 833x62 + 958x63 + 805x64 + 78x65 + 352x66 + 857x67 + 253x68 + 548x69 + 250x70 + 75x71 + 55x72 + 823x73 + 187x74 + 679x75 + 627x76 + 680x77 + 626x78 + 44x79 + 78x80 + 179x81 + 116x82 + 950x83 + 866x84 + 900x85 + 669x86 + 182x87 + 376x88 + 725x89 + 635x90 + 466x91 + 398x92 + 770x93 + 611x94 + 285x95 + 688x96 + 921x97 + 640x98 + 853x99 + 856x100 <=12242 
constr8: + 682x1 + 495x2 + 207x3 + 741x4 + 459x5 + 268x6 + 898x7 + 380x8 + 440x9 + 138x10 + 413x11 + 193x12 + 148x13 + 348x14 + 642x15 + 148x16 + 274x17 + 830x18 + 679x19 + 964x20 + 82x21 + 147x22 + 289x23 + 557x24 + 396x25 + 805x26 + 679x27 + 912x28 + 630x29 + 230x30 + 943x31 + 254x32 + 54x33 + 746x34 + 563x35 + 349x36 + 878x37 + 552x38 + 721x39 + 367x40 + 803x41 + 132x42 + 982x43 + 221x44 + 891x45 + 751x46 + 296x47 + 406x48 + 689x49 + 721x50 + 77x51 + 199x52 + 803x53 + 187x54 + 191x55 + 769x56 + 174x57 + 999x58 + 84x59 + 598x60 + 886x61 + 747x62 + 63x63 + 225x64 + 655x65 + 10x66 + 984x67 + 880x68 + 378x69 + 386x70 + 804x71 + 451x72 + 360x73 + 779x74 + 364x75 + 154x76 + 897x77 + 572x78 + 863x79 + 864x80 + 522x81 + 317x82 + 575x83 + 337x84 + 375x85 + 411x86 + 692x87 + 196x88 + 302x89 + 16x90 + 251x91 + 608x92 + 751x93 + 295x94 + 180x95 + 904x96 + 13x97 + 695x98 + 726x99 + 615x100 <=12394 
constr9: + 942x1 + 431x2 + 834x3 + 554x4 + 850x5 + 484x6 + 58x7 + 191x8 + 108x9 + 75x10 + 792x11 + 801x12 + 451x13 + 994x14 + 950x15 + 145x16 + 512x17 + 956x18 + 345x19 + 52x20 + 750x21 + 776x22 + 653x23 + 15x24 + 515x25 + 296x26 + 223x27 + 19x28 + 192x29 + 914x30 + 388x31 + 272x32 + 474x33 + 673x34 + 229x35 + 490x36 + 6x37 + 753x38 + 670x39 + 278x40 + 158x41 + 541x42 + 795x43 + 163x44 + 998x45 + 528x46 + 394x47 + 65x48 + 614x49 + 349x50 + 198x51 + 451x52 + 325x53 + 136x54 + 570x55 + 635x56 + 921x57 + 192x58 + 919x59 + 657x60 + 169x61 + 643x62 + 755x63 + 548x64 + 638x65 + 576x66 + 666x67 + 133x68 + 709x69 + 794x70 + 457x71 + 334x72 + 134x73 + 105x74 + 847x75 + 949x76 + 986x77 + 400x78 + 747x79 + 47x80 + 767x81 + 63x82 + 331x83 + 327x84 + 675x85 + 655x86 + 233x87 + 724x88 + 633x89 + 743x90 + 494x91 + 36x92 + 382x93 + 25x94 + 187x95 + 883x96 + 483x97 + 923x98 + 860x99 + 249x100 <=12258 
constr10: + 608x1 + 446x2 + 555x3 + 22x4 + 45x5 + 384x6 + 422x7 + 518x8 + 80x9 + 954x10 + 960x11 + 253x12 + 285x13 + 425x14 + 552x15 + 513x16 + 984x17 + 757x18 + 219x19 + 50x20 + 772x21 + 956x22 + 434x23 + 427x24 + 417x25 + 676x26 + 227x27 + 693x28 + 279x29 + 50x30 + 249x31 + 199x32 + 422x33 + 485x34 + 747x35 + 680x36 + 353x37 + 545x38 + 254x39 + 128x40 + 710x41 + 469x42 + 97x43 + 585x44 + 398x45 + 780x46 + 700x47 + 361x48 + 509x49 + 36x50 + 216x51 + 357x52 + 912x53 + 927x54 + 188x55 + 229x56 + 161x57 + 309x58 + 765x59 + 834x60 + 220x61 + 310x62 + 538x63 + 399x64 + 247x65 + 624x66 + 699x67 + 154x68 + 748x69 + 77x70 + 575x71 + 553x72 + 454x73 + 161x74 + 640x75 + 693x76 + 28x77 + 487x78 + 111x79 + 424x80 + 112x81 + 17x82 + 95x83 + 597x84 + 87x85 + 1x86 + 307x87 + 203x88 + 806x89 + 571x90 + 334x91 + 441x92 + 489x93 + 374x94 + 695x95 + 929x96 + 411x97 + 438x98 + 416x99 + 805x100 <=10960 
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