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