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-8.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-200-1_network-8.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 197833
o 197833
o 197788
o 197762
o 197750
o 197684
o 197658
o 197648
o 197623
o 197597
o 197531
o 197505
o 197493
o 197427
o 197401
o 197391
o 197370
o 197344
o 197266
o 197240
o 197230
o 197113
o 197087
o 197009
o 196983
o 196973
o 196960
o 196882
o 196856
o 196846
o 196729
o 196703
o 196625
o 196599
o 196589
o 196551
o 196525
o 196522
o 196496
o 196478
o 196405
o 196379
o 196237
o 196211
o 196133
o 196107
o 195980
o 195954
o 195876
o 195850
o 195821
o 195795
o 195729
o 195703
o 195691
o 195625
o 195599
o 195596
o 195570
o 195552
o 195479
o 195453
o 195311
o 195285
o 195207
o 195181
o 195054
o 195028
o 194950
o 194924
o 194901
o 194823
o 194797
o 194670
o 194644
o 194566
o 194540
o 194534
o 194456
o 194430
o 194427
o 194349
o 194323
o 194303
o 194277
o 194199
o 194173
o 194155
o 194129
o 194051
o 194025
o 194015
o 193970
o 193944
o 193887
o 193817
o 193791
o 193783
o 193713
o 193687
o 193646
o 193620
o 193493
o 193467
o 193389
o 193363
o 193340
o 193262
o 193236