c wbo 1.4 beta - 20100610 c | Number of variables: 4028 | c | Number of clauses: 11761 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.01 s | c | Number Variables: 4028 | c | Number Clauses: 10921 | 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 | 3672 11090 30180 | 5000 0 nan | 0.000 % | c | 100 | 3672 11090 30180 | 5500 100 24 | 8.838 % | c | 250 | 3672 11090 30180 | 6050 250 34 | 8.838 % | c | 476 | 3672 11090 30180 | 6655 476 40 | 8.838 % | c | 815 | 3671 11090 30180 | 7320 814 40 | 8.863 % | c | 1321 | 3671 11090 30180 | 8052 1320 48 | 8.863 % | c | 2083 | 3671 11090 30180 | 8857 2082 57 | 8.863 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 0.600908 s Remaining CPU time: 179.399 s c =============================================================================== c | 3183 | 3671 11091 30867 | 5000 3182 66 | 8.863 % | c | 3285 | 3671 11091 30867 | 5500 3284 65 | 8.863 % | c | 3437 | 3670 11091 30867 | 6050 3432 65 | 8.888 % | c | 3664 | 3670 11091 30867 | 6655 3659 66 | 8.888 % | c | 4004 | 3670 11091 30867 | 7320 3999 69 | 8.888 % | c | 4511 | 3669 11091 30867 | 8052 4506 74 | 8.913 % | c | 5275 | 3669 11091 30867 | 8857 5270 78 | 8.913 % | c | 6418 | 3669 11091 30867 | 9743 6412 95 | 8.913 % | c | 8127 | 3668 11091 30867 | 10717 8121 96 | 8.937 % | c | 10691 | 3668 11091 30867 | 11789 10685 105 | 8.937 % | c | 14536 | 3664 11091 30867 | 12968 8322 123 | 9.037 % | c | 20303 | 3664 11091 30867 | 14265 7349 119 | 9.037 % | c | 28955 | 3663 11091 30867 | 15692 8596 91 | 9.062 % | c | 41931 | 3659 11091 30867 | 17261 13436 88 | 9.161 % | c | 61396 | 3658 11091 30867 | 18987 15110 103 | 9.186 % | c | 90589 | 3655 11091 30867 | 20886 14473 162 | 9.260 % | c | 134380 | 3650 11091 30867 | 22974 15352 120 | 9.384 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 66.8258 s Remaining CPU time: 113.174 s c =============================================================================== c | 183562 | 3645 11092 31554 | 5000 17326 133 | 9.384 % | c | 183662 | 3645 11092 31554 | 5500 4432 108 | 9.508 % | c | 183812 | 3645 11092 31554 | 6050 4582 107 | 9.508 % | c | 184043 | 3645 11092 31554 | 6655 4813 105 | 9.508 % | c | 184381 | 3645 11092 31554 | 7320 5151 106 | 9.508 % | c | 184887 | 3645 11092 31554 | 8052 5657 106 | 9.508 % | c | 185646 | 3644 11092 31554 | 8857 6411 111 | 9.533 % | c | 186790 | 3644 11092 31554 | 9743 7555 106 | 9.533 % | c | 188500 | 3644 11092 31554 | 10717 9265 104 | 9.533 % | c | 191063 | 3644 11092 31554 | 11789 6209 89 | 9.533 % | c | 194907 | 3644 11092 31554 | 12968 10053 93 | 9.533 % | c | 200674 | 3644 11092 31554 | 14265 9020 120 | 9.533 % | c | 209327 | 3644 11092 31554 | 15692 10285 112 | 9.533 % | c | 222302 | 3644 11092 31554 | 17261 15153 118 | 9.533 % | c | 241764 | 3644 11092 31554 | 18987 16761 117 | 9.533 % | c | 270956 | 3644 11092 31554 | 20886 16694 132 | 9.533 % | c | 314747 | 3636 11092 31554 | 22974 17654 134 | 9.732 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 158.233 s Remaining CPU time: 21.7671 s c =============================================================================== c | 377633 | 3632 11093 32241 | 5000 21368 119 | 9.732 % | c | 377734 | 3632 11093 32241 | 5500 5443 107 | 9.831 % | c | 377884 | 3632 11093 32241 | 6050 5593 106 | 9.831 % | c | 378109 | 3632 11093 32241 | 6655 5818 105 | 9.831 % | c | 378447 | 3632 11093 32241 | 7320 6156 105 | 9.831 % | c | 378955 | 3632 11093 32241 | 8052 6664 105 | 9.831 % | c | 379714 | 3632 11093 32241 | 8857 7423 108 | 9.831 % | c | 380854 | 3632 11093 32241 | 9743 8563 107 | 9.831 % | c | 382562 | 3632 11093 32241 | 10717 10271 108 | 9.831 % | c | 385124 | 3632 11093 32241 | 11789 7181 76 | 9.831 % | c | 388968 | 3632 11093 32241 | 12968 11025 83 | 9.831 % | c | 394734 | 3632 11093 32241 | 14265 10069 108 | 9.831 % | c | 403383 | 3632 11093 32241 | 15692 11289 111 | 9.831 % | c | 416357 | 3632 11093 32241 | 17261 15875 126 | 9.831 % | c | 435818 | 3632 11093 32241 | 18987 17496 113 | 9.831 % | c There are 396 assigned variables. 28 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2438 11380 20220 | 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 | 3634 11410 25676 | 5000 0 nan | 0.000 % | c | 101 | 3326 11410 25676 | 5500 60 24 | 27.987 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4174 11438 30308 | 5000 0 nan | 0.000 % | c | 102 | 4122 11438 30308 | 5500 81 15 | 14.292 % | c | 257 | 3782 11438 30308 | 6050 120 25 | 21.803 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4814 11449 34198 | 5000 0 nan | 0.000 % | c | 100 | 4814 11449 34198 | 5500 100 12 | 8.289 % | c | 250 | 4807 11449 34198 | 6050 246 15 | 8.403 % | c | 475 | 4807 11449 34198 | 6655 471 18 | 8.403 % | c | 813 | 4785 11449 34198 | 7320 768 24 | 8.822 % | c | 1320 | 4773 11449 34198 | 8052 1263 33 | 9.051 % | c | 2079 | 4761 11449 34198 | 8857 2013 46 | 9.318 % | c | 3218 | 4721 11449 34198 | 9743 2817 50 | 10.042 % | c | 4926 | 4711 11449 34198 | 10717 4522 82 | 10.271 % | c =============================================================================== c Total CPU time: 185.645 s