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-6.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-6.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 78456
o 78456
o 78424
o 78388
o 78228
o 78165
o 78068
o 78035
o 77972
o 77875
o 77822
o 77789
o 77726
o 77629
o 77573
o 77520
o 77519
o 77327
o 77229
o 77179
o 77156
o 77155
o 77008
o 76975
o 76815
o 76801
o 76641
o 76569
o 76395
o 76346
o 76153
o 76142
o 76109
o 75949
o 75896
o 75703
o 75595
o 75507
o 75347
o 75314
o 75154
o 75101
o 74908
o 74810
o 74750
o 74718
o 74620
o 74605
o 74508
o 74452
o 74399
o 74398
o 74206
o 74108
o 74058
o 74020
o 73995
o 73867
o 73602
o 73440
o 73292
o 73194
o 73079
o 73047
o 72895
o 72761
o 72649
o 72515
o 72426
o 72386
o 72226
o 72193
o 72033
o 71980
o 71787
o 71689
o 71629
o 71587
o 71495
o 71394
o 71367
o 71244
o 71174
o 71152
o 71121
o 70998
o 70928
o 70868
Killed
1980.242u 0.033s 33:02.62 99.8%	0+0k 0+0io 0pf+0w