Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_wcsp_spot5_log_28.wcsp.log.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/wcsp/spot5/log/28.wcsp.log.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 153095
o 293110
o 293105
o 292115
o 292110
o 292105
o 291115
o 291110
o 291105
o 290115
o 290110
o 290105
o 289115
o 289110
o 289105
o 288115
o 288110
o 288105
o 287110
o 287105
o 286115
o 286110
o 286105
o 285110
o 285105
o 284105
o 283110
o 283105
o 282115
o 282110
o 282105
o 281110
o 281105
o 280115
o 280110
o 280105
o 279110
o 279105
o 278115
o 278110
o 278105
Killed
1979.561u 0.137s 33:12.06 99.3%	0+0k 0+0io 0pf+0w