c wbo 1.4 beta - 20100610 c | Number of variables: 5857 | c | Number of clauses: 97070 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.07 s | c | Number Variables: 5857 | c | Number Clauses: 96894 | 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 | 5793 96894 242910 | 32298 0 nan | 0.000 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 0.6569 s Remaining CPU time: 179.343 s c =============================================================================== c | 0 | 5793 96895 243086 | 32298 0 nan | 0.000 % | c | 101 | 5793 96895 243086 | 35528 101 119 | 1.093 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 0.737887 s Remaining CPU time: 179.262 s c =============================================================================== c | 179 | 5793 96896 243262 | 32298 179 71 | 1.093 % | c | 279 | 5793 96896 243262 | 35528 279 76 | 1.093 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 0.800878 s Remaining CPU time: 179.199 s c =============================================================================== c | 311 | 5793 96897 243438 | 32299 311 69 | 1.093 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 0.828873 s Remaining CPU time: 179.171 s c =============================================================================== c | 338 | 5793 96898 243614 | 32299 338 67 | 1.093 % | c | 438 | 5793 96898 243614 | 35529 438 66 | 1.093 % | c | 588 | 5793 96898 243614 | 39082 588 57 | 1.093 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 0.972852 s Remaining CPU time: 179.027 s c =============================================================================== c | 627 | 5793 96899 243790 | 32299 627 54 | 1.093 % | c | 727 | 5793 96899 243790 | 35529 727 57 | 1.093 % | c | 877 | 5793 96899 243790 | 39082 877 55 | 1.093 % | c | 1102 | 5793 96899 243790 | 42990 1102 53 | 1.093 % | c | 1439 | 5793 96899 243790 | 47289 1439 57 | 1.093 % | c | 1946 | 5793 96899 243790 | 52018 1946 71 | 1.093 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 1.47178 s Remaining CPU time: 178.528 s c =============================================================================== c | 2366 | 5793 96900 243966 | 32300 2366 69 | 1.093 % | c | 2466 | 5793 96900 243966 | 35530 2466 67 | 1.093 % | c | 2618 | 5793 96900 243966 | 39083 2618 67 | 1.093 % | c | 2844 | 5793 96900 243966 | 42991 2844 67 | 1.093 % | c | 3181 | 5793 96900 243966 | 47290 3181 66 | 1.093 % | c | 3688 | 5793 96900 243966 | 52019 3688 69 | 1.093 % | c | 4447 | 5793 96900 243966 | 57221 4447 76 | 1.093 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 2.14867 s Remaining CPU time: 177.851 s c =============================================================================== c | 4641 | 5793 96901 244142 | 32300 4641 75 | 1.093 % | c | 4741 | 5793 96901 244142 | 35530 4741 74 | 1.093 % | c | 4891 | 5793 96901 244142 | 39083 4891 75 | 1.093 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 2.27965 s Remaining CPU time: 177.72 s c =============================================================================== c | 4996 | 5793 96902 244318 | 32300 4996 75 | 1.093 % | c | 5096 | 5793 96902 244318 | 35530 5096 74 | 1.093 % | c | 5246 | 5793 96902 244318 | 39083 5246 73 | 1.093 % | c | 5471 | 5793 96902 244318 | 42992 5471 75 | 1.093 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 2.50062 s Remaining CPU time: 177.499 s c =============================================================================== c | 5500 | 5793 96903 244494 | 32301 5500 74 | 1.093 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 2.54461 s Remaining CPU time: 177.455 s c =============================================================================== c | 5519 | 5793 96904 244670 | 32301 5519 74 | 1.093 % | c | 5620 | 5793 96904 244670 | 35531 5620 73 | 1.093 % | c | 5770 | 5793 96904 244670 | 39084 5770 73 | 1.093 % | c | 5997 | 5793 96904 244670 | 42993 5997 73 | 1.093 % | c | 6335 | 5793 96904 244670 | 47292 6335 71 | 1.093 % | c | 6841 | 5793 96904 244670 | 52021 6841 73 | 1.093 % | c | 7601 | 5793 96904 244670 | 57223 7601 77 | 1.093 % | c | 8740 | 5793 96904 244670 | 62946 8740 75 | 1.093 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 4.06438 s Remaining CPU time: 175.936 s c =============================================================================== c | 9067 | 5793 96905 244846 | 32301 9067 74 | 1.093 % | c | 9168 | 5793 96905 244846 | 35531 9168 74 | 1.093 % | c | 9319 | 5793 96905 244846 | 39085 9319 74 | 1.093 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 4.26835 s Remaining CPU time: 175.732 s c =============================================================================== c | 9485 | 5793 96906 245022 | 32302 9485 74 | 1.093 % | c | 9586 | 5793 96906 245022 | 35532 9586 74 | 1.093 % | c | 9736 | 5793 96906 245022 | 39085 9736 74 | 1.093 % | c | 9963 | 5793 96906 245022 | 42993 9963 75 | 1.093 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 4.54231 s Remaining CPU time: 175.458 s c =============================================================================== c | 10173 | 5793 96907 245198 | 32302 10173 76 | 1.093 % | c | 10274 | 5793 96907 245198 | 35532 10274 75 | 1.093 % | c | 10424 | 5793 96907 245198 | 39085 10424 76 | 1.093 % | c | 10649 | 5793 96907 245198 | 42994 10649 76 | 1.093 % | c | 10987 | 5793 96907 245198 | 47293 10987 76 | 1.093 % | c | 11493 | 5793 96907 245198 | 52023 11493 78 | 1.093 % | c | 12252 | 5793 96907 245198 | 57225 12252 80 | 1.093 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 5.75213 s Remaining CPU time: 174.248 s c =============================================================================== c | 12973 | 5793 96908 245374 | 32302 12973 79 | 1.093 % | c | 13073 | 5793 96908 245374 | 35532 13073 78 | 1.093 % | c | 13223 | 5793 96908 245374 | 39086 13223 78 | 1.093 % | c | 13449 | 5793 96908 245374 | 42994 13449 79 | 1.093 % | c | 13786 | 5793 96908 245374 | 47294 13786 79 | 1.093 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 6.20006 s Remaining CPU time: 173.8 s c =============================================================================== c | 13955 | 5793 96909 245550 | 32303 13955 79 | 1.093 % | c | 14055 | 5793 96909 245550 | 35533 14055 79 | 1.093 % | c | 14207 | 5793 96909 245550 | 39086 14207 79 | 1.093 % | c | 14435 | 5793 96909 245550 | 42995 14435 79 | 1.093 % | c | 14773 | 5793 96909 245550 | 47294 14773 79 | 1.093 % | c | 15279 | 5793 96909 245550 | 52024 15279 80 | 1.093 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 6.98394 s Remaining CPU time: 173.016 s c =============================================================================== c | 15750 | 5793 96910 245726 | 32303 15750 80 | 1.093 % | c | 15850 | 5793 96910 245726 | 35533 15850 80 | 1.093 % | c | 16003 | 5793 96910 245726 | 39087 16003 80 | 1.093 % | c | 16228 | 5793 96910 245726 | 42995 16228 81 | 1.093 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 7.28389 s Remaining CPU time: 172.716 s c =============================================================================== c | 16295 | 5793 96911 245902 | 32303 16295 81 | 1.093 % | c | 16395 | 5793 96911 245902 | 35534 16395 81 | 1.093 % | c | 16546 | 5793 96911 245902 | 39087 16546 81 | 1.093 % | c | 16772 | 5793 96911 245902 | 42996 16772 81 | 1.093 % | c | 17109 | 5793 96911 245902 | 47295 17109 81 | 1.093 % | c | 17617 | 5793 96911 245902 | 52025 17617 82 | 1.093 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 8.02478 s Remaining CPU time: 171.975 s c =============================================================================== c | 18015 | 5793 96912 246078 | 32304 18015 82 | 1.093 % | c | 18115 | 5793 96912 246078 | 35534 18115 82 | 1.093 % | c | 18265 | 5793 96912 246078 | 39087 18265 81 | 1.093 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 8.22775 s Remaining CPU time: 171.772 s c =============================================================================== c | 18360 | 5793 96913 246254 | 32304 18360 81 | 1.093 % | c | 18462 | 5793 96913 246254 | 35534 18462 81 | 1.093 % | c | 18613 | 5793 96913 246254 | 39088 18613 81 | 1.093 % | c | 18840 | 5793 96913 246254 | 42997 18840 81 | 1.093 % | c | 19177 | 5793 96913 246254 | 47296 19177 82 | 1.093 % | c | 19683 | 5793 96913 246254 | 52026 19683 82 | 1.093 % | c | 20442 | 5793 96913 246254 | 57229 20442 83 | 1.093 % | c | 21581 | 5793 96913 246254 | 62952 21581 83 | 1.093 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 9.41357 s Remaining CPU time: 170.586 s c =============================================================================== c | 21747 | 5793 96914 246430 | 32304 21747 83 | 1.093 % | c | 21847 | 5793 96914 246430 | 35535 21847 83 | 1.093 % | c | 21998 | 5793 96914 246430 | 39088 21998 83 | 1.093 % | c | 22223 | 5793 96914 246430 | 42997 22223 83 | 1.093 % | c | 22560 | 5793 96914 246430 | 47297 22560 83 | 1.093 % | c | 23066 | 5793 96914 246430 | 52026 23066 83 | 1.093 % | c | 23826 | 5793 96914 246430 | 57229 23826 84 | 1.093 % | c | 24965 | 5793 96914 246430 | 62952 24965 85 | 1.093 % | c | 26673 | 5793 96914 246430 | 69247 26673 86 | 1.093 % | c | 29236 | 5793 96914 246430 | 76172 29236 87 | 1.093 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 14.2288 s Remaining CPU time: 165.771 s c =============================================================================== c | 32273 | 5793 96915 246606 | 32305 32273 88 | 1.093 % | c | 32374 | 5793 96915 246606 | 35535 32374 88 | 1.093 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 14.3508 s Remaining CPU time: 165.649 s c =============================================================================== c | 32421 | 5793 96916 246782 | 32305 32421 88 | 1.093 % | c | 32521 | 5793 96916 246782 | 35535 13240 85 | 1.093 % | c | 32672 | 5793 96916 246782 | 39089 13391 85 | 1.093 % | c | 32897 | 5793 96916 246782 | 42998 13616 85 | 1.093 % | c | 33234 | 5793 96916 246782 | 47298 13953 85 | 1.093 % | c | 33740 | 5793 96916 246782 | 52028 14459 85 | 1.093 % | c | 34500 | 5793 96916 246782 | 57230 15219 86 | 1.093 % | c | 35641 | 5793 96916 246782 | 62953 16360 86 | 1.093 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 15.7606 s Remaining CPU time: 164.239 s c =============================================================================== c | 35784 | 5793 96917 246958 | 32305 16503 86 | 1.093 % | c | 35885 | 5793 96917 246958 | 35536 16604 86 | 1.093 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 15.9016 s Remaining CPU time: 164.098 s c =============================================================================== c | 36019 | 5793 96918 247134 | 32306 16738 86 | 1.093 % | c | 36119 | 5793 96918 247134 | 35536 16838 86 | 1.093 % | c | 36269 | 5793 96918 247134 | 39090 16988 86 | 1.093 % | c | 36496 | 5793 96918 247134 | 42999 17215 86 | 1.093 % | c | 36834 | 5793 96918 247134 | 47299 17553 86 | 1.093 % | c | 37340 | 5793 96918 247134 | 52029 18059 87 | 1.093 % | c | 38099 | 5793 96918 247134 | 57232 18818 87 | 1.093 % | c | 39238 | 5793 96918 247134 | 62955 19957 87 | 1.093 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 17.1634 s Remaining CPU time: 162.837 s c =============================================================================== c | 39941 | 5793 96919 247310 | 32306 20660 87 | 1.093 % | c | 40041 | 5793 96919 247310 | 35536 20760 87 | 1.093 % | c | 40192 | 5793 96919 247310 | 39090 20911 87 | 1.093 % | c | 40418 | 5793 96919 247310 | 42999 21137 87 | 1.093 % | c | 40756 | 5793 96919 247310 | 47299 21475 87 | 1.093 % | c | 41262 | 5793 96919 247310 | 52029 21981 87 | 1.093 % | c | 42021 | 5793 96919 247310 | 57232 22740 87 | 1.093 % | c | 43161 | 5793 96919 247310 | 62955 23880 87 | 1.093 % | c | 44869 | 5793 96919 247310 | 69251 25588 87 | 1.093 % | c | 47432 | 5793 96919 247310 | 76176 28151 87 | 1.093 % | c | 51276 | 5793 96919 247310 | 83794 31995 87 | 1.093 % | c | 57043 | 5793 96919 247310 | 92173 37762 87 | 1.093 % | c | 65693 | 5793 96919 247310 | 101391 46412 87 | 1.093 % | c | 78667 | 5793 96919 247310 | 111530 59386 88 | 1.093 % | c | 98128 | 5793 96919 247310 | 122683 78847 87 | 1.093 % | c | 127320 | 5793 96919 247310 | 134951 108039 88 | 1.093 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 106.204 s Remaining CPU time: 73.7961 s c =============================================================================== c | 149380 | 5793 96920 247486 | 32306 130099 88 | 1.093 % | c | 149482 | 5793 96920 247486 | 35537 14020 83 | 1.093 % | c | 149632 | 5793 96920 247486 | 39091 14170 83 | 1.093 % | c | 149858 | 5793 96920 247486 | 43000 14396 83 | 1.093 % | c | 150196 | 5793 96920 247486 | 47300 14734 83 | 1.093 % | c | 150702 | 5793 96920 247486 | 52030 15240 83 | 1.093 % | c | 151461 | 5793 96920 247486 | 57233 15999 83 | 1.093 % | c | 152602 | 5793 96920 247486 | 62956 17140 83 | 1.093 % | c | 154310 | 5793 96920 247486 | 69252 18848 84 | 1.093 % | c | 156873 | 5793 96920 247486 | 76177 21411 84 | 1.093 % | c | 160718 | 5793 96920 247486 | 83795 25256 84 | 1.093 % | c | 166485 | 5793 96920 247486 | 92174 31023 84 | 1.093 % | c | 175134 | 5793 96920 247486 | 101392 39672 84 | 1.093 % | c | 188109 | 5793 96920 247486 | 111531 52647 85 | 1.093 % | c | 207570 | 5793 96920 247486 | 122684 72108 86 | 1.093 % | c | 236763 | 5793 96920 247486 | 134952 101301 85 | 1.093 % | c There are 64 assigned variables. 64 in cost function. c Memory used : 122.12 MB c CPU time : 180.363 s c c Total CPU time: 180.363 s