Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-wms_random-_home_maxsat_benchmarks_wms_random_wmax2sat_100v_s2v100c1600_5.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/100v/s2v100c1600_5.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 1298
o 1298
c first lower bound: 1050
c 3092 branches 80 propagates
c total generalized unit propagation = 6265, success = 49.37%
s OPTIMUM FOUND
c Optimal Solution = 1298
v -4 1 5 6 7 -8 9 -10 12 14 -15 -20 -21 22 -23 -26 35 39 41 -42 -48 -49 50 57 60 -62 72 -74 -87 -91 -92 97 99 -2 -16 18 33 -34 37 -38 -40 -45 -46 51 -53 54 55 65 -67 68 -69 -71 -80 83 86 89 -94 96 -98 3 11 -17 24 -30 -32 43 44 -47 56 58 73 -76 79 88 90 25 -63 64 70 19 27 -36 -52 66 -13 31 -77 78 82 -93 28 -61 84 100 -29 -59 -81 75 95 -85
32.101u 0.008s 0:32.14 99.8%	0+0k 0+0io 0pf+0w