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:      28631                                              |
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: 572
c Binary Search Mode
c Lower: 286, Middle: 429, Upper: 572
c Lower: 286, Middle: 428, Upper: 570
c Binary Search Mode
c Lower: 428, Middle: 499, Upper: 570
c Lower: 428, Middle: 498, Upper: 569
c Binary Search Mode
c Lower: 498, Middle: 533, Upper: 569
c Lower: 498, Middle: 533, Upper: 568
c Binary Search Mode
c Lower: 533, Middle: 550, Upper: 568
c Lower: 533, 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              : 72
c conflicts             : 342285         (1699 /sec)
c decisions             : 410801         (0.94 % random) (2040 /sec)
c propagations          : 107996136      (536168 /sec)
c conflict literals     : 13319075       (38.99 % deleted)
c Memory used           : 24.41 MB
c CPU time              : 201.422 s