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-2.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-2.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 79711
o 79711
o 79698
o 79677
o 79526
o 79472
o 79397
o 79365
o 79351
o 79322
o 79291
o 79171
o 79117
o 79103
o 79003
o 78949
o 78846
o 78817
o 78666
o 78612
o 78518
o 78482
o 78450
o 78364
o 78328
o 78296
o 78282
o 78268
o 78253
o 78222
o 78138
o 78102
o 78084
o 78048
o 78034
o 77970
o 77934
o 77916
o 77880
o 77813
o 77777
o 77748
o 77633
o 77597
o 77579
o 77543
o 77530
o 77446
o 77410
o 77392
o 77356
o 77342
o 77278
o 77242
o 77224
o 77188
o 77121
o 77085
o 77056
o 76941
o 76905
o 76887
o 76851
o 76835
o 76720
o 76684
o 76666
o 76630
o 76626
o 76599
o 76581
o 76545
o 76538
o 76502
o 76488
o 76462
o 76448
o 76430
o 76412
o 76376
o 76362
o 76334
o 76330
o 76294
o 76262
o 76244
o 76208
o 76191
o 76155
o 76149
o 76113
o 76109
o 76073
o 76041
o 76023
o 75987
o 75978
o 75971
o 75935
o 75926
o 75879
o 75843
o 75836
o 75800
o 75791
o 75757
o 75750
o 75714
o 75705
Killed
1980.191u 0.066s 33:01.37 99.9%	0+0k 0+0io 0pf+0w