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