maximize objective: + 855x1 + 1005x2 + 509x3 + 1046x4 + 983x5 + 754x6 + 732x7 + 713x8 + 674x9 + 975x10 + 590x11 + 909x12 + 741x13 + 627x14 + 568x15 + 977x16 + 363x17 + 861x18 + 941x19 + 916x20 + 738x21 + 977x22 + 188x23 + 677x24 + 778x25 + 536x26 + 920x27 + 820x28 + 747x29 + 586x30 + 602x31 + 775x32 + 632x33 + 847x34 + 780x35 + 1018x36 + 697x37 + 821x38 + 789x39 + 1040x40 + 813x41 + 607x42 + 408x43 + 584x44 + 735x45 + 705x46 + 421x47 + 979x48 + 584x49 + 413x50 + 803x51 + 310x52 + 1024x53 + 1044x54 + 800x55 + 825x56 + 476x57 + 693x58 + 496x59 + 629x60 + 848x61 + 819x62 + 770x63 + 480x64 + 602x65 + 800x66 + 1108x67 + 555x68 + 682x69 + 670x70 + 875x71 + 843x72 + 489x73 + 775x74 + 628x75 + 955x76 + 892x77 + 760x78 + 1141x79 + 558x80 + 732x81 + 782x82 + 971x83 + 393x84 + 987x85 + 860x86 + 1059x87 + 651x88 + 731x89 + 727x90 + 1130x91 + 545x92 + 723x93 + 990x94 + 486x95 + 575x96 + 703x97 + 979x98 + 613x99 + 945x100 subject to constr1: + 919x1 + 752x2 + 389x3 + 678x4 + 803x5 + 595x6 + 171x7 + 211x8 + 52x9 + 449x10 + 38x11 + 658x12 + 673x13 + 470x14 + 256x15 + 447x16 + 834x17 + 329x18 + 937x19 + 998x20 + 325x21 + 918x22 + 33x23 + 576x24 + 448x25 + 118x26 + 825x27 + 928x28 + 306x29 + 393x30 + 53x31 + 100x32 + 535x33 + 495x34 + 794x35 + 659x36 + 951x37 + 705x38 + 232x39 + 627x40 + 566x41 + 163x42 + 438x43 + 408x44 + 329x45 + 638x46 + 7x47 + 892x48 + 965x49 + 6x50 + 648x51 + 10x52 + 624x53 + 848x54 + 958x55 + 360x56 + 828x57 + 514x58 + 266x59 + 983x60 + 335x61 + 368x62 + 77x63 + 124x64 + 84x65 + 42x66 + 993x67 + 116x68 + 95x69 + 6x70 + 957x71 + 946x72 + 18x73 + 670x74 + 846x75 + 248x76 + 746x77 + 194x78 + 573x79 + 30x80 + 393x81 + 420x82 + 573x83 + 285x84 + 434x85 + 430x86 + 657x87 + 947x88 + 791x89 + 147x90 + 296x91 + 332x92 + 722x93 + 927x94 + 135x95 + 69x96 + 453x97 + 728x98 + 818x99 + 352x100 <=36381 constr2: + 866x1 + 178x2 + 155x3 + 678x4 + 969x5 + 371x6 + 686x7 + 424x8 + 829x9 + 867x10 + 330x11 + 908x12 + 781x13 + 305x14 + 376x15 + 664x16 + 204x17 + 13x18 + 809x19 + 191x20 + 288x21 + 130x22 + 17x23 + 215x24 + 106x25 + 392x26 + 861x27 + 478x28 + 154x29 + 458x30 + 693x31 + 439x32 + 296x33 + 548x34 + 682x35 + 793x36 + 994x37 + 930x38 + 46x39 + 26x40 + 113x41 + 337x42 + 398x43 + 262x44 + 650x45 + 662x46 + 777x47 + 986x48 + 317x49 + 136x50 + 141x51 + 638x52 + 519x53 + 679x54 + 198x55 + 334x56 + 224x57 + 961x58 + 93x59 + 279x60 + 948x61 + 632x62 + 938x63 + 58x64 + 586x65 + 325x66 + 602x67 + 946x68 + 686x69 + 274x70 + 534x71 + 213x72 + 606x73 + 859x74 + 105x75 + 980x76 + 767x77 + 523x78 + 623x79 + 3x80 + 326x81 + 445x82 + 822x83 + 55x84 + 773x85 + 665x86 + 895x87 + 2x88 + 283x89 + 250x90 + 881x91 + 393x92 + 842x93 + 609x94 + 161x95 + 191x96 + 639x97 + 364x98 + 418x99 + 481x100 <=36418 constr3: + 956x1 + 828x2 + 958x3 + 985x4 + 645x5 + 338x6 + 755x7 + 479x8 + 453x9 + 647x10 + 588x11 + 467x12 + 414x13 + 237x14 + 229x15 + 899x16 + 50x17 + 65x18 + 292x19 + 908x20 + 588x21 + 221x22 + 551x23 + 890x24 + 701x25 + 318x26 + 865x27 + 432x28 + 224x29 + 867x30 + 684x31 + 967x32 + 501x33 + 48x34 + 646x35 + 110x36 + 574x37 + 557x38 + 628x39 + 789x40 + 579x41 + 595x42 + 471x43 + 738x44 + 469x45 + 920x46 + 248x47 + 312x48 + 204x49 + 814x50 + 932x51 + 203x52 + 146x53 + 480x54 + 872x55 + 68x56 + 404x57 + 415x58 + 380x59 + 372x60 + 44x61 + 215x62 + 87x63 + 122x64 + 800x65 + 350x66 + 822x67 + 965x68 + 63x69 + 950x70 + 747x71 + 936x72 + 265x73 + 118x74 + 663x75 + 481x76 + 12x77 + 781x78 + 976x79 + 128x80 + 878x81 + 578x82 + 953x83 + 719x84 + 901x85 + 515x86 + 588x87 + 910x88 + 616x89 + 588x90 + 928x91 + 515x92 + 972x93 + 371x94 + 899x95 + 660x96 + 885x97 + 949x98 + 302x99 + 997x100 <=42169 constr4: + 27x1 + 827x2 + 346x3 + 631x4 + 720x5 + 306x6 + 918x7 + 662x8 + 730x9 + 757x10 + 253x11 + 633x12 + 725x13 + 355x14 + 82x15 + 520x16 + 430x17 + 696x18 + 420x19 + 856x20 + 784x21 + 716x22 + 23x23 + 830x24 + 279x25 + 245x26 + 759x27 + 444x28 + 269x29 + 558x30 + 725x31 + 957x32 + 471x33 + 613x34 + 400x35 + 506x36 + 399x37 + 437x38 + 578x39 + 627x40 + 784x41 + 432x42 + 360x43 + 573x44 + 188x45 + 337x46 + 942x47 + 279x48 + 709x49 + 37x50 + 598x51 + 498x52 + 908x53 + 784x54 + 71x55 + 963x56 + 405x57 + 558x58 + 357x59 + 562x60 + 856x61 + 384x62 + 397x63 + 439x64 + 109x65 + 379x66 + 92x67 + 186x68 + 79x69 + 591x70 + 580x71 + 487x72 + 893x73 + 733x74 + 855x75 + 612x76 + 24x77 + 750x78 + 679x79 + 738x80 + 416x81 + 898x82 + 27x83 + 189x84 + 773x85 + 967x86 + 841x87 + 28x88 + 727x89 + 214x90 + 355x91 + 22x92 + 492x93 + 668x94 + 908x95 + 339x96 + 821x97 + 846x98 + 352x99 + 445x100 <=39038 constr5: + 551x1 + 578x2 + 221x3 + 195x4 + 786x5 + 5x6 + 970x7 + 868x8 + 243x9 + 80x10 + 868x11 + 483x12 + 634x13 + 825x14 + 891x15 + 431x16 + 179x17 + 706x18 + 158x19 + 48x20 + 252x21 + 996x22 + 91x23 + 825x24 + 116x25 + 146x26 + 980x27 + 855x28 + 886x29 + 78x30 + 314x31 + 517x32 + 928x33 + 236x34 + 923x35 + 773x36 + 54x37 + 936x38 + 219x39 + 687x40 + 941x41 + 543x42 + 140x43 + 865x44 + 840x45 + 472x46 + 45x47 + 418x48 + 12x49 + 473x50 + 972x51 + 47x52 + 925x53 + 801x54 + 179x55 + 121x56 + 445x57 + 282x58 + 923x59 + 565x60 + 752x61 + 554x62 + 859x63 + 89x64 + 569x65 + 902x66 + 935x67 + 551x68 + 457x69 + 397x70 + 17x71 + 795x72 + 460x73 + 925x74 + 488x75 + 844x76 + 917x77 + 608x78 + 859x79 + 101x80 + 179x81 + 468x82 + 596x83 + 193x84 + 858x85 + 405x86 + 677x87 + 520x88 + 985x89 + 107x90 + 947x91 + 812x92 + 268x93 + 636x94 + 76x95 + 537x96 + 154x97 + 407x98 + 329x99 + 696x100 <=39353 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