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