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-10.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-10.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 103348
o 103348
o 103292
o 103268
o 103262
o 103228
o 103211
o 103131
o 103107
o 103045
o 103021
o 102997
o 102973
o 102965
o 102931
o 102914
o 102834
o 102810
o 102750
o 102726
o 102718
o 102684
o 102667
o 102587
o 102563
o 102530
o 102506
o 102498
o 102464
o 102447
o 102367
o 102343
o 102283
o 102259
o 102251
o 102217
o 102200
o 102120
o 102096
o 102086
o 102069
o 101989
o 101965
o 101905
o 101881
o 101873
o 101839
o 101822
o 101742
o 101718
o 101686
o 101662
o 101603
o 101555
o 101475
o 101458
o 101378
o 101354
o 101320
o 101303
o 101223
o 101199
o 101131
o 101107
o 101073
o 101056
o 100976
o 100952
o 100878
o 100854
o 100786
o 100762
o 100728
o 100711
o 100631
o 100607
o 100597
o 100580
o 100500
o 100476
o 100408
o 100384
o 100350
o 100333
o 100253
o 100229
o 100216
o 100182
o 100085
o 100061
o 100051
o 99954
o 99930
o 99862
o 99838
o 99804
o 99707
o 99683
o 99670
o 99652
o 99611
o 99483
o 99386
o 99362
o 99328
o 99231
o 99207
o 99139
o 99115
o 99081
o 98984
o 98960