c wbo 1.4 beta - 20100610 c | Number of variables: 6678 | c | Number of clauses: 25709 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.02 s | c | Number Variables: 6678 | c | Number Clauses: 25499 | 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 | 5729 26404 64077 | 8499 0 nan | 0.000 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 19.1121 s Remaining CPU time: 160.888 s c =============================================================================== c | 51 | 5729 26405 64287 | 8801 51 33 | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 19.1501 s Remaining CPU time: 160.85 s c =============================================================================== c | 132 | 5729 26406 64497 | 8802 132 31 | 0.000 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 19.1721 s Remaining CPU time: 160.828 s c =============================================================================== c | 176 | 5729 26407 64707 | 8802 176 30 | 0.000 % | c | 276 | 5729 26407 64707 | 9682 276 32 | 14.211 % | c | 426 | 5729 26407 64707 | 10650 426 30 | 14.211 % | c =============================================================================== c New solution: 137 c Elapsed CPU time: 19.2921 s Remaining CPU time: 160.708 s c =============================================================================== c | 492 | 5729 26408 64917 | 8802 492 28 | 14.211 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 19.3141 s Remaining CPU time: 160.686 s c =============================================================================== c | 531 | 5729 26409 65127 | 8803 531 30 | 14.211 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 19.3321 s Remaining CPU time: 160.668 s c =============================================================================== c | 560 | 5729 26410 65337 | 8803 560 30 | 14.211 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 19.3761 s Remaining CPU time: 160.624 s c =============================================================================== c | 639 | 5729 26411 65547 | 8803 639 28 | 14.211 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 19.3901 s Remaining CPU time: 160.61 s c =============================================================================== c | 647 | 5729 26412 65757 | 8804 647 28 | 14.211 % | c | 747 | 5729 26412 65757 | 9684 747 36 | 14.211 % | c | 897 | 5729 26412 65757 | 10652 897 35 | 14.211 % | c | 1122 | 5729 26412 65757 | 11718 1122 43 | 14.211 % | c | 1459 | 5729 26412 65757 | 12889 1459 41 | 14.211 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 19.688 s Remaining CPU time: 160.312 s c =============================================================================== c | 1498 | 5729 26413 65967 | 8804 1498 41 | 14.211 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 19.715 s Remaining CPU time: 160.285 s c =============================================================================== c | 1554 | 5729 26414 66177 | 8804 1554 40 | 14.211 % | c | 1654 | 5729 26414 66177 | 9685 1654 41 | 14.211 % | c | 1804 | 5729 26414 66177 | 10653 1804 43 | 14.211 % | c | 2029 | 5729 26414 66177 | 11719 2029 52 | 14.211 % | c =============================================================================== c New solution: 37 c Elapsed CPU time: 20.019 s Remaining CPU time: 159.981 s c =============================================================================== c | 2152 | 5729 26415 66387 | 8805 2152 50 | 14.211 % | c | 2252 | 5729 26415 66387 | 9685 2252 50 | 14.211 % | c | 2402 | 5729 26415 66387 | 10654 2402 52 | 14.211 % | c | 2628 | 5729 26415 66387 | 11719 2628 51 | 14.211 % | c | 2965 | 5729 26415 66387 | 12891 2965 54 | 14.211 % | c | 3471 | 5729 26415 66387 | 14180 3471 56 | 14.211 % | c | 4231 | 5729 26415 66387 | 15598 4231 66 | 14.211 % | c | 5370 | 5729 26415 66387 | 17158 5370 71 | 14.211 % | c | 7078 | 5729 26415 66387 | 18874 7078 78 | 14.211 % | c | 9642 | 5729 26415 66387 | 20761 9642 93 | 14.211 % | c =============================================================================== c New solution: 32 c Elapsed CPU time: 24.3653 s Remaining CPU time: 155.635 s c =============================================================================== c | 9680 | 5729 26416 66597 | 8805 9680 92 | 14.211 % | c | 9780 | 5729 26416 66597 | 9685 9780 93 | 14.211 % | c | 9930 | 5729 26416 66597 | 10654 9930 92 | 14.211 % | c | 10157 | 5729 26416 66597 | 11719 10157 93 | 14.211 % | c | 10494 | 5729 26416 66597 | 12891 10494 95 | 14.211 % | c | 11000 | 5729 26416 66597 | 14181 11000 95 | 14.211 % | c | 11759 | 5729 26416 66597 | 15599 11759 96 | 14.211 % | c =============================================================================== c New solution: 21 c Elapsed CPU time: 25.9401 s Remaining CPU time: 154.06 s c =============================================================================== c | 11840 | 5729 26417 66807 | 8805 11840 96 | 14.211 % | c | 11941 | 5729 26417 66807 | 9686 6021 85 | 14.211 % | c | 12091 | 5729 26417 66807 | 10654 6171 85 | 14.211 % | c | 12316 | 5729 26417 66807 | 11720 6396 85 | 14.211 % | c | 12654 | 5729 26417 66807 | 12892 6734 88 | 14.211 % | c | 13162 | 5729 26417 66807 | 14181 7242 92 | 14.211 % | c | 13921 | 5729 26417 66807 | 15599 8001 96 | 14.211 % | c | 15061 | 5729 26417 66807 | 17159 9141 107 | 14.211 % | c | 16769 | 5729 26417 66807 | 18875 10849 114 | 14.211 % | c | 19333 | 5729 26417 66807 | 20763 13413 132 | 14.211 % | c | 23177 | 5729 26417 66807 | 22839 17257 151 | 14.211 % | c | 28944 | 5723 26417 66807 | 25123 18578 140 | 14.301 % | c =============================================================================== c Total CPU time: 44.8302 s