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