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-100-2_network-3.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-3.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 100510
o 100510
o 100417
o 100384
o 100263
o 100149
o 100116
o 99995
o 99988
o 99867
o 99832
o 99799
o 99718
o 99678
o 99665
o 99623
o 99502
o 99469
o 99348
o 99309
o 99280
o 99238
o 99159
o 99107
o 99065
o 99023
o 98944
o 98911
o 98869
o 98790
o 98736
o 98650
o 98394
o 98273
o 98240
o 98119
o 98025
o 97904
o 97871
o 97750
o 97721
o 97600
o 97548
o 97506
o 97385
o 97352
o 97231
o 97047
o 97005
o 96884
o 96873
o 96855
o 96734
o 96723
o 96528
o 96486
o 96365
o 96354
o 96353
o 96344
o 96223
o 96212
o 96211
o 96122
o 96111
o 96101
o 95980
o 95969
o 95968
o 95924
o 95923
o 95823
o 95822
o 95802
o 95681
o 95680
o 95578
o 95567
o 95372
o 95330
o 95209
o 95198
o 95197
o 95188
o 95067
o 95056
o 95055
o 95031
o 94910
o 94899
o 94889
o 94768
o 94757
o 94756
o 94700
o 94689
o 94646
o 94635
o 94634
o 94525
o 94514
o 94513
o 94457
o 94446
o 94403
o 94392
o 94391
o 94347
o 94346
o 94226
o 94225
o 94158
o 94104
o 94103
o 94026
o 94015
o 93958
o 93947
o 93904
o 93893
o 93783
o 93772
o 93715
o 93704
o 93661
o 93650
o 93605
o 93484
o 93416
o 93362
o 93290
o 93289
o 93222
o 93168
o 93167
o 93146
o 93135
o 93109
o 93098
o 93024
o 93013
o 92989
o 92978
o 92847
o 92836
o 92779
o 92768
o 92725
o 92714
o 92690
o 92548
o 92480
o 92426
o 92355
o 92287
o 92233
Killed
1980.526u 0.029s 33:00.83 99.9%	0+0k 0+0io 0pf+0w