Cumulative constraint not able to prune more complex tasks

I have 4 tasks. As I am scheduling jobs, I am instantiating them from lower bound. First I place A. Then I place B, but the placement fails. Then there are len(A) - len(B) iterations where B is placed

Expected behavior

Actual behavior

Minimal Working Example

Experienced with choco-solver-{3.3.3 - 4.0.5}

public class BasicPlayground {
	public final static int MAXTIME = 10000;
	
	public static void main(String[] args) {
		Model model = new Model();

		TTask a = new TTask("taskA", model, 800);
		TTask b = new TTask("taskB", model, 10);
		TTask c = new TTask("taskC", model, 10);
		TTask d = new TTask("taskC", model, 10);
		
		model.post(model.arithm(b.getEnd(), "=", c.getStart()),
				model.arithm(b.getEnd(), "=", d.getStart()),
				model.cumulative(
						new Task[]{a.getTask(), b.getTask(), c.getTask(), d.getTask()},
						model.intVarArray("", 4, 1, 1),
						model.intVar(2),
						false,
						Cumulative.Filter.HEIGHTS)
		);
		
		
		Solver solver = model.getSolver();
		solver.setSearch(Search.minDomLBSearch(a.getStart(), b.getStart(), c.getStart(), d.getStart()));
		Solution solution = solver.findSolution();
		solver.printStatistics();
	}	
}

@Data
class TTask {
	private final IntVar start;
	private final IntVar end;
	private final IntVar duration;
	private final Task task;
	
	public TTask(String taskName, Model model, int iduration) {
		this.start = model.intVar(taskName + " start", 0, BasicPlayground.MAXTIME);
		this.end = model.intVar(taskName + " end", 0, BasicPlayground.MAXTIME);
		this.duration = model.intVar(taskName + " duration", iduration, iduration);
		this.task = model.taskVar(start, duration, end);
	}
}

[jgFages]

its what i say, disjunctive is for capacity 1, so you should NOT manually use DisjunctiveTaskIntervalFilter if capacity is not equal to 1

[jgFages]

Absolutely!