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.recomb1-0.20-14.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/haplotyping-pedigrees/ped2.G.recomb1-0.20-14.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 5230
c lw 5231
c lw 5232
c lw 5233
c lw 5234
c lw 5235
c lw 5236
c lw 5237
c lw 5238
c lw 5239
c lw 5240
c lw 5241
c lw 5242
c lw 5243
c lw 5244
c lw 5245
c lw 5246
c lw 5247
c lw 5248
c lw 5249
c lw 5250
c lw 5251
c lw 5252
c lw 5253
c lw 5254
c lw 5255
c lw 5256
c lw 5257
c lw 5258
c lw 5259
c lw 5260
c lw 5261
c lw 5262