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