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.recomb5-0.20-13.wcnf
Job file: /home/maxsat/benchmarks/wpms_industrial/haplotyping-pedigrees/ped2.G.recomb5-0.20-13.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 30213
c lw 30214
c lw 30215
c lw 30216
c lw 30217
c lw 30218
c lw 30219
c lw 30220
c lw 30221
c lw 30222
c lw 30223
c lw 30224
c lw 30225
c lw 30226
c lw 30227
c lw 30228
c lw 30229
c lw 30230
c lw 30231
c lw 30232
c lw 30233
c lw 30234
c lw 30235
c lw 30236
c lw 30237
c lw 30238
c lw 30239
c lw 30240
c lw 30241
c lw 30242
c lw 30243
c lw 30244
c lw 30245
c lw 30246
c lw 30247
c lw 30248
c lw 30249
c lw 30250
c lw 30251
c lw 30252
c lw 30253
c lw 30254
c lw 30255
c lw 30256
c lw 30257
c lw 30258
c lw 30259
c lw 30260
c lw 30261
c lw 30262
c lw 30263
c lw 30264
c lw 30265
c lw 30266
c lw 30267
c lw 30268
c lw 30269
c lw 30270
c lw 30271