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_divider-problem.dimacs_8.filtered.cnf
Job file: /home/maxsat/benchmarks/ms_industrial/SeanSafarpour/divider-problem.dimacs_8.filtered.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c Number of variables occuring in the formula: 246925 max variable = 246943 -> remapping
o 26931
o 26930
o 26929
o 26928
o 26926
o 26925
o 26924
o 26923
o 26922
o 26921
o 26920
o 26919
o 26918
o 26917
o 26916
o 26915
o 26914
o 26913
o 26912
o 26911
Killed
1978.930u 0.786s 33:12.49 99.3%	0+0k 0+0io 0pf+0w