c wbo 1.4 beta - 20100610 c | Number of variables: 111 | c | Number of clauses: 3694 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 111 | c | Number Clauses: 3583 | 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 3583 7166 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 135903 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 0 | 111 3584 7277 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 134802 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 0 | 111 3585 7388 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 133669 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 0 | 111 3586 7499 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 133314 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 48 | 111 3587 7610 | 5000 48 86 | 0.000 % | c | 172 | 111 3587 7610 | 5500 172 87 | 0.008 % | c | 344 | 111 3587 7610 | 6050 344 89 | 0.008 % | c | 596 | 111 3587 7610 | 6655 596 89 | 0.008 % | c =============================================================================== c New solution: 132568 c Elapsed CPU time: 0.163975 s Remaining CPU time: 179.836 s c =============================================================================== c | 653 | 111 3588 7721 | 5000 653 89 | 0.008 % | c =============================================================================== c New solution: 132213 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 666 | 111 3589 7832 | 5000 666 90 | 0.008 % | c | 767 | 111 3589 7832 | 5500 767 91 | 0.008 % | c | 934 | 111 3589 7832 | 6050 934 92 | 0.008 % | c | 1166 | 111 3589 7832 | 6655 1166 93 | 0.008 % | c | 1521 | 111 3589 7832 | 7320 1521 94 | 0.008 % | c | 2032 | 111 3589 7832 | 8052 2032 94 | 0.008 % | c | 2810 | 111 3589 7832 | 8857 2810 95 | 0.008 % | c | 3951 | 111 3589 7832 | 9743 3951 96 | 0.008 % | c | 5671 | 111 3589 7832 | 10717 5671 95 | 0.008 % | c =============================================================================== c Total CPU time: 4.36234 s