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_s2v120c1600_3.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/120v/s2v120c1600_3.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 1224
o 1224
c first lower bound: 997
c 7465 branches 254 propagates
c total generalized unit propagation = 15185, success = 49.17%
s OPTIMUM FOUND
c Optimal Solution = 1224
v -120 -119 -116 -113 114 -115 111 117 110 109 108 -105 104 -106 -103 -118 102 101 100 -112 -99 98 97 -96 -95 -107 94 -93 92 91 -90 -89 88 -87 86 -85 -84 83 82 -81 80 79 -78 -77 -76 -75 73 74 -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
73.311u 0.008s 1:13.60 99.6%	0+0k 0+0io 0pf+0w