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-9.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-9.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 77299
o 77299
o 77105
o 77086
o 77073
o 77054
o 77041
o 77026
o 77007
o 76994
o 76975
o 76962
o 76846
o 76827
o 76767
o 76748
o 76602
o 76583
o 76576
o 76331
o 76312
o 76252
o 76233
o 76223
o 76216
o 75971
o 75952
o 75892
o 75873
o 75664
o 75645
o 75632
o 75613
o 75600
o 75585
o 75566
o 75553
o 75534
o 75521
o 75405
o 75386
o 75326
o 75307
o 75161
o 75142
o 75135
o 74890
o 74871
o 74811
o 74792
o 74654
o 74635
o 74530
o 74511
o 74451
o 74432
o 74294
o 74275
o 74223
o 74204
o 74066
o 74047
o 73942
o 73923
o 73863
o 73844
o 73706
o 73687
o 73645
o 73626
o 73488
o 73469
o 73417
o 73398
o 73260
o 73241
o 73136
o 73117
o 73057
o 73038
o 72900
o 72881
o 72868
o 72849
o 72711
o 72692
o 72587
o 72568
o 72508
o 72489
o 72351
o 72332
o 72249
o 72237
o 72230
o 72218
o 72217
o 72205
o 72198
o 72186
o 72167
o 72148
o 72135
o 72116
o 71936
o 71924
o 71917
o 71905
o 71857
o 71845
o 71838
o 71826
o 71700
o 71688
o 71681
o 71669
o 71643
o 71631
o 71624
o 71612
o 71605
o 71593
o 71586
o 71574
o 71526
o 71514
o 71507
o 71495
o 71369
o 71357
o 71350
o 71338
o 71330
o 71318
o 71311
o 71299
o 71251
o 71239
o 71232
o 71220
o 71094
o 71082
o 71075
o 71063
o 70938
o 70926
o 70919
o 70907
o 70709
o 70697
Killed
1980.252u 0.050s 33:04.58 99.7%	0+0k 0+0io 0pf+0w