c wbo 1.4 beta - 20100610 c | Number of variables: 3036 | c | Number of clauses: 8851 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.01 s | c | Number Variables: 3036 | c | Number Clauses: 8203 | 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 | 2760 8330 22652 | 5000 0 nan | 0.000 % | c | 100 | 2760 8330 22652 | 5500 100 22 | 9.091 % | c | 250 | 2760 8330 22652 | 6050 250 37 | 9.091 % | c | 478 | 2760 8330 22652 | 6655 478 37 | 9.091 % | c | 819 | 2760 8330 22652 | 7320 819 47 | 9.091 % | c | 1329 | 2760 8330 22652 | 8052 1329 44 | 9.091 % | c | 2089 | 2760 8330 22652 | 8857 2089 45 | 9.091 % | c | 3229 | 2760 8330 22652 | 9743 3229 61 | 9.091 % | c | 4939 | 2760 8330 22652 | 10717 4939 61 | 9.091 % | c | 7501 | 2760 8330 22652 | 11789 7501 64 | 9.091 % | c | 11345 | 2760 8330 22652 | 12968 11345 62 | 9.091 % | c | 17115 | 2760 8330 22652 | 14265 10416 87 | 9.091 % | c | 25764 | 2760 8330 22652 | 15692 11690 109 | 9.091 % | c | 38742 | 2760 8330 22652 | 17261 8570 77 | 9.091 % | c | 58205 | 2760 8330 22652 | 18987 10331 57 | 9.091 % | c | 87397 | 2760 8330 22652 | 20886 10288 63 | 9.091 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 27.4328 s Remaining CPU time: 152.567 s c =============================================================================== c | 100980 | 2758 8331 23178 | 5000 13227 68 | 9.091 % | c | 101082 | 2758 8331 23178 | 5500 3409 59 | 9.157 % | c | 101233 | 2758 8331 23178 | 6050 3560 59 | 9.157 % | c | 101458 | 2758 8331 23178 | 6655 3785 59 | 9.157 % | c | 101795 | 2758 8331 23178 | 7320 4122 59 | 9.157 % | c | 102303 | 2758 8331 23178 | 8052 4630 59 | 9.157 % | c | 103062 | 2758 8331 23178 | 8857 5389 60 | 9.157 % | c | 104202 | 2758 8331 23178 | 9743 6529 64 | 9.157 % | c | 105910 | 2758 8331 23178 | 10717 8237 67 | 9.157 % | c | 108473 | 2758 8331 23178 | 11789 10800 71 | 9.157 % | c | 112320 | 2756 8331 23178 | 12968 8464 83 | 9.223 % | c | 118087 | 2753 8331 23178 | 14265 7482 82 | 9.321 % | c | 126736 | 2752 8331 23178 | 15692 8751 94 | 9.354 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 33.041 s Remaining CPU time: 146.959 s c =============================================================================== c | 130803 | 2752 8332 23704 | 5000 12818 90 | 9.354 % | c | 130904 | 2752 8332 23704 | 5500 3306 65 | 9.354 % | c | 131055 | 2751 8332 23704 | 6050 3457 65 | 9.387 % | c | 131282 | 2751 8332 23704 | 6655 3684 64 | 9.387 % | c | 131619 | 2751 8332 23704 | 7320 4021 66 | 9.387 % | c | 132126 | 2751 8332 23704 | 8052 4524 65 | 9.387 % | c | 132885 | 2751 8332 23704 | 8857 5283 67 | 9.387 % | c | 134028 | 2751 8332 23704 | 9743 6426 72 | 9.387 % | c | 135736 | 2751 8332 23704 | 10717 8134 72 | 9.387 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 34.0348 s Remaining CPU time: 145.965 s c =============================================================================== c | 137305 | 2750 8333 24230 | 5000 9697 73 | 9.387 % | c | 137406 | 2750 8333 24230 | 5500 4950 67 | 9.420 % | c | 137559 | 2750 8333 24230 | 6050 5103 68 | 9.420 % | c | 137786 | 2750 8333 24230 | 6655 5330 68 | 9.420 % | c | 138123 | 2750 8333 24230 | 7320 5667 69 | 9.420 % | c | 138629 | 2749 8333 24230 | 8052 6173 68 | 9.453 % | c | 139389 | 2749 8333 24230 | 8857 6933 70 | 9.453 % | c | 140528 | 2749 8333 24230 | 9743 8072 70 | 9.453 % | c | 142239 | 2749 8333 24230 | 10717 9783 72 | 9.453 % | c | 144803 | 2747 8333 24230 | 11789 6721 64 | 9.519 % | c | 148648 | 2747 8333 24230 | 12968 10566 71 | 9.519 % | c | 154414 | 2745 8333 24230 | 14265 9629 74 | 9.585 % | c | 163065 | 2745 8333 24230 | 15692 10876 106 | 9.585 % | c | 176039 | 2742 8333 24230 | 17261 15734 88 | 9.684 % | c | 195501 | 2742 8333 24230 | 18987 16825 133 | 9.684 % | c | 224694 | 2742 8333 24230 | 20886 16827 120 | 9.684 % | c | 268483 | 2742 8333 24230 | 22974 17980 105 | 9.684 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 112.822 s Remaining CPU time: 67.1782 s c =============================================================================== c | 327136 | 2742 8334 24756 | 5000 17984 101 | 9.684 % | c | 327241 | 2742 8334 24756 | 5500 4601 93 | 9.684 % | c | 327392 | 2742 8334 24756 | 6050 4752 92 | 9.684 % | c | 327619 | 2742 8334 24756 | 6655 4979 90 | 9.684 % | c | 327957 | 2742 8334 24756 | 7320 5317 89 | 9.684 % | c | 328466 | 2742 8334 24756 | 8052 5826 87 | 9.684 % | c | 329235 | 2742 8334 24756 | 8857 6595 84 | 9.684 % | c | 330375 | 2742 8334 24756 | 9743 7735 83 | 9.684 % | c | 332084 | 2742 8334 24756 | 10717 9444 85 | 9.684 % | c | 334646 | 2742 8334 24756 | 11789 6435 72 | 9.684 % | c | 338490 | 2742 8334 24756 | 12968 10279 73 | 9.684 % | c | 344257 | 2742 8334 24756 | 14265 9273 71 | 9.684 % | c | 352906 | 2742 8334 24756 | 15692 10545 80 | 9.684 % | c | 365881 | 2742 8334 24756 | 17261 15409 99 | 9.684 % | c | 385342 | 2742 8334 24756 | 18987 16598 104 | 9.684 % | c | 414535 | 2742 8334 24756 | 20886 16666 93 | 9.684 % | c | 458325 | 2740 8334 24756 | 22974 17719 86 | 9.750 % | c There are 296 assigned variables. 18 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2206 8653 17094 | 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 | 2220 8656 17184 | 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 | 2239 8657 17445 | 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 | 2255 8658 17569 | 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 | 2421 8666 18570 | 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 | 3063 8697 22271 | 5000 0 nan | 0.000 % | c | 100 | 2987 8697 22271 | 5500 85 17 | 16.377 % | c =============================================================================== c Total CPU time: 182.19 s