Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-pms_random-_home_maxsat_benchmarks_pms_random_pmax2sat_me_file_rpms_wcnf_L2_V150_C2500_H150_0.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/me/file_rpms_wcnf_L2_V150_C2500_H150_0.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 464
o 464
c first lower bound: 347
c 73 branches 503 propagates
c total generalized unit propagation = 178, success = 41.01%
s OPTIMUM FOUND
c Optimal Solution = 464
v -145 -21 38 39 115 124 -72 -108 -49 5 -15 -129 -22 88 -45 -40 37 74 104 -68 61 70 18 7 -144 -11 52 -130 -97 16 -67 -116 25 -56 -110 46 131 -136 -127 -133 79 32 90 58 -87 81 12 -62 -148 -112 -118 141 60 -89 -14 19 69 -26 66 117 -103 -53 -41 -101 13 111 125 -107 -27 92 -143 77 -64 29 105 6 150 -146 -36 75 147 -2 -17 119 33 100 -98 94 -134 -109 82 43 113 47 142 65 35 42 78 80 -76 120 -3 85 140 59 -20 -96 -138 -54 -139 48 8 -4 -34 -95 57 -63 -114 -122 -28 44 126 149 86 -83 -91 99 135 -128 -71 -31 106 -24 51 30 84 -23 -102 121 10 -9 -132 93 73 -1 -50 55 -123 -137
0.682u 0.007s 0:00.74 91.8%	0+0k 0+0io 0pf+0w