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:    1848                                               |
c |  Number of clauses:      16575                                              |
c |  Weight of hard clauses: 1849                                               |
c |  Number of soft clauses: 1848                                               |
c |  Parsing time:         0.01         s                                       |
c Lower: 0, Middle: 924, Upper: 1848
c Lower: 0, Middle: 430, Upper: 861
c Binary Search Mode
c Lower: 430, Middle: 645, Upper: 861
c restarts              : 16
c conflicts             : 5796           (84 /sec)
c decisions             : 63225          (0.63 % random) (912 /sec)
c propagations          : 10350651       (149374 /sec)
c conflict literals     : 126210         (17.50 % deleted)
c Memory used           : 108.46 MB
c CPU time              : 69.2935 s