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-60-2_network-6.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-6.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 60583
o 60583
o 60547
o 60502
o 60447
o 60393
o 60348
o 60293
o 60239
o 60174
o 60120
o 60094
o 60039
o 59985
o 59920
o 59866
o 59847
o 59793
o 59728
o 59674
o 59668
o 59614
o 59577
o 59497
o 59442
o 59388
o 59323
o 59269
o 59259
o 59205
o 59042
o 58987
o 58933
o 58896
o 58816
o 58761
o 58707
o 58642
o 58588
o 58577
o 58540
o 58405
o 58351
o 58312
o 58266
o 58212
o 58167
o 58112
o 58058
o 57993
o 57939
o 57896
o 57842
o 57777
o 57723
o 57717
o 57663
o 57650
o 57501
o 57447
o 57330
o 57275
o 57221
o 57156
o 57102
o 56919
o 56865
o 56826
o 56767
o 56766
o 56713
o 56712
o 56708
o 56707
o 56640
o 56491
o 56490
o 56437
o 56436
Killed
1980.030u 0.072s 33:10.83 99.4%	0+0k 0+0io 0pf+0w