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