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-15.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/haplotyping-pedigrees/ped2.G.recomb10-0.20-15.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 47643
c lw 47644
c lw 47645
c lw 47646
c lw 47647
c lw 47648
c lw 47649
c lw 47650
c lw 47651
c lw 47652
c lw 47653
c lw 47654
c lw 47655
c lw 47656
c lw 47657
c lw 47658
c lw 47659
c lw 47660
c lw 47661
c lw 47662
c lw 47663
c lw 47664
c lw 47665
c lw 47666
c lw 47667
c lw 47668
c lw 47669
c lw 47670
c lw 47671
c lw 47672
c lw 47673
c lw 47674
c lw 47675
c lw 47676
c lw 47677
c lw 47678
c lw 47679
c lw 47680
c lw 47681
c lw 47682
c lw 47683
c lw 47684
c lw 47685
c lw 47686
c lw 47687
c lw 47688
c lw 47689
c lw 47690
c lw 47691
c lw 47692
c lw 47693
c lw 47694
c lw 47695
c lw 47696
c lw 47697
c lw 47698
c lw 47699
c lw 47700
c lw 47701
c lw 47702
c lw 47703
c lw 47704
c lw 47705
c lw 47706
c lw 47707
c lw 47708
c lw 47709
c lw 47710
c lw 47711
c lw 47712
c lw 47713
c lw 47714