Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_random-net_random-net-60-2_network-4.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-4.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 59627
o 59627
o 59467
o 59353
o 59328
o 59214
o 59203
o 59150
o 58980
o 58866
o 58855
o 58753
o 58691
o 58521
o 58407
o 58382
o 58268
o 58257
o 58130
o 58119
o 58045
o 58034
o 58010
o 57937
o 57926
o 57914
o 57889
o 57775
o 57764
o 57637
o 57626
o 57568
o 57557
o 57521
o 57510
o 57383
o 57372
o 57314
o 57303
o 57287
o 57129
o 57118
o 57113
o 57102
Killed
1979.919u 0.128s 33:10.67 99.4%	0+0k 0+0io 0pf+0w