maximize objective: + 976x1 + 412x2 + 1112x3 + 860x4 + 865x5 + 245x6 + 836x7 + 522x8 + 743x9 + 735x10 + 576x11 + 790x12 + 354x13 + 688x14 + 943x15 + 706x16 + 987x17 + 1082x18 + 720x19 + 846x20 + 583x21 + 487x22 + 641x23 + 546x24 + 1134x25 + 727x26 + 491x27 + 642x28 + 548x29 + 635x30 + 996x31 + 620x32 + 842x33 + 722x34 + 693x35 + 872x36 + 678x37 + 1054x38 + 573x39 + 1000x40 + 972x41 + 961x42 + 793x43 + 808x44 + 529x45 + 425x46 + 502x47 + 875x48 + 601x49 + 339x50 + 466x51 + 405x52 + 882x53 + 554x54 + 503x55 + 746x56 + 570x57 + 808x58 + 511x59 + 851x60 + 768x61 + 684x62 + 1029x63 + 866x64 + 697x65 + 794x66 + 502x67 + 882x68 + 159x69 + 769x70 + 440x71 + 608x72 + 1107x73 + 960x74 + 594x75 + 725x76 + 727x77 + 847x78 + 735x79 + 509x80 + 435x81 + 343x82 + 770x83 + 760x84 + 841x85 + 948x86 + 522x87 + 771x88 + 1109x89 + 870x90 + 923x91 + 775x92 + 723x93 + 798x94 + 640x95 + 948x96 + 1055x97 + 810x98 + 716x99 + 858x100 subject to constr1: + 1x1 + 168x2 + 750x3 + 725x4 + 279x5 + 463x6 + 274x7 + 28x8 + 474x9 + 315x10 + 604x11 + 142x12 + 168x13 + 634x14 + 916x15 + 695x16 + 883x17 + 969x18 + 126x19 + 916x20 + 16x21 + 545x22 + 309x23 + 345x24 + 256x25 + 578x26 + 259x27 + 576x28 + 1x29 + 228x30 + 221x31 + 288x32 + 668x33 + 986x34 + 488x35 + 467x36 + 941x37 + 917x38 + 55x39 + 573x40 + 885x41 + 937x42 + 695x43 + 902x44 + 175x45 + 250x46 + 664x47 + 270x48 + 596x49 + 188x50 + 164x51 + 267x52 + 998x53 + 669x54 + 77x55 + 892x56 + 711x57 + 588x58 + 105x59 + 443x60 + 592x61 + 574x62 + 972x63 + 557x64 + 560x65 + 300x66 + 73x67 + 256x68 + 27x69 + 221x70 + 280x71 + 985x72 + 534x73 + 621x74 + 302x75 + 402x76 + 467x77 + 155x78 + 240x79 + 862x80 + 321x81 + 83x82 + 93x83 + 709x84 + 57x85 + 216x86 + 734x87 + 22x88 + 664x89 + 311x90 + 94x91 + 239x92 + 927x93 + 476x94 + 530x95 + 381x96 + 101x97 + 629x98 + 431x99 + 757x100 <=34109 constr2: + 823x1 + 433x2 + 582x3 + 326x4 + 829x5 + 102x6 + 25x7 + 404x8 + 220x9 + 373x10 + 618x11 + 454x12 + 259x13 + 342x14 + 599x15 + 442x16 + 62x17 + 914x18 + 248x19 + 445x20 + 379x21 + 428x22 + 508x23 + 645x24 + 849x25 + 15x26 + 590x27 + 474x28 + 194x29 + 527x30 + 548x31 + 472x32 + 20x33 + 951x34 + 265x35 + 886x36 + 659x37 + 541x38 + 895x39 + 508x40 + 11x41 + 735x42 + 287x43 + 254x44 + 321x45 + 148x46 + 500x47 + 274x48 + 287x49 + 138x50 + 794x51 + 27x52 + 905x53 + 187x54 + 754x55 + 180x56 + 435x57 + 847x58 + 898x59 + 236x60 + 831x61 + 808x62 + 998x63 + 979x64 + 240x65 + 359x66 + 913x67 + 408x68 + 463x69 + 434x70 + 466x71 + 152x72 + 352x73 + 794x74 + 943x75 + 854x76 + 275x77 + 646x78 + 434x79 + 14x80 + 172x81 + 145x82 + 830x83 + 87x84 + 610x85 + 260x86 + 135x87 + 668x88 + 863x89 + 43x90 + 637x91 + 753x92 + 789x93 + 784x94 + 255x95 + 853x96 + 739x97 + 123x98 + 782x99 + 324x100 <=36215 constr3: + 769x1 + 4x2 + 953x3 + 314x4 + 385x5 + 142x6 + 794x7 + 839x8 + 138x9 + 83x10 + 635x11 + 77x12 + 324x13 + 71x14 + 714x15 + 170x16 + 877x17 + 654x18 + 477x19 + 5x20 + 13x21 + 92x22 + 734x23 + 571x24 + 323x25 + 265x26 + 845x27 + 351x28 + 477x29 + 281x30 + 872x31 + 987x32 + 586x33 + 204x34 + 395x35 + 41x36 + 193x37 + 554x38 + 720x39 + 711x40 + 245x41 + 364x42 + 461x43 + 718x44 + 287x45 + 467x46 + 320x47 + 738x48 + 874x49 + 106x50 + 34x51 + 160x52 + 396x53 + 58x54 + 327x55 + 920x56 + 81x57 + 321x58 + 193x59 + 191x60 + 815x61 + 593x62 + 695x63 + 739x64 + 242x65 + 554x66 + 194x67 + 757x68 + 21x69 + 223x70 + 113x71 + 200x72 + 949x73 + 729x74 + 865x75 + 732x76 + 470x77 + 694x78 + 262x79 + 713x80 + 321x81 + 79x82 + 352x83 + 939x84 + 996x85 + 653x86 + 294x87 + 490x88 + 888x89 + 825x90 + 779x91 + 7x92 + 745x93 + 861x94 + 203x95 + 78x96 + 848x97 + 533x98 + 572x99 + 118x100 <=34532 constr4: + 752x1 + 381x2 + 341x3 + 953x4 + 921x5 + 378x6 + 159x7 + 748x8 + 752x9 + 64x10 + 597x11 + 934x12 + 724x13 + 607x14 + 101x15 + 688x16 + 894x17 + 236x18 + 724x19 + 424x20 + 960x21 + 608x22 + 979x23 + 430x24 + 962x25 + 603x26 + 324x27 + 955x28 + 532x29 + 654x30 + 882x31 + 156x32 + 735x33 + 748x34 + 747x35 + 307x36 + 314x37 + 774x38 + 479x39 + 935x40 + 878x41 + 1000x42 + 894x43 + 233x44 + 368x45 + 680x46 + 83x47 + 358x48 + 105x49 + 48x50 + 449x51 + 787x52 + 992x53 + 999x54 + 993x55 + 468x56 + 330x57 + 916x58 + 962x59 + 778x60 + 511x61 + 157x62 + 605x63 + 744x64 + 188x65 + 83x66 + 117x67 + 588x68 + 135x69 + 182x70 + 857x71 + 606x72 + 759x73 + 40x74 + 159x75 + 594x76 + 95x77 + 554x78 + 152x79 + 437x80 + 350x81 + 440x82 + 278x83 + 329x84 + 232x85 + 894x86 + 613x87 + 129x88 + 578x89 + 543x90 + 532x91 + 643x92 + 248x93 + 82x94 + 507x95 + 753x96 + 727x97 + 99x98 + 514x99 + 742x100 <=40184 constr5: + 409x1 + 826x2 + 613x3 + 304x4 + 779x5 + 133x6 + 913x7 + 225x8 + 760x9 + 519x10 + 293x11 + 485x12 + 212x13 + 181x14 + 225x15 + 28x16 + 945x17 + 381x18 + 991x19 + 333x20 + 905x21 + 341x22 + 124x23 + 103x24 + 992x25 + 196x26 + 253x27 + 431x28 + 206x29 + 83x30 + 441x31 + 7x32 + 407x33 + 193x34 + 499x35 + 717x36 + 419x37 + 346x38 + 116x39 + 23x40 + 772x41 + 589x42 + 82x43 + 671x44 + 980x45 + 151x46 + 819x47 + 547x48 + 482x49 + 115x50 + 175x51 + 233x52 + 376x53 + 118x54 + 104x55 + 164x56 + 78x57 + 532x58 + 99x59 + 330x60 + 580x61 + 277x62 + 148x63 + 473x64 + 489x65 + 804x66 + 787x67 + 533x68 + 95x69 + 621x70 + 240x71 + 35x72 + 859x73 + 812x74 + 687x75 + 930x76 + 37x77 + 110x78 + 260x79 + 470x80 + 212x81 + 713x82 + 501x83 + 356x84 + 526x85 + 722x86 + 282x87 + 220x88 + 322x89 + 153x90 + 661x91 + 842x92 + 734x93 + 727x94 + 625x95 + 755x96 + 568x97 + 907x98 + 181x99 + 352x100 <=32535 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