maximize objective: + 929x1 + 619x2 + 726x3 + 504x4 + 664x5 + 1102x6 + 767x7 + 1123x8 + 800x9 + 1086x10 + 656x11 + 914x12 + 930x13 + 764x14 + 1006x15 + 1002x16 + 658x17 + 824x18 + 647x19 + 433x20 + 934x21 + 972x22 + 579x23 + 524x24 + 810x25 + 813x26 + 1111x27 + 708x28 + 560x29 + 538x30 + 950x31 + 728x32 + 370x33 + 717x34 + 839x35 + 936x36 + 518x37 + 804x38 + 747x39 + 711x40 + 965x41 + 672x42 + 394x43 + 639x44 + 824x45 + 688x46 + 723x47 + 877x48 + 603x49 + 982x50 + 855x51 + 715x52 + 806x53 + 636x54 + 746x55 + 939x56 + 984x57 + 1111x58 + 746x59 + 598x60 + 659x61 + 538x62 + 721x63 + 678x64 + 975x65 + 731x66 + 688x67 + 1002x68 + 631x69 + 483x70 + 710x71 + 780x72 + 939x73 + 635x74 + 699x75 + 673x76 + 1025x77 + 715x78 + 490x79 + 871x80 + 500x81 + 674x82 + 861x83 + 546x84 + 700x85 + 1061x86 + 699x87 + 857x88 + 915x89 + 913x90 + 633x91 + 599x92 + 921x93 + 640x94 + 532x95 + 805x96 + 861x97 + 907x98 + 776x99 + 620x100 subject to constr1: + 949x1 + 384x2 + 175x3 + 304x4 + 105x5 + 834x6 + 360x7 + 484x8 + 226x9 + 598x10 + 345x11 + 996x12 + 276x13 + 320x14 + 977x15 + 479x16 + 429x17 + 27x18 + 459x19 + 40x20 + 247x21 + 409x22 + 328x23 + 27x24 + 582x25 + 372x26 + 380x27 + 214x28 + 513x29 + 55x30 + 842x31 + 704x32 + 75x33 + 459x34 + 329x35 + 810x36 + 151x37 + 51x38 + 332x39 + 527x40 + 549x41 + 679x42 + 426x43 + 853x44 + 838x45 + 41x46 + 602x47 + 585x48 + 57x49 + 418x50 + 380x51 + 524x52 + 939x53 + 209x54 + 127x55 + 415x56 + 761x57 + 928x58 + 143x59 + 488x60 + 869x61 + 870x62 + 778x63 + 746x64 + 738x65 + 572x66 + 943x67 + 590x68 + 376x69 + 129x70 + 694x71 + 755x72 + 877x73 + 571x74 + 141x75 + 990x76 + 322x77 + 580x78 + 655x79 + 778x80 + 801x81 + 289x82 + 908x83 + 974x84 + 775x85 + 849x86 + 610x87 + 217x88 + 869x89 + 250x90 + 431x91 + 126x92 + 526x93 + 795x94 + 171x95 + 983x96 + 769x97 + 304x98 + 784x99 + 715x100 <=25628 constr2: + 364x1 + 321x2 + 790x3 + 984x4 + 772x5 + 922x6 + 553x7 + 839x8 + 22x9 + 928x10 + 833x11 + 441x12 + 757x13 + 929x14 + 213x15 + 989x16 + 570x17 + 632x18 + 327x19 + 119x20 + 44x21 + 843x22 + 789x23 + 7x24 + 237x25 + 21x26 + 309x27 + 751x28 + 760x29 + 185x30 + 189x31 + 850x32 + 3x33 + 517x34 + 382x35 + 773x36 + 481x37 + 163x38 + 990x39 + 959x40 + 844x41 + 246x42 + 176x43 + 632x44 + 941x45 + 713x46 + 957x47 + 298x48 + 283x49 + 31x50 + 942x51 + 554x52 + 645x53 + 66x54 + 329x55 + 69x56 + 520x57 + 444x58 + 287x59 + 130x60 + 687x61 + 135x62 + 686x63 + 20x64 + 22x65 + 77x66 + 340x67 + 196x68 + 476x69 + 510x70 + 582x71 + 736x72 + 227x73 + 861x74 + 907x75 + 453x76 + 825x77 + 266x78 + 836x79 + 990x80 + 413x81 + 453x82 + 305x83 + 698x84 + 488x85 + 527x86 + 890x87 + 911x88 + 737x89 + 825x90 + 385x91 + 176x92 + 751x93 + 17x94 + 371x95 + 375x96 + 219x97 + 456x98 + 952x99 + 995x100 <=25721 constr3: + 149x1 + 732x2 + 647x3 + 144x4 + 452x5 + 38x6 + 596x7 + 682x8 + 338x9 + 763x10 + 812x11 + 207x12 + 293x13 + 475x14 + 374x15 + 399x16 + 310x17 + 387x18 + 345x19 + 420x20 + 855x21 + 859x22 + 997x23 + 689x24 + 838x25 + 551x26 + 299x27 + 588x28 + 932x29 + 46x30 + 852x31 + 428x32 + 349x33 + 612x34 + 538x35 + 57x36 + 869x37 + 904x38 + 688x39 + 69x40 + 327x41 + 700x42 + 571x43 + 758x44 + 564x45 + 72x46 + 221x47 + 17x48 + 301x49 + 822x50 + 526x51 + 382x52 + 610x53 + 947x54 + 393x55 + 909x56 + 294x57 + 474x58 + 559x59 + 532x60 + 104x61 + 408x62 + 318x63 + 189x64 + 842x65 + 23x66 + 407x67 + 401x68 + 136x69 + 59x70 + 282x71 + 648x72 + 864x73 + 286x74 + 602x75 + 739x76 + 939x77 + 389x78 + 568x79 + 424x80 + 343x81 + 327x82 + 832x83 + 403x84 + 810x85 + 584x86 + 494x87 + 820x88 + 382x89 + 305x90 + 502x91 + 365x92 + 983x93 + 37x94 + 510x95 + 23x96 + 390x97 + 316x98 + 597x99 + 466x100 <=24340 constr4: + 747x1 + 968x2 + 120x3 + 121x4 + 941x5 + 353x6 + 584x7 + 911x8 + 433x9 + 968x10 + 781x11 + 395x12 + 539x13 + 182x14 + 624x15 + 988x16 + 639x17 + 970x18 + 331x19 + 150x20 + 590x21 + 349x22 + 210x23 + 608x24 + 122x25 + 62x26 + 470x27 + 579x28 + 672x29 + 164x30 + 253x31 + 666x32 + 272x33 + 30x34 + 59x35 + 705x36 + 238x37 + 212x38 + 534x39 + 320x40 + 438x41 + 60x42 + 341x43 + 988x44 + 913x45 + 684x46 + 294x47 + 930x48 + 50x49 + 706x50 + 585x51 + 66x52 + 95x53 + 229x54 + 561x55 + 909x56 + 448x57 + 778x58 + 652x59 + 15x60 + 288x61 + 21x62 + 783x63 + 10x64 + 47x65 + 814x66 + 834x67 + 56x68 + 196x69 + 495x70 + 660x71 + 679x72 + 114x73 + 775x74 + 375x75 + 466x76 + 177x77 + 448x78 + 497x79 + 915x80 + 66x81 + 328x82 + 584x83 + 250x84 + 991x85 + 818x86 + 395x87 + 740x88 + 888x89 + 417x90 + 89x91 + 700x92 + 599x93 + 898x94 + 786x95 + 330x96 + 550x97 + 55x98 + 831x99 + 110x100 <=23839 constr5: + 869x1 + 619x2 + 738x3 + 755x4 + 693x5 + 161x6 + 124x7 + 300x8 + 268x9 + 875x10 + 851x11 + 224x12 + 550x13 + 771x14 + 1000x15 + 357x16 + 368x17 + 75x18 + 354x19 + 701x20 + 980x21 + 612x22 + 228x23 + 746x24 + 347x25 + 817x26 + 967x27 + 586x28 + 798x29 + 890x30 + 775x31 + 707x32 + 539x33 + 783x34 + 735x35 + 678x36 + 16x37 + 203x38 + 476x39 + 244x40 + 273x41 + 612x42 + 306x43 + 497x44 + 441x45 + 371x46 + 152x47 + 714x48 + 465x49 + 440x50 + 572x51 + 215x52 + 100x53 + 627x54 + 398x55 + 473x56 + 502x57 + 354x58 + 222x59 + 331x60 + 880x61 + 854x62 + 117x63 + 967x64 + 709x65 + 972x66 + 420x67 + 703x68 + 690x69 + 516x70 + 199x71 + 952x72 + 271x73 + 395x74 + 6x75 + 430x76 + 976x77 + 633x78 + 9x79 + 467x80 + 978x81 + 442x82 + 913x83 + 300x84 + 390x85 + 965x86 + 575x87 + 713x88 + 719x89 + 638x90 + 710x91 + 474x92 + 187x93 + 955x94 + 575x95 + 986x96 + 35x97 + 721x98 + 824x99 + 142x100 <=27127 constr6: + 699x1 + 884x2 + 708x3 + 130x4 + 264x5 + 745x6 + 128x7 + 383x8 + 468x9 + 996x10 + 419x11 + 894x12 + 828x13 + 624x14 + 43x15 + 635x16 + 603x17 + 226x18 + 79x19 + 970x20 + 342x21 + 44x22 + 624x23 + 522x24 + 719x25 + 298x26 + 590x27 + 836x28 + 398x29 + 582x30 + 708x31 + 970x32 + 563x33 + 28x34 + 764x35 + 920x36 + 708x37 + 429x38 + 112x39 + 540x40 + 838x41 + 301x42 + 341x43 + 556x44 + 85x45 + 315x46 + 120x47 + 188x48 + 564x49 + 947x50 + 413x51 + 796x52 + 172x53 + 37x54 + 652x55 + 338x56 + 12x57 + 922x58 + 178x59 + 261x60 + 364x61 + 428x62 + 864x63 + 685x64 + 642x65 + 300x66 + 310x67 + 675x68 + 745x69 + 72x70 + 662x71 + 445x72 + 5x73 + 555x74 + 384x75 + 990x76 + 279x77 + 162x78 + 33x79 + 54x80 + 400x81 + 599x82 + 658x83 + 878x84 + 463x85 + 328x86 + 977x87 + 146x88 + 675x89 + 572x90 + 770x91 + 53x92 + 423x93 + 915x94 + 580x95 + 214x96 + 65x97 + 755x98 + 867x99 + 28x100 <=24240 constr7: + 209x1 + 10x2 + 441x3 + 697x4 + 265x5 + 934x6 + 36x7 + 938x8 + 929x9 + 294x10 + 237x11 + 923x12 + 543x13 + 518x14 + 310x15 + 722x16 + 393x17 + 181x18 + 816x19 + 226x20 + 923x21 + 855x22 + 447x23 + 443x24 + 54x25 + 714x26 + 639x27 + 308x28 + 103x29 + 81x30 + 371x31 + 513x32 + 387x33 + 433x34 + 682x35 + 562x36 + 986x37 + 247x38 + 432x39 + 121x40 + 707x41 + 462x42 + 613x43 + 841x44 + 34x45 + 514x46 + 744x47 + 503x48 + 361x49 + 181x50 + 881x51 + 753x52 + 507x53 + 316x54 + 97x55 + 409x56 + 658x57 + 281x58 + 626x59 + 776x60 + 563x61 + 135x62 + 406x63 + 483x64 + 255x65 + 15x66 + 345x67 + 895x68 + 305x69 + 5x70 + 53x71 + 3x72 + 205x73 + 130x74 + 377x75 + 217x76 + 215x77 + 256x78 + 217x79 + 140x80 + 687x81 + 927x82 + 380x83 + 265x84 + 486x85 + 898x86 + 328x87 + 366x88 + 321x89 + 161x90 + 85x91 + 91x92 + 560x93 + 708x94 + 667x95 + 426x96 + 13x97 + 284x98 + 653x99 + 607x100 <=21660 constr8: + 732x1 + 121x2 + 795x3 + 24x4 + 8x5 + 851x6 + 473x7 + 284x8 + 504x9 + 122x10 + 633x11 + 763x12 + 379x13 + 268x14 + 784x15 + 121x16 + 289x17 + 482x18 + 91x19 + 777x20 + 588x21 + 145x22 + 591x23 + 547x24 + 811x25 + 225x26 + 963x27 + 878x28 + 13x29 + 247x30 + 327x31 + 740x32 + 317x33 + 907x34 + 201x35 + 832x36 + 154x37 + 424x38 + 340x39 + 400x40 + 388x41 + 119x42 + 239x43 + 10x44 + 438x45 + 675x46 + 598x47 + 272x48 + 885x49 + 579x50 + 218x51 + 243x52 + 692x53 + 577x54 + 985x55 + 801x56 + 573x57 + 813x58 + 286x59 + 815x60 + 64x61 + 232x62 + 119x63 + 228x64 + 715x65 + 609x66 + 393x67 + 51x68 + 69x69 + 970x70 + 683x71 + 518x72 + 659x73 + 192x74 + 468x75 + 731x76 + 246x77 + 565x78 + 285x79 + 800x80 + 547x81 + 173x82 + 655x83 + 413x84 + 88x85 + 586x86 + 835x87 + 333x88 + 175x89 + 696x90 + 204x91 + 189x92 + 964x93 + 352x94 + 508x95 + 529x96 + 351x97 + 645x98 + 672x99 + 49x100 <=22959 constr9: + 936x1 + 161x2 + 237x3 + 182x4 + 949x5 + 684x6 + 328x7 + 980x8 + 949x9 + 745x10 + 111x11 + 375x12 + 386x13 + 345x14 + 296x15 + 141x16 + 616x17 + 84x18 + 741x19 + 520x20 + 552x21 + 107x22 + 468x23 + 927x24 + 899x25 + 503x26 + 775x27 + 993x28 + 487x29 + 63x30 + 457x31 + 169x32 + 91x33 + 147x34 + 468x35 + 64x36 + 194x37 + 876x38 + 242x39 + 326x40 + 306x41 + 968x42 + 834x43 + 30x44 + 354x45 + 110x46 + 846x47 + 724x48 + 877x49 + 302x50 + 566x51 + 328x52 + 176x53 + 606x54 + 942x55 + 239x56 + 508x57 + 363x58 + 392x59 + 101x60 + 996x61 + 614x62 + 42x63 + 733x64 + 327x65 + 170x66 + 102x67 + 892x68 + 939x69 + 679x70 + 51x71 + 777x72 + 373x73 + 73x74 + 478x75 + 389x76 + 939x77 + 189x78 + 424x79 + 739x80 + 389x81 + 952x82 + 671x83 + 14x84 + 591x85 + 223x86 + 604x87 + 468x88 + 656x89 + 167x90 + 167x91 + 622x92 + 287x93 + 914x94 + 604x95 + 500x96 + 890x97 + 22x98 + 363x99 + 290x100 <=23733 constr10: + 727x1 + 710x2 + 403x3 + 853x4 + 55x5 + 684x6 + 797x7 + 669x8 + 701x9 + 165x10 + 800x11 + 200x12 + 362x13 + 603x14 + 679x15 + 801x16 + 181x17 + 625x18 + 76x19 + 237x20 + 893x21 + 928x22 + 99x23 + 218x24 + 71x25 + 52x26 + 735x27 + 509x28 + 718x29 + 974x30 + 45x31 + 474x32 + 14x33 + 680x34 + 130x35 + 282x36 + 14x37 + 978x38 + 341x39 + 444x40 + 809x41 + 559x42 + 84x43 + 868x44 + 691x45 + 70x46 + 943x47 + 899x48 + 867x49 + 409x50 + 399x51 + 916x52 + 461x53 + 216x54 + 221x55 + 146x56 + 668x57 + 980x58 + 370x59 + 10x60 + 202x61 + 154x62 + 362x63 + 252x64 + 720x65 + 309x66 + 175x67 + 768x68 + 836x69 + 378x70 + 622x71 + 651x72 + 965x73 + 290x74 + 572x75 + 479x76 + 496x77 + 722x78 + 615x79 + 179x80 + 176x81 + 810x82 + 188x83 + 543x84 + 519x85 + 847x86 + 596x87 + 254x88 + 935x89 + 352x90 + 326x91 + 457x92 + 654x93 + 171x94 + 98x95 + 792x96 + 445x97 + 646x98 + 131x99 + 223x100 <=24212 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