Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-wpms_random-_home_maxsat_benchmarks_wpms_random_wpmax2sat_me_file_rwpms_wcnf_L2_V150_C2500_H150_7.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C2500_H150_7.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 2241
o 2241
c 87 branches 270 propagates
c total generalized unit propagation = 444, success = 19.59%
s OPTIMUM FOUND
c Optimal Solution = 2241
v 132 5 -35 58 -67 -56 119 -116 -22 95 124 -37 4 -85 -65 -101 46 9 61 60 146 28 -118 -18 106 -63 110 -136 -135 50 -32 -86 93 125 34 -73 111 40 -92 105 100 -91 80 -112 97 129 -84 -52 70 -109 -8 45 88 113 94 44 23 16 -99 134 138 -3 25 -38 -96 -82 71 -55 -43 -108 19 -26 122 -79 10 11 74 -81 -17 -139 77 -72 -117 98 -47 -68 -145 41 -137 1 57 48 -36 31 -69 -149 78 -114 -62 115 83 120 7 103 -27 59 -33 -39 147 -12 2 -89 -87 148 -30 -133 -143 -24 -102 -76 -29 -14 123 -66 -6 51 -128 126 140 -54 104 -90 53 42 -121 130 142 107 -21 -75 -49 20 131 -15 -150 141 13 -64 127 144
3.511u 0.005s 0:03.53 99.4%	0+0k 0+0io 0pf+0w