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