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.E.recomb10-0.20-14.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/haplotyping-pedigrees/ped3.E.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 8526
c lw 8527
c lw 8528
c lw 8529
c lw 8530
c lw 8531
c lw 8532
c lw 8533
c lw 8534
c lw 8535
c lw 8536
c lw 8537
c lw 8538
c lw 8539
c lw 8540
c lw 8541
c lw 8542
c lw 8543
c lw 8544
c lw 8545
c lw 8546
c lw 8547
c lw 8548
c lw 8549
c lw 8550
c lw 8551
c lw 8552