minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 37112.860000 
s2: s + 0.001000f1 + 0.501000f2 >= 37112.860000 
f1: -f1 + 1231x1 + 498x2 + 927x3 + 1115x4 + 671x5 + 888x6 + 477x7 + 982x8 + 1018x9 + 699x10 + 772x11 + 867x12 + 913x13 + 534x14 + 762x15 + 707x16 + 610x17 + 797x18 + 801x19 + 705x20 + 397x21 + 418x22 + 502x23 + 667x24 + 1105x25 + 694x26 + 865x27 + 554x28 + 852x29 + 717x30 + 642x31 + 445x32 + 1083x33 + 596x34 + 849x35 + 619x36 + 406x37 + 775x38 + 441x39 + 714x40 + 513x41 + 651x42 + 1060x43 + 409x44 + 723x45 + 761x46 + 784x47 + 651x48 + 725x49 + 761x50 + 576x51 + 508x52 + 731x53 + 704x54 + 640x55 + 616x56 + 855x57 + 1001x58 + 641x59 + 834x60 + 537x61 + 620x62 + 603x63 + 364x64 + 553x65 + 615x66 + 589x67 + 574x68 + 790x69 + 759x70 + 700x71 + 887x72 + 575x73 + 550x74 + 1162x75 + 772x76 + 973x77 + 387x78 + 383x79 + 700x80 + 934x81 + 650x82 + 959x83 + 1282x84 + 969x85 + 1163x86 + 886x87 + 835x88 + 1137x89 + 502x90 + 483x91 + 511x92 + 796x93 + 1090x94 + 690x95 + 901x96 + 773x97 + 829x98 + 885x99 + 1103x100  = 0 
f2: -f2 + 418x1 + 886x2 + 483x3 + 576x4 + 1163x5 + 1060x6 + 700x7 + 671x8 + 773x9 + 888x10 + 651x11 + 554x12 + 759x13 + 641x14 + 834x15 + 406x16 + 772x17 + 790x18 + 534x19 + 502x20 + 887x21 + 690x22 + 731x23 + 885x24 + 1105x25 + 865x26 + 927x27 + 383x28 + 651x29 + 852x30 + 700x31 + 1162x32 + 714x33 + 619x34 + 575x35 + 445x36 + 502x37 + 1103x38 + 508x39 + 640x40 + 364x41 + 796x42 + 603x43 + 1001x44 + 717x45 + 589x46 + 1090x47 + 913x48 + 723x49 + 610x50 + 1083x51 + 397x52 + 982x53 + 959x54 + 761x55 + 704x56 + 699x57 + 762x58 + 553x59 + 934x60 + 829x61 + 513x62 + 550x63 + 409x64 + 642x65 + 725x66 + 1282x67 + 707x68 + 849x69 + 705x70 + 511x71 + 1137x72 + 901x73 + 616x74 + 775x75 + 574x76 + 797x77 + 973x78 + 855x79 + 801x80 + 772x81 + 1018x82 + 650x83 + 835x84 + 969x85 + 441x86 + 867x87 + 615x88 + 1115x89 + 620x90 + 387x91 + 694x92 + 537x93 + 498x94 + 477x95 + 1231x96 + 596x97 + 667x98 + 761x99 + 784x100  = 0 
constr1: + 666x1 + 68x2 + 36x3 + 23x4 + 234x5 + 2x6 + 284x7 + 196x8 + 362x9 + 281x10 + 327x11 + 145x12 + 449x13 + 342x14 + 217x15 + 183x16 + 835x17 + 997x18 + 819x19 + 859x20 + 716x21 + 815x22 + 253x23 + 233x24 + 536x25 + 449x26 + 877x27 + 316x28 + 475x29 + 580x30 + 85x31 + 552x32 + 7x33 + 306x34 + 558x35 + 873x36 + 330x37 + 769x38 + 319x39 + 468x40 + 923x41 + 895x42 + 461x43 + 586x44 + 585x45 + 773x46 + 47x47 + 628x48 + 123x49 + 863x50 + 313x51 + 82x52 + 597x53 + 657x54 + 621x55 + 689x56 + 599x57 + 810x58 + 561x59 + 329x60 + 742x61 + 958x62 + 491x63 + 858x64 + 40x65 + 149x66 + 605x67 + 83x68 + 417x69 + 741x70 + 26x71 + 17x72 + 856x73 + 784x74 + 196x75 + 232x76 + 814x77 + 902x78 + 68x79 + 979x80 + 827x81 + 386x82 + 943x83 + 355x84 + 122x85 + 500x86 + 648x87 + 427x88 + 182x89 + 337x90 + 51x91 + 574x92 + 556x93 + 5x94 + 123x95 + 829x96 + 47x97 + 749x98 + 337x99 + 843x100 <= 24045 
constr2: + 688x1 + 357x2 + 603x3 + 201x4 + 567x5 + 317x6 + 235x7 + 30x8 + 963x9 + 213x10 + 590x11 + 31x12 + 579x13 + 30x14 + 568x15 + 654x16 + 808x17 + 920x18 + 186x19 + 935x20 + 97x21 + 704x22 + 693x23 + 190x24 + 274x25 + 840x26 + 320x27 + 78x28 + 546x29 + 856x30 + 690x31 + 840x32 + 518x33 + 646x34 + 48x35 + 881x36 + 665x37 + 583x38 + 100x39 + 352x40 + 385x41 + 107x42 + 866x43 + 410x44 + 241x45 + 523x46 + 386x47 + 47x48 + 265x49 + 154x50 + 557x51 + 984x52 + 101x53 + 340x54 + 688x55 + 296x56 + 624x57 + 769x58 + 922x59 + 366x60 + 496x61 + 873x62 + 166x63 + 516x64 + 303x65 + 709x66 + 55x67 + 785x68 + 365x69 + 426x70 + 24x71 + 455x72 + 919x73 + 749x74 + 727x75 + 101x76 + 757x77 + 421x78 + 53x79 + 530x80 + 439x81 + 124x82 + 999x83 + 934x84 + 447x85 + 644x86 + 378x87 + 225x88 + 395x89 + 586x90 + 41x91 + 873x92 + 689x93 + 787x94 + 39x95 + 933x96 + 98x97 + 42x98 + 163x99 + 715x100 <= 24345 
constr3: + 983x1 + 972x2 + 982x3 + 67x4 + 168x5 + 576x6 + 602x7 + 268x8 + 570x9 + 297x10 + 929x11 + 753x12 + 772x13 + 809x14 + 299x15 + 223x16 + 508x17 + 892x18 + 46x19 + 855x20 + 257x21 + 32x22 + 737x23 + 414x24 + 69x25 + 480x26 + 890x27 + 800x28 + 845x29 + 927x30 + 95x31 + 458x32 + 284x33 + 365x34 + 229x35 + 411x36 + 60x37 + 427x38 + 362x39 + 873x40 + 266x41 + 647x42 + 524x43 + 595x44 + 308x45 + 223x46 + 766x47 + 826x48 + 909x49 + 262x50 + 150x51 + 246x52 + 762x53 + 104x54 + 721x55 + 339x56 + 861x57 + 846x58 + 994x59 + 513x60 + 589x61 + 201x62 + 133x63 + 468x64 + 568x65 + 510x66 + 549x67 + 273x68 + 873x69 + 742x70 + 88x71 + 923x72 + 751x73 + 51x74 + 950x75 + 745x76 + 652x77 + 731x78 + 501x79 + 824x80 + 328x81 + 996x82 + 181x83 + 472x84 + 881x85 + 116x86 + 450x87 + 57x88 + 396x89 + 694x90 + 981x91 + 738x92 + 282x93 + 348x94 + 490x95 + 141x96 + 729x97 + 168x98 + 264x99 + 964x100 <= 26096 
constr4: + 479x1 + 505x2 + 727x3 + 423x4 + 798x5 + 393x6 + 374x7 + 47x8 + 174x9 + 699x10 + 342x11 + 947x12 + 876x13 + 24x14 + 157x15 + 10x16 + 977x17 + 749x18 + 591x19 + 334x20 + 968x21 + 961x22 + 316x23 + 393x24 + 87x25 + 662x26 + 791x27 + 576x28 + 406x29 + 325x30 + 4x31 + 995x32 + 121x33 + 632x34 + 303x35 + 272x36 + 782x37 + 799x38 + 213x39 + 355x40 + 374x41 + 138x42 + 500x43 + 687x44 + 436x45 + 978x46 + 729x47 + 234x48 + 143x49 + 335x50 + 558x51 + 98x52 + 607x53 + 943x54 + 384x55 + 209x56 + 866x57 + 955x58 + 931x59 + 274x60 + 804x61 + 818x62 + 125x63 + 113x64 + 489x65 + 747x66 + 411x67 + 396x68 + 155x69 + 755x70 + 534x71 + 293x72 + 178x73 + 875x74 + 483x75 + 507x76 + 727x77 + 1000x78 + 782x79 + 692x80 + 494x81 + 847x82 + 500x83 + 76x84 + 847x85 + 679x86 + 187x87 + 458x88 + 613x89 + 813x90 + 699x91 + 487x92 + 1x93 + 286x94 + 138x95 + 758x96 + 982x97 + 600x98 + 793x99 + 651x100 <= 25634 
constr5: + 117x1 + 865x2 + 396x3 + 272x4 + 693x5 + 990x6 + 471x7 + 516x8 + 226x9 + 51x10 + 883x11 + 71x12 + 755x13 + 336x14 + 846x15 + 870x16 + 309x17 + 355x18 + 102x19 + 968x20 + 460x21 + 767x22 + 780x23 + 143x24 + 693x25 + 906x26 + 464x27 + 728x28 + 86x29 + 655x30 + 193x31 + 491x32 + 728x33 + 937x34 + 666x35 + 466x36 + 450x37 + 266x38 + 307x39 + 89x40 + 886x41 + 39x42 + 589x43 + 98x44 + 368x45 + 141x46 + 748x47 + 430x48 + 395x49 + 696x50 + 898x51 + 860x52 + 530x53 + 783x54 + 233x55 + 122x56 + 543x57 + 642x58 + 908x59 + 868x60 + 302x61 + 391x62 + 858x63 + 688x64 + 727x65 + 208x66 + 131x67 + 445x68 + 879x69 + 118x70 + 62x71 + 640x72 + 332x73 + 417x74 + 809x75 + 261x76 + 658x77 + 303x78 + 718x79 + 926x80 + 745x81 + 440x82 + 574x83 + 693x84 + 971x85 + 315x86 + 368x87 + 274x88 + 47x89 + 340x90 + 862x91 + 12x92 + 31x93 + 361x94 + 892x95 + 679x96 + 675x97 + 192x98 + 536x99 + 619x100 <= 24302 
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