c wbo 1.4 beta - 20100610 c | Number of variables: 5060 | c | Number of clauses: 20725 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.01 s | c | Number Variables: 5060 | c | Number Clauses: 20188 | 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 | 5014 20205 52049 | 6729 0 nan | 0.000 % | c =============================================================================== c New solution: 40 c Elapsed CPU time: 6.61199 s Remaining CPU time: 173.388 s c =============================================================================== c | 2 | 5014 20206 52586 | 6735 2 84 | 0.000 % | c =============================================================================== c New solution: 39 c Elapsed CPU time: 6.62199 s Remaining CPU time: 173.378 s c =============================================================================== c | 23 | 5014 20207 53123 | 6735 23 77 | 0.000 % | c | 123 | 5014 20207 53123 | 7409 123 83 | 0.909 % | c | 275 | 5014 20207 53123 | 8150 275 74 | 0.910 % | c | 501 | 5014 20207 53123 | 8965 501 85 | 0.910 % | c | 840 | 5014 20207 53123 | 9861 840 118 | 0.909 % | c | 1347 | 5014 20207 53123 | 10847 1347 150 | 0.910 % | c | 2108 | 5014 20207 53123 | 11932 2108 123 | 0.910 % | c | 3247 | 5014 20207 53123 | 13125 3247 137 | 0.910 % | c =============================================================================== c New solution: 38 c Elapsed CPU time: 8.87365 s Remaining CPU time: 171.126 s c =============================================================================== c | 3840 | 5014 20208 53660 | 6736 3840 152 | 0.910 % | c | 3940 | 5014 20208 53660 | 7409 3940 152 | 0.910 % | c | 4090 | 5014 20208 53660 | 8150 4090 149 | 0.910 % | c | 4316 | 5014 20208 53660 | 8965 4316 150 | 0.909 % | c | 4654 | 5014 20208 53660 | 9862 4654 146 | 0.909 % | c =============================================================================== c New solution: 37 c Elapsed CPU time: 9.47256 s Remaining CPU time: 170.527 s c =============================================================================== c | 5035 | 5014 20209 54197 | 6736 5035 149 | 0.909 % | c | 5135 | 5014 20209 54197 | 7409 5135 148 | 0.910 % | c | 5285 | 5014 20209 54197 | 8150 5285 147 | 0.910 % | c | 5510 | 5014 20209 54197 | 8966 5510 146 | 0.910 % | c | 5847 | 5014 20209 54197 | 9862 5847 143 | 0.910 % | c | 6353 | 5014 20209 54197 | 10848 6353 138 | 0.910 % | c | 7114 | 5014 20209 54197 | 11933 7114 140 | 0.910 % | c | 8254 | 5014 20209 54197 | 13127 8254 134 | 0.909 % | c | 9962 | 5014 20209 54197 | 14439 9962 125 | 0.910 % | c | 12524 | 5014 20209 54197 | 15883 12524 123 | 0.910 % | c | 16368 | 5014 20209 54197 | 17472 16368 116 | 0.910 % | c | 22134 | 5014 20209 54197 | 19219 12136 171 | 0.910 % | c | 30783 | 5014 20209 54197 | 21141 20785 147 | 0.909 % | c =============================================================================== c New solution: 36 c Elapsed CPU time: 30.5953 s Remaining CPU time: 149.405 s c =============================================================================== c | 37950 | 5014 20210 54734 | 6736 15111 139 | 0.909 % | c | 38050 | 5014 20210 54734 | 7410 3878 176 | 0.910 % | c | 38201 | 5014 20210 54734 | 8151 4029 172 | 0.910 % | c | 38426 | 5014 20210 54734 | 8966 4254 169 | 0.910 % | c | 38765 | 5014 20210 54734 | 9863 4593 162 | 0.910 % | c | 39273 | 5014 20210 54734 | 10849 5101 156 | 0.909 % | c | 40035 | 5014 20210 54734 | 11934 5863 147 | 0.910 % | c | 41177 | 5014 20210 54734 | 13127 7005 142 | 0.910 % | c | 42885 | 5014 20210 54734 | 14440 8713 132 | 0.910 % | c =============================================================================== c New solution: 35 c Elapsed CPU time: 33.8219 s Remaining CPU time: 146.178 s c =============================================================================== c | 44284 | 5014 20211 55271 | 6737 10112 133 | 0.910 % | c | 44384 | 5014 20211 55271 | 7410 5156 109 | 0.910 % | c | 44535 | 5014 20211 55271 | 8151 5307 109 | 0.910 % | c | 44760 | 5014 20211 55271 | 8966 5532 107 | 0.910 % | c | 45097 | 5014 20211 55271 | 9863 5869 106 | 0.910 % | c | 45603 | 5014 20211 55271 | 10850 6375 104 | 0.910 % | c | 46362 | 5014 20211 55271 | 11935 7134 106 | 0.910 % | c | 47502 | 4975 20211 55271 | 13128 5259 103 | 1.681 % | c | 49210 | 4975 20211 55271 | 14441 6967 98 | 1.681 % | c | 51772 | 4975 20211 55271 | 15885 9529 95 | 1.681 % | c | 55617 | 4975 20211 55271 | 17474 13374 93 | 1.681 % | c =============================================================================== c Total CPU time: 42.6445 s