c This is 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: 2354 | c | Number of clauses: 11895 | c | Weight of hard clauses: 83 | c | Number of soft clauses: 82 | c | Parsing time: 0.01 s | c restarts : 8 c conflicts : 719 (9988 /sec) c decisions : 4155 (1.23 % random) (57717 /sec) c propagations : 225995 (3139299 /sec) c conflict literals : 4133 (22.73 % deleted) c Memory used : 2.59 MB c CPU time : 0.071989 s