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:    595                                                |
c |  Number of clauses:      28547                                              |
c |  Weight of hard clauses: 596                                                |
c |  Number of soft clauses: 595                                                |
c |  Parsing time:         0.01         s                                       |
c Lower: 0, Middle: 297, Upper: 595
c Lower: 0, Middle: 286, Upper: 573
c Binary Search Mode
c Lower: 286, Middle: 429, Upper: 573
c Lower: 286, Middle: 429, Upper: 572
c Binary Search Mode
c Lower: 429, Middle: 500, Upper: 572
c Lower: 429, Middle: 499, Upper: 570
c Binary Search Mode
c Lower: 499, Middle: 534, Upper: 570
c Lower: 499, Middle: 534, Upper: 569
c Binary Search Mode
c Lower: 534, Middle: 551, Upper: 569
c Lower: 534, Middle: 550, Upper: 567
c Binary Search Mode
c Lower: 550, Middle: 558, Upper: 567
c Lower: 550, Middle: 558, Upper: 566
c Binary Search Mode
c Lower: 558, Middle: 562, Upper: 566
c Lower: 558, Middle: 561, Upper: 565
c Binary Search Mode
c Lower: 558, Middle: 559, Upper: 560
c restarts              : 73
c conflicts             : 979597         (1818 /sec)
c decisions             : 1149629        (0.98 % random) (2134 /sec)
c propagations          : 310861396      (576952 /sec)
c conflict literals     : 42269844       (36.84 % deleted)
c Memory used           : 31.22 MB
c CPU time              : 538.799 s