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