c wbo 1.4 beta - 20100610 c | Number of variables: 113 | c | Number of clauses: 2999 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 113 | c | Number Clauses: 2886 | 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 | 113 2886 5772 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 58432 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 0 | 113 2887 5885 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 58043 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 0 | 113 2888 5998 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 57922 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 33 | 113 2889 6111 | 5000 33 95 | 0.000 % | c =============================================================================== c New solution: 57721 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 43 | 113 2890 6224 | 5000 43 97 | 0.000 % | c =============================================================================== c New solution: 57600 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 58 | 113 2891 6337 | 5000 58 97 | 0.000 % | c =============================================================================== c New solution: 57529 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 62 | 113 2892 6450 | 5000 62 97 | 0.000 % | c =============================================================================== c New solution: 57520 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 66 | 113 2893 6563 | 5000 66 98 | 0.000 % | c =============================================================================== c New solution: 56818 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 129 | 113 2894 6676 | 5000 129 102 | 0.000 % | c =============================================================================== c New solution: 56738 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 129 | 113 2895 6789 | 5000 129 102 | 0.000 % | c =============================================================================== c New solution: 56697 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 132 | 113 2896 6902 | 5000 132 102 | 0.000 % | c =============================================================================== c New solution: 56617 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 132 | 113 2897 7015 | 5000 132 102 | 0.000 % | c | 232 | 113 2897 7015 | 5500 232 103 | 0.008 % | c =============================================================================== c New solution: 56527 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 329 | 113 2898 7128 | 5000 329 103 | 0.008 % | c =============================================================================== c New solution: 56406 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 417 | 113 2899 7241 | 5000 417 103 | 0.008 % | c =============================================================================== c New solution: 56322 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 420 | 113 2900 7354 | 5000 420 103 | 0.008 % | c =============================================================================== c New solution: 56308 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 423 | 113 2901 7467 | 5000 423 103 | 0.008 % | c | 524 | 113 2901 7467 | 5500 524 103 | 0.008 % | c | 675 | 113 2901 7467 | 6050 675 102 | 0.008 % | c | 905 | 113 2901 7467 | 6655 905 102 | 0.008 % | c | 1242 | 113 2901 7467 | 7320 1242 101 | 0.008 % | c | 1763 | 113 2901 7467 | 8052 1763 101 | 0.008 % | c | 2525 | 113 2901 7467 | 8857 2525 100 | 0.008 % | c | 3675 | 113 2901 7467 | 9743 3675 100 | 0.008 % | c | 5385 | 113 2901 7467 | 10717 5385 100 | 0.008 % | c | 7957 | 113 2901 7467 | 11789 7957 100 | 0.008 % | c | 11802 | 113 2901 7467 | 12968 11802 99 | 0.008 % | c | 17577 | 113 2901 7467 | 14265 11043 97 | 0.008 % | c =============================================================================== c Total CPU time: 21.1038 s