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