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