maximize objective: + 460x1 + 630x2 + 640x3 + 700x4 + 685x5 + 867x6 + 694x7 + 629x8 + 623x9 + 723x10 + 785x11 + 732x12 + 1032x13 + 729x14 + 504x15 + 1019x16 + 755x17 + 617x18 + 1126x19 + 338x20 + 646x21 + 670x22 + 941x23 + 850x24 + 386x25 + 810x26 + 557x27 + 568x28 + 697x29 + 771x30 + 802x31 + 1042x32 + 584x33 + 681x34 + 669x35 + 530x36 + 526x37 + 573x38 + 594x39 + 872x40 + 536x41 + 732x42 + 537x43 + 520x44 + 770x45 + 469x46 + 756x47 + 448x48 + 972x49 + 478x50 + 852x51 + 765x52 + 661x53 + 788x54 + 653x55 + 601x56 + 891x57 + 1008x58 + 947x59 + 576x60 + 1115x61 + 1054x62 + 917x63 + 809x64 + 552x65 + 703x66 + 838x67 + 939x68 + 660x69 + 587x70 + 663x71 + 857x72 + 573x73 + 714x74 + 684x75 + 781x76 + 847x77 + 997x78 + 582x79 + 813x80 + 885x81 + 733x82 + 733x83 + 650x84 + 583x85 + 936x86 + 787x87 + 762x88 + 517x89 + 721x90 + 718x91 + 802x92 + 853x93 + 1022x94 + 609x95 + 627x96 + 687x97 + 637x98 + 853x99 + 954x100 subject to constr1: + 928x1 + 278x2 + 856x3 + 450x4 + 881x5 + 507x6 + 868x7 + 117x8 + 164x9 + 467x10 + 503x11 + 259x12 + 785x13 + 499x14 + 751x15 + 736x16 + 514x17 + 471x18 + 935x19 + 85x20 + 765x21 + 987x22 + 550x23 + 386x24 + 936x25 + 764x26 + 611x27 + 147x28 + 104x29 + 788x30 + 45x31 + 661x32 + 552x33 + 991x34 + 212x35 + 407x36 + 794x37 + 353x38 + 57x39 + 961x40 + 350x41 + 4x42 + 782x43 + 517x44 + 622x45 + 394x46 + 205x47 + 96x48 + 805x49 + 198x50 + 321x51 + 623x52 + 995x53 + 235x54 + 247x55 + 801x56 + 994x57 + 754x58 + 883x59 + 353x60 + 837x61 + 780x62 + 641x63 + 224x64 + 485x65 + 155x66 + 202x67 + 196x68 + 219x69 + 905x70 + 235x71 + 635x72 + 733x73 + 701x74 + 300x75 + 997x76 + 65x77 + 769x78 + 630x79 + 28x80 + 75x81 + 69x82 + 457x83 + 213x84 + 590x85 + 945x86 + 144x87 + 716x88 + 164x89 + 396x90 + 158x91 + 449x92 + 653x93 + 912x94 + 828x95 + 892x96 + 313x97 + 193x98 + 874x99 + 289x100 <=25686 constr2: + 862x1 + 618x2 + 161x3 + 108x4 + 432x5 + 390x6 + 442x7 + 339x8 + 108x9 + 391x10 + 641x11 + 342x12 + 251x13 + 201x14 + 639x15 + 471x16 + 174x17 + 771x18 + 826x19 + 817x20 + 758x21 + 603x22 + 452x23 + 66x24 + 313x25 + 230x26 + 430x27 + 881x28 + 539x29 + 850x30 + 235x31 + 678x32 + 34x33 + 812x34 + 13x35 + 627x36 + 487x37 + 761x38 + 624x39 + 239x40 + 350x41 + 661x42 + 807x43 + 124x44 + 949x45 + 196x46 + 890x47 + 69x48 + 444x49 + 772x50 + 757x51 + 74x52 + 80x53 + 534x54 + 47x55 + 502x56 + 719x57 + 25x58 + 687x59 + 311x60 + 659x61 + 421x62 + 630x63 + 251x64 + 815x65 + 512x66 + 541x67 + 346x68 + 395x69 + 747x70 + 221x71 + 520x72 + 695x73 + 914x74 + 272x75 + 135x76 + 777x77 + 509x78 + 803x79 + 111x80 + 399x81 + 633x82 + 48x83 + 661x84 + 51x85 + 670x86 + 181x87 + 340x88 + 545x89 + 678x90 + 414x91 + 117x92 + 857x93 + 683x94 + 363x95 + 24x96 + 893x97 + 374x98 + 681x99 + 928x100 <=23714 constr3: + 107x1 + 302x2 + 410x3 + 832x4 + 351x5 + 654x6 + 60x7 + 344x8 + 727x9 + 77x10 + 161x11 + 221x12 + 878x13 + 516x14 + 156x15 + 963x16 + 885x17 + 970x18 + 431x19 + 59x20 + 302x21 + 280x22 + 612x23 + 605x24 + 470x25 + 35x26 + 233x27 + 301x28 + 493x29 + 756x30 + 715x31 + 781x32 + 494x33 + 233x34 + 94x35 + 717x36 + 135x37 + 786x38 + 378x39 + 765x40 + 16x41 + 155x42 + 550x43 + 454x44 + 796x45 + 445x46 + 953x47 + 876x48 + 416x49 + 19x50 + 332x51 + 501x52 + 806x53 + 316x54 + 393x55 + 662x56 + 593x57 + 357x58 + 842x59 + 281x60 + 214x61 + 885x62 + 337x63 + 753x64 + 654x65 + 829x66 + 211x67 + 777x68 + 630x69 + 149x70 + 243x71 + 319x72 + 83x73 + 552x74 + 816x75 + 620x76 + 366x77 + 379x78 + 190x79 + 736x80 + 931x81 + 112x82 + 685x83 + 792x84 + 713x85 + 444x86 + 516x87 + 80x88 + 474x89 + 314x90 + 515x91 + 990x92 + 887x93 + 454x94 + 587x95 + 203x96 + 603x97 + 698x98 + 423x99 + 738x100 <=24477 constr4: + 796x1 + 448x2 + 623x3 + 974x4 + 752x5 + 555x6 + 535x7 + 726x8 + 645x9 + 678x10 + 500x11 + 624x12 + 711x13 + 401x14 + 786x15 + 726x16 + 984x17 + 488x18 + 854x19 + 162x20 + 817x21 + 890x22 + 847x23 + 347x24 + 26x25 + 257x26 + 691x27 + 165x28 + 811x29 + 462x30 + 658x31 + 922x32 + 129x33 + 90x34 + 597x35 + 834x36 + 839x37 + 77x38 + 549x39 + 67x40 + 994x41 + 407x42 + 395x43 + 594x44 + 186x45 + 519x46 + 963x47 + 685x48 + 185x49 + 439x50 + 927x51 + 654x52 + 14x53 + 620x54 + 692x55 + 327x56 + 375x57 + 326x58 + 215x59 + 717x60 + 440x61 + 835x62 + 414x63 + 7x64 + 197x65 + 652x66 + 590x67 + 819x68 + 848x69 + 741x70 + 728x71 + 69x72 + 844x73 + 261x74 + 266x75 + 446x76 + 246x77 + 418x78 + 807x79 + 878x80 + 654x81 + 921x82 + 366x83 + 578x84 + 681x85 + 520x86 + 635x87 + 36x88 + 516x89 + 20x90 + 608x91 + 845x92 + 104x93 + 9x94 + 841x95 + 266x96 + 408x97 + 877x98 + 978x99 + 289x100 <=26968 constr5: + 204x1 + 259x2 + 673x3 + 746x4 + 699x5 + 337x6 + 386x7 + 190x8 + 466x9 + 832x10 + 871x11 + 641x12 + 566x13 + 263x14 + 220x15 + 399x16 + 819x17 + 694x18 + 828x19 + 400x20 + 643x21 + 707x22 + 733x23 + 347x24 + 877x25 + 727x26 + 428x27 + 563x28 + 707x29 + 142x30 + 944x31 + 812x32 + 322x33 + 360x34 + 247x35 + 244x36 + 135x37 + 666x38 + 675x39 + 273x40 + 646x41 + 52x42 + 274x43 + 671x44 + 938x45 + 192x46 + 881x47 + 558x48 + 955x49 + 264x50 + 382x51 + 476x52 + 483x53 + 852x54 + 799x55 + 392x56 + 750x57 + 821x58 + 158x59 + 658x60 + 645x61 + 990x62 + 625x63 + 700x64 + 2x65 + 555x66 + 347x67 + 993x68 + 568x69 + 448x70 + 165x71 + 959x72 + 738x73 + 379x74 + 98x75 + 950x76 + 320x77 + 837x78 + 924x79 + 237x80 + 1x81 + 667x82 + 442x83 + 681x84 + 835x85 + 854x86 + 430x87 + 964x88 + 172x89 + 836x90 + 976x91 + 599x92 + 310x93 + 669x94 + 733x95 + 8x96 + 804x97 + 677x98 + 365x99 + 858x100 <=27804 constr6: + 183x1 + 284x2 + 303x3 + 648x4 + 454x5 + 671x6 + 221x7 + 895x8 + 874x9 + 493x10 + 502x11 + 829x12 + 325x13 + 825x14 + 111x15 + 717x16 + 342x17 + 514x18 + 130x19 + 488x20 + 45x21 + 172x22 + 394x23 + 330x24 + 166x25 + 292x26 + 395x27 + 234x28 + 672x29 + 573x30 + 420x31 + 992x32 + 539x33 + 710x34 + 882x35 + 19x36 + 355x37 + 568x38 + 715x39 + 978x40 + 295x41 + 392x42 + 183x43 + 238x44 + 519x45 + 281x46 + 63x47 + 489x48 + 945x49 + 335x50 + 746x51 + 362x52 + 195x53 + 475x54 + 883x55 + 387x56 + 910x57 + 674x58 + 621x59 + 617x60 + 543x61 + 876x62 + 434x63 + 673x64 + 500x65 + 893x66 + 341x67 + 962x68 + 296x69 + 261x70 + 758x71 + 30x72 + 887x73 + 167x74 + 647x75 + 272x76 + 328x77 + 524x78 + 464x79 + 421x80 + 662x81 + 454x82 + 543x83 + 963x84 + 901x85 + 948x86 + 717x87 + 666x88 + 148x89 + 32x90 + 296x91 + 140x92 + 271x93 + 769x94 + 52x95 + 542x96 + 466x97 + 169x98 + 2x99 + 107x100 <=23998 constr7: + 517x1 + 190x2 + 948x3 + 245x4 + 722x5 + 618x6 + 757x7 + 555x8 + 487x9 + 666x10 + 210x11 + 833x12 + 811x13 + 406x14 + 432x15 + 643x16 + 667x17 + 340x18 + 893x19 + 887x20 + 490x21 + 981x22 + 191x23 + 997x24 + 170x25 + 221x26 + 189x27 + 63x28 + 213x29 + 579x30 + 599x31 + 528x32 + 714x33 + 652x34 + 917x35 + 174x36 + 480x37 + 944x38 + 954x39 + 383x40 + 884x41 + 529x42 + 231x43 + 869x44 + 322x45 + 431x46 + 671x47 + 498x48 + 149x49 + 189x50 + 446x51 + 130x52 + 151x53 + 305x54 + 184x55 + 354x56 + 7x57 + 983x58 + 787x59 + 596x60 + 286x61 + 794x62 + 444x63 + 807x64 + 807x65 + 423x66 + 331x67 + 425x68 + 914x69 + 513x70 + 557x71 + 796x72 + 631x73 + 563x74 + 949x75 + 33x76 + 426x77 + 402x78 + 162x79 + 600x80 + 228x81 + 279x82 + 366x83 + 370x84 + 419x85 + 493x86 + 340x87 + 356x88 + 470x89 + 359x90 + 287x91 + 789x92 + 603x93 + 655x94 + 266x95 + 506x96 + 869x97 + 365x98 + 580x99 + 501x100 <=25473 constr8: + 78x1 + 630x2 + 839x3 + 274x4 + 760x5 + 928x6 + 53x7 + 957x8 + 660x9 + 359x10 + 457x11 + 692x12 + 702x13 + 249x14 + 214x15 + 105x16 + 886x17 + 129x18 + 299x19 + 124x20 + 704x21 + 438x22 + 857x23 + 721x24 + 86x25 + 633x26 + 442x27 + 391x28 + 195x29 + 825x30 + 321x31 + 500x32 + 870x33 + 230x34 + 112x35 + 345x36 + 296x37 + 103x38 + 726x39 + 329x40 + 398x41 + 276x42 + 222x43 + 568x44 + 597x45 + 219x46 + 278x47 + 261x48 + 449x49 + 268x50 + 116x51 + 520x52 + 307x53 + 91x54 + 696x55 + 226x56 + 798x57 + 440x58 + 921x59 + 439x60 + 1000x61 + 232x62 + 9x63 + 340x64 + 721x65 + 186x66 + 640x67 + 440x68 + 646x69 + 121x70 + 953x71 + 965x72 + 90x73 + 300x74 + 767x75 + 227x76 + 856x77 + 398x78 + 341x79 + 824x80 + 379x81 + 366x82 + 496x83 + 849x84 + 801x85 + 975x86 + 269x87 + 335x88 + 572x89 + 653x90 + 610x91 + 906x92 + 495x93 + 36x94 + 525x95 + 607x96 + 904x97 + 537x98 + 798x99 + 273x100 <=24026 constr9: + 209x1 + 28x2 + 678x3 + 808x4 + 719x5 + 668x6 + 285x7 + 108x8 + 415x9 + 9x10 + 220x11 + 136x12 + 484x13 + 512x14 + 719x15 + 463x16 + 697x17 + 297x18 + 536x19 + 136x20 + 310x21 + 248x22 + 755x23 + 488x24 + 37x25 + 237x26 + 85x27 + 939x28 + 297x29 + 723x30 + 75x31 + 762x32 + 307x33 + 195x34 + 109x35 + 324x36 + 645x37 + 630x38 + 79x39 + 933x40 + 827x41 + 293x42 + 227x43 + 135x44 + 108x45 + 729x46 + 16x47 + 82x48 + 891x49 + 49x50 + 488x51 + 540x52 + 294x53 + 903x54 + 484x55 + 625x56 + 443x57 + 618x58 + 865x59 + 801x60 + 782x61 + 585x62 + 375x63 + 37x64 + 484x65 + 236x66 + 485x67 + 175x68 + 996x69 + 530x70 + 102x71 + 92x72 + 402x73 + 577x74 + 705x75 + 883x76 + 739x77 + 746x78 + 196x79 + 10x80 + 504x81 + 776x82 + 78x83 + 357x84 + 570x85 + 165x86 + 343x87 + 965x88 + 986x89 + 747x90 + 72x91 + 90x92 + 846x93 + 666x94 + 481x95 + 968x96 + 434x97 + 319x98 + 775x99 + 315x100 <=22659 constr10: + 508x1 + 415x2 + 722x3 + 491x4 + 374x5 + 438x6 + 191x7 + 37x8 + 865x9 + 618x10 + 483x11 + 455x12 + 878x13 + 270x14 + 58x15 + 753x16 + 492x17 + 815x18 + 682x19 + 132x20 + 625x21 + 745x22 + 411x23 + 220x24 + 49x25 + 911x26 + 522x27 + 405x28 + 847x29 + 933x30 + 978x31 + 54x32 + 454x33 + 733x34 + 114x35 + 8x36 + 198x37 + 771x38 + 557x39 + 77x40 + 351x41 + 641x42 + 212x43 + 137x44 + 511x45 + 178x46 + 675x47 + 186x48 + 788x49 + 735x50 + 342x51 + 262x52 + 8x53 + 747x54 + 617x55 + 504x56 + 23x57 + 127x58 + 42x59 + 170x60 + 794x61 + 581x62 + 360x63 + 834x64 + 713x65 + 565x66 + 175x67 + 732x68 + 714x69 + 488x70 + 635x71 + 379x72 + 596x73 + 512x74 + 368x75 + 752x76 + 354x77 + 860x78 + 674x79 + 542x80 + 488x81 + 741x82 + 970x83 + 163x84 + 239x85 + 442x86 + 388x87 + 846x88 + 705x89 + 131x90 + 233x91 + 832x92 + 875x93 + 783x94 + 911x95 + 149x96 + 469x97 + 462x98 + 609x99 + 264x100 <=24437 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