maximize objective: + 680x1 + 824x2 + 671x3 + 836x4 + 1154x5 + 751x6 + 693x7 + 915x8 + 500x9 + 473x10 + 832x11 + 704x12 + 1075x13 + 947x14 + 453x15 + 948x16 + 646x17 + 872x18 + 618x19 + 991x20 + 552x21 + 710x22 + 558x23 + 885x24 + 974x25 + 653x26 + 459x27 + 760x28 + 859x29 + 1002x30 + 1021x31 + 620x32 + 764x33 + 649x34 + 790x35 + 867x36 + 557x37 + 818x38 + 595x39 + 696x40 + 697x41 + 518x42 + 571x43 + 551x44 + 549x45 + 452x46 + 705x47 + 532x48 + 1048x49 + 537x50 + 675x51 + 734x52 + 680x53 + 907x54 + 441x55 + 932x56 + 1071x57 + 564x58 + 667x59 + 1081x60 + 728x61 + 613x62 + 718x63 + 815x64 + 531x65 + 687x66 + 383x67 + 598x68 + 412x69 + 731x70 + 434x71 + 523x72 + 596x73 + 641x74 + 814x75 + 581x76 + 872x77 + 849x78 + 677x79 + 595x80 + 817x81 + 731x82 + 803x83 + 659x84 + 666x85 + 1087x86 + 889x87 + 569x88 + 583x89 + 894x90 + 919x91 + 989x92 + 755x93 + 647x94 + 1125x95 + 700x96 + 422x97 + 1000x98 + 789x99 + 752x100 subject to constr1: + 772x1 + 91x2 + 191x3 + 54x4 + 503x5 + 526x6 + 299x7 + 598x8 + 444x9 + 850x10 + 318x11 + 464x12 + 625x13 + 297x14 + 37x15 + 627x16 + 567x17 + 823x18 + 393x19 + 996x20 + 680x21 + 819x22 + 905x23 + 403x24 + 611x25 + 794x26 + 758x27 + 63x28 + 687x29 + 740x30 + 720x31 + 438x32 + 681x33 + 795x34 + 619x35 + 522x36 + 198x37 + 87x38 + 185x39 + 109x40 + 70x41 + 67x42 + 46x43 + 258x44 + 678x45 + 261x46 + 791x47 + 33x48 + 796x49 + 400x50 + 88x51 + 513x52 + 201x53 + 162x54 + 471x55 + 506x56 + 961x57 + 677x58 + 803x59 + 882x60 + 9x61 + 309x62 + 924x63 + 67x64 + 700x65 + 621x66 + 121x67 + 222x68 + 14x69 + 778x70 + 236x71 + 434x72 + 53x73 + 13x74 + 55x75 + 83x76 + 330x77 + 41x78 + 82x79 + 419x80 + 412x81 + 545x82 + 828x83 + 26x84 + 959x85 + 103x86 + 925x87 + 596x88 + 806x89 + 683x90 + 828x91 + 862x92 + 822x93 + 378x94 + 646x95 + 97x96 + 630x97 + 962x98 + 921x99 + 482x100 <=35231 constr2: + 719x1 + 942x2 + 236x3 + 855x4 + 960x5 + 255x6 + 135x7 + 506x8 + 942x9 + 989x10 + 89x11 + 139x12 + 325x13 + 576x14 + 781x15 + 78x16 + 178x17 + 881x18 + 108x19 + 442x20 + 444x21 + 158x22 + 257x23 + 333x24 + 22x25 + 882x26 + 39x27 + 288x28 + 725x29 + 833x30 + 435x31 + 294x32 + 689x33 + 252x34 + 80x35 + 627x36 + 46x37 + 985x38 + 806x39 + 686x40 + 944x41 + 392x42 + 98x43 + 823x44 + 369x45 + 901x46 + 148x47 + 807x48 + 386x49 + 440x50 + 508x51 + 322x52 + 322x53 + 534x54 + 241x55 + 981x56 + 809x57 + 693x58 + 62x59 + 839x60 + 163x61 + 498x62 + 878x63 + 937x64 + 373x65 + 851x66 + 849x67 + 750x68 + 257x69 + 108x70 + 390x71 + 73x72 + 74x73 + 938x74 + 278x75 + 776x76 + 831x77 + 409x78 + 393x79 + 476x80 + 415x81 + 589x82 + 724x83 + 421x84 + 416x85 + 258x86 + 966x87 + 624x88 + 455x89 + 852x90 + 861x91 + 696x92 + 807x93 + 774x94 + 963x95 + 357x96 + 522x97 + 284x98 + 967x99 + 431x100 <=39240 constr3: + 529x1 + 615x2 + 165x3 + 545x4 + 371x5 + 484x6 + 981x7 + 582x8 + 687x9 + 307x10 + 476x11 + 636x12 + 937x13 + 71x14 + 309x15 + 971x16 + 550x17 + 99x18 + 109x19 + 900x20 + 537x21 + 799x22 + 922x23 + 777x24 + 513x25 + 725x26 + 897x27 + 553x28 + 960x29 + 494x30 + 273x31 + 624x32 + 180x33 + 515x34 + 211x35 + 807x36 + 483x37 + 821x38 + 366x39 + 729x40 + 369x41 + 355x42 + 852x43 + 505x44 + 697x45 + 335x46 + 623x47 + 644x48 + 77x49 + 304x50 + 385x51 + 810x52 + 5x53 + 141x54 + 149x55 + 748x56 + 57x57 + 270x58 + 153x59 + 884x60 + 119x61 + 594x62 + 952x63 + 487x64 + 755x65 + 599x66 + 106x67 + 620x68 + 594x69 + 142x70 + 546x71 + 753x72 + 997x73 + 562x74 + 546x75 + 354x76 + 278x77 + 156x78 + 673x79 + 88x80 + 499x81 + 209x82 + 464x83 + 947x84 + 813x85 + 886x86 + 560x87 + 943x88 + 904x89 + 577x90 + 235x91 + 840x92 + 432x93 + 399x94 + 836x95 + 926x96 + 255x97 + 980x98 + 920x99 + 174x100 <=40195 constr4: + 729x1 + 806x2 + 209x3 + 630x4 + 380x5 + 488x6 + 6x7 + 350x8 + 32x9 + 319x10 + 884x11 + 463x12 + 546x13 + 703x14 + 819x15 + 29x16 + 288x17 + 979x18 + 49x19 + 212x20 + 204x21 + 598x22 + 375x23 + 731x24 + 705x25 + 53x26 + 173x27 + 51x28 + 599x29 + 17x30 + 989x31 + 950x32 + 982x33 + 805x34 + 226x35 + 312x36 + 316x37 + 780x38 + 480x39 + 718x40 + 151x41 + 703x42 + 792x43 + 601x44 + 97x45 + 385x46 + 418x47 + 833x48 + 526x49 + 299x50 + 929x51 + 913x52 + 335x53 + 607x54 + 68x55 + 231x56 + 820x57 + 709x58 + 786x59 + 719x60 + 163x61 + 390x62 + 915x63 + 556x64 + 755x65 + 836x66 + 46x67 + 262x68 + 455x69 + 566x70 + 247x71 + 579x72 + 203x73 + 125x74 + 45x75 + 614x76 + 256x77 + 480x78 + 492x79 + 31x80 + 1000x81 + 55x82 + 87x83 + 311x84 + 360x85 + 889x86 + 75x87 + 370x88 + 424x89 + 382x90 + 684x91 + 762x92 + 548x93 + 564x94 + 792x95 + 960x96 + 287x97 + 995x98 + 301x99 + 618x100 <=36290 constr5: + 508x1 + 759x2 + 548x3 + 875x4 + 989x5 + 568x6 + 706x7 + 53x8 + 816x9 + 459x10 + 770x11 + 119x12 + 717x13 + 230x14 + 364x15 + 950x16 + 495x17 + 750x18 + 652x19 + 5x20 + 541x21 + 489x22 + 218x23 + 221x24 + 736x25 + 786x26 + 749x27 + 186x28 + 123x29 + 544x30 + 735x31 + 27x32 + 36x33 + 126x34 + 654x35 + 911x36 + 684x37 + 416x38 + 720x39 + 216x40 + 791x41 + 346x42 + 476x43 + 953x44 + 756x45 + 137x46 + 408x47 + 583x48 + 717x49 + 349x50 + 86x51 + 888x52 + 732x53 + 917x54 + 389x55 + 878x56 + 705x57 + 321x58 + 641x59 + 690x60 + 645x61 + 918x62 + 203x63 + 112x64 + 589x65 + 916x66 + 102x67 + 815x68 + 768x69 + 758x70 + 142x71 + 605x72 + 119x73 + 182x74 + 865x75 + 517x76 + 39x77 + 791x78 + 818x79 + 936x80 + 920x81 + 327x82 + 162x83 + 59x84 + 395x85 + 651x86 + 845x87 + 494x88 + 886x89 + 520x90 + 590x91 + 680x92 + 775x93 + 946x94 + 514x95 + 707x96 + 177x97 + 696x98 + 156x99 + 611x100 <=40624 constr6: + 793x1 + 545x2 + 678x3 + 470x4 + 887x5 + 327x6 + 458x7 + 851x8 + 22x9 + 840x10 + 772x11 + 714x12 + 922x13 + 644x14 + 160x15 + 990x16 + 236x17 + 378x18 + 578x19 + 37x20 + 95x21 + 752x22 + 977x23 + 564x24 + 39x25 + 862x26 + 515x27 + 618x28 + 959x29 + 282x30 + 648x31 + 915x32 + 383x33 + 666x34 + 142x35 + 33x36 + 479x37 + 388x38 + 503x39 + 122x40 + 767x41 + 405x42 + 627x43 + 597x44 + 762x45 + 274x46 + 855x47 + 441x48 + 798x49 + 954x50 + 763x51 + 219x52 + 908x53 + 632x54 + 221x55 + 270x56 + 271x57 + 370x58 + 239x59 + 935x60 + 87x61 + 579x62 + 833x63 + 167x64 + 235x65 + 944x66 + 766x67 + 264x68 + 128x69 + 829x70 + 511x71 + 92x72 + 643x73 + 469x74 + 322x75 + 8x76 + 168x77 + 747x78 + 592x79 + 300x80 + 697x81 + 636x82 + 921x83 + 728x84 + 53x85 + 401x86 + 696x87 + 389x88 + 374x89 + 269x90 + 366x91 + 648x92 + 865x93 + 738x94 + 536x95 + 167x96 + 115x97 + 300x98 + 664x99 + 33x100 <=38124 constr7: + 56x1 + 827x2 + 795x3 + 880x4 + 323x5 + 953x6 + 743x7 + 813x8 + 556x9 + 143x10 + 907x11 + 47x12 + 317x13 + 847x14 + 452x15 + 995x16 + 483x17 + 10x18 + 579x19 + 571x20 + 557x21 + 63x22 + 688x23 + 494x24 + 821x25 + 232x26 + 76x27 + 611x28 + 865x29 + 661x30 + 290x31 + 29x32 + 945x33 + 413x34 + 859x35 + 197x36 + 318x37 + 408x38 + 587x39 + 387x40 + 567x41 + 557x42 + 367x43 + 290x44 + 187x45 + 412x46 + 171x47 + 126x48 + 837x49 + 499x50 + 6x51 + 590x52 + 634x53 + 425x54 + 340x55 + 490x56 + 940x57 + 85x58 + 39x59 + 483x60 + 860x61 + 52x62 + 748x63 + 381x64 + 394x65 + 99x66 + 6x67 + 117x68 + 212x69 + 859x70 + 502x71 + 314x72 + 992x73 + 638x74 + 573x75 + 925x76 + 369x77 + 90x78 + 7x79 + 504x80 + 443x81 + 157x82 + 448x83 + 816x84 + 191x85 + 659x86 + 179x87 + 554x88 + 357x89 + 31x90 + 735x91 + 895x92 + 853x93 + 432x94 + 328x95 + 423x96 + 459x97 + 254x98 + 806x99 + 302x100 <=35105 constr8: + 662x1 + 425x2 + 479x3 + 921x4 + 847x5 + 48x6 + 85x7 + 279x8 + 233x9 + 42x10 + 768x11 + 720x12 + 85x13 + 359x14 + 34x15 + 207x16 + 187x17 + 3x18 + 101x19 + 887x20 + 432x21 + 200x22 + 508x23 + 318x24 + 130x25 + 161x26 + 124x27 + 236x28 + 884x29 + 958x30 + 784x31 + 546x32 + 626x33 + 698x34 + 623x35 + 746x36 + 836x37 + 542x38 + 263x39 + 970x40 + 986x41 + 595x42 + 909x43 + 576x44 + 700x45 + 962x46 + 228x47 + 853x48 + 350x49 + 636x50 + 721x51 + 129x52 + 981x53 + 432x54 + 968x55 + 586x56 + 285x57 + 536x58 + 416x59 + 644x60 + 870x61 + 378x62 + 39x63 + 695x64 + 138x65 + 671x66 + 222x67 + 299x68 + 351x69 + 350x70 + 194x71 + 509x72 + 908x73 + 14x74 + 1000x75 + 382x76 + 750x77 + 677x78 + 989x79 + 432x80 + 784x81 + 595x82 + 464x83 + 664x84 + 740x85 + 654x86 + 217x87 + 585x88 + 53x89 + 252x90 + 830x91 + 911x92 + 535x93 + 466x94 + 393x95 + 726x96 + 69x97 + 967x98 + 675x99 + 838x100 <=38802 constr9: + 8x1 + 560x2 + 767x3 + 231x4 + 352x5 + 426x6 + 254x7 + 660x8 + 317x9 + 697x10 + 6x11 + 449x12 + 362x13 + 858x14 + 170x15 + 852x16 + 670x17 + 274x18 + 855x19 + 869x20 + 634x21 + 174x22 + 172x23 + 45x24 + 993x25 + 727x26 + 167x27 + 743x28 + 827x29 + 915x30 + 263x31 + 57x32 + 344x33 + 973x34 + 61x35 + 66x36 + 973x37 + 431x38 + 2x39 + 136x40 + 472x41 + 301x42 + 231x43 + 536x44 + 562x45 + 337x46 + 326x47 + 29x48 + 114x49 + 325x50 + 516x51 + 276x52 + 140x53 + 333x54 + 827x55 + 797x56 + 275x57 + 912x58 + 713x59 + 906x60 + 196x61 + 242x62 + 378x63 + 701x64 + 814x65 + 244x66 + 958x67 + 604x68 + 498x69 + 726x70 + 986x71 + 819x72 + 207x73 + 249x74 + 647x75 + 453x76 + 170x77 + 575x78 + 533x79 + 274x80 + 712x81 + 783x82 + 558x83 + 544x84 + 219x85 + 929x86 + 362x87 + 361x88 + 566x89 + 326x90 + 878x91 + 736x92 + 728x93 + 309x94 + 827x95 + 651x96 + 634x97 + 277x98 + 368x99 + 190x100 <=36375 constr10: + 265x1 + 246x2 + 831x3 + 622x4 + 970x5 + 158x6 + 504x7 + 480x8 + 273x9 + 52x10 + 271x11 + 341x12 + 952x13 + 478x14 + 142x15 + 767x16 + 56x17 + 563x18 + 923x19 + 208x20 + 344x21 + 360x22 + 7x23 + 879x24 + 816x25 + 715x26 + 300x27 + 833x28 + 404x29 + 529x30 + 395x31 + 368x32 + 377x33 + 792x34 + 504x35 + 503x36 + 434x37 + 891x38 + 239x39 + 329x40 + 567x41 + 649x42 + 900x43 + 29x44 + 314x45 + 29x46 + 155x47 + 98x48 + 977x49 + 3x50 + 835x51 + 714x52 + 171x53 + 119x54 + 476x55 + 808x56 + 923x57 + 389x58 + 594x59 + 384x60 + 717x61 + 8x62 + 713x63 + 203x64 + 547x65 + 331x66 + 391x67 + 863x68 + 653x69 + 97x70 + 399x71 + 536x72 + 285x73 + 413x74 + 195x75 + 809x76 + 735x77 + 65x78 + 982x79 + 49x80 + 312x81 + 416x82 + 309x83 + 534x84 + 901x85 + 562x86 + 156x87 + 122x88 + 817x89 + 962x90 + 160x91 + 880x92 + 315x93 + 736x94 + 720x95 + 189x96 + 21x97 + 768x98 + 986x99 + 542x100 <=35741 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