l=12368;
a=5;
setup_costs=[|5,25,17,18,17,
|23,9,16,21,21,
|19,22,3,19,21,
|25,14,19,9,18,
|18,15,24,19,2,
|0,0,0,0,0|];
setup_times=[|6,17,20,14,17,
|17,8,19,20,22,
|20,14,11,19,19,
|18,14,22,8,15,
|23,22,17,21,10,
|0,0,0,0,0|];
m=5;
min_cap=[0,0,0,0,0];
max_cap=[22,58,44,97,33];

initState=[1,1,4,2,5];
s=5;
m_a_s = [|0,0,0,455,7696,
|0,1656,7175,7914,8405,
|0,0,0,0,962,
|2025,6992,9068,10726,10855,
|0,0,0,2652,4920|];
m_a_e = [|0,0,0,6127,11913,
|0,6587,7819,8378,11646,
|0,0,0,0,11251,
|5839,8808,10684,10853,12231,
|0,0,0,4464,11458|];
n=100;
eligible_machine = [{5,3},
{4},
{3,1,5},
{5,4},
{1},
{1},
{5,3},
{2,1},
{1,2},
{1,4},
{1,3},
{5},
{3,1},
{1,5},
{1},
{5,2},
{1},
{2},
{5,3},
{5},
{3,2},
{4,2},
{1,3},
{5},
{4,1,2},
{4},
{5,1},
{4},
{2},
{2,5},
{3,4},
{3},
{4,2,5},
{3,1},
{3,5},
{1,5},
{4,5},
{4},
{5},
{3,1},
{4,2},
{4,1,3,5},
{2,1},
{4},
{4,1,3},
{4},
{2,1,3},
{5},
{1,4},
{5},
{3,1},
{1,3},
{3,1},
{1},
{4},
{2,1,3},
{4,2},
{5,1,3,4},
{1,5},
{5},
{3},
{3,1,2},
{2},
{5,1,2},
{4,1,5},
{4,1},
{4},
{5,2},
{3,2,5},
{1},
{1,3},
{5,1,2},
{3,5},
{5},
{1},
{3,4,5},
{3,1,2},
{1,2,4},
{4,5},
{2,1,3,5},
{3,2},
{3,1},
{4},
{2,4},
{1,4},
{3,4},
{4,5},
{1,5},
{1,2},
{3,1},
{3},
{1,3,5},
{2,3},
{1,4},
{3,5},
{4},
{3,5},
{1,3},
{2,4},
{3,5}];
earliest_start=[2405,1950,790,2369,1502,422,1705,733,2028,1356,1202,2286,2265,2317,1119,1968,2150,630,1145,1347,113,1561,91,893,2453,465,2205,2056,2095,620,1698,26,2390,210,1747,2167,1991,2471,1505,616,1113,544,2362,1999,237,593,536,480,2335,931,385,1139,2248,812,1056,843,1859,2441,2459,1036,761,2193,1182,1408,2201,1176,2440,2055,569,1496,2521,2222,1668,529,233,2112,1742,635,655,1860,2473,1725,2265,1163,234,559,321,1577,1698,903,307,2094,12,469,2399,1464,1905,954,2342,1605];
latest_end=[2473,2086,966,2460,1654,454,1806,784,2093,1447,1247,2302,2364,2357,1262,2127,2249,710,1253,1534,162,1633,142,952,2605,592,2254,2224,2103,705,1858,117,2499,241,1789,2267,2092,2572,1573,617,1212,567,2384,2051,238,622,555,509,2338,1064,403,1260,2290,818,1179,963,1979,2485,2537,1042,919,2283,1232,1516,2311,1284,2498,2124,750,1515,2556,2401,1694,665,271,2178,1802,726,749,1942,2535,1739,2368,1195,295,570,392,1668,1730,967,329,2106,25,512,2425,1632,2043,1019,2455,1684];
min_time=[36,97,99,47,80,19,68,49,41,59,31,11,58,31,92,82,62,59,98,99,49,54,28,55,92,75,33,94,6,55,95,76,77,22,39,82,54,65,42,1,75,13,20,49,1,29,13,23,3,88,14,84,26,4,90,82,69,44,55,6,87,75,44,86,64,55,34,36,92,10,29,97,17,97,25,37,35,79,55,64,62,10,91,19,41,11,51,73,32,57,14,11,10,36,14,100,70,34,85,46];
max_time=[100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100,100];
size=[2,2,5,1,2,5,1,3,3,2,4,1,1,4,4,1,1,5,1,4,5,4,5,4,2,1,1,3,1,3,1,2,4,5,3,4,1,3,3,2,3,1,3,4,5,5,4,5,4,5,1,4,4,1,5,1,5,5,4,1,2,3,4,2,2,1,5,1,2,5,3,2,3,5,2,1,1,2,3,3,5,5,1,4,4,4,4,3,4,1,1,2,2,2,1,3,4,3,4,4];
attribute=[2,3,5,1,2,3,5,5,4,4,2,5,3,2,4,4,2,4,2,4,3,4,4,2,2,3,5,2,1,2,2,5,2,2,5,1,5,1,2,3,3,5,3,1,2,1,2,4,3,2,1,2,3,5,4,4,2,5,4,1,2,4,5,4,1,5,4,2,5,2,1,4,4,5,3,4,3,4,2,4,1,5,4,2,1,2,1,5,5,4,5,5,3,3,3,1,2,2,2,4];

upper_bound_integer_objective=307912500;
mult_factor_total_runtime=2300;
mult_factor_finished_toolate=2932500;
mult_factor_total_setuptimes=0;
mult_factor_total_setupcosts=1173;
running_time_bound=5085;
min_duration=1;
max_duration=100;
max_setup_time=23;
max_setup_cost=25;