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_s2v120c1500_2.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/120v/s2v120c1500_2.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 1136
o 1136
c first lower bound: 904
c 5617 branches 775 propagates
c total generalized unit propagation = 12010, success = 46.78%
s OPTIMUM FOUND
c Optimal Solution = 1136
v -120 118 117 -116 -114 -112 111 -110 113 106 -119 -105 104 -103 -102 -101 -100 107 99 98 -97 -96 -94 109 -93 92 -91 90 95 -89 108 88 -115 -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
58.278u 0.009s 0:58.68 99.3%	0+0k 0+0io 0pf+0w