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:    1271                                               |
c |  Number of clauses:      4423                                               |
c |  Weight of hard clauses: 4423                                               |
c |  Number of soft clauses: 1271                                               |
c |  Parsing time:         0.00         s                                       |
c Lower: 0, Middle: 635, Upper: 1271
c Lower: 0, Middle: 310, Upper: 620
c Binary Search Mode
c Lower: 310, Middle: 465, Upper: 620
c Lower: 310, Middle: 433, Upper: 556
c Binary Search Mode
c Lower: 433, Middle: 494, Upper: 556
c Lower: 433, Middle: 488, Upper: 543
c Binary Search Mode
c Lower: 488, Middle: 515, Upper: 543
c Lower: 488, Middle: 515, Upper: 542
c Binary Search Mode
c Lower: 515, Middle: 528, Upper: 542
c Lower: 515, Middle: 528, Upper: 541
c Binary Search Mode
c Lower: 528, Middle: 534, Upper: 541
c Lower: 528, Middle: 532, Upper: 537
c Binary Search Mode
c Lower: 532, Middle: 534, Upper: 537
c Lower: 532, Middle: 534, Upper: 536
c Binary Search Mode
c Lower: 532, Middle: 533, Upper: 533
c restarts              : 18
c conflicts             : 843            (51 /sec)
c decisions             : 3242           (0.77 % random) (196 /sec)
c propagations          : 1898409        (114912 /sec)
c conflict literals     : 18581          (56.64 % deleted)
c Memory used           : 50.62 MB
c CPU time              : 16.5205 s