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