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