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