/opt/concourse/worker/volumes/live/dc0acef0-8d20-4535-55e5-579eb9676cfc/volume/cryptominisat-split_1548446720097/_h_env_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_place binary lib/python2.7/site-packages/pycryptosat.so
