search

MiniZinc / MiniSearch

the source code for the MiniSearch meta-search language
Other
5 stars 0 forks source link

Minisearch creating hundreds of processes #1

Open pwn1 opened 7 years ago

pwn1 commented 7 years ago

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 commented 7 years ago

git hash 5f48d82f9d640ea873b67309abc94ab6d4a7539d 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 commented 7 years ago

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

pwn1 commented 6 years ago

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 commented 6 years ago

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 commented 6 years ago

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 commented 6 years ago

@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.