org.chocosolver.cutoffseq