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-8.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-8.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 77057
o 77057
o 76975
o 76952
o 76929
o 76855
o 76840
o 76766
o 76707
o 76692
o 76618
o 76603
o 76588
o 76514
o 76452
o 76403
o 76395
o 76341
o 76329
o 76267
o 76218
o 76210
o 76156
o 76138
o 76130
o 76076
o 76018
o 76014
o 75993
o 75870
o 75766
o 75704
o 75652
o 75563
o 75466
o 75377
o 75318
o 75229
o 75214
o 75125
o 75063
o 75014
o 75006
o 74952
o 74940
o 74878
o 74829
o 74821
o 74767
o 74766
o 74717
o 74709
o 74655
o 74637
o 74629
o 74575
o 74560
o 74542
o 74534
o 74480
Killed
1980.169u 0.014s 33:12.82 99.3%	0+0k 0+0io 0pf+0w