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-100-2_network-3.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-3.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 100510
o 100510
c first lower bound: 38947
o 100490
o 100461
o 100434
o 100405
o 100401
o 100372
o 100322
o 100293
o 100266
o 100237
o 100218
o 100168
o 100139
o 100112
o 100083
Killed
1980.522u 0.032s 33:07.60 99.6%	0+0k 0+0io 0pf+0w