maximize objective: + 764x1 + 816x2 + 812x3 + 712x4 + 518x5 + 741x6 + 806x7 + 798x8 + 1043x9 + 886x10 + 928x11 + 522x12 + 1243x13 + 671x14 + 813x15 + 701x16 + 1041x17 + 645x18 + 782x19 + 488x20 + 629x21 + 937x22 + 486x23 + 642x24 + 781x25 + 751x26 + 521x27 + 972x28 + 578x29 + 792x30 + 1087x31 + 809x32 + 574x33 + 940x34 + 1030x35 + 812x36 + 776x37 + 764x38 + 439x39 + 574x40 + 1081x41 + 1139x42 + 1089x43 + 807x44 + 657x45 + 900x46 + 699x47 + 534x48 + 989x49 + 812x50 + 862x51 + 518x52 + 580x53 + 878x54 + 602x55 + 519x56 + 664x57 + 971x58 + 772x59 + 619x60 + 1103x61 + 770x62 + 832x63 + 712x64 + 518x65 + 917x66 + 817x67 + 786x68 + 996x69 + 933x70 + 1021x71 + 899x72 + 703x73 + 471x74 + 1043x75 + 709x76 + 906x77 + 633x78 + 553x79 + 570x80 + 628x81 + 791x82 + 932x83 + 660x84 + 928x85 + 842x86 + 852x87 + 591x88 + 539x89 + 719x90 + 827x91 + 624x92 + 811x93 + 988x94 + 835x95 + 684x96 + 586x97 + 871x98 + 655x99 + 813x100 subject to constr1: + 66x1 + 681x2 + 626x3 + 661x4 + 350x5 + 676x6 + 940x7 + 181x8 + 744x9 + 706x10 + 338x11 + 798x12 + 738x13 + 778x14 + 226x15 + 817x16 + 969x17 + 72x18 + 121x19 + 482x20 + 395x21 + 44x22 + 277x23 + 269x24 + 651x25 + 784x26 + 444x27 + 864x28 + 87x29 + 781x30 + 944x31 + 340x32 + 348x33 + 42x34 + 871x35 + 738x36 + 646x37 + 585x38 + 212x39 + 816x40 + 17x41 + 834x42 + 783x43 + 513x44 + 406x45 + 659x46 + 69x47 + 318x48 + 287x49 + 198x50 + 328x51 + 774x52 + 81x53 + 185x54 + 828x55 + 742x56 + 180x57 + 556x58 + 182x59 + 921x60 + 468x61 + 213x62 + 37x63 + 302x64 + 492x65 + 315x66 + 846x67 + 845x68 + 831x69 + 148x70 + 145x71 + 399x72 + 95x73 + 7x74 + 981x75 + 671x76 + 418x77 + 377x78 + 291x79 + 76x80 + 816x81 + 472x82 + 509x83 + 412x84 + 21x85 + 633x86 + 173x87 + 472x88 + 622x89 + 265x90 + 229x91 + 890x92 + 229x93 + 126x94 + 947x95 + 167x96 + 4x97 + 187x98 + 952x99 + 356x100 <=34806 constr2: + 963x1 + 22x2 + 436x3 + 657x4 + 810x5 + 802x6 + 531x7 + 224x8 + 982x9 + 379x10 + 542x11 + 141x12 + 828x13 + 165x14 + 42x15 + 107x16 + 846x17 + 899x18 + 24x19 + 330x20 + 960x21 + 456x22 + 9x23 + 210x24 + 234x25 + 207x26 + 488x27 + 581x28 + 459x29 + 51x30 + 773x31 + 552x32 + 785x33 + 646x34 + 813x35 + 680x36 + 835x37 + 730x38 + 450x39 + 636x40 + 458x41 + 665x42 + 499x43 + 919x44 + 668x45 + 485x46 + 181x47 + 474x48 + 879x49 + 119x50 + 821x51 + 851x52 + 788x53 + 72x54 + 130x55 + 64x56 + 107x57 + 1x58 + 740x59 + 946x60 + 969x61 + 162x62 + 236x63 + 457x64 + 729x65 + 781x66 + 731x67 + 915x68 + 680x69 + 936x70 + 866x71 + 347x72 + 895x73 + 20x74 + 645x75 + 643x76 + 750x77 + 273x78 + 294x79 + 715x80 + 661x81 + 910x82 + 571x83 + 165x84 + 2x85 + 226x86 + 7x87 + 150x88 + 625x89 + 531x90 + 745x91 + 92x92 + 486x93 + 713x94 + 686x95 + 839x96 + 380x97 + 202x98 + 911x99 + 633x100 <=38798 constr3: + 627x1 + 731x2 + 787x3 + 5x4 + 100x5 + 244x6 + 650x7 + 674x8 + 564x9 + 841x10 + 935x11 + 164x12 + 889x13 + 207x14 + 11x15 + 222x16 + 336x17 + 733x18 + 9x19 + 834x20 + 18x21 + 909x22 + 341x23 + 908x24 + 267x25 + 295x26 + 579x27 + 674x28 + 80x29 + 237x30 + 873x31 + 772x32 + 331x33 + 900x34 + 636x35 + 2x36 + 496x37 + 223x38 + 987x39 + 194x40 + 901x41 + 827x42 + 230x43 + 671x44 + 252x45 + 731x46 + 604x47 + 104x48 + 64x49 + 505x50 + 79x51 + 765x52 + 744x53 + 496x54 + 632x55 + 410x56 + 942x57 + 205x58 + 786x59 + 682x60 + 863x61 + 463x62 + 96x63 + 554x64 + 216x65 + 554x66 + 949x67 + 170x68 + 501x69 + 96x70 + 856x71 + 284x72 + 393x73 + 114x74 + 491x75 + 826x76 + 589x77 + 217x78 + 616x79 + 713x80 + 297x81 + 159x82 + 578x83 + 264x84 + 410x85 + 740x86 + 452x87 + 670x88 + 377x89 + 602x90 + 756x91 + 22x92 + 144x93 + 79x94 + 325x95 + 564x96 + 83x97 + 278x98 + 376x99 + 389x100 <=35281 constr4: + 219x1 + 548x2 + 488x3 + 848x4 + 513x5 + 443x6 + 376x7 + 662x8 + 964x9 + 721x10 + 804x11 + 850x12 + 986x13 + 478x14 + 746x15 + 929x16 + 617x17 + 336x18 + 895x19 + 424x20 + 811x21 + 350x22 + 353x23 + 904x24 + 99x25 + 230x26 + 336x27 + 283x28 + 266x29 + 287x30 + 979x31 + 443x32 + 440x33 + 821x34 + 380x35 + 614x36 + 731x37 + 264x38 + 187x39 + 723x40 + 897x41 + 316x42 + 427x43 + 140x44 + 854x45 + 415x46 + 703x47 + 801x48 + 347x49 + 532x50 + 322x51 + 232x52 + 324x53 + 178x54 + 88x55 + 439x56 + 824x57 + 147x58 + 633x59 + 477x60 + 407x61 + 501x62 + 703x63 + 627x64 + 646x65 + 939x66 + 756x67 + 206x68 + 897x69 + 425x70 + 109x71 + 993x72 + 292x73 + 626x74 + 771x75 + 29x76 + 762x77 + 785x78 + 448x79 + 664x80 + 578x81 + 361x82 + 124x83 + 478x84 + 765x85 + 53x86 + 587x87 + 250x88 + 872x89 + 383x90 + 751x91 + 579x92 + 753x93 + 473x94 + 604x95 + 215x96 + 307x97 + 173x98 + 871x99 + 840x100 <=39785 constr5: + 698x1 + 637x2 + 973x3 + 968x4 + 582x5 + 58x6 + 853x7 + 630x8 + 808x9 + 877x10 + 94x11 + 278x12 + 973x13 + 406x14 + 655x15 + 674x16 + 52x17 + 40x18 + 351x19 + 171x20 + 714x21 + 201x22 + 491x23 + 77x24 + 624x25 + 154x26 + 617x27 + 453x28 + 281x29 + 651x30 + 710x31 + 324x32 + 54x33 + 620x34 + 724x35 + 584x36 + 582x37 + 572x38 + 721x39 + 111x40 + 998x41 + 378x42 + 936x43 + 611x44 + 652x45 + 268x46 + 64x47 + 460x48 + 251x49 + 906x50 + 767x51 + 776x52 + 45x53 + 953x54 + 612x55 + 587x56 + 109x57 + 969x58 + 863x59 + 799x60 + 880x61 + 750x62 + 825x63 + 58x64 + 566x65 + 191x66 + 186x67 + 57x68 + 332x69 + 913x70 + 919x71 + 232x72 + 574x73 + 608x74 + 848x75 + 143x76 + 887x77 + 866x78 + 234x79 + 764x80 + 657x81 + 284x82 + 633x83 + 619x84 + 251x85 + 776x86 + 443x87 + 549x88 + 438x89 + 437x90 + 269x91 + 219x92 + 174x93 + 630x94 + 191x95 + 569x96 + 832x97 + 102x98 + 599x99 + 275x100 <=38870 constr6: + 560x1 + 72x2 + 254x3 + 417x4 + 687x5 + 360x6 + 884x7 + 26x8 + 175x9 + 136x10 + 307x11 + 177x12 + 174x13 + 45x14 + 94x15 + 226x16 + 404x17 + 358x18 + 272x19 + 531x20 + 845x21 + 783x22 + 949x23 + 354x24 + 84x25 + 769x26 + 889x27 + 211x28 + 526x29 + 503x30 + 778x31 + 870x32 + 914x33 + 897x34 + 30x35 + 610x36 + 722x37 + 521x38 + 444x39 + 692x40 + 234x41 + 567x42 + 460x43 + 349x44 + 547x45 + 925x46 + 942x47 + 334x48 + 262x49 + 634x50 + 419x51 + 461x52 + 169x53 + 398x54 + 125x55 + 893x56 + 291x57 + 666x58 + 655x59 + 462x60 + 927x61 + 484x62 + 492x63 + 450x64 + 803x65 + 253x66 + 817x67 + 187x68 + 669x69 + 452x70 + 578x71 + 548x72 + 170x73 + 663x74 + 365x75 + 54x76 + 286x77 + 61x78 + 848x79 + 424x80 + 43x81 + 628x82 + 235x83 + 323x84 + 322x85 + 307x86 + 438x87 + 426x88 + 394x89 + 598x90 + 561x91 + 396x92 + 851x93 + 533x94 + 853x95 + 134x96 + 17x97 + 252x98 + 445x99 + 43x100 <=34255 constr7: + 130x1 + 144x2 + 980x3 + 908x4 + 78x5 + 15x6 + 653x7 + 662x8 + 281x9 + 292x10 + 365x11 + 182x12 + 418x13 + 844x14 + 265x15 + 996x16 + 288x17 + 237x18 + 103x19 + 826x20 + 217x21 + 167x22 + 406x23 + 907x24 + 186x25 + 305x26 + 84x27 + 716x28 + 574x29 + 325x30 + 11x31 + 740x32 + 472x33 + 758x34 + 690x35 + 667x36 + 742x37 + 695x38 + 293x39 + 899x40 + 955x41 + 859x42 + 461x43 + 577x44 + 747x45 + 644x46 + 853x47 + 186x48 + 588x49 + 548x50 + 521x51 + 173x52 + 504x53 + 989x54 + 255x55 + 789x56 + 429x57 + 625x58 + 826x59 + 731x60 + 177x61 + 224x62 + 338x63 + 429x64 + 135x65 + 621x66 + 166x67 + 856x68 + 867x69 + 864x70 + 981x71 + 319x72 + 804x73 + 401x74 + 679x75 + 713x76 + 78x77 + 633x78 + 374x79 + 723x80 + 116x81 + 537x82 + 204x83 + 523x84 + 688x85 + 463x86 + 667x87 + 424x88 + 843x89 + 948x90 + 367x91 + 226x92 + 219x93 + 950x94 + 52x95 + 85x96 + 399x97 + 998x98 + 742x99 + 21x100 <=37976 constr8: + 379x1 + 161x2 + 372x3 + 368x4 + 164x5 + 727x6 + 980x7 + 510x8 + 915x9 + 973x10 + 165x11 + 265x12 + 770x13 + 131x14 + 775x15 + 140x16 + 656x17 + 773x18 + 467x19 + 253x20 + 300x21 + 970x22 + 570x23 + 155x24 + 546x25 + 54x26 + 734x27 + 814x28 + 384x29 + 784x30 + 867x31 + 216x32 + 128x33 + 850x34 + 459x35 + 319x36 + 444x37 + 348x38 + 204x39 + 328x40 + 915x41 + 840x42 + 826x43 + 826x44 + 589x45 + 963x46 + 275x47 + 800x48 + 751x49 + 424x50 + 743x51 + 380x52 + 744x53 + 716x54 + 484x55 + 284x56 + 696x57 + 873x58 + 771x59 + 310x60 + 979x61 + 43x62 + 404x63 + 403x64 + 185x65 + 908x66 + 194x67 + 36x68 + 586x69 + 640x70 + 838x71 + 734x72 + 260x73 + 496x74 + 988x75 + 552x76 + 149x77 + 64x78 + 624x79 + 255x80 + 775x81 + 703x82 + 847x83 + 734x84 + 887x85 + 913x86 + 269x87 + 518x88 + 428x89 + 526x90 + 273x91 + 863x92 + 447x93 + 8x94 + 562x95 + 820x96 + 310x97 + 631x98 + 24x99 + 511x100 <=39761 constr9: + 376x1 + 148x2 + 715x3 + 42x4 + 752x5 + 688x6 + 549x7 + 641x8 + 563x9 + 866x10 + 854x11 + 929x12 + 912x13 + 147x14 + 858x15 + 833x16 + 585x17 + 458x18 + 732x19 + 578x20 + 886x21 + 453x22 + 385x23 + 119x24 + 52x25 + 846x26 + 197x27 + 916x28 + 183x29 + 866x30 + 967x31 + 560x32 + 669x33 + 352x34 + 83x35 + 539x36 + 950x37 + 246x38 + 362x39 + 422x40 + 85x41 + 738x42 + 644x43 + 525x44 + 104x45 + 611x46 + 889x47 + 558x48 + 695x49 + 414x50 + 26x51 + 86x52 + 206x53 + 575x54 + 747x55 + 87x56 + 970x57 + 358x58 + 581x59 + 115x60 + 709x61 + 477x62 + 228x63 + 127x64 + 161x65 + 899x66 + 301x67 + 257x68 + 799x69 + 250x70 + 854x71 + 584x72 + 973x73 + 680x74 + 555x75 + 725x76 + 217x77 + 503x78 + 548x79 + 149x80 + 216x81 + 477x82 + 719x83 + 179x84 + 980x85 + 436x86 + 262x87 + 367x88 + 609x89 + 511x90 + 793x91 + 585x92 + 479x93 + 881x94 + 818x95 + 748x96 + 317x97 + 837x98 + 147x99 + 667x100 <=39238 constr10: + 233x1 + 868x2 + 407x3 + 405x4 + 626x5 + 627x6 + 26x7 + 415x8 + 570x9 + 16x10 + 474x11 + 437x12 + 916x13 + 816x14 + 27x15 + 201x16 + 721x17 + 291x18 + 563x19 + 151x20 + 522x21 + 210x22 + 634x23 + 934x24 + 772x25 + 277x26 + 471x27 + 783x28 + 743x29 + 615x30 + 970x31 + 755x32 + 110x33 + 517x34 + 670x35 + 990x36 + 676x37 + 451x38 + 379x39 + 693x40 + 402x41 + 590x42 + 804x43 + 848x44 + 635x45 + 927x46 + 741x47 + 240x48 + 860x49 + 948x50 + 82x51 + 527x52 + 260x53 + 526x54 + 479x55 + 282x56 + 559x57 + 882x58 + 724x59 + 256x60 + 281x61 + 616x62 + 309x63 + 943x64 + 741x65 + 165x66 + 90x67 + 339x68 + 131x69 + 657x70 + 580x71 + 933x72 + 180x73 + 752x74 + 634x75 + 933x76 + 285x77 + 313x78 + 606x79 + 360x80 + 589x81 + 72x82 + 978x83 + 871x84 + 518x85 + 395x86 + 354x87 + 957x88 + 29x89 + 767x90 + 73x91 + 479x92 + 914x93 + 624x94 + 578x95 + 169x96 + 126x97 + 563x98 + 309x99 + 276x100 <=39017 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