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:    1518                                               |
c |  Number of clauses:      23139                                              |
c |  Weight of hard clauses: 1519                                               |
c |  Number of soft clauses: 1518                                               |
c |  Parsing time:         0.02         s                                       |
c Lower: 0, Middle: 759, Upper: 1518
c Lower: 0, Middle: 368, Upper: 736
c Binary Search Mode
c Lower: 368, Middle: 552, Upper: 736
c restarts              : 15
c conflicts             : 8336           (274 /sec)
c decisions             : 28015          (1.37 % random) (922 /sec)
c propagations          : 9290171        (305866 /sec)
c conflict literals     : 329833         (11.05 % deleted)
c Memory used           : 78.27 MB
c CPU time              : 30.3734 s