maximize objective: + 851x1 + 727x2 + 473x3 + 964x4 + 772x5 + 607x6 + 852x7 + 850x8 + 521x9 + 855x10 + 1121x11 + 670x12 + 1114x13 + 874x14 + 1035x15 + 919x16 + 643x17 + 934x18 + 733x19 + 919x20 + 611x21 + 458x22 + 688x23 + 880x24 + 618x25 + 895x26 + 858x27 + 653x28 + 777x29 + 522x30 + 684x31 + 412x32 + 527x33 + 876x34 + 615x35 + 879x36 + 870x37 + 977x38 + 648x39 + 742x40 + 416x41 + 792x42 + 579x43 + 943x44 + 794x45 + 832x46 + 810x47 + 651x48 + 799x49 + 786x50 + 1015x51 + 696x52 + 800x53 + 601x54 + 744x55 + 674x56 + 912x57 + 977x58 + 614x59 + 762x60 + 470x61 + 745x62 + 574x63 + 648x64 + 807x65 + 903x66 + 678x67 + 1092x68 + 651x69 + 700x70 + 471x71 + 826x72 + 535x73 + 586x74 + 675x75 + 853x76 + 599x77 + 930x78 + 589x79 + 620x80 + 832x81 + 825x82 + 498x83 + 720x84 + 936x85 + 712x86 + 762x87 + 858x88 + 773x89 + 689x90 + 901x91 + 873x92 + 321x93 + 582x94 + 529x95 + 535x96 + 609x97 + 529x98 + 744x99 + 972x100 subject to constr1: + 867x1 + 10x2 + 395x3 + 982x4 + 889x5 + 789x6 + 495x7 + 725x8 + 807x9 + 287x10 + 588x11 + 462x12 + 856x13 + 980x14 + 678x15 + 987x16 + 160x17 + 368x18 + 197x19 + 8x20 + 411x21 + 887x22 + 671x23 + 544x24 + 301x25 + 868x26 + 846x27 + 99x28 + 681x29 + 466x30 + 506x31 + 537x32 + 78x33 + 820x34 + 125x35 + 589x36 + 100x37 + 366x38 + 521x39 + 810x40 + 330x41 + 632x42 + 857x43 + 718x44 + 326x45 + 453x46 + 26x47 + 649x48 + 337x49 + 7x50 + 216x51 + 355x52 + 200x53 + 376x54 + 239x55 + 969x56 + 770x57 + 481x58 + 264x59 + 894x60 + 618x61 + 667x62 + 136x63 + 473x64 + 860x65 + 919x66 + 487x67 + 994x68 + 232x69 + 198x70 + 117x71 + 500x72 + 160x73 + 159x74 + 69x75 + 594x76 + 656x77 + 76x78 + 511x79 + 65x80 + 138x81 + 715x82 + 766x83 + 921x84 + 519x85 + 301x86 + 902x87 + 818x88 + 366x89 + 529x90 + 227x91 + 312x92 + 172x93 + 934x94 + 354x95 + 519x96 + 911x97 + 250x98 + 672x99 + 646x100 <=12580 constr2: + 314x1 + 862x2 + 12x3 + 411x4 + 31x5 + 797x6 + 94x7 + 513x8 + 512x9 + 544x10 + 756x11 + 36x12 + 988x13 + 980x14 + 672x15 + 680x16 + 706x17 + 822x18 + 827x19 + 813x20 + 167x21 + 331x22 + 320x23 + 227x24 + 463x25 + 466x26 + 144x27 + 197x28 + 309x29 + 238x30 + 137x31 + 279x32 + 755x33 + 333x34 + 510x35 + 671x36 + 905x37 + 954x38 + 533x39 + 29x40 + 933x41 + 186x42 + 338x43 + 801x44 + 694x45 + 768x46 + 790x47 + 969x48 + 704x49 + 962x50 + 527x51 + 184x52 + 479x53 + 456x54 + 927x55 + 333x56 + 380x57 + 559x58 + 836x59 + 537x60 + 128x61 + 930x62 + 602x63 + 294x64 + 36x65 + 755x66 + 866x67 + 79x68 + 892x69 + 893x70 + 17x71 + 212x72 + 727x73 + 337x74 + 873x75 + 114x76 + 288x77 + 602x78 + 704x79 + 948x80 + 761x81 + 217x82 + 162x83 + 908x84 + 292x85 + 559x86 + 927x87 + 920x88 + 186x89 + 446x90 + 404x91 + 244x92 + 127x93 + 86x94 + 514x95 + 683x96 + 172x97 + 673x98 + 913x99 + 485x100 <=12919 constr3: + 98x1 + 126x2 + 675x3 + 335x4 + 543x5 + 894x6 + 928x7 + 934x8 + 26x9 + 551x10 + 493x11 + 673x12 + 430x13 + 715x14 + 771x15 + 865x16 + 520x17 + 544x18 + 697x19 + 634x20 + 681x21 + 62x22 + 473x23 + 766x24 + 987x25 + 323x26 + 891x27 + 494x28 + 787x29 + 335x30 + 131x31 + 408x32 + 546x33 + 718x34 + 131x35 + 191x36 + 99x37 + 224x38 + 185x39 + 197x40 + 549x41 + 705x42 + 38x43 + 256x44 + 870x45 + 290x46 + 812x47 + 984x48 + 299x49 + 636x50 + 108x51 + 716x52 + 737x53 + 672x54 + 778x55 + 528x56 + 610x57 + 737x58 + 938x59 + 439x60 + 273x61 + 83x62 + 648x63 + 112x64 + 717x65 + 516x66 + 40x67 + 698x68 + 189x69 + 863x70 + 433x71 + 46x72 + 487x73 + 472x74 + 947x75 + 169x76 + 544x77 + 867x78 + 314x79 + 631x80 + 683x81 + 539x82 + 834x83 + 534x84 + 298x85 + 779x86 + 705x87 + 928x88 + 358x89 + 510x90 + 898x91 + 286x92 + 166x93 + 272x94 + 239x95 + 604x96 + 9x97 + 920x98 + 788x99 + 673x100 <=12964 constr4: + 908x1 + 212x2 + 115x3 + 907x4 + 394x5 + 275x6 + 91x7 + 780x8 + 222x9 + 616x10 + 728x11 + 687x12 + 954x13 + 580x14 + 273x15 + 49x16 + 381x17 + 288x18 + 980x19 + 879x20 + 974x21 + 77x22 + 41x23 + 931x24 + 771x25 + 579x26 + 257x27 + 334x28 + 48x29 + 348x30 + 556x31 + 220x32 + 424x33 + 910x34 + 85x35 + 874x36 + 277x37 + 90x38 + 839x39 + 745x40 + 512x41 + 569x42 + 148x43 + 936x44 + 78x45 + 567x46 + 89x47 + 43x48 + 841x49 + 734x50 + 283x51 + 197x52 + 730x53 + 187x54 + 368x55 + 94x56 + 463x57 + 391x58 + 469x59 + 492x60 + 913x61 + 533x62 + 259x63 + 803x64 + 513x65 + 462x66 + 8x67 + 557x68 + 832x69 + 678x70 + 359x71 + 616x72 + 324x73 + 924x74 + 15x75 + 978x76 + 713x77 + 861x78 + 444x79 + 429x80 + 70x81 + 821x82 + 104x83 + 746x84 + 514x85 + 378x86 + 143x87 + 622x88 + 690x89 + 489x90 + 60x91 + 784x92 + 68x93 + 461x94 + 71x95 + 550x96 + 488x97 + 3x98 + 268x99 + 538x100 <=11745 constr5: + 979x1 + 583x2 + 10x3 + 768x4 + 411x5 + 52x6 + 184x7 + 85x8 + 203x9 + 373x10 + 296x11 + 478x12 + 300x13 + 726x14 + 880x15 + 830x16 + 207x17 + 202x18 + 893x19 + 957x20 + 508x21 + 595x22 + 790x23 + 816x24 + 505x25 + 435x26 + 897x27 + 341x28 + 732x29 + 678x30 + 288x31 + 75x32 + 559x33 + 131x34 + 721x35 + 707x36 + 598x37 + 22x38 + 857x39 + 272x40 + 346x41 + 263x42 + 798x43 + 288x44 + 67x45 + 721x46 + 630x47 + 960x48 + 143x49 + 762x50 + 643x51 + 130x52 + 509x53 + 829x54 + 67x55 + 245x56 + 832x57 + 312x58 + 977x59 + 256x60 + 933x61 + 958x62 + 981x63 + 238x64 + 331x65 + 972x66 + 148x67 + 528x68 + 244x69 + 5x70 + 184x71 + 997x72 + 631x73 + 317x74 + 901x75 + 314x76 + 515x77 + 12x78 + 785x79 + 930x80 + 44x81 + 714x82 + 448x83 + 300x84 + 590x85 + 709x86 + 714x87 + 399x88 + 418x89 + 195x90 + 974x91 + 663x92 + 155x93 + 787x94 + 299x95 + 4x96 + 47x97 + 770x98 + 211x99 + 918x100 <=12501 constr6: + 549x1 + 638x2 + 357x3 + 763x4 + 3x5 + 492x6 + 822x7 + 140x8 + 325x9 + 978x10 + 888x11 + 971x12 + 157x13 + 499x14 + 862x15 + 453x16 + 22x17 + 694x18 + 132x19 + 119x20 + 550x21 + 509x22 + 353x23 + 57x24 + 230x25 + 206x26 + 609x27 + 93x28 + 147x29 + 204x30 + 325x31 + 159x32 + 322x33 + 427x34 + 290x35 + 745x36 + 93x37 + 910x38 + 505x39 + 406x40 + 16x41 + 160x42 + 899x43 + 290x44 + 882x45 + 572x46 + 163x47 + 699x48 + 76x49 + 406x50 + 673x51 + 451x52 + 436x53 + 693x54 + 74x55 + 760x56 + 830x57 + 263x58 + 928x59 + 737x60 + 223x61 + 43x62 + 939x63 + 657x64 + 369x65 + 348x66 + 469x67 + 865x68 + 989x69 + 866x70 + 926x71 + 647x72 + 644x73 + 40x74 + 124x75 + 73x76 + 772x77 + 478x78 + 431x79 + 207x80 + 403x81 + 101x82 + 264x83 + 420x84 + 508x85 + 508x86 + 128x87 + 986x88 + 700x89 + 333x90 + 152x91 + 840x92 + 627x93 + 70x94 + 996x95 + 413x96 + 644x97 + 240x98 + 30x99 + 250x100 <=11434 constr7: + 467x1 + 513x2 + 324x3 + 225x4 + 105x5 + 194x6 + 281x7 + 14x8 + 673x9 + 240x10 + 244x11 + 42x12 + 952x13 + 739x14 + 482x15 + 562x16 + 654x17 + 961x18 + 468x19 + 777x20 + 887x21 + 496x22 + 57x23 + 818x24 + 864x25 + 85x26 + 937x27 + 788x28 + 330x29 + 111x30 + 759x31 + 539x32 + 224x33 + 786x34 + 668x35 + 858x36 + 904x37 + 669x38 + 435x39 + 251x40 + 283x41 + 971x42 + 440x43 + 858x44 + 980x45 + 145x46 + 551x47 + 317x48 + 683x49 + 148x50 + 846x51 + 763x52 + 279x53 + 768x54 + 762x55 + 63x56 + 893x57 + 977x58 + 234x59 + 964x60 + 523x61 + 674x62 + 318x63 + 581x64 + 946x65 + 638x66 + 957x67 + 628x68 + 311x69 + 913x70 + 65x71 + 894x72 + 57x73 + 30x74 + 820x75 + 136x76 + 352x77 + 615x78 + 574x79 + 940x80 + 858x81 + 414x82 + 277x83 + 938x84 + 836x85 + 263x86 + 572x87 + 943x88 + 594x89 + 113x90 + 855x91 + 22x92 + 87x93 + 272x94 + 715x95 + 433x96 + 243x97 + 340x98 + 689x99 + 437x100 <=13295 constr8: + 208x1 + 543x2 + 532x3 + 568x4 + 603x5 + 865x6 + 751x7 + 20x8 + 699x9 + 76x10 + 1000x11 + 593x12 + 899x13 + 423x14 + 738x15 + 420x16 + 822x17 + 330x18 + 670x19 + 266x20 + 375x21 + 718x22 + 495x23 + 330x24 + 958x25 + 418x26 + 376x27 + 893x28 + 410x29 + 413x30 + 854x31 + 550x32 + 242x33 + 574x34 + 308x35 + 802x36 + 753x37 + 405x38 + 98x39 + 942x40 + 261x41 + 624x42 + 461x43 + 179x44 + 678x45 + 85x46 + 237x47 + 154x48 + 342x49 + 419x50 + 585x51 + 119x52 + 725x53 + 263x54 + 419x55 + 152x56 + 913x57 + 791x58 + 371x59 + 274x60 + 200x61 + 464x62 + 244x63 + 128x64 + 437x65 + 959x66 + 513x67 + 938x68 + 796x69 + 665x70 + 453x71 + 694x72 + 350x73 + 756x74 + 469x75 + 114x76 + 827x77 + 634x78 + 814x79 + 677x80 + 35x81 + 450x82 + 261x83 + 32x84 + 658x85 + 236x86 + 851x87 + 112x88 + 31x89 + 471x90 + 885x91 + 24x92 + 819x93 + 581x94 + 381x95 + 385x96 + 354x97 + 281x98 + 146x99 + 761x100 <=12220 constr9: + 171x1 + 678x2 + 207x3 + 964x4 + 582x5 + 671x6 + 879x7 + 253x8 + 130x9 + 854x10 + 468x11 + 651x12 + 381x13 + 741x14 + 754x15 + 276x16 + 880x17 + 214x18 + 46x19 + 426x20 + 464x21 + 243x22 + 981x23 + 175x24 + 397x25 + 709x26 + 511x27 + 130x28 + 391x29 + 61x30 + 856x31 + 727x32 + 541x33 + 27x34 + 714x35 + 728x36 + 646x37 + 434x38 + 196x39 + 198x40 + 60x41 + 776x42 + 768x43 + 333x44 + 468x45 + 479x46 + 535x47 + 98x48 + 478x49 + 557x50 + 757x51 + 366x52 + 204x53 + 987x54 + 604x55 + 895x56 + 284x57 + 271x58 + 218x59 + 67x60 + 22x61 + 986x62 + 402x63 + 876x64 + 29x65 + 313x66 + 355x67 + 394x68 + 69x69 + 812x70 + 571x71 + 987x72 + 312x73 + 521x74 + 241x75 + 571x76 + 384x77 + 86x78 + 421x79 + 956x80 + 68x81 + 872x82 + 1000x83 + 635x84 + 547x85 + 822x86 + 114x87 + 400x88 + 754x89 + 12x90 + 512x91 + 956x92 + 22x93 + 144x94 + 658x95 + 616x96 + 904x97 + 687x98 + 549x99 + 889x100 <=12257 constr10: + 147x1 + 206x2 + 37x3 + 710x4 + 38x5 + 456x6 + 680x7 + 573x8 + 594x9 + 850x10 + 876x11 + 816x12 + 418x13 + 855x14 + 518x15 + 227x16 + 326x17 + 732x18 + 447x19 + 810x20 + 534x21 + 459x22 + 967x23 + 453x24 + 239x25 + 792x26 + 446x27 + 171x28 + 431x29 + 622x30 + 670x31 + 271x32 + 552x33 + 719x34 + 506x35 + 357x36 + 774x37 + 733x38 + 909x39 + 907x40 + 96x41 + 995x42 + 243x43 + 87x44 + 985x45 + 219x46 + 392x47 + 261x48 + 284x49 + 638x50 + 722x51 + 293x52 + 41x53 + 693x54 + 887x55 + 270x56 + 361x57 + 354x58 + 398x59 + 437x60 + 795x61 + 69x62 + 127x63 + 491x64 + 28x65 + 87x66 + 2x67 + 433x68 + 817x69 + 593x70 + 480x71 + 733x72 + 500x73 + 378x74 + 283x75 + 922x76 + 680x77 + 691x78 + 358x79 + 216x80 + 629x81 + 627x82 + 404x83 + 457x84 + 145x85 + 41x86 + 610x87 + 14x88 + 613x89 + 188x90 + 332x91 + 285x92 + 403x93 + 68x94 + 360x95 + 788x96 + 88x97 + 215x98 + 196x99 + 186x100 <=11454 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