c wbo 1.4 beta - 20100610 c | Number of variables: 1920 | c | Number of clauses: 5575 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1920 | c | Number Clauses: 5143 | 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 | 1754 5214 14134 | 5000 0 nan | 0.000 % | c | 102 | 1754 5214 14134 | 5500 102 19 | 8.646 % | c | 253 | 1754 5214 14134 | 6050 253 26 | 8.646 % | c | 478 | 1754 5214 14134 | 6655 478 24 | 8.646 % | c | 816 | 1754 5214 14134 | 7320 816 29 | 8.646 % | c | 1322 | 1754 5214 14134 | 8052 1322 31 | 8.646 % | c | 2081 | 1754 5214 14134 | 8857 2081 30 | 8.646 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 0.212967 s Remaining CPU time: 179.787 s c =============================================================================== c | 2700 | 1754 5215 14491 | 5000 2700 34 | 8.646 % | c | 2802 | 1754 5215 14491 | 5500 2802 34 | 8.646 % | c | 2954 | 1754 5215 14491 | 6050 2954 34 | 8.646 % | c | 3180 | 1754 5215 14491 | 6655 3180 35 | 8.646 % | c | 3517 | 1754 5215 14491 | 7320 3517 34 | 8.646 % | c | 4024 | 1754 5215 14491 | 8052 4024 35 | 8.646 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 0.353946 s Remaining CPU time: 179.646 s c =============================================================================== c | 4132 | 1754 5216 14848 | 5000 4132 35 | 8.646 % | c | 4233 | 1754 5216 14848 | 5500 4233 36 | 8.646 % | c | 4385 | 1754 5216 14848 | 6050 4385 37 | 8.646 % | c | 4611 | 1754 5216 14848 | 6655 4611 37 | 8.646 % | c | 4952 | 1754 5216 14848 | 7320 4952 38 | 8.646 % | c | 5459 | 1754 5216 14848 | 8052 5459 39 | 8.646 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 0.579911 s Remaining CPU time: 179.42 s c =============================================================================== c | 6091 | 1754 5217 15205 | 5000 6091 40 | 8.646 % | c | 6195 | 1754 5217 15205 | 5500 3150 42 | 8.646 % | c | 6345 | 1754 5217 15205 | 6050 3300 43 | 8.646 % | c | 6570 | 1754 5217 15205 | 6655 3525 43 | 8.646 % | c =============================================================================== c New solution: 50 c Elapsed CPU time: 0.660899 s Remaining CPU time: 179.339 s c =============================================================================== c | 6744 | 1754 5218 15562 | 5000 3699 43 | 8.646 % | c | 6845 | 1754 5218 15562 | 5500 3800 43 | 8.646 % | c | 6999 | 1754 5218 15562 | 6050 3954 43 | 8.646 % | c | 7226 | 1754 5218 15562 | 6655 4181 43 | 8.646 % | c | 7570 | 1754 5218 15562 | 7320 4525 44 | 8.646 % | c | 8077 | 1754 5218 15562 | 8052 5032 44 | 8.646 % | c | 8837 | 1754 5218 15562 | 8857 5792 45 | 8.646 % | c | 9976 | 1754 5218 15562 | 9743 6931 48 | 8.646 % | c | 11684 | 1754 5218 15562 | 10717 8639 48 | 8.646 % | c | 14246 | 1754 5218 15562 | 11789 5694 50 | 8.646 % | c | 18091 | 1754 5218 15562 | 12968 9539 47 | 8.646 % | c | 23858 | 1754 5218 15562 | 14265 8681 62 | 8.646 % | c | 32509 | 1754 5218 15562 | 15692 9796 45 | 8.646 % | c | 45483 | 1754 5218 15562 | 17261 14781 48 | 8.646 % | c | 64944 | 1754 5218 15562 | 18987 16506 58 | 8.646 % | c | 94136 | 1754 5218 15562 | 20886 16303 50 | 8.646 % | c | 137925 | 1754 5218 15562 | 22974 17189 46 | 8.646 % | c =============================================================================== c New solution: 48 c Elapsed CPU time: 32.889 s Remaining CPU time: 147.111 s c =============================================================================== c | 174927 | 1754 5219 15919 | 5000 17301 43 | 8.646 % | c | 175027 | 1754 5219 15919 | 5500 4426 43 | 8.646 % | c | 175177 | 1754 5219 15919 | 6050 4576 43 | 8.646 % | c | 175402 | 1754 5219 15919 | 6655 4801 43 | 8.646 % | c | 175739 | 1754 5219 15919 | 7320 5138 43 | 8.646 % | c | 176245 | 1754 5219 15919 | 8052 5644 42 | 8.646 % | c | 177004 | 1754 5219 15919 | 8857 6403 41 | 8.646 % | c | 178144 | 1754 5219 15919 | 9743 7543 43 | 8.646 % | c | 179852 | 1754 5219 15919 | 10717 9251 44 | 8.646 % | c | 182414 | 1754 5219 15919 | 11789 6329 51 | 8.646 % | c | 186259 | 1754 5219 15919 | 12968 10174 50 | 8.646 % | c | 192025 | 1754 5219 15919 | 14265 9322 49 | 8.646 % | c | 200675 | 1754 5219 15919 | 15692 10408 45 | 8.646 % | c | 213650 | 1754 5219 15919 | 17261 15398 64 | 8.646 % | c | 233111 | 1754 5219 15919 | 18987 16927 46 | 8.646 % | c | 262303 | 1754 5219 15919 | 20886 16696 42 | 8.646 % | c | 306092 | 1754 5219 15919 | 22974 17401 41 | 8.646 % | c | 371777 | 1754 5219 15919 | 25272 19782 48 | 8.646 % | c | 470303 | 1754 5219 15919 | 27799 17141 45 | 8.646 % | c | 618093 | 1754 5219 15919 | 30579 25721 41 | 8.646 % | c There are 166 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1241 5518 10776 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1395 5520 11233 | 5000 0 nan | 0.000 % | c =============================================================================== c Total CPU time: 181.474 s