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-7.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-200-1_network-7.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 207315
o 207315
o 207305
o 207231
o 207195
o 207164
o 207157
o 207122
o 207120
o 207094
o 207020
o 206978
o 206950
o 206926
o 206901
o 206884
o 206856
o 206831
o 206830
o 206802
o 206778
o 206753
o 206736
o 206708
o 206683
o 206657
o 206650
o 206615
o 206613
o 206587
o 206513
o 206499
o 206479
o 206466
o 206438
o 206435
o 206407
o 206400
o 206393
o 206365
o 206337
o 206291
o 206263
o 206255
o 206227
o 206224
o 206196
o 206189
o 206182
o 206154
o 206126
o 206080
o 206052
o 206043
o 206015
o 206013
o 205987
o 205941
o 205913
o 205862
o 205834
o 205819
o 205799
o 205786
o 205758
o 205755
o 205727
o 205720
o 205713
o 205685
o 205683
o 205657
o 205611
o 205583