p1011c pruned still TLE