minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 36930.634000 
s2: s + 0.001000f1 + 0.501000f2 >= 36930.634000 
f1: -f1 + 887x1 + 499x2 + 417x3 + 729x4 + 644x5 + 900x6 + 881x7 + 765x8 + 571x9 + 813x10 + 473x11 + 682x12 + 697x13 + 1103x14 + 973x15 + 841x16 + 733x17 + 759x18 + 620x19 + 704x20 + 1015x21 + 778x22 + 1036x23 + 695x24 + 468x25 + 451x26 + 522x27 + 724x28 + 581x29 + 521x30 + 951x31 + 502x32 + 1022x33 + 604x34 + 622x35 + 756x36 + 804x37 + 596x38 + 674x39 + 570x40 + 742x41 + 403x42 + 745x43 + 1178x44 + 725x45 + 540x46 + 627x47 + 957x48 + 926x49 + 690x50 + 887x51 + 567x52 + 933x53 + 822x54 + 803x55 + 541x56 + 629x57 + 1111x58 + 501x59 + 907x60 + 862x61 + 534x62 + 1097x63 + 870x64 + 637x65 + 622x66 + 1013x67 + 641x68 + 783x69 + 782x70 + 783x71 + 788x72 + 901x73 + 1076x74 + 659x75 + 890x76 + 689x77 + 869x78 + 820x79 + 849x80 + 807x81 + 851x82 + 445x83 + 553x84 + 594x85 + 584x86 + 574x87 + 441x88 + 416x89 + 656x90 + 769x91 + 771x92 + 735x93 + 730x94 + 607x95 + 906x96 + 818x97 + 986x98 + 553x99 + 789x100  = 0 
f2: -f2 + 1013x1 + 862x2 + 627x3 + 553x4 + 729x5 + 951x6 + 445x7 + 822x8 + 765x9 + 567x10 + 622x11 + 813x12 + 416x13 + 499x14 + 803x15 + 733x16 + 473x17 + 759x18 + 807x19 + 540x20 + 690x21 + 926x22 + 553x23 + 644x24 + 1036x25 + 403x26 + 574x27 + 534x28 + 641x29 + 771x30 + 541x31 + 724x32 + 820x33 + 697x34 + 1097x35 + 441x36 + 522x37 + 783x38 + 756x39 + 1015x40 + 881x41 + 804x42 + 596x43 + 890x44 + 581x45 + 637x46 + 502x47 + 887x48 + 695x49 + 674x50 + 782x51 + 659x52 + 735x53 + 933x54 + 1111x55 + 789x56 + 451x57 + 417x58 + 620x59 + 1076x60 + 973x61 + 704x62 + 501x63 + 1022x64 + 869x65 + 521x66 + 851x67 + 769x68 + 986x69 + 818x70 + 907x71 + 783x72 + 730x73 + 682x74 + 604x75 + 607x76 + 629x77 + 849x78 + 788x79 + 594x80 + 957x81 + 1178x82 + 468x83 + 778x84 + 742x85 + 725x86 + 571x87 + 906x88 + 622x89 + 870x90 + 901x91 + 584x92 + 745x93 + 900x94 + 656x95 + 689x96 + 1103x97 + 570x98 + 841x99 + 887x100  = 0 
constr1: + 387x1 + 121x2 + 483x3 + 949x4 + 27x5 + 89x6 + 476x7 + 848x8 + 564x9 + 146x10 + 539x11 + 668x12 + 852x13 + 791x14 + 525x15 + 868x16 + 61x17 + 595x18 + 544x19 + 407x20 + 213x21 + 586x22 + 722x23 + 967x24 + 381x25 + 932x26 + 466x27 + 629x28 + 643x29 + 680x30 + 867x31 + 362x32 + 410x33 + 469x34 + 174x35 + 46x36 + 94x37 + 848x38 + 303x39 + 3x40 + 715x41 + 35x42 + 117x43 + 56x44 + 301x45 + 33x46 + 748x47 + 945x48 + 448x49 + 813x50 + 221x51 + 883x52 + 687x53 + 91x54 + 739x55 + 19x56 + 623x57 + 852x58 + 261x59 + 942x60 + 571x61 + 316x62 + 760x63 + 272x64 + 111x65 + 661x66 + 836x67 + 815x68 + 232x69 + 260x70 + 389x71 + 263x72 + 920x73 + 352x74 + 970x75 + 854x76 + 653x77 + 256x78 + 495x79 + 879x80 + 25x81 + 76x82 + 12x83 + 385x84 + 121x85 + 865x86 + 382x87 + 95x88 + 343x89 + 696x90 + 619x91 + 312x92 + 666x93 + 310x94 + 920x95 + 718x96 + 36x97 + 155x98 + 45x99 + 553x100 <= 39924 
constr2: + 969x1 + 866x2 + 298x3 + 586x4 + 157x5 + 29x6 + 794x7 + 885x8 + 118x9 + 54x10 + 15x11 + 636x12 + 812x13 + 199x14 + 369x15 + 415x16 + 260x17 + 288x18 + 561x19 + 797x20 + 317x21 + 53x22 + 246x23 + 254x24 + 485x25 + 828x26 + 489x27 + 129x28 + 724x29 + 546x30 + 210x31 + 789x32 + 302x33 + 165x34 + 307x35 + 338x36 + 260x37 + 545x38 + 907x39 + 504x40 + 457x41 + 150x42 + 602x43 + 68x44 + 687x45 + 654x46 + 977x47 + 424x48 + 457x49 + 906x50 + 489x51 + 418x52 + 752x53 + 427x54 + 192x55 + 178x56 + 321x57 + 723x58 + 970x59 + 998x60 + 11x61 + 660x62 + 132x63 + 47x64 + 635x65 + 510x66 + 921x67 + 220x68 + 346x69 + 443x70 + 615x71 + 724x72 + 844x73 + 612x74 + 145x75 + 510x76 + 257x77 + 451x78 + 76x79 + 595x80 + 766x81 + 337x82 + 892x83 + 904x84 + 915x85 + 464x86 + 159x87 + 567x88 + 116x89 + 240x90 + 382x91 + 333x92 + 841x93 + 348x94 + 73x95 + 515x96 + 560x97 + 876x98 + 322x99 + 375x100 <= 39321 
constr3: + 277x1 + 853x2 + 409x3 + 46x4 + 394x5 + 927x6 + 322x7 + 184x8 + 237x9 + 553x10 + 100x11 + 341x12 + 621x13 + 874x14 + 436x15 + 187x16 + 792x17 + 584x18 + 6x19 + 34x20 + 214x21 + 145x22 + 784x23 + 66x24 + 885x25 + 554x26 + 742x27 + 916x28 + 325x29 + 602x30 + 509x31 + 397x32 + 699x33 + 981x34 + 955x35 + 664x36 + 225x37 + 588x38 + 580x39 + 747x40 + 258x41 + 434x42 + 140x43 + 984x44 + 513x45 + 294x46 + 689x47 + 739x48 + 329x49 + 430x50 + 472x51 + 504x52 + 787x53 + 504x54 + 702x55 + 28x56 + 397x57 + 880x58 + 406x59 + 689x60 + 247x61 + 119x62 + 711x63 + 437x64 + 735x65 + 920x66 + 957x67 + 274x68 + 596x69 + 980x70 + 558x71 + 397x72 + 373x73 + 885x74 + 228x75 + 865x76 + 785x77 + 85x78 + 888x79 + 779x80 + 238x81 + 446x82 + 923x83 + 917x84 + 309x85 + 409x86 + 900x87 + 334x88 + 290x89 + 513x90 + 175x91 + 798x92 + 950x93 + 199x94 + 178x95 + 132x96 + 191x97 + 142x98 + 528x99 + 530x100 <= 35729 
constr4: + 755x1 + 831x2 + 352x3 + 506x4 + 734x5 + 636x6 + 545x7 + 249x8 + 719x9 + 655x10 + 296x11 + 969x12 + 645x13 + 404x14 + 489x15 + 210x16 + 403x17 + 760x18 + 328x19 + 496x20 + 185x21 + 629x22 + 16x23 + 11x24 + 905x25 + 195x26 + 283x27 + 968x28 + 284x29 + 692x30 + 806x31 + 863x32 + 989x33 + 317x34 + 612x35 + 725x36 + 682x37 + 498x38 + 768x39 + 35x40 + 441x41 + 304x42 + 598x43 + 923x44 + 983x45 + 147x46 + 249x47 + 831x48 + 288x49 + 448x50 + 412x51 + 283x52 + 708x53 + 305x54 + 700x55 + 120x56 + 853x57 + 206x58 + 938x59 + 850x60 + 517x61 + 337x62 + 587x63 + 921x64 + 740x65 + 495x66 + 681x67 + 577x68 + 332x69 + 284x70 + 218x71 + 852x72 + 192x73 + 365x74 + 438x75 + 316x76 + 790x77 + 926x78 + 563x79 + 724x80 + 306x81 + 204x82 + 274x83 + 335x84 + 524x85 + 65x86 + 938x87 + 61x88 + 631x89 + 877x90 + 282x91 + 907x92 + 763x93 + 282x94 + 897x95 + 617x96 + 378x97 + 789x98 + 96x99 + 532x100 <= 38899 
constr5: + 230x1 + 566x2 + 765x3 + 178x4 + 896x5 + 412x6 + 958x7 + 346x8 + 703x9 + 877x10 + 401x11 + 493x12 + 800x13 + 883x14 + 271x15 + 675x16 + 834x17 + 870x18 + 472x19 + 753x20 + 130x21 + 831x22 + 412x23 + 656x24 + 150x25 + 791x26 + 154x27 + 149x28 + 252x29 + 111x30 + 540x31 + 208x32 + 259x33 + 848x34 + 678x35 + 456x36 + 486x37 + 795x38 + 276x39 + 716x40 + 358x41 + 879x42 + 308x43 + 794x44 + 775x45 + 464x46 + 78x47 + 233x48 + 536x49 + 796x50 + 473x51 + 440x52 + 285x53 + 262x54 + 134x55 + 552x56 + 743x57 + 414x58 + 677x59 + 596x60 + 920x61 + 957x62 + 45x63 + 174x64 + 466x65 + 659x66 + 935x67 + 890x68 + 151x69 + 610x70 + 490x71 + 914x72 + 560x73 + 474x74 + 837x75 + 219x76 + 152x77 + 22x78 + 827x79 + 877x80 + 456x81 + 723x82 + 832x83 + 717x84 + 11x85 + 94x86 + 71x87 + 820x88 + 834x89 + 325x90 + 750x91 + 592x92 + 167x93 + 739x94 + 726x95 + 296x96 + 987x97 + 694x98 + 853x99 + 97x100 <= 37385 
constr6: + 405x1 + 641x2 + 990x3 + 563x4 + 268x5 + 17x6 + 592x7 + 203x8 + 526x9 + 988x10 + 329x11 + 128x12 + 651x13 + 284x14 + 838x15 + 849x16 + 749x17 + 15x18 + 551x19 + 954x20 + 169x21 + 766x22 + 249x23 + 458x24 + 306x25 + 134x26 + 444x27 + 757x28 + 944x29 + 633x30 + 580x31 + 249x32 + 323x33 + 500x34 + 762x35 + 795x36 + 443x37 + 944x38 + 690x39 + 289x40 + 793x41 + 299x42 + 429x43 + 87x44 + 69x45 + 6x46 + 990x47 + 620x48 + 640x49 + 807x50 + 911x51 + 236x52 + 145x53 + 214x54 + 803x55 + 247x56 + 235x57 + 370x58 + 579x59 + 414x60 + 435x61 + 787x62 + 580x63 + 347x64 + 380x65 + 696x66 + 534x67 + 720x68 + 501x69 + 681x70 + 492x71 + 708x72 + 207x73 + 907x74 + 744x75 + 627x76 + 386x77 + 873x78 + 182x79 + 869x80 + 87x81 + 831x82 + 486x83 + 580x84 + 437x85 + 192x86 + 981x87 + 713x88 + 991x89 + 983x90 + 19x91 + 742x92 + 362x93 + 63x94 + 108x95 + 755x96 + 9x97 + 390x98 + 177x99 + 747x100 <= 36437 
constr7: + 852x1 + 918x2 + 699x3 + 141x4 + 409x5 + 510x6 + 889x7 + 137x8 + 231x9 + 59x10 + 953x11 + 235x12 + 21x13 + 660x14 + 994x15 + 905x16 + 590x17 + 427x18 + 483x19 + 482x20 + 153x21 + 140x22 + 394x23 + 105x24 + 129x25 + 563x26 + 528x27 + 727x28 + 388x29 + 822x30 + 449x31 + 248x32 + 325x33 + 685x34 + 158x35 + 243x36 + 380x37 + 207x38 + 837x39 + 69x40 + 450x41 + 974x42 + 22x43 + 396x44 + 992x45 + 711x46 + 229x47 + 966x48 + 936x49 + 485x50 + 173x51 + 321x52 + 896x53 + 885x54 + 193x55 + 211x56 + 436x57 + 889x58 + 283x59 + 826x60 + 547x61 + 232x62 + 95x63 + 778x64 + 183x65 + 538x66 + 775x67 + 988x68 + 319x69 + 503x70 + 6x71 + 323x72 + 671x73 + 903x74 + 959x75 + 904x76 + 412x77 + 441x78 + 838x79 + 549x80 + 474x81 + 478x82 + 707x83 + 52x84 + 448x85 + 380x86 + 549x87 + 807x88 + 849x89 + 990x90 + 122x91 + 895x92 + 523x93 + 153x94 + 978x95 + 143x96 + 866x97 + 695x98 + 211x99 + 392x100 <= 39217 
constr8: + 653x1 + 771x2 + 878x3 + 668x4 + 919x5 + 838x6 + 967x7 + 811x8 + 496x9 + 732x10 + 801x11 + 274x12 + 507x13 + 764x14 + 792x15 + 854x16 + 123x17 + 996x18 + 555x19 + 626x20 + 205x21 + 892x22 + 597x23 + 628x24 + 251x25 + 560x26 + 821x27 + 280x28 + 241x29 + 824x30 + 95x31 + 946x32 + 769x33 + 202x34 + 723x35 + 486x36 + 161x37 + 548x38 + 124x39 + 538x40 + 570x41 + 844x42 + 344x43 + 872x44 + 817x45 + 954x46 + 316x47 + 647x48 + 224x49 + 611x50 + 479x51 + 106x52 + 724x53 + 590x54 + 236x55 + 477x56 + 574x57 + 504x58 + 227x59 + 108x60 + 276x61 + 714x62 + 590x63 + 14x64 + 791x65 + 768x66 + 974x67 + 812x68 + 805x69 + 818x70 + 750x71 + 549x72 + 822x73 + 173x74 + 221x75 + 747x76 + 633x77 + 448x78 + 110x79 + 733x80 + 518x81 + 233x82 + 25x83 + 29x84 + 60x85 + 120x86 + 305x87 + 794x88 + 851x89 + 569x90 + 134x91 + 949x92 + 649x93 + 516x94 + 731x95 + 661x96 + 198x97 + 118x98 + 199x99 + 653x100 <= 42092 
constr9: + 785x1 + 258x2 + 801x3 + 464x4 + 477x5 + 721x6 + 524x7 + 645x8 + 645x9 + 144x10 + 232x11 + 129x12 + 966x13 + 535x14 + 172x15 + 731x16 + 555x17 + 59x18 + 12x19 + 645x20 + 647x21 + 102x22 + 802x23 + 502x24 + 928x25 + 389x26 + 911x27 + 946x28 + 160x29 + 87x30 + 733x31 + 566x32 + 716x33 + 738x34 + 662x35 + 54x36 + 319x37 + 399x38 + 980x39 + 873x40 + 615x41 + 147x42 + 801x43 + 58x44 + 252x45 + 30x46 + 766x47 + 391x48 + 734x49 + 150x50 + 103x51 + 780x52 + 533x53 + 955x54 + 355x55 + 6x56 + 665x57 + 290x58 + 22x59 + 146x60 + 162x61 + 341x62 + 25x63 + 662x64 + 759x65 + 183x66 + 758x67 + 93x68 + 321x69 + 610x70 + 367x71 + 30x72 + 958x73 + 723x74 + 534x75 + 771x76 + 729x77 + 954x78 + 332x79 + 180x80 + 935x81 + 453x82 + 124x83 + 379x84 + 866x85 + 700x86 + 991x87 + 951x88 + 832x89 + 773x90 + 368x91 + 140x92 + 18x93 + 143x94 + 816x95 + 391x96 + 327x97 + 73x98 + 1x99 + 901x100 <= 36935 
constr10: + 852x1 + 962x2 + 83x3 + 444x4 + 876x5 + 931x6 + 184x7 + 126x8 + 5x9 + 573x10 + 285x11 + 404x12 + 829x13 + 568x14 + 661x15 + 518x16 + 627x17 + 759x18 + 350x19 + 372x20 + 420x21 + 857x22 + 467x23 + 107x24 + 152x25 + 50x26 + 954x27 + 357x28 + 940x29 + 425x30 + 861x31 + 551x32 + 760x33 + 313x34 + 747x35 + 588x36 + 345x37 + 450x38 + 766x39 + 871x40 + 446x41 + 39x42 + 876x43 + 330x44 + 540x45 + 112x46 + 432x47 + 499x48 + 524x49 + 168x50 + 505x51 + 876x52 + 137x53 + 647x54 + 352x55 + 809x56 + 701x57 + 303x58 + 635x59 + 364x60 + 507x61 + 96x62 + 614x63 + 626x64 + 741x65 + 533x66 + 327x67 + 765x68 + 69x69 + 903x70 + 896x71 + 521x72 + 214x73 + 959x74 + 751x75 + 474x76 + 43x77 + 662x78 + 511x79 + 867x80 + 252x81 + 208x82 + 15x83 + 758x84 + 502x85 + 106x86 + 472x87 + 816x88 + 369x89 + 489x90 + 376x91 + 884x92 + 362x93 + 461x94 + 931x95 + 670x96 + 449x97 + 815x98 + 71x99 + 567x100 <= 34611 
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