DIMACS sat solver leaves junk files in /tmp folder

[seblabbe]

Steps To Reproduce

sage: for _ in range(1000):
....:     s = SAT('glucose')
....:     s.add_clause((1000,10))
....:     _ = s()
....:     del s
....:     

Expected Behavior

sage: tmp_filename('AAAAAA')
'/tmp/tmp8tkni7g0/AAAAAAw9zty138'
sage: ls /tmp/tmp8tkni7g0/
AAAAAAw9zty138
sage: for _ in range(10):
....:     s = SAT('glucose')
....:     s.add_clause((1000,10))
....:     _ = s()
....:     del s
....:     
sage: ls /tmp/tmp8tkni7g0/
AAAAAAw9zty138

Actual Behavior

Files remain in the tmp folder:

sage: tmp_filename('AAAAAA')
'/tmp/tmp8tkni7g0/AAAAAAw9zty138'
sage: ls /tmp/tmp8tkni7g0/
AAAAAAw9zty138
sage: 
sage: for _ in range(10):
....:     s = SAT('glucose')
....:     s.add_clause((1000,10))
....:     _ = s()
....:     del s
....:     
sage: ls /tmp/tmp8tkni7g0/
AAAAAAw9zty138  tmp__9688b61  tmp_j6m8wx1d  tmp_yfyquecu
tmp_130r60ii    tmp_97giqg02  tmp_rq5xdtoa  tmp_z6knu_hr
tmp_1hbs_ysf    tmp_hun_mc3u  tmp_v5h_3r_b

These file add up to 20 GB of memory on a problem (involving lots of sat instances) I was recently looking at.

Additional Information

Here is one way to fix it (os.unlink):

sage: tmp_filename('AAAAAA')
'/tmp/tmp8tkni7g0/AAAAAAw9zty138'
sage: ls /tmp/tmp8tkni7g0/
AAAAAAw9zty138
sage: 
sage: for _ in range(10):
....:     s = SAT('glucose')
....:     s.add_clause((1000,10))
....:     _ = s()
....:     os.unlink(s._headname)
....:     del s
....:     
sage: ls /tmp/tmp8tkni7g0/
AAAAAAw9zty138

Environment

- **OS**: Ubuntu 18.04
- **Sage Version**: 10.4.beta9, Release Date: 2024-06-09

Checklist

• I have searched the existing issues for a bug report that matches the one I want to file, without success.
• I have read the documentation and troubleshoot guide