c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 750 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 150 | c | Number Clauses: 600 | 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 | 150 600 1800 | 5000 0 nan | 0.000 % | c | 100 | 150 600 1800 | 5500 100 12 | 0.004 % | c | 250 | 150 600 1800 | 6050 250 10 | 0.005 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 321 | 150 601 1950 | 5000 321 10 | 0.005 % | c | 421 | 150 601 1950 | 5500 421 10 | 0.004 % | c | 571 | 150 601 1950 | 6050 571 10 | 0.004 % | c | 798 | 150 601 1950 | 6655 798 10 | 0.004 % | c | 1136 | 150 601 1950 | 7320 1136 10 | 0.004 % | c | 1643 | 150 601 1950 | 8052 1643 10 | 0.004 % | c | 2402 | 150 601 1950 | 8857 2402 9 | 0.005 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s c =============================================================================== c | 2868 | 150 602 2100 | 5000 2868 9 | 0.005 % | c | 2972 | 150 602 2100 | 5500 2972 9 | 0.004 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 0.176973 s Remaining CPU time: 179.823 s c =============================================================================== c | 2999 | 150 603 2250 | 5000 2999 9 | 0.004 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 0.180972 s Remaining CPU time: 179.819 s c =============================================================================== c | 3031 | 150 604 2400 | 5000 3031 9 | 0.004 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 0.181972 s Remaining CPU time: 179.818 s c =============================================================================== c | 3038 | 150 605 2550 | 5000 3038 9 | 0.004 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 0.19097 s Remaining CPU time: 179.809 s c =============================================================================== c | 3118 | 150 606 2700 | 5000 3118 9 | 0.004 % | c | 3219 | 150 606 2700 | 5500 3219 9 | 0.004 % | c | 3370 | 150 606 2700 | 6050 3370 9 | 0.004 % | c | 3595 | 150 606 2700 | 6655 3595 9 | 0.005 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 0.25996 s Remaining CPU time: 179.74 s c =============================================================================== c | 3755 | 150 607 2850 | 5000 3755 9 | 0.005 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 0.26096 s Remaining CPU time: 179.739 s c =============================================================================== c | 3761 | 150 608 3000 | 5000 3761 9 | 0.005 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 0.26296 s Remaining CPU time: 179.737 s c =============================================================================== c | 3768 | 150 609 3150 | 5000 3768 9 | 0.005 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 0.26296 s Remaining CPU time: 179.737 s c =============================================================================== c | 3768 | 150 610 3300 | 5000 3768 9 | 0.005 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 0.263959 s Remaining CPU time: 179.736 s c =============================================================================== c | 3768 | 150 611 3450 | 5000 3768 9 | 0.005 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 0.263959 s Remaining CPU time: 179.736 s c =============================================================================== c | 3768 | 150 612 3600 | 5000 3768 9 | 0.005 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 0.264959 s Remaining CPU time: 179.735 s c =============================================================================== c | 3768 | 150 613 3750 | 5000 3768 9 | 0.005 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 0.264959 s Remaining CPU time: 179.735 s c =============================================================================== c | 3768 | 150 614 3900 | 5000 3768 9 | 0.005 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 0.265959 s Remaining CPU time: 179.734 s c =============================================================================== c | 3769 | 150 615 4050 | 5000 3769 9 | 0.005 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 0.265959 s Remaining CPU time: 179.734 s c =============================================================================== c | 3769 | 150 616 4200 | 5000 3769 9 | 0.005 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 0.266959 s Remaining CPU time: 179.733 s c =============================================================================== c | 3771 | 150 617 4350 | 5000 3771 9 | 0.005 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 0.267959 s Remaining CPU time: 179.732 s c =============================================================================== c | 3773 | 150 618 4500 | 5000 3773 9 | 0.005 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 0.268959 s Remaining CPU time: 179.731 s c =============================================================================== c | 3780 | 150 619 4650 | 5000 3780 9 | 0.005 % | c | 3880 | 150 619 4650 | 5500 3880 9 | 0.009 % | c | 4031 | 150 619 4650 | 6050 4031 9 | 0.013 % | c | 4256 | 149 619 4650 | 6655 2642 9 | 0.671 % | c | 4594 | 149 619 4650 | 7320 2980 9 | 0.676 % | c | 5101 | 149 619 4650 | 8052 3487 9 | 0.684 % | c | 5861 | 148 619 4650 | 8857 2948 9 | 1.396 % | c =============================================================================== c Total CPU time: 0.561914 s