Expected behavior

limit the first search strategy to 1 second in solve THEN use the second strategy (to improve the best so far solution)

Actual behavior

search.limit Monitor are attach to search and not strategy.

Minimal Working Example

Experienced with choco-solver-4.0.4

solv.setSearch(
new AbstractStrategy[] {
Search.intVarSearch(new MaxRegret(), new IntDoma

If you have

given n : int(..0)
given n : int(1..3,9..)
find a : int(-50..50)
such that a = n+n

with *.param

letting n be -5
letting n be 1

the first given n is ignored. Maybe we want it because of param refinement in several steps, but should be documented and it would be useful to output a warning, just in case it wasn't redefined on purpose.

If you have

l