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-4.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-4.net.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 100226
o 100226
o 100186
o 100157
o 100106
o 100004
o 99953
o 99900
o 99849
o 99747
o 99680
o 99629
o 99527
o 99498
o 99447
o 99345
o 99294
o 99276
o 99174
o 99123
o 99112
o 99088
o 98986
o 98935
o 98833
o 98766
o 98715
o 98613
o 98584
o 98533
o 98431
o 98380
o 98377
o 98326
o 98224
o 98157
o 98106
o 98004
o 97975
o 97924
o 97822
o 97791
o 97776
o 97760
o 97736
o 97634
o 97583
o 97481
o 97414
o 97363
o 97261
o 97232
o 97181
o 97079
o 97028
Killed
1980.512u 0.029s 33:05.30 99.7%	0+0k 0+0io 0pf+0w