maximize objective: + 824x1 + 603x2 + 844x3 + 645x4 + 655x5 + 953x6 + 722x7 + 851x8 + 1083x9 + 736x10 + 596x11 + 947x12 + 570x13 + 814x14 + 766x15 + 930x16 + 1097x17 + 947x18 + 665x19 + 1020x20 + 856x21 + 755x22 + 542x23 + 906x24 + 711x25 + 441x26 + 484x27 + 389x28 + 670x29 + 909x30 + 954x31 + 581x32 + 929x33 + 836x34 + 912x35 + 732x36 + 594x37 + 703x38 + 862x39 + 643x40 + 633x41 + 458x42 + 952x43 + 1042x44 + 718x45 + 547x46 + 668x47 + 780x48 + 736x49 + 648x50 + 561x51 + 704x52 + 815x53 + 791x54 + 559x55 + 882x56 + 561x57 + 869x58 + 862x59 + 751x60 + 534x61 + 844x62 + 759x63 + 682x64 + 752x65 + 467x66 + 895x67 + 947x68 + 1020x69 + 838x70 + 762x71 + 722x72 + 1031x73 + 583x74 + 949x75 + 638x76 + 732x77 + 839x78 + 485x79 + 1088x80 + 749x81 + 795x82 + 611x83 + 796x84 + 813x85 + 813x86 + 729x87 + 591x88 + 582x89 + 671x90 + 877x91 + 500x92 + 808x93 + 490x94 + 786x95 + 532x96 + 607x97 + 530x98 + 732x99 + 971x100 subject to constr1: + 344x1 + 168x2 + 84x3 + 83x4 + 924x5 + 243x6 + 866x7 + 628x8 + 389x9 + 839x10 + 161x11 + 493x12 + 320x13 + 304x14 + 126x15 + 918x16 + 664x17 + 135x18 + 317x19 + 447x20 + 265x21 + 781x22 + 891x23 + 381x24 + 778x25 + 997x26 + 655x27 + 139x28 + 222x29 + 199x30 + 799x31 + 952x32 + 841x33 + 99x34 + 716x35 + 733x36 + 498x37 + 747x38 + 396x39 + 906x40 + 997x41 + 111x42 + 147x43 + 157x44 + 541x45 + 951x46 + 561x47 + 914x48 + 252x49 + 475x50 + 418x51 + 337x52 + 755x53 + 787x54 + 520x55 + 451x56 + 728x57 + 229x58 + 601x59 + 26x60 + 514x61 + 922x62 + 312x63 + 195x64 + 222x65 + 142x66 + 588x67 + 452x68 + 487x69 + 947x70 + 610x71 + 870x72 + 503x73 + 654x74 + 219x75 + 889x76 + 456x77 + 588x78 + 533x79 + 594x80 + 216x81 + 116x82 + 771x83 + 341x84 + 288x85 + 580x86 + 508x87 + 994x88 + 452x89 + 240x90 + 428x91 + 993x92 + 656x93 + 150x94 + 349x95 + 61x96 + 759x97 + 451x98 + 347x99 + 938x100 <=38056 constr2: + 187x1 + 243x2 + 538x3 + 838x4 + 291x5 + 602x6 + 168x7 + 129x8 + 527x9 + 270x10 + 274x11 + 924x12 + 325x13 + 449x14 + 887x15 + 987x16 + 929x17 + 376x18 + 327x19 + 202x20 + 678x21 + 557x22 + 945x23 + 696x24 + 495x25 + 140x26 + 735x27 + 6x28 + 717x29 + 727x30 + 138x31 + 246x32 + 270x33 + 970x34 + 93x35 + 339x36 + 201x37 + 414x38 + 819x39 + 677x40 + 756x41 + 454x42 + 127x43 + 81x44 + 33x45 + 187x46 + 311x47 + 626x48 + 421x49 + 632x50 + 96x51 + 170x52 + 359x53 + 492x54 + 224x55 + 79x56 + 488x57 + 547x58 + 102x59 + 926x60 + 278x61 + 924x62 + 369x63 + 327x64 + 944x65 + 864x66 + 299x67 + 110x68 + 226x69 + 256x70 + 956x71 + 229x72 + 214x73 + 531x74 + 317x75 + 682x76 + 22x77 + 593x78 + 315x79 + 740x80 + 740x81 + 899x82 + 280x83 + 276x84 + 597x85 + 679x86 + 297x87 + 750x88 + 89x89 + 964x90 + 265x91 + 228x92 + 852x93 + 81x94 + 712x95 + 655x96 + 26x97 + 598x98 + 595x99 + 861x100 <=34565 constr3: + 348x1 + 920x2 + 930x3 + 1x4 + 349x5 + 525x6 + 716x7 + 389x8 + 659x9 + 948x10 + 203x11 + 631x12 + 702x13 + 666x14 + 759x15 + 103x16 + 954x17 + 995x18 + 299x19 + 908x20 + 132x21 + 150x22 + 385x23 + 530x24 + 230x25 + 23x26 + 334x27 + 132x28 + 99x29 + 244x30 + 534x31 + 585x32 + 241x33 + 911x34 + 822x35 + 640x36 + 841x37 + 165x38 + 75x39 + 771x40 + 464x41 + 851x42 + 774x43 + 733x44 + 731x45 + 356x46 + 524x47 + 978x48 + 445x49 + 106x50 + 23x51 + 811x52 + 752x53 + 266x54 + 806x55 + 655x56 + 964x57 + 590x58 + 900x59 + 720x60 + 122x61 + 272x62 + 316x63 + 178x64 + 496x65 + 820x66 + 208x67 + 852x68 + 747x69 + 579x70 + 259x71 + 444x72 + 717x73 + 150x74 + 325x75 + 300x76 + 788x77 + 257x78 + 448x79 + 439x80 + 774x81 + 763x82 + 828x83 + 146x84 + 157x85 + 639x86 + 679x87 + 170x88 + 759x89 + 404x90 + 642x91 + 737x92 + 594x93 + 861x94 + 252x95 + 816x96 + 161x97 + 23x98 + 695x99 + 700x100 <=38861 constr4: + 193x1 + 526x2 + 548x3 + 928x4 + 851x5 + 14x6 + 951x7 + 486x8 + 671x9 + 898x10 + 51x11 + 764x12 + 565x13 + 199x14 + 803x15 + 352x16 + 627x17 + 766x18 + 877x19 + 621x20 + 309x21 + 411x22 + 215x23 + 864x24 + 312x25 + 816x26 + 303x27 + 115x28 + 740x29 + 145x30 + 620x31 + 607x32 + 613x33 + 470x34 + 566x35 + 791x36 + 752x37 + 627x38 + 710x39 + 497x40 + 718x41 + 134x42 + 732x43 + 675x44 + 202x45 + 501x46 + 68x47 + 71x48 + 978x49 + 542x50 + 848x51 + 294x52 + 696x53 + 803x54 + 844x55 + 374x56 + 221x57 + 347x58 + 309x59 + 435x60 + 658x61 + 666x62 + 119x63 + 590x64 + 510x65 + 44x66 + 352x67 + 273x68 + 766x69 + 259x70 + 919x71 + 902x72 + 872x73 + 294x74 + 772x75 + 170x76 + 454x77 + 238x78 + 7x79 + 461x80 + 171x81 + 567x82 + 920x83 + 686x84 + 991x85 + 627x86 + 481x87 + 897x88 + 498x89 + 366x90 + 989x91 + 880x92 + 98x93 + 313x94 + 55x95 + 258x96 + 692x97 + 743x98 + 827x99 + 590x100 <=39706 constr5: + 156x1 + 129x2 + 701x3 + 629x4 + 381x5 + 105x6 + 99x7 + 923x8 + 312x9 + 529x10 + 963x11 + 580x12 + 397x13 + 538x14 + 836x15 + 502x16 + 954x17 + 643x18 + 342x19 + 658x20 + 926x21 + 416x22 + 176x23 + 226x24 + 92x25 + 598x26 + 789x27 + 113x28 + 344x29 + 767x30 + 254x31 + 237x32 + 411x33 + 610x34 + 902x35 + 734x36 + 566x37 + 464x38 + 216x39 + 884x40 + 456x41 + 47x42 + 81x43 + 842x44 + 992x45 + 390x46 + 453x47 + 956x48 + 33x49 + 700x50 + 442x51 + 473x52 + 129x53 + 745x54 + 886x55 + 64x56 + 200x57 + 586x58 + 249x59 + 716x60 + 648x61 + 485x62 + 850x63 + 152x64 + 937x65 + 25x66 + 867x67 + 561x68 + 818x69 + 898x70 + 348x71 + 678x72 + 254x73 + 15x74 + 1x75 + 488x76 + 828x77 + 156x78 + 506x79 + 705x80 + 365x81 + 430x82 + 222x83 + 54x84 + 35x85 + 466x86 + 246x87 + 356x88 + 134x89 + 124x90 + 787x91 + 220x92 + 166x93 + 665x94 + 639x95 + 478x96 + 136x97 + 11x98 + 204x99 + 118x100 <=34214 constr6: + 600x1 + 640x2 + 527x3 + 209x4 + 531x5 + 905x6 + 858x7 + 118x8 + 81x9 + 571x10 + 380x11 + 685x12 + 772x13 + 711x14 + 689x15 + 169x16 + 876x17 + 394x18 + 730x19 + 877x20 + 63x21 + 381x22 + 322x23 + 439x24 + 993x25 + 474x26 + 597x27 + 870x28 + 22x29 + 762x30 + 552x31 + 237x32 + 450x33 + 89x34 + 201x35 + 821x36 + 565x37 + 278x38 + 589x39 + 692x40 + 304x41 + 308x42 + 339x43 + 504x44 + 72x45 + 282x46 + 116x47 + 946x48 + 725x49 + 210x50 + 223x51 + 74x52 + 609x53 + 236x54 + 271x55 + 246x56 + 297x57 + 784x58 + 507x59 + 194x60 + 141x61 + 485x62 + 280x63 + 342x64 + 440x65 + 509x66 + 465x67 + 602x68 + 790x69 + 941x70 + 90x71 + 994x72 + 816x73 + 366x74 + 759x75 + 282x76 + 232x77 + 356x78 + 735x79 + 640x80 + 725x81 + 833x82 + 264x83 + 909x84 + 318x85 + 961x86 + 777x87 + 337x88 + 86x89 + 100x90 + 106x91 + 56x92 + 421x93 + 477x94 + 20x95 + 985x96 + 784x97 + 637x98 + 760x99 + 80x100 <=35901 constr7: + 397x1 + 255x2 + 520x3 + 472x4 + 777x5 + 521x6 + 431x7 + 347x8 + 909x9 + 471x10 + 578x11 + 565x12 + 556x13 + 48x14 + 499x15 + 548x16 + 957x17 + 773x18 + 785x19 + 840x20 + 441x21 + 93x22 + 474x23 + 506x24 + 780x25 + 746x26 + 203x27 + 309x28 + 931x29 + 72x30 + 173x31 + 831x32 + 730x33 + 131x34 + 840x35 + 326x36 + 419x37 + 110x38 + 492x39 + 3x40 + 749x41 + 715x42 + 404x43 + 928x44 + 274x45 + 38x46 + 457x47 + 136x48 + 214x49 + 743x50 + 735x51 + 403x52 + 745x53 + 603x54 + 106x55 + 102x56 + 523x57 + 386x58 + 687x59 + 284x60 + 242x61 + 119x62 + 441x63 + 335x64 + 821x65 + 498x66 + 202x67 + 724x68 + 278x69 + 708x70 + 726x71 + 530x72 + 554x73 + 655x74 + 774x75 + 760x76 + 239x77 + 923x78 + 314x79 + 562x80 + 2x81 + 192x82 + 563x83 + 338x84 + 686x85 + 639x86 + 75x87 + 613x88 + 483x89 + 280x90 + 429x91 + 4x92 + 540x93 + 481x94 + 180x95 + 352x96 + 695x97 + 603x98 + 325x99 + 586x100 <=35672 constr8: + 730x1 + 524x2 + 100x3 + 719x4 + 579x5 + 715x6 + 208x7 + 223x8 + 580x9 + 760x10 + 357x11 + 384x12 + 151x13 + 760x14 + 700x15 + 12x16 + 560x17 + 377x18 + 869x19 + 319x20 + 875x21 + 857x22 + 48x23 + 927x24 + 329x25 + 263x26 + 118x27 + 81x28 + 991x29 + 710x30 + 891x31 + 496x32 + 224x33 + 933x34 + 623x35 + 268x36 + 536x37 + 336x38 + 257x39 + 531x40 + 800x41 + 236x42 + 755x43 + 979x44 + 951x45 + 333x46 + 611x47 + 923x48 + 967x49 + 624x50 + 391x51 + 405x52 + 371x53 + 799x54 + 262x55 + 331x56 + 882x57 + 504x58 + 630x59 + 468x60 + 644x61 + 636x62 + 377x63 + 861x64 + 511x65 + 712x66 + 487x67 + 688x68 + 593x69 + 973x70 + 970x71 + 566x72 + 706x73 + 208x74 + 859x75 + 627x76 + 377x77 + 657x78 + 24x79 + 926x80 + 579x81 + 660x82 + 890x83 + 869x84 + 867x85 + 106x86 + 752x87 + 394x88 + 5x89 + 412x90 + 205x91 + 431x92 + 441x93 + 444x94 + 762x95 + 451x96 + 183x97 + 572x98 + 299x99 + 394x100 <=40696 constr9: + 70x1 + 403x2 + 427x3 + 494x4 + 949x5 + 467x6 + 831x7 + 120x8 + 861x9 + 188x10 + 162x11 + 932x12 + 373x13 + 630x14 + 726x15 + 848x16 + 644x17 + 329x18 + 925x19 + 578x20 + 884x21 + 60x22 + 283x23 + 868x24 + 691x25 + 55x26 + 748x27 + 625x28 + 368x29 + 394x30 + 477x31 + 316x32 + 280x33 + 417x34 + 203x35 + 149x36 + 710x37 + 438x38 + 781x39 + 690x40 + 524x41 + 469x42 + 978x43 + 751x44 + 932x45 + 845x46 + 442x47 + 294x48 + 509x49 + 36x50 + 527x51 + 244x52 + 6x53 + 992x54 + 575x55 + 881x56 + 323x57 + 636x58 + 72x59 + 102x60 + 803x61 + 457x62 + 618x63 + 588x64 + 453x65 + 360x66 + 603x67 + 881x68 + 246x69 + 480x70 + 166x71 + 849x72 + 940x73 + 828x74 + 224x75 + 781x76 + 376x77 + 322x78 + 927x79 + 294x80 + 885x81 + 812x82 + 491x83 + 113x84 + 163x85 + 382x86 + 282x87 + 88x88 + 562x89 + 908x90 + 734x91 + 731x92 + 526x93 + 673x94 + 205x95 + 91x96 + 511x97 + 127x98 + 731x99 + 243x100 <=38240 constr10: + 422x1 + 122x2 + 553x3 + 549x4 + 607x5 + 610x6 + 915x7 + 248x8 + 897x9 + 708x10 + 485x11 + 754x12 + 958x13 + 328x14 + 788x15 + 959x16 + 755x17 + 345x18 + 180x19 + 311x20 + 711x21 + 606x22 + 229x23 + 649x24 + 651x25 + 195x26 + 60x27 + 682x28 + 598x29 + 862x30 + 186x31 + 307x32 + 637x33 + 523x34 + 463x35 + 717x36 + 244x37 + 711x38 + 29x39 + 38x40 + 527x41 + 52x42 + 764x43 + 713x44 + 64x45 + 273x46 + 648x47 + 223x48 + 950x49 + 390x50 + 925x51 + 583x52 + 602x53 + 787x54 + 318x55 + 886x56 + 593x57 + 38x58 + 960x59 + 423x60 + 776x61 + 798x62 + 297x63 + 41x64 + 131x65 + 547x66 + 992x67 + 27x68 + 491x69 + 345x70 + 339x71 + 560x72 + 603x73 + 337x74 + 827x75 + 795x76 + 993x77 + 118x78 + 800x79 + 865x80 + 525x81 + 199x82 + 588x83 + 448x84 + 987x85 + 522x86 + 24x87 + 67x88 + 376x89 + 619x90 + 488x91 + 123x92 + 566x93 + 415x94 + 960x95 + 237x96 + 680x97 + 459x98 + 115x99 + 358x100 <=38062 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