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:    522                                                |
c |  Number of clauses:      3341                                               |
c |  Weight of hard clauses: 523                                                |
c |  Number of soft clauses: 522                                                |
c |  Parsing time:         0.00         s                                       |
c Lower: 0, Middle: 261, Upper: 522
c Lower: 0, Middle: 126, Upper: 253
c Binary Search Mode
c Lower: 126, Middle: 189, Upper: 253
c Lower: 126, Middle: 185, Upper: 245
c Binary Search Mode
c Lower: 185, Middle: 215, Upper: 245
c Lower: 185, Middle: 214, Upper: 244
c Binary Search Mode
c Lower: 214, Middle: 229, Upper: 244
c restarts              : 37
c conflicts             : 14276          (638 /sec)
c decisions             : 31132          (1.52 % random) (1391 /sec)
c propagations          : 7786024        (347923 /sec)
c conflict literals     : 588644         (27.32 % deleted)
c Memory used           : 13.09 MB
c CPU time              : 22.3786 s