(True, '')          3102 function calls (3047 primitive calls) in 0.192 CPU seconds

   Ordered by: internal time, call count
   List reduced from 357 to 20 due to restriction <20>

   ncalls  tottime  percall  cumtime  percall filename:lineno(function)
       15    0.123    0.008    0.123    0.008 satsolver.py:93(add_solv)
        1    0.019    0.019    0.019    0.019 satsolver.py:988(step)
        2    0.005    0.003    0.006    0.003 collections.py:13(namedtuple)
        1    0.005    0.005    0.005    0.005 satsolver.py:962(__init__)
        1    0.004    0.004    0.004    0.004 satsolver.py:7(<module>)
        1    0.004    0.004    0.005    0.005 socket.py:44(<module>)
        1    0.003    0.003    0.030    0.030 webpin.py:4(<module>)
       17    0.002    0.000    0.002    0.000 ConfigParser.py:434(_read)
        1    0.002    0.002    0.154    0.154 bin.py:92(main)
        1    0.002    0.002    0.005    0.005 __init__.py:11(<module>)
        1    0.002    0.002    0.019    0.019 httplib.py:67(<module>)
        1    0.002    0.002    0.004    0.004 mimetools.py:1(<module>)
        1    0.001    0.001    0.001    0.001 random.py:40(<module>)
        1    0.001    0.001    0.005    0.005 bin.py:4(<module>)
        1    0.001    0.001    0.001    0.001 socket.py:174(_socketobject)
        1    0.001    0.001    0.036    0.036 __init__.py:364(_import)
       17    0.001    0.000    0.003    0.000 ConfigParser.py:266(read)
        1    0.001    0.001    0.002    0.002 tempfile.py:18(<module>)
        1    0.001    0.001    0.008    0.008 urlparse.py:5(<module>)
        1    0.001    0.001    0.001    0.001 minidom.py:15(<module>)