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