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