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_11.filtered.cnf
Job file: /home/maxsat/benchmarks/ms_industrial/SeanSafarpour/divider-problem.dimacs_11.filtered.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c Number of variables occuring in the formula: 215946 max variable = 215964 -> remapping
o 22619
o 22618
o 22617
o 22616
o 22615
o 22614
o 22613
o 22612
o 22611
o 22610
o 22609
o 22608
o 22607
o 22606
o 22605
o 22604
o 22603
o 22602
o 22601
o 22600
o 22599
o 22598
o 22597
o 22596
o 22595
o 22594
Killed
1979.345u 0.368s 33:09.50 99.5%	0+0k 0+0io 0pf+0w