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_ped2.G.recomb5-0.20-12.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/haplotyping-pedigrees/ped2.G.recomb5-0.20-12.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 581
c lw 1162
c lw 1743
c lw 2324
c lw 2905
c lw 3486
c lw 4067
c lw 4648
c lw 5229
c lw 5810
c lw 6391
c lw 6972
c lw 7553
c lw 8134
c lw 8715
c lw 9296
c lw 9877
c lw 10458
c lw 11039
c lw 11620
c lw 12201
c lw 12782
c lw 13363
c lw 13944
c lw 14525
c lw 15106
c lw 15687
c lw 16268
c lw 16849
c lw 17430
c lw 18011
c lw 18592
c lw 19173
c lw 19754
c lw 20335
c lw 20916
c lw 20917
c lw 20918
c lw 20919
c lw 20920
c lw 20921
c lw 20922
c lw 20923
c lw 20924
c lw 20925
c lw 20926
c lw 20927
c lw 20928
c lw 20929
c lw 20930
c lw 20931
c lw 20932
c lw 20933
c lw 20934
c lw 20935
c lw 20936
c lw 20937
c lw 20938
c lw 20939
c lw 20940
c lw 20941
c lw 20942
c lw 20943
c lw 20944
c lw 20945
c lw 20946
c lw 20947
c lw 20948
c lw 20949
c lw 20950
c lw 20951
c lw 20952
c lw 20953
c lw 20954
c lw 20955
c lw 20956
c lw 20957
c lw 20958
c lw 20959
c lw 20960
c lw 20961
c lw 20962
c lw 20963
c lw 20964
c lw 20965
c lw 20966
c lw 20967
c lw 20968
c lw 20969
c lw 20970