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-12.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/haplotyping-pedigrees/ped2.G.recomb10-0.20-12.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 50547
c lw 51128
c lw 51709
c lw 52290
c lw 52871
c lw 53452
c lw 54033
c lw 54614
c lw 54615
c lw 54616
c lw 54617
c lw 54618
c lw 54619
c lw 54620
c lw 54621
c lw 54622
c lw 54623
c lw 54624
c lw 54625
c lw 54626
c lw 54627
c lw 54628
c lw 54629
c lw 54630
c lw 54631
c lw 54632
c lw 54633
c lw 54634
c lw 54635
c lw 54636
c lw 54637
c lw 54638
c lw 54639
c lw 54640
c lw 54641
c lw 54642
c lw 54643
c lw 54644
c lw 54645
c lw 54646
c lw 54647
c lw 54648
c lw 54649
c lw 54650
c lw 54651
c lw 54652
c lw 54653
c lw 54654
c lw 54655
c lw 54656
c lw 54657
c lw 54658
c lw 54659
c lw 54660
c lw 54661
c lw 54662
c lw 54663
c lw 54664
c lw 54665
c lw 54666
c lw 54667
c lw 54668
c lw 54669
c lw 54670
c lw 54671
c lw 54672
c lw 54673
c lw 54674
c lw 54675
c lw 54676
c lw 54677
c lw 54678
c lw 54679
c lw 54680
c lw 54681
c lw 54682
c lw 54683
c lw 54684
c lw 54685
c lw 54686
c lw 54687
c lw 54688
c lw 54689
c lw 54690
c lw 54691
c lw 54692
c lw 54693
c lw 54694
c lw 54695
c lw 54696
c lw 54697
c lw 54698
c lw 54699
c lw 54700