c wbo 1.4 beta - 20100610 c | Number of variables: 111 | c | Number of clauses: 3615 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 111 | c | Number Clauses: 3504 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 111 3504 7008 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 95596 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 0 | 111 3505 7119 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 95299 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 0 | 111 3506 7230 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 94000 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 53 | 111 3507 7341 | 5000 53 83 | 0.000 % | c =============================================================================== c New solution: 93703 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 53 | 111 3508 7452 | 5000 53 83 | 0.000 % | c | 183 | 111 3508 7452 | 5500 183 86 | 0.008 % | c | 371 | 111 3508 7452 | 6050 371 88 | 0.008 % | c | 607 | 111 3508 7452 | 6655 607 87 | 0.008 % | c | 946 | 111 3508 7452 | 7320 946 87 | 0.008 % | c | 1465 | 111 3508 7452 | 8052 1465 87 | 0.008 % | c | 2268 | 111 3508 7452 | 8857 2268 86 | 0.008 % | c =============================================================================== c Total CPU time: 0.946856 s