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