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-1.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-1.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 57669
o 57669
c first lower bound: 23054
o 57613
o 57583
o 57407
o 57377
o 57259
o 57229
o 57016
o 56986
o 56863
o 56833
o 56794
o 56764
o 56722
o 56692
o 56672
o 56642
o 56484
o 56454
o 56369
o 56339
o 56331
o 56301
o 56216
o 56186
o 56166
o 56136
o 56044
o 56014
o 55972
o 55942
o 55922
o 55892
o 55619
o 55589
o 55466
o 55436
o 55322
o 55292
o 55128
o 55098
o 55019
o 54989
o 54875
o 54845
o 54681
o 54651
Killed
1979.981u 0.075s 33:08.59 99.5%	0+0k 0+0io 0pf+0w