search

sat-group / open-wbo

Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
Other
69 stars 12 forks source link

specify cpu time and memory limit #7

Closed ndangtt closed 5 years ago

ndangtt commented 5 years ago

Is there a way to specify cpu time and memory limit for open-wbo? I can't seem to find the corresponding command line argument from -help.

Thanks,

conp-solutions commented 5 years ago

Hi,There is currently not. The ability to do so in the SAT backend is not forwarded to the open-wbo CLI. I actually already thought about doing so, and have some local version that is capable of that. I will create a pull request.Best,Norbert

ndangtt commented 5 years ago

That is great. Thank you very much! Best, Nguyen

rubengmartins commented 5 years ago

Thanks @conp-solutions for creating a patch with the options to limit time and memory.

These can now be accessible with the options:

-cpu-lim      = <int32>  [   0 .. imax] (default: 0)

        Limit on CPU time allowed in seconds.

  -mem-lim      = <int32>  [   0 .. imax] (default: 0)

        Limit on memory usage in megabytes.
ndangtt commented 5 years ago

Thank you! I shall now close this issue.