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