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