[Choco-users] solver.setTimeLimit(1000);

[C. <co...@li...>]

Hello,
  I'm playing with the TimeLimit features and there are few
points i'm a bit confuse with:

Inserting into my code the instruction "solver.setTimeLimit(1000);",
i obtain the following result:

-- solve => no solution
-- 2364[+0]/1000 millis.
-- 35[+0] nodes

There is a small decalage between the real used time and
the expected one, i suggest it's due to the use of thread
and it isn't really a problem ;-)

I wonder what mean the "[+0]" strings ?   That leads me to the 
second point, i would like to capture the deepness of the search
(i mean the maximum number of variables, which have been
instanciated during the search in the Time Limit).

I was thinking using the VarSelector to do that, but it's
appear to be a bit geek ;-)
Anyway, where is located the peace of code called when
the TimeLimit is finish ?

Thanks you very much for your help,
--
Remi COLETTA