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