c wbo 1.4 beta - 20100610 c | Number of variables: 99 | c | Number of clauses: 2805 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 99 | c | Number Clauses: 2706 | 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 | 99 2706 5412 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 52053 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 0 | 99 2707 5511 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 52017 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 0 | 99 2708 5610 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 51774 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 0 | 99 2709 5709 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 51434 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 45 | 99 2710 5808 | 5000 45 69 | 0.000 % | c =============================================================================== c New solution: 50749 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 45 | 99 2711 5907 | 5000 45 69 | 0.000 % | c =============================================================================== c New solution: 50713 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 45 | 99 2712 6006 | 5000 45 69 | 0.000 % | c =============================================================================== c New solution: 50470 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 58 | 99 2713 6105 | 5000 58 73 | 0.000 % | c =============================================================================== c New solution: 50130 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 62 | 99 2714 6204 | 5000 62 74 | 0.000 % | c =============================================================================== c New solution: 50094 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 76 | 99 2715 6303 | 5000 76 76 | 0.000 % | c | 185 | 99 2715 6303 | 5500 185 81 | 0.010 % | c =============================================================================== c New solution: 49851 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 185 | 99 2716 6402 | 5000 185 81 | 0.010 % | c | 287 | 99 2716 6402 | 5500 287 82 | 0.010 % | c | 438 | 99 2716 6402 | 6050 438 82 | 0.010 % | c | 664 | 99 2716 6402 | 6655 664 82 | 0.010 % | c | 1001 | 99 2716 6402 | 7320 1001 82 | 0.010 % | c | 1509 | 99 2716 6402 | 8052 1509 84 | 0.010 % | c | 2271 | 99 2716 6402 | 8857 2271 83 | 0.010 % | c | 3410 | 99 2716 6402 | 9743 3410 83 | 0.010 % | c =============================================================================== c Total CPU time: 1.61375 s