maximize objective: + 909x1 + 366x2 + 893x3 + 696x4 + 568x5 + 1054x6 + 939x7 + 808x8 + 690x9 + 753x10 + 873x11 + 675x12 + 842x13 + 1013x14 + 837x15 + 794x16 + 676x17 + 1000x18 + 659x19 + 728x20 + 639x21 + 521x22 + 935x23 + 1030x24 + 884x25 + 722x26 + 505x27 + 664x28 + 638x29 + 870x30 + 548x31 + 497x32 + 525x33 + 991x34 + 745x35 + 1012x36 + 654x37 + 496x38 + 944x39 + 604x40 + 506x41 + 567x42 + 442x43 + 740x44 + 647x45 + 727x46 + 636x47 + 516x48 + 834x49 + 522x50 + 793x51 + 788x52 + 796x53 + 501x54 + 566x55 + 838x56 + 574x57 + 555x58 + 565x59 + 479x60 + 620x61 + 563x62 + 845x63 + 632x64 + 731x65 + 439x66 + 878x67 + 622x68 + 601x69 + 696x70 + 568x71 + 898x72 + 865x73 + 528x74 + 894x75 + 404x76 + 871x77 + 698x78 + 724x79 + 665x80 + 869x81 + 581x82 + 547x83 + 591x84 + 580x85 + 545x86 + 589x87 + 831x88 + 1020x89 + 987x90 + 835x91 + 780x92 + 710x93 + 505x94 + 736x95 + 722x96 + 832x97 + 654x98 + 503x99 + 464x100 subject to constr1: + 622x1 + 349x2 + 416x3 + 612x4 + 334x5 + 747x6 + 114x7 + 516x8 + 347x9 + 666x10 + 227x11 + 513x12 + 940x13 + 957x14 + 92x15 + 655x16 + 259x17 + 183x18 + 893x19 + 918x20 + 131x21 + 157x22 + 214x23 + 228x24 + 908x25 + 8x26 + 26x27 + 735x28 + 446x29 + 947x30 + 978x31 + 55x32 + 559x33 + 833x34 + 970x35 + 949x36 + 133x37 + 363x38 + 261x39 + 926x40 + 866x41 + 956x42 + 522x43 + 77x44 + 578x45 + 61x46 + 884x47 + 556x48 + 598x49 + 487x50 + 242x51 + 777x52 + 406x53 + 725x54 + 987x55 + 369x56 + 496x57 + 477x58 + 375x59 + 109x60 + 251x61 + 58x62 + 14x63 + 790x64 + 114x65 + 19x66 + 737x67 + 329x68 + 593x69 + 609x70 + 594x71 + 379x72 + 105x73 + 635x74 + 748x75 + 819x76 + 948x77 + 961x78 + 794x79 + 91x80 + 943x81 + 810x82 + 361x83 + 60x84 + 202x85 + 134x86 + 117x87 + 284x88 + 784x89 + 955x90 + 132x91 + 833x92 + 311x93 + 656x94 + 788x95 + 98x96 + 695x97 + 892x98 + 726x99 + 161x100 <=37699 constr2: + 819x1 + 236x2 + 407x3 + 891x4 + 161x5 + 406x6 + 866x7 + 3x8 + 824x9 + 872x10 + 359x11 + 266x12 + 814x13 + 687x14 + 738x15 + 392x16 + 239x17 + 873x18 + 187x19 + 550x20 + 757x21 + 457x22 + 889x23 + 931x24 + 170x25 + 6x26 + 582x27 + 626x28 + 398x29 + 379x30 + 744x31 + 286x32 + 449x33 + 628x34 + 109x35 + 61x36 + 744x37 + 61x38 + 100x39 + 485x40 + 520x41 + 874x42 + 299x43 + 602x44 + 651x45 + 278x46 + 660x47 + 755x48 + 381x49 + 989x50 + 735x51 + 415x52 + 158x53 + 16x54 + 38x55 + 555x56 + 981x57 + 772x58 + 482x59 + 1000x60 + 8x61 + 264x62 + 24x63 + 62x64 + 733x65 + 106x66 + 60x67 + 627x68 + 792x69 + 641x70 + 241x71 + 945x72 + 723x73 + 216x74 + 910x75 + 59x76 + 583x77 + 224x78 + 680x79 + 958x80 + 493x81 + 539x82 + 871x83 + 407x84 + 882x85 + 447x86 + 698x87 + 752x88 + 430x89 + 784x90 + 761x91 + 282x92 + 764x93 + 117x94 + 366x95 + 282x96 + 223x97 + 389x98 + 195x99 + 67x100 <=36914 constr3: + 696x1 + 506x2 + 506x3 + 495x4 + 889x5 + 314x6 + 135x7 + 109x8 + 961x9 + 717x10 + 542x11 + 937x12 + 814x13 + 442x14 + 123x15 + 726x16 + 283x17 + 887x18 + 254x19 + 92x20 + 743x21 + 812x22 + 570x23 + 818x24 + 361x25 + 751x26 + 834x27 + 26x28 + 773x29 + 598x30 + 331x31 + 143x32 + 536x33 + 799x34 + 911x35 + 999x36 + 315x37 + 287x38 + 335x39 + 200x40 + 57x41 + 267x42 + 325x43 + 988x44 + 583x45 + 786x46 + 132x47 + 620x48 + 169x49 + 719x50 + 585x51 + 574x52 + 287x53 + 256x54 + 943x55 + 158x56 + 186x57 + 72x58 + 451x59 + 270x60 + 616x61 + 556x62 + 467x63 + 517x64 + 312x65 + 912x66 + 503x67 + 753x68 + 367x69 + 583x70 + 445x71 + 452x72 + 599x73 + 636x74 + 838x75 + 231x76 + 955x77 + 828x78 + 186x79 + 9x80 + 266x81 + 648x82 + 604x83 + 486x84 + 966x85 + 451x86 + 254x87 + 64x88 + 540x89 + 999x90 + 274x91 + 814x92 + 217x93 + 720x94 + 413x95 + 367x96 + 17x97 + 326x98 + 291x99 + 108x100 <=37191 constr4: + 255x1 + 659x2 + 354x3 + 33x4 + 771x5 + 904x6 + 617x7 + 914x8 + 311x9 + 759x10 + 453x11 + 557x12 + 296x13 + 161x14 + 719x15 + 11x16 + 220x17 + 901x18 + 831x19 + 270x20 + 720x21 + 237x22 + 391x23 + 818x24 + 951x25 + 481x26 + 159x27 + 611x28 + 562x29 + 536x30 + 315x31 + 546x32 + 954x33 + 834x34 + 758x35 + 550x36 + 678x37 + 166x38 + 998x39 + 108x40 + 180x41 + 636x42 + 212x43 + 136x44 + 362x45 + 762x46 + 834x47 + 159x48 + 634x49 + 511x50 + 347x51 + 25x52 + 175x53 + 41x54 + 849x55 + 801x56 + 194x57 + 864x58 + 345x59 + 610x60 + 547x61 + 590x62 + 879x63 + 601x64 + 816x65 + 829x66 + 305x67 + 589x68 + 878x69 + 303x70 + 812x71 + 247x72 + 859x73 + 986x74 + 161x75 + 361x76 + 328x77 + 276x78 + 652x79 + 296x80 + 791x81 + 353x82 + 586x83 + 785x84 + 576x85 + 684x86 + 265x87 + 109x88 + 930x89 + 827x90 + 189x91 + 468x92 + 28x93 + 321x94 + 14x95 + 243x96 + 497x97 + 299x98 + 450x99 + 709x100 <=37864 constr5: + 157x1 + 281x2 + 387x3 + 890x4 + 715x5 + 970x6 + 105x7 + 594x8 + 442x9 + 542x10 + 70x11 + 920x12 + 883x13 + 665x14 + 748x15 + 446x16 + 515x17 + 757x18 + 447x19 + 981x20 + 216x21 + 501x22 + 321x23 + 265x24 + 749x25 + 577x26 + 553x27 + 958x28 + 190x29 + 836x30 + 370x31 + 213x32 + 450x33 + 783x34 + 317x35 + 421x36 + 492x37 + 915x38 + 735x39 + 401x40 + 176x41 + 721x42 + 784x43 + 813x44 + 174x45 + 90x46 + 912x47 + 952x48 + 808x49 + 637x50 + 2x51 + 712x52 + 410x53 + 180x54 + 22x55 + 57x56 + 678x57 + 61x58 + 55x59 + 131x60 + 693x61 + 665x62 + 817x63 + 847x64 + 918x65 + 111x66 + 688x67 + 583x68 + 934x69 + 550x70 + 153x71 + 560x72 + 227x73 + 452x74 + 753x75 + 424x76 + 464x77 + 201x78 + 271x79 + 919x80 + 191x81 + 715x82 + 35x83 + 728x84 + 178x85 + 560x86 + 683x87 + 644x88 + 168x89 + 421x90 + 345x91 + 971x92 + 112x93 + 177x94 + 422x95 + 633x96 + 639x97 + 281x98 + 389x99 + 714x100 <=37792 constr6: + 162x1 + 538x2 + 40x3 + 357x4 + 674x5 + 232x6 + 666x7 + 257x8 + 929x9 + 744x10 + 433x11 + 939x12 + 625x13 + 935x14 + 914x15 + 811x16 + 559x17 + 738x18 + 809x19 + 498x20 + 562x21 + 162x22 + 743x23 + 580x24 + 390x25 + 933x26 + 234x27 + 37x28 + 919x29 + 165x30 + 36x31 + 508x32 + 62x33 + 711x34 + 259x35 + 522x36 + 588x37 + 804x38 + 11x39 + 481x40 + 514x41 + 327x42 + 349x43 + 884x44 + 220x45 + 794x46 + 502x47 + 571x48 + 361x49 + 513x50 + 88x51 + 139x52 + 428x53 + 803x54 + 369x55 + 119x56 + 776x57 + 660x58 + 645x59 + 265x60 + 981x61 + 117x62 + 972x63 + 254x64 + 900x65 + 302x66 + 787x67 + 293x68 + 732x69 + 232x70 + 236x71 + 782x72 + 2x73 + 29x74 + 621x75 + 530x76 + 850x77 + 804x78 + 928x79 + 974x80 + 233x81 + 317x82 + 320x83 + 759x84 + 950x85 + 185x86 + 302x87 + 876x88 + 820x89 + 255x90 + 463x91 + 966x92 + 505x93 + 806x94 + 342x95 + 137x96 + 475x97 + 710x98 + 480x99 + 351x100 <=38604 constr7: + 783x1 + 61x2 + 820x3 + 513x4 + 249x5 + 562x6 + 262x7 + 933x8 + 234x9 + 27x10 + 352x11 + 117x12 + 893x13 + 751x14 + 648x15 + 61x16 + 305x17 + 627x18 + 655x19 + 731x20 + 684x21 + 13x22 + 375x23 + 68x24 + 627x25 + 458x26 + 554x27 + 627x28 + 891x29 + 736x30 + 74x31 + 656x32 + 414x33 + 458x34 + 508x35 + 850x36 + 951x37 + 575x38 + 635x39 + 124x40 + 157x41 + 81x42 + 125x43 + 152x44 + 367x45 + 351x46 + 401x47 + 191x48 + 123x49 + 306x50 + 36x51 + 924x52 + 830x53 + 399x54 + 414x55 + 939x56 + 171x57 + 544x58 + 743x59 + 325x60 + 629x61 + 115x62 + 952x63 + 840x64 + 682x65 + 304x66 + 539x67 + 561x68 + 341x69 + 115x70 + 210x71 + 809x72 + 249x73 + 830x74 + 169x75 + 360x76 + 518x77 + 284x78 + 18x79 + 572x80 + 726x81 + 109x82 + 316x83 + 519x84 + 28x85 + 812x86 + 563x87 + 923x88 + 650x89 + 625x90 + 310x91 + 191x92 + 935x93 + 984x94 + 611x95 + 47x96 + 634x97 + 566x98 + 418x99 + 309x100 <=35111 constr8: + 721x1 + 631x2 + 412x3 + 970x4 + 136x5 + 225x6 + 666x7 + 379x8 + 50x9 + 654x10 + 820x11 + 531x12 + 585x13 + 548x14 + 400x15 + 708x16 + 118x17 + 516x18 + 615x19 + 108x20 + 263x21 + 741x22 + 687x23 + 545x24 + 899x25 + 414x26 + 730x27 + 861x28 + 6x29 + 461x30 + 145x31 + 584x32 + 5x33 + 274x34 + 240x35 + 569x36 + 129x37 + 467x38 + 760x39 + 442x40 + 668x41 + 734x42 + 775x43 + 213x44 + 932x45 + 848x46 + 152x47 + 42x48 + 546x49 + 16x50 + 546x51 + 326x52 + 434x53 + 786x54 + 265x55 + 763x56 + 680x57 + 109x58 + 31x59 + 378x60 + 222x61 + 60x62 + 752x63 + 929x64 + 872x65 + 61x66 + 344x67 + 4x68 + 228x69 + 843x70 + 860x71 + 141x72 + 218x73 + 195x74 + 963x75 + 131x76 + 152x77 + 88x78 + 467x79 + 899x80 + 298x81 + 143x82 + 444x83 + 313x84 + 507x85 + 907x86 + 5x87 + 885x88 + 278x89 + 710x90 + 952x91 + 902x92 + 395x93 + 379x94 + 766x95 + 88x96 + 378x97 + 711x98 + 17x99 + 189x100 <=34466 constr9: + 889x1 + 121x2 + 942x3 + 124x4 + 86x5 + 877x6 + 111x7 + 147x8 + 83x9 + 597x10 + 274x11 + 782x12 + 428x13 + 202x14 + 44x15 + 389x16 + 282x17 + 797x18 + 59x19 + 239x20 + 461x21 + 24x22 + 277x23 + 481x24 + 91x25 + 827x26 + 444x27 + 324x28 + 347x29 + 344x30 + 670x31 + 474x32 + 257x33 + 390x34 + 406x35 + 702x36 + 727x37 + 22x38 + 828x39 + 726x40 + 23x41 + 486x42 + 461x43 + 18x44 + 834x45 + 896x46 + 427x47 + 242x48 + 248x49 + 402x50 + 914x51 + 817x52 + 606x53 + 492x54 + 440x55 + 139x56 + 568x57 + 756x58 + 841x59 + 263x60 + 212x61 + 249x62 + 589x63 + 492x64 + 930x65 + 289x66 + 987x67 + 13x68 + 669x69 + 571x70 + 602x71 + 917x72 + 955x73 + 188x74 + 948x75 + 297x76 + 947x77 + 98x78 + 624x79 + 607x80 + 347x81 + 290x82 + 251x83 + 667x84 + 159x85 + 489x86 + 215x87 + 571x88 + 537x89 + 141x90 + 511x91 + 191x92 + 940x93 + 113x94 + 479x95 + 315x96 + 662x97 + 707x98 + 614x99 + 552x100 <=34577 constr10: + 512x1 + 102x2 + 800x3 + 902x4 + 319x5 + 918x6 + 918x7 + 433x8 + 808x9 + 79x10 + 477x11 + 430x12 + 213x13 + 740x14 + 14x15 + 196x16 + 642x17 + 328x18 + 562x19 + 291x20 + 166x21 + 670x22 + 268x23 + 686x24 + 875x25 + 793x26 + 156x27 + 223x28 + 732x29 + 387x30 + 15x31 + 639x32 + 928x33 + 590x34 + 672x35 + 682x36 + 707x37 + 140x38 + 820x39 + 300x40 + 759x41 + 279x42 + 240x43 + 862x44 + 933x45 + 120x46 + 947x47 + 174x48 + 110x49 + 184x50 + 555x51 + 714x52 + 776x53 + 888x54 + 888x55 + 682x56 + 361x57 + 80x58 + 547x59 + 8x60 + 268x61 + 785x62 + 645x63 + 721x64 + 662x65 + 716x66 + 879x67 + 161x68 + 472x69 + 639x70 + 829x71 + 664x72 + 450x73 + 307x74 + 817x75 + 798x76 + 516x77 + 279x78 + 521x79 + 727x80 + 459x81 + 706x82 + 376x83 + 767x84 + 909x85 + 586x86 + 485x87 + 476x88 + 118x89 + 167x90 + 997x91 + 438x92 + 694x93 + 446x94 + 761x95 + 840x96 + 761x97 + 559x98 + 664x99 + 755x100 <=40545 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