maximize objective: + 942x1 + 586x2 + 844x3 + 896x4 + 496x5 + 650x6 + 477x7 + 998x8 + 634x9 + 454x10 + 741x11 + 884x12 + 807x13 + 745x14 + 517x15 + 834x16 + 935x17 + 532x18 + 587x19 + 576x20 + 447x21 + 750x22 + 683x23 + 721x24 + 883x25 + 908x26 + 601x27 + 720x28 + 719x29 + 750x30 + 760x31 + 731x32 + 524x33 + 764x34 + 632x35 + 595x36 + 557x37 + 787x38 + 822x39 + 503x40 + 958x41 + 695x42 + 499x43 + 604x44 + 898x45 + 974x46 + 744x47 + 706x48 + 610x49 + 747x50 + 949x51 + 762x52 + 752x53 + 871x54 + 872x55 + 840x56 + 837x57 + 817x58 + 443x59 + 551x60 + 765x61 + 724x62 + 575x63 + 678x64 + 884x65 + 1017x66 + 620x67 + 405x68 + 715x69 + 546x70 + 799x71 + 657x72 + 674x73 + 757x74 + 294x75 + 823x76 + 568x77 + 474x78 + 696x79 + 748x80 + 736x81 + 675x82 + 776x83 + 933x84 + 680x85 + 683x86 + 545x87 + 656x88 + 868x89 + 515x90 + 869x91 + 719x92 + 814x93 + 675x94 + 319x95 + 1012x96 + 651x97 + 804x98 + 870x99 + 682x100 subject to constr1: + 705x1 + 792x2 + 364x3 + 839x4 + 560x5 + 550x6 + 116x7 + 923x8 + 494x9 + 467x10 + 762x11 + 827x12 + 757x13 + 526x14 + 344x15 + 859x16 + 599x17 + 48x18 + 210x19 + 732x20 + 126x21 + 984x22 + 969x23 + 782x24 + 743x25 + 340x26 + 379x27 + 404x28 + 434x29 + 46x30 + 380x31 + 131x32 + 59x33 + 339x34 + 810x35 + 952x36 + 710x37 + 698x38 + 580x39 + 84x40 + 780x41 + 497x42 + 272x43 + 688x44 + 223x45 + 830x46 + 367x47 + 1000x48 + 447x49 + 336x50 + 785x51 + 745x52 + 227x53 + 820x54 + 823x55 + 370x56 + 711x57 + 598x58 + 325x59 + 61x60 + 280x61 + 310x62 + 76x63 + 906x64 + 416x65 + 286x66 + 888x67 + 31x68 + 794x69 + 61x70 + 590x71 + 297x72 + 836x73 + 765x74 + 236x75 + 145x76 + 791x77 + 612x78 + 438x79 + 575x80 + 568x81 + 844x82 + 531x83 + 840x84 + 708x85 + 939x86 + 772x87 + 375x88 + 254x89 + 83x90 + 200x91 + 477x92 + 120x93 + 391x94 + 64x95 + 784x96 + 138x97 + 50x98 + 838x99 + 380x100 <=38264 constr2: + 277x1 + 223x2 + 619x3 + 804x4 + 831x5 + 903x6 + 805x7 + 942x8 + 860x9 + 807x10 + 997x11 + 706x12 + 49x13 + 461x14 + 858x15 + 81x16 + 104x17 + 438x18 + 495x19 + 909x20 + 114x21 + 354x22 + 941x23 + 381x24 + 432x25 + 658x26 + 841x27 + 141x28 + 504x29 + 62x30 + 163x31 + 127x32 + 768x33 + 633x34 + 91x35 + 819x36 + 155x37 + 865x38 + 164x39 + 255x40 + 830x41 + 519x42 + 133x43 + 24x44 + 898x45 + 931x46 + 364x47 + 660x48 + 23x49 + 885x50 + 322x51 + 60x52 + 261x53 + 451x54 + 212x55 + 557x56 + 610x57 + 414x58 + 550x59 + 329x60 + 482x61 + 843x62 + 632x63 + 992x64 + 642x65 + 906x66 + 6x67 + 768x68 + 354x69 + 80x70 + 224x71 + 780x72 + 710x73 + 253x74 + 46x75 + 136x76 + 43x77 + 13x78 + 218x79 + 129x80 + 378x81 + 247x82 + 458x83 + 356x84 + 118x85 + 271x86 + 404x87 + 685x88 + 509x89 + 899x90 + 217x91 + 676x92 + 496x93 + 160x94 + 508x95 + 822x96 + 346x97 + 362x98 + 11x99 + 353x100 <=34652 constr3: + 659x1 + 70x2 + 162x3 + 341x4 + 810x5 + 680x6 + 816x7 + 859x8 + 404x9 + 251x10 + 547x11 + 863x12 + 151x13 + 124x14 + 762x15 + 605x16 + 261x17 + 189x18 + 478x19 + 501x20 + 129x21 + 986x22 + 744x23 + 254x24 + 195x25 + 565x26 + 553x27 + 827x28 + 403x29 + 418x30 + 403x31 + 952x32 + 62x33 + 906x34 + 650x35 + 658x36 + 516x37 + 409x38 + 170x39 + 218x40 + 54x41 + 974x42 + 744x43 + 368x44 + 936x45 + 821x46 + 200x47 + 823x48 + 490x49 + 669x50 + 586x51 + 869x52 + 774x53 + 714x54 + 683x55 + 342x56 + 609x57 + 699x58 + 325x59 + 269x60 + 170x61 + 730x62 + 821x63 + 451x64 + 172x65 + 141x66 + 624x67 + 739x68 + 51x69 + 679x70 + 717x71 + 515x72 + 288x73 + 829x74 + 1x75 + 971x76 + 92x77 + 41x78 + 621x79 + 234x80 + 62x81 + 193x82 + 215x83 + 245x84 + 821x85 + 60x86 + 700x87 + 198x88 + 532x89 + 914x90 + 344x91 + 310x92 + 312x93 + 817x94 + 91x95 + 179x96 + 355x97 + 414x98 + 51x99 + 488x100 <=35766 constr4: + 943x1 + 666x2 + 945x3 + 495x4 + 89x5 + 713x6 + 469x7 + 359x8 + 587x9 + 656x10 + 521x11 + 37x12 + 152x13 + 254x14 + 47x15 + 212x16 + 948x17 + 631x18 + 105x19 + 589x20 + 139x21 + 185x22 + 163x23 + 932x24 + 334x25 + 367x26 + 147x27 + 976x28 + 133x29 + 150x30 + 628x31 + 633x32 + 24x33 + 715x34 + 989x35 + 878x36 + 900x37 + 73x38 + 334x39 + 349x40 + 925x41 + 171x42 + 275x43 + 714x44 + 159x45 + 438x46 + 23x47 + 412x48 + 141x49 + 740x50 + 322x51 + 186x52 + 598x53 + 968x54 + 598x55 + 481x56 + 507x57 + 5x58 + 37x59 + 658x60 + 249x61 + 20x62 + 315x63 + 261x64 + 735x65 + 801x66 + 330x67 + 128x68 + 78x69 + 445x70 + 273x71 + 582x72 + 219x73 + 794x74 + 140x75 + 648x76 + 406x77 + 808x78 + 890x79 + 380x80 + 527x81 + 330x82 + 425x83 + 479x84 + 998x85 + 272x86 + 193x87 + 427x88 + 247x89 + 754x90 + 227x91 + 249x92 + 135x93 + 553x94 + 335x95 + 822x96 + 818x97 + 837x98 + 864x99 + 149x100 <=33726 constr5: + 208x1 + 310x2 + 233x3 + 288x4 + 115x5 + 132x6 + 20x7 + 734x8 + 666x9 + 53x10 + 118x11 + 475x12 + 234x13 + 514x14 + 132x15 + 90x16 + 881x17 + 656x18 + 292x19 + 300x20 + 738x21 + 807x22 + 523x23 + 749x24 + 376x25 + 524x26 + 945x27 + 122x28 + 555x29 + 902x30 + 367x31 + 893x32 + 795x33 + 539x34 + 652x35 + 828x36 + 871x37 + 729x38 + 162x39 + 382x40 + 172x41 + 804x42 + 444x43 + 419x44 + 463x45 + 571x46 + 276x47 + 461x48 + 249x49 + 464x50 + 966x51 + 986x52 + 5x53 + 523x54 + 149x55 + 134x56 + 82x57 + 725x58 + 593x59 + 27x60 + 601x61 + 245x62 + 494x63 + 216x64 + 30x65 + 949x66 + 771x67 + 923x68 + 278x69 + 226x70 + 231x71 + 134x72 + 309x73 + 782x74 + 100x75 + 522x76 + 788x77 + 717x78 + 568x79 + 934x80 + 789x81 + 593x82 + 551x83 + 270x84 + 375x85 + 662x86 + 211x87 + 892x88 + 983x89 + 37x90 + 295x91 + 295x92 + 148x93 + 513x94 + 14x95 + 486x96 + 97x97 + 979x98 + 22x99 + 347x100 <=34350 constr6: + 201x1 + 270x2 + 771x3 + 351x4 + 452x5 + 258x6 + 349x7 + 457x8 + 555x9 + 33x10 + 601x11 + 135x12 + 341x13 + 419x14 + 881x15 + 992x16 + 15x17 + 153x18 + 691x19 + 183x20 + 566x21 + 355x22 + 562x23 + 512x24 + 229x25 + 755x26 + 110x27 + 279x28 + 100x29 + 782x30 + 636x31 + 773x32 + 110x33 + 606x34 + 437x35 + 66x36 + 433x37 + 521x38 + 416x39 + 257x40 + 947x41 + 70x42 + 383x43 + 590x44 + 505x45 + 941x46 + 586x47 + 352x48 + 399x49 + 92x50 + 918x51 + 446x52 + 471x53 + 360x54 + 634x55 + 156x56 + 178x57 + 490x58 + 79x59 + 914x60 + 64x61 + 365x62 + 110x63 + 697x64 + 247x65 + 145x66 + 535x67 + 53x68 + 700x69 + 874x70 + 860x71 + 312x72 + 220x73 + 13x74 + 266x75 + 412x76 + 802x77 + 639x78 + 259x79 + 910x80 + 607x81 + 741x82 + 939x83 + 795x84 + 794x85 + 51x86 + 785x87 + 764x88 + 637x89 + 334x90 + 865x91 + 457x92 + 235x93 + 985x94 + 436x95 + 975x96 + 458x97 + 504x98 + 782x99 + 833x100 <=35688 constr7: + 997x1 + 477x2 + 667x3 + 71x4 + 935x5 + 445x6 + 249x7 + 81x8 + 206x9 + 546x10 + 755x11 + 586x12 + 485x13 + 535x14 + 75x15 + 853x16 + 320x17 + 909x18 + 317x19 + 1000x20 + 621x21 + 840x22 + 524x23 + 875x24 + 551x25 + 449x26 + 333x27 + 823x28 + 897x29 + 930x30 + 709x31 + 134x32 + 453x33 + 739x34 + 155x35 + 110x36 + 258x37 + 655x38 + 981x39 + 125x40 + 79x41 + 245x42 + 731x43 + 356x44 + 723x45 + 71x46 + 134x47 + 219x48 + 824x49 + 269x50 + 727x51 + 584x52 + 682x53 + 263x54 + 759x55 + 719x56 + 403x57 + 349x58 + 322x59 + 48x60 + 788x61 + 839x62 + 26x63 + 892x64 + 883x65 + 83x66 + 69x67 + 133x68 + 127x69 + 794x70 + 221x71 + 280x72 + 76x73 + 105x74 + 803x75 + 628x76 + 79x77 + 815x78 + 732x79 + 471x80 + 697x81 + 948x82 + 847x83 + 668x84 + 676x85 + 724x86 + 387x87 + 911x88 + 103x89 + 62x90 + 187x91 + 820x92 + 193x93 + 584x94 + 326x95 + 555x96 + 95x97 + 254x98 + 488x99 + 668x100 <=36911 constr8: + 85x1 + 254x2 + 611x3 + 490x4 + 238x5 + 277x6 + 619x7 + 329x8 + 155x9 + 471x10 + 900x11 + 391x12 + 93x13 + 849x14 + 700x15 + 156x16 + 532x17 + 510x18 + 408x19 + 417x20 + 187x21 + 283x22 + 671x23 + 898x24 + 714x25 + 148x26 + 80x27 + 779x28 + 817x29 + 779x30 + 453x31 + 835x32 + 980x33 + 988x34 + 437x35 + 443x36 + 291x37 + 465x38 + 322x39 + 53x40 + 87x41 + 838x42 + 551x43 + 508x44 + 84x45 + 892x46 + 343x47 + 152x48 + 553x49 + 614x50 + 629x51 + 414x52 + 112x53 + 957x54 + 551x55 + 401x56 + 789x57 + 452x58 + 874x59 + 195x60 + 697x61 + 739x62 + 36x63 + 114x64 + 732x65 + 955x66 + 867x67 + 571x68 + 421x69 + 622x70 + 89x71 + 679x72 + 617x73 + 189x74 + 476x75 + 559x76 + 196x77 + 14x78 + 95x79 + 816x80 + 42x81 + 891x82 + 811x83 + 287x84 + 789x85 + 347x86 + 403x87 + 43x88 + 932x89 + 815x90 + 706x91 + 181x92 + 376x93 + 229x94 + 36x95 + 113x96 + 870x97 + 748x98 + 951x99 + 977x100 <=36851 constr9: + 803x1 + 788x2 + 56x3 + 518x4 + 258x5 + 426x6 + 349x7 + 790x8 + 879x9 + 6x10 + 310x11 + 364x12 + 682x13 + 670x14 + 58x15 + 930x16 + 354x17 + 734x18 + 226x19 + 127x20 + 726x21 + 726x22 + 920x23 + 320x24 + 412x25 + 129x26 + 54x27 + 264x28 + 153x29 + 590x30 + 847x31 + 47x32 + 229x33 + 785x34 + 926x35 + 404x36 + 899x37 + 856x38 + 720x39 + 890x40 + 804x41 + 373x42 + 530x43 + 211x44 + 918x45 + 606x46 + 121x47 + 448x48 + 327x49 + 717x50 + 590x51 + 852x52 + 60x53 + 840x54 + 46x55 + 172x56 + 55x57 + 408x58 + 418x59 + 590x60 + 20x61 + 410x62 + 899x63 + 372x64 + 483x65 + 688x66 + 596x67 + 63x68 + 963x69 + 485x70 + 789x71 + 291x72 + 331x73 + 706x74 + 99x75 + 295x76 + 807x77 + 363x78 + 633x79 + 385x80 + 220x81 + 376x82 + 556x83 + 475x84 + 660x85 + 749x86 + 186x87 + 272x88 + 8x89 + 745x90 + 720x91 + 245x92 + 145x93 + 535x94 + 29x95 + 519x96 + 805x97 + 654x98 + 298x99 + 584x100 <=35828 constr10: + 714x1 + 953x2 + 870x3 + 401x4 + 508x5 + 613x6 + 627x7 + 447x8 + 710x9 + 470x10 + 338x11 + 101x12 + 233x13 + 416x14 + 687x15 + 613x16 + 560x17 + 910x18 + 628x19 + 902x20 + 200x21 + 445x22 + 815x23 + 971x24 + 808x25 + 694x26 + 571x27 + 266x28 + 588x29 + 94x30 + 687x31 + 648x32 + 952x33 + 836x34 + 689x35 + 604x36 + 71x37 + 23x38 + 984x39 + 322x40 + 826x41 + 854x42 + 395x43 + 324x44 + 255x45 + 253x46 + 573x47 + 8x48 + 863x49 + 482x50 + 6x51 + 316x52 + 941x53 + 523x54 + 56x55 + 106x56 + 359x57 + 86x58 + 510x59 + 667x60 + 214x61 + 501x62 + 988x63 + 757x64 + 854x65 + 343x66 + 550x67 + 492x68 + 981x69 + 112x70 + 2x71 + 938x72 + 659x73 + 916x74 + 77x75 + 366x76 + 861x77 + 390x78 + 535x79 + 229x80 + 745x81 + 26x82 + 598x83 + 211x84 + 537x85 + 84x86 + 58x87 + 344x88 + 456x89 + 239x90 + 405x91 + 683x92 + 989x93 + 853x94 + 921x95 + 544x96 + 363x97 + 386x98 + 943x99 + 937x100 <=39344 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