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