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:    316                                                |
c |  Number of clauses:      1318                                               |
c |  Weight of hard clauses: 1318                                               |
c |  Number of soft clauses: 316                                                |
c |  Parsing time:         0.00         s                                       |
c Lower: 0, Middle: 158, Upper: 316
c Lower: 0, Middle: 87, Upper: 174
c Binary Search Mode
c Lower: 87, Middle: 130, Upper: 174
c restarts              : 4
c conflicts             : 309            (4353 /sec)
c decisions             : 997            (1.30 % random) (14044 /sec)
c propagations          : 36370          (512333 /sec)
c conflict literals     : 1442           (16.21 % deleted)
c Memory used           : 4.98 MB
c CPU time              : 0.070989 s