[eclipse-clp-users] timeout in bb_min/3

Hello,

I am using Eclipse version 6.0#115 under Ubuntu 9.

I attach the predicate solve/1 which calls bb_min/3 at line 189. After about 1500 seconds, eclipse returns that the problem has no solution.

However, the timeout option in bb_min/3 in the attached file, should stop search after 10 seconds. It is not timing out.

What could be the reason?

Cheers,

Amine.