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-80-2_network-4.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-4.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 84006
o 84006
o 83955
o 83936
o 83861
o 83788
o 83767
o 83692
o 83619
o 83584
o 83563
o 83488
o 83415
o 83364
o 83291
o 83286
o 83202
o 83127
o 83054
o 83048
o 83043
o 82959
o 82884
o 82811
o 82755
o 82680
o 82607
o 82549
o 82476
o 82470
o 82465
o 82381
o 82306
o 82233
o 82177
o 82102
o 82029
o 82019
o 82011
o 82006
o 81922
o 81847
o 81774
o 81731
o 81718
o 81658
o 81645
o 81643
o 81570
o 81527
o 81514
o 81454
o 81441
o 81382
o 81307
o 81234
o 81191
o 81178
o 81118
o 81105
o 81103
o 81030
o 80987
o 80974
o 80914
o 80901
o 80863
o 80788
o 80715
o 80659
o 80584
o 80511
o 80485
o 80429
o 80354
o 80281
o 80268
o 80212
o 80137
o 80064
o 80054
o 80023
o 79950
o 79923
o 79850
o 79824
o 79793
o 79720
o 79693
o 79620
Killed
1980.271u 0.010s 33:12.32 99.3%	0+0k 0+0io 0pf+0w