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-240-1_network-8.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-240-1_network-8.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 255973
o 255973
o 255962
o 255957
o 255889
o 255884
o 255816
o 255806
o 255790
o 255785
o 255717
o 255712
o 255644
o 255639
o 255571
o 255527
o 255522
o 255454
o 255445
o 255441
o 255415
o 255405
o 255389
o 255384
o 255316
o 255311
o 255243
o 255238
o 255170
o 255126
o 255121
o 255053
o 255044
o 255040