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