c wbo 1.4 beta - 20100610 c | Number of variables: 294 | c | Number of clauses: 357 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 294 | c | Number Clauses: 100 | 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 | 294 100 1120 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 32 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 0 | 294 101 1377 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 31 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 4 | 294 102 1634 | 5000 4 52 | 0.000 % | c | 105 | 294 102 1634 | 5500 105 50 | 0.001 % | c | 256 | 294 102 1634 | 6050 256 54 | 0.001 % | c | 483 | 294 102 1634 | 6655 483 52 | 0.001 % | c | 820 | 294 102 1634 | 7320 820 51 | 0.001 % | c | 1327 | 294 102 1634 | 8052 1327 50 | 0.001 % | c | 2087 | 294 102 1634 | 8857 2087 51 | 0.001 % | c | 3226 | 294 102 1634 | 9743 3226 54 | 0.001 % | c | 4935 | 294 102 1634 | 10717 4935 52 | 0.001 % | c | 7497 | 294 102 1634 | 11789 7497 52 | 0.001 % | c | 11342 | 294 102 1634 | 12968 11342 52 | 0.001 % | c =============================================================================== c New solution: 30 c Elapsed CPU time: 0.810876 s Remaining CPU time: 179.189 s c =============================================================================== c | 11457 | 294 103 1891 | 5000 11457 52 | 0.001 % | c | 11557 | 294 103 1891 | 5500 2965 54 | 0.001 % | c | 11708 | 294 103 1891 | 6050 3116 53 | 0.001 % | c | 11934 | 294 103 1891 | 6655 3342 53 | 0.001 % | c | 12273 | 294 103 1891 | 7320 3681 53 | 0.001 % | c | 12780 | 294 103 1891 | 8052 4188 52 | 0.001 % | c | 13540 | 294 103 1891 | 8857 4948 52 | 0.001 % | c | 14680 | 294 103 1891 | 9743 6088 51 | 0.001 % | c | 16389 | 294 103 1891 | 10717 7797 53 | 0.001 % | c | 18952 | 294 103 1891 | 11789 10360 52 | 0.001 % | c | 22796 | 294 103 1891 | 12968 8209 52 | 0.001 % | c | 28562 | 294 103 1891 | 14265 7386 54 | 0.001 % | c | 37213 | 294 103 1891 | 15692 8810 51 | 0.001 % | c | 50188 | 294 103 1891 | 17261 13842 47 | 0.001 % | c | 69650 | 294 103 1891 | 18987 15847 51 | 0.001 % | c | 98843 | 294 103 1891 | 20886 16282 55 | 0.001 % | c | 142633 | 294 103 1891 | 22974 17909 49 | 0.001 % | c | 208318 | 294 103 1891 | 25272 22491 47 | 0.001 % | c | 306845 | 294 103 1891 | 27799 20856 49 | 0.001 % | c | 454634 | 294 103 1891 | 30579 17155 48 | 0.001 % | c | 676318 | 294 103 1891 | 33637 25752 48 | 0.001 % | c There are 0 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 | 267 370 2488 | 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 | 374 371 2666 | 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 | 637 372 3117 | 5000 0 nan | 0.000 % | c | 111 | 637 372 3117 | 5500 111 98 | 3.922 % | c | 262 | 637 372 3117 | 6050 262 86 | 3.922 % | c | 487 | 637 372 3117 | 6655 487 88 | 3.922 % | c | 825 | 637 372 3117 | 7320 825 85 | 3.922 % | c | 1334 | 637 372 3117 | 8052 1334 75 | 3.922 % | c | 2094 | 637 372 3117 | 8857 2094 69 | 3.922 % | c | 3234 | 637 372 3117 | 9743 3234 64 | 3.922 % | c | 4942 | 637 372 3117 | 10717 4942 62 | 3.922 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 913 373 3643 | 5000 0 nan | 0.000 % | c | 100 | 913 373 3643 | 5500 100 119 | 0.000 % | c | 250 | 913 373 3643 | 6050 250 96 | 0.000 % | c | 475 | 913 373 3643 | 6655 475 91 | 0.000 % | c | 814 | 913 373 3643 | 7320 814 97 | 0.000 % | c | 1320 | 913 373 3643 | 8052 1320 98 | 0.000 % | c | 2080 | 913 373 3643 | 8857 2080 103 | 0.000 % | c | 3228 | 913 373 3643 | 9743 3228 106 | 0.000 % | c | 4936 | 913 373 3643 | 10717 4936 108 | 0.000 % | c | 7499 | 913 373 3643 | 11789 7499 103 | 0.000 % | c | 11348 | 913 373 3643 | 12968 11348 102 | 0.000 % | c | 17114 | 913 373 3643 | 14265 10520 113 | 0.000 % | c | 25765 | 913 373 3643 | 15692 11979 126 | 0.000 % | c | 38740 | 913 373 3643 | 17261 9160 111 | 0.000 % | c | 58207 | 913 373 3643 | 18987 11171 134 | 0.000 % | c | 87399 | 913 373 3643 | 20886 11541 135 | 0.000 % | c | 131188 | 913 373 3643 | 22974 13003 112 | 0.000 % |