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:    325                                                |
c |  Number of clauses:      10833                                              |
c |  Weight of hard clauses: 326                                                |
c |  Number of soft clauses: 325                                                |
c |  Parsing time:         0.00         s                                       |
c Lower: 0, Middle: 162, Upper: 325
c Lower: 0, Middle: 153, Upper: 306
c Binary Search Mode
c Lower: 153, Middle: 229, Upper: 306
c Lower: 153, Middle: 229, Upper: 305
c Binary Search Mode
c Lower: 229, Middle: 267, Upper: 305
c Lower: 229, Middle: 266, Upper: 304
c Binary Search Mode
c Lower: 266, Middle: 285, Upper: 304
c Lower: 266, Middle: 284, Upper: 303
c Binary Search Mode
c Lower: 284, Middle: 293, Upper: 303
c Lower: 284, Middle: 293, Upper: 302
c Binary Search Mode
c Lower: 293, Middle: 297, Upper: 302
c Lower: 293, Middle: 297, Upper: 301
c Binary Search Mode
c Lower: 297, Middle: 299, Upper: 301
c Lower: 297, Middle: 298, Upper: 300
c Binary Search Mode
c Lower: 298, Middle: 299, Upper: 300
c restarts              : 65
c conflicts             : 33698          (5441 /sec)
c decisions             : 47019          (0.88 % random) (7592 /sec)
c propagations          : 6444890        (1040664 /sec)
c conflict literals     : 719084         (39.28 % deleted)
c Memory used           : 7.08 MB
c CPU time              : 6.19306 s