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_120v_s2v120c1400_2.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/120v/s2v120c1400_2.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 1008
o 1008
c first lower bound: 814
c 4093 branches 262 propagates
c total generalized unit propagation = 8449, success = 48.46%
s OPTIMUM FOUND
c Optimal Solution = 1008
v 119 -117 115 118 114 -112 -120 -111 113 110 -109 108 107 -106 -116 -105 104 -103 -102 -101 -99 98 97 -96 -100 95 94 -93 -92 -91 -90 -89 -88 87 86 -85 84 83 -82 -81 -80 -79 78 77 76 75 74 -73 72 -71 70 -69 -68 67 66 -65 -64 63 -62 -61 60 59 -58 57 -56 55 54 53 -52 -51 50 -49 -48 -47 -46 45 44 43 -42 -41 40 39 -38 -37 -36 -35 34 33 -32 -31 30 -29 -28 -27 26 -25 24 23 -22 21 -20 -19 18 17 16 15 -14 13 12 -11 10 9 8 -7 -6 5 -4 -3 -2 1
36.723u 0.003s 0:36.76 99.8%	0+0k 0+0io 0pf+0w