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 | 102 | 150 600 1800 | 5500 102 11 | 0.004 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 244 | 150 601 1950 | 5000 244 11 | 0.004 % | c | 344 | 150 601 1950 | 5500 344 11 | 0.004 % | c | 496 | 150 601 1950 | 6050 496 11 | 0.004 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 570 | 150 602 2100 | 5000 570 11 | 0.004 % | c | 672 | 150 602 2100 | 5500 672 10 | 0.004 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 738 | 150 603 2250 | 5000 738 10 | 0.004 % | c | 840 | 150 603 2250 | 5500 840 10 | 0.004 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 933 | 150 604 2400 | 5000 933 10 | 0.004 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 936 | 150 605 2550 | 5000 936 10 | 0.004 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 941 | 150 606 2700 | 5000 941 11 | 0.004 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 945 | 150 607 2850 | 5000 945 11 | 0.004 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 958 | 150 608 3000 | 5000 958 12 | 0.004 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 962 | 150 609 3150 | 5000 962 12 | 0.004 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 975 | 150 610 3300 | 5000 975 12 | 0.004 % | c | 1075 | 150 610 3300 | 5500 1075 12 | 0.004 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 1117 | 150 611 3450 | 5000 1117 12 | 0.004 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 1118 | 150 612 3600 | 5000 1118 12 | 0.004 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 1120 | 150 613 3750 | 5000 1120 12 | 0.004 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 1185 | 150 614 3900 | 5000 1185 13 | 0.004 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 1255 | 150 615 4050 | 5000 1255 13 | 0.004 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 1259 | 150 616 4200 | 5000 1259 13 | 0.004 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 1264 | 150 617 4350 | 5000 1264 13 | 0.004 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 1269 | 150 618 4500 | 5000 1269 13 | 0.004 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 1279 | 150 619 4650 | 5000 1279 14 | 0.004 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 1288 | 150 620 4800 | 5000 1288 14 | 0.004 % | c | 1389 | 150 620 4800 | 5500 1389 14 | 0.004 % | c | 1540 | 150 620 4800 | 6050 1540 14 | 0.004 % | c | 1767 | 150 620 4800 | 6655 1767 15 | 0.004 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 1857 | 150 621 4950 | 5000 1857 18 | 0.004 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 1887 | 150 622 5100 | 5000 1887 18 | 0.004 % | c | 1987 | 150 622 5100 | 5500 1987 18 | 0.004 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 2100 | 150 623 5250 | 5000 2100 19 | 0.004 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 0.144977 s Remaining CPU time: 179.855 s c =============================================================================== c | 2105 | 150 624 5400 | 5000 2105 19 | 0.004 % | c | 2206 | 150 624 5400 | 5500 2206 19 | 0.004 % | c | 2356 | 150 624 5400 | 6050 2356 19 | 0.005 % | c | 2582 | 150 624 5400 | 6655 2582 18 | 0.005 % | c | 2919 | 150 624 5400 | 7320 2919 18 | 0.009 % | c | 3426 | 150 624 5400 | 8052 3426 17 | 0.005 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 0.360945 s Remaining CPU time: 179.639 s c =============================================================================== c | 3912 | 150 625 5550 | 5000 3912 19 | 0.005 % | c | 4012 | 150 625 5550 | 5500 4012 19 | 0.004 % | c | 4162 | 150 625 5550 | 6050 4162 19 | 0.004 % | c | 4388 | 150 625 5550 | 6655 4388 18 | 0.009 % | c | 4725 | 150 625 5550 | 7320 4725 18 | 0.005 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 0.507922 s Remaining CPU time: 179.492 s c =============================================================================== c | 4929 | 150 626 5700 | 5000 4929 18 | 0.005 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 0.508922 s Remaining CPU time: 179.491 s c =============================================================================== c | 4933 | 150 627 5850 | 5000 4933 18 | 0.005 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 0.510922 s Remaining CPU time: 179.489 s c =============================================================================== c | 4941 | 150 628 6000 | 5000 4941 18 | 0.005 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 0.513921 s Remaining CPU time: 179.486 s c =============================================================================== c | 4962 | 150 629 6150 | 5000 4962 18 | 0.005 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 0.518921 s Remaining CPU time: 179.481 s c =============================================================================== c | 5001 | 150 630 6300 | 5000 5001 18 | 0.005 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 0.541917 s Remaining CPU time: 179.458 s c =============================================================================== c | 5067 | 150 631 6450 | 5000 2567 17 | 0.005 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 0.542917 s Remaining CPU time: 179.457 s c =============================================================================== c | 5070 | 150 632 6600 | 5000 2570 17 | 0.005 % | c | 5170 | 150 632 6600 | 5500 2670 17 | 0.009 % | c | 5321 | 150 632 6600 | 6050 2821 17 | 0.005 % | c | 5548 | 150 632 6600 | 6655 3048 16 | 0.009 % | c | 5885 | 150 632 6600 | 7320 3385 16 | 0.018 % | c | 6391 | 149 632 6600 | 8052 2173 16 | 0.680 % | c =============================================================================== c Total CPU time: 0.800878 s