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-1.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-240-1_network-1.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 250462
o 250462
o 250428
o 250415
o 250409
o 250369
o 250363
o 250323
o 250303
o 250290
o 250284
o 250244
o 250238
o 250198
o 250190
o 250164
o 250129
o 250123
o 250083
o 250079
o 250039
o 250004
o 249998
o 249958
o 249950
o 249933
o 249927
o 249887
o 249879