Théoriquement il est très peu probable que le vecteur unitaire soit atteignable, et de même pour les vecteurs proches de celui-ci.
J'ai enlevé les 200 interrupteurs liés, pour ne garder qu'une famille libre de 300 interrupteurs, et on dirait que le problème est résolu.
Ça reste mystérieux pour moi, je ne comprends pas comment ajouter des interrupteurs liés peut rendre le problème plus facile. Il se peut que le problème vienne du code de génération de l'input, mais j'ai pourtant revérifié plusieurs fois !