c This is QMaxSAT v0.4c, a Partial Max-SAT solver based on MiniSat 2.0 beta
c WARNING: for repeatability, setting FPU to use double precision
c ============================[ Problem Statistics ]=============================
c |                                                                             |
c |  Number of variables:    660                                                |
c |  Number of clauses:      6010                                               |
c |  Weight of hard clauses: 661                                                |
c |  Number of soft clauses: 660                                                |
c |  Parsing time:         0.00         s                                       |
c Lower: 0, Middle: 330, Upper: 660
c Lower: 0, Middle: 161, Upper: 323
c Binary Search Mode
c Lower: 161, Middle: 242, Upper: 323
c Lower: 161, Middle: 236, Upper: 311
c Binary Search Mode
c Lower: 236, Middle: 273, Upper: 311
c Lower: 236, Middle: 273, Upper: 310
c Binary Search Mode
c Lower: 273, Middle: 291, Upper: 310
c restarts              : 40
c conflicts             : 25512          (437 /sec)
c decisions             : 47800          (1.27 % random) (820 /sec)
c propagations          : 15892546       (272496 /sec)
c conflict literals     : 1513329        (19.70 % deleted)
c Memory used           : 21.73 MB
c CPU time              : 58.3221 s