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:      28529                                              |
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: 283, Upper: 566
c Binary Search Mode
c Lower: 283, Middle: 424, Upper: 566
c Lower: 283, Middle: 424, Upper: 565
c Binary Search Mode
c Lower: 424, Middle: 494, Upper: 565
c Lower: 424, Middle: 494, Upper: 564
c Binary Search Mode
c Lower: 494, Middle: 529, Upper: 564
c Lower: 494, Middle: 528, Upper: 563
c Binary Search Mode
c Lower: 528, Middle: 545, Upper: 563
c Lower: 528, Middle: 545, Upper: 562
c Binary Search Mode
c Lower: 545, Middle: 553, Upper: 562
c Lower: 545, Middle: 553, Upper: 561
c Binary Search Mode
c Lower: 553, Middle: 557, Upper: 561
c Lower: 553, Middle: 556, Upper: 560
c Binary Search Mode
c Lower: 556, Middle: 558, Upper: 560
c restarts              : 105
c conflicts             : 1720879        (1666 /sec)
c decisions             : 2040801        (0.94 % random) (1976 /sec)
c propagations          : 511719577      (495536 /sec)
c conflict literals     : 69271916       (39.79 % deleted)
c Memory used           : 37.93 MB
c CPU time              : 1032.66 s