Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wbo1.6-wpms_industrial-_home_maxsat_benchmarks_wpms_industrial_haplotyping-pedigrees_ped3.D.recomb10-0.20-15.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/haplotyping-pedigrees/ped3.D.recomb10-0.20-15.wcnf
Job solver: /home/maxsat/solvers/wbo1.6/wbo1.6
c core #1
c 
c 
c Core size: 18	Core Weight: 341	Total Weight: 343
c Current CPU time: 0.663899 s
c
c core #2
c 
c 
c Core size: 12	Core Weight: 1	Total Weight: 344
c Current CPU time: 0.85487 s
c
c core #3
c 
c 
c Core size: 22	Core Weight: 1	Total Weight: 345
c Current CPU time: 1.03784 s
c
c core #4
c 
c 
c Core size: 8	Core Weight: 341	Total Weight: 686
c Current CPU time: 1.24181 s
c
c core #5
c 
c 
c Core size: 195	Core Weight: 1	Total Weight: 687
c Current CPU time: 1.49377 s
c
c core #6
c 
c 
c Core size: 530	Core Weight: 1	Total Weight: 688
c Current CPU time: 1.80573 s
c
c #cores: 6
s UNKNOWN
1800.006u 3.029s 30:05.67 99.8%	0+0k 0+0io 0pf+0w