c wbo 1.4 beta - 20100610 c | Number of variables: 1123 | c | Number of clauses: 5701 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1123 | c | Number Clauses: 5619 | 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 | 830 5844 14402 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 41 c Elapsed CPU time: 0.769882 s Remaining CPU time: 179.23 s c =============================================================================== c | 22 | 830 5845 14482 | 5000 22 8 | 0.000 % | c | 123 | 830 5845 14482 | 5500 123 33 | 26.091 % | c =============================================================================== c New solution: 33 c Elapsed CPU time: 0.778881 s Remaining CPU time: 179.221 s c =============================================================================== c | 165 | 830 5846 14562 | 5000 165 28 | 26.091 % | c | 265 | 830 5846 14562 | 5500 265 35 | 26.094 % | c | 415 | 830 5846 14562 | 6050 415 36 | 26.091 % | c | 640 | 830 5846 14562 | 6655 640 40 | 26.091 % | c | 978 | 830 5846 14562 | 7320 978 44 | 26.091 % | c | 1484 | 830 5846 14562 | 8052 1484 49 | 26.091 % | c | 2243 | 830 5846 14562 | 8857 2243 54 | 26.091 % | c | 3382 | 830 5846 14562 | 9743 3382 55 | 26.091 % | c | 5090 | 830 5846 14562 | 10717 5090 56 | 26.091 % | c | 7653 | 830 5846 14562 | 11789 7653 57 | 26.091 % | c | 11497 | 830 5846 14562 | 12968 11497 57 | 26.091 % | c | 17263 | 830 5846 14562 | 14265 10582 58 | 26.091 % | c | 25914 | 830 5846 14562 | 15692 11918 58 | 26.091 % | c | 38889 | 830 5846 14562 | 17261 8796 58 | 26.091 % | c | 58350 | 830 5846 14562 | 18987 10599 58 | 26.091 % | c | 87543 | 830 5846 14562 | 20886 10714 58 | 26.091 % | c | 131333 | 830 5846 14562 | 22974 11928 60 | 26.091 % | c | 197017 | 830 5846 14562 | 25272 14720 59 | 26.091 % | c | 295543 | 830 5846 14562 | 27799 24426 59 | 26.091 % | c | 443333 | 830 5846 14562 | 30579 17114 59 | 26.091 % | c There are 293 assigned variables. 2 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 869 5146 14585 | 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 | 877 5150 14610 | 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 | 881 5156 14633 | 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 | 888 5168 14676 | 5000 0 nan | 0.000 % | c | 101 | 887 5168 14676 | 5500 101 8 | 26.451 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 898 5189 14752 | 5000 0 nan | 0.000 % | c | 100 | 897 5189 14752 | 5500 100 10 | 31.168 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 902 5207 14810 | 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 | 912 5219 14859 | 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 | 922 5230 14905 | 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 | 932 5243 14957 | 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 | 936 5259 15010 | 5000 0 nan | 0.000 % | c | 100 | 936 5259 15010 | 5500 100 19 | 25.359 % | c | 251 | 928 5259 15010 | 6050 251 19 | 26.479 % | c | 476 | 922 5259 15010 | 6655 474 23 | 26.475 % | c | 814 | 922 5259 15010 | 7320 812 31 | 26.476 % | c | 1320 | 922 5259 15010 | 8052 1318 30 | 26.476 % | c | 2079 | 922 5259 15010 | 8857 2077 33 | 26.475 % | c | 3218 | 922 5259 15010 | 9743 3216 32 | 26.475 % | c | 4927 | 922 5259 15010 | 10717 4925 32 | 26.475 % | c | 7489 | 922 5259 15010 | 11789 7487 31 | 26.475 % | c | 11333 | 922 5259 15010 | 12968 11331 31 | 26.476 % | c | 17099 | 919 5259 15010 | 14265 7473 30 | 26.715 % | c | 25748 | 912 5259 15010 | 15692 11555 29 | 27.512 % | c =============================================================================== c Total CPU time: 189.211 s