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