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 10 | 0.004 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 223 | 150 601 1950 | 5000 223 10 | 0.004 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 258 | 150 602 2100 | 5000 258 10 | 0.004 % | c | 359 | 150 602 2100 | 5500 359 10 | 0.004 % | c | 510 | 150 602 2100 | 6050 510 10 | 0.004 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 536 | 150 603 2250 | 5000 536 10 | 0.004 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 540 | 150 604 2400 | 5000 540 10 | 0.004 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 595 | 150 605 2550 | 5000 595 10 | 0.004 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 597 | 150 606 2700 | 5000 597 10 | 0.004 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 597 | 150 607 2850 | 5000 597 10 | 0.004 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 597 | 150 608 3000 | 5000 597 10 | 0.004 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 597 | 150 609 3150 | 5000 597 10 | 0.004 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 597 | 150 610 3300 | 5000 597 10 | 0.004 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 597 | 150 611 3450 | 5000 597 10 | 0.004 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 597 | 150 612 3600 | 5000 597 10 | 0.004 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 597 | 150 613 3750 | 5000 597 10 | 0.004 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 597 | 150 614 3900 | 5000 597 10 | 0.004 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 597 | 150 615 4050 | 5000 597 10 | 0.004 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 597 | 150 616 4200 | 5000 597 10 | 0.004 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 597 | 150 617 4350 | 5000 597 10 | 0.004 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 597 | 150 618 4500 | 5000 597 10 | 0.004 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 598 | 150 619 4650 | 5000 598 10 | 0.004 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 598 | 150 620 4800 | 5000 598 10 | 0.004 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 598 | 150 621 4950 | 5000 598 10 | 0.004 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 598 | 150 622 5100 | 5000 598 10 | 0.004 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 599 | 150 623 5250 | 5000 599 10 | 0.004 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 599 | 150 624 5400 | 5000 599 10 | 0.004 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 607 | 150 625 5550 | 5000 607 11 | 0.004 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 623 | 150 626 5700 | 5000 623 12 | 0.004 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 639 | 150 627 5850 | 5000 639 13 | 0.004 % | c | 740 | 150 627 5850 | 5500 740 18 | 0.004 % | c | 890 | 150 627 5850 | 6050 890 20 | 0.004 % | c | 1116 | 150 627 5850 | 6655 1116 24 | 0.004 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 1227 | 150 628 6000 | 5000 1227 27 | 0.004 % | c | 1328 | 150 628 6000 | 5500 1328 27 | 0.004 % | c | 1480 | 150 628 6000 | 6050 1480 26 | 0.004 % | c | 1707 | 150 628 6000 | 6655 1707 30 | 0.004 % | c | 2044 | 150 628 6000 | 7320 2044 35 | 0.004 % | c | 2552 | 150 628 6000 | 8052 2552 39 | 0.004 % | c | 3312 | 150 628 6000 | 8857 3312 37 | 0.004 % | c | 4451 | 150 628 6000 | 9743 4451 33 | 0.004 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 0.868867 s Remaining CPU time: 179.131 s c =============================================================================== c | 6032 | 149 629 6150 | 5000 3895 34 | 0.004 % | c | 6132 | 149 629 6150 | 5500 3995 34 | 0.671 % | c | 6282 | 149 629 6150 | 6050 4145 33 | 0.671 % | c | 6507 | 149 629 6150 | 6655 4370 34 | 0.671 % | c | 6848 | 149 629 6150 | 7320 4711 33 | 0.676 % | c | 7355 | 149 629 6150 | 8052 5218 32 | 0.676 % | c | 8114 | 149 629 6150 | 8857 5977 30 | 0.676 % | c =============================================================================== c Total CPU time: 1.52277 s