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