Performance Evaluation of a Probabilistic Packet Filter Optimization Algorithm for High-Speed Network Monitoring