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