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_160.matrix.wcnf
Job file: /home/maxsat/benchmarks/pms_industrial/HaplotypeAssembly/splitedReads_160.matrix.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 4714
o 4712
o 4710
o 4708
o 4706
o 4704
o 4702
o 4700
o 4698
o 4696
o 4694
o 4692
o 4690
o 4688
o 4686
o 4684
o 4682
o 4680
o 4678
o 4676
o 4674
o 4672
o 4670
o 4668
o 4666
Killed
1979.665u 0.035s 33:01.97 99.8%	0+0k 0+0io 6pf+0w