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:      28816                                              |
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: 427, Upper: 569
c Binary Search Mode
c Lower: 427, Middle: 498, Upper: 569
c Lower: 427, Middle: 497, Upper: 568
c Binary Search Mode
c Lower: 497, Middle: 532, Upper: 568
c Lower: 497, Middle: 532, Upper: 567
c Binary Search Mode
c Lower: 532, Middle: 549, Upper: 567
c Lower: 532, Middle: 549, Upper: 566
c Binary Search Mode
c Lower: 549, Middle: 557, Upper: 566
c Lower: 549, Middle: 557, Upper: 565
c Binary Search Mode
c Lower: 557, Middle: 561, Upper: 565
c Lower: 557, Middle: 560, Upper: 564
c Binary Search Mode
c Lower: 560, Middle: 562, Upper: 564
c Lower: 560, Middle: 561, Upper: 563
c Binary Search Mode
c restarts              : 95
c conflicts             : 494399         (1979 /sec)
c decisions             : 582437         (0.99 % random) (2331 /sec)
c propagations          : 158877792      (635819 /sec)
c conflict literals     : 18023459       (40.73 % deleted)
c Memory used           : 25.62 MB
c CPU time              : 249.879 s