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:      28548                                              |
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: 285, Upper: 570
c Binary Search Mode
c Lower: 285, Middle: 427, Upper: 570
c Lower: 285, Middle: 426, Upper: 568
c Binary Search Mode
c Lower: 426, Middle: 497, Upper: 568
c Lower: 426, Middle: 496, Upper: 567
c Binary Search Mode
c Lower: 496, Middle: 531, Upper: 567
c Lower: 496, Middle: 531, Upper: 566
c Binary Search Mode
c Lower: 531, Middle: 548, Upper: 566
c Lower: 531, Middle: 548, Upper: 565
c Binary Search Mode
c Lower: 548, Middle: 556, Upper: 565
c Lower: 548, Middle: 556, Upper: 564
c Binary Search Mode
c Lower: 556, Middle: 560, Upper: 564
c Lower: 556, Middle: 559, Upper: 563
c Binary Search Mode
c Lower: 559, Middle: 561, Upper: 563
c Lower: 559, Middle: 560, Upper: 562
c Binary Search Mode
c Lower: 560, Middle: 561, Upper: 562
c Lower: 560, Middle: 561, Upper: 561
c Binary Search Mode
c restarts              : 124
c conflicts             : 477641         (1937 /sec)
c decisions             : 572251         (0.98 % random) (2321 /sec)
c propagations          : 145005949      (588075 /sec)
c conflict literals     : 17413894       (40.11 % deleted)
c Memory used           : 23.68 MB
c CPU time              : 246.578 s