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-14.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/haplotyping-pedigrees/ped3.G.recomb10-0.20-14.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 11936
c lw 11937
c lw 11938
c lw 11939
c lw 11940
c lw 11941
c lw 11942
c lw 11943
c lw 11944
c lw 11945
c lw 11946
c lw 11947
c lw 11948
c lw 11949
c lw 11950
c lw 11951
c lw 11952
c lw 11953
c lw 11954
c lw 11955
c lw 11956
c lw 11957
c lw 11958
c lw 11959
c lw 11960
c lw 11961
c lw 11962
c lw 11963
c lw 11964
c lw 11965
c lw 11966
c lw 11967
c lw 11968
c lw 11969
c lw 11970
c lw 11971
c lw 11972
c lw 11973
c lw 11974
c lw 11975
c lw 11976
c lw 11977
c lw 11978
c lw 11979
c lw 11980
c lw 11981
c lw 11982
c lw 11983
c lw 11984
c lw 11985
c lw 11986
c lw 11987
Killed
1978.596u 1.147s 33:02.54 99.8%	0+0k 0+0io 0pf+0w