maximize objective: + 673x1 + 721x2 + 533x3 + 646x4 + 667x5 + 561x6 + 975x7 + 616x8 + 877x9 + 834x10 + 1016x11 + 528x12 + 799x13 + 885x14 + 785x15 + 753x16 + 656x17 + 600x18 + 633x19 + 696x20 + 629x21 + 575x22 + 764x23 + 891x24 + 896x25 + 540x26 + 666x27 + 652x28 + 1091x29 + 609x30 + 827x31 + 779x32 + 916x33 + 687x34 + 919x35 + 881x36 + 994x37 + 735x38 + 555x39 + 610x40 + 677x41 + 806x42 + 663x43 + 694x44 + 547x45 + 967x46 + 810x47 + 515x48 + 896x49 + 730x50 + 573x51 + 618x52 + 567x53 + 928x54 + 996x55 + 822x56 + 607x57 + 669x58 + 471x59 + 444x60 + 835x61 + 987x62 + 544x63 + 720x64 + 827x65 + 852x66 + 939x67 + 797x68 + 569x69 + 456x70 + 819x71 + 464x72 + 716x73 + 949x74 + 995x75 + 697x76 + 632x77 + 992x78 + 445x79 + 878x80 + 664x81 + 727x82 + 566x83 + 476x84 + 743x85 + 764x86 + 863x87 + 652x88 + 817x89 + 1003x90 + 1141x91 + 1023x92 + 899x93 + 690x94 + 744x95 + 780x96 + 820x97 + 964x98 + 392x99 + 608x100 subject to constr1: + 292x1 + 316x2 + 38x3 + 624x4 + 886x5 + 509x6 + 547x7 + 30x8 + 59x9 + 516x10 + 853x11 + 527x12 + 868x13 + 417x14 + 435x15 + 277x16 + 764x17 + 418x18 + 124x19 + 356x20 + 809x21 + 763x22 + 674x23 + 722x24 + 155x25 + 932x26 + 397x27 + 84x28 + 982x29 + 832x30 + 520x31 + 405x32 + 847x33 + 486x34 + 590x35 + 78x36 + 952x37 + 650x38 + 42x39 + 235x40 + 99x41 + 106x42 + 824x43 + 699x44 + 809x45 + 856x46 + 703x47 + 461x48 + 256x49 + 770x50 + 156x51 + 291x52 + 366x53 + 634x54 + 701x55 + 760x56 + 24x57 + 910x58 + 818x59 + 656x60 + 969x61 + 543x62 + 820x63 + 444x64 + 187x65 + 274x66 + 458x67 + 386x68 + 734x69 + 489x70 + 648x71 + 199x72 + 67x73 + 767x74 + 654x75 + 4x76 + 472x77 + 517x78 + 865x79 + 865x80 + 138x81 + 815x82 + 564x83 + 12x84 + 963x85 + 742x86 + 108x87 + 911x88 + 129x89 + 555x90 + 950x91 + 845x92 + 618x93 + 872x94 + 370x95 + 258x96 + 56x97 + 775x98 + 332x99 + 582x100 <=25934 constr2: + 936x1 + 647x2 + 61x3 + 240x4 + 690x5 + 675x6 + 190x7 + 850x8 + 905x9 + 545x10 + 296x11 + 784x12 + 768x13 + 618x14 + 861x15 + 576x16 + 33x17 + 485x18 + 759x19 + 24x20 + 36x21 + 860x22 + 545x23 + 626x24 + 625x25 + 52x26 + 25x27 + 361x28 + 198x29 + 718x30 + 314x31 + 744x32 + 719x33 + 71x34 + 243x35 + 503x36 + 73x37 + 406x38 + 625x39 + 621x40 + 612x41 + 331x42 + 101x43 + 644x44 + 348x45 + 106x46 + 438x47 + 247x48 + 230x49 + 818x50 + 709x51 + 612x52 + 851x53 + 217x54 + 770x55 + 25x56 + 302x57 + 402x58 + 370x59 + 87x60 + 965x61 + 766x62 + 853x63 + 858x64 + 466x65 + 950x66 + 648x67 + 28x68 + 86x69 + 401x70 + 799x71 + 445x72 + 250x73 + 819x74 + 880x75 + 459x76 + 149x77 + 912x78 + 568x79 + 800x80 + 900x81 + 939x82 + 279x83 + 473x84 + 981x85 + 952x86 + 138x87 + 504x88 + 186x89 + 27x90 + 788x91 + 134x92 + 14x93 + 751x94 + 44x95 + 954x96 + 713x97 + 334x98 + 229x99 + 448x100 <=24709 constr3: + 211x1 + 340x2 + 199x3 + 121x4 + 2x5 + 506x6 + 265x7 + 607x8 + 211x9 + 531x10 + 171x11 + 221x12 + 538x13 + 672x14 + 588x15 + 72x16 + 210x17 + 28x18 + 809x19 + 504x20 + 36x21 + 510x22 + 392x23 + 556x24 + 608x25 + 138x26 + 96x27 + 737x28 + 988x29 + 215x30 + 201x31 + 753x32 + 463x33 + 766x34 + 891x35 + 731x36 + 668x37 + 903x38 + 615x39 + 54x40 + 951x41 + 699x42 + 279x43 + 469x44 + 401x45 + 554x46 + 950x47 + 393x48 + 323x49 + 570x50 + 591x51 + 977x52 + 532x53 + 60x54 + 326x55 + 235x56 + 547x57 + 326x58 + 169x59 + 424x60 + 203x61 + 976x62 + 45x63 + 992x64 + 466x65 + 391x66 + 656x67 + 562x68 + 808x69 + 75x70 + 91x71 + 897x72 + 87x73 + 481x74 + 571x75 + 480x76 + 895x77 + 440x78 + 11x79 + 84x80 + 246x81 + 180x82 + 635x83 + 780x84 + 274x85 + 364x86 + 230x87 + 177x88 + 935x89 + 884x90 + 695x91 + 901x92 + 799x93 + 713x94 + 505x95 + 877x96 + 148x97 + 864x98 + 89x99 + 878x100 <=23644 constr4: + 366x1 + 869x2 + 812x3 + 520x4 + 413x5 + 181x6 + 608x7 + 165x8 + 886x9 + 738x10 + 611x11 + 385x12 + 909x13 + 18x14 + 46x15 + 583x16 + 855x17 + 430x18 + 239x19 + 751x20 + 252x21 + 315x22 + 593x23 + 873x24 + 62x25 + 843x26 + 821x27 + 176x28 + 741x29 + 232x30 + 196x31 + 918x32 + 511x33 + 686x34 + 699x35 + 740x36 + 256x37 + 966x38 + 597x39 + 182x40 + 692x41 + 105x42 + 392x43 + 128x44 + 615x45 + 251x46 + 503x47 + 963x48 + 785x49 + 515x50 + 522x51 + 381x52 + 979x53 + 220x54 + 592x55 + 948x56 + 578x57 + 565x58 + 496x59 + 16x60 + 318x61 + 944x62 + 98x63 + 900x64 + 633x65 + 941x66 + 168x67 + 659x68 + 320x69 + 172x70 + 91x71 + 625x72 + 555x73 + 285x74 + 952x75 + 505x76 + 972x77 + 679x78 + 799x79 + 776x80 + 34x81 + 730x82 + 743x83 + 387x84 + 739x85 + 670x86 + 371x87 + 478x88 + 546x89 + 864x90 + 299x91 + 655x92 + 22x93 + 151x94 + 98x95 + 14x96 + 278x97 + 370x98 + 363x99 + 278x100 <=25386 constr5: + 845x1 + 840x2 + 58x3 + 872x4 + 706x5 + 269x6 + 459x7 + 531x8 + 125x9 + 735x10 + 446x11 + 550x12 + 257x13 + 668x14 + 830x15 + 681x16 + 923x17 + 137x18 + 420x19 + 791x20 + 391x21 + 275x22 + 725x23 + 172x24 + 301x25 + 638x26 + 310x27 + 198x28 + 445x29 + 726x30 + 227x31 + 421x32 + 912x33 + 641x34 + 578x35 + 969x36 + 762x37 + 369x38 + 43x39 + 120x40 + 824x41 + 554x42 + 996x43 + 861x44 + 30x45 + 240x46 + 438x47 + 767x48 + 998x49 + 262x50 + 641x51 + 727x52 + 991x53 + 886x54 + 303x55 + 7x56 + 675x57 + 356x58 + 795x59 + 594x60 + 590x61 + 545x62 + 433x63 + 39x64 + 136x65 + 648x66 + 146x67 + 710x68 + 97x69 + 914x70 + 862x71 + 7x72 + 895x73 + 673x74 + 184x75 + 420x76 + 689x77 + 143x78 + 23x79 + 509x80 + 33x81 + 316x82 + 354x83 + 29x84 + 148x85 + 266x86 + 825x87 + 191x88 + 272x89 + 425x90 + 964x91 + 323x92 + 626x93 + 913x94 + 916x95 + 374x96 + 740x97 + 868x98 + 603x99 + 397x100 <=25279 constr6: + 473x1 + 783x2 + 341x3 + 519x4 + 465x5 + 563x6 + 627x7 + 757x8 + 955x9 + 320x10 + 771x11 + 363x12 + 637x13 + 44x14 + 225x15 + 259x16 + 652x17 + 839x18 + 347x19 + 886x20 + 221x21 + 134x22 + 103x23 + 481x24 + 847x25 + 473x26 + 646x27 + 97x28 + 255x29 + 245x30 + 669x31 + 7x32 + 873x33 + 408x34 + 631x35 + 114x36 + 966x37 + 561x38 + 820x39 + 303x40 + 771x41 + 339x42 + 128x43 + 376x44 + 259x45 + 821x46 + 28x47 + 112x48 + 681x49 + 275x50 + 884x51 + 306x52 + 792x53 + 171x54 + 917x55 + 141x56 + 79x57 + 878x58 + 317x59 + 704x60 + 278x61 + 820x62 + 15x63 + 28x64 + 737x65 + 470x66 + 917x67 + 838x68 + 207x69 + 706x70 + 605x71 + 770x72 + 536x73 + 481x74 + 575x75 + 494x76 + 650x77 + 656x78 + 491x79 + 331x80 + 403x81 + 569x82 + 253x83 + 333x84 + 259x85 + 158x86 + 686x87 + 885x88 + 297x89 + 571x90 + 889x91 + 746x92 + 482x93 + 640x94 + 587x95 + 156x96 + 193x97 + 969x98 + 879x99 + 333x100 <=24776 constr7: + 762x1 + 206x2 + 540x3 + 77x4 + 805x5 + 346x6 + 319x7 + 948x8 + 402x9 + 260x10 + 920x11 + 334x12 + 904x13 + 958x14 + 534x15 + 901x16 + 805x17 + 122x18 + 641x19 + 202x20 + 933x21 + 309x22 + 588x23 + 209x24 + 844x25 + 314x26 + 582x27 + 831x28 + 58x29 + 688x30 + 229x31 + 597x32 + 49x33 + 902x34 + 457x35 + 354x36 + 119x37 + 316x38 + 602x39 + 401x40 + 643x41 + 282x42 + 497x43 + 583x44 + 730x45 + 4x46 + 534x47 + 307x48 + 79x49 + 484x50 + 359x51 + 396x52 + 340x53 + 870x54 + 668x55 + 364x56 + 947x57 + 458x58 + 707x59 + 469x60 + 834x61 + 195x62 + 638x63 + 223x64 + 555x65 + 338x66 + 678x67 + 471x68 + 175x69 + 330x70 + 621x71 + 271x72 + 110x73 + 465x74 + 591x75 + 680x76 + 879x77 + 819x78 + 326x79 + 207x80 + 103x81 + 374x82 + 528x83 + 907x84 + 92x85 + 814x86 + 577x87 + 842x88 + 911x89 + 550x90 + 920x91 + 926x92 + 251x93 + 379x94 + 579x95 + 931x96 + 72x97 + 921x98 + 329x99 + 45x100 <=25273 constr8: + 430x1 + 105x2 + 147x3 + 172x4 + 841x5 + 793x6 + 913x7 + 271x8 + 505x9 + 762x10 + 14x11 + 82x12 + 511x13 + 552x14 + 19x15 + 222x16 + 455x17 + 19x18 + 565x19 + 172x20 + 928x21 + 240x22 + 990x23 + 338x24 + 188x25 + 607x26 + 19x27 + 497x28 + 1000x29 + 531x30 + 955x31 + 133x32 + 955x33 + 379x34 + 674x35 + 242x36 + 950x37 + 347x38 + 56x39 + 445x40 + 519x41 + 746x42 + 198x43 + 306x44 + 166x45 + 945x46 + 49x47 + 271x48 + 148x49 + 616x50 + 678x51 + 171x52 + 30x53 + 576x54 + 564x55 + 281x56 + 518x57 + 336x58 + 192x59 + 361x60 + 507x61 + 912x62 + 211x63 + 533x64 + 814x65 + 208x66 + 963x67 + 279x68 + 620x69 + 142x70 + 260x71 + 35x72 + 986x73 + 1x74 + 205x75 + 80x76 + 76x77 + 649x78 + 250x79 + 957x80 + 43x81 + 51x82 + 621x83 + 317x84 + 554x85 + 77x86 + 707x87 + 74x88 + 31x89 + 37x90 + 56x91 + 251x92 + 370x93 + 746x94 + 938x95 + 790x96 + 527x97 + 663x98 + 270x99 + 140x100 <=20823 constr9: + 339x1 + 667x2 + 877x3 + 847x4 + 656x5 + 10x6 + 932x7 + 732x8 + 785x9 + 929x10 + 830x11 + 928x12 + 772x13 + 788x14 + 969x15 + 147x16 + 907x17 + 359x18 + 363x19 + 15x20 + 977x21 + 735x22 + 371x23 + 23x24 + 436x25 + 878x26 + 784x27 + 888x28 + 766x29 + 368x30 + 114x31 + 577x32 + 435x33 + 969x34 + 442x35 + 898x36 + 507x37 + 571x38 + 698x39 + 878x40 + 909x41 + 216x42 + 948x43 + 807x44 + 120x45 + 611x46 + 955x47 + 557x48 + 337x49 + 743x50 + 588x51 + 607x52 + 522x53 + 469x54 + 395x55 + 661x56 + 89x57 + 558x58 + 348x59 + 555x60 + 428x61 + 732x62 + 48x63 + 398x64 + 77x65 + 337x66 + 300x67 + 180x68 + 202x69 + 500x70 + 928x71 + 797x72 + 137x73 + 343x74 + 109x75 + 196x76 + 558x77 + 553x78 + 379x79 + 803x80 + 396x81 + 949x82 + 85x83 + 329x84 + 60x85 + 599x86 + 342x87 + 205x88 + 321x89 + 970x90 + 808x91 + 263x92 + 632x93 + 714x94 + 584x95 + 771x96 + 432x97 + 458x98 + 747x99 + 965x100 <=27399 constr10: + 93x1 + 165x2 + 238x3 + 363x4 + 996x5 + 309x6 + 696x7 + 133x8 + 549x9 + 734x10 + 769x11 + 501x12 + 940x13 + 631x14 + 439x15 + 943x16 + 903x17 + 270x18 + 764x19 + 823x20 + 428x21 + 696x22 + 753x23 + 692x24 + 114x25 + 291x26 + 33x27 + 760x28 + 580x29 + 188x30 + 422x31 + 429x32 + 220x33 + 487x34 + 508x35 + 271x36 + 550x37 + 515x38 + 742x39 + 940x40 + 711x41 + 521x42 + 220x43 + 859x44 + 434x45 + 311x46 + 114x47 + 111x48 + 353x49 + 873x50 + 175x51 + 275x52 + 11x53 + 491x54 + 658x55 + 730x56 + 370x57 + 990x58 + 204x59 + 485x60 + 833x61 + 248x62 + 614x63 + 260x64 + 80x65 + 866x66 + 649x67 + 113x68 + 471x69 + 832x70 + 391x71 + 375x72 + 348x73 + 834x74 + 485x75 + 677x76 + 108x77 + 213x78 + 453x79 + 10x80 + 867x81 + 657x82 + 581x83 + 448x84 + 45x85 + 736x86 + 873x87 + 545x88 + 584x89 + 892x90 + 401x91 + 426x92 + 879x93 + 829x94 + 722x95 + 890x96 + 623x97 + 325x98 + 70x99 + 768x100 <=25398 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