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