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_rsdecoder-problem.dimacs_34.filtered.cnf
Job file: /home/maxsat/benchmarks/ms_industrial/SeanSafarpour/rsdecoder-problem.dimacs_34.filtered.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c Number of variables occuring in the formula: 226035 max variable = 226040 -> remapping
o 25438
o 25437
o 25436
o 25435
o 25434
o 25433
o 25432
o 25431
o 25430
o 25429
o 25428
o 25427
o 25426
o 25425
o 25424
o 25423
o 25422
o 25421
o 25420
o 25419
o 25418
o 25417
o 25416
o 25415
o 25414
o 25413
o 25412
o 25411
o 25410
o 25408
Killed
1979.072u 0.645s 33:15.66 99.2%	0+0k 0+0io 0pf+0w