maximize objective: + 654x1 + 668x2 + 929x3 + 879x4 + 767x5 + 517x6 + 343x7 + 571x8 + 788x9 + 493x10 + 635x11 + 900x12 + 961x13 + 765x14 + 650x15 + 426x16 + 786x17 + 655x18 + 907x19 + 852x20 + 615x21 + 764x22 + 600x23 + 879x24 + 524x25 + 920x26 + 652x27 + 636x28 + 842x29 + 706x30 + 630x31 + 828x32 + 883x33 + 595x34 + 1029x35 + 757x36 + 903x37 + 516x38 + 647x39 + 427x40 + 1059x41 + 833x42 + 560x43 + 766x44 + 900x45 + 680x46 + 519x47 + 671x48 + 594x49 + 1092x50 + 601x51 + 407x52 + 897x53 + 770x54 + 727x55 + 503x56 + 605x57 + 820x58 + 882x59 + 585x60 + 938x61 + 834x62 + 701x63 + 513x64 + 1024x65 + 575x66 + 720x67 + 763x68 + 650x69 + 530x70 + 710x71 + 772x72 + 637x73 + 608x74 + 393x75 + 817x76 + 720x77 + 1085x78 + 735x79 + 917x80 + 514x81 + 515x82 + 717x83 + 1109x84 + 698x85 + 900x86 + 729x87 + 534x88 + 608x89 + 633x90 + 558x91 + 947x92 + 1128x93 + 586x94 + 991x95 + 998x96 + 724x97 + 653x98 + 766x99 + 722x100 subject to constr1: + 22x1 + 941x2 + 982x3 + 821x4 + 7x5 + 16x6 + 471x7 + 932x8 + 107x9 + 465x10 + 692x11 + 528x12 + 391x13 + 431x14 + 442x15 + 68x16 + 183x17 + 642x18 + 784x19 + 554x20 + 4x21 + 723x22 + 334x23 + 683x24 + 219x25 + 708x26 + 102x27 + 878x28 + 286x29 + 167x30 + 149x31 + 977x32 + 574x33 + 624x34 + 984x35 + 99x36 + 447x37 + 945x38 + 814x39 + 454x40 + 617x41 + 865x42 + 482x43 + 333x44 + 887x45 + 244x46 + 669x47 + 105x48 + 26x49 + 592x50 + 277x51 + 76x52 + 372x53 + 565x54 + 408x55 + 345x56 + 524x57 + 786x58 + 406x59 + 441x60 + 20x61 + 704x62 + 217x63 + 167x64 + 748x65 + 151x66 + 518x67 + 606x68 + 596x69 + 170x70 + 369x71 + 184x72 + 491x73 + 364x74 + 874x75 + 317x76 + 235x77 + 975x78 + 481x79 + 901x80 + 225x81 + 320x82 + 786x83 + 678x84 + 613x85 + 252x86 + 529x87 + 652x88 + 70x89 + 816x90 + 284x91 + 468x92 + 482x93 + 691x94 + 683x95 + 591x96 + 128x97 + 53x98 + 664x99 + 431x100 <=23587 constr2: + 807x1 + 44x2 + 590x3 + 202x4 + 410x5 + 979x6 + 268x7 + 9x8 + 250x9 + 217x10 + 326x11 + 191x12 + 753x13 + 833x14 + 303x15 + 370x16 + 816x17 + 191x18 + 641x19 + 412x20 + 240x21 + 982x22 + 432x23 + 22x24 + 304x25 + 161x26 + 793x27 + 169x28 + 619x29 + 888x30 + 630x31 + 268x32 + 671x33 + 495x34 + 679x35 + 508x36 + 998x37 + 453x38 + 423x39 + 7x40 + 452x41 + 441x42 + 92x43 + 703x44 + 677x45 + 476x46 + 484x47 + 535x48 + 235x49 + 671x50 + 432x51 + 119x52 + 738x53 + 659x54 + 673x55 + 7x56 + 589x57 + 26x58 + 613x59 + 437x60 + 141x61 + 945x62 + 752x63 + 655x64 + 108x65 + 634x66 + 578x67 + 95x68 + 501x69 + 99x70 + 229x71 + 289x72 + 994x73 + 1000x74 + 179x75 + 390x76 + 770x77 + 785x78 + 577x79 + 94x80 + 529x81 + 92x82 + 797x83 + 727x84 + 53x85 + 24x86 + 193x87 + 168x88 + 73x89 + 310x90 + 109x91 + 924x92 + 628x93 + 80x94 + 190x95 + 663x96 + 279x97 + 454x98 + 904x99 + 106x100 <=22266 constr3: + 417x1 + 957x2 + 629x3 + 830x4 + 195x5 + 358x6 + 194x7 + 354x8 + 898x9 + 96x10 + 886x11 + 269x12 + 824x13 + 501x14 + 914x15 + 107x16 + 689x17 + 981x18 + 231x19 + 551x20 + 661x21 + 220x22 + 762x23 + 612x24 + 107x25 + 572x26 + 928x27 + 204x28 + 976x29 + 59x30 + 786x31 + 909x32 + 794x33 + 26x34 + 694x35 + 982x36 + 312x37 + 163x38 + 723x39 + 157x40 + 709x41 + 472x42 + 379x43 + 894x44 + 576x45 + 595x46 + 94x47 + 587x48 + 469x49 + 697x50 + 154x51 + 742x52 + 193x53 + 773x54 + 796x55 + 639x56 + 615x57 + 270x58 + 845x59 + 726x60 + 390x61 + 200x62 + 862x63 + 328x64 + 927x65 + 411x66 + 857x67 + 866x68 + 232x69 + 638x70 + 93x71 + 814x72 + 402x73 + 10x74 + 79x75 + 336x76 + 481x77 + 414x78 + 232x79 + 951x80 + 233x81 + 605x82 + 227x83 + 932x84 + 139x85 + 937x86 + 875x87 + 132x88 + 210x89 + 286x90 + 415x91 + 54x92 + 649x93 + 742x94 + 677x95 + 571x96 + 969x97 + 640x98 + 375x99 + 976x100 <=26460 constr4: + 779x1 + 424x2 + 839x3 + 29x4 + 425x5 + 301x6 + 140x7 + 571x8 + 101x9 + 181x10 + 362x11 + 439x12 + 142x13 + 401x14 + 467x15 + 385x16 + 910x17 + 23x18 + 407x19 + 139x20 + 268x21 + 691x22 + 933x23 + 546x24 + 50x25 + 965x26 + 55x27 + 606x28 + 319x29 + 41x30 + 630x31 + 346x32 + 946x33 + 41x34 + 475x35 + 194x36 + 547x37 + 202x38 + 536x39 + 343x40 + 697x41 + 697x42 + 794x43 + 676x44 + 603x45 + 44x46 + 88x47 + 669x48 + 311x49 + 992x50 + 8x51 + 165x52 + 716x53 + 590x54 + 590x55 + 636x56 + 288x57 + 260x58 + 28x59 + 322x60 + 929x61 + 437x62 + 599x63 + 79x64 + 892x65 + 120x66 + 255x67 + 158x68 + 319x69 + 297x70 + 373x71 + 540x72 + 399x73 + 946x74 + 282x75 + 813x76 + 576x77 + 455x78 + 595x79 + 193x80 + 320x81 + 916x82 + 574x83 + 632x84 + 963x85 + 351x86 + 636x87 + 827x88 + 228x89 + 669x90 + 836x91 + 294x92 + 768x93 + 917x94 + 851x95 + 351x96 + 642x97 + 942x98 + 645x99 + 455x100 <=23724 constr5: + 846x1 + 738x2 + 345x3 + 51x4 + 806x5 + 255x6 + 88x7 + 385x8 + 574x9 + 122x10 + 620x11 + 899x12 + 617x13 + 50x14 + 905x15 + 190x16 + 271x17 + 605x18 + 213x19 + 695x20 + 133x21 + 805x22 + 230x23 + 322x24 + 123x25 + 833x26 + 312x27 + 410x28 + 691x29 + 435x30 + 851x31 + 79x32 + 247x33 + 636x34 + 742x35 + 371x36 + 383x37 + 370x38 + 685x39 + 387x40 + 661x41 + 260x42 + 388x43 + 573x44 + 209x45 + 227x46 + 313x47 + 406x48 + 155x49 + 713x50 + 522x51 + 657x52 + 972x53 + 7x54 + 172x55 + 358x56 + 299x57 + 496x58 + 271x59 + 344x60 + 936x61 + 638x62 + 290x63 + 709x64 + 426x65 + 600x66 + 978x67 + 532x68 + 530x69 + 376x70 + 754x71 + 800x72 + 148x73 + 350x74 + 249x75 + 838x76 + 344x77 + 927x78 + 622x79 + 840x80 + 908x81 + 67x82 + 660x83 + 895x84 + 576x85 + 953x86 + 365x87 + 347x88 + 919x89 + 555x90 + 608x91 + 546x92 + 672x93 + 241x94 + 122x95 + 481x96 + 840x97 + 806x98 + 526x99 + 710x100 <=25004 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