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-7.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-7.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 81798
o 81798
o 81714
o 81641
o 81636
o 81546
o 81449
o 81359
o 81354
o 81264
o 81191
o 81186
o 81096
o 81095
o 81005
o 80932
o 80927
o 80837
o 80740
o 80650
o 80645
o 80555
o 80482
o 80477
o 80387
o 80363
o 80290
o 80285
o 80195
o 80134
o 80106
o 80016
o 80011
o 79921
o 79778
o 79688
o 79683
o 79593
o 79575
o 79546
o 79328
o 79238
o 79233
o 79143
o 79069
o 78979
o 78974
o 78884
o 78619
o 78529
o 78524
o 78434
o 78427
o 78337
o 78332
o 78242
o 78216
o 78126
o 78121
o 78031
o 78030
o 77940
o 77935
o 77845
o 77766
o 77676
o 77671
o 77581
o 77574
o 77484
o 77479
o 77389
o 77248
o 77158
o 77153
o 77063
o 76989
o 76899
o 76894
o 76804
o 76539
o 76449
o 76444
o 76354
o 76280
o 76190
o 76185
o 76095
o 76046
o 75956
o 75938
o 75720
o 75630
o 75461
o 75371
o 75353
o 75350
o 75334
o 75331
o 75011
o 74921
o 74752
o 74662
o 74597
o 74532
o 74496
Killed
1980.308u 0.047s 33:04.65 99.7%	0+0k 0+0io 0pf+0w