(True, '')          3102 function calls (3047 primitive calls) in 1.261 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.446    0.030    0.446    0.030 satsolver.py:93(add_solv)
        1    0.214    0.214    0.215    0.215 satsolver.py:7(<module>)
       17    0.124    0.007    0.124    0.007 ConfigParser.py:434(_read)
        1    0.086    0.086    0.088    0.088 socket.py:44(<module>)
        1    0.086    0.086    0.626    0.626 __init__.py:364(_import)
        1    0.058    0.058    0.303    0.303 webpin.py:4(<module>)
        1    0.032    0.032    0.032    0.032 satsolver.py:988(step)
        1    0.021    0.021    0.236    0.236 bin.py:4(<module>)
        1    0.019    0.019    0.182    0.182 httplib.py:67(<module>)
        1    0.017    0.017    0.017    0.017 random.py:40(<module>)
        1    0.017    0.017    0.051    0.051 __init__.py:11(<module>)
        1    0.016    0.016    0.016    0.016 collections.py:1(<module>)
        1    0.015    0.015    0.017    0.017 MessageSource.py:2(<module>)
        1    0.013    0.013    0.555    0.555 bin.py:23(__init__)
        1    0.010    0.010    0.012    0.012 __init__.py:1(<module>)
        1    0.010    0.010    0.010    0.010 satsolver.py:962(__init__)
        1    0.009    0.009    0.034    0.034 urlparse.py:5(<module>)
        1    0.009    0.009    0.033    0.033 mimetools.py:1(<module>)
        2    0.008    0.004    0.008    0.004 collections.py:13(namedtuple)
        1    0.007    0.007    0.024    0.024 tempfile.py:18(<module>)