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-14.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/haplotyping-pedigrees/ped2.G.recomb10-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 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 41252
c lw 41253
c lw 41254
c lw 41255
c lw 41256
c lw 41257
c lw 41258
c lw 41259
c lw 41260
c lw 41261
c lw 41262
c lw 41263
c lw 41264
c lw 41265
c lw 41266
c lw 41267
c lw 41268
c lw 41269
c lw 41270
c lw 41271
c lw 41272
c lw 41273
c lw 41274
c lw 41275
c lw 41276
c lw 41277
c lw 41278
c lw 41279
c lw 41280
c lw 41281
c lw 41282
c lw 41283
c lw 41284
c lw 41285
c lw 41286
c lw 41287
c lw 41288
c lw 41289
c lw 41290
c lw 41291
c lw 41292
c lw 41293
c lw 41294
c lw 41295
c lw 41296
c lw 41297
c lw 41298
c lw 41299
c lw 41300
c lw 41301
c lw 41302
c lw 41303
c lw 41304
c lw 41305
c lw 41306
c lw 41307
c lw 41308
c lw 41309
c lw 41310
c lw 41311
c lw 41312
c lw 41313
c lw 41314
c lw 41315
c lw 41316
c lw 41317
c lw 41318
c lw 41319
c lw 41320
c lw 41321
c lw 41322
c lw 41323
c lw 41324
c lw 41325
c lw 41326
c lw 41327
c lw 41328
c lw 41329
c lw 41330
c lw 41331
c lw 41332
c lw 41333
c lw 41334
c lw 41335
c lw 41336