c wbo 1.4 beta - 20100610 c | Number of variables: 200 | c | Number of clauses: 2190 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 200 | c | Number Clauses: 1990 | 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 | 200 1990 3980 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 0 | 200 1991 4180 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 1 | 200 1992 4380 | 5000 1 160 | 0.000 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 6 | 200 1993 4580 | 5000 6 158 | 0.000 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 6 | 200 1994 4780 | 5000 6 158 | 0.000 % | c | 106 | 200 1994 4780 | 5500 106 153 | 0.040 % | c | 256 | 200 1994 4780 | 6050 256 151 | 0.075 % | c | 482 | 200 1994 4780 | 6655 482 151 | 0.085 % | c | 820 | 200 1994 4780 | 7320 820 151 | 0.053 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 820 | 200 1995 4980 | 5000 820 151 | 0.053 % | c | 920 | 200 1995 4980 | 5500 920 150 | 0.043 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 1016 | 200 1996 5180 | 5000 1016 150 | 0.043 % | c | 1116 | 200 1996 5180 | 5500 1116 150 | 0.045 % | c | 1266 | 200 1996 5180 | 6050 1266 150 | 0.040 % | c | 1491 | 200 1996 5180 | 6655 1491 149 | 0.073 % | c | 1829 | 200 1996 5180 | 7320 1829 148 | 0.055 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s c =============================================================================== c | 1829 | 200 1997 5380 | 5000 1829 148 | 0.055 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s c =============================================================================== c | 1829 | 200 1998 5580 | 5000 1829 148 | 0.055 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 1915 | 200 1999 5780 | 5000 1915 148 | 0.055 % | c | 2015 | 200 1999 5780 | 5500 2015 148 | 0.048 % | c | 2166 | 200 1999 5780 | 6050 2166 147 | 0.090 % | c | 2391 | 200 1999 5780 | 6655 2391 147 | 0.063 % | c | 2728 | 200 1999 5780 | 7320 2728 146 | 0.053 % | c | 3234 | 200 1999 5780 | 8052 3234 145 | 0.040 % | c | 3994 | 200 1999 5780 | 8857 3994 145 | 0.050 % | c | 5134 | 200 1999 5780 | 9743 5134 144 | 0.055 % | c | 6842 | 200 1999 5780 | 10717 6842 143 | 0.045 % | c | 9404 | 200 1999 5780 | 11789 9404 143 | 0.073 % | c | 13249 | 200 1999 5780 | 12968 7284 141 | 0.060 % | c | 19016 | 200 1999 5780 | 14265 13051 142 | 0.055 % | c | 27665 | 200 1999 5780 | 15692 7281 141 | 0.053 % | c | 40640 | 200 1999 5780 | 17261 12340 141 | 0.073 % | c | 60101 | 200 1999 5780 | 18987 14401 140 | 0.058 % | c | 89293 | 200 1999 5780 | 20886 14887 142 | 0.080 % | c | 133082 | 200 1999 5780 | 22974 16626 140 | 0.073 % | c | 198766 | 200 1999 5780 | 25272 20335 144 | 0.085 % | c | 297292 | 200 1999 5780 | 27799 16735 144 | 0.050 % | c | 445082 | 200 1999 5780 | 30579 11669 144 | 0.053 % | 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 | 432 2288 6644 | 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 | 439 2289 6658 | 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 | 444 2290 6668 | 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 | 449 2291 6678 | 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 | 456 2292 6692 | 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 | 466 2293 6712 | 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 | 474 2294 6728 | 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 | 482 2295 6744 | 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 | 490 2296 6760 | 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 | 504 2297 6788 | 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 | 510 2298 6800 | 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 | 522 2299 6824 | 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 | 530 2300 6840 | 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 | 536 2301 6852 | 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 | 550 2302 6880 | 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 | 558 2303 6896 | 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 | 568 2304 6916 | 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 | 579 2305 6938 | 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 | 595 2306 6970 | 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 | 612 2307 7004 | 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 | 639 2308 7058 | 5000 0 nan | 0.000 % | c | 101 | 639 2308 7058 | 5500 101 11 | 0.163 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 711 2309 7202 | 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 | 746 2310 7272 | 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 | 775 2311 7330 | 5000 0 nan | 0.000 % | c | 100 | 775 2311 7330 | 5500 100 31 | 0.003 % | c | 252 | 775 2311 7330 | 6050 252 22 | 0.000 % | c | 477 | 775 2311 7330 | 6655 477 20 | 0.000 % | c | 814 | 775 2311 7330 | 7320 814 19 | 0.000 % | c | 1320 | 744 2311 7330 | 8052 479 14 | 4.012 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 865 2312 7510 | 5000 0 nan | 0.000 % | c | 100 | 865 2312 7510 | 5500 100 26 | 0.003 % | c | 253 | 865 2312 7510 | 6050 253 28 | 0.004 % | c | 480 | 865 2312 7510 | 6655 480 26 | 0.000 % | c | 818 | 865 2312 7510 | 7320 818 23 | 0.000 % | c | 1324 | 865 2312 7510 | 8052 1324 23 | 0.003 % | c | 2083 | 865 2312 7510 | 8857 2083 26 | 0.000 % | c | 3222 | 865 2312 7510 | 9743 3222 25 | 0.000 % | c | 4931 | 865 2312 7510 | 10717 4931 27 | 0.003 % | c | 7494 | 865 2312 7510 | 11789 7494 59 | 0.000 % | c | 11338 | 864 2312 7510 | 12968 11334 86 | 0.116 % | c | 17105 | 864 2312 7510 | 14265 10536 137 | 0.119 % | c | 25754 | 864 2312 7510 | 15692 11965 137 | 0.117 % | c | 38728 | 864 2312 7510 | 17261 9090 138 | 0.124 % | c | 58190 | 864 2312 7510 | 18987 11153 136 | 0.118 % | c | 87383 | 864 2312 7510 | 20886 11612 137 | 0.121 % | c | 131172 | 863 2312 7510 | 22974 13322 136 | 0.238 % |