Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wbo-1.4b-wcnf-pms_industrial-_home_maxsat_benchmarks_pms_industrial_bcp-hipp-yRa1_simp_simp-test_chr21_YRI_75.wcnf
Job file: /home/maxsat/benchmarks/pms_industrial/bcp-hipp-yRa1/simp/simp-test_chr21_YRI_75.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 69
o 68
o 67
o 66
o 62
o 59
o 58
o 57
o 56
o 55
o 54
o 53
o 52
o 51
o 50
o 49
o 48
o 47
o 46
o 45
o 44
c core #1
c 
c 
c Core size: 25	Core Weight: 1	Total Weight: 36
c
c
c core #2
c 
c 
c Core size: 32	Core Weight: 1	Total Weight: 37
c
c
c core #3
c 
c 
c Core size: 40	Core Weight: 1	Total Weight: 38
c
c
c core #4
c 
c 
c Core size: 103	Core Weight: 1	Total Weight: 39
c
c
c core #5
c 
c 
c Core size: 116	Core Weight: 1	Total Weight: 40
c
c
c core #6
c 
c 
c Core size: 257	Core Weight: 1	Total Weight: 41
c
c
c core #7
c 
c 
c Core size: 282	Core Weight: 1	Total Weight: 42
c
c