maximize objective: + 949x1 + 754x2 + 1040x3 + 911x4 + 731x5 + 580x6 + 626x7 + 784x8 + 777x9 + 579x10 + 744x11 + 579x12 + 462x13 + 1030x14 + 676x15 + 849x16 + 1059x17 + 1047x18 + 732x19 + 761x20 + 892x21 + 466x22 + 851x23 + 742x24 + 732x25 + 943x26 + 890x27 + 619x28 + 969x29 + 661x30 + 640x31 + 819x32 + 659x33 + 552x34 + 922x35 + 865x36 + 1057x37 + 996x38 + 382x39 + 851x40 + 410x41 + 661x42 + 683x43 + 753x44 + 623x45 + 640x46 + 684x47 + 656x48 + 871x49 + 1005x50 + 985x51 + 588x52 + 549x53 + 798x54 + 929x55 + 949x56 + 877x57 + 1080x58 + 737x59 + 801x60 + 789x61 + 663x62 + 934x63 + 992x64 + 1014x65 + 881x66 + 402x67 + 487x68 + 985x69 + 515x70 + 479x71 + 554x72 + 660x73 + 920x74 + 509x75 + 624x76 + 819x77 + 656x78 + 921x79 + 819x80 + 895x81 + 704x82 + 654x83 + 699x84 + 611x85 + 439x86 + 550x87 + 429x88 + 843x89 + 807x90 + 986x91 + 651x92 + 632x93 + 1062x94 + 992x95 + 678x96 + 653x97 + 650x98 + 786x99 + 574x100 subject to constr1: + 322x1 + 764x2 + 350x3 + 539x4 + 319x5 + 810x6 + 996x7 + 713x8 + 982x9 + 495x10 + 389x11 + 175x12 + 894x13 + 959x14 + 26x15 + 326x16 + 528x17 + 823x18 + 568x19 + 533x20 + 486x21 + 437x22 + 186x23 + 800x24 + 720x25 + 35x26 + 686x27 + 679x28 + 518x29 + 967x30 + 43x31 + 228x32 + 932x33 + 852x34 + 934x35 + 834x36 + 273x37 + 613x38 + 70x39 + 518x40 + 30x41 + 95x42 + 46x43 + 46x44 + 999x45 + 716x46 + 44x47 + 324x48 + 843x49 + 55x50 + 451x51 + 929x52 + 907x53 + 659x54 + 932x55 + 194x56 + 316x57 + 193x58 + 165x59 + 372x60 + 620x61 + 381x62 + 104x63 + 78x64 + 791x65 + 160x66 + 50x67 + 922x68 + 910x69 + 116x70 + 327x71 + 515x72 + 964x73 + 625x74 + 48x75 + 470x76 + 257x77 + 546x78 + 786x79 + 416x80 + 746x81 + 550x82 + 949x83 + 740x84 + 623x85 + 352x86 + 282x87 + 665x88 + 562x89 + 990x90 + 666x91 + 780x92 + 592x93 + 337x94 + 429x95 + 635x96 + 713x97 + 705x98 + 873x99 + 269x100 <=39137 constr2: + 183x1 + 694x2 + 671x3 + 834x4 + 24x5 + 238x6 + 100x7 + 806x8 + 100x9 + 330x10 + 437x11 + 532x12 + 14x13 + 335x14 + 872x15 + 260x16 + 354x17 + 941x18 + 578x19 + 213x20 + 810x21 + 201x22 + 676x23 + 713x24 + 481x25 + 682x26 + 796x27 + 315x28 + 740x29 + 54x30 + 612x31 + 1x32 + 811x33 + 123x34 + 581x35 + 345x36 + 979x37 + 333x38 + 938x39 + 773x40 + 265x41 + 347x42 + 597x43 + 38x44 + 646x45 + 287x46 + 594x47 + 914x48 + 125x49 + 785x50 + 277x51 + 582x52 + 405x53 + 618x54 + 947x55 + 801x56 + 943x57 + 665x58 + 91x59 + 974x60 + 63x61 + 96x62 + 971x63 + 303x64 + 586x65 + 812x66 + 258x67 + 897x68 + 444x69 + 399x70 + 562x71 + 452x72 + 486x73 + 45x74 + 977x75 + 816x76 + 562x77 + 1000x78 + 148x79 + 182x80 + 494x81 + 644x82 + 482x83 + 955x84 + 74x85 + 122x86 + 961x87 + 38x88 + 402x89 + 397x90 + 619x91 + 515x92 + 98x93 + 966x94 + 686x95 + 487x96 + 908x97 + 640x98 + 710x99 + 315x100 <=38215 constr3: + 794x1 + 939x2 + 699x3 + 516x4 + 181x5 + 273x6 + 170x7 + 720x8 + 138x9 + 922x10 + 901x11 + 440x12 + 167x13 + 983x14 + 410x15 + 798x16 + 305x17 + 608x18 + 228x19 + 774x20 + 658x21 + 231x22 + 27x23 + 980x24 + 181x25 + 353x26 + 452x27 + 457x28 + 946x29 + 352x30 + 129x31 + 397x32 + 863x33 + 474x34 + 878x35 + 227x36 + 997x37 + 814x38 + 184x39 + 583x40 + 206x41 + 748x42 + 718x43 + 120x44 + 79x45 + 361x46 + 925x47 + 246x48 + 738x49 + 525x50 + 757x51 + 954x52 + 280x53 + 150x54 + 148x55 + 456x56 + 104x57 + 728x58 + 766x59 + 477x60 + 242x61 + 395x62 + 50x63 + 688x64 + 867x65 + 610x66 + 123x67 + 210x68 + 958x69 + 621x70 + 603x71 + 677x72 + 54x73 + 726x74 + 959x75 + 782x76 + 310x77 + 811x78 + 770x79 + 715x80 + 237x81 + 336x82 + 51x83 + 650x84 + 443x85 + 770x86 + 390x87 + 7x88 + 884x89 + 116x90 + 620x91 + 635x92 + 110x93 + 82x94 + 658x95 + 172x96 + 12x97 + 206x98 + 417x99 + 450x100 <=36789 constr4: + 624x1 + 509x2 + 962x3 + 322x4 + 355x5 + 657x6 + 479x7 + 346x8 + 477x9 + 997x10 + 338x11 + 60x12 + 819x13 + 290x14 + 415x15 + 759x16 + 627x17 + 180x18 + 577x19 + 600x20 + 688x21 + 324x22 + 501x23 + 147x24 + 237x25 + 964x26 + 552x27 + 577x28 + 964x29 + 668x30 + 81x31 + 521x32 + 396x33 + 535x34 + 142x35 + 743x36 + 308x37 + 588x38 + 400x39 + 556x40 + 266x41 + 517x42 + 133x43 + 883x44 + 490x45 + 722x46 + 881x47 + 767x48 + 384x49 + 331x50 + 644x51 + 253x52 + 908x53 + 712x54 + 930x55 + 821x56 + 311x57 + 921x58 + 141x59 + 375x60 + 769x61 + 188x62 + 395x63 + 592x64 + 209x65 + 850x66 + 135x67 + 674x68 + 497x69 + 424x70 + 639x71 + 52x72 + 439x73 + 605x74 + 539x75 + 990x76 + 180x77 + 217x78 + 209x79 + 291x80 + 338x81 + 880x82 + 712x83 + 956x84 + 624x85 + 889x86 + 155x87 + 593x88 + 397x89 + 306x90 + 785x91 + 478x92 + 237x93 + 279x94 + 134x95 + 727x96 + 143x97 + 310x98 + 348x99 + 595x100 <=37841 constr5: + 962x1 + 780x2 + 543x3 + 762x4 + 827x5 + 965x6 + 587x7 + 935x8 + 40x9 + 142x10 + 494x11 + 539x12 + 186x13 + 114x14 + 709x15 + 374x16 + 836x17 + 782x18 + 455x19 + 454x20 + 861x21 + 870x22 + 956x23 + 310x24 + 96x25 + 700x26 + 643x27 + 278x28 + 510x29 + 172x30 + 838x31 + 428x32 + 968x33 + 128x34 + 790x35 + 277x36 + 334x37 + 628x38 + 190x39 + 244x40 + 606x41 + 185x42 + 257x43 + 311x44 + 926x45 + 258x46 + 746x47 + 684x48 + 537x49 + 872x50 + 375x51 + 526x52 + 377x53 + 766x54 + 237x55 + 503x56 + 992x57 + 532x58 + 690x59 + 492x60 + 766x61 + 859x62 + 237x63 + 68x64 + 697x65 + 189x66 + 789x67 + 15x68 + 937x69 + 634x70 + 139x71 + 654x72 + 175x73 + 819x74 + 585x75 + 534x76 + 168x77 + 935x78 + 816x79 + 804x80 + 869x81 + 886x82 + 419x83 + 520x84 + 992x85 + 81x86 + 861x87 + 433x88 + 334x89 + 870x90 + 610x91 + 443x92 + 136x93 + 964x94 + 592x95 + 923x96 + 791x97 + 235x98 + 444x99 + 215x100 <=41263 constr6: + 914x1 + 120x2 + 340x3 + 645x4 + 961x5 + 995x6 + 296x7 + 194x8 + 287x9 + 706x10 + 23x11 + 863x12 + 970x13 + 641x14 + 891x15 + 275x16 + 986x17 + 304x18 + 707x19 + 915x20 + 147x21 + 362x22 + 237x23 + 98x24 + 682x25 + 478x26 + 368x27 + 608x28 + 809x29 + 320x30 + 690x31 + 780x32 + 155x33 + 158x34 + 879x35 + 442x36 + 870x37 + 58x38 + 236x39 + 938x40 + 35x41 + 993x42 + 350x43 + 429x44 + 359x45 + 200x46 + 358x47 + 688x48 + 551x49 + 322x50 + 769x51 + 279x52 + 214x53 + 673x54 + 664x55 + 713x56 + 542x57 + 562x58 + 837x59 + 949x60 + 303x61 + 55x62 + 192x63 + 903x64 + 315x65 + 986x66 + 420x67 + 939x68 + 493x69 + 63x70 + 213x71 + 469x72 + 933x73 + 695x74 + 198x75 + 118x76 + 317x77 + 179x78 + 117x79 + 784x80 + 880x81 + 495x82 + 685x83 + 60x84 + 239x85 + 554x86 + 950x87 + 207x88 + 923x89 + 311x90 + 222x91 + 281x92 + 746x93 + 61x94 + 646x95 + 673x96 + 426x97 + 15x98 + 813x99 + 313x100 <=37520 constr7: + 414x1 + 618x2 + 837x3 + 85x4 + 108x5 + 106x6 + 311x7 + 218x8 + 506x9 + 515x10 + 495x11 + 945x12 + 4x13 + 512x14 + 207x15 + 537x16 + 846x17 + 238x18 + 485x19 + 790x20 + 873x21 + 222x22 + 860x23 + 147x24 + 528x25 + 52x26 + 11x27 + 768x28 + 288x29 + 50x30 + 248x31 + 180x32 + 370x33 + 884x34 + 978x35 + 977x36 + 991x37 + 154x38 + 848x39 + 761x40 + 352x41 + 856x42 + 317x43 + 380x44 + 562x45 + 532x46 + 737x47 + 199x48 + 420x49 + 812x50 + 622x51 + 100x52 + 441x53 + 422x54 + 431x55 + 301x56 + 803x57 + 452x58 + 976x59 + 693x60 + 310x61 + 69x62 + 797x63 + 668x64 + 783x65 + 805x66 + 237x67 + 392x68 + 856x69 + 704x70 + 83x71 + 755x72 + 894x73 + 241x74 + 903x75 + 194x76 + 965x77 + 884x78 + 553x79 + 511x80 + 959x81 + 77x82 + 209x83 + 299x84 + 585x85 + 511x86 + 30x87 + 5x88 + 338x89 + 772x90 + 261x91 + 848x92 + 202x93 + 984x94 + 718x95 + 344x96 + 71x97 + 876x98 + 245x99 + 243x100 <=37167 constr8: + 511x1 + 555x2 + 933x3 + 952x4 + 468x5 + 654x6 + 373x7 + 545x8 + 458x9 + 295x10 + 816x11 + 679x12 + 225x13 + 688x14 + 893x15 + 673x16 + 267x17 + 954x18 + 171x19 + 732x20 + 893x21 + 845x22 + 81x23 + 458x24 + 750x25 + 338x26 + 73x27 + 290x28 + 801x29 + 609x30 + 363x31 + 195x32 + 602x33 + 371x34 + 433x35 + 544x36 + 258x37 + 935x38 + 38x39 + 722x40 + 130x41 + 126x42 + 333x43 + 888x44 + 897x45 + 550x46 + 283x47 + 407x48 + 822x49 + 150x50 + 939x51 + 162x52 + 685x53 + 213x54 + 918x55 + 337x56 + 809x57 + 843x58 + 647x59 + 793x60 + 997x61 + 837x62 + 983x63 + 878x64 + 851x65 + 521x66 + 493x67 + 235x68 + 440x69 + 406x70 + 779x71 + 837x72 + 606x73 + 440x74 + 25x75 + 531x76 + 111x77 + 886x78 + 18x79 + 742x80 + 586x81 + 436x82 + 73x83 + 256x84 + 848x85 + 279x86 + 513x87 + 430x88 + 539x89 + 148x90 + 263x91 + 348x92 + 139x93 + 871x94 + 992x95 + 677x96 + 48x97 + 541x98 + 210x99 + 936x100 <=39842 constr9: + 647x1 + 8x2 + 204x3 + 898x4 + 349x5 + 238x6 + 692x7 + 742x8 + 156x9 + 168x10 + 772x11 + 276x12 + 272x13 + 779x14 + 955x15 + 644x16 + 976x17 + 921x18 + 109x19 + 272x20 + 477x21 + 300x22 + 698x23 + 197x24 + 396x25 + 648x26 + 312x27 + 640x28 + 291x29 + 598x30 + 256x31 + 537x32 + 430x33 + 631x34 + 952x35 + 737x36 + 895x37 + 847x38 + 549x39 + 98x40 + 310x41 + 189x42 + 943x43 + 202x44 + 662x45 + 316x46 + 82x47 + 471x48 + 580x49 + 875x50 + 440x51 + 993x52 + 389x53 + 516x54 + 840x55 + 91x56 + 623x57 + 815x58 + 356x59 + 407x60 + 283x61 + 796x62 + 950x63 + 900x64 + 797x65 + 19x66 + 624x67 + 9x68 + 84x69 + 603x70 + 158x71 + 223x72 + 311x73 + 292x74 + 428x75 + 72x76 + 846x77 + 350x78 + 366x79 + 321x80 + 932x81 + 357x82 + 43x83 + 80x84 + 957x85 + 411x86 + 457x87 + 685x88 + 899x89 + 340x90 + 503x91 + 674x92 + 729x93 + 640x94 + 493x95 + 635x96 + 444x97 + 162x98 + 620x99 + 36x100 <=36897 constr10: + 364x1 + 707x2 + 724x3 + 645x4 + 278x5 + 70x6 + 154x7 + 566x8 + 215x9 + 353x10 + 830x11 + 58x12 + 920x13 + 673x14 + 414x15 + 613x16 + 860x17 + 538x18 + 428x19 + 916x20 + 458x21 + 512x22 + 463x23 + 801x24 + 243x25 + 569x26 + 500x27 + 556x28 + 291x29 + 375x30 + 603x31 + 193x32 + 952x33 + 526x34 + 106x35 + 404x36 + 91x37 + 666x38 + 314x39 + 420x40 + 1x41 + 198x42 + 611x43 + 217x44 + 424x45 + 604x46 + 80x47 + 799x48 + 386x49 + 848x50 + 818x51 + 697x52 + 524x53 + 99x54 + 677x55 + 972x56 + 675x57 + 655x58 + 933x59 + 456x60 + 643x61 + 983x62 + 198x63 + 215x64 + 671x65 + 597x66 + 270x67 + 515x68 + 551x69 + 545x70 + 596x71 + 498x72 + 508x73 + 460x74 + 261x75 + 848x76 + 13x77 + 24x78 + 834x79 + 672x80 + 128x81 + 229x82 + 266x83 + 378x84 + 471x85 + 187x86 + 545x87 + 963x88 + 16x89 + 676x90 + 398x91 + 104x92 + 330x93 + 869x94 + 597x95 + 200x96 + 648x97 + 391x98 + 65x99 + 972x100 <=36284 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