c wbo 1.4 beta - 20100610 c | Number of variables: 144 | c | Number of clauses: 5511 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 144 | c | Number Clauses: 5367 | 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 | 144 5367 10734 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 76702 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 144 5368 10878 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 76582 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 144 5369 11022 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 75207 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 47 | 144 5370 11166 | 5000 47 119 | 0.000 % | c =============================================================================== c New solution: 75087 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 47 | 144 5371 11310 | 5000 47 119 | 0.000 % | c | 150 | 144 5371 11310 | 5500 150 123 | 0.005 % | c =============================================================================== c New solution: 74805 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 157 | 144 5372 11454 | 5000 157 123 | 0.005 % | c =============================================================================== c New solution: 74626 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 158 | 144 5373 11598 | 5000 158 123 | 0.005 % | c | 259 | 144 5373 11598 | 5500 259 127 | 0.005 % | c | 410 | 144 5373 11598 | 6050 410 130 | 0.005 % | c =============================================================================== c New solution: 74506 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 468 | 144 5374 11742 | 5000 468 131 | 0.005 % | c | 568 | 144 5374 11742 | 5500 568 131 | 0.005 % | c =============================================================================== c New solution: 73813 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 582 | 144 5375 11886 | 5000 582 132 | 0.005 % | c =============================================================================== c New solution: 73693 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 582 | 144 5376 12030 | 5000 582 132 | 0.005 % | c | 684 | 144 5376 12030 | 5500 684 131 | 0.005 % | c | 835 | 144 5376 12030 | 6050 835 131 | 0.005 % | c | 1070 | 144 5376 12030 | 6655 1070 131 | 0.005 % | c | 1411 | 144 5376 12030 | 7320 1411 131 | 0.005 % | c | 1919 | 144 5376 12030 | 8052 1919 132 | 0.005 % | c | 2681 | 144 5376 12030 | 8857 2681 131 | 0.005 % | c | 3825 | 144 5376 12030 | 9743 3825 131 | 0.005 % | c | 5533 | 144 5376 12030 | 10717 5533 130 | 0.005 % | c | 8096 | 144 5376 12030 | 11789 8096 130 | 0.005 % | c | 11954 | 144 5376 12030 | 12968 5991 126 | 0.005 % | c | 17734 | 144 5376 12030 | 14265 11771 124 | 0.005 % | c =============================================================================== c Total CPU time: 25.2322 s