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.recomb10-0.20-11.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/haplotyping-pedigrees/ped2.G.recomb10-0.20-11.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 21497
c lw 22078
c lw 22659
c lw 23240
c lw 23821
c lw 24402
c lw 24983
c lw 25564
c lw 26145
c lw 26726
c lw 27307
c lw 27888
c lw 28469
c lw 29050
c lw 29631
c lw 30212
c lw 30793
c lw 31374
c lw 31955
c lw 32536
c lw 33117
c lw 33698
c lw 34279
c lw 34860
c lw 35441
c lw 36022
c lw 36603
c lw 37184
c lw 37765
c lw 38346
c lw 38927
c lw 39508
c lw 40089
c lw 40670
c lw 41251
c lw 41832
c lw 42413
c lw 42994
c lw 43575
c lw 44156
c lw 44737
c lw 45318
c lw 45899
c lw 46480
c lw 47061
c lw 47642
c lw 48223
c lw 48804
c lw 49385
c lw 49966
c lw 49967
c lw 49968
c lw 49969
c lw 49970
c lw 49971
c lw 49972
c lw 49973
c lw 49974
c lw 49975
c lw 49976
c lw 49977
c lw 49978
c lw 49979
c lw 49980
c lw 49981
c lw 49982
c lw 49983
c lw 49984
c lw 49985
c lw 49986
c lw 49987
c lw 49988
c lw 49989
c lw 49990
c lw 49991
c lw 49992
c lw 49993
c lw 49994
c lw 49995
c lw 49996
c lw 49997
c lw 49998
c lw 49999
c lw 50000
c lw 50001
c lw 50002
c lw 50003
c lw 50004
c lw 50005
c lw 50006
c lw 50007
c lw 50008
c lw 50009
c lw 50010
c lw 50011
c lw 50012
c lw 50013
c lw 50014
c lw 50015
c lw 50016
c lw 50017
c lw 50018
c lw 50019
c lw 50020
c lw 50021
c lw 50022
c lw 50023
c lw 50024
c lw 50025
c lw 50026
c lw 50027
c lw 50028
c lw 50029
c lw 50030
c lw 50031
c lw 50032
c lw 50033
c lw 50034
c lw 50035
c lw 50036
c lw 50037