Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-pms_industrial-_home_maxsat_benchmarks_pms_industrial_HaplotypeAssembly_splitedReads_0.matrix.wcnf
Job file: /home/maxsat/benchmarks/pms_industrial/HaplotypeAssembly/splitedReads_0.matrix.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 4421
o 4419
o 4417
o 4415
o 4413
o 4411
o 4409
o 4407
o 4405
o 4404
o 4403
o 4402
o 4401
o 4400
o 4399
o 4398
o 4397
o 4396
o 4395
o 4394
o 4393
o 4392
o 4391
o 4390
o 4389
Killed
1979.629u 0.070s 33:13.66 99.2%	0+0k 0+0io 6pf+0w