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:    637                                                |
c |  Number of clauses:      2105                                               |
c |  Weight of hard clauses: 2105                                               |
c |  Number of soft clauses: 637                                                |
c |  Parsing time:         0.00         s                                       |
c Lower: 0, Middle: 318, Upper: 637
c Lower: 0, Middle: 156, Upper: 313
c Binary Search Mode
c Lower: 156, Middle: 234, Upper: 313
c Lower: 156, Middle: 209, Upper: 262
c Binary Search Mode
c Lower: 209, Middle: 235, Upper: 262
c Lower: 209, Middle: 233, Upper: 257
c Binary Search Mode
c Lower: 233, Middle: 245, Upper: 257
c Lower: 233, Middle: 244, Upper: 255
c Binary Search Mode
c Lower: 244, Middle: 249, Upper: 255
c Lower: 244, Middle: 249, Upper: 254
c Binary Search Mode
c Lower: 249, Middle: 251, Upper: 254
c restarts              : 11
c conflicts             : 174            (129 /sec)
c decisions             : 1277           (0.70 % random) (947 /sec)
c propagations          : 251236         (186405 /sec)
c conflict literals     : 1629           (59.14 % deleted)
c Memory used           : 14.47 MB
c CPU time              : 1.3478 s