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