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-10.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-240-1_network-10.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 249993
o 249993
o 249971
o 249948
o 249877
o 249830
o 249824
o 249777
o 249776
o 249753
o 249682
o 249635
o 249629
o 249582
o 249546
o 249538
o 249535
o 249488
o 249480
o 249465
o 249457
o 249394
o 249347
o 249339
o 249294
o 249286
o 249275
o 249267
o 249264
o 249217
o 249209
o 249194
o 249186
o 249123
o 249076
o 249068
o 249023
o 249015
o 249014
o 248999
o 248991
o 248928
o 248881
o 248873
o 248828
o 248820
o 248818
o 248811
o 248772
o 248741
o 248714
o 248659
o 248612
o 248573
o 248559
o 248520
o 248501
o 248482
o 248443
o 248388
o 248341
o 248302
o 248288
o 248249
o 248248
o 248193
o 248146
o 248107
o 248093
o 248054
o 248027
o 248008
o 247997
o 247950
o 247927
o 247856
o 247809
o 247803
o 247756
o 247710
o 247699
o 247652
o 247629
o 247558
o 247511
o 247505
o 247458
o 247439
o 247428
o 247381
o 247358
o 247287
o 247240
o 247234
o 247187
o 247186
o 247163
o 247092
o 247045
o 247039
o 246992
o 246987
o 246981
o 246934
o 246915
o 246904
o 246857
o 246834
o 246797
o 246763
o 246716
o 246710
o 246663
o 246662
o 246656
o 246609
o 246602
o 246568
o 246521
o 246515
o 246468
o 246461
o 246453
o 246452
o 246405
o 246358
o 246350
o 246319
o 246311
o 246305
o 246297
o 246266
o 246258
o 246248
o 246193
o 246146
o 246107
o 246093
o 246054
o 246035
o 246016
o 245977
o 245922
o 245875
o 245836
o 245822
o 245783
o 245749
o 245717
o 245698
o 245659
o 245604
o 245557
o 245518
o 245504
o 245465
o 245461
o 245422
o 245416
o 245412
o 245373
o 245358
o 245287
o 245240
o 245201
o 245187
o 245148
o 245129
o 245090
o 245035
o 244988
o 244949
o 244935
o 244896
o 244877
o 244858
o 244819
o 244764
o 244717
o 244678
o 244664
o 244625