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.G.recomb10-0.20-12.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/haplotyping-pedigrees/ped3.G.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 6138
c lw 6479
c lw 6820
c lw 7161
c lw 7502
c lw 7843
c lw 8184
c lw 8525
c lw 8866
c lw 9207
c lw 9548
c lw 9889
c lw 10230
c lw 10571
c lw 10912
c lw 11253
c lw 11594
c lw 11935
c lw 12276
c lw 12617
c lw 12958
c lw 12959
c lw 12960
c lw 12961
c lw 12962
c lw 12963
c lw 12964
c lw 12965
c lw 12966
c lw 12967
c lw 12968
c lw 12969
c lw 12970
c lw 12971
c lw 12972
c lw 12973
c lw 12974
c lw 12975
c lw 12976
c lw 12977
c lw 12978
c lw 12979
c lw 12980
c lw 12981
c lw 12982
c lw 12983
c lw 12984
c lw 12985
c lw 12986
c lw 12987
c lw 12988
c lw 12989
c lw 12990
c lw 12991
c lw 12992
c lw 12993
c lw 12994
c lw 12995
c lw 12996
c lw 12997
c lw 12998
c lw 12999
c lw 13000
c lw 13001
c lw 13002
c lw 13003
c lw 13004
c lw 13005
c lw 13006
c lw 13007
c lw 13008
c lw 13009
c lw 13010
c lw 13011
c lw 13012
c lw 13013
c lw 13014
c lw 13015
c lw 13016
c lw 13017
c lw 13018
c lw 13019
c lw 13020
c lw 13021