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