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