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-9.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-9.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 102125
o 102125
o 102116
o 102059
o 102049
o 102039
o 101982
o 101894
o 101837
o 101827
o 101787
o 101777
o 101767
o 101710
o 101622
o 101565
o 101555
o 101512
o 101502
o 101427
o 101417
o 101359
o 101349
o 101325
o 101315
o 101306
o 101296
o 101272
o 101262
o 101177
o 101167
o 101109
o 101099
o 101075
o 101065
o 100955
o 100945
o 100887
o 100877
o 100853
o 100843
o 100837
o 100827
o 100803
o 100793
o 100683
o 100673
o 100615
o 100605
o 100581
o 100571
o 100562
o 100552
o 100528
o 100518
Killed
1980.580u 0.014s 33:02.61 99.8%	0+0k 0+0io 0pf+0w