c wbo 1.4 beta - 20100610 c | Number of variables: 770 | c | Number of clauses: 1819 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 770 | c | Number Clauses: 1188 | 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 | 751 1188 14309 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 1 | 751 1189 14940 | 5000 1 19 | 0.000 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 4 | 751 1190 15571 | 5000 4 11 | 0.000 % | c | 104 | 751 1190 15571 | 5500 104 114 | 2.468 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 107 | 751 1191 16202 | 5000 107 112 | 2.468 % | c | 208 | 751 1191 16202 | 5500 208 107 | 2.468 % | c | 359 | 751 1191 16202 | 6050 359 98 | 2.470 % | c | 584 | 751 1191 16202 | 6655 584 102 | 2.468 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 585 | 751 1192 16833 | 5000 585 102 | 2.468 % | c | 686 | 751 1192 16833 | 5500 686 102 | 2.468 % | c | 837 | 751 1192 16833 | 6050 837 99 | 2.468 % | c | 1063 | 751 1192 16833 | 6655 1063 102 | 2.468 % | c | 1402 | 751 1192 16833 | 7320 1402 105 | 2.468 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 0.215967 s Remaining CPU time: 179.784 s c =============================================================================== c | 1409 | 751 1193 17464 | 5000 1409 104 | 2.468 % | c | 1510 | 751 1193 17464 | 5500 1510 103 | 2.468 % | c | 1660 | 751 1193 17464 | 6050 1660 103 | 2.468 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 0.254961 s Remaining CPU time: 179.745 s c =============================================================================== c | 1660 | 751 1194 18095 | 5000 1660 103 | 2.468 % | c | 1761 | 751 1194 18095 | 5500 1761 104 | 2.468 % | c | 1912 | 751 1194 18095 | 6050 1912 102 | 2.468 % | c | 2138 | 751 1194 18095 | 6655 2138 104 | 2.468 % | c | 2478 | 751 1194 18095 | 7320 2478 102 | 2.468 % | c | 2984 | 751 1194 18095 | 8052 2984 100 | 2.468 % | c | 3743 | 751 1194 18095 | 8857 3743 98 | 2.468 % | c | 4884 | 751 1194 18095 | 9743 4884 106 | 2.468 % | c | 6593 | 751 1194 18095 | 10717 6593 100 | 2.468 % | c | 9155 | 751 1194 18095 | 11789 9155 97 | 2.468 % | c | 13000 | 751 1194 18095 | 12968 6875 93 | 2.468 % | c | 18766 | 751 1194 18095 | 14265 12641 89 | 2.468 % | c | 27415 | 751 1194 18095 | 15692 13891 91 | 2.468 % | c | 40390 | 751 1194 18095 | 17261 10684 122 | 2.468 % | c | 59851 | 751 1194 18095 | 18987 12387 97 | 2.468 % | c | 89044 | 751 1194 18095 | 20886 12284 97 | 2.468 % | c | 132836 | 751 1194 18095 | 22974 12974 99 | 2.468 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 39.8029 s Remaining CPU time: 140.197 s c =============================================================================== c | 156912 | 751 1195 18726 | 5000 11598 107 | 2.468 % | c | 157012 | 751 1195 18726 | 5500 3000 104 | 2.468 % | c | 157162 | 751 1195 18726 | 6050 3150 103 | 2.468 % | c | 157388 | 751 1195 18726 | 6655 3376 103 | 2.472 % | c | 157727 | 751 1195 18726 | 7320 3715 104 | 2.468 % | c | 158234 | 751 1195 18726 | 8052 4222 102 | 2.468 % | c | 158993 | 751 1195 18726 | 8857 4981 101 | 2.468 % | c | 160132 | 751 1195 18726 | 9743 6120 98 | 2.468 % | c | 161841 | 751 1195 18726 | 10717 7829 96 | 2.468 % | c | 164403 | 751 1195 18726 | 11789 10391 98 | 2.468 % | c | 168247 | 751 1195 18726 | 12968 8072 95 | 2.468 % | c | 174013 | 751 1195 18726 | 14265 7112 87 | 2.468 % | c | 182662 | 751 1195 18726 | 15692 8380 100 | 2.468 % | c | 195638 | 751 1195 18726 | 17261 13265 99 | 2.468 % | c | 215100 | 751 1195 18726 | 18987 14940 92 | 2.468 % | c | 244294 | 751 1195 18726 | 20886 14757 124 | 2.468 % | c | 288084 | 751 1195 18726 | 22974 15527 94 | 2.468 % | c | 353768 | 751 1195 18726 | 25272 19279 94 | 2.468 % | c | 452295 | 751 1195 18726 | 27799 15509 91 | 2.468 % | c | 600084 | 751 1195 18726 | 30579 14104 112 | 2.468 % | c There are 19 assigned variables. 19 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 709 1845 10818 | 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 | 736 1846 10879 | 5000 0 nan | 0.000 % | c | 100 | 733 1846 10879 | 5500 100 17 | 35.397 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 813 1847 11110 | 5000 0 nan | 0.000 % | c | 101 | 813 1847 11110 | 5500 101 26 | 28.684 % | c | 252 | 813 1847 11110 | 6050 252 29 | 28.684 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 946 1848 13723 | 5000 0 nan | 0.000 % | c | 100 | 946 1848 13723 | 5500 100 30 | 21.754 % | c | 251 | 946 1848 13723 | 6050 251 32 | 21.754 % | c | 476 | 946 1848 13723 | 6655 476 31 | 21.754 % | c | 813 | 944 1848 13723 | 7320 811 29 | 21.919 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1019 1849 13878 | 5000 0 nan | 0.000 % | c | 102 | 1019 1849 13878 | 5500 102 35 | 20.391 % | c | 252 | 1019 1849 13878 | 6050 252 38 | 20.391 % | c | 481 | 1019 1849 13878 | 6655 481 43 | 20.391 % | c | 820 | 1019 1849 13878 | 7320 820 45 | 20.391 % | c | 1326 | 1019 1849 13878 | 8052 1326 48 | 20.391 % | c | 2087 | 1019 1849 13878 | 8857 2087 48 | 20.391 % | c | 3226 | 1019 1849 13878 | 9743 3226 51 | 20.391 % | c | 4940 | 1019 1849 13878 | 10717 4940 51 | 20.391 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1090 1852 14025 | 5000 0 nan | 0.000 % | c | 100 | 1090 1852 14025 | 5500 100 40 | 19.319 % | c | 253 | 1090 1852 14025 | 6050 253 39 | 19.319 % | c | 479 | 1090 1852 14025 | 6655 479 46 | 19.319 % | c | 819 | 1090 1852 14025 | 7320 819 56 | 19.319 % | c | 1328 | 1090 1852 14025 | 8052 1328 59 | 19.319 % | c | 2088 | 1090 1852 14025 | 8857 2088 58 | 19.319 % | c | 3232 | 1090 1852 14025 | 9743 3232 54 | 19.319 % | c | 4941 | 1090 1852 14025 | 10717 4941 60 | 19.319 % | c | 7504 | 1090 1852 14025 | 11789 7504 56 | 19.319 % | c | 11349 | 1084 1852 14025 | 12968 11341 54 | 19.764 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1198 1854 14262 | 5000 0 nan | 0.000 % | c | 106 | 1198 1854 14262 | 5500 106 60 | 17.550 % | c | 261 | 1198 1854 14262 | 6050 261 48 | 17.550 % | c | 486 | 1198 1854 14262 | 6655 486 52 | 17.550 % | c | 825 | 1198 1854 14262 | 7320 825 52 | 17.550 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1315 1855 15585 | 5000 0 nan | 0.000 % | c | 100 | 1315 1855 15585 | 5500 100 53 | 13.714 % | c | 251 | 1315 1855 15585 | 6050 251 37 | 13.714 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1507 1856 16678 | 5000 0 nan | 0.000 % | c | 100 | 1507 1856 16678 | 5500 100 55 | 10.030 % | c | 250 | 1507 1856 16678 | 6050 250 62 | 10.030 % | c | 475 | 1507 1856 16678 | 6655 475 57 | 10.030 % | c | 813 | 1504 1856 16678 | 7320 812 54 | 10.270 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1765 1857 20053 | 5000 0 nan | 0.000 % | c | 100 | 1765 1857 20053 | 5500 100 69 | 5.260 % | c | 250 | 1765 1857 20053 | 6050 250 70 | 5.260 % | c | 476 | 1765 1857 20053 | 6655 476 60 | 5.260 % | c | 813 | 1765 1857 20053 | 7320 813 58 | 5.260 % | c | 1319 | 1765 1857 20053 | 8052 1319 63 | 5.260 % | c | 2078 | 1765 1857 20053 | 8857 2078 81 | 5.260 % | c | 3217 | 1765 1857 20053 | 9743 3217 94 | 5.260 % | c | 4925 | 1765 1857 20053 | 10717 4925 109 | 5.260 % | c | 7487 | 1765 1857 20053 | 11789 7487 106 | 5.260 % | c | 11333 | 1765 1857 20053 | 12968 11333 110 | 5.260 % | c | 17099 | 1765 1857 20053 | 14265 10552 117 | 5.260 % | c | 25751 | 1764 1857 20053 | 15692 11860 111 | 5.314 % | c =============================================================================== c Total CPU time: 192.935 s