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