maximize objective: + 722x1 + 495x2 + 542x3 + 575x4 + 912x5 + 671x6 + 894x7 + 904x8 + 845x9 + 469x10 + 661x11 + 672x12 + 709x13 + 862x14 + 777x15 + 649x16 + 526x17 + 536x18 + 767x19 + 829x20 + 379x21 + 555x22 + 594x23 + 860x24 + 752x25 + 680x26 + 909x27 + 436x28 + 924x29 + 785x30 + 424x31 + 850x32 + 1030x33 + 615x34 + 672x35 + 892x36 + 525x37 + 793x38 + 925x39 + 814x40 + 522x41 + 755x42 + 845x43 + 1010x44 + 554x45 + 622x46 + 619x47 + 1118x48 + 803x49 + 704x50 + 462x51 + 495x52 + 889x53 + 633x54 + 663x55 + 953x56 + 562x57 + 806x58 + 727x59 + 604x60 + 705x61 + 831x62 + 850x63 + 973x64 + 632x65 + 638x66 + 705x67 + 692x68 + 912x69 + 533x70 + 510x71 + 829x72 + 939x73 + 570x74 + 584x75 + 621x76 + 790x77 + 884x78 + 995x79 + 857x80 + 606x81 + 1027x82 + 499x83 + 763x84 + 771x85 + 561x86 + 557x87 + 627x88 + 821x89 + 603x90 + 604x91 + 821x92 + 925x93 + 868x94 + 852x95 + 721x96 + 855x97 + 567x98 + 628x99 + 681x100 subject to constr1: + 945x1 + 309x2 + 192x3 + 634x4 + 450x5 + 471x6 + 257x7 + 725x8 + 230x9 + 866x10 + 965x11 + 554x12 + 264x13 + 330x14 + 458x15 + 617x16 + 250x17 + 524x18 + 171x19 + 356x20 + 19x21 + 781x22 + 677x23 + 134x24 + 164x25 + 394x26 + 31x27 + 951x28 + 497x29 + 460x30 + 239x31 + 883x32 + 719x33 + 449x34 + 788x35 + 438x36 + 73x37 + 948x38 + 967x39 + 367x40 + 803x41 + 167x42 + 9x43 + 111x44 + 659x45 + 198x46 + 331x47 + 336x48 + 67x49 + 899x50 + 567x51 + 301x52 + 79x53 + 256x54 + 642x55 + 958x56 + 374x57 + 705x58 + 830x59 + 816x60 + 427x61 + 421x62 + 705x63 + 670x64 + 72x65 + 609x66 + 375x67 + 730x68 + 719x69 + 771x70 + 592x71 + 161x72 + 553x73 + 702x74 + 217x75 + 706x76 + 754x77 + 434x78 + 707x79 + 333x80 + 27x81 + 673x82 + 942x83 + 611x84 + 645x85 + 930x86 + 68x87 + 857x88 + 893x89 + 93x90 + 901x91 + 324x92 + 21x93 + 403x94 + 334x95 + 571x96 + 325x97 + 915x98 + 456x99 + 695x100 <=24999 constr2: + 67x1 + 148x2 + 506x3 + 220x4 + 512x5 + 334x6 + 446x7 + 252x8 + 998x9 + 655x10 + 67x11 + 424x12 + 986x13 + 326x14 + 776x15 + 110x16 + 973x17 + 97x18 + 580x19 + 392x20 + 674x21 + 159x22 + 461x23 + 946x24 + 687x25 + 493x26 + 7x27 + 2x28 + 636x29 + 201x30 + 488x31 + 957x32 + 485x33 + 768x34 + 117x35 + 86x36 + 552x37 + 632x38 + 199x39 + 709x40 + 525x41 + 724x42 + 619x43 + 553x44 + 872x45 + 507x46 + 196x47 + 293x48 + 311x49 + 144x50 + 65x51 + 252x52 + 276x53 + 439x54 + 534x55 + 828x56 + 290x57 + 868x58 + 563x59 + 435x60 + 703x61 + 395x62 + 271x63 + 421x64 + 566x65 + 639x66 + 331x67 + 824x68 + 153x69 + 99x70 + 325x71 + 710x72 + 697x73 + 290x74 + 139x75 + 488x76 + 917x77 + 263x78 + 444x79 + 170x80 + 60x81 + 700x82 + 676x83 + 483x84 + 795x85 + 100x86 + 96x87 + 857x88 + 917x89 + 183x90 + 876x91 + 702x92 + 61x93 + 664x94 + 253x95 + 429x96 + 52x97 + 783x98 + 778x99 + 162x100 <=22947 constr3: + 796x1 + 104x2 + 624x3 + 165x4 + 793x5 + 320x6 + 594x7 + 357x8 + 962x9 + 43x10 + 405x11 + 187x12 + 75x13 + 951x14 + 597x15 + 422x16 + 399x17 + 246x18 + 466x19 + 664x20 + 40x21 + 646x22 + 848x23 + 227x24 + 550x25 + 40x26 + 761x27 + 70x28 + 681x29 + 779x30 + 122x31 + 884x32 + 103x33 + 950x34 + 704x35 + 659x36 + 549x37 + 799x38 + 521x39 + 183x40 + 614x41 + 230x42 + 618x43 + 306x44 + 435x45 + 329x46 + 972x47 + 837x48 + 96x49 + 150x50 + 77x51 + 91x52 + 123x53 + 554x54 + 112x55 + 330x56 + 851x57 + 492x58 + 4x59 + 640x60 + 572x61 + 984x62 + 293x63 + 670x64 + 700x65 + 109x66 + 356x67 + 519x68 + 621x69 + 494x70 + 183x71 + 512x72 + 625x73 + 377x74 + 961x75 + 693x76 + 142x77 + 889x78 + 976x79 + 784x80 + 199x81 + 483x82 + 777x83 + 952x84 + 318x85 + 682x86 + 795x87 + 618x88 + 714x89 + 619x90 + 69x91 + 178x92 + 373x93 + 81x94 + 481x95 + 256x96 + 586x97 + 222x98 + 485x99 + 51x100 <=23773 constr4: + 121x1 + 494x2 + 110x3 + 551x4 + 979x5 + 435x6 + 731x7 + 494x8 + 652x9 + 399x10 + 818x11 + 215x12 + 858x13 + 318x14 + 61x15 + 40x16 + 466x17 + 127x18 + 58x19 + 597x20 + 197x21 + 494x22 + 693x23 + 934x24 + 349x25 + 459x26 + 606x27 + 274x28 + 298x29 + 96x30 + 107x31 + 70x32 + 154x33 + 902x34 + 555x35 + 99x36 + 36x37 + 524x38 + 104x39 + 827x40 + 339x41 + 716x42 + 897x43 + 906x44 + 763x45 + 430x46 + 770x47 + 660x48 + 93x49 + 1000x50 + 325x51 + 361x52 + 427x53 + 284x54 + 492x55 + 667x56 + 754x57 + 136x58 + 622x59 + 412x60 + 210x61 + 172x62 + 189x63 + 832x64 + 207x65 + 838x66 + 345x67 + 550x68 + 229x69 + 165x70 + 599x71 + 557x72 + 805x73 + 175x74 + 951x75 + 992x76 + 209x77 + 227x78 + 624x79 + 786x80 + 953x81 + 734x82 + 747x83 + 600x84 + 372x85 + 862x86 + 426x87 + 345x88 + 534x89 + 376x90 + 743x91 + 254x92 + 772x93 + 825x94 + 740x95 + 800x96 + 224x97 + 511x98 + 262x99 + 118x100 <=24108 constr5: + 524x1 + 814x2 + 921x3 + 756x4 + 337x5 + 737x6 + 906x7 + 971x8 + 797x9 + 54x10 + 294x11 + 907x12 + 717x13 + 776x14 + 277x15 + 592x16 + 536x17 + 35x18 + 870x19 + 375x20 + 552x21 + 226x22 + 146x23 + 439x24 + 735x25 + 368x26 + 720x27 + 720x28 + 373x29 + 912x30 + 123x31 + 453x32 + 499x33 + 93x34 + 886x35 + 472x36 + 679x37 + 73x38 + 490x39 + 698x40 + 197x41 + 654x42 + 725x43 + 951x44 + 514x45 + 358x46 + 827x47 + 515x48 + 264x49 + 475x50 + 617x51 + 447x52 + 664x53 + 286x54 + 342x55 + 505x56 + 923x57 + 976x58 + 968x59 + 775x60 + 742x61 + 514x62 + 704x63 + 953x64 + 265x65 + 260x66 + 421x67 + 497x68 + 495x69 + 944x70 + 697x71 + 316x72 + 387x73 + 172x74 + 349x75 + 894x76 + 158x77 + 801x78 + 341x79 + 599x80 + 739x81 + 791x82 + 35x83 + 223x84 + 878x85 + 709x86 + 269x87 + 578x88 + 232x89 + 298x90 + 902x91 + 124x92 + 644x93 + 644x94 + 884x95 + 683x96 + 543x97 + 275x98 + 871x99 + 831x100 <=27749 constr6: + 905x1 + 125x2 + 709x3 + 171x4 + 182x5 + 456x6 + 173x7 + 616x8 + 155x9 + 137x10 + 794x11 + 437x12 + 680x13 + 759x14 + 139x15 + 273x16 + 427x17 + 894x18 + 429x19 + 844x20 + 398x21 + 845x22 + 119x23 + 673x24 + 774x25 + 647x26 + 201x27 + 300x28 + 819x29 + 729x30 + 460x31 + 450x32 + 718x33 + 944x34 + 47x35 + 125x36 + 470x37 + 984x38 + 854x39 + 509x40 + 232x41 + 484x42 + 123x43 + 749x44 + 881x45 + 322x46 + 826x47 + 747x48 + 693x49 + 330x50 + 54x51 + 149x52 + 462x53 + 65x54 + 102x55 + 532x56 + 124x57 + 882x58 + 756x59 + 50x60 + 727x61 + 151x62 + 523x63 + 74x64 + 964x65 + 978x66 + 958x67 + 172x68 + 211x69 + 406x70 + 160x71 + 173x72 + 269x73 + 517x74 + 296x75 + 80x76 + 742x77 + 824x78 + 176x79 + 934x80 + 590x81 + 752x82 + 409x83 + 167x84 + 535x85 + 807x86 + 209x87 + 326x88 + 766x89 + 797x90 + 384x91 + 542x92 + 898x93 + 468x94 + 45x95 + 631x96 + 597x97 + 658x98 + 187x99 + 430x100 <=24234 constr7: + 133x1 + 306x2 + 275x3 + 719x4 + 906x5 + 153x6 + 776x7 + 332x8 + 197x9 + 9x10 + 309x11 + 403x12 + 877x13 + 984x14 + 254x15 + 392x16 + 33x17 + 622x18 + 145x19 + 351x20 + 300x21 + 321x22 + 715x23 + 976x24 + 572x25 + 776x26 + 122x27 + 561x28 + 24x29 + 665x30 + 742x31 + 844x32 + 877x33 + 131x34 + 494x35 + 933x36 + 399x37 + 635x38 + 828x39 + 770x40 + 24x41 + 95x42 + 64x43 + 928x44 + 306x45 + 563x46 + 77x47 + 985x48 + 980x49 + 695x50 + 797x51 + 184x52 + 247x53 + 237x54 + 342x55 + 912x56 + 293x57 + 572x58 + 497x59 + 975x60 + 342x61 + 230x62 + 894x63 + 718x64 + 82x65 + 569x66 + 994x67 + 110x68 + 765x69 + 216x70 + 907x71 + 482x72 + 534x73 + 391x74 + 858x75 + 494x76 + 854x77 + 881x78 + 933x79 + 394x80 + 936x81 + 609x82 + 167x83 + 839x84 + 813x85 + 42x86 + 120x87 + 270x88 + 677x89 + 55x90 + 331x91 + 499x92 + 333x93 + 602x94 + 181x95 + 949x96 + 995x97 + 637x98 + 366x99 + 289x100 <=25496 constr8: + 171x1 + 706x2 + 39x3 + 452x4 + 647x5 + 683x6 + 754x7 + 597x8 + 647x9 + 113x10 + 71x11 + 732x12 + 534x13 + 885x14 + 133x15 + 77x16 + 896x17 + 87x18 + 706x19 + 794x20 + 181x21 + 290x22 + 360x23 + 731x24 + 239x25 + 580x26 + 632x27 + 23x28 + 403x29 + 591x30 + 780x31 + 184x32 + 777x33 + 697x34 + 206x35 + 719x36 + 355x37 + 619x38 + 233x39 + 709x40 + 39x41 + 683x42 + 307x43 + 397x44 + 13x45 + 210x46 + 455x47 + 866x48 + 383x49 + 741x50 + 948x51 + 587x52 + 564x53 + 812x54 + 968x55 + 713x56 + 755x57 + 284x58 + 778x59 + 325x60 + 927x61 + 317x62 + 354x63 + 785x64 + 127x65 + 99x66 + 193x67 + 221x68 + 418x69 + 549x70 + 351x71 + 974x72 + 765x73 + 104x74 + 416x75 + 686x76 + 381x77 + 440x78 + 542x79 + 686x80 + 547x81 + 155x82 + 30x83 + 883x84 + 658x85 + 254x86 + 954x87 + 531x88 + 265x89 + 83x90 + 177x91 + 295x92 + 32x93 + 337x94 + 16x95 + 526x96 + 525x97 + 539x98 + 743x99 + 949x100 <=23848 constr9: + 741x1 + 692x2 + 348x3 + 584x4 + 857x5 + 135x6 + 975x7 + 719x8 + 254x9 + 64x10 + 682x11 + 456x12 + 650x13 + 497x14 + 559x15 + 737x16 + 367x17 + 951x18 + 463x19 + 947x20 + 73x21 + 897x22 + 886x23 + 268x24 + 951x25 + 643x26 + 648x27 + 349x28 + 660x29 + 30x30 + 169x31 + 22x32 + 994x33 + 501x34 + 807x35 + 403x36 + 195x37 + 88x38 + 288x39 + 743x40 + 552x41 + 505x42 + 275x43 + 842x44 + 110x45 + 792x46 + 480x47 + 564x48 + 899x49 + 175x50 + 287x51 + 695x52 + 475x53 + 197x54 + 225x55 + 102x56 + 291x57 + 858x58 + 704x59 + 639x60 + 978x61 + 535x62 + 975x63 + 154x64 + 923x65 + 531x66 + 961x67 + 806x68 + 188x69 + 828x70 + 155x71 + 600x72 + 267x73 + 124x74 + 368x75 + 483x76 + 333x77 + 776x78 + 697x79 + 142x80 + 303x81 + 63x82 + 97x83 + 24x84 + 920x85 + 471x86 + 9x87 + 620x88 + 964x89 + 775x90 + 56x91 + 524x92 + 545x93 + 867x94 + 232x95 + 183x96 + 879x97 + 35x98 + 689x99 + 379x100 <=25210 constr10: + 859x1 + 3x2 + 175x3 + 953x4 + 232x5 + 376x6 + 658x7 + 995x8 + 881x9 + 272x10 + 609x11 + 837x12 + 697x13 + 686x14 + 214x15 + 854x16 + 79x17 + 760x18 + 87x19 + 630x20 + 418x21 + 121x22 + 458x23 + 109x24 + 952x25 + 92x26 + 741x27 + 7x28 + 751x29 + 903x30 + 217x31 + 449x32 + 992x33 + 44x34 + 677x35 + 362x36 + 46x37 + 726x38 + 185x39 + 969x40 + 306x41 + 120x42 + 185x43 + 611x44 + 275x45 + 53x46 + 69x47 + 385x48 + 544x49 + 655x50 + 35x51 + 139x52 + 710x53 + 720x54 + 772x55 + 472x56 + 176x57 + 594x58 + 30x59 + 416x60 + 265x61 + 959x62 + 951x63 + 783x64 + 291x65 + 167x66 + 20x67 + 210x68 + 453x69 + 733x70 + 405x71 + 975x72 + 310x73 + 481x74 + 585x75 + 550x76 + 764x77 + 35x78 + 976x79 + 25x80 + 363x81 + 996x82 + 692x83 + 445x84 + 198x85 + 405x86 + 279x87 + 670x88 + 183x89 + 772x90 + 195x91 + 28x92 + 687x93 + 426x94 + 411x95 + 431x96 + 148x97 + 141x98 + 525x99 + 11x100 <=22644 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