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-5.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-5.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 102863
o 102863
o 102853
o 102756
o 102714
o 102703
o 102553
o 102498
o 102287
o 102090
o 101929
o 101887
o 101876
o 101726
o 101623
o 101462
o 101420
o 101409
o 101356
o 101259
o 101183
o 101127
o 101006
o 100916
o 100874
o 100863
o 100713
o 100658
o 100543
o 100382
o 100340
o 100329
o 100276
o 100179
o 100089
o 100047
o 100036
o 99886
o 99826
o 99771
o 99732
o 99571
o 99561
o 99453
o 99400
o 99292
o 99278
o 99268
o 99160
o 99107
o 98999
o 98947
o 98839
o 98825
o 98815
o 98707
o 98654
o 98546
o 98532
o 98448
o 98371
o 98278
o 98225
o 98117
o 98049
o 97972
o 97959
o 97882
o 97840
o 97756
o 97679
o 97634
o 97592
o 97508
o 97431
o 97373
o 97296
o 97203
o 97126
o 97042
o 96965
o 96923
o 96839
o 96762
o 96749
o 96672
o 96630
o 96546
o 96469
o 96409
o 96392
o 96315
o 96231
o 96154
o 96113
o 96036
o 95952
o 95875
o 95861
o 95820
o 95743
o 95659
o 95582
o 95489
o 95436
o 95328
o 95323
o 95309
o 95268
o 95191
o 95107
o 95030
o 95011
o 94997
o 94956
o 94879
o 94795
o 94718
o 94625
o 94572
o 94464
o 94450
o 94366
o 94289