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