warm_start = warm_start_array( [ warm_start( batch_for_job, array1d(1..100,[3,2,11,4,9,2,11,5,6,8,10,6,2,8,5,9,9,1,5,4,2,3,1,8,6,5,8,4,3,8,3,4,7,2,4,2,6,2,1,3,1,3,4,6,7,6,7,7,10,4,6,7,9,4,8,2,9,1,1,3,6,5,4,7,2,3,10,3,6,5,1,3,10,9,4,1,2,6,10,12,7,8,4,5,1,7,8,2,2,2,4,3,4,9,9,4,5,7,7,3])), warm_start( machine_for_job, array1d(1..100,[1,2,1,2,1,2,2,2,1,1,1,2,2,2,2,2,1,1,1,2,2,2,2,2,2,2,1,2,1,1,2,2,1,2,2,2,2,1,1,2,2,1,2,2,2,1,2,2,2,1,2,2,1,1,2,1,2,1,2,1,1,2,1,1,1,2,1,1,1,1,2,2,2,2,2,2,1,2,1,1,2,2,1,2,2,2,2,2,2,2,2,2,1,2,2,1,2,1,1,2])), warm_start( start_times, [182,192,201,214,222,232,244,254,267,280,290,300,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,182,194,203,216,226,245,257,267,278,288,296,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267,1267]) ] )