c wbo 1.4 beta - 20100610 c | Number of variables: 2952 | c | Number of clauses: 45002 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.03 s | c | Number Variables: 2952 | c | Number Clauses: 44904 | 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 | 2911 44904 115515 | 14968 0 nan | 0.000 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 0.227965 s Remaining CPU time: 179.772 s c =============================================================================== c | 1 | 2911 44905 115613 | 14968 1 11 | 0.000 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 0.236963 s Remaining CPU time: 179.763 s c =============================================================================== c | 1 | 2911 44906 115711 | 14968 1 11 | 0.000 % | c | 101 | 2911 44906 115711 | 16465 101 92 | 1.390 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 0.268959 s Remaining CPU time: 179.731 s c =============================================================================== c | 160 | 2911 44907 115809 | 14969 160 61 | 1.390 % | c | 261 | 2911 44907 115809 | 16465 261 54 | 1.389 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 0.296954 s Remaining CPU time: 179.703 s c =============================================================================== c | 292 | 2911 44908 115907 | 14969 292 50 | 1.389 % | c | 392 | 2911 44908 115907 | 16466 392 50 | 1.389 % | c | 542 | 2911 44908 115907 | 18112 542 49 | 1.389 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 0.353946 s Remaining CPU time: 179.646 s c =============================================================================== c | 643 | 2911 44909 116005 | 14969 643 46 | 1.389 % | c | 743 | 2911 44909 116005 | 16466 743 45 | 1.389 % | c | 894 | 2911 44909 116005 | 18113 894 45 | 1.389 % | c | 1119 | 2911 44909 116005 | 19924 1119 44 | 1.389 % | c | 1457 | 2911 44909 116005 | 21917 1457 44 | 1.389 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 0.491925 s Remaining CPU time: 179.508 s c =============================================================================== c | 1471 | 2911 44910 116103 | 14970 1471 44 | 1.389 % | c | 1573 | 2911 44910 116103 | 16467 1573 42 | 1.389 % | c | 1726 | 2911 44910 116103 | 18113 1726 43 | 1.389 % | c | 1951 | 2911 44910 116103 | 19925 1951 43 | 1.389 % | c | 2288 | 2911 44910 116103 | 21917 2288 44 | 1.389 % | c | 2795 | 2911 44910 116103 | 24109 2795 49 | 1.389 % | c | 3555 | 2911 44910 116103 | 26520 3555 56 | 1.389 % | c | 4695 | 2911 44910 116103 | 29172 4695 61 | 1.389 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 1.13383 s Remaining CPU time: 178.866 s c =============================================================================== c | 5700 | 2911 44911 116201 | 14970 5700 59 | 1.389 % | c | 5800 | 2911 44911 116201 | 16467 5800 59 | 1.389 % | c | 5950 | 2911 44911 116201 | 18114 5950 59 | 1.389 % | c | 6175 | 2911 44911 116201 | 19925 6175 58 | 1.389 % | c | 6513 | 2911 44911 116201 | 21918 6513 59 | 1.389 % | c | 7019 | 2911 44911 116201 | 24109 7019 59 | 1.389 % | c | 7778 | 2911 44911 116201 | 26520 7778 62 | 1.389 % | c | 8917 | 2911 44911 116201 | 29172 8917 65 | 1.389 % | c | 10627 | 2911 44911 116201 | 32090 10627 63 | 1.389 % | c | 13189 | 2911 44911 116201 | 35299 13189 70 | 1.389 % | c | 17033 | 2911 44911 116201 | 38829 17033 74 | 1.389 % | c | 22799 | 2911 44911 116201 | 42712 22799 84 | 1.389 % | c | 31448 | 2911 44911 116201 | 46983 31448 84 | 1.389 % | c | 44422 | 2911 44911 116201 | 51681 44422 87 | 1.389 % | c | 63883 | 2911 44911 116201 | 56849 24116 97 | 1.389 % | c | 93076 | 2911 44911 116201 | 62534 53309 91 | 1.389 % | c | 136866 | 2911 44911 116201 | 68788 46370 100 | 1.389 % | c | 202550 | 2911 44911 116201 | 75667 55628 113 | 1.389 % | c | 301078 | 2911 44911 116201 | 83233 28059 102 | 1.389 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 169.92 s Remaining CPU time: 10.0798 s c =============================================================================== c | 302733 | 2911 44912 116299 | 14970 29714 102 | 1.389 % | c | 302834 | 2911 44912 116299 | 16467 11702 104 | 1.389 % | c | 302985 | 2911 44912 116299 | 18114 11853 104 | 1.389 % | c | 303211 | 2911 44912 116299 | 19925 12079 103 | 1.389 % | c | 303549 | 2911 44912 116299 | 21918 12417 102 | 1.389 % | c | 304056 | 2911 44912 116299 | 24110 12924 100 | 1.389 % | c | 304817 | 2911 44912 116299 | 26521 13685 98 | 1.389 % | c | 305957 | 2911 44912 116299 | 29173 14825 97 | 1.389 % | c | 307665 | 2911 44912 116299 | 32090 16533 97 | 1.389 % | c | 310227 | 2911 44912 116299 | 35300 19095 99 | 1.389 % | c | 314072 | 2911 44912 116299 | 38830 22940 98 | 1.389 % | c | 319839 | 2911 44912 116299 | 42713 28707 98 | 1.389 % | c | 328488 | 2911 44912 116299 | 46984 37356 99 | 1.389 % | c There are 41 assigned variables. 41 in cost function. c Memory used : 172.45 MB c CPU time : 180.337 s c c Total CPU time: 180.339 s