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