Minisearch creating hundreds of processes

[pwn1]

Hi,

Using minisearch with an annotation like this:

solve search adaptive_lns_max(optVar, [....], 1000000, 10, 5000);

with fzn-chuffed (from github.com/chuffed/chuffed) as the backend solver, creates hundreds of processes. If I run 20 minisearch processes in parallel the effect is to forkbomb the server!

Here's one line of pstree output:
│ ├─sshd───sshd───bash───runminisearch───timeout───filter-minisear───minisearch───683*[fzn-chuffed]

I can supply the .mzn file if you like, but I doubt you need it.

[pwn1]

git hash 5f48d82
built and run on Scientific Linux 7.3
Compiler: g++ (GCC) 4.8.5 20150623 (Red Hat 4.8.5-11)
The minizinc file is attached.
tspeil51.zip

[pwn1]

If you are forking, you probably need to call wait.

[pwn1]

Is there any development happening on minisearch? It seems there are a lot of issues filed.
Chris has a one-line fix for this one, but it's not pretty.

[angee]

Pete, MiniSearch is currently not maintained, but I hope I will have some more time for that soon. I'll try to get back to you within the next week.

[pwn1]

Hi Andrea,
Don't worry -- we used minisearch for a while but now we are not using it, so there's no urgent need for anything to be fixed. I just wanted to know if anyone was working on it, and let you know about Chris' one-liner.
Pete

[si14]

@angee hey, just wondering if you guys still plan to do something with MiniSearch. It seems the branches diverged quite a bit and the MiniSearch one didn't see much love for a while.