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_s2v100c1300_1.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/100v/s2v100c1300_1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 971
o 971
c first lower bound: 779
c 1261 branches 23 propagates
c total generalized unit propagation = 2546, success = 49.57%
s OPTIMUM FOUND
c Optimal Solution = 971
v 1 3 5 9 -11 17 18 21 -24 28 -29 -34 -35 -36 -38 41 -50 51 -59 65 -73 75 -76 -82 83 84 -92 4 -2 10 25 -30 -32 42 -46 -52 53 56 57 -60 -61 -79 86 -89 91 -6 -7 -8 22 -33 39 -45 -62 -66 -71 -72 78 94 -95 -97 27 -43 -48 -55 70 74 -85 -90 96 -31 44 54 64 68 93 -12 -15 -40 -67 -80 98 19 20 -26 -47 58 87 -99 63 81 -100 16 -69 88 -23 -49 13 -14 77 -37
10.433u 0.010s 0:10.45 99.9%	0+0k 0+0io 0pf+0w