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