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-80-2_network-10.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-10.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 80433
o 80433
o 80325
o 80215
o 80088
o 79978
o 79951
o 79824
o 79714
o 79708
o 79598
o 79504
o 79450
o 79444
o 79334
o 79227
o 79211
o 79101
o 78908
o 78798
o 78671
o 78561
o 78534
o 78407
o 78297
o 78291
o 78181
o 78109
o 78090
o 78021
o 77949
o 77933
o 77823
o 77630
o 77520
o 77366
o 77256
o 77250
o 77140
o 77068
o 77049
o 76980
o 76908
o 76899
o 76869
o 76827
o 76797
o 76778
o 76739
o 76709
o 76667
o 76637
o 76627
o 76597
o 76555
o 76525
Killed
1980.259u 0.083s 33:13.02 99.3%	0+0k 0+0io 0pf+0w