maximize objective: + 525x1 + 686x2 + 565x3 + 456x4 + 545x5 + 952x6 + 1000x7 + 1023x8 + 817x9 + 987x10 + 793x11 + 905x12 + 868x13 + 1091x14 + 743x15 + 587x16 + 714x17 + 692x18 + 853x19 + 869x20 + 714x21 + 515x22 + 623x23 + 661x24 + 940x25 + 1011x26 + 1013x27 + 638x28 + 1003x29 + 759x30 + 886x31 + 517x32 + 841x33 + 946x34 + 1058x35 + 795x36 + 655x37 + 1086x38 + 661x39 + 702x40 + 681x41 + 707x42 + 705x43 + 1014x44 + 823x45 + 372x46 + 1004x47 + 563x48 + 913x49 + 420x50 + 582x51 + 1013x52 + 913x53 + 767x54 + 639x55 + 937x56 + 726x57 + 678x58 + 460x59 + 814x60 + 676x61 + 840x62 + 721x63 + 914x64 + 491x65 + 760x66 + 878x67 + 960x68 + 879x69 + 862x70 + 725x71 + 1020x72 + 714x73 + 588x74 + 554x75 + 840x76 + 962x77 + 562x78 + 742x79 + 884x80 + 427x81 + 699x82 + 974x83 + 846x84 + 705x85 + 492x86 + 538x87 + 993x88 + 546x89 + 684x90 + 850x91 + 860x92 + 961x93 + 693x94 + 758x95 + 773x96 + 677x97 + 932x98 + 577x99 + 964x100 subject to constr1: + 133x1 + 684x2 + 242x3 + 449x4 + 865x5 + 164x6 + 838x7 + 654x8 + 213x9 + 389x10 + 272x11 + 121x12 + 403x13 + 983x14 + 424x15 + 870x16 + 431x17 + 74x18 + 81x19 + 738x20 + 299x21 + 126x22 + 69x23 + 686x24 + 72x25 + 634x26 + 744x27 + 336x28 + 916x29 + 486x30 + 974x31 + 574x32 + 183x33 + 906x34 + 475x35 + 634x36 + 691x37 + 778x38 + 255x39 + 892x40 + 966x41 + 592x42 + 222x43 + 411x44 + 57x45 + 24x46 + 72x47 + 56x48 + 70x49 + 9x50 + 933x51 + 248x52 + 956x53 + 177x54 + 350x55 + 928x56 + 322x57 + 734x58 + 268x59 + 718x60 + 637x61 + 955x62 + 786x63 + 28x64 + 217x65 + 241x66 + 601x67 + 771x68 + 601x69 + 345x70 + 375x71 + 424x72 + 767x73 + 738x74 + 534x75 + 353x76 + 586x77 + 399x78 + 462x79 + 903x80 + 98x81 + 614x82 + 250x83 + 913x84 + 13x85 + 89x86 + 307x87 + 820x88 + 111x89 + 932x90 + 367x91 + 892x92 + 779x93 + 139x94 + 479x95 + 313x96 + 277x97 + 673x98 + 100x99 + 970x100 <=35798 constr2: + 515x1 + 760x2 + 535x3 + 34x4 + 174x5 + 892x6 + 546x7 + 669x8 + 484x9 + 989x10 + 841x11 + 169x12 + 707x13 + 1000x14 + 568x15 + 333x16 + 886x17 + 997x18 + 908x19 + 674x20 + 303x21 + 111x22 + 585x23 + 148x24 + 720x25 + 773x26 + 87x27 + 870x28 + 473x29 + 283x30 + 563x31 + 88x32 + 577x33 + 167x34 + 798x35 + 331x36 + 125x37 + 213x38 + 240x39 + 54x40 + 473x41 + 690x42 + 186x43 + 440x44 + 162x45 + 520x46 + 767x47 + 388x48 + 143x49 + 126x50 + 616x51 + 626x52 + 603x53 + 780x54 + 345x55 + 52x56 + 523x57 + 682x58 + 64x59 + 964x60 + 991x61 + 622x62 + 463x63 + 190x64 + 851x65 + 31x66 + 565x67 + 745x68 + 323x69 + 797x70 + 481x71 + 644x72 + 192x73 + 412x74 + 41x75 + 426x76 + 797x77 + 621x78 + 446x79 + 861x80 + 344x81 + 179x82 + 928x83 + 940x84 + 17x85 + 85x86 + 185x87 + 613x88 + 172x89 + 401x90 + 970x91 + 449x92 + 87x93 + 339x94 + 687x95 + 850x96 + 858x97 + 368x98 + 892x99 + 837x100 <=37530 constr3: + 848x1 + 909x2 + 12x3 + 622x4 + 506x5 + 158x6 + 678x7 + 664x8 + 790x9 + 991x10 + 782x11 + 50x12 + 506x13 + 412x14 + 68x15 + 472x16 + 163x17 + 410x18 + 54x19 + 119x20 + 644x21 + 90x22 + 559x23 + 846x24 + 87x25 + 321x26 + 236x27 + 317x28 + 804x29 + 208x30 + 706x31 + 294x32 + 549x33 + 980x34 + 226x35 + 310x36 + 197x37 + 173x38 + 96x39 + 586x40 + 620x41 + 647x42 + 62x43 + 225x44 + 28x45 + 402x46 + 291x47 + 438x48 + 656x49 + 234x50 + 19x51 + 530x52 + 297x53 + 622x54 + 613x55 + 195x56 + 624x57 + 89x58 + 990x59 + 119x60 + 355x61 + 370x62 + 593x63 + 326x64 + 880x65 + 843x66 + 859x67 + 843x68 + 507x69 + 27x70 + 96x71 + 912x72 + 839x73 + 76x74 + 760x75 + 636x76 + 302x77 + 741x78 + 118x79 + 878x80 + 488x81 + 741x82 + 22x83 + 550x84 + 485x85 + 492x86 + 412x87 + 200x88 + 403x89 + 26x90 + 709x91 + 224x92 + 862x93 + 219x94 + 703x95 + 340x96 + 603x97 + 497x98 + 63x99 + 260x100 <=33303 constr4: + 131x1 + 72x2 + 205x3 + 258x4 + 71x5 + 935x6 + 457x7 + 737x8 + 408x9 + 572x10 + 29x11 + 496x12 + 724x13 + 748x14 + 424x15 + 859x16 + 479x17 + 909x18 + 38x19 + 389x20 + 967x21 + 524x22 + 32x23 + 344x24 + 134x25 + 909x26 + 916x27 + 32x28 + 781x29 + 110x30 + 101x31 + 114x32 + 685x33 + 907x34 + 752x35 + 600x36 + 245x37 + 743x38 + 852x39 + 730x40 + 882x41 + 287x42 + 71x43 + 515x44 + 194x45 + 543x46 + 160x47 + 881x48 + 775x49 + 400x50 + 993x51 + 882x52 + 932x53 + 72x54 + 16x55 + 167x56 + 665x57 + 144x58 + 145x59 + 225x60 + 86x61 + 19x62 + 422x63 + 934x64 + 241x65 + 988x66 + 257x67 + 738x68 + 896x69 + 493x70 + 823x71 + 21x72 + 181x73 + 135x74 + 253x75 + 825x76 + 876x77 + 740x78 + 584x79 + 480x80 + 22x81 + 278x82 + 886x83 + 159x84 + 218x85 + 93x86 + 61x87 + 356x88 + 641x89 + 643x90 + 30x91 + 569x92 + 495x93 + 960x94 + 513x95 + 222x96 + 328x97 + 252x98 + 576x99 + 64x100 <=34295 constr5: + 96x1 + 808x2 + 827x3 + 299x4 + 216x5 + 843x6 + 383x7 + 137x8 + 745x9 + 197x10 + 462x11 + 800x12 + 858x13 + 174x14 + 748x15 + 596x16 + 50x17 + 948x18 + 982x19 + 785x20 + 932x21 + 678x22 + 779x23 + 839x24 + 286x25 + 604x26 + 352x27 + 691x28 + 160x29 + 722x30 + 756x31 + 98x32 + 989x33 + 713x34 + 736x35 + 925x36 + 354x37 + 460x38 + 997x39 + 754x40 + 153x41 + 402x42 + 370x43 + 888x44 + 845x45 + 200x46 + 948x47 + 89x48 + 259x49 + 92x50 + 172x51 + 837x52 + 636x53 + 74x54 + 255x55 + 402x56 + 581x57 + 255x58 + 953x59 + 797x60 + 411x61 + 671x62 + 646x63 + 719x64 + 327x65 + 934x66 + 534x67 + 233x68 + 886x69 + 585x70 + 894x71 + 878x72 + 988x73 + 242x74 + 70x75 + 610x76 + 998x77 + 325x78 + 278x79 + 429x80 + 212x81 + 222x82 + 975x83 + 103x84 + 537x85 + 670x86 + 195x87 + 988x88 + 803x89 + 922x90 + 516x91 + 972x92 + 672x93 + 922x94 + 822x95 + 633x96 + 630x97 + 602x98 + 620x99 + 304x100 <=42724 constr6: + 321x1 + 298x2 + 139x3 + 995x4 + 211x5 + 310x6 + 200x7 + 964x8 + 485x9 + 229x10 + 865x11 + 538x12 + 888x13 + 665x14 + 78x15 + 385x16 + 105x17 + 859x18 + 991x19 + 683x20 + 216x21 + 244x22 + 891x23 + 625x24 + 991x25 + 620x26 + 891x27 + 671x28 + 795x29 + 243x30 + 506x31 + 730x32 + 92x33 + 536x34 + 291x35 + 258x36 + 621x37 + 829x38 + 280x39 + 1000x40 + 2x41 + 214x42 + 799x43 + 622x44 + 796x45 + 150x46 + 818x47 + 993x48 + 734x49 + 48x50 + 138x51 + 864x52 + 388x53 + 798x54 + 500x55 + 137x56 + 640x57 + 620x58 + 190x59 + 720x60 + 717x61 + 785x62 + 818x63 + 7x64 + 88x65 + 250x66 + 943x67 + 876x68 + 89x69 + 191x70 + 944x71 + 436x72 + 861x73 + 299x74 + 430x75 + 555x76 + 289x77 + 340x78 + 643x79 + 681x80 + 806x81 + 734x82 + 789x83 + 107x84 + 728x85 + 791x86 + 951x87 + 871x88 + 276x89 + 170x90 + 855x91 + 566x92 + 436x93 + 629x94 + 594x95 + 911x96 + 420x97 + 641x98 + 415x99 + 183x100 <=40369 constr7: + 25x1 + 957x2 + 470x3 + 274x4 + 367x5 + 585x6 + 374x7 + 263x8 + 792x9 + 67x10 + 649x11 + 711x12 + 627x13 + 660x14 + 200x15 + 509x16 + 178x17 + 135x18 + 966x19 + 394x20 + 314x21 + 231x22 + 750x23 + 583x24 + 992x25 + 270x26 + 755x27 + 426x28 + 352x29 + 533x30 + 291x31 + 340x32 + 677x33 + 622x34 + 786x35 + 184x36 + 511x37 + 962x38 + 280x39 + 572x40 + 264x41 + 796x42 + 579x43 + 557x44 + 956x45 + 122x46 + 819x47 + 292x48 + 292x49 + 375x50 + 143x51 + 786x52 + 322x53 + 314x54 + 234x55 + 972x56 + 569x57 + 676x58 + 332x59 + 743x60 + 604x61 + 692x62 + 186x63 + 403x64 + 131x65 + 547x66 + 166x67 + 351x68 + 205x69 + 334x70 + 756x71 + 592x72 + 41x73 + 694x74 + 522x75 + 897x76 + 474x77 + 201x78 + 125x79 + 577x80 + 157x81 + 991x82 + 195x83 + 335x84 + 92x85 + 20x86 + 467x87 + 598x88 + 120x89 + 448x90 + 6x91 + 336x92 + 584x93 + 744x94 + 445x95 + 484x96 + 13x97 + 563x98 + 64x99 + 703x100 <=34230 constr8: + 585x1 + 924x2 + 210x3 + 332x4 + 227x5 + 330x6 + 981x7 + 692x8 + 83x9 + 761x10 + 862x11 + 4x12 + 469x13 + 862x14 + 785x15 + 304x16 + 336x17 + 660x18 + 339x19 + 611x20 + 436x21 + 354x22 + 569x23 + 348x24 + 693x25 + 97x26 + 444x27 + 823x28 + 554x29 + 366x30 + 513x31 + 73x32 + 708x33 + 204x34 + 777x35 + 928x36 + 534x37 + 903x38 + 574x39 + 574x40 + 377x41 + 984x42 + 272x43 + 877x44 + 229x45 + 804x46 + 154x47 + 167x48 + 991x49 + 635x50 + 1000x51 + 60x52 + 845x53 + 561x54 + 997x55 + 434x56 + 482x57 + 406x58 + 54x59 + 252x60 + 522x61 + 357x62 + 728x63 + 339x64 + 620x65 + 967x66 + 858x67 + 37x68 + 979x69 + 318x70 + 330x71 + 919x72 + 867x73 + 305x74 + 89x75 + 91x76 + 971x77 + 266x78 + 654x79 + 906x80 + 143x81 + 128x82 + 99x83 + 281x84 + 819x85 + 941x86 + 841x87 + 692x88 + 191x89 + 415x90 + 412x91 + 963x92 + 757x93 + 800x94 + 270x95 + 590x96 + 523x97 + 556x98 + 885x99 + 745x100 <=40188 constr9: + 648x1 + 646x2 + 860x3 + 847x4 + 825x5 + 473x6 + 850x7 + 600x8 + 609x9 + 631x10 + 588x11 + 715x12 + 106x13 + 875x14 + 316x15 + 42x16 + 830x17 + 999x18 + 70x19 + 728x20 + 284x21 + 117x22 + 382x23 + 739x24 + 707x25 + 198x26 + 115x27 + 122x28 + 72x29 + 564x30 + 249x31 + 197x32 + 935x33 + 591x34 + 722x35 + 454x36 + 139x37 + 258x38 + 51x39 + 19x40 + 590x41 + 683x42 + 606x43 + 528x44 + 415x45 + 93x46 + 826x47 + 167x48 + 959x49 + 406x50 + 764x51 + 128x52 + 145x53 + 55x54 + 627x55 + 958x56 + 589x57 + 383x58 + 351x59 + 974x60 + 843x61 + 134x62 + 912x63 + 897x64 + 839x65 + 794x66 + 285x67 + 508x68 + 458x69 + 748x70 + 987x71 + 788x72 + 202x73 + 375x74 + 234x75 + 723x76 + 990x77 + 622x78 + 302x79 + 840x80 + 820x81 + 770x82 + 650x83 + 914x84 + 151x85 + 326x86 + 540x87 + 123x88 + 225x89 + 428x90 + 945x91 + 164x92 + 172x93 + 731x94 + 559x95 + 476x96 + 897x97 + 526x98 + 869x99 + 593x100 <=39585 constr10: + 812x1 + 510x2 + 915x3 + 170x4 + 269x5 + 363x6 + 880x7 + 186x8 + 744x9 + 781x10 + 447x11 + 605x12 + 407x13 + 565x14 + 569x15 + 391x16 + 293x17 + 809x18 + 545x19 + 329x20 + 513x21 + 268x22 + 514x23 + 147x24 + 548x25 + 834x26 + 609x27 + 856x28 + 483x29 + 300x30 + 137x31 + 428x32 + 995x33 + 736x34 + 658x35 + 95x36 + 992x37 + 630x38 + 601x39 + 14x40 + 507x41 + 674x42 + 695x43 + 830x44 + 711x45 + 732x46 + 545x47 + 535x48 + 91x49 + 937x50 + 562x51 + 266x52 + 652x53 + 7x54 + 554x55 + 427x56 + 146x57 + 939x58 + 44x59 + 388x60 + 47x61 + 187x62 + 402x63 + 783x64 + 182x65 + 331x66 + 234x67 + 545x68 + 338x69 + 400x70 + 565x71 + 279x72 + 569x73 + 494x74 + 276x75 + 242x76 + 869x77 + 617x78 + 177x79 + 66x80 + 217x81 + 621x82 + 6x83 + 980x84 + 379x85 + 686x86 + 904x87 + 179x88 + 597x89 + 631x90 + 809x91 + 480x92 + 572x93 + 268x94 + 320x95 + 865x96 + 309x97 + 54x98 + 457x99 + 98x100 <=36169 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