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:    300                                                |
c |  Number of clauses:      23222                                              |
c |  Weight of hard clauses: 300                                                |
c |  Number of soft clauses: 300                                                |
c |  Parsing time:         0.01         s                                       |
c Lower: 0, Middle: 150, Upper: 300
c Lower: 0, Middle: 143, Upper: 286
c Binary Search Mode
c Lower: 143, Middle: 214, Upper: 286
c Lower: 143, Middle: 214, Upper: 285
c Binary Search Mode
c Lower: 214, Middle: 249, Upper: 285
c Lower: 214, Middle: 249, Upper: 284
c Binary Search Mode
c Lower: 249, Middle: 266, Upper: 284
c Lower: 249, Middle: 266, Upper: 283
c Binary Search Mode
c Lower: 266, Middle: 274, Upper: 283
c Lower: 266, Middle: 274, Upper: 282
c Binary Search Mode
c Lower: 274, Middle: 278, Upper: 282
c Lower: 274, Middle: 277, Upper: 281
c Binary Search Mode
c Lower: 274, Middle: 275, Upper: 276
c Lower: 274, Middle: 275, Upper: 275
c Binary Search Mode
c restarts              : 129
c conflicts             : 2110939        (1205 /sec)
c decisions             : 2334654        (0.49 % random) (1333 /sec)
c propagations          : 415365431      (237111 /sec)
c conflict literals     : 93285604       (42.66 % deleted)
c Memory used           : 34.53 MB
c CPU time              : 1751.77 s