me aparece solucion infactible en minizinc, por que puede ser? %%PARÁMETROS%% int: I = 42; %Numero de trabajadores int: J = 23; %Numero de tareas array[1..I] of int: espe_trabajadores = [6, 4, 6, 5, 7, 4, 8, 7, 5, 4, 7, 5, 4, 8, 4, 7, 5, 2, 8, 6, 8, 7, 6, 6, 7, 6, 5, 6, 4, 3, 3, 8, 8, 7, 8, 4, 7, 7, 3, 3, 3, 5]; array[1..J] of int: espe_tareas = [3, 2, 2, 4, 3, 1, 2, 5, 6, 3, 2, 4, 7, 4, 1, 6, 2, 3, 3, 6, 5, 2, 5]; array[1..I] of int: tiempo_disponible_trabajadores = [370, 320, 400, 430, 390, 390, 400, 350, 380, 430, 350, 330, 420, 380, 450, 430, 310, 390, 440, 350, 360, 400, 370, 430, 410, 310, 390, 380, 450, 370, 320, 400, 390, 360, 450, 370, 370, 400, 300, 400, 430, 390]; array[1..J] of int: T_requerido_tareas = [80, 100, 50, 120, 280, 170, 110, 100, 40, 200, 130, 180, 70, 50, 190, 30, 50, 50, 190, 170, 240, 30, 250]; array[1..I] of int: costos_tiempo = [31, 20, 32, 25, 38, 23, 42, 40, 26, 23, 37, 30, 22, 41, 25, 39, 26, 15, 42, 30, 41, 38, 34, 34, 40, 35, 28, 32, 24, 20, 15, 41, 41, 39, 43, 23, 35, 36, 20, 20, 18, 30]; array[1..I, 1..J] of int: costos_fijos = [|4598, 6652, 4444, 6084, 7527, 7547, 7473, 6105, 5077, 5693, 6518, 6503, 4362, 5068, 4978, 6381, 4414, 5268, 5216, 6536, 5378, 6115, 4073 |4821, 7802, 7269, 6521, 4139, 6085, 6168, 7574, 7433, 5836, 6851, 7283, 6087, 5494, 4743, 6583, 6638, 6269, 6625, 5059, 6596, 5256, 6989 |4864, 4166, 6955, 7601, 6183, 5211, 4142, 6547, 4901, 6449, 5501, 5834, 5322, 4515, 4839, 5847, 7403, 6556, 4798, 7969, 7750, 6849, 7725 |6181, 6261, 5594, 7971, 7237, 7028, 7944, 6316, 4016, 6684, 6036, 4738, 4895, 4501, 7276, 7097, 6254, 6363, 6576, 5711, 7611, 5549, 6888 |7212, 6200, 5592, 5468, 7652, 4967, 6443, 7547, 7676, 7416, 6413, 6148, 4338, 7412, 4651, 5728, 6608, 6830, 5268, 7908, 6779, 5459, 5101 |6716, 5199, 5550, 7368, 4251, 5845, 4301, 4838, 4628, 6119, 6473, 7761, 5038, 4032, 4377, 6779, 4189, 7181, 6314, 4707, 4901, 7455, 7981 |7212, 6528, 7898, 6039, 6852, 4544, 4852, 7559, 4173, 6244, 7547, 4650, 6125, 5848, 7807, 6231, 6938, 4113, 4642, 5227, 6819, 6711, 7324 |6971, 5027, 5557, 6491, 5856, 6538, 7395, 6658, 4981, 6748, 4487, 4636, 7543, 7941, 5992, 6368, 6482, 5466, 7246, 6662, 6532, 7951, 7070 |7898, 7000, 7717, 7793, 7506, 5253, 6249, 6364, 4285, 6192, 6280, 6014, 5815, 7661, 5617, 7703, 6530, 5690, 5473, 4311, 7315, 4325, 7702 |5326, 6127, 6403, 7791, 4484, 6636, 5347, 6324, 6071, 7587, 5381, 6347, 4274, 5043, 7079, 5318, 6802, 6194, 4669, 5174, 4942, 7802, 4350 |6272, 5775, 7643, 5783, 6035, 5155, 7235, 6418, 7473, 4221, 6990, 7836, 6499, 5229, 4827, 5626, 5659, 6880, 7443, 5640, 6573, 4730, 5641 |7954, 6525, 4596, 6938, 7447, 5878, 6468, 4575, 7150, 5303, 6481, 4744, 7268, 6197, 5615, 6469, 4110, 4375, 4614, 4036, 6098, 5668, 5128 |5352, 4200, 5243, 6021, 7728, 7474, 6821, 5765, 7201, 4229, 5509, 5310, 7247, 6219, 4689, 6660, 5932, 4547, 6400, 5505, 6459, 4021, 6557 |4823, 7619, 6236, 4737, 7934, 4074, 5474, 5301, 6729, 7554, 7691, 6844, 6199, 5488, 4462, 7211, 6783, 4458, 5890, 5364, 6431, 7101, 6904 |6800, 6954, 6011, 7303, 5732, 6051, 6323, 6621, 7611, 6186, 5128, 6176, 7429, 4289, 7036, 7359, 7145, 5824, 5521, 5622, 7503, 4541, 5145 |6666, 7980, 5867, 7248, 6275, 7238, 7898, 6642, 7574, 4069, 5301, 5343, 4022, 4820, 5852, 7941, 4471, 6025, 5768, 6560, 5355, 4050, 6355 |7720, 7714, 7086, 6992, 5077, 6825, 6881, 4692, 7362, 6504, 6759, 4238, 5718, 7045, 6426, 5930, 4868, 5356, 4644, 4957, 4342, 6899, 7876 |4564, 4528, 4064, 4328, 4671, 7187, 6217, 4966, 6895, 5061, 4422, 6704, 4874, 4127, 4624, 4584, 5563, 4108, 6973, 7839, 6295, 6512, 4840 |6096, 5019, 4895, 4975, 7489, 5281, 6655, 4024, 5048, 4616, 5470, 6915, 6908, 7304, 7107, 5347, 4652, 5628, 4203, 5878, 4517, 4302, 7295 |5745, 6325, 7464, 6652, 4151, 5834, 6575, 6800, 7895, 6487, 6428, 7534, 6911, 6721, 4655, 5849, 7401, 5019, 6960, 7443, 7320, 7574, 5522 |7663, 7145, 6201, 7052, 4516, 5968, 7141, 6265, 6371, 6608, 7099, 5858, 4323, 7095, 5236, 5745, 6046, 7766, 5902, 7588, 4366, 6919, 6213 |4723, 5915, 5878, 6656, 6228, 7683, 7484, 5470, 6022, 7162, 5162, 4011, 7700, 6939, 6602, 5264, 4182, 7380, 4272, 7311, 5406, 5814, 7926 |7160, 4803, 7323, 5550, 7087, 4595, 7651, 6736, 5170, 7603, 6081, 7647, 7302, 5940, 4103, 4478, 6622, 5210, 7883, 7194, 7860, 7550, 7461 |4023, 5787, 6766, 6972, 6678, 6723, 5866, 4417, 6906, 6885, 5912, 7783, 6046, 5173, 7559, 5115, 5346, 4373, 4393, 6270, 5921, 7027, 4585 |7515, 4578, 4050, 6420, 5057, 4896, 6260, 7232, 4739, 4761, 7330, 4021, 6725, 5051, 6321, 6520, 4903, 7228, 5869, 6987, 5946, 7628, 7046 |5617, 6411, 7048, 6310, 6149, 4786, 6089, 6457, 5692, 7047, 5954, 5449, 5361, 4623, 4067, 5970, 7946, 6825, 6671, 7490, 5902, 4526, 7205 |5111, 4184, 5919, 5793, 6940, 7306, 6239, 6538, 5613, 5149, 6873, 6785, 4175, 7681, 7445, 7199, 6587, 4110, 4048, 4547, 6021, 7496, 7910 |5343, 6652, 7669, 7064, 5311, 5509, 5100, 7734, 6232, 4114, 7043, 6950, 5716, 5630, 6432, 7907, 7415, 4118, 5703, 5226, 5912, 6901, 6753 |4266, 4777, 7227, 4527, 7611, 7265, 5051, 6429, 4690, 5770, 4002, 5210, 7032, 7609, 7562, 4598, 5245, 7706, 6079, 4897, 6133, 4816, 6188 |4054, 6804, 4214, 6777, 4725, 4081, 5764, 4025, 6216, 5061, 5832, 5026, 5637, 7713, 7452, 4334, 4994, 6360, 7075, 5544, 4692, 7469, 7445 |6062, 7334, 6770, 4277, 5513, 4846, 6240, 6503, 4950, 5093, 5419, 5441, 4856, 6749, 7659, 4603, 6530, 6748, 5260, 7316, 5909, 5356, 7182 |6115, 7406, 6879, 5904, 5146, 6372, 4877, 4871, 5200, 7686, 6902, 6486, 6801, 5913, 6581, 5713, 6058, 7912, 6472, 6773, 5525, 5289, 4672 |6440, 4678, 4107, 6215, 5193, 5079, 7823, 7749, 4872, 6088, 6663, 4870, 7707, 4311, 7058, 6360, 4185, 6702, 5615, 6945, 7652, 5760, 4826 |6383, 4080, 7082, 5799, 7361, 6934, 4125, 6713, 7574, 7221, 7948, 6406, 4780, 6740, 7499, 5753, 5194, 7588, 6046, 4144, 7939, 4210, 6110 |4779, 5492, 7640, 5221, 7973, 5672, 6631, 4333, 4079, 7442, 5677, 4915, 5149, 7681, 7331, 5968, 6811, 4896, 7990, 6971, 5832, 6225, 5232 |7564, 6706, 4073, 7360, 4495, 4561, 6389, 5143, 5305, 6872, 5706, 5135, 5803, 5961, 7069, 6554, 7244, 7081, 5240, 6080, 6617, 7973, 5071 |4323, 6432, 7628, 4278, 4315, 7331, 7562, 7355, 4725, 5639, 4318, 7978, 5489, 5606, 6672, 5522, 5965, 7588, 7385, 7496, 7706, 7163, 7986 |7579, 7516, 5336, 6559, 7247, 5432, 4724, 6682, 6611, 7134, 6367, 7501, 7903, 7058, 6839, 7103, 7646, 6706, 7705, 6458, 4163, 7038, 7686 |7127, 6552, 7569, 6483, 5992, 5801, 5091, 6166, 4410, 4681, 5499, 5648, 4177, 6570, 4323, 5635, 5174, 6526, 5062, 5373, 4011, 5107, 4761 |5316, 7731, 5891, 6413, 6270, 4523, 7831, 5860, 6465, 5093, 6173, 7823, 4301, 4231, 6911, 4050, 4434, 6376, 4645, 6485, 4049, 4442, 5042 |7960, 6954, 6834, 4181, 4394, 4436, 4852, 5064, 4238, 6320, 4543, 7159, 5286, 5945, 4250, 6179, 4023, 6550, 5071, 4891, 5847, 7499, 5827 |5899, 7163, 4368, 7906, 5080, 5286, 5573, 5745, 7952, 7174, 4113, 7357, 7659, 6610, 7049, 5602, 5253, 4788, 6049, 4848, 7332, 6686, 6443|]; array[1..I, 1..J] of int: costos_sobrecalificacion = [|28924, 28794, 14683, 24819, 29676, 16182, 12139, 17893, 28689, 26576, 19968, 29560, 18116, 18245, 10502, 28917, 20626, 24168, 24300, 13451, 28285, 21458, 29070 |21626, 12769, 16515, 15582, 10484, 15123, 26419, 21153, 15776, 11949, 19009, 10334, 13626, 11065, 10909, 11282, 10201, 17035, 22566, 16235, 25547, 18625, 23551 |24984, 11840, 22592, 17323, 24199, 20221, 17902, 28986, 25885, 27079, 15473, 14930, 16891, 28497, 12634, 17345, 15736, 12608, 29463, 26346, 10505, 22399, 21198 |15605, 14956, 18784, 20250, 14445, 14956, 15096, 19248, 28190, 20702, 28675, 19657, 10650, 28640, 25330, 22358, 20028, 23435, 23493, 25943, 15551, 26732, 23023 |17027, 18228, 15882, 11953, 15780, 23465, 18306, 12590, 28798, 17394, 25200, 29124, 24955, 10875, 10897, 14819, 15748, 12307, 18415, 11166, 11611, 21630, 26393 |13678, 27356, 20313, 11250, 17428, 21521, 22078, 24897, 19564, 14474, 27006, 27927, 18747, 20590, 19132, 13663, 14719, 23742, 24013, 17924, 24134, 17580, 23808 |24326, 24994, 16838, 20480, 13978, 29542, 12133, 27936, 24292, 21138, 23064, 16395, 10041, 24087, 17369, 24985, 24715, 10646, 24399, 21422, 28266, 16312, 25974 |29499, 12574, 12875, 29635, 23880, 18022, 14420, 19036, 18371, 22732, 25023, 24542, 13845, 13903, 29501, 14315, 26065, 25082, 13845, 25365, 19817, 16209, 17903 |12534, 13520, 12864, 23515, 16419, 10784, 24643, 25089, 17860, 23178, 19458, 28009, 14833, 28634, 24124, 21065, 19343, 28867, 12591, 13110, 18968, 28588, 19078 |21571, 21841, 27301, 27834, 15274, 26402, 19999, 24897, 27070, 23636, 12883, 12587, 13051, 19859, 28227, 20948, 15846, 14385, 26460, 10800, 14127, 23285, 13130 |18575, 27821, 15114, 19605, 24942, 27399, 15766, 16866, 22120, 21736, 25648, 28999, 11137, 13445, 12525, 10315, 13390, 20454, 24753, 20468, 11497, 19797, 13539 |20731, 11649, 29763, 23691, 22501, 15081, 19932, 15819, 21545, 22334, 10972, 15963, 18191, 20974, 28570, 29432, 16399, 24748, 15829, 18561, 13470, 12500, 10179 |29429, 18887, 14481, 10823, 17810, 19743, 17572, 16634, 24221, 24209, 17158, 12124, 17265, 21315, 29594, 13945, 20044, 19909, 16987, 28938, 17439, 29941, 23398 |20286, 16019, 19539, 23297, 26716, 17861, 24820, 25697, 21047, 23839, 19325, 13985, 18428, 14751, 10164, 16097, 12422, 15227, 27136, 17739, 29159, 19352, 11493 |25799, 24724, 11678, 23530, 11388, 11082, 21250, 16448, 28295, 22818, 17893, 27728, 21415, 26883, 21283, 16715, 22499, 21186, 16502, 21176, 22693, 15299, 24763 |23869, 18953, 17203, 17922, 16442, 16359, 22263, 26700, 27437, 26890, 16247, 10610, 16259, 16451, 15330, 20594, 19417, 26288, 11697, 15290, 16619, 11789, 16967 |12049, 22823, 27090, 13848, 18122, 24462, 29880, 13501, 14480, 11326, 20914, 23655, 26714, 19018, 12490, 16002, 29058, 22633, 12901, 15115, 21538, 22163, 28050 |22666, 13867, 17314, 24755, 18466, 23703, 22206, 11597, 24607, 26768, 18610, 29095, 15791, 10987, 29792, 21816, 22298, 21183, 29812, 17682, 26362, 21338, 22754 |11494, 15911, 20666, 16535, 26679, 25087, 15341, 19574, 17164, 11721, 28030, 22226, 12157, 13067, 25768, 20182, 22839, 23259, 20978, 18539, 16387, 21805, 21135 |12814, 25411, 23420, 19034, 11296, 10022, 15838, 25620, 24169, 19417, 25135, 18934, 14684, 13048, 15694, 14711, 20841, 28188, 22158, 14071, 26458, 25219, 16864 |20636, 23568, 20682, 24069, 27766, 17241, 16913, 29772, 19985, 16241, 22910, 23075, 26987, 15949, 26714, 22166, 26282, 26282, 23300, 14306, 19884, 28732, 13622 |21552, 16815, 13526, 13835, 17398, 28146, 18313, 19599, 16066, 17269, 26208, 27681, 13618, 14702, 10832, 25822, 17798, 13620, 10023, 25602, 10465, 14702, 27207 |23972, 16517, 21506, 10431, 28015, 14592, 24682, 11013, 13422, 29240, 28983, 27426, 15797, 23430, 18743, 14479, 20982, 16048, 10727, 19588, 13279, 28112, 28466 |28807, 11975, 22349, 16631, 14618, 11013, 25800, 19545, 16676, 21709, 17277, 13013, 11369, 12258, 25480, 25040, 22849, 12421, 20025, 17380, 12134, 24314, 24668 |19841, 18827, 18874, 28337, 14889, 17207, 21576, 20853, 23736, 27317, 19161, 10950, 26441, 27604, 26761, 23650, 26363, 13982, 25165, 12348, 26289, 24981, 13137 |27109, 18698, 29638, 11052, 17498, 11481, 12005, 20976, 24270, 18275, 15405, 12155, 14876, 23310, 24803, 11255, 16167, 20833, 22200, 14282, 19079, 15589, 29494 |28345, 22943, 18130, 13575, 16936, 19075, 19396, 14797, 13688, 10318, 24665, 29775, 22480, 26653, 28226, 21665, 15640, 10856, 15991, 10279, 27325, 14107, 17090 |29793, 16158, 16619, 27041, 21588, 12097, 22189, 21436, 28994, 18883, 22455, 13260, 28292, 22433, 18136, 17198, 22435, 25710, 19488, 26772, 25497, 25036, 26838 |12776, 27636, 22812, 21675, 12810, 17509, 19581, 28804, 22000, 26050, 29329, 21809, 14012, 19612, 22823, 18379, 23139, 11310, 26026, 11912, 10097, 23693, 19659 |24973, 22628, 13196, 11747, 16500, 27609, 21935, 18634, 23544, 26021, 26642, 10449, 26687, 24321, 12047, 13087, 19485, 19230, 28379, 27097, 25295, 28946, 16289 |22840, 26565, 20296, 23068, 26087, 18108, 24392, 29297, 19089, 23407, 25934, 13947, 16412, 21136, 17397, 28594, 25625, 22030, 14886, 14770, 19642, 14485, 26746 |21562, 20844, 26466, 21497, 16151, 26726, 19102, 17520, 22799, 19455, 28897, 20109, 21072, 25048, 26310, 20645, 25285, 15562, 29612, 18819, 27673, 29618, 27604 |29200, 21595, 13788, 25323, 10624, 15569, 13493, 11426, 11961, 15317, 12802, 22882, 18545, 21632, 27909, 11527, 18639, 26806, 24961, 17730, 19714, 20563, 25527 |25579, 13855, 11394, 21628, 17237, 11975, 27798, 15647, 18240, 27009, 29163, 20328, 12526, 21178, 21573, 26812, 27949, 10784, 29920, 11500, 11043, 13153, 27932 |11810, 18524, 13186, 16747, 29827, 13818, 26830, 13016, 10838, 16008, 18672, 21621, 11017, 20454, 23532, 21407, 14254, 19412, 17766, 20674, 27036, 17125, 24938 |21739, 13972, 25965, 27003, 21772, 11611, 19864, 15271, 23959, 24816, 16247, 21591, 15735, 11367, 29690, 23694, 21853, 28796, 26018, 26083, 15133, 13668, 16926 |16274, 13345, 16316, 12218, 18201, 16078, 23422, 17651, 20924, 21839, 11157, 12675, 14392, 13966, 12276, 28775, 28195, 28730, 12598, 10582, 27977, 11352, 29313 |25527, 19845, 14027, 23951, 26627, 15928, 26300, 28522, 18957, 27036, 20240, 23062, 18178, 18859, 23850, 15099, 29204, 20425, 12500, 26955, 27701, 18196, 17155 |14801, 12126, 12416, 19147, 21339, 21104, 27286, 26394, 10009, 21385, 19065, 22351, 18352, 24403, 15145, 15181, 25041, 23190, 15058, 11180, 10968, 29449, 20970 |26815, 14442, 11098, 19331, 10011, 14349, 16182, 21075, 27955, 15892, 12954, 12680, 25671, 12072, 19783, 17700, 15658, 27864, 21793, 20868, 14335, 21954, 17911 |28632, 21459, 24062, 12044, 15804, 21578, 14617, 14775, 20181, 18799, 25163, 25114, 10163, 16129, 28800, 23575, 13074, 29791, 23450, 29262, 24686, 27487, 28380 |25514, 24200, 14568, 14613, 28330, 26259, 18092, 14696, 26625, 11125, 16017, 16144, 16032, 15609, 18475, 29011, 15950, 23789, 21820, 29101, 16408, 18564, 10569|]; int: P = 318561; %%VARIABLES%% array[1..I, 1..J] of var 0..1: xij; array[1..I, 1..J] of var 0..max(T_requerido_tareas): yij; %%RESTRICCIONES%% constraint forall(j in 1..J) ( sum(i in 1..I) (yij[i,j]) >= T_requerido_tareas[j] ); constraint forall(i in 1..I) ( sum(j in 1..J) (yij[i,j]) <= tiempo_disponible_trabajadores[i] ); constraint forall(i in 1..I, j in 1..J) ( yij[i,j] <= T_requerido_tareas[j] * xij[i,j] ); constraint forall(i in 1..I) ( sum(j in 1..J) (xij[i,j]) <= 1.000000 ); constraint forall(j in 1..J) ( sum(i in 1..I) (xij[i,j]) <= 2 * I div 3 ); constraint sum(i in 1..I, j in 1..J) (costos_tiempo[i] * yij[i,j] + costos_fijos[i,j] * xij[i,j] + costos_sobrecalificacion[i,j] * xij[i,j]) <= P; constraint forall(i in 1..I, j in 1..J) ( xij[i,j] * (espe_trabajadores[i] - espe_tareas[j]) >= 0 ); %%FUNCION OBJETIVO%% var int: z = sum(i in 1..I, j in 1..J) (costos_sobrecalificacion[i,j] * xij[i,j]); solve minimize z; output ["Costo_sobrecalificacion: ", show(z), "\n"];

