maximize objective: + 877x1 + 485x2 + 931x3 + 957x4 + 693x5 + 451x6 + 930x7 + 406x8 + 736x9 + 668x10 + 846x11 + 941x12 + 795x13 + 832x14 + 599x15 + 703x16 + 559x17 + 711x18 + 876x19 + 727x20 + 703x21 + 616x22 + 906x23 + 686x24 + 527x25 + 1017x26 + 718x27 + 473x28 + 984x29 + 925x30 + 839x31 + 614x32 + 803x33 + 812x34 + 596x35 + 759x36 + 1061x37 + 624x38 + 532x39 + 906x40 + 533x41 + 318x42 + 683x43 + 607x44 + 924x45 + 939x46 + 934x47 + 739x48 + 682x49 + 753x50 + 524x51 + 881x52 + 994x53 + 874x54 + 1056x55 + 682x56 + 867x57 + 660x58 + 594x59 + 848x60 + 733x61 + 924x62 + 447x63 + 383x64 + 602x65 + 863x66 + 831x67 + 986x68 + 740x69 + 607x70 + 826x71 + 668x72 + 585x73 + 1005x74 + 926x75 + 831x76 + 608x77 + 760x78 + 582x79 + 794x80 + 616x81 + 896x82 + 564x83 + 770x84 + 918x85 + 792x86 + 616x87 + 771x88 + 336x89 + 900x90 + 749x91 + 485x92 + 758x93 + 727x94 + 619x95 + 725x96 + 664x97 + 883x98 + 883x99 + 871x100 subject to constr1: + 504x1 + 793x2 + 417x3 + 431x4 + 998x5 + 431x6 + 371x7 + 636x8 + 239x9 + 361x10 + 408x11 + 766x12 + 184x13 + 145x14 + 66x15 + 900x16 + 599x17 + 362x18 + 301x19 + 846x20 + 103x21 + 819x22 + 382x23 + 917x24 + 156x25 + 977x26 + 314x27 + 68x28 + 822x29 + 68x30 + 896x31 + 111x32 + 93x33 + 757x34 + 679x35 + 22x36 + 825x37 + 781x38 + 165x39 + 727x40 + 750x41 + 372x42 + 988x43 + 254x44 + 945x45 + 995x46 + 77x47 + 158x48 + 222x49 + 371x50 + 482x51 + 325x52 + 333x53 + 674x54 + 421x55 + 409x56 + 480x57 + 673x58 + 665x59 + 516x60 + 334x61 + 454x62 + 204x63 + 232x64 + 12x65 + 274x66 + 705x67 + 627x68 + 352x69 + 858x70 + 407x71 + 401x72 + 357x73 + 406x74 + 556x75 + 188x76 + 381x77 + 924x78 + 575x79 + 188x80 + 178x81 + 890x82 + 696x83 + 206x84 + 675x85 + 293x86 + 768x87 + 679x88 + 376x89 + 868x90 + 63x91 + 813x92 + 548x93 + 275x94 + 177x95 + 521x96 + 804x97 + 664x98 + 904x99 + 422x100 <=12201 constr2: + 923x1 + 48x2 + 745x3 + 889x4 + 123x5 + 864x6 + 142x7 + 118x8 + 643x9 + 67x10 + 582x11 + 966x12 + 164x13 + 206x14 + 406x15 + 386x16 + 130x17 + 604x18 + 238x19 + 487x20 + 978x21 + 778x22 + 980x23 + 383x24 + 424x25 + 826x26 + 857x27 + 634x28 + 781x29 + 952x30 + 28x31 + 97x32 + 499x33 + 55x34 + 322x35 + 479x36 + 720x37 + 81x38 + 659x39 + 573x40 + 804x41 + 112x42 + 691x43 + 756x44 + 947x45 + 543x46 + 726x47 + 346x48 + 920x49 + 784x50 + 840x51 + 952x52 + 960x53 + 92x54 + 767x55 + 89x56 + 914x57 + 188x58 + 313x59 + 283x60 + 167x61 + 794x62 + 13x63 + 83x64 + 30x65 + 366x66 + 315x67 + 354x68 + 357x69 + 793x70 + 131x71 + 58x72 + 390x73 + 228x74 + 686x75 + 254x76 + 599x77 + 294x78 + 878x79 + 932x80 + 959x81 + 632x82 + 846x83 + 788x84 + 369x85 + 361x86 + 657x87 + 309x88 + 123x89 + 688x90 + 116x91 + 308x92 + 187x93 + 549x94 + 906x95 + 252x96 + 158x97 + 485x98 + 860x99 + 524x100 <=12416 constr3: + 80x1 + 905x2 + 997x3 + 283x4 + 851x5 + 206x6 + 918x7 + 212x8 + 32x9 + 483x10 + 734x11 + 809x12 + 614x13 + 661x14 + 327x15 + 65x16 + 485x17 + 841x18 + 761x19 + 394x20 + 377x21 + 510x22 + 96x23 + 141x24 + 136x25 + 209x26 + 637x27 + 451x28 + 442x29 + 237x30 + 892x31 + 123x32 + 243x33 + 25x34 + 810x35 + 705x36 + 857x37 + 319x38 + 700x39 + 510x40 + 462x41 + 69x42 + 280x43 + 545x44 + 173x45 + 702x46 + 317x47 + 449x48 + 732x49 + 190x50 + 73x51 + 135x52 + 158x53 + 783x54 + 814x55 + 341x56 + 686x57 + 934x58 + 11x59 + 810x60 + 202x61 + 461x62 + 844x63 + 345x64 + 805x65 + 855x66 + 769x67 + 756x68 + 770x69 + 390x70 + 376x71 + 315x72 + 945x73 + 180x74 + 146x75 + 756x76 + 148x77 + 139x78 + 645x79 + 962x80 + 71x81 + 461x82 + 231x83 + 838x84 + 937x85 + 26x86 + 397x87 + 294x88 + 509x89 + 53x90 + 719x91 + 128x92 + 607x93 + 550x94 + 412x95 + 44x96 + 494x97 + 806x98 + 420x99 + 844x100 <=11848 constr4: + 870x1 + 28x2 + 785x3 + 997x4 + 610x5 + 345x6 + 845x7 + 731x8 + 972x9 + 605x10 + 106x11 + 989x12 + 301x13 + 648x14 + 987x15 + 14x16 + 107x17 + 240x18 + 166x19 + 975x20 + 885x21 + 62x22 + 863x23 + 180x24 + 119x25 + 447x26 + 19x27 + 365x28 + 646x29 + 683x30 + 257x31 + 353x32 + 427x33 + 160x34 + 568x35 + 442x36 + 352x37 + 795x38 + 768x39 + 499x40 + 299x41 + 587x42 + 290x43 + 739x44 + 525x45 + 910x46 + 511x47 + 918x48 + 514x49 + 208x50 + 9x51 + 487x52 + 934x53 + 624x54 + 892x55 + 24x56 + 820x57 + 345x58 + 658x59 + 349x60 + 902x61 + 1000x62 + 585x63 + 875x64 + 635x65 + 730x66 + 789x67 + 436x68 + 211x69 + 91x70 + 956x71 + 71x72 + 939x73 + 518x74 + 518x75 + 546x76 + 921x77 + 40x78 + 313x79 + 15x80 + 464x81 + 35x82 + 774x83 + 296x84 + 545x85 + 803x86 + 133x87 + 618x88 + 549x89 + 523x90 + 745x91 + 626x92 + 740x93 + 365x94 + 891x95 + 514x96 + 372x97 + 467x98 + 615x99 + 353x100 <=13093 constr5: + 763x1 + 568x2 + 561x3 + 430x4 + 459x5 + 221x6 + 910x7 + 339x8 + 505x9 + 765x10 + 322x11 + 746x12 + 179x13 + 840x14 + 340x15 + 152x16 + 981x17 + 832x18 + 99x19 + 971x20 + 762x21 + 741x22 + 799x23 + 421x24 + 178x25 + 89x26 + 776x27 + 582x28 + 208x29 + 882x30 + 639x31 + 395x32 + 888x33 + 123x34 + 383x35 + 304x36 + 812x37 + 233x38 + 777x39 + 638x40 + 59x41 + 982x42 + 577x43 + 61x44 + 573x45 + 296x46 + 84x47 + 8x48 + 274x49 + 111x50 + 110x51 + 763x52 + 211x53 + 616x54 + 765x55 + 318x56 + 71x57 + 420x58 + 720x59 + 598x60 + 702x61 + 40x62 + 253x63 + 656x64 + 307x65 + 123x66 + 333x67 + 861x68 + 404x69 + 177x70 + 1000x71 + 91x72 + 513x73 + 986x74 + 999x75 + 585x76 + 318x77 + 626x78 + 414x79 + 568x80 + 64x81 + 974x82 + 206x83 + 187x84 + 497x85 + 11x86 + 387x87 + 493x88 + 115x89 + 471x90 + 618x91 + 828x92 + 799x93 + 556x94 + 113x95 + 289x96 + 811x97 + 104x98 + 740x99 + 780x100 <=12057 constr6: + 637x1 + 926x2 + 187x3 + 170x4 + 562x5 + 10x6 + 388x7 + 454x8 + 932x9 + 302x10 + 697x11 + 969x12 + 295x13 + 855x14 + 466x15 + 873x16 + 978x17 + 575x18 + 905x19 + 482x20 + 543x21 + 289x22 + 943x23 + 47x24 + 433x25 + 831x26 + 370x27 + 110x28 + 496x29 + 3x30 + 43x31 + 951x32 + 61x33 + 671x34 + 209x35 + 707x36 + 742x37 + 917x38 + 727x39 + 548x40 + 465x41 + 117x42 + 870x43 + 401x44 + 216x45 + 194x46 + 155x47 + 966x48 + 936x49 + 275x50 + 822x51 + 413x52 + 657x53 + 91x54 + 351x55 + 934x56 + 462x57 + 512x58 + 673x59 + 455x60 + 66x61 + 387x62 + 795x63 + 236x64 + 918x65 + 620x66 + 203x67 + 894x68 + 893x69 + 507x70 + 810x71 + 651x72 + 115x73 + 646x74 + 597x75 + 417x76 + 449x77 + 758x78 + 952x79 + 586x80 + 106x81 + 864x82 + 907x83 + 541x84 + 371x85 + 28x86 + 842x87 + 451x88 + 197x89 + 335x90 + 701x91 + 92x92 + 993x93 + 297x94 + 732x95 + 245x96 + 672x97 + 302x98 + 569x99 + 514x100 <=13132 constr7: + 695x1 + 517x2 + 611x3 + 363x4 + 308x5 + 250x6 + 269x7 + 161x8 + 388x9 + 787x10 + 347x11 + 293x12 + 145x13 + 573x14 + 423x15 + 180x16 + 132x17 + 349x18 + 831x19 + 532x20 + 406x21 + 53x22 + 864x23 + 77x24 + 358x25 + 404x26 + 166x27 + 24x28 + 705x29 + 260x30 + 666x31 + 713x32 + 133x33 + 778x34 + 218x35 + 188x36 + 388x37 + 72x38 + 79x39 + 673x40 + 264x41 + 154x42 + 242x43 + 158x44 + 699x45 + 27x46 + 900x47 + 537x48 + 692x49 + 541x50 + 79x51 + 554x52 + 777x53 + 970x54 + 367x55 + 362x56 + 543x57 + 781x58 + 592x59 + 903x60 + 626x61 + 823x62 + 423x63 + 226x64 + 797x65 + 595x66 + 600x67 + 678x68 + 385x69 + 577x70 + 483x71 + 281x72 + 614x73 + 667x74 + 957x75 + 695x76 + 802x77 + 793x78 + 592x79 + 411x80 + 948x81 + 724x82 + 297x83 + 406x84 + 454x85 + 405x86 + 381x87 + 723x88 + 6x89 + 203x90 + 619x91 + 880x92 + 732x93 + 870x94 + 264x95 + 148x96 + 281x97 + 439x98 + 373x99 + 521x100 <=11805 constr8: + 556x1 + 244x2 + 897x3 + 976x4 + 580x5 + 533x6 + 390x7 + 463x8 + 245x9 + 527x10 + 323x11 + 660x12 + 26x13 + 419x14 + 239x15 + 414x16 + 270x17 + 766x18 + 104x19 + 296x20 + 42x21 + 846x22 + 967x23 + 700x24 + 238x25 + 834x26 + 572x27 + 169x28 + 321x29 + 647x30 + 33x31 + 452x32 + 78x33 + 801x34 + 304x35 + 40x36 + 76x37 + 128x38 + 619x39 + 158x40 + 972x41 + 670x42 + 647x43 + 570x44 + 432x45 + 81x46 + 607x47 + 187x48 + 48x49 + 941x50 + 769x51 + 576x52 + 252x53 + 519x54 + 771x55 + 619x56 + 584x57 + 394x58 + 69x59 + 335x60 + 419x61 + 26x62 + 187x63 + 185x64 + 118x65 + 601x66 + 880x67 + 416x68 + 621x69 + 228x70 + 300x71 + 523x72 + 383x73 + 445x74 + 74x75 + 951x76 + 741x77 + 567x78 + 217x79 + 5x80 + 460x81 + 372x82 + 568x83 + 653x84 + 770x85 + 966x86 + 281x87 + 333x88 + 130x89 + 318x90 + 896x91 + 288x92 + 920x93 + 248x94 + 92x95 + 102x96 + 228x97 + 244x98 + 371x99 + 335x100 <=10865 constr9: + 807x1 + 314x2 + 275x3 + 744x4 + 566x5 + 629x6 + 220x7 + 273x8 + 297x9 + 668x10 + 535x11 + 660x12 + 242x13 + 584x14 + 492x15 + 206x16 + 878x17 + 634x18 + 622x19 + 282x20 + 461x21 + 855x22 + 768x23 + 794x24 + 241x25 + 922x26 + 420x27 + 101x28 + 184x29 + 576x30 + 247x31 + 463x32 + 762x33 + 498x34 + 494x35 + 979x36 + 834x37 + 245x38 + 359x39 + 833x40 + 52x41 + 41x42 + 599x43 + 920x44 + 978x45 + 587x46 + 494x47 + 42x48 + 855x49 + 67x50 + 341x51 + 346x52 + 80x53 + 877x54 + 891x55 + 678x56 + 637x57 + 592x58 + 650x59 + 820x60 + 451x61 + 304x62 + 245x63 + 214x64 + 222x65 + 291x66 + 790x67 + 134x68 + 649x69 + 406x70 + 865x71 + 288x72 + 567x73 + 581x74 + 401x75 + 993x76 + 245x77 + 941x78 + 558x79 + 795x80 + 357x81 + 513x82 + 324x83 + 917x84 + 946x85 + 199x86 + 202x87 + 660x88 + 132x89 + 664x90 + 215x91 + 109x92 + 715x93 + 377x94 + 829x95 + 206x96 + 228x97 + 141x98 + 642x99 + 87x100 <=12479 constr10: + 469x1 + 239x2 + 538x3 + 116x4 + 632x5 + 281x6 + 279x7 + 599x8 + 74x9 + 292x10 + 468x11 + 223x12 + 808x13 + 622x14 + 108x15 + 363x16 + 477x17 + 493x18 + 205x19 + 53x20 + 126x21 + 21x22 + 891x23 + 22x24 + 818x25 + 69x26 + 30x27 + 573x28 + 891x29 + 201x30 + 643x31 + 927x32 + 670x33 + 656x34 + 516x35 + 694x36 + 953x37 + 835x38 + 215x39 + 434x40 + 649x41 + 3x42 + 199x43 + 911x44 + 8x45 + 207x46 + 876x47 + 28x48 + 9x49 + 447x50 + 595x51 + 223x52 + 788x53 + 404x54 + 333x55 + 360x56 + 823x57 + 900x58 + 609x59 + 116x60 + 627x61 + 183x62 + 33x63 + 487x64 + 546x65 + 122x66 + 357x67 + 454x68 + 465x69 + 574x70 + 306x71 + 169x72 + 378x73 + 520x74 + 528x75 + 572x76 + 294x77 + 22x78 + 157x79 + 231x80 + 868x81 + 535x82 + 101x83 + 203x84 + 660x85 + 495x86 + 383x87 + 667x88 + 483x89 + 709x90 + 54x91 + 460x92 + 460x93 + 573x94 + 164x95 + 805x96 + 154x97 + 884x98 + 190x99 + 724x100 <=10652 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