c wbo 1.4 beta - 20100610 c | Number of variables: 3036 | c | Number of clauses: 8853 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.01 s | c | Number Variables: 3036 | c | Number Clauses: 8205 | 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 | 2786 8316 22690 | 5000 0 nan | 0.000 % | c | 101 | 2786 8316 22690 | 5500 101 24 | 8.235 % | c | 253 | 2786 8316 22690 | 6050 253 31 | 8.235 % | c | 481 | 2786 8316 22690 | 6655 481 37 | 8.235 % | c | 818 | 2786 8316 22690 | 7320 818 56 | 8.235 % | c | 1324 | 2786 8316 22690 | 8052 1324 61 | 8.235 % | c | 2085 | 2786 8316 22690 | 8857 2085 63 | 8.235 % | c | 3225 | 2786 8316 22690 | 9743 3225 59 | 8.235 % | c | 4935 | 2786 8316 22690 | 10717 4935 55 | 8.235 % | c | 7497 | 2786 8316 22690 | 11789 7497 55 | 8.235 % | c | 11342 | 2786 8316 22690 | 12968 11342 56 | 8.235 % | c | 17109 | 2786 8316 22690 | 14265 10433 64 | 8.235 % | c | 25759 | 2786 8316 22690 | 15692 11611 81 | 8.235 % | c | 38733 | 2786 8316 22690 | 17261 8439 88 | 8.235 % | c | 58196 | 2786 8316 22690 | 18987 10246 98 | 8.235 % | c | 87390 | 2786 8316 22690 | 20886 10230 86 | 8.235 % | c | 131179 | 2786 8316 22690 | 22974 11406 87 | 8.235 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 48.9336 s Remaining CPU time: 131.066 s c =============================================================================== c | 155843 | 2786 8317 23219 | 5000 12547 122 | 8.235 % | c | 155944 | 2786 8317 23219 | 5500 3238 69 | 8.235 % | c | 156095 | 2786 8317 23219 | 6050 3389 69 | 8.235 % | c | 156329 | 2786 8317 23219 | 6655 3623 70 | 8.235 % | c | 156666 | 2786 8317 23219 | 7320 3960 69 | 8.235 % | c | 157172 | 2786 8317 23219 | 8052 4466 68 | 8.235 % | c | 157932 | 2786 8317 23219 | 8857 5226 66 | 8.235 % | c | 159072 | 2786 8317 23219 | 9743 6366 65 | 8.235 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 49.4705 s Remaining CPU time: 130.53 s c =============================================================================== c | 159506 | 2786 8318 23748 | 5000 6800 66 | 8.235 % | c | 159606 | 2786 8318 23748 | 5500 3500 51 | 8.235 % | c | 159757 | 2786 8318 23748 | 6050 3651 52 | 8.235 % | c | 159985 | 2786 8318 23748 | 6655 3879 51 | 8.235 % | c | 160323 | 2786 8318 23748 | 7320 4217 52 | 8.235 % | c | 160830 | 2786 8318 23748 | 8052 4724 53 | 8.235 % | c | 161593 | 2786 8318 23748 | 8857 5487 53 | 8.235 % | c | 162739 | 2786 8318 23748 | 9743 6633 56 | 8.235 % | c | 164451 | 2786 8318 23748 | 10717 8345 59 | 8.235 % | c | 167013 | 2786 8318 23748 | 11789 10907 67 | 8.235 % | c | 170860 | 2786 8318 23748 | 12968 8586 83 | 8.235 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 51.8311 s Remaining CPU time: 128.169 s c =============================================================================== c | 173689 | 2786 8319 24277 | 5000 11415 81 | 8.235 % | c | 173790 | 2786 8319 24277 | 5500 2955 59 | 8.235 % | c | 173941 | 2786 8319 24277 | 6050 3106 58 | 8.235 % | c | 174167 | 2786 8319 24277 | 6655 3332 58 | 8.235 % | c | 174506 | 2786 8319 24277 | 7320 3671 57 | 8.235 % | c | 175014 | 2786 8319 24277 | 8052 4179 57 | 8.235 % | c | 175773 | 2786 8319 24277 | 8857 4938 58 | 8.235 % | c | 176912 | 2786 8319 24277 | 9743 6077 59 | 8.235 % | c | 178623 | 2786 8319 24277 | 10717 7788 68 | 8.235 % | c | 181187 | 2786 8319 24277 | 11789 10352 80 | 8.235 % | c | 185032 | 2786 8319 24277 | 12968 8081 96 | 8.235 % | c | 190799 | 2786 8319 24277 | 14265 7197 75 | 8.235 % | c | 199448 | 2786 8319 24277 | 15692 8446 86 | 8.235 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 59.6499 s Remaining CPU time: 120.35 s c =============================================================================== c | 205777 | 2786 8320 24806 | 5000 14775 81 | 8.235 % | c | 205878 | 2786 8320 24806 | 5500 3795 72 | 8.235 % | c | 206029 | 2786 8320 24806 | 6050 3946 71 | 8.235 % | c | 206255 | 2786 8320 24806 | 6655 4172 69 | 8.235 % | c | 206593 | 2786 8320 24806 | 7320 4510 67 | 8.235 % | c | 207101 | 2786 8320 24806 | 8052 5018 66 | 8.235 % | c | 207863 | 2786 8320 24806 | 8857 5780 67 | 8.235 % | c | 209002 | 2786 8320 24806 | 9743 6919 65 | 8.235 % | c | 210712 | 2786 8320 24806 | 10717 8629 66 | 8.235 % | c | 213274 | 2786 8320 24806 | 11789 5626 62 | 8.235 % | c | 217119 | 2786 8320 24806 | 12968 9471 73 | 8.235 % | c | 222887 | 2786 8320 24806 | 14265 8562 89 | 8.235 % | c | 231540 | 2786 8320 24806 | 15692 9888 63 | 8.235 % | c | 244514 | 2786 8320 24806 | 17261 14564 82 | 8.235 % | c | 263975 | 2786 8320 24806 | 18987 16388 75 | 8.235 % | c | 293169 | 2786 8320 24806 | 20886 15917 63 | 8.235 % | c | 336961 | 2786 8320 24806 | 22974 17178 86 | 8.235 % | c | 402646 | 2786 8320 24806 | 25272 12368 64 | 8.235 % | c There are 250 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 | 2075 8849 17489 | 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 | 2107 8852 17702 | 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 | 2500 8858 18958 | 5000 0 nan | 0.000 % | c =============================================================================== c Total CPU time: 182.047 s