This is a MaxSAT solver QMaxSAT 14.07g3 (auto-mode).
It is a satisfiability-based solver and uses glucose3.0 as an underlying SAT solver.
Currently, QMaxSAT deals with MS, PMS, WMS and WPMS instances.

> ./qmaxsat14.07auto-glucose3_static <input_file_name>