Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WPM1-wpms_industrial-_home_maxsat_benchmarks_wpms_industrial_haplotyping-pedigrees_ped3.F.recomb10-0.20-12.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/haplotyping-pedigrees/ped3.F.recomb10-0.20-12.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 341
c lw 682
c lw 1023
c lw 1364
c lw 1705
c lw 2046
c lw 2387
c lw 2728
c lw 3069
c lw 3410
c lw 3751
c lw 4092
c lw 4433
c lw 4774
c lw 5115
c lw 5456
c lw 5797
c lw 5798
c lw 5799
c lw 5800
c lw 5801
c lw 5802
c lw 5803
c lw 5804
c lw 5805
c lw 5806
c lw 5807
c lw 5808
c lw 5809
c lw 5810
c lw 5811
c lw 5812
c lw 5813
c lw 5814
c lw 5815
c lw 5816
c lw 5817
c lw 5818
c lw 5819
c lw 5820
c lw 5821
c lw 5822
c lw 5823
c lw 5824
c lw 5825
c lw 5826
c lw 5827
c lw 5828
c lw 5829
c lw 5830
c lw 5831
c lw 5832
c lw 5833
c lw 5834
c lw 5835
c lw 5836
c lw 5837
c lw 5838