l=29816;
a=5;
setup_costs=[|4,14,14,15,18,
|19,7,21,22,20,
|24,18,7,17,16,
|15,25,25,0,21,
|18,21,24,15,2,
|0,0,0,0,0|];
setup_times=[|7,24,16,15,22,
|19,7,14,22,18,
|15,25,13,17,20,
|25,14,23,10,16,
|21,23,19,14,4,
|0,0,0,0,0|];
m=5;
min_cap=[0,0,0,0,0];
max_cap=[23,59,20,91,94];

initState=[1,2,5,2,1];
s=5;
m_a_s = [|20374,22330,25516,27936,28631,
|0,0,19320,20988,22676,
|0,0,0,0,20441,
|0,0,8072,22476,24451,
|0,0,5520,6319,17768|];
m_a_e = [|22031,25341,26602,28481,29660,
|0,0,19861,21423,27941,
|0,0,0,0,23252,
|0,0,16823,23896,26038,
|0,0,5875,16845,22342|];
n=100;
eligible_machine = [{2,4,5},
{3,2,5},
{1,3},
{3,2},
{1},
{2,1,5},
{2},
{1,2,4,5},
{4,3,5},
{1,2,5},
{4,1},
{3,2},
{3,5},
{2},
{4},
{2},
{5},
{3,1,4},
{4,1,5},
{1,3},
{5,2},
{1,2},
{1,2},
{2},
{4,3,5},
{1,4},
{4},
{2,1,3,4,5},
{5},
{1,5},
{4,5},
{5},
{3},
{5},
{1},
{3,1},
{1,3},
{1,3,4},
{5,2},
{5,1},
{2},
{2,1},
{5},
{4,1,5},
{3,5},
{2,5},
{2,5},
{4,2},
{1},
{5,2},
{4,2,5},
{3},
{4},
{2,3,5},
{1},
{2},
{4,5},
{2,1,4},
{4},
{2,1},
{4},
{2,3},
{1,4},
{3},
{3},
{4,2},
{1},
{5,1,2},
{4},
{4},
{5,2,3},
{5,1},
{5,3},
{1,4,5},
{3,4},
{2},
{3,4},
{1,2,3,5},
{5,4},
{4},
{5},
{5,1,2,4},
{3},
{1,5},
{3,4,5},
{1,4},
{4,1,2},
{3,5},
{2},
{3,4},
{4,3},
{1,5},
{2},
{1},
{3,4},
{2},
{3,1},
{2,3,5},
{4},
{3}];
earliest_start=[398,439,311,317,99,138,161,14,356,317,446,315,193,114,110,211,15,26,373,439,362,29,64,282,203,405,324,18,1,211,414,78,315,465,19,204,312,181,210,126,243,148,404,121,443,344,370,111,425,451,34,41,27,16,80,368,375,28,113,179,298,143,12,144,388,367,484,212,95,390,384,319,300,246,196,214,110,427,324,344,34,212,77,35,176,372,51,298,385,136,314,283,67,31,312,99,135,259,218,75];
latest_end=[476,505,327,356,145,204,208,88,438,336,465,342,234,174,127,286,108,52,405,495,453,100,148,381,301,511,325,118,33,313,416,132,388,536,88,338,352,196,287,133,257,326,431,185,530,491,399,230,481,579,40,56,176,116,132,474,472,80,194,251,385,195,58,189,549,405,644,313,182,464,411,341,418,387,277,293,189,524,359,356,112,284,196,128,219,568,72,362,564,270,369,287,163,90,480,144,188,303,238,184];
min_time=[49,35,11,28,41,57,37,44,74,13,18,18,38,42,15,48,81,24,18,30,80,48,68,51,64,64,1,65,29,95,2,31,39,56,69,82,28,10,60,4,11,98,16,37,73,92,23,64,29,98,4,15,84,52,29,83,60,38,70,46,83,28,32,35,85,31,85,75,44,67,17,15,100,95,44,43,41,66,24,10,73,70,74,63,42,100,15,54,99,88,33,3,55,34,91,36,47,37,15,95];
max_time=[73,56,49,60,92,72,96,100,89,90,23,76,76,77,83,67,88,39,32,75,92,67,87,92,87,93,38,80,74,97,68,74,51,100,76,92,62,63,93,80,63,99,73,64,95,96,86,68,90,99,53,50,85,78,32,91,66,65,94,84,85,91,50,65,100,82,93,90,76,70,86,73,100,95,55,70,57,97,45,60,74,79,76,64,87,100,46,100,100,99,52,65,93,72,99,46,52,43,86,100];
size=[9,19,12,12,17,1,7,9,6,10,6,10,2,5,2,4,5,6,20,15,4,16,20,1,2,17,19,11,9,11,14,15,5,12,4,13,16,6,3,19,1,3,13,10,17,18,5,19,14,5,3,17,14,2,10,6,10,6,12,4,7,2,15,14,14,9,5,10,16,2,8,10,4,10,19,16,10,10,4,12,11,2,7,12,13,2,20,15,5,17,17,9,1,15,3,16,12,2,4,2];
attribute=[3,4,4,1,1,1,1,5,2,5,1,2,2,4,1,1,5,2,3,1,1,4,3,5,3,1,5,5,4,3,2,1,1,3,1,1,1,3,5,5,3,3,1,1,5,1,1,3,1,1,2,3,2,1,5,5,1,5,4,2,4,5,2,1,1,4,4,2,2,5,3,1,4,1,2,2,3,2,1,5,1,1,4,2,1,5,1,3,5,3,4,2,2,1,5,5,4,1,1,5];

upper_bound_integer_objective=12862500;
mult_factor_total_runtime=100;
mult_factor_finished_toolate=122500;
mult_factor_total_setuptimes=0;
mult_factor_total_setupcosts=49;
running_time_bound=4833;
min_duration=1;
max_duration=100;
max_setup_time=25;
max_setup_cost=25;