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