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-100-2_network-7.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-7.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 110739
o 110739
o 110708
o 110526
o 110435
o 110418
o 110327
o 110317
o 110303
o 110286
o 110195
o 110185
o 110125
o 110114
o 109943
o 109932
o 109835
o 109824
o 109814
o 109750
o 109739
o 109729
o 109559
o 109377
o 109366
o 109286
o 109275
o 109269
o 109258
o 109178
o 109167
o 109157
o 109081
o 109070
o 109060
o 108996
o 108985
o 108975
o 108805
o 108623
o 108612
o 108532
o 108521
o 108515
o 108504
o 108424
o 108413
o 108403
o 108257
o 108246
o 108235
o 108224
o 108053
o 108042
o 107962
o 107951
o 107941
o 107865
o 107854
o 107844
o 107780
o 107769
o 107759
o 107685
o 107503
o 107481
o 107299
o 107288
o 107208
o 107197
o 107187
o 107183
o 107001
o 106979
o 106797
o 106706
o 106695
o 106685
o 106648
o 106637
o 106553
o 106542
o 106371
o 106360
o 106349
o 106338
o 106167
o 106156
o 106076
o 106065
o 106051
o 106040
o 105869
o 105858
o 105847
o 105836
o 105665
o 105654
o 105574
o 105563
o 105535