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_5.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/120v/s2v120c1400_5.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 1108
o 1108
c first lower bound: 860
c 35134 branches 1677 propagates
c total generalized unit propagation = 71946, success = 48.84%
s OPTIMUM FOUND
c Optimal Solution = 1108
v 118 117 -114 115 -111 -112 108 107 116 -119 106 -109 105 110 102 -103 104 101 120 -100 -97 96 95 -94 99 -93 92 113 -91 -98 -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
275.596u 0.019s 4:37.04 99.4%	0+0k 0+0io 0pf+0w