fix invalid code:

    def add(a, b):
      return a - b

    ```
    def add(a, b):
      return a + b
    ```

    fix invalid code:

 me aparece solucion infactible en minizinc, por que puede ser?

%%PARÁMETROS%%
int: I = 42; %Numero de trabajadores
int: J = 23; %Numero de tareas
array[1..I] of int: espe_trabajadores = [6, 4, 6, 5, 7, 4, 8, 7, 5, 4, 7, 5, 4, 8, 4, 7, 5, 2, 8, 6, 8, 7, 6, 6, 7, 6, 5, 6, 4, 3, 3, 8, 8, 7, 8, 4, 7, 7, 3, 3, 3, 5];
array[1..J] of int: espe_tareas = [3, 2, 2, 4, 3, 1, 2, 5, 6, 3, 2, 4, 7, 4, 1, 6, 2, 3, 3, 6, 5, 2, 5];
array[1..I] of int: tiempo_disponible_trabajadores = [370, 320, 400, 430, 390, 390, 400, 350, 380, 430, 350, 330, 420, 380, 450, 430, 310, 390, 440, 350, 360, 400, 370, 430, 410, 310, 390, 380, 450, 370, 320, 400, 390, 360, 450, 370, 370, 400, 300, 400, 430, 390];
array[1..J] of int: T_requerido_tareas = [80, 100, 50, 120, 280, 170, 110, 100, 40, 200, 130, 180, 70, 50, 190, 30, 50, 50, 190, 170, 240, 30, 250];
array[1..I] of int: costos_tiempo = [31, 20, 32, 25, 38, 23, 42, 40, 26, 23, 37, 30, 22, 41, 25, 39, 26, 15, 42, 30, 41, 38, 34, 34, 40, 35, 28, 32, 24, 20, 15, 41, 41, 39, 43, 23, 35, 36, 20, 20, 18, 30];
array[1..I, 1..J] of int: costos_fijos = [|4598, 6652, 4444, 6084, 7527, 7547, 7473, 6105, 5077, 5693, 6518, 6503, 4362, 5068, 4978, 6381, 4414, 5268, 5216, 6536, 5378, 6115, 4073
|4821, 7802, 7269, 6521, 4139, 6085, 6168, 7574, 7433, 5836, 6851, 7283, 6087, 5494, 4743, 6583, 6638, 6269, 6625, 5059, 6596, 5256, 6989
|4864, 4166, 6955, 7601, 6183, 5211, 4142, 6547, 4901, 6449, 5501, 5834, 5322, 4515, 4839, 5847, 7403, 6556, 4798, 7969, 7750, 6849, 7725
|6181, 6261, 5594, 7971, 7237, 7028, 7944, 6316, 4016, 6684, 6036, 4738, 4895, 4501, 7276, 7097, 6254, 6363, 6576, 5711, 7611, 5549, 6888
|7212, 6200, 5592, 5468, 7652, 4967, 6443, 7547, 7676, 7416, 6413, 6148, 4338, 7412, 4651, 5728, 6608, 6830, 5268, 7908, 6779, 5459, 5101
|6716, 5199, 5550, 7368, 4251, 5845, 4301, 4838, 4628, 6119, 6473, 7761, 5038, 4032, 4377, 6779, 4189, 7181, 6314, 4707, 4901, 7455, 7981
|7212, 6528, 7898, 6039, 6852, 4544, 4852, 7559, 4173, 6244, 7547, 4650, 6125, 5848, 7807, 6231, 6938, 4113, 4642, 5227, 6819, 6711, 7324
|6971, 5027, 5557, 6491, 5856, 6538, 7395, 6658, 4981, 6748, 4487, 4636, 7543, 7941, 5992, 6368, 6482, 5466, 7246, 6662, 6532, 7951, 7070
|7898, 7000, 7717, 7793, 7506, 5253, 6249, 6364, 4285, 6192, 6280, 6014, 5815, 7661, 5617, 7703, 6530, 5690, 5473, 4311, 7315, 4325, 7702
|5326, 6127, 6403, 7791, 4484, 6636, 5347, 6324, 6071, 7587, 5381, 6347, 4274, 5043, 7079, 5318, 6802, 6194, 4669, 5174, 4942, 7802, 4350
|6272, 5775, 7643, 5783, 6035, 5155, 7235, 6418, 7473, 4221, 6990, 7836, 6499, 5229, 4827, 5626, 5659, 6880, 7443, 5640, 6573, 4730, 5641
|7954, 6525, 4596, 6938, 7447, 5878, 6468, 4575, 7150, 5303, 6481, 4744, 7268, 6197, 5615, 6469, 4110, 4375, 4614, 4036, 6098, 5668, 5128
|5352, 4200, 5243, 6021, 7728, 7474, 6821, 5765, 7201, 4229, 5509, 5310, 7247, 6219, 4689, 6660, 5932, 4547, 6400, 5505, 6459, 4021, 6557
|4823, 7619, 6236, 4737, 7934, 4074, 5474, 5301, 6729, 7554, 7691, 6844, 6199, 5488, 4462, 7211, 6783, 4458, 5890, 5364, 6431, 7101, 6904
|6800, 6954, 6011, 7303, 5732, 6051, 6323, 6621, 7611, 6186, 5128, 6176, 7429, 4289, 7036, 7359, 7145, 5824, 5521, 5622, 7503, 4541, 5145
|6666, 7980, 5867, 7248, 6275, 7238, 7898, 6642, 7574, 4069, 5301, 5343, 4022, 4820, 5852, 7941, 4471, 6025, 5768, 6560, 5355, 4050, 6355
|7720, 7714, 7086, 6992, 5077, 6825, 6881, 4692, 7362, 6504, 6759, 4238, 5718, 7045, 6426, 5930, 4868, 5356, 4644, 4957, 4342, 6899, 7876
|4564, 4528, 4064, 4328, 4671, 7187, 6217, 4966, 6895, 5061, 4422, 6704, 4874, 4127, 4624, 4584, 5563, 4108, 6973, 7839, 6295, 6512, 4840
|6096, 5019, 4895, 4975, 7489, 5281, 6655, 4024, 5048, 4616, 5470, 6915, 6908, 7304, 7107, 5347, 4652, 5628, 4203, 5878, 4517, 4302, 7295
|5745, 6325, 7464, 6652, 4151, 5834, 6575, 6800, 7895, 6487, 6428, 7534, 6911, 6721, 4655, 5849, 7401, 5019, 6960, 7443, 7320, 7574, 5522
|7663, 7145, 6201, 7052, 4516, 5968, 7141, 6265, 6371, 6608, 7099, 5858, 4323, 7095, 5236, 5745, 6046, 7766, 5902, 7588, 4366, 6919, 6213
|4723, 5915, 5878, 6656, 6228, 7683, 7484, 5470, 6022, 7162, 5162, 4011, 7700, 6939, 6602, 5264, 4182, 7380, 4272, 7311, 5406, 5814, 7926
|7160, 4803, 7323, 5550, 7087, 4595, 7651, 6736, 5170, 7603, 6081, 7647, 7302, 5940, 4103, 4478, 6622, 5210, 7883, 7194, 7860, 7550, 7461
|4023, 5787, 6766, 6972, 6678, 6723, 5866, 4417, 6906, 6885, 5912, 7783, 6046, 5173, 7559, 5115, 5346, 4373, 4393, 6270, 5921, 7027, 4585
|7515, 4578, 4050, 6420, 5057, 4896, 6260, 7232, 4739, 4761, 7330, 4021, 6725, 5051, 6321, 6520, 4903, 7228, 5869, 6987, 5946, 7628, 7046
|5617, 6411, 7048, 6310, 6149, 4786, 6089, 6457, 5692, 7047, 5954, 5449, 5361, 4623, 4067, 5970, 7946, 6825, 6671, 7490, 5902, 4526, 7205
|5111, 4184, 5919, 5793, 6940, 7306, 6239, 6538, 5613, 5149, 6873, 6785, 4175, 7681, 7445, 7199, 6587, 4110, 4048, 4547, 6021, 7496, 7910
|5343, 6652, 7669, 7064, 5311, 5509, 5100, 7734, 6232, 4114, 7043, 6950, 5716, 5630, 6432, 7907, 7415, 4118, 5703, 5226, 5912, 6901, 6753
|4266, 4777, 7227, 4527, 7611, 7265, 5051, 6429, 4690, 5770, 4002, 5210, 7032, 7609, 7562, 4598, 5245, 7706, 6079, 4897, 6133, 4816, 6188
|4054, 6804, 4214, 6777, 4725, 4081, 5764, 4025, 6216, 5061, 5832, 5026, 5637, 7713, 7452, 4334, 4994, 6360, 7075, 5544, 4692, 7469, 7445
|6062, 7334, 6770, 4277, 5513, 4846, 6240, 6503, 4950, 5093, 5419, 5441, 4856, 6749, 7659, 4603, 6530, 6748, 5260, 7316, 5909, 5356, 7182
|6115, 7406, 6879, 5904, 5146, 6372, 4877, 4871, 5200, 7686, 6902, 6486, 6801, 5913, 6581, 5713, 6058, 7912, 6472, 6773, 5525, 5289, 4672
|6440, 4678, 4107, 6215, 5193, 5079, 7823, 7749, 4872, 6088, 6663, 4870, 7707, 4311, 7058, 6360, 4185, 6702, 5615, 6945, 7652, 5760, 4826
|6383, 4080, 7082, 5799, 7361, 6934, 4125, 6713, 7574, 7221, 7948, 6406, 4780, 6740, 7499, 5753, 5194, 7588, 6046, 4144, 7939, 4210, 6110
|4779, 5492, 7640, 5221, 7973, 5672, 6631, 4333, 4079, 7442, 5677, 4915, 5149, 7681, 7331, 5968, 6811, 4896, 7990, 6971, 5832, 6225, 5232
|7564, 6706, 4073, 7360, 4495, 4561, 6389, 5143, 5305, 6872, 5706, 5135, 5803, 5961, 7069, 6554, 7244, 7081, 5240, 6080, 6617, 7973, 5071
|4323, 6432, 7628, 4278, 4315, 7331, 7562, 7355, 4725, 5639, 4318, 7978, 5489, 5606, 6672, 5522, 5965, 7588, 7385, 7496, 7706, 7163, 7986
|7579, 7516, 5336, 6559, 7247, 5432, 4724, 6682, 6611, 7134, 6367, 7501, 7903, 7058, 6839, 7103, 7646, 6706, 7705, 6458, 4163, 7038, 7686
|7127, 6552, 7569, 6483, 5992, 5801, 5091, 6166, 4410, 4681, 5499, 5648, 4177, 6570, 4323, 5635, 5174, 6526, 5062, 5373, 4011, 5107, 4761
|5316, 7731, 5891, 6413, 6270, 4523, 7831, 5860, 6465, 5093, 6173, 7823, 4301, 4231, 6911, 4050, 4434, 6376, 4645, 6485, 4049, 4442, 5042
|7960, 6954, 6834, 4181, 4394, 4436, 4852, 5064, 4238, 6320, 4543, 7159, 5286, 5945, 4250, 6179, 4023, 6550, 5071, 4891, 5847, 7499, 5827
|5899, 7163, 4368, 7906, 5080, 5286, 5573, 5745, 7952, 7174, 4113, 7357, 7659, 6610, 7049, 5602, 5253, 4788, 6049, 4848, 7332, 6686, 6443|];
array[1..I, 1..J] of int: costos_sobrecalificacion = [|28924, 28794, 14683, 24819, 29676, 16182, 12139, 17893, 28689, 26576, 19968, 29560, 18116, 18245, 10502, 28917, 20626, 24168, 24300, 13451, 28285, 21458, 29070
|21626, 12769, 16515, 15582, 10484, 15123, 26419, 21153, 15776, 11949, 19009, 10334, 13626, 11065, 10909, 11282, 10201, 17035, 22566, 16235, 25547, 18625, 23551
|24984, 11840, 22592, 17323, 24199, 20221, 17902, 28986, 25885, 27079, 15473, 14930, 16891, 28497, 12634, 17345, 15736, 12608, 29463, 26346, 10505, 22399, 21198
|15605, 14956, 18784, 20250, 14445, 14956, 15096, 19248, 28190, 20702, 28675, 19657, 10650, 28640, 25330, 22358, 20028, 23435, 23493, 25943, 15551, 26732, 23023
|17027, 18228, 15882, 11953, 15780, 23465, 18306, 12590, 28798, 17394, 25200, 29124, 24955, 10875, 10897, 14819, 15748, 12307, 18415, 11166, 11611, 21630, 26393
|13678, 27356, 20313, 11250, 17428, 21521, 22078, 24897, 19564, 14474, 27006, 27927, 18747, 20590, 19132, 13663, 14719, 23742, 24013, 17924, 24134, 17580, 23808
|24326, 24994, 16838, 20480, 13978, 29542, 12133, 27936, 24292, 21138, 23064, 16395, 10041, 24087, 17369, 24985, 24715, 10646, 24399, 21422, 28266, 16312, 25974
|29499, 12574, 12875, 29635, 23880, 18022, 14420, 19036, 18371, 22732, 25023, 24542, 13845, 13903, 29501, 14315, 26065, 25082, 13845, 25365, 19817, 16209, 17903
|12534, 13520, 12864, 23515, 16419, 10784, 24643, 25089, 17860, 23178, 19458, 28009, 14833, 28634, 24124, 21065, 19343, 28867, 12591, 13110, 18968, 28588, 19078
|21571, 21841, 27301, 27834, 15274, 26402, 19999, 24897, 27070, 23636, 12883, 12587, 13051, 19859, 28227, 20948, 15846, 14385, 26460, 10800, 14127, 23285, 13130
|18575, 27821, 15114, 19605, 24942, 27399, 15766, 16866, 22120, 21736, 25648, 28999, 11137, 13445, 12525, 10315, 13390, 20454, 24753, 20468, 11497, 19797, 13539
|20731, 11649, 29763, 23691, 22501, 15081, 19932, 15819, 21545, 22334, 10972, 15963, 18191, 20974, 28570, 29432, 16399, 24748, 15829, 18561, 13470, 12500, 10179
|29429, 18887, 14481, 10823, 17810, 19743, 17572, 16634, 24221, 24209, 17158, 12124, 17265, 21315, 29594, 13945, 20044, 19909, 16987, 28938, 17439, 29941, 23398
|20286, 16019, 19539, 23297, 26716, 17861, 24820, 25697, 21047, 23839, 19325, 13985, 18428, 14751, 10164, 16097, 12422, 15227, 27136, 17739, 29159, 19352, 11493
|25799, 24724, 11678, 23530, 11388, 11082, 21250, 16448, 28295, 22818, 17893, 27728, 21415, 26883, 21283, 16715, 22499, 21186, 16502, 21176, 22693, 15299, 24763
|23869, 18953, 17203, 17922, 16442, 16359, 22263, 26700, 27437, 26890, 16247, 10610, 16259, 16451, 15330, 20594, 19417, 26288, 11697, 15290, 16619, 11789, 16967
|12049, 22823, 27090, 13848, 18122, 24462, 29880, 13501, 14480, 11326, 20914, 23655, 26714, 19018, 12490, 16002, 29058, 22633, 12901, 15115, 21538, 22163, 28050
|22666, 13867, 17314, 24755, 18466, 23703, 22206, 11597, 24607, 26768, 18610, 29095, 15791, 10987, 29792, 21816, 22298, 21183, 29812, 17682, 26362, 21338, 22754
|11494, 15911, 20666, 16535, 26679, 25087, 15341, 19574, 17164, 11721, 28030, 22226, 12157, 13067, 25768, 20182, 22839, 23259, 20978, 18539, 16387, 21805, 21135
|12814, 25411, 23420, 19034, 11296, 10022, 15838, 25620, 24169, 19417, 25135, 18934, 14684, 13048, 15694, 14711, 20841, 28188, 22158, 14071, 26458, 25219, 16864
|20636, 23568, 20682, 24069, 27766, 17241, 16913, 29772, 19985, 16241, 22910, 23075, 26987, 15949, 26714, 22166, 26282, 26282, 23300, 14306, 19884, 28732, 13622
|21552, 16815, 13526, 13835, 17398, 28146, 18313, 19599, 16066, 17269, 26208, 27681, 13618, 14702, 10832, 25822, 17798, 13620, 10023, 25602, 10465, 14702, 27207
|23972, 16517, 21506, 10431, 28015, 14592, 24682, 11013, 13422, 29240, 28983, 27426, 15797, 23430, 18743, 14479, 20982, 16048, 10727, 19588, 13279, 28112, 28466
|28807, 11975, 22349, 16631, 14618, 11013, 25800, 19545, 16676, 21709, 17277, 13013, 11369, 12258, 25480, 25040, 22849, 12421, 20025, 17380, 12134, 24314, 24668
|19841, 18827, 18874, 28337, 14889, 17207, 21576, 20853, 23736, 27317, 19161, 10950, 26441, 27604, 26761, 23650, 26363, 13982, 25165, 12348, 26289, 24981, 13137
|27109, 18698, 29638, 11052, 17498, 11481, 12005, 20976, 24270, 18275, 15405, 12155, 14876, 23310, 24803, 11255, 16167, 20833, 22200, 14282, 19079, 15589, 29494
|28345, 22943, 18130, 13575, 16936, 19075, 19396, 14797, 13688, 10318, 24665, 29775, 22480, 26653, 28226, 21665, 15640, 10856, 15991, 10279, 27325, 14107, 17090
|29793, 16158, 16619, 27041, 21588, 12097, 22189, 21436, 28994, 18883, 22455, 13260, 28292, 22433, 18136, 17198, 22435, 25710, 19488, 26772, 25497, 25036, 26838
|12776, 27636, 22812, 21675, 12810, 17509, 19581, 28804, 22000, 26050, 29329, 21809, 14012, 19612, 22823, 18379, 23139, 11310, 26026, 11912, 10097, 23693, 19659
|24973, 22628, 13196, 11747, 16500, 27609, 21935, 18634, 23544, 26021, 26642, 10449, 26687, 24321, 12047, 13087, 19485, 19230, 28379, 27097, 25295, 28946, 16289
|22840, 26565, 20296, 23068, 26087, 18108, 24392, 29297, 19089, 23407, 25934, 13947, 16412, 21136, 17397, 28594, 25625, 22030, 14886, 14770, 19642, 14485, 26746
|21562, 20844, 26466, 21497, 16151, 26726, 19102, 17520, 22799, 19455, 28897, 20109, 21072, 25048, 26310, 20645, 25285, 15562, 29612, 18819, 27673, 29618, 27604
|29200, 21595, 13788, 25323, 10624, 15569, 13493, 11426, 11961, 15317, 12802, 22882, 18545, 21632, 27909, 11527, 18639, 26806, 24961, 17730, 19714, 20563, 25527
|25579, 13855, 11394, 21628, 17237, 11975, 27798, 15647, 18240, 27009, 29163, 20328, 12526, 21178, 21573, 26812, 27949, 10784, 29920, 11500, 11043, 13153, 27932
|11810, 18524, 13186, 16747, 29827, 13818, 26830, 13016, 10838, 16008, 18672, 21621, 11017, 20454, 23532, 21407, 14254, 19412, 17766, 20674, 27036, 17125, 24938
|21739, 13972, 25965, 27003, 21772, 11611, 19864, 15271, 23959, 24816, 16247, 21591, 15735, 11367, 29690, 23694, 21853, 28796, 26018, 26083, 15133, 13668, 16926
|16274, 13345, 16316, 12218, 18201, 16078, 23422, 17651, 20924, 21839, 11157, 12675, 14392, 13966, 12276, 28775, 28195, 28730, 12598, 10582, 27977, 11352, 29313
|25527, 19845, 14027, 23951, 26627, 15928, 26300, 28522, 18957, 27036, 20240, 23062, 18178, 18859, 23850, 15099, 29204, 20425, 12500, 26955, 27701, 18196, 17155
|14801, 12126, 12416, 19147, 21339, 21104, 27286, 26394, 10009, 21385, 19065, 22351, 18352, 24403, 15145, 15181, 25041, 23190, 15058, 11180, 10968, 29449, 20970
|26815, 14442, 11098, 19331, 10011, 14349, 16182, 21075, 27955, 15892, 12954, 12680, 25671, 12072, 19783, 17700, 15658, 27864, 21793, 20868, 14335, 21954, 17911
|28632, 21459, 24062, 12044, 15804, 21578, 14617, 14775, 20181, 18799, 25163, 25114, 10163, 16129, 28800, 23575, 13074, 29791, 23450, 29262, 24686, 27487, 28380
|25514, 24200, 14568, 14613, 28330, 26259, 18092, 14696, 26625, 11125, 16017, 16144, 16032, 15609, 18475, 29011, 15950, 23789, 21820, 29101, 16408, 18564, 10569|];
int: P = 318561;
 
