c wbo 1.4 beta - 20100610 c | Number of variables: 718 | c | Number of clauses: 398 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 718 | c | Number Clauses: 178 | 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 | 691 178 583 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 0 | 691 179 803 | 5000 0 nan | 0.000 % | c | 100 | 691 179 803 | 5500 100 87 | 3.761 % | c | 250 | 691 179 803 | 6050 250 89 | 3.761 % | c | 475 | 691 179 803 | 6655 475 89 | 3.761 % | c | 812 | 691 179 803 | 7320 812 89 | 3.761 % | c | 1318 | 691 179 803 | 8052 1318 89 | 3.761 % | c | 2077 | 691 179 803 | 8857 2077 90 | 3.761 % | c | 3217 | 691 179 803 | 9743 3217 90 | 3.761 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s c =============================================================================== c | 4783 | 691 180 1023 | 5000 4783 90 | 3.761 % | c | 4884 | 691 180 1023 | 5500 4884 90 | 3.761 % | c | 5034 | 691 180 1023 | 6050 5034 90 | 3.761 % | c | 5260 | 691 180 1023 | 6655 5260 90 | 3.761 % | c | 5597 | 691 180 1023 | 7320 5597 90 | 3.761 % | c | 6104 | 691 180 1023 | 8052 6104 90 | 3.761 % | c | 6863 | 691 180 1023 | 8857 6863 90 | 3.761 % | c | 8004 | 691 180 1023 | 9743 8004 90 | 3.761 % | c | 9712 | 691 180 1023 | 10717 9712 90 | 3.761 % | c | 12274 | 691 180 1023 | 11789 6837 90 | 3.761 % | c | 16118 | 691 180 1023 | 12968 10681 89 | 3.761 % | c | 21885 | 691 180 1023 | 14265 9883 90 | 3.761 % | c | 30534 | 691 180 1023 | 15692 11321 88 | 3.761 % | c | 43509 | 691 180 1023 | 17261 8441 90 | 3.761 % | c | 62971 | 691 180 1023 | 18987 10480 90 | 3.761 % | c | 92163 | 691 180 1023 | 20886 10950 91 | 3.761 % | c | 135953 | 691 180 1023 | 22974 12647 91 | 3.761 % | c | 201637 | 691 180 1023 | 25272 17618 90 | 3.761 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 52.0491 s Remaining CPU time: 127.951 s c =============================================================================== c | 286154 | 691 181 1243 | 5000 15960 89 | 3.761 % | c | 286255 | 691 181 1243 | 5500 4091 89 | 3.761 % | c | 286405 | 691 181 1243 | 6050 4241 89 | 3.761 % | c | 286630 | 691 181 1243 | 6655 4466 89 | 3.761 % | c | 286968 | 691 181 1243 | 7320 4804 89 | 3.761 % | c | 287474 | 691 181 1243 | 8052 5310 89 | 3.761 % | c | 288234 | 691 181 1243 | 8857 6070 89 | 3.761 % | c | 289374 | 691 181 1243 | 9743 7210 89 | 3.761 % | c | 291082 | 691 181 1243 | 10717 8918 89 | 3.761 % | c | 293645 | 691 181 1243 | 11789 6038 89 | 3.761 % | c | 297490 | 691 181 1243 | 12968 9883 89 | 3.761 % | c | 303258 | 691 181 1243 | 14265 9083 88 | 3.761 % | c | 311908 | 691 181 1243 | 15692 10522 87 | 3.761 % | c | 324883 | 691 181 1243 | 17261 15569 88 | 3.761 % | c | 344345 | 691 181 1243 | 18987 8904 88 | 3.761 % | c | 373538 | 691 181 1243 | 20886 18960 86 | 3.761 % | c | 417328 | 691 181 1243 | 22974 20672 88 | 3.761 % | c | 483013 | 691 181 1243 | 25272 13201 87 | 3.761 % | c | 581540 | 691 181 1243 | 27799 14575 89 | 3.761 % | c | 729330 | 691 181 1243 | 30579 12087 88 | 3.761 % |