c wbo 1.4 beta - 20100610 c | Number of variables: 144 | c | Number of clauses: 4851 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 144 | c | Number Clauses: 4707 | 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 | 144 4707 9414 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 141856 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 0 | 144 4708 9558 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 141250 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 0 | 144 4709 9702 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 140405 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 32 | 144 4710 9846 | 5000 32 126 | 0.000 % | c =============================================================================== c New solution: 139799 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 32 | 144 4711 9990 | 5000 32 126 | 0.000 % | c | 148 | 144 4711 9990 | 5500 148 129 | 0.005 % | c =============================================================================== c New solution: 139668 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 244 | 144 4712 10134 | 5000 244 130 | 0.005 % | c =============================================================================== c New solution: 139066 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 265 | 144 4713 10278 | 5000 265 129 | 0.005 % | c =============================================================================== c New solution: 138823 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 281 | 144 4714 10422 | 5000 281 129 | 0.005 % | c =============================================================================== c New solution: 138217 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 281 | 144 4715 10566 | 5000 281 129 | 0.005 % | c =============================================================================== c New solution: 138035 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 347 | 144 4716 10710 | 5000 347 130 | 0.005 % | c =============================================================================== c New solution: 137429 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 350 | 144 4717 10854 | 5000 350 130 | 0.005 % | c | 452 | 144 4717 10854 | 5500 452 130 | 0.005 % | c | 604 | 144 4717 10854 | 6050 604 131 | 0.005 % | c | 831 | 144 4717 10854 | 6655 831 131 | 0.005 % | c | 1170 | 144 4717 10854 | 7320 1170 132 | 0.005 % | c | 1676 | 144 4717 10854 | 8052 1676 132 | 0.005 % | c | 2439 | 144 4717 10854 | 8857 2439 132 | 0.005 % | c | 3579 | 144 4717 10854 | 9743 3579 133 | 0.005 % | c | 5287 | 144 4717 10854 | 10717 5287 133 | 0.005 % | c | 7849 | 144 4717 10854 | 11789 7849 133 | 0.005 % | c | 11695 | 144 4717 10854 | 12968 11695 133 | 0.005 % | c | 17463 | 144 4717 10854 | 14265 10910 133 | 0.005 % | c | 26114 | 144 4717 10854 | 15692 12366 133 | 0.005 % | c | 39092 | 144 4717 10854 | 17261 9529 129 | 0.005 % | c | 58553 | 144 4717 10854 | 18987 11590 130 | 0.005 % | c | 87747 | 144 4717 10854 | 20886 12092 133 | 0.005 % | c | 131537 | 144 4717 10854 | 22974 13832 131 | 0.005 % | c =============================================================================== c Total CPU time: 145.538 s