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-3.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-3.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 79582
o 79582
o 79519
o 79454
o 79424
o 79422
o 79394
o 79364
o 79362
o 79286
o 79226
o 79225
o 79150
o 79006
o 78892
o 78832
o 78777
o 78663
o 78588
o 78444
o 78330
o 78270
o 78267
o 78262
o 78232
o 78230
o 78154
o 78094
o 78091
o 77970
o 77856
o 77798
o 77684
o 77609
o 77465
o 77351
o 77312
o 77198
o 77138
o 77135
o 77005
o 76898
o 76833
o 76803
o 76801
o 76691
o 76626
o 76596
o 76594
o 76555
o 76458
o 76385
o 76271
o 76178
o 76064
o 76007
o 75967
o 75823
o 75709
o 75616
o 75502
o 75494
o 75464
o 75462
o 75423
o 75326
o 75263
o 75224
o 75110
o 75028
o 74988
o 74844
o 74730
o 74637
o 74523
o 74484
o 74370
o 74334
o 74220
o 74127
o 74013
o 73914
o 73821
o 73707
o 73683
o 73590
o 73476
o 73381
o 73345
o 73231
o 73138
o 73024
o 72925
o 72832
o 72718
o 72677
o 72574
o 72487
o 72446
o 72343
Killed
1980.051u 0.229s 33:02.83 99.8%	0+0k 0+0io 0pf+0w