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 | 101 | 150 600 1800 | 5500 101 10 | 0.004 % | c | 251 | 150 600 1800 | 6050 251 11 | 0.004 % | c | 478 | 150 600 1800 | 6655 478 11 | 0.004 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 713 | 150 601 1950 | 5000 713 10 | 0.004 % | c | 814 | 150 601 1950 | 5500 814 10 | 0.004 % | c | 964 | 150 601 1950 | 6050 964 10 | 0.005 % | c | 1189 | 150 601 1950 | 6655 1189 10 | 0.004 % | c | 1527 | 150 601 1950 | 7320 1527 10 | 0.005 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 1578 | 150 602 2100 | 5000 1578 10 | 0.005 % | c | 1679 | 150 602 2100 | 5500 1679 10 | 0.005 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 1695 | 150 603 2250 | 5000 1695 10 | 0.005 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 1696 | 150 604 2400 | 5000 1696 10 | 0.005 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 1696 | 150 605 2550 | 5000 1696 10 | 0.005 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 1696 | 150 606 2700 | 5000 1696 10 | 0.005 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 1696 | 150 607 2850 | 5000 1696 10 | 0.005 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 1701 | 150 608 3000 | 5000 1701 10 | 0.005 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 1704 | 150 609 3150 | 5000 1704 10 | 0.005 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 1768 | 150 610 3300 | 5000 1768 10 | 0.005 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 1768 | 150 611 3450 | 5000 1768 10 | 0.005 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 1773 | 150 612 3600 | 5000 1773 11 | 0.005 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 1777 | 150 613 3750 | 5000 1777 11 | 0.005 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 1781 | 150 614 3900 | 5000 1781 11 | 0.005 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 1785 | 150 615 4050 | 5000 1785 11 | 0.005 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 1819 | 150 616 4200 | 5000 1819 12 | 0.005 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 1827 | 150 617 4350 | 5000 1827 12 | 0.005 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 1835 | 150 618 4500 | 5000 1835 12 | 0.005 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 1841 | 150 619 4650 | 5000 1841 12 | 0.005 % | c | 1942 | 150 619 4650 | 5500 1942 13 | 0.004 % | c | 2094 | 150 619 4650 | 6050 2094 14 | 0.004 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 2236 | 150 620 4800 | 5000 2236 15 | 0.004 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 0.137979 s Remaining CPU time: 179.862 s c =============================================================================== c | 2240 | 150 621 4950 | 5000 2240 15 | 0.004 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 2245 | 150 622 5100 | 5000 2245 15 | 0.004 % | c | 2345 | 150 622 5100 | 5500 2345 16 | 0.005 % | c | 2497 | 150 622 5100 | 6050 2497 15 | 0.004 % | c | 2725 | 150 622 5100 | 6655 2725 15 | 0.005 % | c | 3062 | 150 622 5100 | 7320 3062 15 | 0.004 % | c | 3570 | 150 622 5100 | 8052 3570 14 | 0.005 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 0.368943 s Remaining CPU time: 179.631 s c =============================================================================== c | 4024 | 150 623 5250 | 5000 4024 14 | 0.005 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 0.374943 s Remaining CPU time: 179.625 s c =============================================================================== c | 4075 | 150 624 5400 | 5000 4075 14 | 0.005 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 0.375942 s Remaining CPU time: 179.624 s c =============================================================================== c | 4080 | 150 625 5550 | 5000 4080 14 | 0.005 % | c =============================================================================== c New solution: 52 c Elapsed CPU time: 0.376942 s Remaining CPU time: 179.623 s c =============================================================================== c | 4081 | 150 626 5700 | 5000 4081 14 | 0.005 % | c =============================================================================== c New solution: 51 c Elapsed CPU time: 0.377942 s Remaining CPU time: 179.622 s c =============================================================================== c | 4086 | 150 627 5850 | 5000 4086 14 | 0.005 % | c | 4187 | 150 627 5850 | 5500 4187 14 | 0.004 % | c | 4337 | 150 627 5850 | 6050 4337 14 | 0.004 % | c | 4562 | 150 627 5850 | 6655 4562 14 | 0.004 % | c | 4899 | 150 627 5850 | 7320 4899 14 | 0.004 % | c | 5405 | 150 627 5850 | 8052 5405 14 | 0.005 % | c | 6165 | 150 627 5850 | 8857 6165 15 | 0.005 % | c =============================================================================== c New solution: 50 c Elapsed CPU time: 0.937857 s Remaining CPU time: 179.062 s c =============================================================================== c | 7201 | 150 628 6000 | 5000 7201 15 | 0.005 % | c | 7302 | 150 628 6000 | 5500 3702 14 | 0.005 % | c | 7453 | 150 628 6000 | 6050 3853 14 | 0.009 % | c | 7680 | 150 628 6000 | 6655 4080 14 | 0.014 % | c | 8017 | 149 628 6000 | 7320 2690 12 | 0.671 % | c | 8525 | 149 628 6000 | 8052 3198 12 | 0.671 % | c | 9285 | 149 628 6000 | 8857 3958 13 | 0.676 % | c =============================================================================== c New solution: 49 c Elapsed CPU time: 1.39979 s Remaining CPU time: 178.6 s c =============================================================================== c | 10149 | 149 629 6150 | 5000 4822 14 | 0.676 % | c | 10250 | 149 629 6150 | 5500 4923 14 | 0.676 % | c | 10403 | 149 629 6150 | 6050 5076 14 | 0.689 % | c | 10629 | 149 629 6150 | 6655 5302 14 | 0.671 % | c | 10967 | 147 629 6150 | 7320 5206 14 | 2.018 % | c =============================================================================== c Total CPU time: 1.63375 s