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