Ben ... soit tu as à un moment I>N1, soit tu as K>N2... ce qui est possible, puisqu'au vu de ton source, K s'incrémente jusqu'à N1+N2 (>N2), et I s'incrémente sans test de borne sup ...
Affiche tes valeurs de I et de K avant de faire le test, il y a de fortes chances qu'une des 2 dépasse les limites de tes tableaux, d'où le constraint_error