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 : 5 c conflicts : 742 (11596 /sec) c decisions : 3492 (1.03 % random) (54571 /sec) c propagations : 193616 (3025723 /sec) c conflict literals : 3718 (16.64 % deleted) c Memory used : 2.58 MB c CPU time : 0.06399 s