Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-ms_industrial-_home_maxsat_benchmarks_ms_industrial_SeanSafarpour_rsdecoder1_blackbox_CSEEblock-problem.dimacs_32.filtered.cnf
Job file: /home/maxsat/benchmarks/ms_industrial/SeanSafarpour/rsdecoder1_blackbox_CSEEblock-problem.dimacs_32.filtered.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c Number of variables occuring in the formula: 248436 max variable = 277950 -> remapping
o 26794
o 26793
o 26792
o 26791
o 26790
o 26789
o 26788
o 26787
o 26786
o 26785
o 26784
o 26783
o 26782
o 26781
o 26780
o 26779
o 26778
o 26777
o 26776
o 26775
o 26774
o 26773
o 26772
o 26771
o 26770
o 26769
o 26768
o 26767
o 26766
o 26765
o 26764
o 26763
o 26762
o 26761
o 26760
o 26759
o 26758
o 26757
o 26756
o 26755
o 26754
o 26753
o 26752
o 26751
o 26750
o 26749
o 26748
o 26747
Killed
1979.321u 0.399s 33:12.32 99.3%	0+0k 0+0io 0pf+0w