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.G.recomb10-0.20-15.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/haplotyping-pedigrees/ped3.G.recomb10-0.20-15.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 8866
c lw 9207
c lw 9548
c lw 9889
c lw 10230
c lw 10571
c lw 10912
c lw 11253
c lw 11594
c lw 11935
c lw 12276
c lw 12617
c lw 12958
c lw 13299
c lw 13640
c lw 13981
c lw 14322
c lw 14663
c lw 15004
c lw 15345
c lw 15346
c lw 15347
c lw 15348
c lw 15349
c lw 15350
c lw 15351
c lw 15352
c lw 15353
c lw 15354
c lw 15355
c lw 15356
c lw 15357
c lw 15358
c lw 15359
c lw 15360
c lw 15361
c lw 15362
c lw 15363
c lw 15364
c lw 15365
c lw 15366
c lw 15367
c lw 15368
c lw 15369
c lw 15370
c lw 15371
c lw 15372
c lw 15373
c lw 15374
c lw 15375
c lw 15376
c lw 15377
c lw 15378
c lw 15379
c lw 15380
c lw 15381
c lw 15382
c lw 15383
c lw 15384
c lw 15385
c lw 15386
c lw 15387
c lw 15388
c lw 15389
c lw 15390
c lw 15391
c lw 15392
c lw 15393
c lw 15394
c lw 15395
c lw 15396
c lw 15397
c lw 15398
c lw 15399
c lw 15400
c lw 15401
c lw 15402
c lw 15403
c lw 15404
c lw 15405