c pwbo 1.1 beta - 20110325 c | Number of variables: 4566 | c | Number of clauses: 16314 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.02 s | c | Number Variables: 4566 | c | Number Clauses: 16104 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c init lb 0 c init ub 211 c lb 1 (thread 0) c lb 2 (thread 0) c ub 126 (thread 1) c lb 3 (thread 0) c lb 4 (thread 0) c ub 85 (thread 1) c lb 5 (thread 0) c ub 81 (thread 1) c lb 6 (thread 0) c lb 7 (thread 0) c ub 66 (thread 1) c ub 62 (thread 1) c lb 8 (thread 0) c ub 57 (thread 1) c ub 22 (thread 1) c ub 10 (thread 1) c Memory used : 140.22 MB c CPU time : 5.64114 s