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