search

sbjoshi / Open-WBO-Inc

An incomplete MaxSAT solver for weighted MaxSAT problems
Other
5 stars 2 forks source link

How to set the maximum running time? #2

Closed Archer222arc closed 1 year ago

Archer222arc commented 1 year ago

I'm trying to find if there is an option for setting maximum running time in the --help but failed. I'm wondering if there is a corresponding option?

sbjoshi commented 1 year ago

@Archer222arc there's no such option within the tool. Please use runsolver to impose time or memory limits when you run the executable. You can use other utilities too which impose these limits and send a signal to the executable. The executable with catch the signal and gracefully terminate after printing statistics and partial solution (if found).

Archer222arc commented 1 year ago

Another issue I face is, when I was trying to running the solver with |tee command, it just stopped running and kept in the status. How can I get the output of solving as a file?