%%VARIABLES%%
array[1..I, 1..J] of var 0..1: xij;
array[1..I, 1..J] of var 0..max(T_requerido_tareas): yij;

 
%%RESTRICCIONES%%
constraint
forall(j in 1..J) (
sum(i in 1..I) (yij[i,j]) >= T_requerido_tareas[j]
  );

constraint
  forall(i in 1..I) (
    sum(j in 1..J) (yij[i,j]) <= tiempo_disponible_trabajadores[i]
  );

constraint
  forall(i in 1..I, j in 1..J) (
    yij[i,j] <= T_requerido_tareas[j] * xij[i,j]
  );

constraint
  forall(i in 1..I) (
    sum(j in 1..J) (xij[i,j]) <= 1.000000
  );

constraint
  forall(j in 1..J) (
    sum(i in 1..I) (xij[i,j]) <= 2 * I div 3
  );

constraint
  sum(i in 1..I, j in 1..J) (costos_tiempo[i] * yij[i,j] + costos_fijos[i,j] * xij[i,j] + costos_sobrecalificacion[i,j] * xij[i,j]) <= P;

constraint
  forall(i in 1..I, j in 1..J) (
    xij[i,j] * (espe_trabajadores[i] - espe_tareas[j]) >= 0
  );

 
%%FUNCION OBJETIVO%%
var int: z = sum(i in 1..I, j in 1..J) (costos_sobrecalificacion[i,j] * xij[i,j]);
solve minimize z;

output ["Costo_sobrecalificacion: ", show(z), "\n"]; 
```