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-1.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-1.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 75855
o 75855
o 75847
o 75802
o 75711
o 75684
o 75593
o 75542
o 75515
o 75424
o 75387
o 75360
o 75269
o 75179
o 75128
o 75101
o 75010
o 74973
o 74946
o 74855
o 74833
o 74806
o 74765
o 74715
o 74670
o 74643
o 74602
o 74552
o 74526
o 74506
o 74475
o 74455
o 74448
o 74407
o 74357
o 74337
o 74292
o 74251
o 74201
o 74174
o 74133
o 74083
o 74082
o 74032
o 74005
o 73964
o 73914
o 73877
o 73850
o 73809
o 73759
o 73747
o 73697
o 73696
o 73646
o 73619
o 73578
o 73528
o 73491
o 73464
o 73423
o 73373
o 73371
o 73339
o 73303
o 73248
o 73213
o 73172
o 73122
o 73098
o 73094
o 73044
o 73003
o 72953
o 72905
o 72855
o 72814
o 72764
o 72744
o 72736
o 72686
o 72645
o 72595
o 72575
o 72567
o 72517
o 72516
o 72466
o 72462
o 72412
o 72371
o 72321
o 72297
o 72293
o 72243
o 72202
o 72152
o 72119
o 72095
o 72000
o 71950
o 71903
o 71883
o 71875
o 71825
o 71784
o 71734
o 71714
o 71706
o 71656
o 71655
o 71605
o 71601
o 71551
o 71510
o 71460
o 71436
o 71432
o 71382
o 71341
o 71291
o 71271
o 71251
o 71217
o 71197
o 71182
o 71162
o 71147
o 71107
o 70981
o 70926
o 70876
o 70835
o 70785
o 70765
o 70757
o 70707
o 70666
o 70616
o 70596
o 70583
o 70563
o 70464
o 70414
o 70394
o 70356
o 70336
o 70321
o 70301
o 70231
o 70191
o 70065
o 70015
o 69974
o 69924
o 69904
o 69896
o 69846
o 69805
o 69755
o 69735
Killed
1980.260u 0.011s 33:02.18 99.9%	0+0k 0+0io 0pf+0w