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