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-6.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-240-1_network-6.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 255084
o 255084
o 255076
o 255068
o 255012
o 254986
o 254944
o 254918
o 254909
o 254891
o 254865
o 254823
o 254797
o 254778
o 254752
o 254710
o 254684
o 254628
o 254602
o 254560
o 254534
o 254518
o 254476
o 254450
o 254441
o 254415
o 254399
o 254376
o 254357
o 254331
o 254319
o 254303
o 254261
o 254235
o 254226
o 254200
o 254184
o 254161
o 254142
o 254116
o 254092
o 254056
o 254030
o 253988
o 253962
o 253953
o 253935
o 253909
o 253867
o 253841
o 253830
o 253804
o 253762
o 253736
o 253728
o 253672
o 253646
o 253604
o 253578
o 253562
o 253520
o 253494
o 253485
o 253459
o 253443
o 253420
o 253401
o 253375
o 253363
o 253347
o 253305
o 253279
o 253270
o 253244
o 253228
o 253205
o 253186
o 253160
o 253148
o 253136
o 253120
o 253078
o 253052
o 253043
o 253017
o 253001
o 252978
o 252959
o 252933