c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 700 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 150 | c | Number Clauses: 550 | 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 550 1650 | 5000 0 nan | 0.000 % | c | 101 | 150 550 1650 | 5500 101 11 | 0.004 % | c | 251 | 150 550 1650 | 6050 251 12 | 0.004 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 426 | 150 551 1800 | 5000 426 11 | 0.004 % | c | 527 | 150 551 1800 | 5500 527 11 | 0.004 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 547 | 150 552 1950 | 5000 547 12 | 0.004 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 550 | 150 553 2100 | 5000 550 12 | 0.004 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 556 | 150 554 2250 | 5000 556 13 | 0.004 % | c | 656 | 150 554 2250 | 5500 656 13 | 0.004 % | c | 807 | 150 554 2250 | 6050 807 12 | 0.004 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 910 | 150 555 2400 | 5000 910 12 | 0.004 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 947 | 150 556 2550 | 5000 947 12 | 0.004 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 950 | 150 557 2700 | 5000 950 12 | 0.004 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 950 | 150 558 2850 | 5000 950 12 | 0.004 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 950 | 150 559 3000 | 5000 950 12 | 0.004 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 950 | 150 560 3150 | 5000 950 12 | 0.004 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 950 | 150 561 3300 | 5000 950 12 | 0.004 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 950 | 150 562 3450 | 5000 950 12 | 0.004 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 954 | 150 563 3600 | 5000 954 12 | 0.004 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 954 | 150 564 3750 | 5000 954 12 | 0.004 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 973 | 150 565 3900 | 5000 973 13 | 0.004 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 983 | 150 566 4050 | 5000 983 13 | 0.004 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 989 | 150 567 4200 | 5000 989 13 | 0.004 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 1002 | 150 568 4350 | 5000 1002 13 | 0.004 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 1062 | 150 569 4500 | 5000 1062 14 | 0.004 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 1065 | 150 570 4650 | 5000 1065 14 | 0.004 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 1075 | 150 571 4800 | 5000 1075 15 | 0.004 % | c | 1176 | 150 571 4800 | 5500 1176 16 | 0.004 % | c | 1326 | 150 571 4800 | 6050 1326 15 | 0.004 % | c | 1553 | 150 571 4800 | 6655 1553 15 | 0.004 % | c | 1890 | 150 571 4800 | 7320 1890 15 | 0.004 % | c | 2398 | 150 571 4800 | 8052 2398 17 | 0.004 % | c | 3159 | 150 571 4800 | 8857 3159 18 | 0.004 % | c | 4298 | 150 571 4800 | 9743 4298 17 | 0.005 % | c | 6008 | 149 571 4800 | 10717 2666 15 | 0.671 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 0.882865 s Remaining CPU time: 179.117 s c =============================================================================== c | 7101 | 148 572 4950 | 5000 3759 15 | 0.671 % | c | 7201 | 148 572 4950 | 5500 2293 13 | 1.338 % | c | 7352 | 148 572 4950 | 6050 2444 15 | 1.338 % | c | 7577 | 148 572 4950 | 6655 2669 15 | 1.338 % | c | 7915 | 148 572 4950 | 7320 3007 16 | 1.342 % | c | 8422 | 147 572 4950 | 8052 3514 16 | 2.009 % | c =============================================================================== c Total CPU time: 1.10883 s