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-11.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/haplotyping-pedigrees/ped3.G.recomb10-0.20-11.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 13299
c lw 13640
c lw 13981
c lw 14322
c lw 14663
c lw 15004
c lw 15005
c lw 15006
c lw 15007
c lw 15008
c lw 15009
c lw 15010
c lw 15011
c lw 15012
c lw 15013
c lw 15014
c lw 15015
c lw 15016
c lw 15017
c lw 15018
c lw 15019
c lw 15020
c lw 15021
c lw 15022
c lw 15023
c lw 15024
c lw 15025
c lw 15026
c lw 15027
c lw 15028
c lw 15029
c lw 15030
c lw 15031
c lw 15032
c lw 15033
c lw 15034
c lw 15035
c lw 15036
c lw 15037
c lw 15038
c lw 15039
c lw 15040
c lw 15041
c lw 15042
c lw 15043
c lw 15044
c lw 15045
c lw 15046
c lw 15047
c lw 15048
c lw 15049
c lw 15050
c lw 15051
c lw 15052
c lw 15053
c lw 15054
c lw 15055
c lw 15056
c lw 15057
c lw 15058
c lw 15059
Killed
1978.657u 1.094s 33:00.81 99.9%	0+0k 0+0io 0pf+0w