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-200-1_network-5.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-200-1_network-5.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 202892
o 202892
o 202854
o 202848
o 202840
o 202834
o 202790
o 202784
o 202779
o 202773
o 202729
o 202723
o 202720
o 202714
o 202670
o 202664
o 202641
o 202635
o 202618
o 202612
o 202607
o 202601
o 202557
o 202551
o 202548
o 202542
o 202498
o 202492
o 202469
o 202463