minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 37248.902000 
s2: s + 0.001000f1 + 0.501000f2 >= 37248.902000 
f1: -f1 + 862x1 + 623x2 + 714x3 + 619x4 + 1000x5 + 703x6 + 953x7 + 661x8 + 782x9 + 653x10 + 587x11 + 406x12 + 685x13 + 450x14 + 829x15 + 605x16 + 880x17 + 861x18 + 784x19 + 675x20 + 621x21 + 819x22 + 515x23 + 986x24 + 695x25 + 781x26 + 506x27 + 525x28 + 888x29 + 492x30 + 707x31 + 818x32 + 606x33 + 857x34 + 1040x35 + 716x36 + 541x37 + 811x38 + 455x39 + 623x40 + 539x41 + 675x42 + 850x43 + 733x44 + 907x45 + 505x46 + 730x47 + 875x48 + 597x49 + 700x50 + 797x51 + 1007x52 + 781x53 + 999x54 + 618x55 + 943x56 + 852x57 + 1106x58 + 919x59 + 785x60 + 605x61 + 916x62 + 849x63 + 950x64 + 728x65 + 854x66 + 608x67 + 820x68 + 524x69 + 838x70 + 724x71 + 729x72 + 811x73 + 759x74 + 1060x75 + 513x76 + 472x77 + 513x78 + 749x79 + 832x80 + 529x81 + 642x82 + 843x83 + 755x84 + 680x85 + 864x86 + 902x87 + 484x88 + 693x89 + 703x90 + 723x91 + 998x92 + 384x93 + 860x94 + 893x95 + 840x96 + 999x97 + 824x98 + 851x99 + 628x100  = 0 
f2: -f2 + 716x1 + 472x2 + 950x3 + 730x4 + 998x5 + 880x6 + 484x7 + 693x8 + 854x9 + 843x10 + 1040x11 + 782x12 + 703x13 + 784x14 + 864x15 + 759x16 + 733x17 + 785x18 + 675x19 + 450x20 + 714x21 + 515x22 + 605x23 + 623x24 + 907x25 + 862x26 + 840x27 + 829x28 + 492x29 + 999x30 + 849x31 + 524x32 + 695x33 + 628x34 + 797x35 + 781x36 + 820x37 + 724x38 + 707x39 + 818x40 + 597x41 + 832x42 + 605x43 + 811x44 + 513x45 + 384x46 + 919x47 + 953x48 + 861x49 + 875x50 + 661x51 + 838x52 + 587x53 + 608x54 + 749x55 + 621x56 + 824x57 + 999x58 + 675x59 + 755x60 + 723x61 + 525x62 + 680x63 + 852x64 + 860x65 + 653x66 + 618x67 + 619x68 + 902x69 + 406x70 + 506x71 + 513x72 + 623x73 + 1007x74 + 943x75 + 850x76 + 819x77 + 1000x78 + 642x79 + 781x80 + 893x81 + 529x82 + 606x83 + 1106x84 + 857x85 + 541x86 + 539x87 + 916x88 + 505x89 + 700x90 + 685x91 + 703x92 + 729x93 + 455x94 + 1060x95 + 811x96 + 728x97 + 986x98 + 851x99 + 888x100  = 0 
constr1: + 912x1 + 125x2 + 122x3 + 92x4 + 252x5 + 707x6 + 518x7 + 584x8 + 746x9 + 988x10 + 190x11 + 397x12 + 288x13 + 389x14 + 573x15 + 581x16 + 304x17 + 936x18 + 140x19 + 231x20 + 784x21 + 449x22 + 22x23 + 831x24 + 442x25 + 185x26 + 27x27 + 579x28 + 251x29 + 389x30 + 375x31 + 77x32 + 110x33 + 581x34 + 290x35 + 77x36 + 560x37 + 456x38 + 400x39 + 670x40 + 652x41 + 669x42 + 120x43 + 303x44 + 310x45 + 81x46 + 951x47 + 313x48 + 10x49 + 358x50 + 205x51 + 61x52 + 572x53 + 16x54 + 413x55 + 734x56 + 95x57 + 600x58 + 791x59 + 441x60 + 721x61 + 771x62 + 63x63 + 746x64 + 531x65 + 290x66 + 893x67 + 32x68 + 572x69 + 986x70 + 52x71 + 765x72 + 717x73 + 171x74 + 430x75 + 513x76 + 660x77 + 562x78 + 5x79 + 174x80 + 731x81 + 201x82 + 897x83 + 180x84 + 463x85 + 412x86 + 687x87 + 461x88 + 612x89 + 300x90 + 269x91 + 920x92 + 758x93 + 518x94 + 681x95 + 351x96 + 583x97 + 643x98 + 370x99 + 347x100 <= 12361 
constr2: + 419x1 + 763x2 + 106x3 + 30x4 + 833x5 + 777x6 + 971x7 + 212x8 + 427x9 + 247x10 + 885x11 + 45x12 + 131x13 + 233x14 + 967x15 + 520x16 + 820x17 + 908x18 + 772x19 + 732x20 + 736x21 + 317x22 + 970x23 + 738x24 + 35x25 + 347x26 + 539x27 + 559x28 + 476x29 + 682x30 + 486x31 + 781x32 + 321x33 + 728x34 + 845x35 + 505x36 + 522x37 + 146x38 + 439x39 + 917x40 + 962x41 + 438x42 + 221x43 + 581x44 + 68x45 + 897x46 + 846x47 + 587x48 + 402x49 + 1000x50 + 357x51 + 117x52 + 229x53 + 401x54 + 720x55 + 932x56 + 154x57 + 897x58 + 393x59 + 517x60 + 721x61 + 229x62 + 743x63 + 841x64 + 399x65 + 860x66 + 740x67 + 311x68 + 451x69 + 577x70 + 95x71 + 943x72 + 34x73 + 387x74 + 993x75 + 215x76 + 805x77 + 87x78 + 737x79 + 424x80 + 895x81 + 35x82 + 594x83 + 575x84 + 98x85 + 298x86 + 474x87 + 551x88 + 346x89 + 701x90 + 51x91 + 267x92 + 470x93 + 6x94 + 628x95 + 191x96 + 260x97 + 613x98 + 455x99 + 374x100 <= 12726 
constr3: + 317x1 + 459x2 + 210x3 + 732x4 + 277x5 + 596x6 + 423x7 + 651x8 + 742x9 + 250x10 + 692x11 + 278x12 + 143x13 + 869x14 + 966x15 + 82x16 + 439x17 + 481x18 + 993x19 + 2x20 + 573x21 + 590x22 + 756x23 + 787x24 + 127x25 + 184x26 + 897x27 + 8x28 + 198x29 + 135x30 + 112x31 + 278x32 + 710x33 + 246x34 + 3x35 + 230x36 + 480x37 + 837x38 + 122x39 + 160x40 + 106x41 + 385x42 + 399x43 + 804x44 + 227x45 + 593x46 + 616x47 + 185x48 + 530x49 + 145x50 + 794x51 + 808x52 + 886x53 + 369x54 + 466x55 + 544x56 + 325x57 + 477x58 + 268x59 + 633x60 + 520x61 + 501x62 + 95x63 + 611x64 + 99x65 + 803x66 + 797x67 + 119x68 + 176x69 + 130x70 + 77x71 + 243x72 + 698x73 + 924x74 + 530x75 + 993x76 + 324x77 + 416x78 + 812x79 + 286x80 + 578x81 + 452x82 + 324x83 + 236x84 + 996x85 + 831x86 + 658x87 + 178x88 + 168x89 + 493x90 + 785x91 + 298x92 + 687x93 + 205x94 + 375x95 + 392x96 + 389x97 + 932x98 + 567x99 + 919x100 <= 11144 
constr4: + 687x1 + 63x2 + 106x3 + 274x4 + 401x5 + 733x6 + 741x7 + 560x8 + 483x9 + 334x10 + 485x11 + 54x12 + 635x13 + 740x14 + 117x15 + 318x16 + 630x17 + 741x18 + 185x19 + 154x20 + 91x21 + 901x22 + 340x23 + 181x24 + 253x25 + 153x26 + 592x27 + 225x28 + 468x29 + 76x30 + 924x31 + 400x32 + 698x33 + 301x34 + 807x35 + 78x36 + 368x37 + 284x38 + 473x39 + 540x40 + 665x41 + 834x42 + 393x43 + 828x44 + 892x45 + 456x46 + 429x47 + 601x48 + 420x49 + 381x50 + 127x51 + 558x52 + 849x53 + 27x54 + 364x55 + 708x56 + 926x57 + 64x58 + 293x59 + 999x60 + 819x61 + 455x62 + 496x63 + 232x64 + 219x65 + 558x66 + 503x67 + 658x68 + 973x69 + 208x70 + 982x71 + 7x72 + 605x73 + 770x74 + 374x75 + 730x76 + 522x77 + 120x78 + 430x79 + 156x80 + 807x81 + 40x82 + 735x83 + 226x84 + 308x85 + 844x86 + 966x87 + 843x88 + 629x89 + 746x90 + 460x91 + 725x92 + 328x93 + 901x94 + 743x95 + 559x96 + 329x97 + 739x98 + 904x99 + 894x100 <= 12748 
constr5: + 330x1 + 236x2 + 108x3 + 772x4 + 982x5 + 512x6 + 553x7 + 776x8 + 246x9 + 677x10 + 401x11 + 241x12 + 859x13 + 999x14 + 975x15 + 706x16 + 760x17 + 812x18 + 808x19 + 157x20 + 983x21 + 360x22 + 765x23 + 637x24 + 89x25 + 777x26 + 310x27 + 214x28 + 337x29 + 43x30 + 819x31 + 465x32 + 383x33 + 843x34 + 731x35 + 796x36 + 799x37 + 957x38 + 439x39 + 958x40 + 185x41 + 464x42 + 406x43 + 180x44 + 353x45 + 7x46 + 473x47 + 728x48 + 782x49 + 272x50 + 782x51 + 679x52 + 453x53 + 830x54 + 519x55 + 449x56 + 502x57 + 889x58 + 90x59 + 611x60 + 932x61 + 939x62 + 528x63 + 607x64 + 615x65 + 691x66 + 17x67 + 600x68 + 738x69 + 388x70 + 708x71 + 856x72 + 847x73 + 84x74 + 377x75 + 316x76 + 705x77 + 608x78 + 962x79 + 244x80 + 375x81 + 572x82 + 483x83 + 78x84 + 822x85 + 149x86 + 559x87 + 954x88 + 870x89 + 962x90 + 45x91 + 293x92 + 609x93 + 588x94 + 741x95 + 977x96 + 97x97 + 268x98 + 381x99 + 897x100 <= 10903 
constr6: + 579x1 + 162x2 + 550x3 + 777x4 + 748x5 + 755x6 + 227x7 + 204x8 + 564x9 + 109x10 + 519x11 + 367x12 + 539x13 + 987x14 + 431x15 + 392x16 + 411x17 + 322x18 + 300x19 + 987x20 + 482x21 + 203x22 + 538x23 + 447x24 + 699x25 + 907x26 + 745x27 + 32x28 + 403x29 + 157x30 + 797x31 + 549x32 + 918x33 + 884x34 + 72x35 + 769x36 + 873x37 + 979x38 + 429x39 + 357x40 + 64x41 + 792x42 + 157x43 + 90x44 + 192x45 + 378x46 + 532x47 + 66x48 + 156x49 + 889x50 + 890x51 + 30x52 + 442x53 + 853x54 + 444x55 + 390x56 + 988x57 + 139x58 + 859x59 + 590x60 + 10x61 + 981x62 + 34x63 + 158x64 + 653x65 + 888x66 + 634x67 + 959x68 + 643x69 + 174x70 + 143x71 + 59x72 + 128x73 + 836x74 + 667x75 + 404x76 + 665x77 + 267x78 + 256x79 + 401x80 + 32x81 + 642x82 + 664x83 + 414x84 + 333x85 + 968x86 + 406x87 + 235x88 + 378x89 + 516x90 + 484x91 + 298x92 + 596x93 + 215x94 + 470x95 + 732x96 + 391x97 + 582x98 + 891x99 + 771x100 <= 12837 
constr7: + 864x1 + 153x2 + 504x3 + 788x4 + 980x5 + 421x6 + 424x7 + 340x8 + 504x9 + 984x10 + 909x11 + 823x12 + 300x13 + 7x14 + 574x15 + 979x16 + 90x17 + 277x18 + 395x19 + 184x20 + 929x21 + 112x22 + 32x23 + 736x24 + 356x25 + 26x26 + 816x27 + 364x28 + 297x29 + 144x30 + 246x31 + 856x32 + 868x33 + 372x34 + 412x35 + 67x36 + 316x37 + 156x38 + 534x39 + 130x40 + 395x41 + 66x42 + 102x43 + 37x44 + 120x45 + 756x46 + 847x47 + 423x48 + 111x49 + 819x50 + 996x51 + 728x52 + 597x53 + 471x54 + 49x55 + 948x56 + 431x57 + 831x58 + 303x59 + 979x60 + 898x61 + 723x62 + 514x63 + 104x64 + 913x65 + 997x66 + 156x67 + 685x68 + 805x69 + 665x70 + 729x71 + 684x72 + 542x73 + 43x74 + 59x75 + 165x76 + 637x77 + 151x78 + 342x79 + 701x80 + 716x81 + 200x82 + 323x83 + 602x84 + 922x85 + 803x86 + 919x87 + 138x88 + 530x89 + 340x90 + 434x91 + 412x92 + 995x93 + 62x94 + 227x95 + 548x96 + 839x97 + 645x98 + 497x99 + 681x100 <= 13126 
constr8: + 709x1 + 748x2 + 11x3 + 353x4 + 999x5 + 319x6 + 410x7 + 670x8 + 149x9 + 716x10 + 269x11 + 496x12 + 181x13 + 629x14 + 918x15 + 939x16 + 296x17 + 534x18 + 669x19 + 443x20 + 571x21 + 686x22 + 926x23 + 965x24 + 471x25 + 483x26 + 952x27 + 516x28 + 51x29 + 420x30 + 254x31 + 455x32 + 271x33 + 567x34 + 391x35 + 760x36 + 384x37 + 635x38 + 936x39 + 669x40 + 617x41 + 725x42 + 318x43 + 528x44 + 271x45 + 206x46 + 671x47 + 704x48 + 210x49 + 960x50 + 640x51 + 8x52 + 169x53 + 222x54 + 879x55 + 949x56 + 652x57 + 20x58 + 128x59 + 971x60 + 978x61 + 817x62 + 522x63 + 206x64 + 362x65 + 682x66 + 705x67 + 827x68 + 164x69 + 519x70 + 787x71 + 143x72 + 775x73 + 886x74 + 734x75 + 916x76 + 747x77 + 638x78 + 518x79 + 113x80 + 951x81 + 179x82 + 1x83 + 257x84 + 817x85 + 686x86 + 821x87 + 217x88 + 235x89 + 236x90 + 311x91 + 372x92 + 130x93 + 69x94 + 731x95 + 513x96 + 944x97 + 220x98 + 233x99 + 274x100 <= 11631 
constr9: + 771x1 + 648x2 + 721x3 + 660x4 + 547x5 + 863x6 + 323x7 + 377x8 + 313x9 + 704x10 + 595x11 + 645x12 + 239x13 + 845x14 + 2x15 + 237x16 + 508x17 + 523x18 + 929x19 + 509x20 + 161x21 + 882x22 + 451x23 + 267x24 + 252x25 + 360x26 + 778x27 + 682x28 + 359x29 + 981x30 + 63x31 + 810x32 + 992x33 + 639x34 + 805x35 + 701x36 + 1x37 + 573x38 + 12x39 + 802x40 + 631x41 + 157x42 + 256x43 + 108x44 + 277x45 + 185x46 + 17x47 + 138x48 + 200x49 + 227x50 + 867x51 + 894x52 + 771x53 + 503x54 + 157x55 + 880x56 + 690x57 + 576x58 + 156x59 + 634x60 + 737x61 + 655x62 + 168x63 + 92x64 + 332x65 + 249x66 + 243x67 + 391x68 + 862x69 + 504x70 + 647x71 + 44x72 + 589x73 + 55x74 + 375x75 + 621x76 + 10x77 + 89x78 + 427x79 + 888x80 + 740x81 + 929x82 + 135x83 + 841x84 + 587x85 + 368x86 + 10x87 + 486x88 + 175x89 + 604x90 + 113x91 + 307x92 + 753x93 + 446x94 + 475x95 + 158x96 + 535x97 + 521x98 + 44x99 + 842x100 <= 12259 
constr10: + 281x1 + 507x2 + 490x3 + 418x4 + 973x5 + 285x6 + 159x7 + 248x8 + 67x9 + 306x10 + 936x11 + 210x12 + 656x13 + 898x14 + 976x15 + 133x16 + 283x17 + 600x18 + 133x19 + 114x20 + 41x21 + 364x22 + 627x23 + 439x24 + 19x25 + 121x26 + 518x27 + 637x28 + 205x29 + 558x30 + 491x31 + 906x32 + 135x33 + 30x34 + 598x35 + 439x36 + 982x37 + 770x38 + 82x39 + 729x40 + 474x41 + 981x42 + 238x43 + 473x44 + 255x45 + 853x46 + 500x47 + 382x48 + 918x49 + 630x50 + 115x51 + 888x52 + 939x53 + 40x54 + 180x55 + 69x56 + 214x57 + 398x58 + 143x59 + 702x60 + 572x61 + 312x62 + 21x63 + 616x64 + 190x65 + 824x66 + 317x67 + 166x68 + 839x69 + 534x70 + 138x71 + 387x72 + 112x73 + 245x74 + 449x75 + 747x76 + 782x77 + 358x78 + 309x79 + 641x80 + 600x81 + 162x82 + 236x83 + 184x84 + 932x85 + 203x86 + 642x87 + 52x88 + 56x89 + 218x90 + 771x91 + 776x92 + 987x93 + 775x94 + 251x95 + 464x96 + 44x97 + 23x98 + 840x99 + 134x100 <= 12402 
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