maximize objective: + 757x1 + 679x2 + 852x3 + 1225x4 + 770x5 + 282x6 + 783x7 + 934x8 + 760x9 + 1133x10 + 627x11 + 598x12 + 672x13 + 558x14 + 1057x15 + 569x16 + 961x17 + 1086x18 + 715x19 + 715x20 + 825x21 + 532x22 + 682x23 + 823x24 + 687x25 + 499x26 + 907x27 + 639x28 + 598x29 + 991x30 + 615x31 + 840x32 + 647x33 + 637x34 + 1169x35 + 842x36 + 666x37 + 1048x38 + 596x39 + 807x40 + 677x41 + 729x42 + 616x43 + 921x44 + 371x45 + 907x46 + 900x47 + 851x48 + 598x49 + 726x50 + 708x51 + 646x52 + 754x53 + 1019x54 + 817x55 + 481x56 + 666x57 + 745x58 + 824x59 + 474x60 + 569x61 + 916x62 + 756x63 + 628x64 + 441x65 + 894x66 + 1053x67 + 770x68 + 881x69 + 631x70 + 856x71 + 700x72 + 678x73 + 722x74 + 944x75 + 963x76 + 502x77 + 538x78 + 627x79 + 862x80 + 816x81 + 904x82 + 984x83 + 565x84 + 803x85 + 374x86 + 564x87 + 623x88 + 878x89 + 1038x90 + 384x91 + 672x92 + 892x93 + 843x94 + 736x95 + 667x96 + 937x97 + 909x98 + 1000x99 + 443x100 subject to constr1: + 356x1 + 787x2 + 241x3 + 469x4 + 507x5 + 6x6 + 152x7 + 603x8 + 384x9 + 715x10 + 832x11 + 370x12 + 725x13 + 95x14 + 75x15 + 433x16 + 914x17 + 945x18 + 71x19 + 91x20 + 810x21 + 95x22 + 162x23 + 52x24 + 140x25 + 386x26 + 645x27 + 75x28 + 11x29 + 992x30 + 440x31 + 508x32 + 252x33 + 589x34 + 769x35 + 906x36 + 603x37 + 569x38 + 636x39 + 15x40 + 516x41 + 696x42 + 122x43 + 196x44 + 618x45 + 956x46 + 977x47 + 831x48 + 418x49 + 683x50 + 510x51 + 151x52 + 245x53 + 96x54 + 197x55 + 657x56 + 88x57 + 346x58 + 453x59 + 416x60 + 595x61 + 566x62 + 308x63 + 398x64 + 715x65 + 429x66 + 741x67 + 141x68 + 447x69 + 389x70 + 948x71 + 139x72 + 173x73 + 113x74 + 901x75 + 97x76 + 59x77 + 896x78 + 496x79 + 339x80 + 229x81 + 254x82 + 173x83 + 397x84 + 945x85 + 573x86 + 999x87 + 754x88 + 828x89 + 145x90 + 403x91 + 804x92 + 802x93 + 38x94 + 324x95 + 906x96 + 344x97 + 98x98 + 365x99 + 100x100 <=33727 constr2: + 98x1 + 162x2 + 286x3 + 976x4 + 819x5 + 245x6 + 467x7 + 978x8 + 31x9 + 619x10 + 56x11 + 453x12 + 106x13 + 467x14 + 948x15 + 676x16 + 399x17 + 351x18 + 24x19 + 607x20 + 528x21 + 928x22 + 86x23 + 143x24 + 201x25 + 89x26 + 482x27 + 336x28 + 595x29 + 653x30 + 441x31 + 785x32 + 777x33 + 767x34 + 828x35 + 748x36 + 628x37 + 637x38 + 171x39 + 510x40 + 455x41 + 244x42 + 521x43 + 589x44 + 130x45 + 626x46 + 315x47 + 909x48 + 567x49 + 62x50 + 936x51 + 401x52 + 445x53 + 103x54 + 920x55 + 409x56 + 296x57 + 511x58 + 820x59 + 984x60 + 405x61 + 182x62 + 897x63 + 803x64 + 110x65 + 661x66 + 724x67 + 369x68 + 867x69 + 329x70 + 724x71 + 205x72 + 418x73 + 236x74 + 266x75 + 852x76 + 396x77 + 66x78 + 346x79 + 854x80 + 503x81 + 521x82 + 607x83 + 7x84 + 83x85 + 342x86 + 143x87 + 651x88 + 990x89 + 975x90 + 51x91 + 67x92 + 29x93 + 732x94 + 485x95 + 298x96 + 889x97 + 948x98 + 871x99 + 206x100 <=36339 constr3: + 581x1 + 89x2 + 968x3 + 879x4 + 409x5 + 474x6 + 877x7 + 569x8 + 320x9 + 853x10 + 241x11 + 577x12 + 970x13 + 889x14 + 652x15 + 753x16 + 497x17 + 812x18 + 661x19 + 219x20 + 355x21 + 34x22 + 863x23 + 720x24 + 508x25 + 152x26 + 317x27 + 254x28 + 73x29 + 915x30 + 837x31 + 315x32 + 604x33 + 484x34 + 797x35 + 956x36 + 315x37 + 952x38 + 681x39 + 988x40 + 799x41 + 80x42 + 559x43 + 677x44 + 125x45 + 510x46 + 665x47 + 191x48 + 63x49 + 946x50 + 432x51 + 75x52 + 632x53 + 887x54 + 456x55 + 71x56 + 433x57 + 18x58 + 864x59 + 191x60 + 22x61 + 659x62 + 702x63 + 440x64 + 784x65 + 579x66 + 5x67 + 628x68 + 728x69 + 308x70 + 213x71 + 581x72 + 353x73 + 342x74 + 150x75 + 666x76 + 66x77 + 303x78 + 212x79 + 25x80 + 638x81 + 440x82 + 778x83 + 178x84 + 460x85 + 80x86 + 470x87 + 400x88 + 645x89 + 937x90 + 192x91 + 6x92 + 801x93 + 692x94 + 58x95 + 14x96 + 56x97 + 933x98 + 438x99 + 928x100 <=36746 constr4: + 873x1 + 526x2 + 987x3 + 972x4 + 444x5 + 493x6 + 293x7 + 520x8 + 521x9 + 605x10 + 607x11 + 184x12 + 933x13 + 485x14 + 609x15 + 401x16 + 416x17 + 107x18 + 289x19 + 747x20 + 71x21 + 246x22 + 723x23 + 362x24 + 337x25 + 174x26 + 401x27 + 691x28 + 836x29 + 371x30 + 609x31 + 263x32 + 142x33 + 544x34 + 489x35 + 777x36 + 163x37 + 886x38 + 323x39 + 359x40 + 385x41 + 632x42 + 600x43 + 515x44 + 372x45 + 770x46 + 966x47 + 614x48 + 243x49 + 41x50 + 41x51 + 1x52 + 887x53 + 849x54 + 707x55 + 763x56 + 495x57 + 376x58 + 275x59 + 49x60 + 629x61 + 749x62 + 550x63 + 505x64 + 94x65 + 104x66 + 721x67 + 765x68 + 75x69 + 369x70 + 170x71 + 840x72 + 258x73 + 480x74 + 689x75 + 90x76 + 4x77 + 783x78 + 481x79 + 763x80 + 317x81 + 833x82 + 526x83 + 345x84 + 590x85 + 73x86 + 286x87 + 553x88 + 306x89 + 219x90 + 128x91 + 119x92 + 722x93 + 115x94 + 726x95 + 438x96 + 457x97 + 903x98 + 353x99 + 463x100 <=35213 constr5: + 70x1 + 357x2 + 888x3 + 458x4 + 373x5 + 124x6 + 344x7 + 901x8 + 357x9 + 972x10 + 610x11 + 167x12 + 183x13 + 620x14 + 592x15 + 579x16 + 459x17 + 815x18 + 430x19 + 613x20 + 971x21 + 734x22 + 456x23 + 389x24 + 652x25 + 620x26 + 655x27 + 383x28 + 127x29 + 212x30 + 570x31 + 247x32 + 52x33 + 691x34 + 894x35 + 13x36 + 593x37 + 653x38 + 782x39 + 396x40 + 510x41 + 584x42 + 705x43 + 914x44 + 89x45 + 114x46 + 991x47 + 263x48 + 791x49 + 467x50 + 465x51 + 429x52 + 89x53 + 834x54 + 658x55 + 268x56 + 42x57 + 73x58 + 450x59 + 730x60 + 170x61 + 488x62 + 532x63 + 21x64 + 244x65 + 547x66 + 660x67 + 377x68 + 23x69 + 338x70 + 427x71 + 712x72 + 95x73 + 364x74 + 942x75 + 932x76 + 913x77 + 210x78 + 522x79 + 341x80 + 201x81 + 148x82 + 544x83 + 27x84 + 428x85 + 615x86 + 184x87 + 618x88 + 764x89 + 618x90 + 119x91 + 409x92 + 511x93 + 995x94 + 607x95 + 377x96 + 886x97 + 292x98 + 555x99 + 262x100 <=35615 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