maximize 
objective: + 887x1 + 499x2 + 417x3 + 729x4 + 644x5 + 900x6 + 881x7 + 765x8 + 571x9 + 813x10 + 473x11 + 682x12 + 697x13 + 1103x14 + 973x15 + 841x16 + 733x17 + 759x18 + 620x19 + 704x20 + 1015x21 + 778x22 + 1036x23 + 695x24 + 468x25 + 451x26 + 522x27 + 724x28 + 581x29 + 521x30 + 951x31 + 502x32 + 1022x33 + 604x34 + 622x35 + 756x36 + 804x37 + 596x38 + 674x39 + 570x40 + 742x41 + 403x42 + 745x43 + 1178x44 + 725x45 + 540x46 + 627x47 + 957x48 + 926x49 + 690x50 + 887x51 + 567x52 + 933x53 + 822x54 + 803x55 + 541x56 + 629x57 + 1111x58 + 501x59 + 907x60 + 862x61 + 534x62 + 1097x63 + 870x64 + 637x65 + 622x66 + 1013x67 + 641x68 + 783x69 + 782x70 + 783x71 + 788x72 + 901x73 + 1076x74 + 659x75 + 890x76 + 689x77 + 869x78 + 820x79 + 849x80 + 807x81 + 851x82 + 445x83 + 553x84 + 594x85 + 584x86 + 574x87 + 441x88 + 416x89 + 656x90 + 769x91 + 771x92 + 735x93 + 730x94 + 607x95 + 906x96 + 818x97 + 986x98 + 553x99 + 789x100 
subject to 
constr1: + 387x1 + 969x2 + 277x3 + 755x4 + 230x5 + 405x6 + 852x7 + 653x8 + 785x9 + 852x10 + 121x11 + 866x12 + 853x13 + 831x14 + 566x15 + 641x16 + 918x17 + 771x18 + 258x19 + 962x20 + 483x21 + 298x22 + 409x23 + 352x24 + 765x25 + 990x26 + 699x27 + 878x28 + 801x29 + 83x30 + 949x31 + 586x32 + 46x33 + 506x34 + 178x35 + 563x36 + 141x37 + 668x38 + 464x39 + 444x40 + 27x41 + 157x42 + 394x43 + 734x44 + 896x45 + 268x46 + 409x47 + 919x48 + 477x49 + 876x50 + 89x51 + 29x52 + 927x53 + 636x54 + 412x55 + 17x56 + 510x57 + 838x58 + 721x59 + 931x60 + 476x61 + 794x62 + 322x63 + 545x64 + 958x65 + 592x66 + 889x67 + 967x68 + 524x69 + 184x70 + 848x71 + 885x72 + 184x73 + 249x74 + 346x75 + 203x76 + 137x77 + 811x78 + 645x79 + 126x80 + 564x81 + 118x82 + 237x83 + 719x84 + 703x85 + 526x86 + 231x87 + 496x88 + 645x89 + 5x90 + 146x91 + 54x92 + 553x93 + 655x94 + 877x95 + 988x96 + 59x97 + 732x98 + 144x99 + 573x100 <=39924 
constr2: + 539x1 + 15x2 + 100x3 + 296x4 + 401x5 + 329x6 + 953x7 + 801x8 + 232x9 + 285x10 + 668x11 + 636x12 + 341x13 + 969x14 + 493x15 + 128x16 + 235x17 + 274x18 + 129x19 + 404x20 + 852x21 + 812x22 + 621x23 + 645x24 + 800x25 + 651x26 + 21x27 + 507x28 + 966x29 + 829x30 + 791x31 + 199x32 + 874x33 + 404x34 + 883x35 + 284x36 + 660x37 + 764x38 + 535x39 + 568x40 + 525x41 + 369x42 + 436x43 + 489x44 + 271x45 + 838x46 + 994x47 + 792x48 + 172x49 + 661x50 + 868x51 + 415x52 + 187x53 + 210x54 + 675x55 + 849x56 + 905x57 + 854x58 + 731x59 + 518x60 + 61x61 + 260x62 + 792x63 + 403x64 + 834x65 + 749x66 + 590x67 + 123x68 + 555x69 + 627x70 + 595x71 + 288x72 + 584x73 + 760x74 + 870x75 + 15x76 + 427x77 + 996x78 + 59x79 + 759x80 + 544x81 + 561x82 + 6x83 + 328x84 + 472x85 + 551x86 + 483x87 + 555x88 + 12x89 + 350x90 + 407x91 + 797x92 + 34x93 + 496x94 + 753x95 + 954x96 + 482x97 + 626x98 + 645x99 + 372x100 <=39321 
constr3: + 213x1 + 317x2 + 214x3 + 185x4 + 130x5 + 169x6 + 153x7 + 205x8 + 647x9 + 420x10 + 586x11 + 53x12 + 145x13 + 629x14 + 831x15 + 766x16 + 140x17 + 892x18 + 102x19 + 857x20 + 722x21 + 246x22 + 784x23 + 16x24 + 412x25 + 249x26 + 394x27 + 597x28 + 802x29 + 467x30 + 967x31 + 254x32 + 66x33 + 11x34 + 656x35 + 458x36 + 105x37 + 628x38 + 502x39 + 107x40 + 381x41 + 485x42 + 885x43 + 905x44 + 150x45 + 306x46 + 129x47 + 251x48 + 928x49 + 152x50 + 932x51 + 828x52 + 554x53 + 195x54 + 791x55 + 134x56 + 563x57 + 560x58 + 389x59 + 50x60 + 466x61 + 489x62 + 742x63 + 283x64 + 154x65 + 444x66 + 528x67 + 821x68 + 911x69 + 954x70 + 629x71 + 129x72 + 916x73 + 968x74 + 149x75 + 757x76 + 727x77 + 280x78 + 946x79 + 357x80 + 643x81 + 724x82 + 325x83 + 284x84 + 252x85 + 944x86 + 388x87 + 241x88 + 160x89 + 940x90 + 680x91 + 546x92 + 602x93 + 692x94 + 111x95 + 633x96 + 822x97 + 824x98 + 87x99 + 425x100 <=35729 
constr4: + 867x1 + 210x2 + 509x3 + 806x4 + 540x5 + 580x6 + 449x7 + 95x8 + 733x9 + 861x10 + 362x11 + 789x12 + 397x13 + 863x14 + 208x15 + 249x16 + 248x17 + 946x18 + 566x19 + 551x20 + 410x21 + 302x22 + 699x23 + 989x24 + 259x25 + 323x26 + 325x27 + 769x28 + 716x29 + 760x30 + 469x31 + 165x32 + 981x33 + 317x34 + 848x35 + 500x36 + 685x37 + 202x38 + 738x39 + 313x40 + 174x41 + 307x42 + 955x43 + 612x44 + 678x45 + 762x46 + 158x47 + 723x48 + 662x49 + 747x50 + 46x51 + 338x52 + 664x53 + 725x54 + 456x55 + 795x56 + 243x57 + 486x58 + 54x59 + 588x60 + 94x61 + 260x62 + 225x63 + 682x64 + 486x65 + 443x66 + 380x67 + 161x68 + 319x69 + 345x70 + 848x71 + 545x72 + 588x73 + 498x74 + 795x75 + 944x76 + 207x77 + 548x78 + 399x79 + 450x80 + 303x81 + 907x82 + 580x83 + 768x84 + 276x85 + 690x86 + 837x87 + 124x88 + 980x89 + 766x90 + 3x91 + 504x92 + 747x93 + 35x94 + 716x95 + 289x96 + 69x97 + 538x98 + 873x99 + 871x100 <=38899 
constr5: + 715x1 + 457x2 + 258x3 + 441x4 + 358x5 + 793x6 + 450x7 + 570x8 + 615x9 + 446x10 + 35x11 + 150x12 + 434x13 + 304x14 + 879x15 + 299x16 + 974x17 + 844x18 + 147x19 + 39x20 + 117x21 + 602x22 + 140x23 + 598x24 + 308x25 + 429x26 + 22x27 + 344x28 + 801x29 + 876x30 + 56x31 + 68x32 + 984x33 + 923x34 + 794x35 + 87x36 + 396x37 + 872x38 + 58x39 + 330x40 + 301x41 + 687x42 + 513x43 + 983x44 + 775x45 + 69x46 + 992x47 + 817x48 + 252x49 + 540x50 + 33x51 + 654x52 + 294x53 + 147x54 + 464x55 + 6x56 + 711x57 + 954x58 + 30x59 + 112x60 + 748x61 + 977x62 + 689x63 + 249x64 + 78x65 + 990x66 + 229x67 + 316x68 + 766x69 + 432x70 + 945x71 + 424x72 + 739x73 + 831x74 + 233x75 + 620x76 + 966x77 + 647x78 + 391x79 + 499x80 + 448x81 + 457x82 + 329x83 + 288x84 + 536x85 + 640x86 + 936x87 + 224x88 + 734x89 + 524x90 + 813x91 + 906x92 + 430x93 + 448x94 + 796x95 + 807x96 + 485x97 + 611x98 + 150x99 + 168x100 <=37385 
constr6: + 221x1 + 489x2 + 472x3 + 412x4 + 473x5 + 911x6 + 173x7 + 479x8 + 103x9 + 505x10 + 883x11 + 418x12 + 504x13 + 283x14 + 440x15 + 236x16 + 321x17 + 106x18 + 780x19 + 876x20 + 687x21 + 752x22 + 787x23 + 708x24 + 285x25 + 145x26 + 896x27 + 724x28 + 533x29 + 137x30 + 91x31 + 427x32 + 504x33 + 305x34 + 262x35 + 214x36 + 885x37 + 590x38 + 955x39 + 647x40 + 739x41 + 192x42 + 702x43 + 700x44 + 134x45 + 803x46 + 193x47 + 236x48 + 355x49 + 352x50 + 19x51 + 178x52 + 28x53 + 120x54 + 552x55 + 247x56 + 211x57 + 477x58 + 6x59 + 809x60 + 623x61 + 321x62 + 397x63 + 853x64 + 743x65 + 235x66 + 436x67 + 574x68 + 665x69 + 701x70 + 852x71 + 723x72 + 880x73 + 206x74 + 414x75 + 370x76 + 889x77 + 504x78 + 290x79 + 303x80 + 261x81 + 970x82 + 406x83 + 938x84 + 677x85 + 579x86 + 283x87 + 227x88 + 22x89 + 635x90 + 942x91 + 998x92 + 689x93 + 850x94 + 596x95 + 414x96 + 826x97 + 108x98 + 146x99 + 364x100 <=36437 
constr7: + 571x1 + 11x2 + 247x3 + 517x4 + 920x5 + 435x6 + 547x7 + 276x8 + 162x9 + 507x10 + 316x11 + 660x12 + 119x13 + 337x14 + 957x15 + 787x16 + 232x17 + 714x18 + 341x19 + 96x20 + 760x21 + 132x22 + 711x23 + 587x24 + 45x25 + 580x26 + 95x27 + 590x28 + 25x29 + 614x30 + 272x31 + 47x32 + 437x33 + 921x34 + 174x35 + 347x36 + 778x37 + 14x38 + 662x39 + 626x40 + 111x41 + 635x42 + 735x43 + 740x44 + 466x45 + 380x46 + 183x47 + 791x48 + 759x49 + 741x50 + 661x51 + 510x52 + 920x53 + 495x54 + 659x55 + 696x56 + 538x57 + 768x58 + 183x59 + 533x60 + 836x61 + 921x62 + 957x63 + 681x64 + 935x65 + 534x66 + 775x67 + 974x68 + 758x69 + 327x70 + 815x71 + 220x72 + 274x73 + 577x74 + 890x75 + 720x76 + 988x77 + 812x78 + 93x79 + 765x80 + 232x81 + 346x82 + 596x83 + 332x84 + 151x85 + 501x86 + 319x87 + 805x88 + 321x89 + 69x90 + 260x91 + 443x92 + 980x93 + 284x94 + 610x95 + 681x96 + 503x97 + 818x98 + 610x99 + 903x100 <=39217 
constr8: + 389x1 + 615x2 + 558x3 + 218x4 + 490x5 + 492x6 + 6x7 + 750x8 + 367x9 + 896x10 + 263x11 + 724x12 + 397x13 + 852x14 + 914x15 + 708x16 + 323x17 + 549x18 + 30x19 + 521x20 + 920x21 + 844x22 + 373x23 + 192x24 + 560x25 + 207x26 + 671x27 + 822x28 + 958x29 + 214x30 + 352x31 + 612x32 + 885x33 + 365x34 + 474x35 + 907x36 + 903x37 + 173x38 + 723x39 + 959x40 + 970x41 + 145x42 + 228x43 + 438x44 + 837x45 + 744x46 + 959x47 + 221x48 + 534x49 + 751x50 + 854x51 + 510x52 + 865x53 + 316x54 + 219x55 + 627x56 + 904x57 + 747x58 + 771x59 + 474x60 + 653x61 + 257x62 + 785x63 + 790x64 + 152x65 + 386x66 + 412x67 + 633x68 + 729x69 + 43x70 + 256x71 + 451x72 + 85x73 + 926x74 + 22x75 + 873x76 + 441x77 + 448x78 + 954x79 + 662x80 + 495x81 + 76x82 + 888x83 + 563x84 + 827x85 + 182x86 + 838x87 + 110x88 + 332x89 + 511x90 + 879x91 + 595x92 + 779x93 + 724x94 + 877x95 + 869x96 + 549x97 + 733x98 + 180x99 + 867x100 <=42092 
constr9: + 25x1 + 766x2 + 238x3 + 306x4 + 456x5 + 87x6 + 474x7 + 518x8 + 935x9 + 252x10 + 76x11 + 337x12 + 446x13 + 204x14 + 723x15 + 831x16 + 478x17 + 233x18 + 453x19 + 208x20 + 12x21 + 892x22 + 923x23 + 274x24 + 832x25 + 486x26 + 707x27 + 25x28 + 124x29 + 15x30 + 385x31 + 904x32 + 917x33 + 335x34 + 717x35 + 580x36 + 52x37 + 29x38 + 379x39 + 758x40 + 121x41 + 915x42 + 309x43 + 524x44 + 11x45 + 437x46 + 448x47 + 60x48 + 866x49 + 502x50 + 865x51 + 464x52 + 409x53 + 65x54 + 94x55 + 192x56 + 380x57 + 120x58 + 700x59 + 106x60 + 382x61 + 159x62 + 900x63 + 938x64 + 71x65 + 981x66 + 549x67 + 305x68 + 991x69 + 472x70 + 95x71 + 567x72 + 334x73 + 61x74 + 820x75 + 713x76 + 807x77 + 794x78 + 951x79 + 816x80 + 343x81 + 116x82 + 290x83 + 631x84 + 834x85 + 991x86 + 849x87 + 851x88 + 832x89 + 369x90 + 696x91 + 240x92 + 513x93 + 877x94 + 325x95 + 983x96 + 990x97 + 569x98 + 773x99 + 489x100 <=36935 
constr10: + 619x1 + 382x2 + 175x3 + 282x4 + 750x5 + 19x6 + 122x7 + 134x8 + 368x9 + 376x10 + 312x11 + 333x12 + 798x13 + 907x14 + 592x15 + 742x16 + 895x17 + 949x18 + 140x19 + 884x20 + 666x21 + 841x22 + 950x23 + 763x24 + 167x25 + 362x26 + 523x27 + 649x28 + 18x29 + 362x30 + 310x31 + 348x32 + 199x33 + 282x34 + 739x35 + 63x36 + 153x37 + 516x38 + 143x39 + 461x40 + 920x41 + 73x42 + 178x43 + 897x44 + 726x45 + 108x46 + 978x47 + 731x48 + 816x49 + 931x50 + 718x51 + 515x52 + 132x53 + 617x54 + 296x55 + 755x56 + 143x57 + 661x58 + 391x59 + 670x60 + 36x61 + 560x62 + 191x63 + 378x64 + 987x65 + 9x66 + 866x67 + 198x68 + 327x69 + 449x70 + 155x71 + 876x72 + 142x73 + 789x74 + 694x75 + 390x76 + 695x77 + 118x78 + 73x79 + 815x80 + 45x81 + 322x82 + 528x83 + 96x84 + 853x85 + 177x86 + 211x87 + 199x88 + 1x89 + 71x90 + 553x91 + 375x92 + 530x93 + 532x94 + 97x95 + 747x96 + 392x97 + 653x98 + 901x99 + 567x100 <=34611 
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